runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3312993-1304182549/watcher-3312993-1304182549 -o /tmp/evaluation-result-3312993-1304182549/solver-3312993-1304182549 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312993-1304182549.cnf
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.42 4.18 5.63 4/176 28682
/proc/meminfo: memFree=18752536/32951124 swapFree=67111528/67111528
[pid=28682] ppid=28678 vsize=2464 CPUtime=0 cores=0,2,4,6
/proc/28682/stat : 28682 (java) R 28678 28682 27699 0 -1 4194304 537 0 0 0 0 0 0 0 18 0 1 0 529857506 2523136 44 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216629591783 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/28682/statm: 882 46 36 9 0 27 0
[startup+0.0131211 s]
/proc/loadavg: 3.42 4.18 5.63 4/176 28682
/proc/meminfo: memFree=18752536/32951124 swapFree=67111528/67111528
[pid=28682] ppid=28678 vsize=35820 CPUtime=0 cores=0,2,4,6
/proc/28682/stat : 28682 (java) S 28678 28682 27699 0 -1 4202496 1617 0 1 0 0 0 0 0 17 0 2 0 529857506 36679680 1064 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646318053 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/28682/statm: 8955 1064 828 9 0 386 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 35820
[startup+0.102487 s]
/proc/loadavg: 3.42 4.18 5.63 4/176 28682
/proc/meminfo: memFree=18752536/32951124 swapFree=67111528/67111528
[pid=28682] ppid=28678 vsize=15677088 CPUtime=0.1 cores=0,2,4,6
/proc/28682/stat : 28682 (java) S 28678 28682 27699 0 -1 4202496 5518 0 1 0 9 1 0 0 17 0 18 0 529857506 16053338112 4959 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28682/statm: 3919272 4960 2116 9 0 3909991 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15677088
[startup+0.300791 s]
/proc/loadavg: 3.42 4.18 5.63 4/176 28682
/proc/meminfo: memFree=18752536/32951124 swapFree=67111528/67111528
[pid=28682] ppid=28678 vsize=15683232 CPUtime=0.52 cores=0,2,4,6
/proc/28682/stat : 28682 (java) S 28678 28682 27699 0 -1 4202496 13365 0 1 0 50 2 0 0 17 0 18 0 529857506 16059629568 12276 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28682/statm: 3920808 12276 2207 9 0 3911527 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15683232
[startup+0.700757 s]
/proc/loadavg: 3.42 4.18 5.63 4/176 28682
/proc/meminfo: memFree=18752536/32951124 swapFree=67111528/67111528
[pid=28682] ppid=28678 vsize=15705872 CPUtime=1.5 cores=0,2,4,6
/proc/28682/stat : 28682 (java) S 28678 28682 27699 0 -1 4202496 30113 0 1 0 146 4 0 0 17 0 22 0 529857506 16082812928 26253 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28682/statm: 3926468 26253 2249 9 0 3917187 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 15705872
[startup+1.50155 s]
/proc/loadavg: 3.42 4.18 5.63 14/220 28726
/proc/meminfo: memFree=18464012/32951124 swapFree=67111528/67111528
[pid=28682] ppid=28678 vsize=15706532 CPUtime=4.56 cores=0,2,4,6
/proc/28682/stat : 28682 (java) S 28678 28682 27699 0 -1 4202496 62768 0 1 0 448 8 0 0 17 0 22 0 529857506 16083488768 57664 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28682/statm: 3926633 57664 2276 9 0 3917352 0
[pid=28682/tid=28685] ppid=28678 vsize=15706532 CPUtime=0.64 cores=0,2,4,6
/proc/28682/task/28685/stat : 28685 (java) S 28678 28682 27699 0 -1 4202560 15132 0 1 0 62 2 0 0 18 0 22 0 529857507 16083488768 57664 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 2 0 0 0
[pid=28682/tid=28687] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28687/stat : 28687 (java) S 28678 28682 27699 0 -1 4202560 1513 0 0 0 0 0 0 0 15 0 22 0 529857507 16083488768 57664 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 0 0 0 0
[pid=28682/tid=28688] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28688/stat : 28688 (java) S 28678 28682 27699 0 -1 4202560 1644 0 0 0 0 0 0 0 15 0 22 0 529857507 16083488768 57664 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 0 0 0 0
[pid=28682/tid=28690] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28690/stat : 28690 (java) S 28678 28682 27699 0 -1 4202560 2522 0 0 0 0 0 0 0 16 0 22 0 529857507 16083488768 57664 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 2 0 0 0
[pid=28682/tid=28692] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28692/stat : 28692 (java) S 28678 28682 27699 0 -1 4202560 1332 0 0 0 0 0 0 0 15 0 22 0 529857507 16083488768 57664 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 4 0 0 0
[pid=28682/tid=28694] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28694/stat : 28694 (java) S 28678 28682 27699 0 -1 4202560 2138 0 0 0 0 0 0 0 16 0 22 0 529857507 16083488768 57664 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 4 0 0 0
[pid=28682/tid=28696] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28696/stat : 28696 (java) S 28678 28682 27699 0 -1 4202560 383 0 0 0 0 0 0 0 15 0 22 0 529857507 16083488768 57664 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 2 0 0 0
[pid=28682/tid=28698] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28698/stat : 28698 (java) R 28678 28682 27699 0 -1 4202560 1100 0 0 0 0 0 0 0 16 0 22 0 529857507 16083488768 57664 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=28682/tid=28700] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28700/stat : 28700 (java) S 28678 28682 27699 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 529857507 16083488768 57664 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28682/tid=28703] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28703/stat : 28703 (java) S 28678 28682 27699 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 529857508 16083488768 57664 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331904 0 0 0 16800975 18446604453654297344 0 0 -1 0 0 0 0
[pid=28682/tid=28705] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28705/stat : 28705 (java) S 28678 28682 27699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529857509 16083488768 57664 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28682/tid=28707] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28707/stat : 28707 (java) S 28678 28682 27699 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529857509 16083488768 57664 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28682/tid=28711] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28711/stat : 28711 (java) S 28678 28682 27699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529857511 16083488768 57664 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646338993 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28682/tid=28712] ppid=28678 vsize=15706532 CPUtime=0.67 cores=0,2,4,6
/proc/28682/task/28712/stat : 28712 (java) S 28678 28682 27699 0 -1 4202560 4663 0 0 0 67 0 0 0 15 0 22 0 529857511 16083488768 57664 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 4 0 0 0
[pid=28682/tid=28715] ppid=28678 vsize=15706532 CPUtime=0.77 cores=0,2,4,6
/proc/28682/task/28715/stat : 28715 (java) S 28678 28682 27699 0 -1 4202560 10329 0 0 0 77 0 0 0 15 0 22 0 529857511 16083488768 57664 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 0 0 0 0
[pid=28682/tid=28716] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28716/stat : 28716 (java) S 28678 28682 27699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529857511 16083488768 57664 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28682/tid=28718] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28718/stat : 28718 (java) S 28678 28682 27699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529857511 16083488768 57664 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331904 0 4 0 16800975 18446604453654297344 0 0 -1 2 0 0 0
[pid=28682/tid=28719] ppid=28678 vsize=15706532 CPUtime=0.59 cores=0,2,4,6
/proc/28682/task/28719/stat : 28719 (java) R 28678 28682 27699 0 -1 4202560 4113 0 0 0 59 0 0 0 16 0 22 0 529857540 16083488768 57664 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 46912505870872 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28682/tid=28720] ppid=28678 vsize=15706532 CPUtime=0.56 cores=0,2,4,6
/proc/28682/task/28720/stat : 28720 (java) R 28678 28682 27699 0 -1 4202560 5712 0 0 0 56 0 0 0 16 0 22 0 529857540 16083488768 57664 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 46912506057256 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28682/tid=28721] ppid=28678 vsize=15706532 CPUtime=0.63 cores=0,2,4,6
/proc/28682/task/28721/stat : 28721 (java) R 28678 28682 27699 0 -1 4202560 5246 0 0 0 63 0 0 0 17 0 22 0 529857540 16083488768 57664 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 46912505765586 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28682/tid=28722] ppid=28678 vsize=15706532 CPUtime=0.57 cores=0,2,4,6
/proc/28682/task/28722/stat : 28722 (java) R 28678 28682 27699 0 -1 4202560 5482 0 0 0 57 0 0 0 16 0 22 0 529857540 16083488768 57664 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 46912505870877 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.56
Current children cumulated vsize (KiB) 15706532
Solver just ended. Dumping a history of the last processes samples
[startup+1.90148 s]
/proc/loadavg: 3.42 4.18 5.63 14/220 28726
/proc/meminfo: memFree=18464012/32951124 swapFree=67111528/67111528
[pid=28682] ppid=28678 vsize=15706532 CPUtime=6.17 cores=0,2,4,6
/proc/28682/stat : 28682 (java) S 28678 28682 27699 0 -1 4202496 70871 0 1 0 607 10 0 0 17 0 22 0 529857506 16083488768 65729 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28682/statm: 3926633 65729 2277 9 0 3917352 0
[pid=28682/tid=28685] ppid=28678 vsize=15706532 CPUtime=0.64 cores=0,2,4,6
/proc/28682/task/28685/stat : 28685 (java) S 28678 28682 27699 0 -1 4202560 15132 0 1 0 62 2 0 0 18 0 22 0 529857507 16083488768 65729 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 2 0 0 0
[pid=28682/tid=28687] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28687/stat : 28687 (java) S 28678 28682 27699 0 -1 4202560 1513 0 0 0 0 0 0 0 15 0 22 0 529857507 16083488768 65729 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 0 0 0 0
[pid=28682/tid=28688] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28688/stat : 28688 (java) S 28678 28682 27699 0 -1 4202560 3582 0 0 0 0 0 0 0 15 0 22 0 529857507 16083488768 65729 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 0 0 0 0
[pid=28682/tid=28690] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28690/stat : 28690 (java) S 28678 28682 27699 0 -1 4202560 2522 0 0 0 0 0 0 0 15 0 22 0 529857507 16083488768 65729 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 2 0 0 0
[pid=28682/tid=28692] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28692/stat : 28692 (java) S 28678 28682 27699 0 -1 4202560 3504 0 0 0 0 0 0 0 16 0 22 0 529857507 16083488768 65729 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 4 0 0 0
[pid=28682/tid=28694] ppid=28678 vsize=15706532 CPUtime=0.01 cores=0,2,4,6
/proc/28682/task/28694/stat : 28694 (java) S 28678 28682 27699 0 -1 4202560 3759 0 0 0 1 0 0 0 15 0 22 0 529857507 16083488768 65729 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28682/tid=28696] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28696/stat : 28696 (java) S 28678 28682 27699 0 -1 4202560 2631 0 0 0 0 0 0 0 16 0 22 0 529857507 16083488768 65729 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 2 0 0 0
[pid=28682/tid=28698] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28698/stat : 28698 (java) S 28678 28682 27699 0 -1 4202560 1100 0 0 0 0 0 0 0 15 0 22 0 529857507 16083488768 65729 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28682/tid=28700] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28700/stat : 28700 (java) S 28678 28682 27699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529857507 16083488768 65729 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28682/tid=28703] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28703/stat : 28703 (java) S 28678 28682 27699 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 529857508 16083488768 65729 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331904 0 0 0 16800975 18446604453654297344 0 0 -1 0 0 0 0
[pid=28682/tid=28705] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28705/stat : 28705 (java) S 28678 28682 27699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529857509 16083488768 65729 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28682/tid=28707] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28707/stat : 28707 (java) S 28678 28682 27699 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529857509 16083488768 65729 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28682/tid=28711] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28711/stat : 28711 (java) S 28678 28682 27699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529857511 16083488768 65729 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646338993 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28682/tid=28712] ppid=28678 vsize=15706532 CPUtime=0.74 cores=0,2,4,6
/proc/28682/task/28712/stat : 28712 (java) R 28678 28682 27699 0 -1 4202560 4672 0 0 0 74 0 0 0 15 0 22 0 529857511 16083488768 65729 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 47706312523495 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28682/tid=28715] ppid=28678 vsize=15706532 CPUtime=0.84 cores=0,2,4,6
/proc/28682/task/28715/stat : 28715 (java) R 28678 28682 27699 0 -1 4202560 10340 0 0 0 84 0 0 0 15 0 22 0 529857511 16083488768 65729 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 47706310186002 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28682/tid=28716] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28716/stat : 28716 (java) S 28678 28682 27699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529857511 16083488768 65729 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28682/tid=28718] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28718/stat : 28718 (java) S 28678 28682 27699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529857511 16083488768 65729 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331904 0 4 0 16800975 18446604453654297344 0 0 -1 2 0 0 0
[pid=28682/tid=28719] ppid=28678 vsize=15706532 CPUtime=0.92 cores=0,2,4,6
/proc/28682/task/28719/stat : 28719 (java) R 28678 28682 27699 0 -1 4202560 4121 0 0 0 92 0 0 0 16 0 22 0 529857540 16083488768 65729 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646341301 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28682/tid=28720] ppid=28678 vsize=15706532 CPUtime=0.95 cores=0,2,4,6
/proc/28682/task/28720/stat : 28720 (java) R 28678 28682 27699 0 -1 4202560 5732 0 0 0 95 0 0 0 16 0 22 0 529857540 16083488768 65729 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 47706313156885 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28682/tid=28721] ppid=28678 vsize=15706532 CPUtime=0.95 cores=0,2,4,6
/proc/28682/task/28721/stat : 28721 (java) R 28678 28682 27699 0 -1 4202560 5250 0 0 0 95 0 0 0 17 0 22 0 529857540 16083488768 65729 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646341301 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28682/tid=28722] ppid=28678 vsize=15706532 CPUtime=0.96 cores=0,2,4,6
/proc/28682/task/28722/stat : 28722 (java) R 28678 28682 27699 0 -1 4202560 5554 0 0 0 96 0 0 0 16 0 22 0 529857540 16083488768 65729 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 46912505199930 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 15706532
[startup+2.10144 s]
/proc/loadavg: 3.42 4.18 5.63 15/220 28726
/proc/meminfo: memFree=18254464/32951124 swapFree=67111528/67111528
[pid=28682] ppid=28678 vsize=15706532 CPUtime=6.98 cores=0,2,4,6
/proc/28682/stat : 28682 (java) S 28678 28682 27699 0 -1 4202496 82840 0 1 0 686 12 0 0 17 0 22 0 529857506 16083488768 77698 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28682/statm: 3926633 77701 2287 9 0 3917352 0
[pid=28682/tid=28685] ppid=28678 vsize=15706532 CPUtime=0.64 cores=0,2,4,6
/proc/28682/task/28685/stat : 28685 (java) R 28678 28682 27699 0 -1 4202560 15132 0 1 0 62 2 0 0 18 0 22 0 529857507 16083488768 77708 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28682/tid=28687] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28687/stat : 28687 (java) S 28678 28682 27699 0 -1 4202560 1513 0 0 0 0 0 0 0 15 0 22 0 529857507 16083488768 77710 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 0 0 0 0
[pid=28682/tid=28688] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28688/stat : 28688 (java) S 28678 28682 27699 0 -1 4202560 3582 0 0 0 0 0 0 0 15 0 22 0 529857507 16083488768 77713 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 0 0 0 0
[pid=28682/tid=28690] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28690/stat : 28690 (java) S 28678 28682 27699 0 -1 4202560 2522 0 0 0 0 0 0 0 15 0 22 0 529857507 16083488768 77718 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 2 0 0 0
[pid=28682/tid=28692] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28692/stat : 28692 (java) S 28678 28682 27699 0 -1 4202560 3504 0 0 0 0 0 0 0 16 0 22 0 529857507 16083488768 77723 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 4 0 0 0
[pid=28682/tid=28694] ppid=28678 vsize=15706532 CPUtime=0.01 cores=0,2,4,6
/proc/28682/task/28694/stat : 28694 (java) S 28678 28682 27699 0 -1 4202560 3759 0 0 0 1 0 0 0 15 0 22 0 529857507 16083488768 77726 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28682/tid=28696] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28696/stat : 28696 (java) S 28678 28682 27699 0 -1 4202560 2631 0 0 0 0 0 0 0 16 0 22 0 529857507 16083488768 77729 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 2 0 0 0
[pid=28682/tid=28698] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28698/stat : 28698 (java) S 28678 28682 27699 0 -1 4202560 1100 0 0 0 0 0 0 0 15 0 22 0 529857507 16083488768 77733 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28682/tid=28700] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28700/stat : 28700 (java) S 28678 28682 27699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529857507 16083488768 77734 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28682/tid=28703] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28703/stat : 28703 (java) S 28678 28682 27699 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 529857508 16083488768 77741 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331904 0 0 0 16800975 18446604453654297344 0 0 -1 0 0 0 0
[pid=28682/tid=28705] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28705/stat : 28705 (java) S 28678 28682 27699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529857509 16083488768 77744 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28682/tid=28707] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28707/stat : 28707 (java) S 28678 28682 27699 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529857509 16083488768 77747 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28682/tid=28711] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28711/stat : 28711 (java) S 28678 28682 27699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529857511 16083488768 77751 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646338993 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28682/tid=28712] ppid=28678 vsize=15706532 CPUtime=0.81 cores=0,2,4,6
/proc/28682/task/28712/stat : 28712 (java) R 28678 28682 27699 0 -1 4202560 4686 0 0 0 81 0 0 0 16 0 22 0 529857511 16083488768 77753 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28682/tid=28715] ppid=28678 vsize=15706532 CPUtime=1.02 cores=0,2,4,6
/proc/28682/task/28715/stat : 28715 (java) R 28678 28682 27699 0 -1 4202560 10369 0 0 0 102 0 0 0 16 0 22 0 529857511 16083488768 77755 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 47706308936160 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28682/tid=28716] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28716/stat : 28716 (java) S 28678 28682 27699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529857511 16083488768 77757 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28682/tid=28718] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28718/stat : 28718 (java) S 28678 28682 27699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529857511 16083488768 77759 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331904 0 4 0 16800975 18446604453654297344 0 0 -1 2 0 0 0
[pid=28682/tid=28719] ppid=28678 vsize=15706532 CPUtime=1.05 cores=0,2,4,6
/proc/28682/task/28719/stat : 28719 (java) R 28678 28682 27699 0 -1 4202560 7583 0 0 0 104 1 0 0 16 0 22 0 529857540 16083488768 77762 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 46912505870738 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28682/tid=28720] ppid=28678 vsize=15706532 CPUtime=1.17 cores=0,2,4,6
/proc/28682/task/28720/stat : 28720 (java) R 28678 28682 27699 0 -1 4202560 9166 0 0 0 116 1 0 0 16 0 22 0 529857540 16083488768 77764 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 46912506231243 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28682/tid=28721] ppid=28678 vsize=15706532 CPUtime=0.97 cores=0,2,4,6
/proc/28682/task/28721/stat : 28721 (java) R 28678 28682 27699 0 -1 4202560 6053 0 0 0 97 0 0 0 17 0 22 0 529857540 16083488768 77766 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 46912506092988 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28682/tid=28722] ppid=28678 vsize=15706532 CPUtime=1.16 cores=0,2,4,6
/proc/28682/task/28722/stat : 28722 (java) R 28678 28682 27699 0 -1 4202560 9845 0 0 0 115 1 0 0 16 0 22 0 529857540 16083488768 77768 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 46912505775188 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.98
Current children cumulated vsize (KiB) 15706532
[startup+2.20742 s]
/proc/loadavg: 3.42 4.18 5.63 15/220 28726
/proc/meminfo: memFree=18254464/32951124 swapFree=67111528/67111528
[pid=28682] ppid=28678 vsize=15706532 CPUtime=7.38 cores=0,2,4,6
/proc/28682/stat : 28682 (java) S 28678 28682 27699 0 -1 4202496 101963 0 1 0 724 14 0 0 17 0 22 0 529857506 16083488768 96782 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28682/statm: 3926633 96782 2287 9 0 3917352 0
[pid=28682/tid=28685] ppid=28678 vsize=15706532 CPUtime=0.64 cores=0,2,4,6
/proc/28682/task/28685/stat : 28685 (java) R 28678 28682 27699 0 -1 4202560 15133 0 1 0 62 2 0 0 17 0 22 0 529857507 16083488768 96782 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646341301 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28682/tid=28687] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28687/stat : 28687 (java) S 28678 28682 27699 0 -1 4202560 3633 0 0 0 0 0 0 0 16 0 22 0 529857507 16083488768 96782 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 2 0 0 0
[pid=28682/tid=28688] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28688/stat : 28688 (java) S 28678 28682 27699 0 -1 4202560 3582 0 0 0 0 0 0 0 15 0 22 0 529857507 16083488768 96782 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 0 0 0 0
[pid=28682/tid=28690] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28690/stat : 28690 (java) S 28678 28682 27699 0 -1 4202560 2522 0 0 0 0 0 0 0 15 0 22 0 529857507 16083488768 96782 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 2 0 0 0
[pid=28682/tid=28692] ppid=28678 vsize=15706532 CPUtime=0.01 cores=0,2,4,6
/proc/28682/task/28692/stat : 28692 (java) S 28678 28682 27699 0 -1 4202560 5437 0 0 0 1 0 0 0 16 0 22 0 529857507 16083488768 96782 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 4 0 0 0
[pid=28682/tid=28694] ppid=28678 vsize=15706532 CPUtime=0.01 cores=0,2,4,6
/proc/28682/task/28694/stat : 28694 (java) S 28678 28682 27699 0 -1 4202560 3759 0 0 0 1 0 0 0 15 0 22 0 529857507 16083488768 96782 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28682/tid=28696] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28696/stat : 28696 (java) S 28678 28682 27699 0 -1 4202560 4955 0 0 0 0 0 0 0 16 0 22 0 529857507 16083488768 96782 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 2 0 0 0
[pid=28682/tid=28698] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28698/stat : 28698 (java) S 28678 28682 27699 0 -1 4202560 1100 0 0 0 0 0 0 0 15 0 22 0 529857507 16083488768 96782 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28682/tid=28700] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28700/stat : 28700 (java) S 28678 28682 27699 0 -1 4202560 2316 0 0 0 0 0 0 0 16 0 22 0 529857507 16083488768 96782 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28682/tid=28703] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28703/stat : 28703 (java) S 28678 28682 27699 0 -1 4202560 222 0 0 0 0 0 0 0 15 0 22 0 529857508 16083488768 96782 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331904 0 0 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28682/tid=28705] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28705/stat : 28705 (java) S 28678 28682 27699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529857509 16083488768 96782 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28682/tid=28707] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28707/stat : 28707 (java) S 28678 28682 27699 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529857509 16083488768 96782 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28682/tid=28711] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28711/stat : 28711 (java) S 28678 28682 27699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529857511 16083488768 96782 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646338993 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28682/tid=28712] ppid=28678 vsize=15706532 CPUtime=0.86 cores=0,2,4,6
/proc/28682/task/28712/stat : 28712 (java) S 28678 28682 27699 0 -1 4202560 4691 0 0 0 86 0 0 0 15 0 22 0 529857511 16083488768 96782 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 4 0 0 0
[pid=28682/tid=28715] ppid=28678 vsize=15706532 CPUtime=1.12 cores=0,2,4,6
/proc/28682/task/28715/stat : 28715 (java) R 28678 28682 27699 0 -1 4202560 10376 0 0 0 112 0 0 0 16 0 22 0 529857511 16083488768 96782 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 47706308981776 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28682/tid=28716] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28716/stat : 28716 (java) S 28678 28682 27699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529857511 16083488768 96782 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28682/tid=28718] ppid=28678 vsize=15706532 CPUtime=0 cores=0,2,4,6
/proc/28682/task/28718/stat : 28718 (java) S 28678 28682 27699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529857511 16083488768 96782 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331904 0 4 0 16800975 18446604453654297344 0 0 -1 2 0 0 0
[pid=28682/tid=28719] ppid=28678 vsize=15706532 CPUtime=1.1 cores=0,2,4,6
/proc/28682/task/28719/stat : 28719 (java) R 28678 28682 27699 0 -1 4202560 9612 0 0 0 109 1 0 0 16 0 22 0 529857540 16083488768 96782 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 46912505707904 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28682/tid=28720] ppid=28678 vsize=15706532 CPUtime=1.25 cores=0,2,4,6
/proc/28682/task/28720/stat : 28720 (java) R 28678 28682 27699 0 -1 4202560 13203 0 0 0 124 1 0 0 17 0 22 0 529857540 16083488768 96782 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 46912506302802 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28682/tid=28721] ppid=28678 vsize=15706532 CPUtime=0.97 cores=0,2,4,6
/proc/28682/task/28721/stat : 28721 (java) R 28678 28682 27699 0 -1 4202560 6053 0 0 0 97 0 0 0 17 0 22 0 529857540 16083488768 96782 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 216646331289 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28682/tid=28722] ppid=28678 vsize=15706532 CPUtime=1.25 cores=0,2,4,6
/proc/28682/task/28722/stat : 28722 (java) R 28678 28682 27699 0 -1 4202560 13985 0 0 0 124 1 0 0 17 0 22 0 529857540 16083488768 96782 33554432000 1073741824 1073778376 140736379808656 18446744073709551615 46912505707904 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.38
Current children cumulated vsize (KiB) 15706532
Child status: 10
Real time (s): 2.29548
CPU time (s): 7.67883
CPU user time (s): 7.51386
CPU system time (s): 0.164974
CPU usage (%): 334.519
Max. virtual memory (cumulated for all children) (KiB): 15709032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.51386
system time used= 0.164974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102004
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= 879
involuntary context switches= 665
runsolver used 0.007998 second user time and 0.015997 second system time
The end