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-3688550-1337878497/watcher-3688550-1337878497 -o /tmp/evaluation-result-3688550-1337878497/solver-3688550-1337878497 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688550-1337878497.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.68 3.84 3.88 6/199 28363
/proc/meminfo: memFree=29267320/32873844 swapFree=7364/7364
[pid=28363] ppid=28361 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/28363/stat : 28363 (java) R 28361 28363 26250 0 -1 4202496 892 0 0 0 0 0 0 0 20 0 1 0 253974528 23793664 621 33554432000 1073741824 1073778376 140735639996064 140735639985128 215134288435 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28363/statm: 5809 634 471 9 0 128 0
[startup+0.0954121 s]
/proc/loadavg: 3.68 3.84 3.88 6/199 28363
/proc/meminfo: memFree=29267320/32873844 swapFree=7364/7364
[pid=28363] ppid=28361 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/28363/stat : 28363 (java) S 28361 28363 26250 0 -1 4202496 4311 0 1 0 8 1 0 0 20 0 18 0 253974528 9787813888 5503 33554432000 1073741824 1073778376 140735639996064 140735639987200 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28363/statm: 2389603 5505 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.100214 s]
/proc/loadavg: 3.68 3.84 3.88 6/199 28363
/proc/meminfo: memFree=29267320/32873844 swapFree=7364/7364
[pid=28363] ppid=28361 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/28363/stat : 28363 (java) S 28361 28363 26250 0 -1 4202496 4339 0 1 0 9 1 0 0 20 0 18 0 253974528 9787813888 6042 33554432000 1073741824 1073778376 140735639996064 140735639987200 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28363/statm: 2389603 6042 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.300185 s]
/proc/loadavg: 3.68 3.84 3.88 6/199 28363
/proc/meminfo: memFree=29267320/32873844 swapFree=7364/7364
[pid=28363] ppid=28361 vsize=9824668 CPUtime=0.68 cores=1,3,5,7
/proc/28363/stat : 28363 (java) S 28361 28363 26250 0 -1 4202496 8534 0 1 0 64 4 0 0 20 0 19 0 253974528 10060460032 9482 33554432000 1073741824 1073778376 140735639996064 140735639987200 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28363/statm: 2456167 9482 2212 9 0 2446860 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 9824668
[startup+0.700187 s]
/proc/loadavg: 3.68 3.84 3.88 6/199 28363
/proc/meminfo: memFree=29267320/32873844 swapFree=7364/7364
[pid=28363] ppid=28361 vsize=9824668 CPUtime=0.86 cores=1,3,5,7
/proc/28363/stat : 28363 (java) S 28361 28363 26250 0 -1 4202496 10975 0 1 0 81 5 0 0 20 0 19 0 253974528 10060460032 11476 33554432000 1073741824 1073778376 140735639996064 140735639987200 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28363/statm: 2456167 11476 2217 9 0 2446860 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 9824668
[startup+1.50063 s]
/proc/loadavg: 3.68 3.84 3.88 3/218 28388
/proc/meminfo: memFree=29221440/32873844 swapFree=7364/7364
[pid=28363] ppid=28361 vsize=9824668 CPUtime=0.88 cores=1,3,5,7
/proc/28363/stat : 28363 (java) S 28361 28363 26250 0 -1 4202496 10986 0 1 0 83 5 0 0 20 0 19 0 253974528 10060460032 13012 33554432000 1073741824 1073778376 140735639996064 140735639987200 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28363/statm: 2456167 13012 2217 9 0 2446860 0
[pid=28363/tid=28365] ppid=28361 vsize=9824668 CPUtime=0.12 cores=1,3,5,7
/proc/28363/task/28365/stat : 28365 (java) S 28361 28363 26250 0 -1 4202560 2441 0 1 0 11 1 0 0 20 0 19 0 253974529 10060460032 13012 33554432000 1073741824 1073778376 140735639996064 139786921845752 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28363/tid=28366] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28366/stat : 28366 (java) S 28361 28363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253974529 10060460032 13012 33554432000 1073741824 1073778376 140735639996064 139786894297768 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28363/tid=28367] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28367/stat : 28367 (java) S 28361 28363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253974529 10060460032 13012 33554432000 1073741824 1073778376 140735639996064 139786893245224 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28363/tid=28368] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28368/stat : 28368 (java) S 28361 28363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253974529 10060460032 13012 33554432000 1073741824 1073778376 140735639996064 139786762890152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28363/tid=28369] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28369/stat : 28369 (java) S 28361 28363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253974529 10060460032 13012 33554432000 1073741824 1073778376 140735639996064 139786761837608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28363/tid=28370] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28370/stat : 28370 (java) S 28361 28363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253974529 10060460032 13012 33554432000 1073741824 1073778376 140735639996064 139786760784040 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28363/tid=28371] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28371/stat : 28371 (java) S 28361 28363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253974529 10060460032 13012 33554432000 1073741824 1073778376 140735639996064 139786759731496 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28363/tid=28372] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28372/stat : 28372 (java) S 28361 28363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253974529 10060460032 13012 33554432000 1073741824 1073778376 140735639996064 139786758678952 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28363/tid=28373] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28373/stat : 28373 (java) S 28361 28363 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253974529 10060460032 13012 33554432000 1073741824 1073778376 140735639996064 139786287311400 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28363/tid=28374] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28374/stat : 28374 (java) S 28361 28363 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253974530 10060460032 13012 33554432000 1073741824 1073778376 140735639996064 139786275113576 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28363/tid=28375] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28375/stat : 28375 (java) S 28361 28363 26250 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253974531 10060460032 13012 33554432000 1073741824 1073778376 140735639996064 139786274059896 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28363/tid=28376] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28376/stat : 28376 (java) S 28361 28363 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253974531 10060460032 13012 33554432000 1073741824 1073778376 140735639996064 139786273007240 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28363/tid=28377] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28377/stat : 28377 (java) S 28361 28363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253974533 10060460032 13012 33554432000 1073741824 1073778376 140735639996064 139786271955984 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28363/tid=28378] ppid=28361 vsize=9824668 CPUtime=0.24 cores=1,3,5,7
/proc/28363/task/28378/stat : 28378 (java) S 28361 28363 26250 0 -1 4202560 3067 0 0 0 24 0 0 0 20 0 19 0 253974533 10060460032 13012 33554432000 1073741824 1073778376 140735639996064 139786270902328 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28363/tid=28379] ppid=28361 vsize=9824668 CPUtime=0.22 cores=1,3,5,7
/proc/28363/task/28379/stat : 28379 (java) S 28361 28363 26250 0 -1 4202560 4157 0 0 0 22 0 0 0 20 0 19 0 253974533 10060460032 13012 33554432000 1073741824 1073778376 140735639996064 139786269849784 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28363/tid=28380] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28380/stat : 28380 (java) S 28361 28363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253974533 10060460032 13012 33554432000 1073741824 1073778376 140735639996064 139786268797432 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28363/tid=28381] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28381/stat : 28381 (java) S 28361 28363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253974533 10060460032 13012 33554432000 1073741824 1073778376 140735639996064 139786267745096 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28363/tid=28384] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28384/stat : 28384 (java) S 28361 28363 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253974543 10060460032 13012 33554432000 1073741824 1073778376 140735639996064 139786264553000 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 9824668
Solver just ended. Dumping a history of the last processes samples
[startup+1.90075 s]
/proc/loadavg: 3.68 3.84 3.88 3/218 28388
/proc/meminfo: memFree=29221440/32873844 swapFree=7364/7364
[pid=28363] ppid=28361 vsize=9824668 CPUtime=1.24 cores=1,3,5,7
/proc/28363/stat : 28363 (java) S 28361 28363 26250 0 -1 4202496 14309 0 1 0 116 8 0 0 20 0 19 0 253974528 10060460032 16916 33554432000 1073741824 1073778376 140735639996064 140735639987200 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28363/statm: 2456167 16916 2227 9 0 2446860 0
[pid=28363/tid=28365] ppid=28361 vsize=9824668 CPUtime=0.12 cores=1,3,5,7
/proc/28363/task/28365/stat : 28365 (java) S 28361 28363 26250 0 -1 4202560 2441 0 1 0 11 1 0 0 20 0 19 0 253974529 10060460032 16916 33554432000 1073741824 1073778376 140735639996064 139786921845752 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28363/tid=28366] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28366/stat : 28366 (java) S 28361 28363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253974529 10060460032 16916 33554432000 1073741824 1073778376 140735639996064 139786894297768 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28363/tid=28367] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28367/stat : 28367 (java) S 28361 28363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253974529 10060460032 16916 33554432000 1073741824 1073778376 140735639996064 139786893245224 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28363/tid=28368] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28368/stat : 28368 (java) S 28361 28363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253974529 10060460032 16916 33554432000 1073741824 1073778376 140735639996064 139786762890152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28363/tid=28369] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28369/stat : 28369 (java) S 28361 28363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253974529 10060460032 16916 33554432000 1073741824 1073778376 140735639996064 139786761837608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28363/tid=28370] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28370/stat : 28370 (java) S 28361 28363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253974529 10060460032 16916 33554432000 1073741824 1073778376 140735639996064 139786760784040 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28363/tid=28371] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28371/stat : 28371 (java) S 28361 28363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253974529 10060460032 16916 33554432000 1073741824 1073778376 140735639996064 139786759731496 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28363/tid=28372] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28372/stat : 28372 (java) S 28361 28363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253974529 10060460032 16916 33554432000 1073741824 1073778376 140735639996064 139786758678952 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28363/tid=28373] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28373/stat : 28373 (java) S 28361 28363 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253974529 10060460032 16916 33554432000 1073741824 1073778376 140735639996064 139786287311400 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28363/tid=28374] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28374/stat : 28374 (java) S 28361 28363 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253974530 10060460032 16916 33554432000 1073741824 1073778376 140735639996064 139786275113576 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28363/tid=28375] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28375/stat : 28375 (java) S 28361 28363 26250 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253974531 10060460032 16916 33554432000 1073741824 1073778376 140735639996064 139786274059896 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28363/tid=28376] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28376/stat : 28376 (java) S 28361 28363 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253974531 10060460032 16916 33554432000 1073741824 1073778376 140735639996064 139786273007240 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28363/tid=28377] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28377/stat : 28377 (java) S 28361 28363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253974533 10060460032 16916 33554432000 1073741824 1073778376 140735639996064 139786271955984 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28363/tid=28378] ppid=28361 vsize=9824668 CPUtime=0.38 cores=1,3,5,7
/proc/28363/task/28378/stat : 28378 (java) S 28361 28363 26250 0 -1 4202560 6302 0 0 0 38 0 0 0 20 0 19 0 253974533 10060460032 16916 33554432000 1073741824 1073778376 140735639996064 139786270902328 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28363/tid=28379] ppid=28361 vsize=9824668 CPUtime=0.33 cores=1,3,5,7
/proc/28363/task/28379/stat : 28379 (java) S 28361 28363 26250 0 -1 4202560 4217 0 0 0 33 0 0 0 20 0 19 0 253974533 10060460032 16916 33554432000 1073741824 1073778376 140735639996064 139786269849784 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28363/tid=28380] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28380/stat : 28380 (java) S 28361 28363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253974533 10060460032 16916 33554432000 1073741824 1073778376 140735639996064 139786268797432 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28363/tid=28381] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28381/stat : 28381 (java) S 28361 28363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253974533 10060460032 16916 33554432000 1073741824 1073778376 140735639996064 139786267745096 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28363/tid=28384] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28384/stat : 28384 (java) S 28361 28363 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253974543 10060460032 16916 33554432000 1073741824 1073778376 140735639996064 139786264553000 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 9824668
[startup+2.10063 s]
/proc/loadavg: 3.68 3.84 3.88 3/218 28394
/proc/meminfo: memFree=29199476/32873844 swapFree=7364/7364
[pid=28363] ppid=28361 vsize=9824668 CPUtime=1.24 cores=1,3,5,7
/proc/28363/stat : 28363 (java) S 28361 28363 26250 0 -1 4202496 14309 0 1 0 116 8 0 0 20 0 19 0 253974528 10060460032 16916 33554432000 1073741824 1073778376 140735639996064 140735639987200 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28363/statm: 2456167 16916 2227 9 0 2446860 0
[pid=28363/tid=28365] ppid=28361 vsize=9824668 CPUtime=0.12 cores=1,3,5,7
/proc/28363/task/28365/stat : 28365 (java) S 28361 28363 26250 0 -1 4202560 2441 0 1 0 11 1 0 0 20 0 19 0 253974529 10060460032 16916 33554432000 1073741824 1073778376 140735639996064 139786921845752 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28363/tid=28366] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28366/stat : 28366 (java) S 28361 28363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253974529 10060460032 16916 33554432000 1073741824 1073778376 140735639996064 139786894297768 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28363/tid=28367] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28367/stat : 28367 (java) S 28361 28363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253974529 10060460032 16916 33554432000 1073741824 1073778376 140735639996064 139786893245224 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28363/tid=28368] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28368/stat : 28368 (java) S 28361 28363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253974529 10060460032 16916 33554432000 1073741824 1073778376 140735639996064 139786762890152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28363/tid=28369] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28369/stat : 28369 (java) S 28361 28363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253974529 10060460032 16916 33554432000 1073741824 1073778376 140735639996064 139786761837608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28363/tid=28370] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28370/stat : 28370 (java) S 28361 28363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253974529 10060460032 16916 33554432000 1073741824 1073778376 140735639996064 139786760784040 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28363/tid=28371] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28371/stat : 28371 (java) S 28361 28363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253974529 10060460032 16916 33554432000 1073741824 1073778376 140735639996064 139786759731496 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28363/tid=28372] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28372/stat : 28372 (java) S 28361 28363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253974529 10060460032 16916 33554432000 1073741824 1073778376 140735639996064 139786758678952 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28363/tid=28373] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28373/stat : 28373 (java) S 28361 28363 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253974529 10060460032 16916 33554432000 1073741824 1073778376 140735639996064 139786287311400 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28363/tid=28374] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28374/stat : 28374 (java) S 28361 28363 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253974530 10060460032 16916 33554432000 1073741824 1073778376 140735639996064 139786275113576 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28363/tid=28375] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28375/stat : 28375 (java) S 28361 28363 26250 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253974531 10060460032 16916 33554432000 1073741824 1073778376 140735639996064 139786274059896 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28363/tid=28376] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28376/stat : 28376 (java) S 28361 28363 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253974531 10060460032 16916 33554432000 1073741824 1073778376 140735639996064 139786273007240 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28363/tid=28377] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28377/stat : 28377 (java) S 28361 28363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253974533 10060460032 16916 33554432000 1073741824 1073778376 140735639996064 139786271955984 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28363/tid=28378] ppid=28361 vsize=9824668 CPUtime=0.38 cores=1,3,5,7
/proc/28363/task/28378/stat : 28378 (java) S 28361 28363 26250 0 -1 4202560 6302 0 0 0 38 0 0 0 20 0 19 0 253974533 10060460032 16916 33554432000 1073741824 1073778376 140735639996064 139786270902328 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28363/tid=28379] ppid=28361 vsize=9824668 CPUtime=0.33 cores=1,3,5,7
/proc/28363/task/28379/stat : 28379 (java) S 28361 28363 26250 0 -1 4202560 4217 0 0 0 33 0 0 0 20 0 19 0 253974533 10060460032 16916 33554432000 1073741824 1073778376 140735639996064 139786269849784 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28363/tid=28380] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28380/stat : 28380 (java) S 28361 28363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253974533 10060460032 16916 33554432000 1073741824 1073778376 140735639996064 139786268797432 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28363/tid=28381] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28381/stat : 28381 (java) S 28361 28363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253974533 10060460032 16916 33554432000 1073741824 1073778376 140735639996064 139786267745096 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28363/tid=28384] ppid=28361 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28363/task/28384/stat : 28384 (java) S 28361 28363 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253974543 10060460032 16916 33554432000 1073741824 1073778376 140735639996064 139786264553000 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 9824668
Child status: 30
Real time (s): 2.16241
CPU time (s): 1.2828
CPU user time (s): 1.18082
CPU system time (s): 0.101984
CPU usage (%): 59.3228
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.18082
system time used= 0.101984
maximum resident set size= 69724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14317
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 311
involuntary context switches= 46
runsolver used 0.011998 second user time and 0.022996 second system time
The end