runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4100106-1466207935/watcher-4100106-1466207935 -o /tmp/evaluation-result-4100106-1466207935/solver-4100106-1466207935 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466206056-7346 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4100106-1466207935.opb
pid=9888
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.09 4.29 3.72 4/199 9891
/proc/meminfo: memFree=28345996/32872528 swapFree=1505436/1685308
[pid=9891] ppid=9888 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/9891/stat : 9891 (java) S 9888 9891 7329 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 22839526 98570240 978 33554432000 1073741824 1073778376 140733658757632 140733658748768 215127982141 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9891/statm: 24065 978 744 9 0 16771 0
[pid=9891/tid=9892] ppid=9888 vsize=96268 CPUtime=0 cores=1,3,5,7
/proc/9891/task/9892/stat : 9892 (java) R 9888 9891 7329 0 -1 4202560 132 0 0 0 0 0 0 0 20 0 2 0 22839526 98578432 980 33554432000 1073741824 1073778376 140733658757632 140172864310824 215124644679 0 0 0 16784584 0 0 0 -1 1 0 0 0 0 0
[startup+0.100165 s]
/proc/loadavg: 4.09 4.29 3.72 4/199 9891
/proc/meminfo: memFree=28345996/32872528 swapFree=1505436/1685308
[pid=9891] ppid=9888 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/9891/stat : 9891 (java) S 9888 9891 7329 0 -1 4202496 4448 0 1 0 9 1 0 0 20 0 18 0 22839526 9787879424 6080 33554432000 1073741824 1073778376 140733658757632 140733658748768 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9891/statm: 2389619 6080 2156 9 0 2380296 0
[pid=9891/tid=9892] ppid=9888 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/9891/task/9892/stat : 9892 (java) R 9888 9891 7329 0 -1 4202560 2382 0 1 0 6 1 0 0 20 0 18 0 22839526 9787879424 6080 33554432000 1073741824 1073778376 140733658757632 140172864314272 215128007949 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200293 s]
/proc/loadavg: 4.09 4.29 3.72 4/199 9891
/proc/meminfo: memFree=28345996/32872528 swapFree=1505436/1685308
[pid=9891] ppid=9888 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/9891/stat : 9891 (java) S 9888 9891 7329 0 -1 4202496 5067 0 1 0 26 2 0 0 20 0 18 0 22839526 9787879424 7577 33554432000 1073741824 1073778376 140733658757632 140733658748768 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9891/statm: 2389619 7577 2213 9 0 2380296 0
[pid=9891/tid=9892] ppid=9888 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/9891/task/9892/stat : 9892 (java) R 9888 9891 7329 0 -1 4202560 2401 0 1 0 15 2 0 0 20 0 18 0 22839526 9787879424 7577 33554432000 1073741824 1073778376 140733658757632 140172864315312 140172867601286 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476
[startup+0.300302 s]
/proc/loadavg: 4.09 4.29 3.72 4/199 9891
/proc/meminfo: memFree=28345996/32872528 swapFree=1505436/1685308
[pid=9891] ppid=9888 vsize=9558476 CPUtime=0.53 cores=1,3,5,7
/proc/9891/stat : 9891 (java) S 9888 9891 7329 0 -1 4202496 6064 0 1 0 51 2 0 0 20 0 18 0 22839526 9787879424 10941 33554432000 1073741824 1073778376 140733658757632 140733658748768 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9891/statm: 2389619 10941 2241 9 0 2380296 0
[pid=9891/tid=9892] ppid=9888 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/9891/task/9892/stat : 9892 (java) R 9888 9891 7329 0 -1 4202560 2414 0 1 0 25 2 0 0 20 0 18 0 22839526 9787879424 10941 33554432000 1073741824 1073778376 140733658757632 140172864307088 140172717449547 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9558476
[startup+0.7003 s]
/proc/loadavg: 4.09 4.29 3.72 4/199 9891
/proc/meminfo: memFree=28345996/32872528 swapFree=1505436/1685308
[pid=9891] ppid=9888 vsize=9558476 CPUtime=1.53 cores=1,3,5,7
/proc/9891/stat : 9891 (java) S 9888 9891 7329 0 -1 4202496 17278 0 1 0 148 5 0 0 20 0 18 0 22839526 9787879424 42335 33554432000 1073741824 1073778376 140733658757632 140733658748768 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9891/statm: 2389619 42335 2260 9 0 2380296 0
[pid=9891/tid=9892] ppid=9888 vsize=9558476 CPUtime=0.67 cores=1,3,5,7
/proc/9891/task/9892/stat : 9892 (java) R 9888 9891 7329 0 -1 4202560 2466 0 1 0 64 3 0 0 20 0 18 0 22839526 9787879424 42335 33554432000 1073741824 1073778376 140733658757632 140172864307216 140172717661658 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 9558476
[startup+1.50074 s]
/proc/loadavg: 4.16 4.30 3.73 4/217 9909
/proc/meminfo: memFree=28089424/32872528 swapFree=1505436/1685308
[pid=9891] ppid=9888 vsize=9558476 CPUtime=2.67 cores=1,3,5,7
/proc/9891/stat : 9891 (java) S 9888 9891 7329 0 -1 4202496 17959 0 1 0 252 15 0 0 20 0 18 0 22839526 9787879424 85300 33554432000 1073741824 1073778376 140733658757632 140733658748768 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9891/statm: 2389619 85300 2276 9 0 2380296 0
[pid=9891/tid=9892] ppid=9888 vsize=9558476 CPUtime=1.34 cores=1,3,5,7
/proc/9891/task/9892/stat : 9892 (java) R 9888 9891 7329 0 -1 4202560 2511 0 1 0 130 4 0 0 20 0 18 0 22839526 9787879424 85300 33554432000 1073741824 1073778376 140733658757632 140172864307216 140172717653590 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=9891/tid=9894] ppid=9888 vsize=9558476 CPUtime=0.03 cores=1,3,5,7
/proc/9891/task/9894/stat : 9894 (java) S 9888 9891 7329 0 -1 4202560 127 0 0 0 3 0 0 0 20 0 18 0 22839527 9787879424 85300 33554432000 1073741824 1073778376 140733658757632 140172836768424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9891/tid=9895] ppid=9888 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/9891/task/9895/stat : 9895 (java) S 9888 9891 7329 0 -1 4202560 113 0 0 0 6 1 0 0 20 0 18 0 22839527 9787879424 85300 33554432000 1073741824 1073778376 140733658757632 140172835715880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9891/tid=9896] ppid=9888 vsize=9558476 CPUtime=0.03 cores=1,3,5,7
/proc/9891/task/9896/stat : 9896 (java) S 9888 9891 7329 0 -1 4202560 89 0 0 0 3 0 0 0 20 0 18 0 22839527 9787879424 85300 33554432000 1073741824 1073778376 140733658757632 140172705967016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9891/tid=9897] ppid=9888 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/9891/task/9897/stat : 9897 (java) S 9888 9891 7329 0 -1 4202560 148 0 0 0 6 2 0 0 20 0 18 0 22839527 9787879424 85300 33554432000 1073741824 1073778376 140733658757632 140172704914472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9891/tid=9898] ppid=9888 vsize=9558476 CPUtime=0.02 cores=1,3,5,7
/proc/9891/task/9898/stat : 9898 (java) S 9888 9891 7329 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 18 0 22839527 9787879424 85300 33554432000 1073741824 1073778376 140733658757632 140172703860904 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9891/tid=9899] ppid=9888 vsize=9558476 CPUtime=0.03 cores=1,3,5,7
/proc/9891/task/9899/stat : 9899 (java) S 9888 9891 7329 0 -1 4202560 26 0 0 0 3 0 0 0 20 0 18 0 22839527 9787879424 85300 33554432000 1073741824 1073778376 140733658757632 140172702808360 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9891/tid=9900] ppid=9888 vsize=9558476 CPUtime=0.03 cores=1,3,5,7
/proc/9891/task/9900/stat : 9900 (java) S 9888 9891 7329 0 -1 4202560 27 0 0 0 3 0 0 0 20 0 18 0 22839527 9787879424 85300 33554432000 1073741824 1073778376 140733658757632 140172701755816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9891/tid=9901] ppid=9888 vsize=9558476 CPUtime=0.03 cores=1,3,5,7
/proc/9891/task/9901/stat : 9901 (java) S 9888 9891 7329 0 -1 4202560 26 0 0 0 2 1 0 0 20 0 18 0 22839527 9787879424 85300 33554432000 1073741824 1073778376 140733658757632 140172230388264 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9891/tid=9902] ppid=9888 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/9891/task/9902/stat : 9902 (java) S 9888 9891 7329 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 18 0 22839528 9787879424 85300 33554432000 1073741824 1073778376 140733658757632 140172218190440 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9891/tid=9903] ppid=9888 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/9891/task/9903/stat : 9903 (java) S 9888 9891 7329 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 22839529 9787879424 85300 33554432000 1073741824 1073778376 140733658757632 140172217136760 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9891/tid=9904] ppid=9888 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/9891/task/9904/stat : 9904 (java) S 9888 9891 7329 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 22839529 9787879424 85300 33554432000 1073741824 1073778376 140733658757632 140172216084104 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9891/tid=9905] ppid=9888 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/9891/task/9905/stat : 9905 (java) S 9888 9891 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22839531 9787879424 85300 33554432000 1073741824 1073778376 140733658757632 140172215032848 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9891/tid=9906] ppid=9888 vsize=9558476 CPUtime=0.4 cores=1,3,5,7
/proc/9891/task/9906/stat : 9906 (java) S 9888 9891 7329 0 -1 4202560 6463 0 0 0 38 2 0 0 20 0 18 0 22839531 9787879424 85300 33554432000 1073741824 1073778376 140733658757632 140172213979192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9891/tid=9907] ppid=9888 vsize=9558476 CPUtime=0.43 cores=1,3,5,7
/proc/9891/task/9907/stat : 9907 (java) S 9888 9891 7329 0 -1 4202560 7087 0 0 0 42 1 0 0 20 0 18 0 22839531 9787879424 85300 33554432000 1073741824 1073778376 140733658757632 140172212926648 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9891/tid=9908] ppid=9888 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/9891/task/9908/stat : 9908 (java) S 9888 9891 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22839531 9787879424 85300 33554432000 1073741824 1073778376 140733658757632 140172211874296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9891/tid=9909] ppid=9888 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/9891/task/9909/stat : 9909 (java) S 9888 9891 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22839531 9787879424 85300 33554432000 1073741824 1073778376 140733658757632 140172210821960 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.67
Current children cumulated vsize (KiB) 9558476
[startup+3.10087 s]
/proc/loadavg: 4.16 4.30 3.73 11/217 9909
/proc/meminfo: memFree=27819400/32872528 swapFree=1505436/1685308
[pid=9891] ppid=9888 vsize=9558476 CPUtime=4.9 cores=1,3,5,7
/proc/9891/stat : 9891 (java) S 9888 9891 7329 0 -1 4202496 18765 0 1 0 452 38 0 0 20 0 18 0 22839526 9787879424 171707 33554432000 1073741824 1073778376 140733658757632 140733658748768 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9891/statm: 2389619 171707 2276 9 0 2380296 0
[pid=9891/tid=9892] ppid=9888 vsize=9558476 CPUtime=2.72 cores=1,3,5,7
/proc/9891/task/9892/stat : 9892 (java) R 9888 9891 7329 0 -1 4202560 2780 0 1 0 265 7 0 0 20 0 18 0 22839526 9787879424 171707 33554432000 1073741824 1073778376 140733658757632 140172864307120 140172717653590 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9891/tid=9894] ppid=9888 vsize=9558476 CPUtime=0.12 cores=1,3,5,7
/proc/9891/task/9894/stat : 9894 (java) S 9888 9891 7329 0 -1 4202560 167 0 0 0 9 3 0 0 20 0 18 0 22839527 9787879424 171707 33554432000 1073741824 1073778376 140733658757632 140172836768424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9891/tid=9895] ppid=9888 vsize=9558476 CPUtime=0.14 cores=1,3,5,7
/proc/9891/task/9895/stat : 9895 (java) S 9888 9891 7329 0 -1 4202560 141 0 0 0 11 3 0 0 20 0 18 0 22839527 9787879424 171707 33554432000 1073741824 1073778376 140733658757632 140172835715880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9891/tid=9896] ppid=9888 vsize=9558476 CPUtime=0.19 cores=1,3,5,7
/proc/9891/task/9896/stat : 9896 (java) S 9888 9891 7329 0 -1 4202560 156 0 0 0 14 5 0 0 20 0 18 0 22839527 9787879424 171707 33554432000 1073741824 1073778376 140733658757632 140172705967016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9891/tid=9897] ppid=9888 vsize=9558476 CPUtime=0.16 cores=1,3,5,7
/proc/9891/task/9897/stat : 9897 (java) S 9888 9891 7329 0 -1 4202560 194 0 0 0 12 4 0 0 20 0 18 0 22839527 9787879424 171707 33554432000 1073741824 1073778376 140733658757632 140172704914472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9891/tid=9898] ppid=9888 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/9891/task/9898/stat : 9898 (java) S 9888 9891 7329 0 -1 4202560 84 0 0 0 8 3 0 0 20 0 18 0 22839527 9787879424 171707 33554432000 1073741824 1073778376 140733658757632 140172703860904 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9891/tid=9899] ppid=9888 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/9891/task/9899/stat : 9899 (java) S 9888 9891 7329 0 -1 4202560 64 0 0 0 7 3 0 0 20 0 18 0 22839527 9787879424 171707 33554432000 1073741824 1073778376 140733658757632 140172702808360 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9891/tid=9900] ppid=9888 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/9891/task/9900/stat : 9900 (java) S 9888 9891 7329 0 -1 4202560 111 0 0 0 18 6 0 0 20 0 18 0 22839527 9787879424 171707 33554432000 1073741824 1073778376 140733658757632 140172701755816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9891/tid=9901] ppid=9888 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/9891/task/9901/stat : 9901 (java) S 9888 9891 7329 0 -1 4202560 68 0 0 0 8 3 0 0 20 0 18 0 22839527 9787879424 171707 33554432000 1073741824 1073778376 140733658757632 140172230388264 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9891/tid=9902] ppid=9888 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/9891/task/9902/stat : 9902 (java) S 9888 9891 7329 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 18 0 22839528 9787879424 171707 33554432000 1073741824 1073778376 140733658757632 140172218190440 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9891/tid=9903] ppid=9888 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/9891/task/9903/stat : 9903 (java) S 9888 9891 7329 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 22839529 9787879424 171707 33554432000 1073741824 1073778376 140733658757632 140172217136760 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9891/tid=9904] ppid=9888 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/9891/task/9904/stat : 9904 (java) S 9888 9891 7329 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 22839529 9787879424 171707 33554432000 1073741824 1073778376 140733658757632 140172216084104 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9891/tid=9905] ppid=9888 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/9891/task/9905/stat : 9905 (java) S 9888 9891 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22839531 9787879424 171707 33554432000 1073741824 1073778376 140733658757632 140172215032848 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9891/tid=9906] ppid=9888 vsize=9558476 CPUtime=0.4 cores=1,3,5,7
/proc/9891/task/9906/stat : 9906 (java) S 9888 9891 7329 0 -1 4202560 6463 0 0 0 38 2 0 0 20 0 18 0 22839531 9787879424 171707 33554432000 1073741824 1073778376 140733658757632 140172213979192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9891/tid=9907] ppid=9888 vsize=9558476 CPUtime=0.43 cores=1,3,5,7
/proc/9891/task/9907/stat : 9907 (java) S 9888 9891 7329 0 -1 4202560 7087 0 0 0 42 1 0 0 20 0 18 0 22839531 9787879424 171707 33554432000 1073741824 1073778376 140733658757632 140172212926648 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9891/tid=9908] ppid=9888 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/9891/task/9908/stat : 9908 (java) S 9888 9891 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22839531 9787879424 171707 33554432000 1073741824 1073778376 140733658757632 140172211874296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9891/tid=9909] ppid=9888 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/9891/task/9909/stat : 9909 (java) S 9888 9891 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22839531 9787879424 171707 33554432000 1073741824 1073778376 140733658757632 140172210821960 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.9
Current children cumulated vsize (KiB) 9558476
[startup+6.30087 s]
/proc/loadavg: 4.07 4.28 3.73 4/217 9909
/proc/meminfo: memFree=27294392/32872528 swapFree=1505436/1685308
[pid=9891] ppid=9888 vsize=9558476 CPUtime=9.15 cores=1,3,5,7
/proc/9891/stat : 9891 (java) S 9888 9891 7329 0 -1 4202496 20440 0 1 0 840 75 0 0 20 0 18 0 22839526 9787879424 264684 33554432000 1073741824 1073778376 140733658757632 140733658748768 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9891/statm: 2389619 264690 2284 9 0 2380296 0
[pid=9891/tid=9892] ppid=9888 vsize=9558476 CPUtime=4.78 cores=1,3,5,7
/proc/9891/task/9892/stat : 9892 (java) R 9888 9891 7329 0 -1 4202560 3173 0 1 0 469 9 0 0 20 0 18 0 22839526 9787879424 264694 33554432000 1073741824 1073778376 140733658757632 140172864307120 140172717463442 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9891/tid=9894] ppid=9888 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/9891/task/9894/stat : 9894 (java) S 9888 9891 7329 0 -1 4202560 226 0 0 0 21 6 0 0 20 0 18 0 22839527 9787879424 264697 33554432000 1073741824 1073778376 140733658757632 140172836768424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9891/tid=9895] ppid=9888 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/9891/task/9895/stat : 9895 (java) S 9888 9891 7329 0 -1 4202560 195 0 0 0 21 7 0 0 20 0 18 0 22839527 9787879424 264698 33554432000 1073741824 1073778376 140733658757632 140172835715880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9891/tid=9896] ppid=9888 vsize=9558476 CPUtime=0.31 cores=1,3,5,7
/proc/9891/task/9896/stat : 9896 (java) S 9888 9891 7329 0 -1 4202560 207 0 0 0 24 7 0 0 20 0 18 0 22839527 9787879424 264701 33554432000 1073741824 1073778376 140733658757632 140172705967016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9891/tid=9897] ppid=9888 vsize=9558476 CPUtime=0.35 cores=1,3,5,7
/proc/9891/task/9897/stat : 9897 (java) S 9888 9891 7329 0 -1 4202560 265 0 0 0 27 8 0 0 20 0 18 0 22839527 9787879424 264704 33554432000 1073741824 1073778376 140733658757632 140172704914472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9891/tid=9898] ppid=9888 vsize=9558476 CPUtime=0.37 cores=1,3,5,7
/proc/9891/task/9898/stat : 9898 (java) S 9888 9891 7329 0 -1 4202560 191 0 0 0 27 10 0 0 20 0 18 0 22839527 9787879424 264708 33554432000 1073741824 1073778376 140733658757632 140172703860904 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9891/tid=9899] ppid=9888 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/9891/task/9899/stat : 9899 (java) S 9888 9891 7329 0 -1 4202560 119 0 0 0 19 6 0 0 20 0 18 0 22839527 9787879424 264711 33554432000 1073741824 1073778376 140733658757632 140172702808360 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9891/tid=9900] ppid=9888 vsize=9558476 CPUtime=0.49 cores=1,3,5,7
/proc/9891/task/9900/stat : 9900 (java) S 9888 9891 7329 0 -1 4202560 214 0 0 0 37 12 0 0 20 0 18 0 22839527 9787879424 264715 33554432000 1073741824 1073778376 140733658757632 140172701755816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9891/tid=9901] ppid=9888 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/9891/task/9901/stat : 9901 (java) S 9888 9891 7329 0 -1 4202560 136 0 0 0 21 7 0 0 20 0 18 0 22839527 9787879424 264718 33554432000 1073741824 1073778376 140733658757632 140172230388264 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9891/tid=9902] ppid=9888 vsize=9558476 CPUtime=0.76 cores=1,3,5,7
/proc/9891/task/9902/stat : 9902 (java) S 9888 9891 7329 0 -1 4202560 922 0 0 0 76 0 0 0 20 0 18 0 22839528 9787879424 264722 33554432000 1073741824 1073778376 140733658757632 140172218190440 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9891/tid=9903] ppid=9888 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/9891/task/9903/stat : 9903 (java) S 9888 9891 7329 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 22839529 9787879424 264725 33554432000 1073741824 1073778376 140733658757632 140172217136760 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9891/tid=9904] ppid=9888 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/9891/task/9904/stat : 9904 (java) S 9888 9891 7329 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 22839529 9787879424 264729 33554432000 1073741824 1073778376 140733658757632 140172216084104 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9891/tid=9905] ppid=9888 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/9891/task/9905/stat : 9905 (java) S 9888 9891 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22839531 9787879424 264732 33554432000 1073741824 1073778376 140733658757632 140172215032848 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9891/tid=9906] ppid=9888 vsize=9558476 CPUtime=0.4 cores=1,3,5,7
/proc/9891/task/9906/stat : 9906 (java) S 9888 9891 7329 0 -1 4202560 6463 0 0 0 38 2 0 0 20 0 18 0 22839531 9787879424 264736 33554432000 1073741824 1073778376 140733658757632 140172213979192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9891/tid=9907] ppid=9888 vsize=9558476 CPUtime=0.43 cores=1,3,5,7
/proc/9891/task/9907/stat : 9907 (java) S 9888 9891 7329 0 -1 4202560 7087 0 0 0 42 1 0 0 20 0 18 0 22839531 9787879424 264739 33554432000 1073741824 1073778376 140733658757632 140172212926648 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9891/tid=9908] ppid=9888 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/9891/task/9908/stat : 9908 (java) S 9888 9891 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22839531 9787879424 264743 33554432000 1073741824 1073778376 140733658757632 140172211874296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9891/tid=9909] ppid=9888 vsize=9558476 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/9891/task/9912/stat : 9912 (java) S 9888 9891 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 22841002 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172207564328 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 362.88
Current children cumulated vsize (KiB) 9824732
[startup+180.401 s]
/proc/loadavg: 4.57 4.50 3.91 5/220 9942
/proc/meminfo: memFree=23579552/32872528 swapFree=1505436/1685308
[pid=9891] ppid=9888 vsize=9824732 CPUtime=363.29 cores=1,3,5,7
/proc/9891/stat : 9891 (java) S 9888 9891 7329 0 -1 4202496 55922 0 1 0 35962 367 0 0 20 0 20 0 22839526 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140733658748768 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9891/statm: 2456183 891080 2299 9 0 2446860 0
[pid=9891/tid=9892] ppid=9888 vsize=9824732 CPUtime=9.3 cores=1,3,5,7
/proc/9891/task/9892/stat : 9892 (java) S 9888 9891 7329 0 -1 4202560 3507 0 1 0 914 16 0 0 20 0 20 0 22839526 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172864316280 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9891/tid=9894] ppid=9888 vsize=9824732 CPUtime=4.48 cores=1,3,5,7
/proc/9891/task/9894/stat : 9894 (java) S 9888 9891 7329 0 -1 4202560 4198 0 0 0 407 41 0 0 20 0 20 0 22839527 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172836768424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9891/tid=9895] ppid=9888 vsize=9824732 CPUtime=4.92 cores=1,3,5,7
/proc/9891/task/9895/stat : 9895 (java) S 9888 9891 7329 0 -1 4202560 2793 0 0 0 444 48 0 0 20 0 20 0 22839527 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172835715880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9891/tid=9896] ppid=9888 vsize=9824732 CPUtime=4.58 cores=1,3,5,7
/proc/9891/task/9896/stat : 9896 (java) S 9888 9891 7329 0 -1 4202560 3376 0 0 0 426 32 0 0 20 0 20 0 22839527 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172705967016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9891/tid=9897] ppid=9888 vsize=9824732 CPUtime=4.9 cores=1,3,5,7
/proc/9891/task/9897/stat : 9897 (java) S 9888 9891 7329 0 -1 4202560 4860 0 0 0 446 44 0 0 20 0 20 0 22839527 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172704914472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9891/tid=9898] ppid=9888 vsize=9824732 CPUtime=4.81 cores=1,3,5,7
/proc/9891/task/9898/stat : 9898 (java) S 9888 9891 7329 0 -1 4202560 4383 0 0 0 430 51 0 0 20 0 20 0 22839527 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172703860904 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9891/tid=9899] ppid=9888 vsize=9824732 CPUtime=4.53 cores=1,3,5,7
/proc/9891/task/9899/stat : 9899 (java) S 9888 9891 7329 0 -1 4202560 3721 0 0 0 418 35 0 0 20 0 20 0 22839527 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172702808360 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9891/tid=9900] ppid=9888 vsize=9824732 CPUtime=4.58 cores=1,3,5,7
/proc/9891/task/9900/stat : 9900 (java) S 9888 9891 7329 0 -1 4202560 3487 0 0 0 416 42 0 0 20 0 20 0 22839527 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172701755816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9891/tid=9901] ppid=9888 vsize=9824732 CPUtime=4.49 cores=1,3,5,7
/proc/9891/task/9901/stat : 9901 (java) S 9888 9891 7329 0 -1 4202560 4086 0 0 0 409 40 0 0 20 0 20 0 22839527 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172230388264 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9891/tid=9902] ppid=9888 vsize=9824732 CPUtime=7.3 cores=1,3,5,7
/proc/9891/task/9902/stat : 9902 (java) S 9888 9891 7329 0 -1 4202560 2841 0 0 0 725 5 0 0 20 0 20 0 22839528 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172218190440 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9891/tid=9903] ppid=9888 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9891/task/9903/stat : 9903 (java) S 9888 9891 7329 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 22839529 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172217136760 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9891/tid=9904] ppid=9888 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9891/task/9904/stat : 9904 (java) S 9888 9891 7329 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 22839529 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172216084104 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9891/tid=9905] ppid=9888 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9891/task/9905/stat : 9905 (java) S 9888 9891 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 22839531 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172215032848 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9891/tid=9906] ppid=9888 vsize=9824732 CPUtime=1.27 cores=1,3,5,7
/proc/9891/task/9906/stat : 9906 (java) S 9888 9891 7329 0 -1 4202560 6844 0 0 0 125 2 0 0 20 0 20 0 22839531 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172213979192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9891/tid=9907] ppid=9888 vsize=9824732 CPUtime=1.27 cores=1,3,5,7
/proc/9891/task/9907/stat : 9907 (java) S 9888 9891 7329 0 -1 4202560 10465 0 0 0 125 2 0 0 20 0 20 0 22839531 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172212926648 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9891/tid=9908] ppid=9888 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9891/task/9908/stat : 9908 (java) S 9888 9891 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 22839531 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172211874296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9891/tid=9909] ppid=9888 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/9891/task/9909/stat : 9909 (java) S 9888 9891 7329 0 -1 4202560 11 0 0 0 2 3 0 0 20 0 20 0 22839531 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172210821960 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9891/tid=9911] ppid=9888 vsize=9824732 CPUtime=153.62 cores=1,3,5,7
/proc/9891/task/9911/stat : 9911 (java) R 9888 9891 7329 0 -1 4202560 41 0 0 0 15360 2 0 0 20 0 20 0 22840993 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172208613904 140172717948699 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9891/tid=9912] ppid=9888 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9891/task/9912/stat : 9912 (java) S 9888 9891 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 22841002 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172207564328 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 363.29
Current children cumulated vsize (KiB) 9824732
[startup+180.601 s]
/proc/loadavg: 4.57 4.50 3.91 5/220 9942
/proc/meminfo: memFree=23579552/32872528 swapFree=1505436/1685308
[pid=9891] ppid=9888 vsize=9824732 CPUtime=363.49 cores=1,3,5,7
/proc/9891/stat : 9891 (java) S 9888 9891 7329 0 -1 4202496 55922 0 1 0 35982 367 0 0 20 0 20 0 22839526 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140733658748768 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9891/statm: 2456183 891080 2299 9 0 2446860 0
[pid=9891/tid=9892] ppid=9888 vsize=9824732 CPUtime=9.3 cores=1,3,5,7
/proc/9891/task/9892/stat : 9892 (java) S 9888 9891 7329 0 -1 4202560 3507 0 1 0 914 16 0 0 20 0 20 0 22839526 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172864316280 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9891/tid=9894] ppid=9888 vsize=9824732 CPUtime=4.48 cores=1,3,5,7
/proc/9891/task/9894/stat : 9894 (java) S 9888 9891 7329 0 -1 4202560 4198 0 0 0 407 41 0 0 20 0 20 0 22839527 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172836768424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9891/tid=9895] ppid=9888 vsize=9824732 CPUtime=4.92 cores=1,3,5,7
/proc/9891/task/9895/stat : 9895 (java) S 9888 9891 7329 0 -1 4202560 2793 0 0 0 444 48 0 0 20 0 20 0 22839527 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172835715880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9891/tid=9896] ppid=9888 vsize=9824732 CPUtime=4.58 cores=1,3,5,7
/proc/9891/task/9896/stat : 9896 (java) S 9888 9891 7329 0 -1 4202560 3376 0 0 0 426 32 0 0 20 0 20 0 22839527 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172705967016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9891/tid=9897] ppid=9888 vsize=9824732 CPUtime=4.9 cores=1,3,5,7
/proc/9891/task/9897/stat : 9897 (java) S 9888 9891 7329 0 -1 4202560 4860 0 0 0 446 44 0 0 20 0 20 0 22839527 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172704914472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9891/tid=9898] ppid=9888 vsize=9824732 CPUtime=4.81 cores=1,3,5,7
/proc/9891/task/9898/stat : 9898 (java) S 9888 9891 7329 0 -1 4202560 4383 0 0 0 430 51 0 0 20 0 20 0 22839527 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172703860904 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9891/tid=9899] ppid=9888 vsize=9824732 CPUtime=4.53 cores=1,3,5,7
/proc/9891/task/9899/stat : 9899 (java) S 9888 9891 7329 0 -1 4202560 3721 0 0 0 418 35 0 0 20 0 20 0 22839527 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172702808360 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9891/tid=9900] ppid=9888 vsize=9824732 CPUtime=4.58 cores=1,3,5,7
/proc/9891/task/9900/stat : 9900 (java) S 9888 9891 7329 0 -1 4202560 3487 0 0 0 416 42 0 0 20 0 20 0 22839527 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172701755816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9891/tid=9901] ppid=9888 vsize=9824732 CPUtime=4.49 cores=1,3,5,7
/proc/9891/task/9901/stat : 9901 (java) S 9888 9891 7329 0 -1 4202560 4086 0 0 0 409 40 0 0 20 0 20 0 22839527 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172230388264 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9891/tid=9902] ppid=9888 vsize=9824732 CPUtime=7.3 cores=1,3,5,7
/proc/9891/task/9902/stat : 9902 (java) S 9888 9891 7329 0 -1 4202560 2841 0 0 0 725 5 0 0 20 0 20 0 22839528 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172218190440 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9891/tid=9903] ppid=9888 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9891/task/9903/stat : 9903 (java) S 9888 9891 7329 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 22839529 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172217136760 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9891/tid=9904] ppid=9888 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9891/task/9904/stat : 9904 (java) S 9888 9891 7329 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 22839529 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172216084104 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9891/tid=9905] ppid=9888 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9891/task/9905/stat : 9905 (java) S 9888 9891 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 22839531 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172215032848 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9891/tid=9906] ppid=9888 vsize=9824732 CPUtime=1.27 cores=1,3,5,7
/proc/9891/task/9906/stat : 9906 (java) S 9888 9891 7329 0 -1 4202560 6844 0 0 0 125 2 0 0 20 0 20 0 22839531 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172213979192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9891/tid=9907] ppid=9888 vsize=9824732 CPUtime=1.27 cores=1,3,5,7
/proc/9891/task/9907/stat : 9907 (java) S 9888 9891 7329 0 -1 4202560 10465 0 0 0 125 2 0 0 20 0 20 0 22839531 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172212926648 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9891/tid=9908] ppid=9888 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9891/task/9908/stat : 9908 (java) S 9888 9891 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 22839531 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172211874296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9891/tid=9909] ppid=9888 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/9891/task/9909/stat : 9909 (java) S 9888 9891 7329 0 -1 4202560 11 0 0 0 2 3 0 0 20 0 20 0 22839531 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172210821960 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9891/tid=9911] ppid=9888 vsize=9824732 CPUtime=153.81 cores=1,3,5,7
/proc/9891/task/9911/stat : 9911 (java) R 9888 9891 7329 0 -1 4202560 41 0 0 0 15379 2 0 0 20 0 20 0 22840993 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172208613904 140172717389854 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9891/tid=9912] ppid=9888 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9891/task/9912/stat : 9912 (java) S 9888 9891 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 22841002 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172207564328 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 363.49
Current children cumulated vsize (KiB) 9824732
[startup+180.701 s]
/proc/loadavg: 4.57 4.50 3.91 5/220 9942
/proc/meminfo: memFree=23579552/32872528 swapFree=1505436/1685308
[pid=9891] ppid=9888 vsize=9824732 CPUtime=363.59 cores=1,3,5,7
/proc/9891/stat : 9891 (java) S 9888 9891 7329 0 -1 4202496 55922 0 1 0 35992 367 0 0 20 0 20 0 22839526 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140733658748768 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9891/statm: 2456183 891080 2299 9 0 2446860 0
[pid=9891/tid=9892] ppid=9888 vsize=9824732 CPUtime=9.3 cores=1,3,5,7
/proc/9891/task/9892/stat : 9892 (java) S 9888 9891 7329 0 -1 4202560 3507 0 1 0 914 16 0 0 20 0 20 0 22839526 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172864316280 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9891/tid=9894] ppid=9888 vsize=9824732 CPUtime=4.48 cores=1,3,5,7
/proc/9891/task/9894/stat : 9894 (java) S 9888 9891 7329 0 -1 4202560 4198 0 0 0 407 41 0 0 20 0 20 0 22839527 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172836768424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9891/tid=9895] ppid=9888 vsize=9824732 CPUtime=4.92 cores=1,3,5,7
/proc/9891/task/9895/stat : 9895 (java) S 9888 9891 7329 0 -1 4202560 2793 0 0 0 444 48 0 0 20 0 20 0 22839527 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172835715880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9891/tid=9896] ppid=9888 vsize=9824732 CPUtime=4.58 cores=1,3,5,7
/proc/9891/task/9896/stat : 9896 (java) S 9888 9891 7329 0 -1 4202560 3376 0 0 0 426 32 0 0 20 0 20 0 22839527 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172705967016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9891/tid=9897] ppid=9888 vsize=9824732 CPUtime=4.9 cores=1,3,5,7
/proc/9891/task/9897/stat : 9897 (java) S 9888 9891 7329 0 -1 4202560 4860 0 0 0 446 44 0 0 20 0 20 0 22839527 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172704914472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9891/tid=9898] ppid=9888 vsize=9824732 CPUtime=4.81 cores=1,3,5,7
/proc/9891/task/9898/stat : 9898 (java) S 9888 9891 7329 0 -1 4202560 4383 0 0 0 430 51 0 0 20 0 20 0 22839527 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172703860904 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9891/tid=9899] ppid=9888 vsize=9824732 CPUtime=4.53 cores=1,3,5,7
/proc/9891/task/9899/stat : 9899 (java) S 9888 9891 7329 0 -1 4202560 3721 0 0 0 418 35 0 0 20 0 20 0 22839527 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172702808360 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9891/tid=9900] ppid=9888 vsize=9824732 CPUtime=4.58 cores=1,3,5,7
/proc/9891/task/9900/stat : 9900 (java) S 9888 9891 7329 0 -1 4202560 3487 0 0 0 416 42 0 0 20 0 20 0 22839527 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172701755816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9891/tid=9901] ppid=9888 vsize=9824732 CPUtime=4.49 cores=1,3,5,7
/proc/9891/task/9901/stat : 9901 (java) S 9888 9891 7329 0 -1 4202560 4086 0 0 0 409 40 0 0 20 0 20 0 22839527 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172230388264 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9891/tid=9902] ppid=9888 vsize=9824732 CPUtime=7.3 cores=1,3,5,7
/proc/9891/task/9902/stat : 9902 (java) S 9888 9891 7329 0 -1 4202560 2841 0 0 0 725 5 0 0 20 0 20 0 22839528 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172218190440 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9891/tid=9903] ppid=9888 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9891/task/9903/stat : 9903 (java) S 9888 9891 7329 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 22839529 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172217136760 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9891/tid=9904] ppid=9888 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9891/task/9904/stat : 9904 (java) S 9888 9891 7329 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 22839529 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172216084104 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9891/tid=9905] ppid=9888 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9891/task/9905/stat : 9905 (java) S 9888 9891 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 22839531 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172215032848 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9891/tid=9906] ppid=9888 vsize=9824732 CPUtime=1.27 cores=1,3,5,7
/proc/9891/task/9906/stat : 9906 (java) S 9888 9891 7329 0 -1 4202560 6844 0 0 0 125 2 0 0 20 0 20 0 22839531 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172213979192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9891/tid=9907] ppid=9888 vsize=9824732 CPUtime=1.27 cores=1,3,5,7
/proc/9891/task/9907/stat : 9907 (java) S 9888 9891 7329 0 -1 4202560 10465 0 0 0 125 2 0 0 20 0 20 0 22839531 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172212926648 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9891/tid=9908] ppid=9888 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9891/task/9908/stat : 9908 (java) S 9888 9891 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 22839531 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172211874296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9891/tid=9909] ppid=9888 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/9891/task/9909/stat : 9909 (java) S 9888 9891 7329 0 -1 4202560 11 0 0 0 2 3 0 0 20 0 20 0 22839531 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172210821960 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9891/tid=9911] ppid=9888 vsize=9824732 CPUtime=153.91 cores=1,3,5,7
/proc/9891/task/9911/stat : 9911 (java) R 9888 9891 7329 0 -1 4202560 41 0 0 0 15389 2 0 0 20 0 20 0 22840993 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172208616480 140172717389854 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9891/tid=9912] ppid=9888 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9891/task/9912/stat : 9912 (java) S 9888 9891 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 22841002 10060525568 891080 33554432000 1073741824 1073778376 140733658757632 140172207564328 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 363.59
Current children cumulated vsize (KiB) 9824732
Child status: 20
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9891 and gives
# childrusage.ru_utime.tv_sec=359
# childrusage.ru_utime.tv_usec=376366
# childrusage.ru_stime.tv_sec=3
# childrusage.ru_stime.tv_usec=821419
# CPU time returned by wait4() is 363.198
# while last known CPU time is 363.59
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 0.220001
# lost CPU user time (s): 0.240021
# lost CPU system time (s): -0.02
Real time (s): 180.75
CPU time (s): 363.81
CPU user time (s): 360.16
CPU system time (s): 3.65
CPU usage (%): 201.278
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 359.376
system time used= 3.82142
maximum resident set size= 3828256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55933
page faults= 1
swaps= 0
block input operations= 0
block output operations= 264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9899
involuntary context switches= 17481
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.25981 second user time and 1.56976 second system time
The end