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-3687238-1337871884/watcher-3687238-1337871884 -o /tmp/evaluation-result-3687238-1337871884/solver-3687238-1337871884 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687238-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 2/173 26280
/proc/meminfo: memFree=29537284/32873844 swapFree=7364/7364
[pid=26280] ppid=26278 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/26280/stat : 26280 (runsolver) D 26278 26280 26250 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 1 0 253313262 12095488 55 33554432000 4194304 5436572 140736195296688 140736195292568 5057063 0 0 4096 24578 18446744072100748580 0 0 17 2 0 0 0 0 0
/proc/26280/statm: 2953 55 36 304 0 2645 0
[startup+0.0314999 s]
/proc/loadavg: 0.00 0.00 0.00 2/173 26280
/proc/meminfo: memFree=29537284/32873844 swapFree=7364/7364
[pid=26280] ppid=26278 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/26280/stat : 26280 (java) D 26278 26280 26250 0 -1 4202496 79 0 1 0 0 0 0 0 20 0 1 0 253313262 278528 33 33554432000 1073741824 1073778376 140737441459168 140737441456344 215134334247 0 0 4096 0 18446744072100748580 0 0 17 4 0 0 0 0 0
/proc/26280/statm: 68 33 25 9 0 25 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 272
[startup+0.100296 s]
/proc/loadavg: 0.00 0.00 0.00 2/173 26280
/proc/meminfo: memFree=29537284/32873844 swapFree=7364/7364
[pid=26280] ppid=26278 vsize=20596 CPUtime=0 cores=0,2,4,6
/proc/26280/stat : 26280 (java) D 26278 26280 26250 0 -1 4202496 456 0 3 0 0 0 0 0 20 0 1 0 253313262 21090304 188 33554432000 1073741824 1073778376 140733552843456 140733552832264 215134335850 0 0 4096 0 18446744071579943789 0 0 17 0 0 0 2 0 0
/proc/26280/statm: 5149 188 144 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 20596
[startup+0.300293 s]
/proc/loadavg: 0.00 0.00 0.00 2/173 26280
/proc/meminfo: memFree=29537284/32873844 swapFree=7364/7364
[pid=26280] ppid=26278 vsize=101528 CPUtime=0 cores=0,2,4,6
/proc/26280/stat : 26280 (java) S 26278 26280 26250 0 -1 4202496 1342 0 26 0 0 0 0 0 20 0 2 0 253313262 103964672 1051 33554432000 1073741824 1073778376 140733552843456 140733552834592 215146856509 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 19 0 0
/proc/26280/statm: 25382 1051 805 9 0 16774 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 101528
[startup+0.700241 s]
/proc/loadavg: 0.00 0.00 0.00 2/173 26280
/proc/meminfo: memFree=29537284/32873844 swapFree=7364/7364
[pid=26280] ppid=26278 vsize=9558412 CPUtime=0.15 cores=0,2,4,6
/proc/26280/stat : 26280 (java) S 26278 26280 26250 0 -1 4202496 4475 0 32 0 12 3 0 0 20 0 18 0 253313262 9787813888 6150 33554432000 1073741824 1073778376 140733552843456 140733552834592 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 19 0 0
/proc/26280/statm: 2389603 6150 2150 9 0 2380296 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 9558412
[startup+1.50073 s]
/proc/loadavg: 0.00 0.00 0.00 5/195 26302
/proc/meminfo: memFree=29481536/32873844 swapFree=7364/7364
[pid=26280] ppid=26278 vsize=9824668 CPUtime=2.94 cores=0,2,4,6
/proc/26280/stat : 26280 (java) S 26278 26280 26250 0 -1 4202496 23560 0 32 0 287 7 0 0 20 0 22 0 253313262 10060460032 25219 33554432000 1073741824 1073778376 140733552843456 140733552834592 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 19 0 0
/proc/26280/statm: 2456167 25219 2275 9 0 2446860 0
[pid=26280/tid=26282] ppid=26278 vsize=9824668 CPUtime=0.16 cores=0,2,4,6
/proc/26280/task/26282/stat : 26282 (java) S 26278 26280 26250 0 -1 4202560 2439 0 7 0 14 2 0 0 20 0 22 0 253313289 10060460032 25219 33554432000 1073741824 1073778376 140733552843456 140450023306232 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 25 0 0
[pid=26280/tid=26283] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26283/stat : 26283 (java) S 26278 26280 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253313295 10060460032 25219 33554432000 1073741824 1073778376 140733552843456 140449995758632 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26280/tid=26284] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26284/stat : 26284 (java) S 26278 26280 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253313295 10060460032 25219 33554432000 1073741824 1073778376 140733552843456 140449865575336 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26280/tid=26285] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26285/stat : 26285 (java) S 26278 26280 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253313295 10060460032 25219 33554432000 1073741824 1073778376 140733552843456 140449864522536 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26280/tid=26286] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26286/stat : 26286 (java) S 26278 26280 26250 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253313295 10060460032 25219 33554432000 1073741824 1073778376 140733552843456 140449863469736 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26280/tid=26287] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26287/stat : 26287 (java) S 26278 26280 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253313295 10060460032 25219 33554432000 1073741824 1073778376 140733552843456 140449862416936 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26280/tid=26288] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26288/stat : 26288 (java) S 26278 26280 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253313295 10060460032 25219 33554432000 1073741824 1073778376 140733552843456 140449861364136 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26280/tid=26289] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26289/stat : 26289 (java) S 26278 26280 26250 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253313295 10060460032 25219 33554432000 1073741824 1073778376 140733552843456 140449524214056 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26280/tid=26290] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26290/stat : 26290 (java) S 26278 26280 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253313295 10060460032 25219 33554432000 1073741824 1073778376 140733552843456 140449523161256 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26280/tid=26291] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26291/stat : 26291 (java) S 26278 26280 26250 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 22 0 253313300 10060460032 25219 33554432000 1073741824 1073778376 140733552843456 140449510964200 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26280/tid=26292] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26292/stat : 26292 (java) S 26278 26280 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253313302 10060460032 25219 33554432000 1073741824 1073778376 140733552843456 140449509910264 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26280/tid=26293] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26293/stat : 26293 (java) S 26278 26280 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253313302 10060460032 25219 33554432000 1073741824 1073778376 140733552843456 140449508857352 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26280/tid=26294] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26294/stat : 26294 (java) S 26278 26280 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253313314 10060460032 25219 33554432000 1073741824 1073778376 140733552843456 140449507805840 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26280/tid=26295] ppid=26278 vsize=9824668 CPUtime=0.68 cores=0,2,4,6
/proc/26280/task/26295/stat : 26295 (java) R 26278 26280 26250 0 -1 4202560 8635 0 1 0 67 1 0 0 20 0 22 0 253313314 10060460032 25219 33554432000 1073741824 1073778376 140733552843456 140449506739128 140450029263214 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=26280/tid=26296] ppid=26278 vsize=9824668 CPUtime=0.66 cores=0,2,4,6
/proc/26280/task/26296/stat : 26296 (java) R 26278 26280 26250 0 -1 4202560 11138 0 1 0 64 2 0 0 20 0 22 0 253313314 10060460032 25219 33554432000 1073741824 1073778376 140733552843456 140449505687840 140450025912544 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=26280/tid=26297] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26297/stat : 26297 (java) S 26278 26280 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253313314 10060460032 25219 33554432000 1073741824 1073778376 140733552843456 140449504647544 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26280/tid=26298] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26298/stat : 26298 (java) S 26278 26280 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253313314 10060460032 25219 33554432000 1073741824 1073778376 140733552843456 140449503594952 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26280/tid=26299] ppid=26278 vsize=9824668 CPUtime=0.66 cores=0,2,4,6
/proc/26280/task/26299/stat : 26299 (java) R 26278 26280 26250 0 -1 4202560 34 0 0 0 66 0 0 0 20 0 22 0 253313341 10060460032 25219 33554432000 1073741824 1073778376 140733552843456 140449502540888 140449877024980 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26280/tid=26300] ppid=26278 vsize=9824668 CPUtime=0.66 cores=0,2,4,6
/proc/26280/task/26300/stat : 26300 (java) R 26278 26280 26250 0 -1 4202560 83 0 0 0 66 0 0 0 20 0 22 0 253313341 10060460032 25219 33554432000 1073741824 1073778376 140733552843456 140449501488272 140449877206220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26280/tid=26301] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26301/stat : 26301 (java) S 26278 26280 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253313342 10060460032 25219 33554432000 1073741824 1073778376 140733552843456 140449500435880 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26280/tid=26302] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26302/stat : 26302 (java) S 26278 26280 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253313342 10060460032 25219 33554432000 1073741824 1073778376 140733552843456 140449499383080 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 9824668
[startup+3.10087 s]
/proc/loadavg: 0.00 0.00 0.00 3/195 26302
/proc/meminfo: memFree=29379032/32873844 swapFree=7364/7364
[pid=26280] ppid=26278 vsize=9824668 CPUtime=6.79 cores=0,2,4,6
/proc/26280/stat : 26280 (java) S 26278 26280 26250 0 -1 4202496 23736 0 32 0 670 9 0 0 20 0 22 0 253313262 10060460032 39123 33554432000 1073741824 1073778376 140733552843456 140733552834592 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 19 0 0
/proc/26280/statm: 2456167 39123 2278 9 0 2446860 0
[pid=26280/tid=26282] ppid=26278 vsize=9824668 CPUtime=0.16 cores=0,2,4,6
/proc/26280/task/26282/stat : 26282 (java) S 26278 26280 26250 0 -1 4202560 2439 0 7 0 14 2 0 0 20 0 22 0 253313289 10060460032 39123 33554432000 1073741824 1073778376 140733552843456 140450023306232 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 25 0 0
[pid=26280/tid=26283] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26283/stat : 26283 (java) S 26278 26280 26250 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253313295 10060460032 39123 33554432000 1073741824 1073778376 140733552843456 140449995758632 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26280/tid=26284] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26284/stat : 26284 (java) S 26278 26280 26250 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253313295 10060460032 39123 33554432000 1073741824 1073778376 140733552843456 140449865575336 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26280/tid=26285] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26285/stat : 26285 (java) S 26278 26280 26250 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253313295 10060460032 39123 33554432000 1073741824 1073778376 140733552843456 140449864522536 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26280/tid=26286] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26286/stat : 26286 (java) S 26278 26280 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253313295 10060460032 39123 33554432000 1073741824 1073778376 140733552843456 140449863469736 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26280/tid=26287] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26287/stat : 26287 (java) S 26278 26280 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253313295 10060460032 39123 33554432000 1073741824 1073778376 140733552843456 140449862416936 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26280/tid=26288] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26288/stat : 26288 (java) S 26278 26280 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253313295 10060460032 39123 33554432000 1073741824 1073778376 140733552843456 140449861364136 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26280/tid=26289] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26289/stat : 26289 (java) S 26278 26280 26250 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253313295 10060460032 39123 33554432000 1073741824 1073778376 140733552843456 140449524214056 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26280/tid=26290] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26290/stat : 26290 (java) S 26278 26280 26250 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253313295 10060460032 39123 33554432000 1073741824 1073778376 140733552843456 140449523161256 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26280/tid=26291] ppid=26278 vsize=9824668 CPUtime=0.14 cores=0,2,4,6
/proc/26280/task/26291/stat : 26291 (java) R 26278 26280 26250 0 -1 4202560 36 0 0 0 14 0 0 0 20 0 22 0 253313300 10060460032 39123 33554432000 1073741824 1073778376 140733552843456 140449510963176 140450029431948 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=26280/tid=26292] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26292/stat : 26292 (java) S 26278 26280 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253313302 10060460032 39123 33554432000 1073741824 1073778376 140733552843456 140449509910264 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26280/tid=26293] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26293/stat : 26293 (java) S 26278 26280 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253313302 10060460032 39123 33554432000 1073741824 1073778376 140733552843456 140449508857352 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26280/tid=26294] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26294/stat : 26294 (java) S 26278 26280 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253313314 10060460032 39123 33554432000 1073741824 1073778376 140733552843456 140449507805840 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26280/tid=26295] ppid=26278 vsize=9824668 CPUtime=0.97 cores=0,2,4,6
/proc/26280/task/26295/stat : 26295 (java) S 26278 26280 26250 0 -1 4202560 8649 0 1 0 96 1 0 0 20 0 22 0 253313314 10060460032 39123 33554432000 1073741824 1073778376 140733552843456 140449506752952 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26280/tid=26296] ppid=26278 vsize=9824668 CPUtime=1.16 cores=0,2,4,6
/proc/26280/task/26296/stat : 26296 (java) S 26278 26280 26250 0 -1 4202560 11251 0 1 0 114 2 0 0 20 0 22 0 253313314 10060460032 39123 33554432000 1073741824 1073778376 140733552843456 140449505675224 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26280/tid=26297] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26297/stat : 26297 (java) S 26278 26280 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253313314 10060460032 39123 33554432000 1073741824 1073778376 140733552843456 140449504647544 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26280/tid=26298] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26298/stat : 26298 (java) S 26278 26280 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253313314 10060460032 39123 33554432000 1073741824 1073778376 140733552843456 140449503594952 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26280/tid=26299] ppid=26278 vsize=9824668 CPUtime=2.1 cores=0,2,4,6
/proc/26280/task/26299/stat : 26299 (java) S 26278 26280 26250 0 -1 4202560 40 0 0 0 210 0 0 0 20 0 22 0 253313341 10060460032 39123 33554432000 1073741824 1073778376 140733552843456 140449502540888 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26280/tid=26300] ppid=26278 vsize=9824668 CPUtime=2.1 cores=0,2,4,6
/proc/26280/task/26300/stat : 26300 (java) S 26278 26280 26250 0 -1 4202560 103 0 0 0 209 1 0 0 20 0 22 0 253313341 10060460032 39123 33554432000 1073741824 1073778376 140733552843456 140449501485928 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26280/tid=26301] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26301/stat : 26301 (java) S 26278 26280 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253313342 10060460032 39123 33554432000 1073741824 1073778376 140733552843456 140449500435880 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26280/tid=26302] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26302/stat : 26302 (java) S 26278 26280 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253313342 10060460032 39123 33554432000 1073741824 1073778376 140733552843456 140449499383080 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.79
Current children cumulated vsize (KiB) 9824668
Solver just ended. Dumping a history of the last processes samples
[startup+3.50074 s]
/proc/loadavg: 0.00 0.00 0.00 4/195 26302
/proc/meminfo: memFree=29372392/32873844 swapFree=7364/7364
[pid=26280] ppid=26278 vsize=9824668 CPUtime=7.51 cores=0,2,4,6
/proc/26280/stat : 26280 (java) S 26278 26280 26250 0 -1 4202496 23741 0 32 0 740 11 0 0 20 0 19 0 253313262 10060460032 39626 33554432000 1073741824 1073778376 140733552843456 140733552834592 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 19 0 0
/proc/26280/statm: 2456167 39626 2279 9 0 2446860 0
[pid=26280/tid=26282] ppid=26278 vsize=9824668 CPUtime=0.16 cores=0,2,4,6
/proc/26280/task/26282/stat : 26282 (java) S 26278 26280 26250 0 -1 4202560 2439 0 7 0 14 2 0 0 20 0 19 0 253313289 10060460032 39626 33554432000 1073741824 1073778376 140733552843456 140450023306232 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 25 0 0
[pid=26280/tid=26283] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26283/stat : 26283 (java) S 26278 26280 26250 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253313295 10060460032 39626 33554432000 1073741824 1073778376 140733552843456 140449995758632 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26280/tid=26284] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26284/stat : 26284 (java) S 26278 26280 26250 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253313295 10060460032 39626 33554432000 1073741824 1073778376 140733552843456 140449865575336 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26280/tid=26285] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26285/stat : 26285 (java) S 26278 26280 26250 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253313295 10060460032 39626 33554432000 1073741824 1073778376 140733552843456 140449864522536 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26280/tid=26286] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26286/stat : 26286 (java) S 26278 26280 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253313295 10060460032 39626 33554432000 1073741824 1073778376 140733552843456 140449863469736 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26280/tid=26287] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26287/stat : 26287 (java) S 26278 26280 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253313295 10060460032 39626 33554432000 1073741824 1073778376 140733552843456 140449862416936 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26280/tid=26288] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26288/stat : 26288 (java) S 26278 26280 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253313295 10060460032 39626 33554432000 1073741824 1073778376 140733552843456 140449861364136 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26280/tid=26289] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26289/stat : 26289 (java) S 26278 26280 26250 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253313295 10060460032 39626 33554432000 1073741824 1073778376 140733552843456 140449524214056 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26280/tid=26290] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26290/stat : 26290 (java) S 26278 26280 26250 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253313295 10060460032 39626 33554432000 1073741824 1073778376 140733552843456 140449523161256 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26280/tid=26291] ppid=26278 vsize=9824668 CPUtime=0.16 cores=0,2,4,6
/proc/26280/task/26291/stat : 26291 (java) S 26278 26280 26250 0 -1 4202560 37 0 0 0 16 0 0 0 20 0 19 0 253313300 10060460032 39626 33554432000 1073741824 1073778376 140733552843456 140449510964200 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26280/tid=26292] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26292/stat : 26292 (java) S 26278 26280 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253313302 10060460032 39626 33554432000 1073741824 1073778376 140733552843456 140449509910264 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26280/tid=26293] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26293/stat : 26293 (java) S 26278 26280 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253313302 10060460032 39626 33554432000 1073741824 1073778376 140733552843456 140449508857352 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26280/tid=26294] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26294/stat : 26294 (java) S 26278 26280 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313314 10060460032 39626 33554432000 1073741824 1073778376 140733552843456 140449507805840 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26280/tid=26295] ppid=26278 vsize=9824668 CPUtime=0.98 cores=0,2,4,6
/proc/26280/task/26295/stat : 26295 (java) S 26278 26280 26250 0 -1 4202560 8649 0 1 0 97 1 0 0 20 0 19 0 253313314 10060460032 39626 33554432000 1073741824 1073778376 140733552843456 140449506752952 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26280/tid=26296] ppid=26278 vsize=9824668 CPUtime=1.46 cores=0,2,4,6
/proc/26280/task/26296/stat : 26296 (java) S 26278 26280 26250 0 -1 4202560 11254 0 1 0 144 2 0 0 20 0 19 0 253313314 10060460032 39626 33554432000 1073741824 1073778376 140733552843456 140449505700152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26280/tid=26297] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26297/stat : 26297 (java) S 26278 26280 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313314 10060460032 39626 33554432000 1073741824 1073778376 140733552843456 140449504647544 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26280/tid=26298] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26298/stat : 26298 (java) S 26278 26280 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313314 10060460032 39626 33554432000 1073741824 1073778376 140733552843456 140449503594952 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26280/tid=26302] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26302/stat : 26302 (java) S 26278 26280 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253313342 10060460032 39626 33554432000 1073741824 1073778376 140733552843456 140449499383080 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.51
Current children cumulated vsize (KiB) 9824668
[startup+3.70071 s]
/proc/loadavg: 0.00 0.00 0.00 4/195 26302
/proc/meminfo: memFree=29372392/32873844 swapFree=7364/7364
[pid=26280] ppid=26278 vsize=9824668 CPUtime=7.51 cores=0,2,4,6
/proc/26280/stat : 26280 (java) S 26278 26280 26250 0 -1 4202496 23741 0 32 0 740 11 0 0 20 0 19 0 253313262 10060460032 39626 33554432000 1073741824 1073778376 140733552843456 140733552834592 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 19 0 0
/proc/26280/statm: 2456167 39626 2279 9 0 2446860 0
[pid=26280/tid=26282] ppid=26278 vsize=9824668 CPUtime=0.16 cores=0,2,4,6
/proc/26280/task/26282/stat : 26282 (java) S 26278 26280 26250 0 -1 4202560 2439 0 7 0 14 2 0 0 20 0 19 0 253313289 10060460032 39626 33554432000 1073741824 1073778376 140733552843456 140450023306232 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 25 0 0
[pid=26280/tid=26283] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26283/stat : 26283 (java) S 26278 26280 26250 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253313295 10060460032 39626 33554432000 1073741824 1073778376 140733552843456 140449995758632 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26280/tid=26284] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26284/stat : 26284 (java) S 26278 26280 26250 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253313295 10060460032 39626 33554432000 1073741824 1073778376 140733552843456 140449865575336 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26280/tid=26285] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26285/stat : 26285 (java) S 26278 26280 26250 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253313295 10060460032 39626 33554432000 1073741824 1073778376 140733552843456 140449864522536 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26280/tid=26286] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26286/stat : 26286 (java) S 26278 26280 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253313295 10060460032 39626 33554432000 1073741824 1073778376 140733552843456 140449863469736 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26280/tid=26287] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26287/stat : 26287 (java) S 26278 26280 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253313295 10060460032 39626 33554432000 1073741824 1073778376 140733552843456 140449862416936 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26280/tid=26288] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26288/stat : 26288 (java) S 26278 26280 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253313295 10060460032 39626 33554432000 1073741824 1073778376 140733552843456 140449861364136 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26280/tid=26289] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26289/stat : 26289 (java) S 26278 26280 26250 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253313295 10060460032 39626 33554432000 1073741824 1073778376 140733552843456 140449524214056 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26280/tid=26290] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26290/stat : 26290 (java) S 26278 26280 26250 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253313295 10060460032 39626 33554432000 1073741824 1073778376 140733552843456 140449523161256 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26280/tid=26291] ppid=26278 vsize=9824668 CPUtime=0.16 cores=0,2,4,6
/proc/26280/task/26291/stat : 26291 (java) S 26278 26280 26250 0 -1 4202560 37 0 0 0 16 0 0 0 20 0 19 0 253313300 10060460032 39626 33554432000 1073741824 1073778376 140733552843456 140449510964200 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26280/tid=26292] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26292/stat : 26292 (java) S 26278 26280 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253313302 10060460032 39626 33554432000 1073741824 1073778376 140733552843456 140449509910264 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26280/tid=26293] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26293/stat : 26293 (java) S 26278 26280 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253313302 10060460032 39626 33554432000 1073741824 1073778376 140733552843456 140449508857352 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26280/tid=26294] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26294/stat : 26294 (java) S 26278 26280 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313314 10060460032 39626 33554432000 1073741824 1073778376 140733552843456 140449507805840 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26280/tid=26295] ppid=26278 vsize=9824668 CPUtime=0.98 cores=0,2,4,6
/proc/26280/task/26295/stat : 26295 (java) S 26278 26280 26250 0 -1 4202560 8649 0 1 0 97 1 0 0 20 0 19 0 253313314 10060460032 39626 33554432000 1073741824 1073778376 140733552843456 140449506752952 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26280/tid=26296] ppid=26278 vsize=9824668 CPUtime=1.46 cores=0,2,4,6
/proc/26280/task/26296/stat : 26296 (java) S 26278 26280 26250 0 -1 4202560 11254 0 1 0 144 2 0 0 20 0 19 0 253313314 10060460032 39626 33554432000 1073741824 1073778376 140733552843456 140449505700152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26280/tid=26297] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26297/stat : 26297 (java) S 26278 26280 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313314 10060460032 39626 33554432000 1073741824 1073778376 140733552843456 140449504647544 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26280/tid=26298] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26298/stat : 26298 (java) S 26278 26280 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313314 10060460032 39626 33554432000 1073741824 1073778376 140733552843456 140449503594952 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26280/tid=26302] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26302/stat : 26302 (java) S 26278 26280 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253313342 10060460032 39626 33554432000 1073741824 1073778376 140733552843456 140449499383080 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.51
Current children cumulated vsize (KiB) 9824668
[startup+3.80068 s]
/proc/loadavg: 0.00 0.00 0.00 4/195 26302
/proc/meminfo: memFree=29372392/32873844 swapFree=7364/7364
[pid=26280] ppid=26278 vsize=9824668 CPUtime=7.51 cores=0,2,4,6
/proc/26280/stat : 26280 (java) S 26278 26280 26250 0 -1 4202496 23744 0 32 0 740 11 0 0 20 0 20 0 253313262 10060460032 39629 33554432000 1073741824 1073778376 140733552843456 140733552834592 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 19 0 0
/proc/26280/statm: 2456167 39629 2279 9 0 2446860 0
[pid=26280/tid=26282] ppid=26278 vsize=9824668 CPUtime=0.17 cores=0,2,4,6
/proc/26280/task/26282/stat : 26282 (java) S 26278 26280 26250 0 -1 4202560 2439 0 7 0 14 3 0 0 20 0 20 0 253313289 10060460032 39629 33554432000 1073741824 1073778376 140733552843456 140450023305944 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 25 0 0
[pid=26280/tid=26283] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26283/stat : 26283 (java) S 26278 26280 26250 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 253313295 10060460032 39629 33554432000 1073741824 1073778376 140733552843456 140449995758632 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26280/tid=26284] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26284/stat : 26284 (java) S 26278 26280 26250 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 253313295 10060460032 39629 33554432000 1073741824 1073778376 140733552843456 140449865575336 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26280/tid=26285] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26285/stat : 26285 (java) S 26278 26280 26250 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 253313295 10060460032 39629 33554432000 1073741824 1073778376 140733552843456 140449864522536 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26280/tid=26286] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26286/stat : 26286 (java) S 26278 26280 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 253313295 10060460032 39629 33554432000 1073741824 1073778376 140733552843456 140449863469736 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26280/tid=26287] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26287/stat : 26287 (java) S 26278 26280 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 253313295 10060460032 39629 33554432000 1073741824 1073778376 140733552843456 140449862416936 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26280/tid=26288] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26288/stat : 26288 (java) S 26278 26280 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 253313295 10060460032 39629 33554432000 1073741824 1073778376 140733552843456 140449861364136 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26280/tid=26289] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26289/stat : 26289 (java) S 26278 26280 26250 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 253313295 10060460032 39629 33554432000 1073741824 1073778376 140733552843456 140449524214056 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26280/tid=26290] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26290/stat : 26290 (java) S 26278 26280 26250 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 253313295 10060460032 39629 33554432000 1073741824 1073778376 140733552843456 140449523161256 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26280/tid=26291] ppid=26278 vsize=9824668 CPUtime=0.16 cores=0,2,4,6
/proc/26280/task/26291/stat : 26291 (java) S 26278 26280 26250 0 -1 4202560 37 0 0 0 16 0 0 0 20 0 20 0 253313300 10060460032 39629 33554432000 1073741824 1073778376 140733552843456 140449510964200 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26280/tid=26292] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26292/stat : 26292 (java) S 26278 26280 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 253313302 10060460032 39629 33554432000 1073741824 1073778376 140733552843456 140449509910264 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26280/tid=26293] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26293/stat : 26293 (java) S 26278 26280 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 253313302 10060460032 39629 33554432000 1073741824 1073778376 140733552843456 140449508857352 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26280/tid=26294] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26294/stat : 26294 (java) S 26278 26280 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253313314 10060460032 39629 33554432000 1073741824 1073778376 140733552843456 140449507805840 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26280/tid=26295] ppid=26278 vsize=9824668 CPUtime=0.98 cores=0,2,4,6
/proc/26280/task/26295/stat : 26295 (java) S 26278 26280 26250 0 -1 4202560 8649 0 1 0 97 1 0 0 20 0 20 0 253313314 10060460032 39629 33554432000 1073741824 1073778376 140733552843456 140449506752952 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26280/tid=26296] ppid=26278 vsize=9824668 CPUtime=1.46 cores=0,2,4,6
/proc/26280/task/26296/stat : 26296 (java) S 26278 26280 26250 0 -1 4202560 11254 0 1 0 144 2 0 0 20 0 20 0 253313314 10060460032 39629 33554432000 1073741824 1073778376 140733552843456 140449505700152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26280/tid=26297] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26297/stat : 26297 (java) S 26278 26280 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253313314 10060460032 39629 33554432000 1073741824 1073778376 140733552843456 140449504647544 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26280/tid=26298] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26298/stat : 26298 (java) S 26278 26280 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253313314 10060460032 39629 33554432000 1073741824 1073778376 140733552843456 140449503594952 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26280/tid=26302] ppid=26278 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26280/task/26302/stat : 26302 (java) S 26278 26280 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 253313342 10060460032 39629 33554432000 1073741824 1073778376 140733552843456 140449499383080 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.51
Current children cumulated vsize (KiB) 9824668
Child status: 20
Real time (s): 3.81145
CPU time (s): 7.52585
CPU user time (s): 7.36288
CPU system time (s): 0.162975
CPU usage (%): 197.454
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.36288
system time used= 0.162975
maximum resident set size= 158544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23745
page faults= 32
swaps= 0
block input operations= 28360
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 939
involuntary context switches= 202
runsolver used 0.010998 second user time and 0.046992 second system time
The end