runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3453723-1307194141/watcher-3453723-1307194141 -o /tmp/evaluation-result-3453723-1307194141/solver-3453723-1307194141 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453723-1307194141.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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.26 3.86 3.90 3/476 29452
/proc/meminfo: memFree=23975672/32951124 swapFree=60476376/67111528
[pid=29452] ppid=29450 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/29452/stat : 29452 (java) S 29450 29452 23562 0 -1 4202496 6937 0 1 0 0 1 0 0 25 0 2 0 811830018 10694979584 6638 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828039141 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/29452/statm: 2611079 6652 917 9 0 2602235 0
[pid=29452/tid=29453] ppid=29450 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29453/stat : 29453 (java) R 29450 29452 23562 0 -1 4202560 6393 0 1 0 0 0 0 0 25 0 2 0 811830018 10694979584 7209 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220815930427 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0808159 s]
/proc/loadavg: 3.26 3.86 3.90 3/476 29452
/proc/meminfo: memFree=23975672/32951124 swapFree=60476376/67111528
[pid=29452] ppid=29450 vsize=10539236 CPUtime=0.07 cores=1,3,5,7
/proc/29452/stat : 29452 (java) S 29450 29452 23562 0 -1 4202496 12295 0 1 0 5 2 0 0 25 0 18 0 811830018 10792177664 11991 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29452/statm: 2634809 11991 1914 9 0 2625543 0
[pid=29452/tid=29453] ppid=29450 vsize=10539236 CPUtime=0.06 cores=1,3,5,7
/proc/29452/task/29453/stat : 29453 (java) R 29450 29452 23562 0 -1 4202560 10903 0 1 0 5 1 0 0 25 0 18 0 811830018 10792177664 11991 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10539236
[startup+0.100767 s]
/proc/loadavg: 3.26 3.86 3.90 3/476 29452
/proc/meminfo: memFree=23975672/32951124 swapFree=60476376/67111528
[pid=29452] ppid=29450 vsize=10540260 CPUtime=0.1 cores=1,3,5,7
/proc/29452/stat : 29452 (java) S 29450 29452 23562 0 -1 4202496 13130 0 1 0 8 2 0 0 25 0 18 0 811830018 10793226240 12790 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29452/statm: 2635065 12791 2092 9 0 2625799 0
[pid=29452/tid=29453] ppid=29450 vsize=10540260 CPUtime=0.09 cores=1,3,5,7
/proc/29452/task/29453/stat : 29453 (java) R 29450 29452 23562 0 -1 4202560 11173 0 1 0 7 2 0 0 25 0 18 0 811830018 10793226240 12791 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 46948986383187 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540260
[startup+0.300761 s]
/proc/loadavg: 3.26 3.86 3.90 3/476 29452
/proc/meminfo: memFree=23975672/32951124 swapFree=60476376/67111528
[pid=29452] ppid=29450 vsize=10552564 CPUtime=0.64 cores=1,3,5,7
/proc/29452/stat : 29452 (java) S 29450 29452 23562 0 -1 4202496 18367 0 1 0 61 3 0 0 25 0 19 0 811830018 10805825536 16487 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29452/statm: 2638141 16487 2196 9 0 2628875 0
[pid=29452/tid=29453] ppid=29450 vsize=10552564 CPUtime=0.13 cores=1,3,5,7
/proc/29452/task/29453/stat : 29453 (java) S 29450 29452 23562 0 -1 4202560 11592 0 1 0 11 2 0 0 25 0 19 0 811830018 10805825536 16487 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052992 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 10552564
[startup+0.700621 s]
/proc/loadavg: 3.26 3.86 3.90 3/476 29452
/proc/meminfo: memFree=23975672/32951124 swapFree=60476376/67111528
[pid=29452] ppid=29450 vsize=10552564 CPUtime=0.88 cores=1,3,5,7
/proc/29452/stat : 29452 (java) S 29450 29452 23562 0 -1 4202496 20107 0 1 0 85 3 0 0 25 0 22 0 811830018 10805825536 17961 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29452/statm: 2638141 17961 2201 9 0 2628875 0
[pid=29452/tid=29453] ppid=29450 vsize=10552564 CPUtime=0.13 cores=1,3,5,7
/proc/29452/task/29453/stat : 29453 (java) S 29450 29452 23562 0 -1 4202560 11593 0 1 0 11 2 0 0 22 0 22 0 811830018 10805825536 17962 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052992 0 4 0 16800975 18446604461251810496 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 10552564
[startup+1.50151 s]
/proc/loadavg: 3.26 3.86 3.90 3/495 29477
/proc/meminfo: memFree=23783904/32951124 swapFree=60476376/67111528
[pid=29452] ppid=29450 vsize=10560924 CPUtime=1.77 cores=1,3,5,7
/proc/29452/stat : 29452 (java) S 29450 29452 23562 0 -1 4202496 35480 0 1 0 172 5 0 0 25 0 19 0 811830018 10814386176 30056 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29452/statm: 2640231 30056 2224 9 0 2630965 0
[pid=29452/tid=29453] ppid=29450 vsize=10560924 CPUtime=0.13 cores=1,3,5,7
/proc/29452/task/29453/stat : 29453 (java) S 29450 29452 23562 0 -1 4202560 11596 0 1 0 11 2 0 0 17 0 19 0 811830018 10814386176 30056 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052992 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=29452/tid=29455] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29455/stat : 29455 (java) S 29450 29452 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811830020 10814386176 30056 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
[pid=29452/tid=29456] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29456/stat : 29456 (java) S 29450 29452 23562 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 811830020 10814386176 30056 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=29452/tid=29457] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29457/stat : 29457 (java) S 29450 29452 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811830020 10814386176 30056 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
[pid=29452/tid=29458] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29458/stat : 29458 (java) S 29450 29452 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811830020 10814386176 30056 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=29452/tid=29459] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29459/stat : 29459 (java) S 29450 29452 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811830020 10814386176 30056 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
[pid=29452/tid=29460] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29460/stat : 29460 (java) S 29450 29452 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811830020 10814386176 30056 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
[pid=29452/tid=29461] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29461/stat : 29461 (java) S 29450 29452 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811830020 10814386176 30056 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=29452/tid=29462] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29462/stat : 29462 (java) S 29450 29452 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811830020 10814386176 30056 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=29452/tid=29463] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29463/stat : 29463 (java) S 29450 29452 23562 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 811830021 10814386176 30056 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052992 0 0 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=29452/tid=29464] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29464/stat : 29464 (java) S 29450 29452 23562 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 811830021 10814386176 30056 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=29452/tid=29465] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29465/stat : 29465 (java) S 29450 29452 23562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811830021 10814386176 30056 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=29452/tid=29466] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29466/stat : 29466 (java) S 29450 29452 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811830024 10814386176 30056 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828060081 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=29452/tid=29467] ppid=29450 vsize=10560924 CPUtime=0.49 cores=1,3,5,7
/proc/29452/task/29467/stat : 29467 (java) S 29450 29452 23562 0 -1 4202560 5465 0 0 0 49 0 0 0 16 0 19 0 811830024 10814386176 30056 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=29452/tid=29468] ppid=29450 vsize=10560924 CPUtime=0.48 cores=1,3,5,7
/proc/29452/task/29468/stat : 29468 (java) S 29450 29452 23562 0 -1 4202560 6754 0 0 0 48 0 0 0 15 0 19 0 811830024 10814386176 30056 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
[pid=29452/tid=29469] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29469/stat : 29469 (java) S 29450 29452 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811830024 10814386176 30056 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=29452/tid=29470] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29470/stat : 29470 (java) S 29450 29452 23562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811830024 10814386176 30056 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052992 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=29452/tid=29474] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29474/stat : 29474 (java) S 29450 29452 23562 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 811830033 10814386176 30056 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052992 0 4 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.77
Current children cumulated vsize (KiB) 10560924
Solver just ended. Dumping a history of the last processes samples
[startup+1.9014 s]
/proc/loadavg: 3.26 3.86 3.90 3/495 29477
/proc/meminfo: memFree=23783904/32951124 swapFree=60476376/67111528
[pid=29452] ppid=29450 vsize=10560924 CPUtime=2.63 cores=1,3,5,7
/proc/29452/stat : 29452 (java) S 29450 29452 23562 0 -1 4202496 61304 0 1 0 255 8 0 0 25 0 22 0 811830018 10814386176 54211 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29452/statm: 2640231 54218 2251 9 0 2630965 0
[pid=29452/tid=29453] ppid=29450 vsize=10560924 CPUtime=0.13 cores=1,3,5,7
/proc/29452/task/29453/stat : 29453 (java) S 29450 29452 23562 0 -1 4202560 11598 0 1 0 11 2 0 0 16 0 22 0 811830018 10814386176 54220 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052992 0 4 0 16800975 18446604461251810496 0 0 -1 5 0 0 0
[pid=29452/tid=29455] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29455/stat : 29455 (java) S 29450 29452 23562 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811830020 10814386176 54224 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 5 0 0 0
[pid=29452/tid=29456] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29456/stat : 29456 (java) S 29450 29452 23562 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 22 0 811830020 10814386176 54227 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=29452/tid=29457] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29457/stat : 29457 (java) S 29450 29452 23562 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811830020 10814386176 54231 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 5 0 0 0
[pid=29452/tid=29458] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29458/stat : 29458 (java) S 29450 29452 23562 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 811830020 10814386176 54234 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=29452/tid=29459] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29459/stat : 29459 (java) S 29450 29452 23562 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 811830020 10814386176 54236 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 5 0 0 0
[pid=29452/tid=29460] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29460/stat : 29460 (java) S 29450 29452 23562 0 -1 4202560 274 0 0 0 0 0 0 0 17 0 22 0 811830020 10814386176 54236 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=29452/tid=29461] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29461/stat : 29461 (java) S 29450 29452 23562 0 -1 4202560 150 0 0 0 0 0 0 0 17 0 22 0 811830020 10814386176 54236 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 5 0 0 0
[pid=29452/tid=29462] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29462/stat : 29462 (java) S 29450 29452 23562 0 -1 4202560 156 0 0 0 0 0 0 0 18 0 22 0 811830020 10814386176 54236 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=29452/tid=29463] ppid=29450 vsize=10560924 CPUtime=0.01 cores=1,3,5,7
/proc/29452/task/29463/stat : 29463 (java) S 29450 29452 23562 0 -1 4202560 583 0 0 0 1 0 0 0 15 0 22 0 811830021 10814386176 54236 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052992 0 0 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
[pid=29452/tid=29464] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29464/stat : 29464 (java) S 29450 29452 23562 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 811830021 10814386176 54236 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=29452/tid=29465] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29465/stat : 29465 (java) S 29450 29452 23562 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 811830021 10814386176 54236 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
[pid=29452/tid=29466] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29466/stat : 29466 (java) S 29450 29452 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811830024 10814386176 54236 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828060081 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=29452/tid=29467] ppid=29450 vsize=10560924 CPUtime=0.69 cores=1,3,5,7
/proc/29452/task/29467/stat : 29467 (java) R 29450 29452 23562 0 -1 4202560 8583 0 0 0 69 0 0 0 16 0 22 0 811830024 10814386176 54236 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 46948981524568 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29452/tid=29468] ppid=29450 vsize=10560924 CPUtime=0.66 cores=1,3,5,7
/proc/29452/task/29468/stat : 29468 (java) S 29450 29452 23562 0 -1 4202560 6793 0 0 0 66 0 0 0 15 0 22 0 811830024 10814386176 54236 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
[pid=29452/tid=29469] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29469/stat : 29469 (java) S 29450 29452 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811830024 10814386176 54236 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=29452/tid=29470] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29470/stat : 29470 (java) S 29450 29452 23562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811830024 10814386176 54236 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052992 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=29452/tid=29474] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29474/stat : 29474 (java) S 29450 29452 23562 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 811830033 10814386176 54236 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052992 0 4 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 10560924
[startup+2.10141 s]
/proc/loadavg: 3.26 3.86 3.90 4/495 29483
/proc/meminfo: memFree=23616144/32951124 swapFree=60476376/67111528
[pid=29452] ppid=29450 vsize=10560924 CPUtime=3.07 cores=1,3,5,7
/proc/29452/stat : 29452 (java) S 29450 29452 23562 0 -1 4202496 72838 0 1 0 297 10 0 0 25 0 19 0 811830018 10814386176 65325 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29452/statm: 2640231 65325 2251 9 0 2630965 0
[pid=29452/tid=29453] ppid=29450 vsize=10560924 CPUtime=0.13 cores=1,3,5,7
/proc/29452/task/29453/stat : 29453 (java) S 29450 29452 23562 0 -1 4202560 11598 0 1 0 11 2 0 0 16 0 19 0 811830018 10814386176 65325 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052992 0 4 0 16800975 18446604461251810496 0 0 -1 5 0 0 0
[pid=29452/tid=29455] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29455/stat : 29455 (java) S 29450 29452 23562 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 811830020 10814386176 65325 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 5 0 0 0
[pid=29452/tid=29456] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29456/stat : 29456 (java) S 29450 29452 23562 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 19 0 811830020 10814386176 65325 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=29452/tid=29457] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29457/stat : 29457 (java) S 29450 29452 23562 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 811830020 10814386176 65325 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 5 0 0 0
[pid=29452/tid=29458] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29458/stat : 29458 (java) S 29450 29452 23562 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 811830020 10814386176 65325 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=29452/tid=29459] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29459/stat : 29459 (java) S 29450 29452 23562 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 811830020 10814386176 65325 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 5 0 0 0
[pid=29452/tid=29460] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29460/stat : 29460 (java) S 29450 29452 23562 0 -1 4202560 274 0 0 0 0 0 0 0 17 0 19 0 811830020 10814386176 65325 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=29452/tid=29461] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29461/stat : 29461 (java) S 29450 29452 23562 0 -1 4202560 150 0 0 0 0 0 0 0 17 0 19 0 811830020 10814386176 65325 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 5 0 0 0
[pid=29452/tid=29462] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29462/stat : 29462 (java) S 29450 29452 23562 0 -1 4202560 156 0 0 0 0 0 0 0 18 0 19 0 811830020 10814386176 65325 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=29452/tid=29463] ppid=29450 vsize=10560924 CPUtime=0.01 cores=1,3,5,7
/proc/29452/task/29463/stat : 29463 (java) S 29450 29452 23562 0 -1 4202560 583 0 0 0 1 0 0 0 15 0 19 0 811830021 10814386176 65325 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052992 0 0 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
[pid=29452/tid=29464] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29464/stat : 29464 (java) S 29450 29452 23562 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 811830021 10814386176 65325 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=29452/tid=29465] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29465/stat : 29465 (java) S 29450 29452 23562 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 811830021 10814386176 65325 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
[pid=29452/tid=29466] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29466/stat : 29466 (java) S 29450 29452 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811830024 10814386176 65325 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828060081 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=29452/tid=29467] ppid=29450 vsize=10560924 CPUtime=0.92 cores=1,3,5,7
/proc/29452/task/29467/stat : 29467 (java) R 29450 29452 23562 0 -1 4202560 9867 0 0 0 91 1 0 0 16 0 19 0 811830024 10814386176 65325 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 46948982736338 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29452/tid=29468] ppid=29450 vsize=10560924 CPUtime=0.69 cores=1,3,5,7
/proc/29452/task/29468/stat : 29468 (java) S 29450 29452 23562 0 -1 4202560 6796 0 0 0 69 0 0 0 16 0 19 0 811830024 10814386176 65325 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
[pid=29452/tid=29469] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29469/stat : 29469 (java) S 29450 29452 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811830024 10814386176 65325 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=29452/tid=29470] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29470/stat : 29470 (java) S 29450 29452 23562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811830024 10814386176 65325 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052992 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=29452/tid=29474] ppid=29450 vsize=10560924 CPUtime=0 cores=1,3,5,7
/proc/29452/task/29474/stat : 29474 (java) S 29450 29452 23562 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 811830033 10814386176 65325 33554432000 1073741824 1073778376 140733642273936 18446744073709551615 220828052992 0 4 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 10560924
Child status: 30
Real time (s): 2.19997
CPU time (s): 3.16552
CPU user time (s): 3.05253
CPU system time (s): 0.112982
CPU usage (%): 143.889
Max. virtual memory (cumulated for all children) (KiB): 10560924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.05253
system time used= 0.112982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73296
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= 352
involuntary context switches= 107
runsolver used 0.018997 second user time and 0.033994 second system time
The end