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-3687226-1337871884/watcher-3687226-1337871884 -o /tmp/evaluation-result-3687226-1337871884/solver-3687226-1337871884 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687226-1337871884.opb
running on 4 cores: 0,2,4,6
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: 0.00 0.00 0.00 10/197 25249
/proc/meminfo: memFree=30356432/32873844 swapFree=7388/7388
[pid=25249] ppid=25247 vsize=268 CPUtime=0 cores=0,2,4,6
/proc/25249/stat : 25249 (java) R 25247 25249 25184 0 -1 4194304 49 0 0 0 0 0 0 0 20 0 1 0 253312835 274432 4 33554432000 0 0 140736110151355 140736367854808 5057063 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25249/statm: 67 14 7 9 0 24 0
[startup+0.023429 s]
/proc/loadavg: 0.00 0.00 0.00 10/197 25249
/proc/meminfo: memFree=30356432/32873844 swapFree=7388/7388
[pid=25249] ppid=25247 vsize=101528 CPUtime=0 cores=0,2,4,6
/proc/25249/stat : 25249 (java) S 25247 25249 25184 0 -1 4202496 1367 0 0 0 0 0 0 0 20 0 2 0 253312835 103964672 1050 33554432000 1073741824 1073778376 140736964514224 140736964505360 239241035837 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25249/statm: 25382 1050 805 9 0 16774 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 101528
[startup+0.100318 s]
/proc/loadavg: 0.00 0.00 0.00 10/197 25249
/proc/meminfo: memFree=30356432/32873844 swapFree=7388/7388
[pid=25249] ppid=25247 vsize=9558412 CPUtime=0.05 cores=0,2,4,6
/proc/25249/stat : 25249 (java) S 25247 25249 25184 0 -1 4202496 3202 0 1 0 4 1 0 0 20 0 18 0 253312835 9787813888 4411 33554432000 1073741824 1073778376 140736964514224 140736964505360 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25249/statm: 2389603 4412 1757 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558412
[startup+0.300151 s]
/proc/loadavg: 0.00 0.00 0.00 10/197 25249
/proc/meminfo: memFree=30356432/32873844 swapFree=7388/7388
[pid=25249] ppid=25247 vsize=9824668 CPUtime=0.5 cores=0,2,4,6
/proc/25249/stat : 25249 (java) S 25247 25249 25184 0 -1 4202496 7009 0 1 0 48 2 0 0 20 0 22 0 253312835 10060460032 8649 33554432000 1073741824 1073778376 140736964514224 140736964505360 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25249/statm: 2456167 8649 2228 9 0 2446860 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9824668
[startup+0.700164 s]
/proc/loadavg: 0.00 0.00 0.00 10/197 25249
/proc/meminfo: memFree=30356432/32873844 swapFree=7388/7388
[pid=25249] ppid=25247 vsize=9824668 CPUtime=2.1 cores=0,2,4,6
/proc/25249/stat : 25249 (java) S 25247 25249 25184 0 -1 4202496 16317 0 1 0 206 4 0 0 20 0 22 0 253312835 10060460032 18016 33554432000 1073741824 1073778376 140736964514224 140736964505360 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25249/statm: 2456167 18016 2243 9 0 2446860 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 9824668
[startup+1.50078 s]
/proc/loadavg: 0.00 0.00 0.00 6/219 25271
/proc/meminfo: memFree=30239524/32873844 swapFree=7388/7388
[pid=25249] ppid=25247 vsize=9824668 CPUtime=4.41 cores=0,2,4,6
/proc/25249/stat : 25249 (java) S 25247 25249 25184 0 -1 4202496 23707 0 1 0 434 7 0 0 20 0 22 0 253312835 10060460032 30820 33554432000 1073741824 1073778376 140736964514224 140736964505360 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25249/statm: 2456167 30820 2277 9 0 2446860 0
[pid=25249/tid=25251] ppid=25247 vsize=9824668 CPUtime=0.15 cores=0,2,4,6
/proc/25249/task/25251/stat : 25251 (java) S 25247 25249 25184 0 -1 4202560 2452 0 1 0 14 1 0 0 20 0 22 0 253312836 10060460032 30820 33554432000 1073741824 1073778376 140736964514224 140648187765752 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25249/tid=25252] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25252/stat : 25252 (java) S 25247 25249 25184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253312840 10060460032 30820 33554432000 1073741824 1073778376 140736964514224 140648176827304 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25249/tid=25253] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25253/stat : 25253 (java) S 25247 25249 25184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253312840 10060460032 30820 33554432000 1073741824 1073778376 140736964514224 140648175774760 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25249/tid=25254] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25254/stat : 25254 (java) S 25247 25249 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253312840 10060460032 30820 33554432000 1073741824 1073778376 140736964514224 140648174721704 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25249/tid=25255] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25255/stat : 25255 (java) S 25247 25249 25184 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253312840 10060460032 30820 33554432000 1073741824 1073778376 140736964514224 140648173669160 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25249/tid=25256] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25256/stat : 25256 (java) S 25247 25249 25184 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253312840 10060460032 30820 33554432000 1073741824 1073778376 140736964514224 140648172616104 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25249/tid=25257] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25257/stat : 25257 (java) S 25247 25249 25184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253312840 10060460032 30820 33554432000 1073741824 1073778376 140736964514224 140648171563560 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25249/tid=25258] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25258/stat : 25258 (java) S 25247 25249 25184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253312840 10060460032 30820 33554432000 1073741824 1073778376 140736964514224 140648170510504 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25249/tid=25259] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25259/stat : 25259 (java) S 25247 25249 25184 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253312840 10060460032 30820 33554432000 1073741824 1073778376 140736964514224 140648169457960 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25249/tid=25260] ppid=25247 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/25249/task/25260/stat : 25260 (java) S 25247 25249 25184 0 -1 4202560 33 0 0 0 4 0 0 0 20 0 22 0 253312841 10060460032 30820 33554432000 1073741824 1073778376 140736964514224 140648011967336 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25249/tid=25261] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25261/stat : 25261 (java) S 25247 25249 25184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253312841 10060460032 30820 33554432000 1073741824 1073778376 140736964514224 140648010913656 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25249/tid=25262] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25262/stat : 25262 (java) S 25247 25249 25184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253312842 10060460032 30820 33554432000 1073741824 1073778376 140736964514224 140648009860488 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25249/tid=25263] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25263/stat : 25263 (java) S 25247 25249 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253312844 10060460032 30820 33554432000 1073741824 1073778376 140736964514224 140648008809232 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25249/tid=25264] ppid=25247 vsize=9824668 CPUtime=0.86 cores=0,2,4,6
/proc/25249/task/25264/stat : 25264 (java) S 25247 25249 25184 0 -1 4202560 11680 0 0 0 84 2 0 0 20 0 22 0 253312844 10060460032 30820 33554432000 1073741824 1073778376 140736964514224 140648007756088 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25249/tid=25265] ppid=25247 vsize=9824668 CPUtime=0.86 cores=0,2,4,6
/proc/25249/task/25265/stat : 25265 (java) S 25247 25249 25184 0 -1 4202560 8176 0 0 0 85 1 0 0 20 0 22 0 253312844 10060460032 30820 33554432000 1073741824 1073778376 140736964514224 140648006703544 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25249/tid=25266] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25266/stat : 25266 (java) S 25247 25249 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253312844 10060460032 30820 33554432000 1073741824 1073778376 140736964514224 140648005650680 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25249/tid=25267] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25267/stat : 25267 (java) S 25247 25249 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253312844 10060460032 30820 33554432000 1073741824 1073778376 140736964514224 140648004598344 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25249/tid=25268] ppid=25247 vsize=9824668 CPUtime=1.2 cores=0,2,4,6
/proc/25249/task/25268/stat : 25268 (java) R 25247 25249 25184 0 -1 4202560 34 0 0 0 120 0 0 0 20 0 22 0 253312857 10060460032 30820 33554432000 1073741824 1073778376 140736964514224 140648003543904 140648049963519 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25249/tid=25269] ppid=25247 vsize=9824668 CPUtime=1.2 cores=0,2,4,6
/proc/25249/task/25269/stat : 25269 (java) R 25247 25249 25184 0 -1 4202560 93 0 0 0 120 0 0 0 20 0 22 0 253312857 10060460032 30820 33554432000 1073741824 1073778376 140736964514224 140648002489136 140648049640336 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25249/tid=25270] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25270/stat : 25270 (java) S 25247 25249 25184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253312857 10060460032 30820 33554432000 1073741824 1073778376 140736964514224 140648001439016 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25249/tid=25271] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25271/stat : 25271 (java) S 25247 25249 25184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253312857 10060460032 30820 33554432000 1073741824 1073778376 140736964514224 140648000386472 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 9824668
[startup+3.10078 s]
/proc/loadavg: 0.00 0.00 0.00 3/193 25296
/proc/meminfo: memFree=30326884/32873844 swapFree=7388/7388
[pid=25249] ppid=25247 vsize=9824668 CPUtime=7.54 cores=0,2,4,6
/proc/25249/stat : 25249 (java) S 25247 25249 25184 0 -1 4202496 23732 0 1 0 746 8 0 0 20 0 22 0 253312835 10060460032 33906 33554432000 1073741824 1073778376 140736964514224 140736964505360 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25249/statm: 2456167 33906 2278 9 0 2446860 0
[pid=25249/tid=25251] ppid=25247 vsize=9824668 CPUtime=0.15 cores=0,2,4,6
/proc/25249/task/25251/stat : 25251 (java) S 25247 25249 25184 0 -1 4202560 2453 0 1 0 14 1 0 0 20 0 22 0 253312836 10060460032 33906 33554432000 1073741824 1073778376 140736964514224 140648187765752 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25249/tid=25252] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25252/stat : 25252 (java) S 25247 25249 25184 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253312840 10060460032 33906 33554432000 1073741824 1073778376 140736964514224 140648176827304 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25249/tid=25253] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25253/stat : 25253 (java) S 25247 25249 25184 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253312840 10060460032 33906 33554432000 1073741824 1073778376 140736964514224 140648175774760 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25249/tid=25254] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25254/stat : 25254 (java) S 25247 25249 25184 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253312840 10060460032 33906 33554432000 1073741824 1073778376 140736964514224 140648174721704 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25249/tid=25255] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25255/stat : 25255 (java) S 25247 25249 25184 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253312840 10060460032 33906 33554432000 1073741824 1073778376 140736964514224 140648173669160 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25249/tid=25256] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25256/stat : 25256 (java) S 25247 25249 25184 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253312840 10060460032 33906 33554432000 1073741824 1073778376 140736964514224 140648172616104 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25249/tid=25257] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25257/stat : 25257 (java) S 25247 25249 25184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253312840 10060460032 33906 33554432000 1073741824 1073778376 140736964514224 140648171563560 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25249/tid=25258] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25258/stat : 25258 (java) S 25247 25249 25184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253312840 10060460032 33906 33554432000 1073741824 1073778376 140736964514224 140648170510504 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25249/tid=25259] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25259/stat : 25259 (java) S 25247 25249 25184 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253312840 10060460032 33906 33554432000 1073741824 1073778376 140736964514224 140648169457960 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25249/tid=25260] ppid=25247 vsize=9824668 CPUtime=0.15 cores=0,2,4,6
/proc/25249/task/25260/stat : 25260 (java) S 25247 25249 25184 0 -1 4202560 36 0 0 0 15 0 0 0 20 0 22 0 253312841 10060460032 33906 33554432000 1073741824 1073778376 140736964514224 140648011967336 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25249/tid=25261] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25261/stat : 25261 (java) S 25247 25249 25184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253312841 10060460032 33906 33554432000 1073741824 1073778376 140736964514224 140648010913656 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25249/tid=25262] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25262/stat : 25262 (java) S 25247 25249 25184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253312842 10060460032 33906 33554432000 1073741824 1073778376 140736964514224 140648009860488 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25249/tid=25263] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25263/stat : 25263 (java) S 25247 25249 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253312844 10060460032 33906 33554432000 1073741824 1073778376 140736964514224 140648008809232 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25249/tid=25264] ppid=25247 vsize=9824668 CPUtime=0.86 cores=0,2,4,6
/proc/25249/task/25264/stat : 25264 (java) S 25247 25249 25184 0 -1 4202560 11681 0 0 0 84 2 0 0 20 0 22 0 253312844 10060460032 33906 33554432000 1073741824 1073778376 140736964514224 140648007756088 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25249/tid=25265] ppid=25247 vsize=9824668 CPUtime=0.89 cores=0,2,4,6
/proc/25249/task/25265/stat : 25265 (java) S 25247 25249 25184 0 -1 4202560 8177 0 0 0 87 2 0 0 20 0 22 0 253312844 10060460032 33906 33554432000 1073741824 1073778376 140736964514224 140648006703544 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25249/tid=25266] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25266/stat : 25266 (java) S 25247 25249 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253312844 10060460032 33906 33554432000 1073741824 1073778376 140736964514224 140648005650680 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25249/tid=25267] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25267/stat : 25267 (java) S 25247 25249 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253312844 10060460032 33906 33554432000 1073741824 1073778376 140736964514224 140648004598344 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25249/tid=25268] ppid=25247 vsize=9824668 CPUtime=2.67 cores=0,2,4,6
/proc/25249/task/25268/stat : 25268 (java) R 25247 25249 25184 0 -1 4202560 35 0 0 0 267 0 0 0 20 0 22 0 253312857 10060460032 33906 33554432000 1073741824 1073778376 140736964514224 140648003544024 140648050203740 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25249/tid=25269] ppid=25247 vsize=9824668 CPUtime=2.67 cores=0,2,4,6
/proc/25249/task/25269/stat : 25269 (java) R 25247 25249 25184 0 -1 4202560 98 0 0 0 267 0 0 0 20 0 22 0 253312857 10060460032 33906 33554432000 1073741824 1073778376 140736964514224 140648002489152 140648049882846 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25249/tid=25270] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25270/stat : 25270 (java) S 25247 25249 25184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253312857 10060460032 33906 33554432000 1073741824 1073778376 140736964514224 140648001439016 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25249/tid=25271] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25271/stat : 25271 (java) S 25247 25249 25184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253312857 10060460032 33906 33554432000 1073741824 1073778376 140736964514224 140648000386472 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.54
Current children cumulated vsize (KiB) 9824668
Solver just ended. Dumping a history of the last processes samples
[startup+3.90077 s]
/proc/loadavg: 0.16 0.03 0.01 3/193 25296
/proc/meminfo: memFree=30316708/32873844 swapFree=7388/7388
[pid=25249] ppid=25247 vsize=9824668 CPUtime=9.09 cores=0,2,4,6
/proc/25249/stat : 25249 (java) S 25247 25249 25184 0 -1 4202496 23738 0 1 0 901 8 0 0 20 0 20 0 253312835 10060460032 33904 33554432000 1073741824 1073778376 140736964514224 140736964505360 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25249/statm: 2456167 33904 2279 9 0 2446860 0
[pid=25249/tid=25251] ppid=25247 vsize=9824668 CPUtime=0.15 cores=0,2,4,6
/proc/25249/task/25251/stat : 25251 (java) S 25247 25249 25184 0 -1 4202560 2453 0 1 0 14 1 0 0 20 0 20 0 253312836 10060460032 33904 33554432000 1073741824 1073778376 140736964514224 140648187765752 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25249/tid=25252] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25252/stat : 25252 (java) S 25247 25249 25184 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 253312840 10060460032 33904 33554432000 1073741824 1073778376 140736964514224 140648176827304 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25249/tid=25253] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25253/stat : 25253 (java) S 25247 25249 25184 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 253312840 10060460032 33904 33554432000 1073741824 1073778376 140736964514224 140648175774760 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25249/tid=25254] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25254/stat : 25254 (java) S 25247 25249 25184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 253312840 10060460032 33904 33554432000 1073741824 1073778376 140736964514224 140648174721704 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25249/tid=25255] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25255/stat : 25255 (java) S 25247 25249 25184 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 253312840 10060460032 33904 33554432000 1073741824 1073778376 140736964514224 140648173669160 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25249/tid=25256] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25256/stat : 25256 (java) S 25247 25249 25184 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 253312840 10060460032 33904 33554432000 1073741824 1073778376 140736964514224 140648172616104 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25249/tid=25257] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25257/stat : 25257 (java) S 25247 25249 25184 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 253312840 10060460032 33904 33554432000 1073741824 1073778376 140736964514224 140648171563560 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25249/tid=25258] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25258/stat : 25258 (java) S 25247 25249 25184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 253312840 10060460032 33904 33554432000 1073741824 1073778376 140736964514224 140648170510504 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25249/tid=25259] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25259/stat : 25259 (java) S 25247 25249 25184 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 253312840 10060460032 33904 33554432000 1073741824 1073778376 140736964514224 140648169457960 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25249/tid=25260] ppid=25247 vsize=9824668 CPUtime=0.17 cores=0,2,4,6
/proc/25249/task/25260/stat : 25260 (java) S 25247 25249 25184 0 -1 4202560 36 0 0 0 17 0 0 0 20 0 20 0 253312841 10060460032 33904 33554432000 1073741824 1073778376 140736964514224 140648011967336 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25249/tid=25261] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25261/stat : 25261 (java) S 25247 25249 25184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 253312841 10060460032 33904 33554432000 1073741824 1073778376 140736964514224 140648010913656 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25249/tid=25262] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25262/stat : 25262 (java) S 25247 25249 25184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 253312842 10060460032 33904 33554432000 1073741824 1073778376 140736964514224 140648009860488 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25249/tid=25263] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25263/stat : 25263 (java) S 25247 25249 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253312844 10060460032 33904 33554432000 1073741824 1073778376 140736964514224 140648008809232 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25249/tid=25264] ppid=25247 vsize=9824668 CPUtime=0.9 cores=0,2,4,6
/proc/25249/task/25264/stat : 25264 (java) S 25247 25249 25184 0 -1 4202560 11681 0 0 0 88 2 0 0 20 0 20 0 253312844 10060460032 33904 33554432000 1073741824 1073778376 140736964514224 140648007756088 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25249/tid=25265] ppid=25247 vsize=9824668 CPUtime=0.92 cores=0,2,4,6
/proc/25249/task/25265/stat : 25265 (java) S 25247 25249 25184 0 -1 4202560 8177 0 0 0 90 2 0 0 20 0 20 0 253312844 10060460032 33904 33554432000 1073741824 1073778376 140736964514224 140648006703544 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25249/tid=25266] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25266/stat : 25266 (java) S 25247 25249 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253312844 10060460032 33904 33554432000 1073741824 1073778376 140736964514224 140648005650680 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25249/tid=25267] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25267/stat : 25267 (java) S 25247 25249 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253312844 10060460032 33904 33554432000 1073741824 1073778376 140736964514224 140648004598344 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25249/tid=25269] ppid=25247 vsize=9824668 CPUtime=3.44 cores=0,2,4,6
/proc/25249/task/25269/stat : 25269 (java) R 25247 25249 25184 0 -1 4202560 98 0 0 0 344 0 0 0 20 0 20 0 253312857 10060460032 33904 33554432000 1073741824 1073778376 140736964514224 140648002489296 140648049640313 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25249/tid=25271] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25271/stat : 25271 (java) S 25247 25249 25184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 253312857 10060460032 33904 33554432000 1073741824 1073778376 140736964514224 140648000386472 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 9.09
Current children cumulated vsize (KiB) 9824668
[startup+4.10075 s]
/proc/loadavg: 0.16 0.03 0.01 3/193 25296
/proc/meminfo: memFree=30316708/32873844 swapFree=7388/7388
[pid=25249] ppid=25247 vsize=9824668 CPUtime=9.17 cores=0,2,4,6
/proc/25249/stat : 25249 (java) S 25247 25249 25184 0 -1 4202496 23738 0 1 0 908 9 0 0 20 0 19 0 253312835 10060460032 33898 33554432000 1073741824 1073778376 140736964514224 140736964505360 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25249/statm: 2456167 33898 2279 9 0 2446860 0
[pid=25249/tid=25251] ppid=25247 vsize=9824668 CPUtime=0.15 cores=0,2,4,6
/proc/25249/task/25251/stat : 25251 (java) S 25247 25249 25184 0 -1 4202560 2453 0 1 0 14 1 0 0 20 0 19 0 253312836 10060460032 33898 33554432000 1073741824 1073778376 140736964514224 140648187765752 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25249/tid=25252] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25252/stat : 25252 (java) S 25247 25249 25184 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253312840 10060460032 33898 33554432000 1073741824 1073778376 140736964514224 140648176827304 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25249/tid=25253] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25253/stat : 25253 (java) S 25247 25249 25184 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253312840 10060460032 33898 33554432000 1073741824 1073778376 140736964514224 140648175774760 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25249/tid=25254] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25254/stat : 25254 (java) S 25247 25249 25184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253312840 10060460032 33898 33554432000 1073741824 1073778376 140736964514224 140648174721704 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25249/tid=25255] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25255/stat : 25255 (java) S 25247 25249 25184 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 253312840 10060460032 33898 33554432000 1073741824 1073778376 140736964514224 140648173669160 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25249/tid=25256] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25256/stat : 25256 (java) S 25247 25249 25184 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253312840 10060460032 33898 33554432000 1073741824 1073778376 140736964514224 140648172616104 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25249/tid=25257] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25257/stat : 25257 (java) S 25247 25249 25184 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253312840 10060460032 33898 33554432000 1073741824 1073778376 140736964514224 140648171563560 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25249/tid=25258] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25258/stat : 25258 (java) S 25247 25249 25184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253312840 10060460032 33898 33554432000 1073741824 1073778376 140736964514224 140648170510504 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25249/tid=25259] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25259/stat : 25259 (java) S 25247 25249 25184 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253312840 10060460032 33898 33554432000 1073741824 1073778376 140736964514224 140648169457960 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25249/tid=25260] ppid=25247 vsize=9824668 CPUtime=0.17 cores=0,2,4,6
/proc/25249/task/25260/stat : 25260 (java) S 25247 25249 25184 0 -1 4202560 36 0 0 0 17 0 0 0 20 0 19 0 253312841 10060460032 33898 33554432000 1073741824 1073778376 140736964514224 140648011967336 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25249/tid=25261] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25261/stat : 25261 (java) S 25247 25249 25184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253312841 10060460032 33898 33554432000 1073741824 1073778376 140736964514224 140648010913656 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25249/tid=25262] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25262/stat : 25262 (java) S 25247 25249 25184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253312842 10060460032 33898 33554432000 1073741824 1073778376 140736964514224 140648009860488 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25249/tid=25263] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25263/stat : 25263 (java) S 25247 25249 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253312844 10060460032 33898 33554432000 1073741824 1073778376 140736964514224 140648008809232 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25249/tid=25264] ppid=25247 vsize=9824668 CPUtime=0.9 cores=0,2,4,6
/proc/25249/task/25264/stat : 25264 (java) S 25247 25249 25184 0 -1 4202560 11681 0 0 0 88 2 0 0 20 0 19 0 253312844 10060460032 33898 33554432000 1073741824 1073778376 140736964514224 140648007756088 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25249/tid=25265] ppid=25247 vsize=9824668 CPUtime=0.92 cores=0,2,4,6
/proc/25249/task/25265/stat : 25265 (java) S 25247 25249 25184 0 -1 4202560 8177 0 0 0 90 2 0 0 20 0 19 0 253312844 10060460032 33898 33554432000 1073741824 1073778376 140736964514224 140648006703544 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25249/tid=25266] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25266/stat : 25266 (java) S 25247 25249 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253312844 10060460032 33898 33554432000 1073741824 1073778376 140736964514224 140648005650680 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25249/tid=25267] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25267/stat : 25267 (java) S 25247 25249 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253312844 10060460032 33898 33554432000 1073741824 1073778376 140736964514224 140648004598344 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25249/tid=25271] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25271/stat : 25271 (java) S 25247 25249 25184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253312857 10060460032 33898 33554432000 1073741824 1073778376 140736964514224 140648000386472 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 9.17
Current children cumulated vsize (KiB) 9824668
[startup+4.20072 s]
/proc/loadavg: 0.16 0.03 0.01 3/193 25296
/proc/meminfo: memFree=30316708/32873844 swapFree=7388/7388
[pid=25249] ppid=25247 vsize=9824668 CPUtime=9.17 cores=0,2,4,6
/proc/25249/stat : 25249 (java) S 25247 25249 25184 0 -1 4202496 23738 0 1 0 908 9 0 0 20 0 19 0 253312835 10060460032 33898 33554432000 1073741824 1073778376 140736964514224 140736964505360 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25249/statm: 2456167 33898 2279 9 0 2446860 0
[pid=25249/tid=25251] ppid=25247 vsize=9824668 CPUtime=0.15 cores=0,2,4,6
/proc/25249/task/25251/stat : 25251 (java) S 25247 25249 25184 0 -1 4202560 2453 0 1 0 14 1 0 0 20 0 19 0 253312836 10060460032 33898 33554432000 1073741824 1073778376 140736964514224 140648187765752 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25249/tid=25252] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25252/stat : 25252 (java) S 25247 25249 25184 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253312840 10060460032 33898 33554432000 1073741824 1073778376 140736964514224 140648176827304 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25249/tid=25253] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25253/stat : 25253 (java) S 25247 25249 25184 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253312840 10060460032 33898 33554432000 1073741824 1073778376 140736964514224 140648175774760 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25249/tid=25254] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25254/stat : 25254 (java) S 25247 25249 25184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253312840 10060460032 33898 33554432000 1073741824 1073778376 140736964514224 140648174721704 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25249/tid=25255] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25255/stat : 25255 (java) S 25247 25249 25184 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 253312840 10060460032 33898 33554432000 1073741824 1073778376 140736964514224 140648173669160 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25249/tid=25256] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25256/stat : 25256 (java) S 25247 25249 25184 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253312840 10060460032 33898 33554432000 1073741824 1073778376 140736964514224 140648172616104 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25249/tid=25257] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25257/stat : 25257 (java) S 25247 25249 25184 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253312840 10060460032 33898 33554432000 1073741824 1073778376 140736964514224 140648171563560 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25249/tid=25258] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25258/stat : 25258 (java) S 25247 25249 25184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253312840 10060460032 33898 33554432000 1073741824 1073778376 140736964514224 140648170510504 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25249/tid=25259] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25259/stat : 25259 (java) S 25247 25249 25184 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253312840 10060460032 33898 33554432000 1073741824 1073778376 140736964514224 140648169457960 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25249/tid=25260] ppid=25247 vsize=9824668 CPUtime=0.17 cores=0,2,4,6
/proc/25249/task/25260/stat : 25260 (java) S 25247 25249 25184 0 -1 4202560 36 0 0 0 17 0 0 0 20 0 19 0 253312841 10060460032 33898 33554432000 1073741824 1073778376 140736964514224 140648011967336 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25249/tid=25261] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25261/stat : 25261 (java) S 25247 25249 25184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253312841 10060460032 33898 33554432000 1073741824 1073778376 140736964514224 140648010913656 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25249/tid=25262] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25262/stat : 25262 (java) S 25247 25249 25184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253312842 10060460032 33898 33554432000 1073741824 1073778376 140736964514224 140648009860488 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25249/tid=25263] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25263/stat : 25263 (java) S 25247 25249 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253312844 10060460032 33898 33554432000 1073741824 1073778376 140736964514224 140648008809232 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25249/tid=25264] ppid=25247 vsize=9824668 CPUtime=0.9 cores=0,2,4,6
/proc/25249/task/25264/stat : 25264 (java) S 25247 25249 25184 0 -1 4202560 11681 0 0 0 88 2 0 0 20 0 19 0 253312844 10060460032 33898 33554432000 1073741824 1073778376 140736964514224 140648007756088 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25249/tid=25265] ppid=25247 vsize=9824668 CPUtime=0.92 cores=0,2,4,6
/proc/25249/task/25265/stat : 25265 (java) S 25247 25249 25184 0 -1 4202560 8177 0 0 0 90 2 0 0 20 0 19 0 253312844 10060460032 33898 33554432000 1073741824 1073778376 140736964514224 140648006703544 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25249/tid=25266] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25266/stat : 25266 (java) S 25247 25249 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253312844 10060460032 33898 33554432000 1073741824 1073778376 140736964514224 140648005650680 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25249/tid=25267] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25267/stat : 25267 (java) S 25247 25249 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253312844 10060460032 33898 33554432000 1073741824 1073778376 140736964514224 140648004598344 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25249/tid=25271] ppid=25247 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25249/task/25271/stat : 25271 (java) S 25247 25249 25184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253312857 10060460032 33898 33554432000 1073741824 1073778376 140736964514224 140648000386472 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 9.17
Current children cumulated vsize (KiB) 9824668
Child status: 20
Real time (s): 4.25624
CPU time (s): 9.1946
CPU user time (s): 9.05062
CPU system time (s): 0.143978
CPU usage (%): 216.026
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.05062
system time used= 0.143978
maximum resident set size= 135644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23747
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= 641
involuntary context switches= 231
runsolver used 0.018997 second user time and 0.045993 second system time
The end