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-4085434-1465243530/watcher-4085434-1465243530 -o /tmp/evaluation-result-4085434-1465243530/solver-4085434-1465243530 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1465226821-9908 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085434-1465243530.opb
pid=12639
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: 2.08 2.16 2.17 3/196 12642
/proc/meminfo: memFree=30194400/32872528 swapFree=20720/1686580
[pid=12642] ppid=12639 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/12642/stat : 12642 (java) R 12639 12642 9891 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106285024 9515008 186 33554432000 1073741824 1073778376 140733388338416 140733388327480 215115459879 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12642/statm: 2323 186 143 9 0 71 0
[startup+0.100155 s]
/proc/loadavg: 2.08 2.16 2.17 3/196 12642
/proc/meminfo: memFree=30194400/32872528 swapFree=20720/1686580
[pid=12642] ppid=12639 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/12642/stat : 12642 (java) S 12639 12642 9891 0 -1 4202496 4400 0 1 0 8 1 0 0 20 0 18 0 106285024 9787879424 6035 33554432000 1073741824 1073778376 140733388338416 140733388329552 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12642/statm: 2389619 6035 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200337 s]
/proc/loadavg: 2.08 2.16 2.17 3/196 12642
/proc/meminfo: memFree=30194400/32872528 swapFree=20720/1686580
[pid=12642] ppid=12639 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/12642/stat : 12642 (java) S 12639 12642 9891 0 -1 4202496 7260 0 1 0 29 2 0 0 20 0 19 0 106285024 9856040960 8095 33554432000 1073741824 1073778376 140733388338416 140733388329552 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12642/statm: 2406260 8095 2214 9 0 2396937 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 9625040
[startup+0.300344 s]
/proc/loadavg: 2.08 2.16 2.17 3/196 12642
/proc/meminfo: memFree=30194400/32872528 swapFree=20720/1686580
[pid=12642] ppid=12639 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/12642/stat : 12642 (java) S 12639 12642 9891 0 -1 4202496 7395 0 1 0 50 2 0 0 20 0 19 0 106285024 9856040960 7926 33554432000 1073741824 1073778376 140733388338416 140733388329552 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12642/statm: 2406260 7926 2231 9 0 2396937 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9625040
[startup+0.700262 s]
/proc/loadavg: 2.08 2.16 2.17 3/196 12642
/proc/meminfo: memFree=30194400/32872528 swapFree=20720/1686580
[pid=12642] ppid=12639 vsize=9625040 CPUtime=1.03 cores=1,3,5,7
/proc/12642/stat : 12642 (java) S 12639 12642 9891 0 -1 4202496 8384 0 1 0 101 2 0 0 20 0 19 0 106285024 9856040960 8497 33554432000 1073741824 1073778376 140733388338416 140733388329552 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12642/statm: 2406260 8497 2244 9 0 2396937 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 9625040
[startup+1.50075 s]
/proc/loadavg: 2.08 2.16 2.17 3/215 12661
/proc/meminfo: memFree=30168072/32872528 swapFree=20720/1686580
[pid=12642] ppid=12639 vsize=9625040 CPUtime=1.85 cores=1,3,5,7
/proc/12642/stat : 12642 (java) S 12639 12642 9891 0 -1 4202496 8389 0 1 0 183 2 0 0 20 0 19 0 106285024 9856040960 9012 33554432000 1073741824 1073778376 140733388338416 140733388329552 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12642/statm: 2406260 9012 2246 9 0 2396937 0
[pid=12642/tid=12644] ppid=12639 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/12642/task/12644/stat : 12644 (java) R 12639 12642 9891 0 -1 4202560 2405 0 1 0 144 1 0 0 20 0 19 0 106285025 9856040960 9012 33554432000 1073741824 1073778376 140733388338416 139964809952976 139964679989959 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12642/tid=12645] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12645/stat : 12645 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285026 9856040960 9012 33554432000 1073741824 1073778376 140733388338416 139964799023912 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12646] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12646/stat : 12646 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285026 9856040960 9012 33554432000 1073741824 1073778376 140733388338416 139964797971112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12642/tid=12647] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12647/stat : 12647 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285026 9856040960 9012 33554432000 1073741824 1073778376 140733388338416 139964651879464 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12642/tid=12648] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12648/stat : 12648 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285026 9856040960 9012 33554432000 1073741824 1073778376 140733388338416 139964650826664 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12642/tid=12649] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12649/stat : 12649 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285026 9856040960 9012 33554432000 1073741824 1073778376 140733388338416 139964649773352 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12650] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12650/stat : 12650 (java) S 12639 12642 9891 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 106285026 9856040960 9012 33554432000 1073741824 1073778376 140733388338416 139964648720552 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12642/tid=12651] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12651/stat : 12651 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285026 9856040960 9012 33554432000 1073741824 1073778376 140733388338416 139964647668264 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12652] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12652/stat : 12652 (java) S 12639 12642 9891 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106285026 9856040960 9012 33554432000 1073741824 1073778376 140733388338416 139964646615464 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12653] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12653/stat : 12653 (java) S 12639 12642 9891 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 106285027 9856040960 9012 33554432000 1073741824 1073778376 140733388338416 139964634204904 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12642/tid=12654] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12654/stat : 12654 (java) S 12639 12642 9891 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106285028 9856040960 9012 33554432000 1073741824 1073778376 140733388338416 139964633150968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12655] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12655/stat : 12655 (java) S 12639 12642 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106285028 9856040960 9012 33554432000 1073741824 1073778376 140733388338416 139964632098568 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12656] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12656/stat : 12656 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285030 9856040960 9012 33554432000 1073741824 1073778376 140733388338416 139964631047056 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12657] ppid=12639 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/12642/task/12657/stat : 12657 (java) S 12639 12642 9891 0 -1 4202560 1503 0 0 0 13 0 0 0 20 0 19 0 106285030 9856040960 9012 33554432000 1073741824 1073778376 140733388338416 139964629993656 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12658] ppid=12639 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/12642/task/12658/stat : 12658 (java) S 12639 12642 9891 0 -1 4202560 3207 0 0 0 23 0 0 0 20 0 19 0 106285030 9856040960 9012 33554432000 1073741824 1073778376 140733388338416 139964628940856 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12642/tid=12659] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12659/stat : 12659 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285030 9856040960 9012 33554432000 1073741824 1073778376 140733388338416 139964627888760 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12642/tid=12660] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12660/stat : 12660 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285030 9856040960 9012 33554432000 1073741824 1073778376 140733388338416 139964626836168 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12642/tid=12661] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12661/stat : 12661 (java) S 12639 12642 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106285038 9856040960 9012 33554432000 1073741824 1073778376 140733388338416 139964625733032 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 9625040
[startup+3.10077 s]
/proc/loadavg: 2.08 2.16 2.17 3/215 12661
/proc/meminfo: memFree=30165652/32872528 swapFree=20720/1686580
[pid=12642] ppid=12639 vsize=9625040 CPUtime=3.53 cores=1,3,5,7
/proc/12642/stat : 12642 (java) S 12639 12642 9891 0 -1 4202496 9447 0 1 0 351 2 0 0 20 0 19 0 106285024 9856040960 9562 33554432000 1073741824 1073778376 140733388338416 140733388329552 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12642/statm: 2406260 9562 2247 9 0 2396937 0
[pid=12642/tid=12644] ppid=12639 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/12642/task/12644/stat : 12644 (java) R 12639 12642 9891 0 -1 4202560 2406 0 1 0 304 1 0 0 20 0 19 0 106285025 9856040960 9562 33554432000 1073741824 1073778376 140733388338416 139964809959976 139964679934652 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12642/tid=12645] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12645/stat : 12645 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285026 9856040960 9562 33554432000 1073741824 1073778376 140733388338416 139964799023912 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12646] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12646/stat : 12646 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285026 9856040960 9562 33554432000 1073741824 1073778376 140733388338416 139964797971112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12642/tid=12647] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12647/stat : 12647 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285026 9856040960 9562 33554432000 1073741824 1073778376 140733388338416 139964651879464 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12642/tid=12648] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12648/stat : 12648 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285026 9856040960 9562 33554432000 1073741824 1073778376 140733388338416 139964650826664 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12642/tid=12649] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12649/stat : 12649 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285026 9856040960 9562 33554432000 1073741824 1073778376 140733388338416 139964649773352 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12650] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12650/stat : 12650 (java) S 12639 12642 9891 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 106285026 9856040960 9562 33554432000 1073741824 1073778376 140733388338416 139964648720552 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12642/tid=12651] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12651/stat : 12651 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285026 9856040960 9562 33554432000 1073741824 1073778376 140733388338416 139964647668264 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12652] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12652/stat : 12652 (java) S 12639 12642 9891 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106285026 9856040960 9562 33554432000 1073741824 1073778376 140733388338416 139964646615464 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12653] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12653/stat : 12653 (java) S 12639 12642 9891 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 106285027 9856040960 9562 33554432000 1073741824 1073778376 140733388338416 139964634204904 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12642/tid=12654] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12654/stat : 12654 (java) S 12639 12642 9891 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106285028 9856040960 9562 33554432000 1073741824 1073778376 140733388338416 139964633150968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12655] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12655/stat : 12655 (java) S 12639 12642 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106285028 9856040960 9562 33554432000 1073741824 1073778376 140733388338416 139964632098568 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12656] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12656/stat : 12656 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285030 9856040960 9562 33554432000 1073741824 1073778376 140733388338416 139964631047056 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12657] ppid=12639 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/12642/task/12657/stat : 12657 (java) S 12639 12642 9891 0 -1 4202560 2560 0 0 0 20 0 0 0 20 0 19 0 106285030 9856040960 9562 33554432000 1073741824 1073778376 140733388338416 139964629993656 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12658] ppid=12639 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/12642/task/12658/stat : 12658 (java) S 12639 12642 9891 0 -1 4202560 3207 0 0 0 23 0 0 0 20 0 19 0 106285030 9856040960 9562 33554432000 1073741824 1073778376 140733388338416 139964628940856 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12642/tid=12659] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12659/stat : 12659 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285030 9856040960 9562 33554432000 1073741824 1073778376 140733388338416 139964627888760 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12642/tid=12660] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12660/stat : 12660 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285030 9856040960 9562 33554432000 1073741824 1073778376 140733388338416 139964626836168 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12642/tid=12661] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12661/stat : 12661 (java) S 12639 12642 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106285038 9856040960 9562 33554432000 1073741824 1073778376 140733388338416 139964625733032 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.53
Current children cumulated vsize (KiB) 9625040
[startup+6.30091 s]
/proc/loadavg: 2.08 2.15 2.17 4/215 12661
/proc/meminfo: memFree=30159408/32872528 swapFree=20720/1686580
[pid=12642] ppid=12639 vsize=9625040 CPUtime=6.74 cores=1,3,5,7
/proc/12642/stat : 12642 (java) S 12639 12642 9891 0 -1 4202496 9452 0 1 0 671 3 0 0 20 0 19 0 106285024 9856040960 10487 33554432000 1073741824 1073778376 140733388338416 140733388329552 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12642/statm: 2406260 10487 2248 9 0 2396937 0
[pid=12642/tid=12644] ppid=12639 vsize=9625040 CPUtime=6.24 cores=1,3,5,7
/proc/12642/task/12644/stat : 12644 (java) R 12639 12642 9891 0 -1 4202560 2410 0 1 0 623 1 0 0 20 0 19 0 106285025 9856040960 10487 33554432000 1073741824 1073778376 140733388338416 139964809952960 139964679896087 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12642/tid=12645] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12645/stat : 12645 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285026 9856040960 10487 33554432000 1073741824 1073778376 140733388338416 139964799023912 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12646] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12646/stat : 12646 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285026 9856040960 10487 33554432000 1073741824 1073778376 140733388338416 139964797971112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12642/tid=12647] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12647/stat : 12647 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285026 9856040960 10487 33554432000 1073741824 1073778376 140733388338416 139964651879464 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12642/tid=12648] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12648/stat : 12648 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285026 9856040960 10487 33554432000 1073741824 1073778376 140733388338416 139964650826664 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12642/tid=12649] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12649/stat : 12649 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285026 9856040960 10487 33554432000 1073741824 1073778376 140733388338416 139964649773352 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12650] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12650/stat : 12650 (java) S 12639 12642 9891 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 106285026 9856040960 10487 33554432000 1073741824 1073778376 140733388338416 139964648720552 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12642/tid=12651] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12651/stat : 12651 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285026 9856040960 10487 33554432000 1073741824 1073778376 140733388338416 139964647668264 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12652] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12652/stat : 12652 (java) S 12639 12642 9891 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106285026 9856040960 10487 33554432000 1073741824 1073778376 140733388338416 139964646615464 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12653] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12653/stat : 12653 (java) S 12639 12642 9891 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 106285027 9856040960 10487 33554432000 1073741824 1073778376 140733388338416 139964634204904 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12642/tid=12654] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12654/stat : 12654 (java) S 12639 12642 9891 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106285028 9856040960 10487 33554432000 1073741824 1073778376 140733388338416 139964633150968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12655] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12655/stat : 12655 (java) S 12639 12642 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106285028 9856040960 10487 33554432000 1073741824 1073778376 140733388338416 139964632098568 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12656] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12656/stat : 12656 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285030 9856040960 10487 33554432000 1073741824 1073778376 140733388338416 139964631047056 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12657] ppid=12639 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/12642/task/12657/stat : 12657 (java) S 12639 12642 9891 0 -1 4202560 2560 0 0 0 20 0 0 0 20 0 19 0 106285030 9856040960 10487 33554432000 1073741824 1073778376 140733388338416 139964629993656 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12658] ppid=12639 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/12642/task/12658/stat : 12658 (java) S 12639 12642 9891 0 -1 4202560 3207 0 0 0 23 0 0 0 20 0 19 0 106285030 9856040960 10487 33554432000 1073741824 1073778376 140733388338416 139964628940856 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12642/tid=12659] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12659/stat : 12659 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285030 9856040960 10487 33554432000 1073741824 1073778376 140733388338416 139964627888760 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12642/tid=12660] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12660/stat : 12660 (java) S 12639 12642 9891 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 106285030 9856040960 10487 33554432000 1073741824 1073778376 140733388338416 139964626836168 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12642/tid=12661] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12661/stat : 12661 (java) S 12639 12642 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106285038 9856040960 10487 33554432000 1073741824 1073778376 140733388338416 139964625733032 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.74
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=12642/tid=12653] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12653/stat : 12653 (java) S 12639 12642 9891 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 106285027 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964634204904 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12642/tid=12654] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12654/stat : 12654 (java) S 12639 12642 9891 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106285028 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964633150968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12655] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12655/stat : 12655 (java) S 12639 12642 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106285028 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964632098568 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12656] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12656/stat : 12656 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285030 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964631047056 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12657] ppid=12639 vsize=9625040 CPUtime=1.04 cores=1,3,5,7
/proc/12642/task/12657/stat : 12657 (java) S 12639 12642 9891 0 -1 4202560 13840 0 0 0 102 2 0 0 20 0 19 0 106285030 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964629993656 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12658] ppid=12639 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/12642/task/12658/stat : 12658 (java) S 12639 12642 9891 0 -1 4202560 3208 0 0 0 26 0 0 0 20 0 19 0 106285030 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964628940856 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12642/tid=12659] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12659/stat : 12659 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285030 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964627888760 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12642/tid=12660] ppid=12639 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/12642/task/12660/stat : 12660 (java) S 12639 12642 9891 0 -1 4202560 6 0 0 0 0 1 0 0 20 0 19 0 106285030 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964626836168 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12642/tid=12661] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12661/stat : 12661 (java) S 12639 12642 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106285038 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964625733032 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 96.51
Current children cumulated vsize (KiB) 9625040
[startup+95.6007 s]
/proc/loadavg: 2.11 2.15 2.17 4/215 12663
/proc/meminfo: memFree=30096280/32872528 swapFree=20720/1686580
[pid=12642] ppid=12639 vsize=9625040 CPUtime=96.91 cores=1,3,5,7
/proc/12642/stat : 12642 (java) S 12639 12642 9891 0 -1 4202496 20773 0 1 0 9685 6 0 0 20 0 19 0 106285024 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 140733388329552 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12642/statm: 2406260 26332 2248 9 0 2396937 0
[pid=12642/tid=12644] ppid=12639 vsize=9625040 CPUtime=95.31 cores=1,3,5,7
/proc/12642/task/12644/stat : 12644 (java) R 12639 12642 9891 0 -1 4202560 2445 0 1 0 9528 3 0 0 20 0 19 0 106285025 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964809959888 139964679934695 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12642/tid=12645] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12645/stat : 12645 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285026 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964799023912 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12646] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12646/stat : 12646 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285026 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964797971112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12642/tid=12647] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12647/stat : 12647 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285026 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964651879464 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12642/tid=12648] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12648/stat : 12648 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285026 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964650826664 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12642/tid=12649] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12649/stat : 12649 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285026 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964649773352 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12650] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12650/stat : 12650 (java) S 12639 12642 9891 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 106285026 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964648720552 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12642/tid=12651] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12651/stat : 12651 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285026 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964647668264 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12652] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12652/stat : 12652 (java) S 12639 12642 9891 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106285026 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964646615464 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12653] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12653/stat : 12653 (java) S 12639 12642 9891 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 106285027 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964634204904 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12642/tid=12654] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12654/stat : 12654 (java) S 12639 12642 9891 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106285028 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964633150968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12655] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12655/stat : 12655 (java) S 12639 12642 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106285028 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964632098568 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12656] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12656/stat : 12656 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285030 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964631047056 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12657] ppid=12639 vsize=9625040 CPUtime=1.04 cores=1,3,5,7
/proc/12642/task/12657/stat : 12657 (java) S 12639 12642 9891 0 -1 4202560 13840 0 0 0 102 2 0 0 20 0 19 0 106285030 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964629993656 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12658] ppid=12639 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/12642/task/12658/stat : 12658 (java) S 12639 12642 9891 0 -1 4202560 3208 0 0 0 26 0 0 0 20 0 19 0 106285030 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964628940856 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12642/tid=12659] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12659/stat : 12659 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285030 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964627888760 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12642/tid=12660] ppid=12639 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/12642/task/12660/stat : 12660 (java) S 12639 12642 9891 0 -1 4202560 6 0 0 0 0 1 0 0 20 0 19 0 106285030 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964626836168 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12642/tid=12661] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12661/stat : 12661 (java) S 12639 12642 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106285038 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964625733032 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 96.91
Current children cumulated vsize (KiB) 9625040
[startup+96.0007 s]
/proc/loadavg: 2.11 2.15 2.17 4/215 12663
/proc/meminfo: memFree=30096280/32872528 swapFree=20720/1686580
[pid=12642] ppid=12639 vsize=9625040 CPUtime=97.31 cores=1,3,5,7
/proc/12642/stat : 12642 (java) S 12639 12642 9891 0 -1 4202496 20773 0 1 0 9725 6 0 0 20 0 19 0 106285024 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 140733388329552 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12642/statm: 2406260 26332 2248 9 0 2396937 0
[pid=12642/tid=12644] ppid=12639 vsize=9625040 CPUtime=95.71 cores=1,3,5,7
/proc/12642/task/12644/stat : 12644 (java) R 12639 12642 9891 0 -1 4202560 2445 0 1 0 9568 3 0 0 20 0 19 0 106285025 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964809959888 139964680141239 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12642/tid=12645] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12645/stat : 12645 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285026 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964799023912 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12646] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12646/stat : 12646 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285026 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964797971112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12642/tid=12647] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12647/stat : 12647 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285026 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964651879464 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12642/tid=12648] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12648/stat : 12648 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285026 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964650826664 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12642/tid=12649] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12649/stat : 12649 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285026 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964649773352 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12650] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12650/stat : 12650 (java) S 12639 12642 9891 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 106285026 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964648720552 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12642/tid=12651] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12651/stat : 12651 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285026 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964647668264 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12652] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12652/stat : 12652 (java) S 12639 12642 9891 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106285026 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964646615464 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12653] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12653/stat : 12653 (java) S 12639 12642 9891 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 106285027 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964634204904 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12642/tid=12654] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12654/stat : 12654 (java) S 12639 12642 9891 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106285028 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964633150968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12655] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12655/stat : 12655 (java) S 12639 12642 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106285028 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964632098568 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12656] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12656/stat : 12656 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285030 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964631047056 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12657] ppid=12639 vsize=9625040 CPUtime=1.04 cores=1,3,5,7
/proc/12642/task/12657/stat : 12657 (java) S 12639 12642 9891 0 -1 4202560 13840 0 0 0 102 2 0 0 20 0 19 0 106285030 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964629993656 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12658] ppid=12639 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/12642/task/12658/stat : 12658 (java) S 12639 12642 9891 0 -1 4202560 3208 0 0 0 26 0 0 0 20 0 19 0 106285030 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964628940856 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12642/tid=12659] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12659/stat : 12659 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285030 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964627888760 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12642/tid=12660] ppid=12639 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/12642/task/12660/stat : 12660 (java) S 12639 12642 9891 0 -1 4202560 6 0 0 0 0 1 0 0 20 0 19 0 106285030 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964626836168 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12642/tid=12661] ppid=12639 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12661/stat : 12661 (java) S 12639 12642 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106285038 9856040960 26332 33554432000 1073741824 1073778376 140733388338416 139964625733032 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 97.31
Current children cumulated vsize (KiB) 9625040
[startup+96.1007 s]
/proc/loadavg: 2.11 2.15 2.17 4/215 12663
/proc/meminfo: memFree=30096280/32872528 swapFree=20720/1686580
[pid=12642] ppid=12639 vsize=9691604 CPUtime=97.41 cores=1,3,5,7
/proc/12642/stat : 12642 (java) S 12639 12642 9891 0 -1 4202496 20789 0 1 0 9735 6 0 0 20 0 19 0 106285024 9924202496 26857 33554432000 1073741824 1073778376 140733388338416 140733388329552 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12642/statm: 2422901 26857 2253 9 0 2413578 0
[pid=12642/tid=12644] ppid=12639 vsize=9691604 CPUtime=95.8 cores=1,3,5,7
/proc/12642/task/12644/stat : 12644 (java) S 12639 12642 9891 0 -1 4202560 2447 0 1 0 9577 3 0 0 20 0 19 0 106285025 9924202496 26857 33554432000 1073741824 1073778376 140733388338416 139964809962200 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12642/tid=12645] ppid=12639 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12645/stat : 12645 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285026 9924202496 26857 33554432000 1073741824 1073778376 140733388338416 139964799023912 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12646] ppid=12639 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12646/stat : 12646 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285026 9924202496 26857 33554432000 1073741824 1073778376 140733388338416 139964797971112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12642/tid=12647] ppid=12639 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12647/stat : 12647 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285026 9924202496 26857 33554432000 1073741824 1073778376 140733388338416 139964651879464 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12642/tid=12648] ppid=12639 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12648/stat : 12648 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285026 9924202496 26857 33554432000 1073741824 1073778376 140733388338416 139964650826664 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12642/tid=12649] ppid=12639 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12649/stat : 12649 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285026 9924202496 26857 33554432000 1073741824 1073778376 140733388338416 139964649773352 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12650] ppid=12639 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12650/stat : 12650 (java) S 12639 12642 9891 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 106285026 9924202496 26857 33554432000 1073741824 1073778376 140733388338416 139964648720552 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12642/tid=12651] ppid=12639 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12651/stat : 12651 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285026 9924202496 26857 33554432000 1073741824 1073778376 140733388338416 139964647668264 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12652] ppid=12639 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12652/stat : 12652 (java) S 12639 12642 9891 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106285026 9924202496 26857 33554432000 1073741824 1073778376 140733388338416 139964646615464 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12653] ppid=12639 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12653/stat : 12653 (java) S 12639 12642 9891 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 106285027 9924202496 26857 33554432000 1073741824 1073778376 140733388338416 139964634204904 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12642/tid=12654] ppid=12639 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12654/stat : 12654 (java) S 12639 12642 9891 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106285028 9924202496 26857 33554432000 1073741824 1073778376 140733388338416 139964633150968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12655] ppid=12639 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12655/stat : 12655 (java) S 12639 12642 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106285028 9924202496 26857 33554432000 1073741824 1073778376 140733388338416 139964632098568 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12656] ppid=12639 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12656/stat : 12656 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285030 9924202496 26857 33554432000 1073741824 1073778376 140733388338416 139964631047056 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12657] ppid=12639 vsize=9691604 CPUtime=1.04 cores=1,3,5,7
/proc/12642/task/12657/stat : 12657 (java) S 12639 12642 9891 0 -1 4202560 13840 0 0 0 102 2 0 0 20 0 19 0 106285030 9924202496 26857 33554432000 1073741824 1073778376 140733388338416 139964629993656 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12642/tid=12658] ppid=12639 vsize=9691604 CPUtime=0.26 cores=1,3,5,7
/proc/12642/task/12658/stat : 12658 (java) R 12639 12642 9891 0 -1 4202560 3211 0 0 0 26 0 0 0 20 0 19 0 106285030 9924202496 26857 33554432000 1073741824 1073778376 140733388338416 139964628934472 139964812981118 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12642/tid=12659] ppid=12639 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/12642/task/12659/stat : 12659 (java) S 12639 12642 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106285030 9924202496 26857 33554432000 1073741824 1073778376 140733388338416 139964627888760 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12642/tid=12660] ppid=12639 vsize=9691604 CPUtime=0.01 cores=1,3,5,7
/proc/12642/task/12660/stat : 12660 (java) S 12639 12642 9891 0 -1 4202560 6 0 0 0 0 1 0 0 20 0 19 0 106285030 9924202496 26857 33554432000 1073741824 1073778376 140733388338416 139964626836168 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 97.41
Current children cumulated vsize (KiB) 9691604
Child status: 20
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12642 and gives
# childrusage.ru_utime.tv_sec=97
# childrusage.ru_utime.tv_usec=106237
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=112982
# CPU time returned by wait4() is 97.2192
# while last known CPU time is 97.41
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 96.1239
CPU time (s): 97.41
CPU user time (s): 97.35
CPU system time (s): 0.06
CPU usage (%): 101.338
Max. virtual memory (cumulated for all children) (KiB): 9691604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 97.1062
system time used= 0.112982
maximum resident set size= 110868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20796
page faults= 1
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2322
involuntary context switches= 123
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.554915 second user time and 0.696894 second system time
The end