runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3688536-1337878482/watcher-3688536-1337878482 -o /tmp/evaluation-result-3688536-1337878482/solver-3688536-1337878482 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688536-1337878482.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.95 3.87 3.82 4/197 20484
/proc/meminfo: memFree=29163264/32873844 swapFree=7384/7384
[pid=20484] ppid=20482 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/20484/stat : 20484 (java) D 20482 20484 18255 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 253973698 2560000 47 33554432000 1073741824 1073778376 140734214758656 140734214755784 239863950631 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/20484/statm: 625 47 37 9 0 29 0
[startup+0.023813 s]
/proc/loadavg: 3.95 3.87 3.82 4/197 20484
/proc/meminfo: memFree=29163264/32873844 swapFree=7384/7384
[pid=20484] ppid=20482 vsize=101560 CPUtime=0 cores=1,3,5,7
/proc/20484/stat : 20484 (java) S 20482 20484 18255 0 -1 4202496 1421 0 1 0 0 0 0 0 20 0 2 0 253973698 103997440 1102 33554432000 1073741824 1073778376 140735540242736 140735540233872 239876472893 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20484/statm: 25390 1102 852 9 0 16774 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 101560
[startup+0.100313 s]
/proc/loadavg: 3.95 3.87 3.82 4/197 20484
/proc/meminfo: memFree=29163264/32873844 swapFree=7384/7384
[pid=20484] ppid=20482 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/20484/stat : 20484 (java) S 20482 20484 18255 0 -1 4202496 4143 0 1 0 6 1 0 0 20 0 18 0 253973698 9787813888 5343 33554432000 1073741824 1073778376 140735540242736 140735540233872 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20484/statm: 2389603 5346 2074 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558412
[startup+0.300195 s]
/proc/loadavg: 3.95 3.87 3.82 4/197 20484
/proc/meminfo: memFree=29163264/32873844 swapFree=7384/7384
[pid=20484] ppid=20482 vsize=9824668 CPUtime=0.34 cores=1,3,5,7
/proc/20484/stat : 20484 (java) S 20482 20484 18255 0 -1 4202496 6303 0 1 0 32 2 0 0 20 0 22 0 253973698 10060460032 8914 33554432000 1073741824 1073778376 140735540242736 140735540233872 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20484/statm: 2456167 8902 2204 9 0 2446860 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 9824668
[startup+0.700305 s]
/proc/loadavg: 3.95 3.87 3.82 4/197 20484
/proc/meminfo: memFree=29163264/32873844 swapFree=7384/7384
[pid=20484] ppid=20482 vsize=9824668 CPUtime=1.02 cores=1,3,5,7
/proc/20484/stat : 20484 (java) S 20482 20484 18255 0 -1 4202496 13512 0 1 0 97 5 0 0 20 0 19 0 253973698 10060460032 14181 33554432000 1073741824 1073778376 140735540242736 140735540233872 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20484/statm: 2456167 14181 2217 9 0 2446860 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 9824668
[startup+1.50065 s]
/proc/loadavg: 3.95 3.87 3.82 3/216 20509
/proc/meminfo: memFree=29099756/32873844 swapFree=7384/7384
[pid=20484] ppid=20482 vsize=9824668 CPUtime=1.47 cores=1,3,5,7
/proc/20484/stat : 20484 (java) S 20482 20484 18255 0 -1 4202496 15196 0 1 0 139 8 0 0 20 0 19 0 253973698 10060460032 18376 33554432000 1073741824 1073778376 140735540242736 140735540233872 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20484/statm: 2456167 18376 2222 9 0 2446860 0
[pid=20484/tid=20486] ppid=20482 vsize=9824668 CPUtime=0.13 cores=1,3,5,7
/proc/20484/task/20486/stat : 20486 (java) S 20482 20484 18255 0 -1 4202560 2437 0 1 0 11 2 0 0 20 0 19 0 253973700 10060460032 18376 33554432000 1073741824 1073778376 140735540242736 139652122080248 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 7 0 0
[pid=20484/tid=20487] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20487/stat : 20487 (java) S 20482 20484 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253973701 10060460032 18376 33554432000 1073741824 1073778376 140735540242736 139652083571240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20484/tid=20488] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20488/stat : 20488 (java) S 20482 20484 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253973701 10060460032 18376 33554432000 1073741824 1073778376 140735540242736 139652082518440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20484/tid=20489] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20489/stat : 20489 (java) S 20482 20484 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253973701 10060460032 18376 33554432000 1073741824 1073778376 140735540242736 139652081465640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20484/tid=20490] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20490/stat : 20490 (java) S 20482 20484 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253973701 10060460032 18376 33554432000 1073741824 1073778376 140735540242736 139652080412840 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20484/tid=20491] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20491/stat : 20491 (java) S 20482 20484 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253973701 10060460032 18376 33554432000 1073741824 1073778376 140735540242736 139652079361064 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20484/tid=20492] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20492/stat : 20492 (java) S 20482 20484 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253973701 10060460032 18376 33554432000 1073741824 1073778376 140735540242736 139652078308264 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20484/tid=20493] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20493/stat : 20493 (java) S 20482 20484 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253973701 10060460032 18376 33554432000 1073741824 1073778376 140735540242736 139652077255464 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20484/tid=20494] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20494/stat : 20494 (java) S 20482 20484 18255 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253973701 10060460032 18376 33554432000 1073741824 1073778376 140735540242736 139652076202664 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20484/tid=20495] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20495/stat : 20495 (java) S 20482 20484 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253973702 10060460032 18376 33554432000 1073741824 1073778376 140735540242736 139651945826792 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20484/tid=20496] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20496/stat : 20496 (java) S 20482 20484 18255 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253973703 10060460032 18376 33554432000 1073741824 1073778376 140735540242736 139651944772856 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20484/tid=20497] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20497/stat : 20497 (java) S 20482 20484 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253973703 10060460032 18376 33554432000 1073741824 1073778376 140735540242736 139651943719944 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20484/tid=20498] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20498/stat : 20498 (java) S 20482 20484 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253973705 10060460032 18376 33554432000 1073741824 1073778376 140735540242736 139651942668432 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20484/tid=20499] ppid=20482 vsize=9824668 CPUtime=0.42 cores=1,3,5,7
/proc/20484/task/20499/stat : 20499 (java) S 20482 20484 18255 0 -1 4202560 6560 0 0 0 41 1 0 0 20 0 19 0 253973705 10060460032 18376 33554432000 1073741824 1073778376 140735540242736 139651941616568 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20484/tid=20500] ppid=20482 vsize=9824668 CPUtime=0.39 cores=1,3,5,7
/proc/20484/task/20500/stat : 20500 (java) S 20482 20484 18255 0 -1 4202560 4872 0 0 0 39 0 0 0 20 0 19 0 253973705 10060460032 18376 33554432000 1073741824 1073778376 140735540242736 139651940563768 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20484/tid=20501] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20501/stat : 20501 (java) S 20482 20484 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253973705 10060460032 18376 33554432000 1073741824 1073778376 140735540242736 139651939511160 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20484/tid=20502] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20502/stat : 20502 (java) S 20482 20484 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253973705 10060460032 18376 33554432000 1073741824 1073778376 140735540242736 139651938458568 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20484/tid=20506] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20506/stat : 20506 (java) S 20482 20484 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253973724 10060460032 18376 33554432000 1073741824 1073778376 140735540242736 139650792407848 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 9824668
Solver just ended. Dumping a history of the last processes samples
[startup+2.3006 s]
/proc/loadavg: 3.95 3.87 3.82 2/216 20515
/proc/meminfo: memFree=29091944/32873844 swapFree=7384/7384
[pid=20484] ppid=20482 vsize=9824668 CPUtime=1.71 cores=1,3,5,7
/proc/20484/stat : 20484 (java) S 20482 20484 18255 0 -1 4202496 16137 0 1 0 160 11 0 0 20 0 22 0 253973698 10060460032 23067 33554432000 1073741824 1073778376 140735540242736 140735540233872 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20484/statm: 2456167 23067 2230 9 0 2446860 0
[pid=20484/tid=20486] ppid=20482 vsize=9824668 CPUtime=0.13 cores=1,3,5,7
/proc/20484/task/20486/stat : 20486 (java) S 20482 20484 18255 0 -1 4202560 2437 0 1 0 11 2 0 0 20 0 22 0 253973700 10060460032 23067 33554432000 1073741824 1073778376 140735540242736 139652122080248 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 7 0 0
[pid=20484/tid=20487] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20487/stat : 20487 (java) S 20482 20484 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253973701 10060460032 23067 33554432000 1073741824 1073778376 140735540242736 139652083571240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20484/tid=20488] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20488/stat : 20488 (java) S 20482 20484 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253973701 10060460032 23067 33554432000 1073741824 1073778376 140735540242736 139652082518440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20484/tid=20489] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20489/stat : 20489 (java) S 20482 20484 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253973701 10060460032 23067 33554432000 1073741824 1073778376 140735540242736 139652081465640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20484/tid=20490] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20490/stat : 20490 (java) S 20482 20484 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253973701 10060460032 23067 33554432000 1073741824 1073778376 140735540242736 139652080412840 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20484/tid=20491] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20491/stat : 20491 (java) S 20482 20484 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253973701 10060460032 23067 33554432000 1073741824 1073778376 140735540242736 139652079361064 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20484/tid=20492] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20492/stat : 20492 (java) S 20482 20484 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253973701 10060460032 23067 33554432000 1073741824 1073778376 140735540242736 139652078308264 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20484/tid=20493] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20493/stat : 20493 (java) S 20482 20484 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253973701 10060460032 23067 33554432000 1073741824 1073778376 140735540242736 139652077255464 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20484/tid=20494] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20494/stat : 20494 (java) S 20482 20484 18255 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253973701 10060460032 23067 33554432000 1073741824 1073778376 140735540242736 139652076202664 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20484/tid=20495] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20495/stat : 20495 (java) S 20482 20484 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253973702 10060460032 23067 33554432000 1073741824 1073778376 140735540242736 139651945826792 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20484/tid=20496] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20496/stat : 20496 (java) S 20482 20484 18255 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253973703 10060460032 23067 33554432000 1073741824 1073778376 140735540242736 139651944772856 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20484/tid=20497] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20497/stat : 20497 (java) S 20482 20484 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253973703 10060460032 23067 33554432000 1073741824 1073778376 140735540242736 139651943719944 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20484/tid=20498] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20498/stat : 20498 (java) S 20482 20484 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253973705 10060460032 23067 33554432000 1073741824 1073778376 140735540242736 139651942668432 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20484/tid=20499] ppid=20482 vsize=9824668 CPUtime=0.47 cores=1,3,5,7
/proc/20484/task/20499/stat : 20499 (java) R 20482 20484 18255 0 -1 4202560 6564 0 0 0 46 1 0 0 20 0 22 0 253973705 10060460032 23067 33554432000 1073741824 1073778376 140735540242736 139651941616408 139652125507022 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20484/tid=20500] ppid=20482 vsize=9824668 CPUtime=0.44 cores=1,3,5,7
/proc/20484/task/20500/stat : 20500 (java) R 20482 20484 18255 0 -1 4202560 5772 0 0 0 43 1 0 0 20 0 22 0 253973705 10060460032 23067 33554432000 1073741824 1073778376 140735540242736 139651940563608 139652128042033 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20484/tid=20501] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20501/stat : 20501 (java) S 20482 20484 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253973705 10060460032 23067 33554432000 1073741824 1073778376 140735540242736 139651939511160 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20484/tid=20502] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20502/stat : 20502 (java) S 20482 20484 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253973705 10060460032 23067 33554432000 1073741824 1073778376 140735540242736 139651938458568 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20484/tid=20506] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20506/stat : 20506 (java) S 20482 20484 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253973724 10060460032 23067 33554432000 1073741824 1073778376 140735540242736 139650792407848 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 9824668
[startup+2.70068 s]
/proc/loadavg: 3.95 3.87 3.82 2/216 20515
/proc/meminfo: memFree=29091944/32873844 swapFree=7384/7384
[pid=20484] ppid=20482 vsize=9824668 CPUtime=2.95 cores=1,3,5,7
/proc/20484/stat : 20484 (java) S 20482 20484 18255 0 -1 4202496 27809 0 1 0 280 15 0 0 20 0 19 0 253973698 10060460032 42538 33554432000 1073741824 1073778376 140735540242736 140735540233872 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20484/statm: 2456167 42538 2268 9 0 2446860 0
[pid=20484/tid=20486] ppid=20482 vsize=9824668 CPUtime=0.13 cores=1,3,5,7
/proc/20484/task/20486/stat : 20486 (java) S 20482 20484 18255 0 -1 4202560 2437 0 1 0 11 2 0 0 20 0 19 0 253973700 10060460032 42538 33554432000 1073741824 1073778376 140735540242736 139652122080248 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 7 0 0
[pid=20484/tid=20487] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20487/stat : 20487 (java) S 20482 20484 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253973701 10060460032 42538 33554432000 1073741824 1073778376 140735540242736 139652083571240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20484/tid=20488] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20488/stat : 20488 (java) S 20482 20484 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253973701 10060460032 42538 33554432000 1073741824 1073778376 140735540242736 139652082518440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20484/tid=20489] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20489/stat : 20489 (java) S 20482 20484 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253973701 10060460032 42538 33554432000 1073741824 1073778376 140735540242736 139652081465640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20484/tid=20490] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20490/stat : 20490 (java) S 20482 20484 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253973701 10060460032 42538 33554432000 1073741824 1073778376 140735540242736 139652080412840 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20484/tid=20491] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20491/stat : 20491 (java) S 20482 20484 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253973701 10060460032 42538 33554432000 1073741824 1073778376 140735540242736 139652079361064 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20484/tid=20492] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20492/stat : 20492 (java) S 20482 20484 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253973701 10060460032 42538 33554432000 1073741824 1073778376 140735540242736 139652078308264 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20484/tid=20493] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20493/stat : 20493 (java) S 20482 20484 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253973701 10060460032 42538 33554432000 1073741824 1073778376 140735540242736 139652077255464 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20484/tid=20494] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20494/stat : 20494 (java) S 20482 20484 18255 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253973701 10060460032 42538 33554432000 1073741824 1073778376 140735540242736 139652076202664 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20484/tid=20495] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20495/stat : 20495 (java) S 20482 20484 18255 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 253973702 10060460032 42538 33554432000 1073741824 1073778376 140735540242736 139651945826792 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20484/tid=20496] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20496/stat : 20496 (java) S 20482 20484 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253973703 10060460032 42538 33554432000 1073741824 1073778376 140735540242736 139651944772856 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20484/tid=20497] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20497/stat : 20497 (java) S 20482 20484 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253973703 10060460032 42538 33554432000 1073741824 1073778376 140735540242736 139651943719944 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20484/tid=20498] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20498/stat : 20498 (java) S 20482 20484 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253973705 10060460032 42538 33554432000 1073741824 1073778376 140735540242736 139651942668432 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20484/tid=20499] ppid=20482 vsize=9824668 CPUtime=0.87 cores=1,3,5,7
/proc/20484/task/20499/stat : 20499 (java) R 20482 20484 18255 0 -1 4202560 11664 0 0 0 84 3 0 0 20 0 19 0 253973705 10060460032 42538 33554432000 1073741824 1073778376 140735540242736 139651941603848 139652128040072 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20484/tid=20500] ppid=20482 vsize=9824668 CPUtime=0.82 cores=1,3,5,7
/proc/20484/task/20500/stat : 20500 (java) R 20482 20484 18255 0 -1 4202560 12257 0 0 0 80 2 0 0 20 0 19 0 253973705 10060460032 42538 33554432000 1073741824 1073778376 140735540242736 139651940551168 139652126196240 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=20484/tid=20501] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20501/stat : 20501 (java) S 20482 20484 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253973705 10060460032 42538 33554432000 1073741824 1073778376 140735540242736 139651939511160 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20484/tid=20502] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20502/stat : 20502 (java) S 20482 20484 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253973705 10060460032 42538 33554432000 1073741824 1073778376 140735540242736 139651938458568 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20484/tid=20506] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20506/stat : 20506 (java) S 20482 20484 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253973724 10060460032 42538 33554432000 1073741824 1073778376 140735540242736 139650792407848 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 9824668
[startup+2.80082 s]
/proc/loadavg: 3.95 3.87 3.82 2/216 20515
/proc/meminfo: memFree=29091944/32873844 swapFree=7384/7384
[pid=20484] ppid=20482 vsize=9824668 CPUtime=3.2 cores=1,3,5,7
/proc/20484/stat : 20484 (java) S 20482 20484 18255 0 -1 4202496 27908 0 1 0 305 15 0 0 20 0 18 0 253973698 10060460032 42632 33554432000 1073741824 1073778376 140735540242736 140735540233872 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20484/statm: 2456167 42632 2268 9 0 2446860 0
[pid=20484/tid=20486] ppid=20482 vsize=9824668 CPUtime=0.17 cores=1,3,5,7
/proc/20484/task/20486/stat : 20486 (java) S 20482 20484 18255 0 -1 4202560 2437 0 1 0 15 2 0 0 20 0 18 0 253973700 10060460032 42632 33554432000 1073741824 1073778376 140735540242736 139652122079928 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 7 0 0
[pid=20484/tid=20487] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20487/stat : 20487 (java) S 20482 20484 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 253973701 10060460032 42632 33554432000 1073741824 1073778376 140735540242736 139652083571240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20484/tid=20488] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20488/stat : 20488 (java) S 20482 20484 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 253973701 10060460032 42632 33554432000 1073741824 1073778376 140735540242736 139652082518440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20484/tid=20489] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20489/stat : 20489 (java) S 20482 20484 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253973701 10060460032 42632 33554432000 1073741824 1073778376 140735540242736 139652081465640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20484/tid=20490] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20490/stat : 20490 (java) S 20482 20484 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 253973701 10060460032 42632 33554432000 1073741824 1073778376 140735540242736 139652080412840 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20484/tid=20491] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20491/stat : 20491 (java) S 20482 20484 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253973701 10060460032 42632 33554432000 1073741824 1073778376 140735540242736 139652079361064 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20484/tid=20492] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20492/stat : 20492 (java) S 20482 20484 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 253973701 10060460032 42632 33554432000 1073741824 1073778376 140735540242736 139652078308264 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20484/tid=20493] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20493/stat : 20493 (java) S 20482 20484 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253973701 10060460032 42632 33554432000 1073741824 1073778376 140735540242736 139652077255464 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20484/tid=20494] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20494/stat : 20494 (java) S 20482 20484 18255 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 253973701 10060460032 42632 33554432000 1073741824 1073778376 140735540242736 139652076202664 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20484/tid=20495] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20495/stat : 20495 (java) S 20482 20484 18255 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 18 0 253973702 10060460032 42632 33554432000 1073741824 1073778376 140735540242736 139651945826344 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20484/tid=20496] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20496/stat : 20496 (java) S 20482 20484 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 253973703 10060460032 42632 33554432000 1073741824 1073778376 140735540242736 139651944772856 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20484/tid=20497] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20497/stat : 20497 (java) S 20482 20484 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 253973703 10060460032 42632 33554432000 1073741824 1073778376 140735540242736 139651943719944 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20484/tid=20498] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20498/stat : 20498 (java) S 20482 20484 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 253973705 10060460032 42632 33554432000 1073741824 1073778376 140735540242736 139651942667208 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20484/tid=20499] ppid=20482 vsize=9824668 CPUtime=0.97 cores=1,3,5,7
/proc/20484/task/20499/stat : 20499 (java) R 20482 20484 18255 0 -1 4202560 11720 0 0 0 94 3 0 0 20 0 18 0 253973705 10060460032 42632 33554432000 1073741824 1073778376 140735540242736 139651941604136 139652127922707 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20484/tid=20500] ppid=20482 vsize=9824668 CPUtime=0.92 cores=1,3,5,7
/proc/20484/task/20500/stat : 20500 (java) S 20482 20484 18255 0 -1 4202560 12290 0 0 0 90 2 0 0 20 0 18 0 253973705 10060460032 42632 33554432000 1073741824 1073778376 140735540242736 139651940550488 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20484/tid=20501] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20501/stat : 20501 (java) S 20482 20484 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253973705 10060460032 42632 33554432000 1073741824 1073778376 140735540242736 139651939511160 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20484/tid=20506] ppid=20482 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20484/task/20506/stat : 20506 (java) S 20482 20484 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 253973724 10060460032 42632 33554432000 1073741824 1073778376 140735540242736 139650792407848 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 9824668
Child status: 30
Real time (s): 2.86639
CPU time (s): 3.2735
CPU user time (s): 3.07053
CPU system time (s): 0.202969
CPU usage (%): 114.203
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.07053
system time used= 0.202969
maximum resident set size= 171728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27947
page faults= 1
swaps= 0
block input operations= 240
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 479
involuntary context switches= 114
runsolver used 0.010998 second user time and 0.025996 second system time
The end