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-3688865-1337888355/watcher-3688865-1337888355 -o /tmp/evaluation-result-3688865-1337888355/solver-3688865-1337888355 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688865-1337888355.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: 1.97 2.01 1.99 4/194 21502
/proc/meminfo: memFree=28562536/32873648 swapFree=7360/7360
[pid=21502] ppid=21500 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/21502/stat : 21502 (java) R 21500 21502 16961 0 -1 4202496 986 0 0 0 0 0 0 0 20 0 1 0 254959615 23793664 714 33554432000 1073741824 1073778376 140735362812576 140735362801640 251043820904 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21502/statm: 5809 714 529 9 0 128 0
[startup+0.047569 s]
/proc/loadavg: 1.97 2.01 1.99 4/194 21502
/proc/meminfo: memFree=28562536/32873648 swapFree=7360/7360
[pid=21502] ppid=21500 vsize=9225560 CPUtime=0.03 cores=0,2,4,6
/proc/21502/stat : 21502 (java) S 21500 21502 16961 0 -1 4202496 3078 0 1 0 2 1 0 0 20 0 13 0 254959615 9446973440 3776 33554432000 1073741824 1073778376 140735362812576 140735362803712 251056390205 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21502/statm: 2306390 3776 1708 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560
[startup+0.100257 s]
/proc/loadavg: 1.97 2.01 1.99 4/194 21502
/proc/meminfo: memFree=28562536/32873648 swapFree=7360/7360
[pid=21502] ppid=21500 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/21502/stat : 21502 (java) S 21500 21502 16961 0 -1 4202496 4400 0 1 0 9 1 0 0 20 0 18 0 254959615 9787813888 6103 33554432000 1073741824 1073778376 140735362812576 140735362803712 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21502/statm: 2389603 6106 2120 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.300228 s]
/proc/loadavg: 1.97 2.01 1.99 4/194 21502
/proc/meminfo: memFree=28562536/32873648 swapFree=7360/7360
[pid=21502] ppid=21500 vsize=9558412 CPUtime=0.48 cores=0,2,4,6
/proc/21502/stat : 21502 (java) S 21500 21502 16961 0 -1 4202496 5834 0 1 0 46 2 0 0 20 0 18 0 254959615 9787813888 8504 33554432000 1073741824 1073778376 140735362812576 140735362803712 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21502/statm: 2389603 8504 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558412
[startup+0.700221 s]
/proc/loadavg: 1.97 2.01 1.99 4/194 21502
/proc/meminfo: memFree=28562536/32873648 swapFree=7360/7360
[pid=21502] ppid=21500 vsize=9624976 CPUtime=1.47 cores=0,2,4,6
/proc/21502/stat : 21502 (java) S 21500 21502 16961 0 -1 4202496 12086 0 1 0 143 4 0 0 20 0 19 0 254959615 9855975424 25174 33554432000 1073741824 1073778376 140735362812576 140735362803712 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21502/statm: 2406244 25174 2254 9 0 2396937 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 9624976
[startup+1.50072 s]
/proc/loadavg: 1.97 2.01 1.99 4/213 21521
/proc/meminfo: memFree=28430116/32873648 swapFree=7360/7360
[pid=21502] ppid=21500 vsize=9624976 CPUtime=2.83 cores=0,2,4,6
/proc/21502/stat : 21502 (java) S 21500 21502 16961 0 -1 4202496 19734 0 1 0 276 7 0 0 20 0 19 0 254959615 9855975424 33946 33554432000 1073741824 1073778376 140735362812576 140735362803712 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21502/statm: 2406244 33946 2282 9 0 2396937 0
[pid=21502/tid=21504] ppid=21500 vsize=9624976 CPUtime=1.43 cores=0,2,4,6
/proc/21502/task/21504/stat : 21504 (java) R 21500 21502 16961 0 -1 4202560 2492 0 1 0 140 3 0 0 20 0 19 0 254959616 9855975424 33946 33554432000 1073741824 1073778376 140735362812576 140584963764512 140584833295094 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21502/tid=21505] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21505/stat : 21505 (java) S 21500 21502 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254959616 9855975424 33946 33554432000 1073741824 1073778376 140735362812576 140584952826152 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21502/tid=21506] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21506/stat : 21506 (java) S 21500 21502 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254959616 9855975424 33946 33554432000 1073741824 1073778376 140735362812576 140584951773352 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21502/tid=21507] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21507/stat : 21507 (java) S 21500 21502 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254959616 9855975424 33946 33554432000 1073741824 1073778376 140735362812576 140584804891176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21502/tid=21508] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21508/stat : 21508 (java) S 21500 21502 16961 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 254959616 9855975424 33946 33554432000 1073741824 1073778376 140735362812576 140584803838376 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21502/tid=21509] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21509/stat : 21509 (java) S 21500 21502 16961 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254959616 9855975424 33946 33554432000 1073741824 1073778376 140735362812576 140584802786088 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21502/tid=21510] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21510/stat : 21510 (java) S 21500 21502 16961 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254959616 9855975424 33946 33554432000 1073741824 1073778376 140735362812576 140584801733288 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21502/tid=21511] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21511/stat : 21511 (java) S 21500 21502 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254959616 9855975424 33946 33554432000 1073741824 1073778376 140735362812576 140584800681000 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21502/tid=21512] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21512/stat : 21512 (java) S 21500 21502 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254959616 9855975424 33946 33554432000 1073741824 1073778376 140735362812576 140584799628200 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21502/tid=21513] ppid=21500 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/21502/task/21513/stat : 21513 (java) S 21500 21502 16961 0 -1 4202560 42 0 0 0 2 0 0 0 20 0 19 0 254959617 9855975424 33946 33554432000 1073741824 1073778376 140735362812576 140584787429608 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21502/tid=21514] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21514/stat : 21514 (java) S 21500 21502 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254959618 9855975424 33946 33554432000 1073741824 1073778376 140735362812576 140584786375672 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21502/tid=21515] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21515/stat : 21515 (java) S 21500 21502 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254959618 9855975424 33946 33554432000 1073741824 1073778376 140735362812576 140584785323272 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21502/tid=21516] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21516/stat : 21516 (java) S 21500 21502 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254959620 9855975424 33946 33554432000 1073741824 1073778376 140735362812576 140584784271760 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21502/tid=21517] ppid=21500 vsize=9624976 CPUtime=0.86 cores=0,2,4,6
/proc/21502/task/21517/stat : 21517 (java) S 21500 21502 16961 0 -1 4202560 12324 0 0 0 84 2 0 0 20 0 19 0 254959620 9855975424 33946 33554432000 1073741824 1073778376 140735362812576 140584783219384 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21502/tid=21518] ppid=21500 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/21502/task/21518/stat : 21518 (java) S 21500 21502 16961 0 -1 4202560 3637 0 0 0 42 2 0 0 20 0 19 0 254959620 9855975424 33946 33554432000 1073741824 1073778376 140735362812576 140584782166584 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21502/tid=21519] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21519/stat : 21519 (java) S 21500 21502 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254959620 9855975424 33946 33554432000 1073741824 1073778376 140735362812576 140584781114488 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21502/tid=21520] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21520/stat : 21520 (java) S 21500 21502 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254959620 9855975424 33946 33554432000 1073741824 1073778376 140735362812576 140584780061896 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21502/tid=21521] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21521/stat : 21521 (java) S 21500 21502 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254959667 9855975424 33946 33554432000 1073741824 1073778376 140735362812576 140584779006888 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 9624976
[startup+3.10065 s]
/proc/loadavg: 1.97 2.01 1.99 3/213 21521
/proc/meminfo: memFree=28414984/32873648 swapFree=7360/7360
[pid=21502] ppid=21500 vsize=9624976 CPUtime=4.53 cores=0,2,4,6
/proc/21502/stat : 21502 (java) S 21500 21502 16961 0 -1 4202496 20395 0 1 0 446 7 0 0 20 0 19 0 254959615 9855975424 35684 33554432000 1073741824 1073778376 140735362812576 140735362803712 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21502/statm: 2406244 35684 2282 9 0 2396937 0
[pid=21502/tid=21504] ppid=21500 vsize=9624976 CPUtime=2.97 cores=0,2,4,6
/proc/21502/task/21504/stat : 21504 (java) R 21500 21502 16961 0 -1 4202560 2493 0 1 0 294 3 0 0 20 0 19 0 254959616 9855975424 35684 33554432000 1073741824 1073778376 140735362812576 140584963764632 140584833250783 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21502/tid=21505] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21505/stat : 21505 (java) S 21500 21502 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254959616 9855975424 35684 33554432000 1073741824 1073778376 140735362812576 140584952826152 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21502/tid=21506] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21506/stat : 21506 (java) S 21500 21502 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254959616 9855975424 35684 33554432000 1073741824 1073778376 140735362812576 140584951773352 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21502/tid=21507] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21507/stat : 21507 (java) S 21500 21502 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254959616 9855975424 35684 33554432000 1073741824 1073778376 140735362812576 140584804891176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21502/tid=21508] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21508/stat : 21508 (java) S 21500 21502 16961 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 254959616 9855975424 35684 33554432000 1073741824 1073778376 140735362812576 140584803838376 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21502/tid=21509] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21509/stat : 21509 (java) S 21500 21502 16961 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254959616 9855975424 35684 33554432000 1073741824 1073778376 140735362812576 140584802786088 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21502/tid=21510] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21510/stat : 21510 (java) S 21500 21502 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254959616 9855975424 35684 33554432000 1073741824 1073778376 140735362812576 140584801733288 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21502/tid=21511] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21511/stat : 21511 (java) S 21500 21502 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254959616 9855975424 35684 33554432000 1073741824 1073778376 140735362812576 140584800681000 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21502/tid=21512] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21512/stat : 21512 (java) S 21500 21502 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254959616 9855975424 35684 33554432000 1073741824 1073778376 140735362812576 140584799628200 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21502/tid=21513] ppid=21500 vsize=9624976 CPUtime=0.07 cores=0,2,4,6
/proc/21502/task/21513/stat : 21513 (java) S 21500 21502 16961 0 -1 4202560 44 0 0 0 7 0 0 0 20 0 19 0 254959617 9855975424 35684 33554432000 1073741824 1073778376 140735362812576 140584787429608 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21502/tid=21514] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21514/stat : 21514 (java) S 21500 21502 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254959618 9855975424 35684 33554432000 1073741824 1073778376 140735362812576 140584786375672 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21502/tid=21515] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21515/stat : 21515 (java) S 21500 21502 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254959618 9855975424 35684 33554432000 1073741824 1073778376 140735362812576 140584785323272 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21502/tid=21516] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21516/stat : 21516 (java) S 21500 21502 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254959620 9855975424 35684 33554432000 1073741824 1073778376 140735362812576 140584784271760 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21502/tid=21517] ppid=21500 vsize=9624976 CPUtime=0.88 cores=0,2,4,6
/proc/21502/task/21517/stat : 21517 (java) S 21500 21502 16961 0 -1 4202560 12325 0 0 0 86 2 0 0 20 0 19 0 254959620 9855975424 35684 33554432000 1073741824 1073778376 140735362812576 140584783219384 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21502/tid=21518] ppid=21500 vsize=9624976 CPUtime=0.5 cores=0,2,4,6
/proc/21502/task/21518/stat : 21518 (java) S 21500 21502 16961 0 -1 4202560 4280 0 0 0 48 2 0 0 20 0 19 0 254959620 9855975424 35684 33554432000 1073741824 1073778376 140735362812576 140584782166584 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21502/tid=21519] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21519/stat : 21519 (java) S 21500 21502 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254959620 9855975424 35684 33554432000 1073741824 1073778376 140735362812576 140584781114488 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21502/tid=21520] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21520/stat : 21520 (java) S 21500 21502 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254959620 9855975424 35684 33554432000 1073741824 1073778376 140735362812576 140584780061896 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21502/tid=21521] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21521/stat : 21521 (java) S 21500 21502 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254959667 9855975424 35684 33554432000 1073741824 1073778376 140735362812576 140584779006888 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.53
Current children cumulated vsize (KiB) 9624976
[startup+6.30067 s]
/proc/loadavg: 1.97 2.01 1.99 3/213 21521
/proc/meminfo: memFree=28410392/32873648 swapFree=7360/7360
[pid=21502] ppid=21500 vsize=9624976 CPUtime=7.9 cores=0,2,4,6
/proc/21502/stat : 21502 (java) S 21500 21502 16961 0 -1 4202496 21615 0 1 0 783 7 0 0 20 0 19 0 254959615 9855975424 35349 33554432000 1073741824 1073778376 140735362812576 140735362803712 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21502/statm: 2406244 35349 2282 9 0 2396937 0
[pid=21502/tid=21504] ppid=21500 vsize=9624976 CPUtime=6.08 cores=0,2,4,6
/proc/21502/task/21504/stat : 21504 (java) R 21500 21502 16961 0 -1 4202560 2498 0 1 0 605 3 0 0 20 0 19 0 254959616 9855975424 35349 33554432000 1073741824 1073778376 140735362812576 140584963764512 140584833161713 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21502/tid=21505] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21505/stat : 21505 (java) S 21500 21502 16961 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254959616 9855975424 35349 33554432000 1073741824 1073778376 140735362812576 140584952826152 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21502/tid=21506] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21506/stat : 21506 (java) S 21500 21502 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254959616 9855975424 35349 33554432000 1073741824 1073778376 140735362812576 140584951773352 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21502/tid=21507] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21507/stat : 21507 (java) S 21500 21502 16961 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254959616 9855975424 35349 33554432000 1073741824 1073778376 140735362812576 140584804891176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21502/tid=21508] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21508/stat : 21508 (java) S 21500 21502 16961 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 254959616 9855975424 35349 33554432000 1073741824 1073778376 140735362812576 140584803838376 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21502/tid=21509] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21509/stat : 21509 (java) S 21500 21502 16961 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254959616 9855975424 35349 33554432000 1073741824 1073778376 140735362812576 140584802786088 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21502/tid=21510] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21510/stat : 21510 (java) S 21500 21502 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254959616 9855975424 35349 33554432000 1073741824 1073778376 140735362812576 140584801733288 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21502/tid=21511] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21511/stat : 21511 (java) S 21500 21502 16961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254959616 9855975424 35349 33554432000 1073741824 1073778376 140735362812576 140584800681000 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21502/tid=21512] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21512/stat : 21512 (java) S 21500 21502 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254959616 9855975424 35349 33554432000 1073741824 1073778376 140735362812576 140584799628200 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21502/tid=21513] ppid=21500 vsize=9624976 CPUtime=0.16 cores=0,2,4,6
/proc/21502/task/21513/stat : 21513 (java) S 21500 21502 16961 0 -1 4202560 44 0 0 0 16 0 0 0 20 0 19 0 254959617 9855975424 35349 33554432000 1073741824 1073778376 140735362812576 140584787429608 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21502/tid=21514] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21514/stat : 21514 (java) S 21500 21502 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254959618 9855975424 35349 33554432000 1073741824 1073778376 140735362812576 140584786375672 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21502/tid=21515] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21515/stat : 21515 (java) S 21500 21502 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254959618 9855975424 35349 33554432000 1073741824 1073778376 140735362812576 140584785323272 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21502/tid=21516] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21516/stat : 21516 (java) S 21500 21502 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254959620 9855975424 35349 33554432000 1073741824 1073778376 140735362812576 140584784271760 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21502/tid=21517] ppid=21500 vsize=9624976 CPUtime=0.89 cores=0,2,4,6
/proc/21502/task/21517/stat : 21517 (java) S 21500 21502 16961 0 -1 4202560 12325 0 0 0 87 2 0 0 20 0 19 0 254959620 9855975424 35349 33554432000 1073741824 1073778376 140735362812576 140584783219384 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21502/tid=21518] ppid=21500 vsize=9624976 CPUtime=0.65 cores=0,2,4,6
/proc/21502/task/21518/stat : 21518 (java) S 21500 21502 16961 0 -1 4202560 5488 0 0 0 63 2 0 0 20 0 19 0 254959620 9855975424 35349 33554432000 1073741824 1073778376 140735362812576 140584782166584 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21502/tid=21519] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21519/stat : 21519 (java) S 21500 21502 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254959620 9855975424 35349 33554432000 1073741824 1073778376 140735362812576 140584781114488 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21502/tid=21520] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21520/stat : 21520 (java) S 21500 21502 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254959620 9855975424 35349 33554432000 1073741824 1073778376 140735362812576 140584780061896 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21502/tid=21521] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21521/stat : 21521 (java) S 21500 21502 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254959667 9855975424 35349 33554432000 1073741824 1073778376 140735362812576 140584779006888 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.9
Current children cumulated vsize (KiB) 9624976
Solver just ended. Dumping a history of the last processes samples
[startup+7.10068 s]
/proc/loadavg: 1.97 2.01 1.99 3/213 21521
/proc/meminfo: memFree=28410392/32873648 swapFree=7360/7360
[pid=21502] ppid=21500 vsize=9624976 CPUtime=8.7 cores=0,2,4,6
/proc/21502/stat : 21502 (java) S 21500 21502 16961 0 -1 4202496 21622 0 1 0 863 7 0 0 20 0 19 0 254959615 9855975424 35355 33554432000 1073741824 1073778376 140735362812576 140735362803712 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21502/statm: 2406244 35355 2282 9 0 2396937 0
[pid=21502/tid=21504] ppid=21500 vsize=9624976 CPUtime=6.86 cores=0,2,4,6
/proc/21502/task/21504/stat : 21504 (java) R 21500 21502 16961 0 -1 4202560 2499 0 1 0 683 3 0 0 20 0 19 0 254959616 9855975424 35355 33554432000 1073741824 1073778376 140735362812576 140584963764512 140584833161607 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21502/tid=21505] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21505/stat : 21505 (java) S 21500 21502 16961 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254959616 9855975424 35355 33554432000 1073741824 1073778376 140735362812576 140584952826152 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21502/tid=21506] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21506/stat : 21506 (java) S 21500 21502 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254959616 9855975424 35355 33554432000 1073741824 1073778376 140735362812576 140584951773352 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21502/tid=21507] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21507/stat : 21507 (java) S 21500 21502 16961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254959616 9855975424 35355 33554432000 1073741824 1073778376 140735362812576 140584804891176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21502/tid=21508] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21508/stat : 21508 (java) S 21500 21502 16961 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 254959616 9855975424 35355 33554432000 1073741824 1073778376 140735362812576 140584803838376 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21502/tid=21509] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21509/stat : 21509 (java) S 21500 21502 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254959616 9855975424 35355 33554432000 1073741824 1073778376 140735362812576 140584802786088 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21502/tid=21510] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21510/stat : 21510 (java) S 21500 21502 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254959616 9855975424 35355 33554432000 1073741824 1073778376 140735362812576 140584801733288 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21502/tid=21511] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21511/stat : 21511 (java) S 21500 21502 16961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254959616 9855975424 35355 33554432000 1073741824 1073778376 140735362812576 140584800681000 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21502/tid=21512] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21512/stat : 21512 (java) S 21500 21502 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254959616 9855975424 35355 33554432000 1073741824 1073778376 140735362812576 140584799628200 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21502/tid=21513] ppid=21500 vsize=9624976 CPUtime=0.18 cores=0,2,4,6
/proc/21502/task/21513/stat : 21513 (java) S 21500 21502 16961 0 -1 4202560 44 0 0 0 18 0 0 0 20 0 19 0 254959617 9855975424 35355 33554432000 1073741824 1073778376 140735362812576 140584787429608 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21502/tid=21514] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21514/stat : 21514 (java) S 21500 21502 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254959618 9855975424 35355 33554432000 1073741824 1073778376 140735362812576 140584786375672 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21502/tid=21515] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21515/stat : 21515 (java) S 21500 21502 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254959618 9855975424 35355 33554432000 1073741824 1073778376 140735362812576 140584785323272 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21502/tid=21516] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21516/stat : 21516 (java) S 21500 21502 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254959620 9855975424 35355 33554432000 1073741824 1073778376 140735362812576 140584784271760 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21502/tid=21517] ppid=21500 vsize=9624976 CPUtime=0.89 cores=0,2,4,6
/proc/21502/task/21517/stat : 21517 (java) S 21500 21502 16961 0 -1 4202560 12325 0 0 0 87 2 0 0 20 0 19 0 254959620 9855975424 35355 33554432000 1073741824 1073778376 140735362812576 140584783219384 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21502/tid=21518] ppid=21500 vsize=9624976 CPUtime=0.65 cores=0,2,4,6
/proc/21502/task/21518/stat : 21518 (java) S 21500 21502 16961 0 -1 4202560 5488 0 0 0 63 2 0 0 20 0 19 0 254959620 9855975424 35355 33554432000 1073741824 1073778376 140735362812576 140584782166584 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21502/tid=21519] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21519/stat : 21519 (java) S 21500 21502 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254959620 9855975424 35355 33554432000 1073741824 1073778376 140735362812576 140584781114488 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21502/tid=21520] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21520/stat : 21520 (java) S 21500 21502 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254959620 9855975424 35355 33554432000 1073741824 1073778376 140735362812576 140584780061896 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21502/tid=21521] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21521/stat : 21521 (java) S 21500 21502 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254959667 9855975424 35355 33554432000 1073741824 1073778376 140735362812576 140584779006888 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 8.7
Current children cumulated vsize (KiB) 9624976
[startup+7.50072 s]
/proc/loadavg: 1.97 2.01 1.99 3/213 21521
/proc/meminfo: memFree=28410392/32873648 swapFree=7360/7360
[pid=21502] ppid=21500 vsize=9624976 CPUtime=9.11 cores=0,2,4,6
/proc/21502/stat : 21502 (java) S 21500 21502 16961 0 -1 4202496 21624 0 1 0 903 8 0 0 20 0 19 0 254959615 9855975424 35356 33554432000 1073741824 1073778376 140735362812576 140735362803712 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21502/statm: 2406244 35356 2282 9 0 2396937 0
[pid=21502/tid=21504] ppid=21500 vsize=9624976 CPUtime=7.23 cores=0,2,4,6
/proc/21502/task/21504/stat : 21504 (java) R 21500 21502 16961 0 -1 4202560 2500 0 1 0 720 3 0 0 20 0 19 0 254959616 9855975424 35356 33554432000 1073741824 1073778376 140735362812576 140584963756480 140584833161615 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21502/tid=21505] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21505/stat : 21505 (java) S 21500 21502 16961 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254959616 9855975424 35356 33554432000 1073741824 1073778376 140735362812576 140584952826152 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21502/tid=21506] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21506/stat : 21506 (java) S 21500 21502 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254959616 9855975424 35356 33554432000 1073741824 1073778376 140735362812576 140584951773352 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21502/tid=21507] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21507/stat : 21507 (java) S 21500 21502 16961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254959616 9855975424 35356 33554432000 1073741824 1073778376 140735362812576 140584804891176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21502/tid=21508] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21508/stat : 21508 (java) S 21500 21502 16961 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 254959616 9855975424 35356 33554432000 1073741824 1073778376 140735362812576 140584803838376 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21502/tid=21509] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21509/stat : 21509 (java) S 21500 21502 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254959616 9855975424 35356 33554432000 1073741824 1073778376 140735362812576 140584802786088 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21502/tid=21510] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21510/stat : 21510 (java) S 21500 21502 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254959616 9855975424 35356 33554432000 1073741824 1073778376 140735362812576 140584801733288 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21502/tid=21511] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21511/stat : 21511 (java) S 21500 21502 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254959616 9855975424 35356 33554432000 1073741824 1073778376 140735362812576 140584800681000 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21502/tid=21512] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21512/stat : 21512 (java) S 21500 21502 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254959616 9855975424 35356 33554432000 1073741824 1073778376 140735362812576 140584799628200 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21502/tid=21513] ppid=21500 vsize=9624976 CPUtime=0.2 cores=0,2,4,6
/proc/21502/task/21513/stat : 21513 (java) S 21500 21502 16961 0 -1 4202560 44 0 0 0 20 0 0 0 20 0 19 0 254959617 9855975424 35356 33554432000 1073741824 1073778376 140735362812576 140584787429608 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21502/tid=21514] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21514/stat : 21514 (java) S 21500 21502 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254959618 9855975424 35356 33554432000 1073741824 1073778376 140735362812576 140584786375672 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21502/tid=21515] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21515/stat : 21515 (java) S 21500 21502 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254959618 9855975424 35356 33554432000 1073741824 1073778376 140735362812576 140584785323272 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21502/tid=21516] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21516/stat : 21516 (java) S 21500 21502 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254959620 9855975424 35356 33554432000 1073741824 1073778376 140735362812576 140584784271760 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21502/tid=21517] ppid=21500 vsize=9624976 CPUtime=0.89 cores=0,2,4,6
/proc/21502/task/21517/stat : 21517 (java) S 21500 21502 16961 0 -1 4202560 12325 0 0 0 87 2 0 0 20 0 19 0 254959620 9855975424 35356 33554432000 1073741824 1073778376 140735362812576 140584783219384 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21502/tid=21518] ppid=21500 vsize=9624976 CPUtime=0.65 cores=0,2,4,6
/proc/21502/task/21518/stat : 21518 (java) S 21500 21502 16961 0 -1 4202560 5488 0 0 0 63 2 0 0 20 0 19 0 254959620 9855975424 35356 33554432000 1073741824 1073778376 140735362812576 140584782166584 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21502/tid=21519] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21519/stat : 21519 (java) S 21500 21502 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254959620 9855975424 35356 33554432000 1073741824 1073778376 140735362812576 140584781114488 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21502/tid=21520] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21520/stat : 21520 (java) S 21500 21502 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254959620 9855975424 35356 33554432000 1073741824 1073778376 140735362812576 140584780061896 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21502/tid=21521] ppid=21500 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21502/task/21521/stat : 21521 (java) S 21500 21502 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254959667 9855975424 35356 33554432000 1073741824 1073778376 140735362812576 140584779006888 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 9.11
Current children cumulated vsize (KiB) 9624976
Child status: 30
Real time (s): 7.55109
CPU time (s): 9.2016
CPU user time (s): 9.03962
CPU system time (s): 0.161975
CPU usage (%): 121.858
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.03962
system time used= 0.161975
maximum resident set size= 143488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21642
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= 761
involuntary context switches= 280
runsolver used 0.040993 second user time and 0.073988 second system time
The end