runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201109011757/gj-user-solver-1.0/ec32fc68-7254-11e0-8436-00163e1e087d.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//ec32fc68-7254-11e0-8436-00163e1e087d.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/ec32fc68-7254-11e0-8436-00163e1e087d.cudf.dudf-real.result -sum(pin-priority-1),-sum(pin-priority-500),-sum(pin-priority-700),-notuptodate,-removed,-changed Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 5/34 4358 /proc/meminfo: memFree=256296/1048576 swapFree=0/0 [pid=4357] ppid=4356 vsize=2568 CPUtime=0 /proc/4357/stat : 4357 (gj-user-solver-) R 4356 4357 22717 34817 22717 4202496 355 0 0 0 0 0 0 0 25 0 1 0 73739606 2629632 269 1283457024 134512640 135304128 4289823888 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/4357/statm: 642 269 228 194 0 29 0 [pid=4358] ppid=4357 vsize=2568 CPUtime=0 /proc/4358/stat : 4358 (gj-user-solver-) R 4357 4357 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 1 0 73739606 2629632 41 1283457024 134512640 135304128 4289823888 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/4358/statm: 642 41 0 194 0 29 0 [startup+0.105118 s] /proc/loadavg: 1.00 1.00 1.00 5/34 4358 /proc/meminfo: memFree=256296/1048576 swapFree=0/0 [pid=4357] ppid=4356 vsize=2568 CPUtime=0 /proc/4357/stat : 4357 (gj-user-solver-) S 4356 4357 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 25 0 1 0 73739606 2629632 270 1283457024 134512640 135304128 4289823888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4357/statm: 642 270 229 194 0 29 0 [pid=4358] ppid=4357 vsize=409924 CPUtime=0.1 /proc/4358/stat : 4358 (java) S 4357 4357 22717 34817 22717 4202496 3830 0 1 0 8 2 0 0 25 0 9 0 73739606 419762176 3258 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4358/statm: 102481 3258 1906 10 0 96629 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 412492 [startup+0.205147 s] /proc/loadavg: 1.00 1.00 1.00 5/34 4358 /proc/meminfo: memFree=256296/1048576 swapFree=0/0 [pid=4357] ppid=4356 vsize=2568 CPUtime=0 /proc/4357/stat : 4357 (gj-user-solver-) S 4356 4357 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 25 0 1 0 73739606 2629632 270 1283457024 134512640 135304128 4289823888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4357/statm: 642 270 229 194 0 29 0 [pid=4358] ppid=4357 vsize=409924 CPUtime=0.2 /proc/4358/stat : 4358 (java) S 4357 4357 22717 34817 22717 4202496 4041 0 1 0 18 2 0 0 25 0 9 0 73739606 419762176 3469 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4358/statm: 102481 3469 1906 10 0 96629 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 412492 [startup+0.305176 s] /proc/loadavg: 1.00 1.00 1.00 5/34 4358 /proc/meminfo: memFree=256296/1048576 swapFree=0/0 [pid=4357] ppid=4356 vsize=2568 CPUtime=0 /proc/4357/stat : 4357 (gj-user-solver-) S 4356 4357 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 25 0 1 0 73739606 2629632 270 1283457024 134512640 135304128 4289823888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4357/statm: 642 270 229 194 0 29 0 [pid=4358] ppid=4357 vsize=410476 CPUtime=0.3 /proc/4358/stat : 4358 (java) S 4357 4357 22717 34817 22717 4202496 4395 0 1 0 28 2 0 0 25 0 9 0 73739606 420327424 3823 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4358/statm: 102619 3823 1934 10 0 96767 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 413044 [startup+0.705294 s] /proc/loadavg: 1.00 1.00 1.00 5/34 4358 /proc/meminfo: memFree=256296/1048576 swapFree=0/0 [pid=4357] ppid=4356 vsize=2568 CPUtime=0 /proc/4357/stat : 4357 (gj-user-solver-) S 4356 4357 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 25 0 1 0 73739606 2629632 270 1283457024 134512640 135304128 4289823888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4357/statm: 642 270 229 194 0 29 0 [pid=4358] ppid=4357 vsize=410620 CPUtime=0.7 /proc/4358/stat : 4358 (java) S 4357 4357 22717 34817 22717 4202496 11798 0 1 0 66 4 0 0 25 0 9 0 73739606 420474880 11041 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4358/statm: 102655 11041 2896 10 0 96803 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 413188 [startup+1.50551 s] /proc/loadavg: 1.16 1.03 1.01 3/43 4367 /proc/meminfo: memFree=196632/1048576 swapFree=0/0 [pid=4357] ppid=4356 vsize=2568 CPUtime=0 /proc/4357/stat : 4357 (gj-user-solver-) S 4356 4357 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 25 0 1 0 73739606 2629632 270 1283457024 134512640 135304128 4289823888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4357/statm: 642 270 229 194 0 29 0 [pid=4358] ppid=4357 vsize=410752 CPUtime=1.49 /proc/4358/stat : 4358 (java) S 4357 4357 22717 34817 22717 4202496 24734 0 1 0 141 8 0 0 25 0 9 0 73739606 420610048 23977 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4358/statm: 102688 23977 2896 10 0 96836 0 [pid=4358/tid=4360] ppid=4357 vsize=410752 CPUtime=0.82 /proc/4358/task/4360/stat : 4360 (java) R 4357 4357 22717 34817 22717 4202560 6808 0 1 0 80 2 0 0 25 0 9 0 73739607 420610048 23977 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4358/tid=4361] ppid=4357 vsize=410752 CPUtime=0.61 /proc/4358/task/4361/stat : 4361 (java) R 4357 4357 22717 34817 22717 4202560 16539 0 0 0 56 5 0 0 18 0 9 0 73739608 420610048 23977 1283457024 134512640 134550932 4290489504 18446744073709551615 4150949816 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=4358/tid=4362] ppid=4357 vsize=410752 CPUtime=0 /proc/4358/task/4362/stat : 4362 (java) S 4357 4357 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 73739608 420610048 23977 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4363] ppid=4357 vsize=410752 CPUtime=0 /proc/4358/task/4363/stat : 4363 (java) S 4357 4357 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 73739608 420610048 23977 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4364] ppid=4357 vsize=410752 CPUtime=0 /proc/4358/task/4364/stat : 4364 (java) S 4357 4357 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73739609 420610048 23977 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4365] ppid=4357 vsize=410752 CPUtime=0.04 /proc/4358/task/4365/stat : 4365 (java) S 4357 4357 22717 34817 22717 4202560 447 0 0 0 4 0 0 0 17 0 9 0 73739609 420610048 23977 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4366] ppid=4357 vsize=410752 CPUtime=0 /proc/4358/task/4366/stat : 4366 (java) S 4357 4357 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73739609 420610048 23977 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4367] ppid=4357 vsize=410752 CPUtime=0 /proc/4358/task/4367/stat : 4367 (java) S 4357 4357 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 9 0 73739609 420610048 23977 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 413320 [startup+3.10606 s] /proc/loadavg: 1.16 1.03 1.01 2/43 4367 /proc/meminfo: memFree=121860/1048576 swapFree=0/0 [pid=4357] ppid=4356 vsize=2568 CPUtime=0 /proc/4357/stat : 4357 (gj-user-solver-) S 4356 4357 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 25 0 1 0 73739606 2629632 270 1283457024 134512640 135304128 4289823888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4357/statm: 642 270 229 194 0 29 0 [pid=4358] ppid=4357 vsize=410896 CPUtime=3.09 /proc/4358/stat : 4358 (java) S 4357 4357 22717 34817 22717 4202496 45116 0 1 0 296 13 0 0 25 0 9 0 73739606 420757504 44269 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4358/statm: 102724 44269 2915 10 0 96869 0 [pid=4358/tid=4360] ppid=4357 vsize=410896 CPUtime=1.35 /proc/4358/task/4360/stat : 4360 (java) R 4357 4357 22717 34817 22717 4202560 9834 0 1 0 132 3 0 0 25 0 9 0 73739607 420757504 44269 1283457024 134512640 134550932 4290489504 18446744073709551615 4115222287 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4358/tid=4361] ppid=4357 vsize=410896 CPUtime=1.65 /proc/4358/task/4361/stat : 4361 (java) S 4357 4357 22717 34817 22717 4202560 33857 0 0 0 157 8 0 0 16 0 9 0 73739608 420757504 44269 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4362] ppid=4357 vsize=410896 CPUtime=0 /proc/4358/task/4362/stat : 4362 (java) S 4357 4357 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 9 0 73739608 420757504 44269 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4363] ppid=4357 vsize=410896 CPUtime=0 /proc/4358/task/4363/stat : 4363 (java) S 4357 4357 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 73739608 420757504 44269 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4364] ppid=4357 vsize=410896 CPUtime=0 /proc/4358/task/4364/stat : 4364 (java) S 4357 4357 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73739609 420757504 44269 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4365] ppid=4357 vsize=410896 CPUtime=0.08 /proc/4358/task/4365/stat : 4365 (java) S 4357 4357 22717 34817 22717 4202560 485 0 0 0 7 1 0 0 15 0 9 0 73739609 420757504 44269 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4366] ppid=4357 vsize=410896 CPUtime=0 /proc/4358/task/4366/stat : 4366 (java) S 4357 4357 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73739609 420757504 44269 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4367] ppid=4357 vsize=410896 CPUtime=0 /proc/4358/task/4367/stat : 4367 (java) S 4357 4357 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 9 0 73739609 420757504 44269 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 413464 [startup+6.30726 s] /proc/loadavg: 1.15 1.03 1.01 2/44 4368 /proc/meminfo: memFree=57504/1048576 swapFree=0/0 [pid=4357] ppid=4356 vsize=2568 CPUtime=0 /proc/4357/stat : 4357 (gj-user-solver-) S 4356 4357 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 25 0 1 0 73739606 2629632 270 1283457024 134512640 135304128 4289823888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4357/statm: 642 270 229 194 0 29 0 [pid=4358] ppid=4357 vsize=411220 CPUtime=6.29 /proc/4358/stat : 4358 (java) S 4357 4357 22717 34817 22717 4202496 53262 0 1 0 613 16 0 0 25 0 10 0 73739606 421089280 52414 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4358/statm: 102805 52414 2916 10 0 96950 0 [pid=4358/tid=4360] ppid=4357 vsize=411220 CPUtime=4.3 /proc/4358/task/4360/stat : 4360 (java) R 4357 4357 22717 34817 22717 4202560 14526 0 1 0 425 5 0 0 25 0 10 0 73739607 421089280 52414 1283457024 134512640 134550932 4290489504 18446744073709551615 4115525624 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4358/tid=4361] ppid=4357 vsize=411220 CPUtime=1.78 /proc/4358/task/4361/stat : 4361 (java) S 4357 4357 22717 34817 22717 4202560 37238 0 0 0 169 9 0 0 16 0 10 0 73739608 421089280 52414 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4362] ppid=4357 vsize=411220 CPUtime=0 /proc/4358/task/4362/stat : 4362 (java) S 4357 4357 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73739608 421089280 52414 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4363] ppid=4357 vsize=411220 CPUtime=0 /proc/4358/task/4363/stat : 4363 (java) S 4357 4357 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73739608 421089280 52414 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4364] ppid=4357 vsize=411220 CPUtime=0 /proc/4358/task/4364/stat : 4364 (java) S 4357 4357 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73739609 421089280 52414 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4365] ppid=4357 vsize=411220 CPUtime=0.2 /proc/4358/task/4365/stat : 4365 (java) S 4357 4357 22717 34817 22717 4202560 553 0 0 0 19 1 0 0 16 0 10 0 73739609 421089280 52414 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4366] ppid=4357 vsize=411220 CPUtime=0 /proc/4358/task/4366/stat : 4366 (java) S 4357 4357 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73739609 421089280 52414 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4367] ppid=4357 vsize=411220 CPUtime=0 /proc/4358/task/4367/stat : 4367 (java) S 4357 4357 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73739609 421089280 52414 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4368] ppid=4357 vsize=411220 CPUtime=0 /proc/4358/task/4368/stat : 4368 (java) S 4357 4357 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73739936 421089280 52414 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 413788 [startup+12.7089 s] /proc/loadavg: 1.13 1.03 1.01 3/44 4368 /proc/meminfo: memFree=39772/1048576 swapFree=0/0 [pid=4357] ppid=4356 vsize=2568 CPUtime=0 /proc/4357/stat : 4357 (gj-user-solver-) S 4356 4357 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 25 0 1 0 73739606 2629632 270 1283457024 134512640 135304128 4289823888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4357/statm: 642 270 229 194 0 29 0 [pid=4358] ppid=4357 vsize=411220 CPUtime=12.69 /proc/4358/stat : 4358 (java) S 4357 4357 22717 34817 22717 4202496 57660 0 1 0 1253 16 0 0 25 0 10 0 73739606 421089280 56812 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4358/statm: 102805 56812 2916 10 0 96950 0 [pid=4358/tid=4360] ppid=4357 vsize=411220 CPUtime=10.39 /proc/4358/task/4360/stat : 4360 (java) R 4357 4357 22717 34817 22717 4202560 14530 0 1 0 1034 5 0 0 25 0 10 0 73739607 421089280 56812 1283457024 134512640 134550932 4290489504 18446744073709551615 4115631497 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4358/tid=4361] ppid=4357 vsize=411220 CPUtime=2.07 /proc/4358/task/4361/stat : 4361 (java) S 4357 4357 22717 34817 22717 4202560 41626 0 0 0 198 9 0 0 16 0 10 0 73739608 421089280 56812 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4362] ppid=4357 vsize=411220 CPUtime=0 /proc/4358/task/4362/stat : 4362 (java) S 4357 4357 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73739608 421089280 56812 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4363] ppid=4357 vsize=411220 CPUtime=0 /proc/4358/task/4363/stat : 4363 (java) S 4357 4357 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73739608 421089280 56812 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4364] ppid=4357 vsize=411220 CPUtime=0 /proc/4358/task/4364/stat : 4364 (java) S 4357 4357 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73739609 421089280 56812 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4365] ppid=4357 vsize=411220 CPUtime=0.21 /proc/4358/task/4365/stat : 4365 (java) S 4357 4357 22717 34817 22717 4202560 559 0 0 0 20 1 0 0 15 0 10 0 73739609 421089280 56812 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4366] ppid=4357 vsize=411220 CPUtime=0 /proc/4358/task/4366/stat : 4366 (java) S 4357 4357 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73739609 421089280 56812 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4367] ppid=4357 vsize=411220 CPUtime=0 /proc/4358/task/4367/stat : 4367 (java) R 4357 4357 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73739609 421089280 56812 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4358/tid=4368] ppid=4357 vsize=411220 CPUtime=0 /proc/4358/task/4368/stat : 4368 (java) S 4357 4357 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73739936 421089280 56812 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 413788 Solver just ended. Dumping a history of the last processes samples [startup+12.8089 s] /proc/loadavg: 1.13 1.03 1.01 3/44 4368 /proc/meminfo: memFree=39772/1048576 swapFree=0/0 [pid=4357] ppid=4356 vsize=2568 CPUtime=0 /proc/4357/stat : 4357 (gj-user-solver-) S 4356 4357 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 25 0 1 0 73739606 2629632 270 1283457024 134512640 135304128 4289823888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4357/statm: 642 270 229 194 0 29 0 [pid=4358] ppid=4357 vsize=411220 CPUtime=12.79 /proc/4358/stat : 4358 (java) S 4357 4357 22717 34817 22717 4202496 57660 0 1 0 1263 16 0 0 25 0 10 0 73739606 421089280 56812 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4358/statm: 102805 56812 2916 10 0 96950 0 [pid=4358/tid=4360] ppid=4357 vsize=411220 CPUtime=10.49 /proc/4358/task/4360/stat : 4360 (java) R 4357 4357 22717 34817 22717 4202560 14530 0 1 0 1044 5 0 0 25 0 10 0 73739607 421089280 56812 1283457024 134512640 134550932 4290489504 18446744073709551615 4115636229 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4358/tid=4361] ppid=4357 vsize=411220 CPUtime=2.07 /proc/4358/task/4361/stat : 4361 (java) S 4357 4357 22717 34817 22717 4202560 41626 0 0 0 198 9 0 0 16 0 10 0 73739608 421089280 56812 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4362] ppid=4357 vsize=411220 CPUtime=0 /proc/4358/task/4362/stat : 4362 (java) S 4357 4357 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73739608 421089280 56812 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4363] ppid=4357 vsize=411220 CPUtime=0 /proc/4358/task/4363/stat : 4363 (java) S 4357 4357 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73739608 421089280 56812 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4364] ppid=4357 vsize=411220 CPUtime=0 /proc/4358/task/4364/stat : 4364 (java) S 4357 4357 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73739609 421089280 56812 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4365] ppid=4357 vsize=411220 CPUtime=0.21 /proc/4358/task/4365/stat : 4365 (java) S 4357 4357 22717 34817 22717 4202560 559 0 0 0 20 1 0 0 15 0 10 0 73739609 421089280 56812 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4366] ppid=4357 vsize=411220 CPUtime=0 /proc/4358/task/4366/stat : 4366 (java) S 4357 4357 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73739609 421089280 56812 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4367] ppid=4357 vsize=411220 CPUtime=0 /proc/4358/task/4367/stat : 4367 (java) S 4357 4357 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73739609 421089280 56812 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4368] ppid=4357 vsize=411220 CPUtime=0 /proc/4358/task/4368/stat : 4368 (java) S 4357 4357 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73739936 421089280 56812 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.79 Current children cumulated vsize (KiB) 413788 [startup+16.0099 s] /proc/loadavg: 1.12 1.03 1.01 3/44 4368 /proc/meminfo: memFree=39772/1048576 swapFree=0/0 [pid=4357] ppid=4356 vsize=2568 CPUtime=0 /proc/4357/stat : 4357 (gj-user-solver-) S 4356 4357 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 25 0 1 0 73739606 2629632 270 1283457024 134512640 135304128 4289823888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4357/statm: 642 270 229 194 0 29 0 [pid=4358] ppid=4357 vsize=411220 CPUtime=15.99 /proc/4358/stat : 4358 (java) S 4357 4357 22717 34817 22717 4202496 57742 0 1 0 1583 16 0 0 25 0 10 0 73739606 421089280 56894 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4358/statm: 102805 56894 2916 10 0 96950 0 [pid=4358/tid=4360] ppid=4357 vsize=411220 CPUtime=13.65 /proc/4358/task/4360/stat : 4360 (java) R 4357 4357 22717 34817 22717 4202560 14530 0 1 0 1360 5 0 0 25 0 10 0 73739607 421089280 56894 1283457024 134512640 134550932 4290489504 18446744073709551615 4115572944 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4358/tid=4361] ppid=4357 vsize=411220 CPUtime=2.11 /proc/4358/task/4361/stat : 4361 (java) S 4357 4357 22717 34817 22717 4202560 41708 0 0 0 202 9 0 0 16 0 10 0 73739608 421089280 56894 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4362] ppid=4357 vsize=411220 CPUtime=0 /proc/4358/task/4362/stat : 4362 (java) S 4357 4357 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73739608 421089280 56894 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4363] ppid=4357 vsize=411220 CPUtime=0 /proc/4358/task/4363/stat : 4363 (java) S 4357 4357 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73739608 421089280 56894 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4364] ppid=4357 vsize=411220 CPUtime=0 /proc/4358/task/4364/stat : 4364 (java) S 4357 4357 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73739609 421089280 56894 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4365] ppid=4357 vsize=411220 CPUtime=0.21 /proc/4358/task/4365/stat : 4365 (java) S 4357 4357 22717 34817 22717 4202560 559 0 0 0 20 1 0 0 15 0 10 0 73739609 421089280 56894 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4366] ppid=4357 vsize=411220 CPUtime=0 /proc/4358/task/4366/stat : 4366 (java) S 4357 4357 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73739609 421089280 56894 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4367] ppid=4357 vsize=411220 CPUtime=0 /proc/4358/task/4367/stat : 4367 (java) R 4357 4357 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73739609 421089280 56894 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4358/tid=4368] ppid=4357 vsize=411220 CPUtime=0 /proc/4358/task/4368/stat : 4368 (java) S 4357 4357 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73739936 421089280 56894 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 15.99 Current children cumulated vsize (KiB) 413788 [startup+16.8101 s] /proc/loadavg: 1.12 1.03 1.01 2/44 4368 /proc/meminfo: memFree=39524/1048576 swapFree=0/0 [pid=4357] ppid=4356 vsize=2568 CPUtime=0 /proc/4357/stat : 4357 (gj-user-solver-) S 4356 4357 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 25 0 1 0 73739606 2629632 270 1283457024 134512640 135304128 4289823888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4357/statm: 642 270 229 194 0 29 0 [pid=4358] ppid=4357 vsize=411220 CPUtime=16.79 /proc/4358/stat : 4358 (java) S 4357 4357 22717 34817 22717 4202496 57742 0 1 0 1663 16 0 0 25 0 10 0 73739606 421089280 56894 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4358/statm: 102805 56894 2916 10 0 96950 0 [pid=4358/tid=4360] ppid=4357 vsize=411220 CPUtime=14.45 /proc/4358/task/4360/stat : 4360 (java) R 4357 4357 22717 34817 22717 4202560 14530 0 1 0 1440 5 0 0 25 0 10 0 73739607 421089280 56894 1283457024 134512640 134550932 4290489504 18446744073709551615 4115636229 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4358/tid=4361] ppid=4357 vsize=411220 CPUtime=2.11 /proc/4358/task/4361/stat : 4361 (java) S 4357 4357 22717 34817 22717 4202560 41708 0 0 0 202 9 0 0 15 0 10 0 73739608 421089280 56894 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4362] ppid=4357 vsize=411220 CPUtime=0 /proc/4358/task/4362/stat : 4362 (java) S 4357 4357 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73739608 421089280 56894 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4363] ppid=4357 vsize=411220 CPUtime=0 /proc/4358/task/4363/stat : 4363 (java) S 4357 4357 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73739608 421089280 56894 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4364] ppid=4357 vsize=411220 CPUtime=0 /proc/4358/task/4364/stat : 4364 (java) S 4357 4357 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73739609 421089280 56894 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4365] ppid=4357 vsize=411220 CPUtime=0.21 /proc/4358/task/4365/stat : 4365 (java) S 4357 4357 22717 34817 22717 4202560 559 0 0 0 20 1 0 0 15 0 10 0 73739609 421089280 56894 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4366] ppid=4357 vsize=411220 CPUtime=0 /proc/4358/task/4366/stat : 4366 (java) S 4357 4357 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73739609 421089280 56894 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4367] ppid=4357 vsize=411220 CPUtime=0 /proc/4358/task/4367/stat : 4367 (java) S 4357 4357 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73739609 421089280 56894 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4368] ppid=4357 vsize=411220 CPUtime=0 /proc/4358/task/4368/stat : 4368 (java) S 4357 4357 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73739936 421089280 56894 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 16.79 Current children cumulated vsize (KiB) 413788 [startup+17.6103 s] /proc/loadavg: 1.12 1.03 1.01 2/44 4368 /proc/meminfo: memFree=39524/1048576 swapFree=0/0 [pid=4357] ppid=4356 vsize=2568 CPUtime=0 /proc/4357/stat : 4357 (gj-user-solver-) S 4356 4357 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 25 0 1 0 73739606 2629632 270 1283457024 134512640 135304128 4289823888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4357/statm: 642 270 229 194 0 29 0 [pid=4358] ppid=4357 vsize=411220 CPUtime=17.58 /proc/4358/stat : 4358 (java) S 4357 4357 22717 34817 22717 4202496 57742 0 1 0 1742 16 0 0 25 0 10 0 73739606 421089280 56894 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4358/statm: 102805 56894 2916 10 0 96950 0 [pid=4358/tid=4360] ppid=4357 vsize=411220 CPUtime=15.25 /proc/4358/task/4360/stat : 4360 (java) R 4357 4357 22717 34817 22717 4202560 14530 0 1 0 1520 5 0 0 25 0 10 0 73739607 421089280 56894 1283457024 134512640 134550932 4290489504 18446744073709551615 4115473510 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4358/tid=4361] ppid=4357 vsize=411220 CPUtime=2.11 /proc/4358/task/4361/stat : 4361 (java) S 4357 4357 22717 34817 22717 4202560 41708 0 0 0 202 9 0 0 15 0 10 0 73739608 421089280 56894 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4362] ppid=4357 vsize=411220 CPUtime=0 /proc/4358/task/4362/stat : 4362 (java) S 4357 4357 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73739608 421089280 56894 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4363] ppid=4357 vsize=411220 CPUtime=0 /proc/4358/task/4363/stat : 4363 (java) S 4357 4357 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73739608 421089280 56894 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4364] ppid=4357 vsize=411220 CPUtime=0 /proc/4358/task/4364/stat : 4364 (java) S 4357 4357 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73739609 421089280 56894 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4365] ppid=4357 vsize=411220 CPUtime=0.21 /proc/4358/task/4365/stat : 4365 (java) S 4357 4357 22717 34817 22717 4202560 559 0 0 0 20 1 0 0 15 0 10 0 73739609 421089280 56894 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4366] ppid=4357 vsize=411220 CPUtime=0 /proc/4358/task/4366/stat : 4366 (java) S 4357 4357 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73739609 421089280 56894 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4367] ppid=4357 vsize=411220 CPUtime=0 /proc/4358/task/4367/stat : 4367 (java) S 4357 4357 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73739609 421089280 56894 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4368] ppid=4357 vsize=411220 CPUtime=0 /proc/4358/task/4368/stat : 4368 (java) S 4357 4357 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73739936 421089280 56894 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 17.58 Current children cumulated vsize (KiB) 413788 [startup+18.0061 s] /proc/loadavg: 1.12 1.03 1.01 2/44 4368 /proc/meminfo: memFree=39524/1048576 swapFree=0/0 [pid=4357] ppid=4356 vsize=2568 CPUtime=0 /proc/4357/stat : 4357 (gj-user-solver-) S 4356 4357 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 25 0 1 0 73739606 2629632 270 1283457024 134512640 135304128 4289823888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4357/statm: 642 270 229 194 0 29 0 [pid=4358] ppid=4357 vsize=411220 CPUtime=17.96 /proc/4358/stat : 4358 (java) S 4357 4357 22717 34817 22717 4202496 57750 0 1 0 1780 16 0 0 25 0 9 0 73739606 421089280 56902 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4358/statm: 102805 56902 2917 10 0 96950 0 [pid=4358/tid=4360] ppid=4357 vsize=411220 CPUtime=15.62 /proc/4358/task/4360/stat : 4360 (java) S 4357 4357 22717 34817 22717 4202560 14530 0 1 0 1557 5 0 0 25 0 9 0 73739607 421089280 56902 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4361] ppid=4357 vsize=411220 CPUtime=2.12 /proc/4358/task/4361/stat : 4361 (java) S 4357 4357 22717 34817 22717 4202560 41708 0 0 0 203 9 0 0 16 0 9 0 73739608 421089280 56902 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4362] ppid=4357 vsize=411220 CPUtime=0 /proc/4358/task/4362/stat : 4362 (java) S 4357 4357 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 9 0 73739608 421089280 56902 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4363] ppid=4357 vsize=411220 CPUtime=0 /proc/4358/task/4363/stat : 4363 (java) S 4357 4357 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 73739608 421089280 56902 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4364] ppid=4357 vsize=411220 CPUtime=0 /proc/4358/task/4364/stat : 4364 (java) S 4357 4357 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73739609 421089280 56902 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4365] ppid=4357 vsize=411220 CPUtime=0.21 /proc/4358/task/4365/stat : 4365 (java) S 4357 4357 22717 34817 22717 4202560 566 0 0 0 20 1 0 0 16 0 9 0 73739609 421089280 56902 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4366] ppid=4357 vsize=411220 CPUtime=0 /proc/4358/task/4366/stat : 4366 (java) S 4357 4357 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73739609 421089280 56902 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=4358/tid=4367] ppid=4357 vsize=411220 CPUtime=0 /proc/4358/task/4367/stat : 4367 (java) S 4357 4357 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 9 0 73739609 421089280 56902 1283457024 134512640 134550932 4290489504 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 17.96 Current children cumulated vsize (KiB) 413788 Child status: 0 Real time (s): 18.0629 CPU time (s): 17.9851 CPU user time (s): 17.8091 CPU system time (s): 0.176011 CPU usage (%): 99.5697 Max. virtual memory (cumulated for all children) (KiB): 413788 getrusage(RUSAGE_CHILDREN,...) data: user time used= 17.8091 system time used= 0.176011 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 58138 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1183 involuntary context switches= 1503 runsolver used 0 second user time and 0 second system time The end