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-4097587-1466118312/watcher-4097587-1466118312 -o /tmp/evaluation-result-4097587-1466118312/solver-4097587-1466118312 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466112850-26608 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4097587-1466118312.opb
pid=30405
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.16 2.08 2.01 3/194 30408
/proc/meminfo: memFree=31644960/32872528 swapFree=162364/176672
[pid=30408] ppid=30405 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/30408/stat : 30408 (java) S 30405 30408 23926 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 13881098 98570240 978 33554432000 1073741824 1073778376 140736433316784 140736433307920 224925876285 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30408/statm: 24065 978 744 9 0 16771 0
[pid=30408/tid=30409] ppid=30405 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30409/stat : 30409 (java) R 30405 30408 23926 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 13881099 98570240 978 33554432000 1073741824 1073778376 140736433316784 140163064634920 224922518912 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0
[startup+0.100116 s]
/proc/loadavg: 2.16 2.08 2.01 3/194 30408
/proc/meminfo: memFree=31644960/32872528 swapFree=162364/176672
[pid=30408] ppid=30405 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/30408/stat : 30408 (java) S 30405 30408 23926 0 -1 4202496 4397 0 1 0 9 1 0 0 20 0 18 0 13881098 9787879424 6027 33554432000 1073741824 1073778376 140736433316784 140736433307920 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30408/statm: 2389619 6029 2136 9 0 2380296 0
[pid=30408/tid=30409] ppid=30405 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/30408/task/30409/stat : 30409 (java) R 30405 30408 23926 0 -1 4202560 2384 0 1 0 7 1 0 0 20 0 18 0 13881099 9787879424 6030 33554432000 1073741824 1073778376 140736433316784 140163064638368 224925902093 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200325 s]
/proc/loadavg: 2.16 2.08 2.01 3/194 30408
/proc/meminfo: memFree=31644960/32872528 swapFree=162364/176672
[pid=30408] ppid=30405 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/30408/stat : 30408 (java) S 30405 30408 23926 0 -1 4202496 5024 0 1 0 27 1 0 0 20 0 18 0 13881098 9787879424 6974 33554432000 1073741824 1073778376 140736433316784 140736433307920 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30408/statm: 2389619 6974 2216 9 0 2380296 0
[pid=30408/tid=30409] ppid=30405 vsize=9558476 CPUtime=0.18 cores=0,2,4,6
/proc/30408/task/30409/stat : 30409 (java) R 30405 30408 23926 0 -1 4202560 2401 0 1 0 17 1 0 0 20 0 18 0 13881099 9787879424 6974 33554432000 1073741824 1073778376 140736433316784 140163064638368 140162919150817 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476
[startup+0.300325 s]
/proc/loadavg: 2.16 2.08 2.01 3/194 30408
/proc/meminfo: memFree=31644960/32872528 swapFree=162364/176672
[pid=30408] ppid=30405 vsize=9558476 CPUtime=0.51 cores=0,2,4,6
/proc/30408/stat : 30408 (java) S 30405 30408 23926 0 -1 4202496 6214 0 1 0 49 2 0 0 20 0 18 0 13881098 9787879424 8600 33554432000 1073741824 1073778376 140736433316784 140736433307920 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30408/statm: 2389619 8600 2233 9 0 2380296 0
[pid=30408/tid=30409] ppid=30405 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/30408/task/30409/stat : 30409 (java) R 30405 30408 23926 0 -1 4202560 2403 0 1 0 26 2 0 0 20 0 18 0 13881099 9787879424 8600 33554432000 1073741824 1073778376 140736433316784 140163064638368 140162919063424 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558476
[startup+0.70032 s]
/proc/loadavg: 2.16 2.08 2.01 3/194 30408
/proc/meminfo: memFree=31644960/32872528 swapFree=162364/176672
[pid=30408] ppid=30405 vsize=9625040 CPUtime=1.27 cores=0,2,4,6
/proc/30408/stat : 30408 (java) S 30405 30408 23926 0 -1 4202496 9763 0 1 0 124 3 0 0 20 0 19 0 13881098 9856040960 13039 33554432000 1073741824 1073778376 140736433316784 140736433307920 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30408/statm: 2406260 13039 2257 9 0 2396937 0
[pid=30408/tid=30409] ppid=30405 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/30408/task/30409/stat : 30409 (java) R 30405 30408 23926 0 -1 4202560 2422 0 1 0 66 2 0 0 20 0 19 0 13881099 9856040960 13039 33554432000 1073741824 1073778376 140736433316784 140163064639752 140162919103648 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 9625040
[startup+1.50077 s]
/proc/loadavg: 2.16 2.08 2.01 4/213 30427
/proc/meminfo: memFree=31593848/32872528 swapFree=162364/176672
[pid=30408] ppid=30405 vsize=9625040 CPUtime=2.33 cores=0,2,4,6
/proc/30408/stat : 30408 (java) S 30405 30408 23926 0 -1 4202496 14780 0 1 0 230 3 0 0 20 0 19 0 13881098 9856040960 16502 33554432000 1073741824 1073778376 140736433316784 140736433307920 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30408/statm: 2406260 16502 2267 9 0 2396937 0
[pid=30408/tid=30409] ppid=30405 vsize=9625040 CPUtime=1.48 cores=0,2,4,6
/proc/30408/task/30409/stat : 30409 (java) R 30405 30408 23926 0 -1 4202560 2424 0 1 0 146 2 0 0 20 0 19 0 13881099 9856040960 16502 33554432000 1073741824 1073778376 140736433316784 140163064640280 140162919714200 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=30408/tid=30411] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30411/stat : 30411 (java) S 30405 30408 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13881099 9856040960 16502 33554432000 1073741824 1073778376 140736433316784 140162908073000 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30412] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30412/stat : 30412 (java) S 30405 30408 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13881099 9856040960 16502 33554432000 1073741824 1073778376 140736433316784 140162907020200 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30408/tid=30413] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30413/stat : 30413 (java) S 30405 30408 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13881099 9856040960 16502 33554432000 1073741824 1073778376 140736433316784 140162905967400 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30408/tid=30414] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30414/stat : 30414 (java) S 30405 30408 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13881099 9856040960 16502 33554432000 1073741824 1073778376 140736433316784 140162904914600 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30408/tid=30415] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30415/stat : 30415 (java) S 30405 30408 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13881099 9856040960 16502 33554432000 1073741824 1073778376 140736433316784 140162903861800 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30416] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30416/stat : 30416 (java) S 30405 30408 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13881099 9856040960 16502 33554432000 1073741824 1073778376 140736433316784 140162566711720 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30408/tid=30417] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30417/stat : 30417 (java) S 30405 30408 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13881099 9856040960 16502 33554432000 1073741824 1073778376 140736433316784 140162565658920 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30418] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30418/stat : 30418 (java) S 30405 30408 23926 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13881099 9856040960 16502 33554432000 1073741824 1073778376 140736433316784 140162564606120 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30419] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30419/stat : 30419 (java) S 30405 30408 23926 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 13881101 9856040960 16502 33554432000 1073741824 1073778376 140736433316784 140162552409064 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30408/tid=30420] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30420/stat : 30420 (java) S 30405 30408 23926 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13881101 9856040960 16502 33554432000 1073741824 1073778376 140736433316784 140162551355128 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30421] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30421/stat : 30421 (java) S 30405 30408 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13881101 9856040960 16502 33554432000 1073741824 1073778376 140736433316784 140162550302216 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30422] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30422/stat : 30422 (java) S 30405 30408 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13881103 9856040960 16502 33554432000 1073741824 1073778376 140736433316784 140162549250704 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30423] ppid=30405 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/30408/task/30423/stat : 30423 (java) S 30405 30408 23926 0 -1 4202560 4277 0 0 0 31 0 0 0 20 0 19 0 13881103 9856040960 16502 33554432000 1073741824 1073778376 140736433316784 140162548197816 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30424] ppid=30405 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/30408/task/30424/stat : 30424 (java) S 30405 30408 23926 0 -1 4202560 6803 0 0 0 50 0 0 0 20 0 19 0 13881103 9856040960 16502 33554432000 1073741824 1073778376 140736433316784 140162547145016 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30408/tid=30425] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30425/stat : 30425 (java) S 30405 30408 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13881103 9856040960 16502 33554432000 1073741824 1073778376 140736433316784 140162546092408 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30408/tid=30426] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30426/stat : 30426 (java) S 30405 30408 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13881103 9856040960 16502 33554432000 1073741824 1073778376 140736433316784 140162545039816 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30408/tid=30427] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30427/stat : 30427 (java) S 30405 30408 23926 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 13881135 9856040960 16502 33554432000 1073741824 1073778376 140736433316784 140162543888040 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 9625040
[startup+3.10078 s]
/proc/loadavg: 2.15 2.08 2.01 3/213 30427
/proc/meminfo: memFree=31586724/32872528 swapFree=162364/176672
[pid=30408] ppid=30405 vsize=9625040 CPUtime=3.97 cores=0,2,4,6
/proc/30408/stat : 30408 (java) S 30405 30408 23926 0 -1 4202496 14782 0 1 0 394 3 0 0 20 0 19 0 13881098 9856040960 17014 33554432000 1073741824 1073778376 140736433316784 140736433307920 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30408/statm: 2406260 17014 2267 9 0 2396937 0
[pid=30408/tid=30409] ppid=30405 vsize=9625040 CPUtime=3.08 cores=0,2,4,6
/proc/30408/task/30409/stat : 30409 (java) R 30405 30408 23926 0 -1 4202560 2426 0 1 0 306 2 0 0 20 0 19 0 13881099 9856040960 17014 33554432000 1073741824 1073778376 140736433316784 140163064630992 140162919714112 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=30408/tid=30411] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30411/stat : 30411 (java) S 30405 30408 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13881099 9856040960 17014 33554432000 1073741824 1073778376 140736433316784 140162908073000 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30412] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30412/stat : 30412 (java) S 30405 30408 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13881099 9856040960 17014 33554432000 1073741824 1073778376 140736433316784 140162907020200 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30408/tid=30413] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30413/stat : 30413 (java) S 30405 30408 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13881099 9856040960 17014 33554432000 1073741824 1073778376 140736433316784 140162905967400 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30408/tid=30414] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30414/stat : 30414 (java) S 30405 30408 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13881099 9856040960 17014 33554432000 1073741824 1073778376 140736433316784 140162904914600 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30408/tid=30415] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30415/stat : 30415 (java) S 30405 30408 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13881099 9856040960 17014 33554432000 1073741824 1073778376 140736433316784 140162903861800 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30416] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30416/stat : 30416 (java) S 30405 30408 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13881099 9856040960 17014 33554432000 1073741824 1073778376 140736433316784 140162566711720 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30408/tid=30417] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30417/stat : 30417 (java) S 30405 30408 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13881099 9856040960 17014 33554432000 1073741824 1073778376 140736433316784 140162565658920 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30418] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30418/stat : 30418 (java) S 30405 30408 23926 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13881099 9856040960 17014 33554432000 1073741824 1073778376 140736433316784 140162564606120 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30419] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30419/stat : 30419 (java) S 30405 30408 23926 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 13881101 9856040960 17014 33554432000 1073741824 1073778376 140736433316784 140162552409064 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30408/tid=30420] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30420/stat : 30420 (java) S 30405 30408 23926 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13881101 9856040960 17014 33554432000 1073741824 1073778376 140736433316784 140162551355128 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30421] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30421/stat : 30421 (java) S 30405 30408 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13881101 9856040960 17014 33554432000 1073741824 1073778376 140736433316784 140162550302216 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30422] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30422/stat : 30422 (java) S 30405 30408 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13881103 9856040960 17014 33554432000 1073741824 1073778376 140736433316784 140162549250704 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30423] ppid=30405 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/30408/task/30423/stat : 30423 (java) S 30405 30408 23926 0 -1 4202560 4277 0 0 0 33 0 0 0 20 0 19 0 13881103 9856040960 17014 33554432000 1073741824 1073778376 140736433316784 140162548197816 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30424] ppid=30405 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/30408/task/30424/stat : 30424 (java) S 30405 30408 23926 0 -1 4202560 6803 0 0 0 52 0 0 0 20 0 19 0 13881103 9856040960 17014 33554432000 1073741824 1073778376 140736433316784 140162547145016 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30408/tid=30425] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30425/stat : 30425 (java) S 30405 30408 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13881103 9856040960 17014 33554432000 1073741824 1073778376 140736433316784 140162546092408 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30408/tid=30426] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30426/stat : 30426 (java) S 30405 30408 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13881103 9856040960 17014 33554432000 1073741824 1073778376 140736433316784 140162545039816 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30408/tid=30427] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30427/stat : 30427 (java) S 30405 30408 23926 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 13881135 9856040960 17014 33554432000 1073741824 1073778376 140736433316784 140162543888040 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 9625040
[startup+6.30075 s]
/proc/loadavg: 2.15 2.08 2.01 3/213 30427
/proc/meminfo: memFree=31580112/32872528 swapFree=162364/176672
[pid=30408] ppid=30405 vsize=9625040 CPUtime=7.19 cores=0,2,4,6
/proc/30408/stat : 30408 (java) S 30405 30408 23926 0 -1 4202496 14787 0 1 0 716 3 0 0 20 0 19 0 13881098 9856040960 18393 33554432000 1073741824 1073778376 140736433316784 140736433307920 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30408/statm: 2406260 18393 2268 9 0 2396937 0
[pid=30408/tid=30409] ppid=30405 vsize=9625040 CPUtime=6.28 cores=0,2,4,6
/proc/30408/task/30409/stat : 30409 (java) R 30405 30408 23926 0 -1 4202560 2430 0 1 0 626 2 0 0 20 0 19 0 13881099 9856040960 18393 33554432000 1073741824 1073778376 140736433316784 140163064639816 140162919619301 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=30408/tid=30411] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30411/stat : 30411 (java) S 30405 30408 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13881099 9856040960 18393 33554432000 1073741824 1073778376 140736433316784 140162908073000 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30412] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30412/stat : 30412 (java) S 30405 30408 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13881099 9856040960 18393 33554432000 1073741824 1073778376 140736433316784 140162907020200 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30408/tid=30413] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30413/stat : 30413 (java) S 30405 30408 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13881099 9856040960 18393 33554432000 1073741824 1073778376 140736433316784 140162905967400 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30408/tid=30414] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30414/stat : 30414 (java) S 30405 30408 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13881099 9856040960 18393 33554432000 1073741824 1073778376 140736433316784 140162904914600 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30408/tid=30415] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30415/stat : 30415 (java) S 30405 30408 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13881099 9856040960 18393 33554432000 1073741824 1073778376 140736433316784 140162903861800 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30416] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30416/stat : 30416 (java) S 30405 30408 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13881099 9856040960 18393 33554432000 1073741824 1073778376 140736433316784 140162566711720 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30408/tid=30417] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30417/stat : 30417 (java) S 30405 30408 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13881099 9856040960 18393 33554432000 1073741824 1073778376 140736433316784 140162565658920 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30418] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30418/stat : 30418 (java) S 30405 30408 23926 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13881099 9856040960 18393 33554432000 1073741824 1073778376 140736433316784 140162564606120 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30419] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30419/stat : 30419 (java) S 30405 30408 23926 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 13881101 9856040960 18393 33554432000 1073741824 1073778376 140736433316784 140162552409064 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30408/tid=30420] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30420/stat : 30420 (java) S 30405 30408 23926 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13881101 9856040960 18393 33554432000 1073741824 1073778376 140736433316784 140162551355128 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30421] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30421/stat : 30421 (java) S 30405 30408 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13881101 9856040960 18393 33554432000 1073741824 1073778376 140736433316784 140162550302216 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30422] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30422/stat : 30422 (java) S 30405 30408 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13881103 9856040960 18393 33554432000 1073741824 1073778376 140736433316784 140162549250704 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30423] ppid=30405 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/30408/task/30423/stat : 30423 (java) S 30405 30408 23926 0 -1 4202560 4277 0 0 0 35 0 0 0 20 0 19 0 13881103 9856040960 18393 33554432000 1073741824 1073778376 140736433316784 140162548197816 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30424] ppid=30405 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
################
# More data... #
################
[pid=30408/tid=30420] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30420/stat : 30420 (java) S 30405 30408 23926 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13881101 9856040960 72140 33554432000 1073741824 1073778376 140736433316784 140162551355128 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30421] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30421/stat : 30421 (java) S 30405 30408 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 13881101 9856040960 72140 33554432000 1073741824 1073778376 140736433316784 140162550302216 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30422] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30422/stat : 30422 (java) S 30405 30408 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13881103 9856040960 72140 33554432000 1073741824 1073778376 140736433316784 140162549250704 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30423] ppid=30405 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/30408/task/30423/stat : 30423 (java) S 30405 30408 23926 0 -1 4202560 4277 0 0 0 35 0 0 0 20 0 19 0 13881103 9856040960 72140 33554432000 1073741824 1073778376 140736433316784 140162548197816 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30424] ppid=30405 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/30408/task/30424/stat : 30424 (java) S 30405 30408 23926 0 -1 4202560 6808 0 0 0 55 0 0 0 20 0 19 0 13881103 9856040960 72140 33554432000 1073741824 1073778376 140736433316784 140162547145016 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30408/tid=30425] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30425/stat : 30425 (java) S 30405 30408 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13881103 9856040960 72140 33554432000 1073741824 1073778376 140736433316784 140162546092408 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30408/tid=30426] ppid=30405 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/30408/task/30426/stat : 30426 (java) S 30405 30408 23926 0 -1 4202560 96 0 0 0 32 33 0 0 20 0 19 0 13881103 9856040960 72140 33554432000 1073741824 1073778376 140736433316784 140162545039816 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30408/tid=30427] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30427/stat : 30427 (java) S 30405 30408 23926 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 13881135 9856040960 72140 33554432000 1073741824 1073778376 140736433316784 140162543888040 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1663.9
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/213 30730
/proc/meminfo: memFree=31127244/32872528 swapFree=162364/176672
[pid=30408] ppid=30405 vsize=9625040 CPUtime=1723.92 cores=0,2,4,6
/proc/30408/stat : 30408 (java) S 30405 30408 23926 0 -1 4202496 16165 0 1 0 172347 45 0 0 20 0 19 0 13881098 9856040960 72140 33554432000 1073741824 1073778376 140736433316784 140736433307920 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30408/statm: 2406260 72140 2282 9 0 2396937 0
[pid=30408/tid=30409] ppid=30405 vsize=9625040 CPUtime=1722.21 cores=0,2,4,6
/proc/30408/task/30409/stat : 30409 (java) R 30405 30408 23926 0 -1 4202560 2486 0 1 0 172190 31 0 0 20 0 19 0 13881099 9856040960 72140 33554432000 1073741824 1073778376 140736433316784 140163064630976 140162919618877 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=30408/tid=30411] ppid=30405 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/30408/task/30411/stat : 30411 (java) S 30405 30408 23926 0 -1 4202560 132 0 0 0 4 1 0 0 20 0 19 0 13881099 9856040960 72140 33554432000 1073741824 1073778376 140736433316784 140162908073000 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30412] ppid=30405 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/30408/task/30412/stat : 30412 (java) S 30405 30408 23926 0 -1 4202560 21 0 0 0 5 0 0 0 20 0 19 0 13881099 9856040960 72140 33554432000 1073741824 1073778376 140736433316784 140162907020200 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30408/tid=30413] ppid=30405 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/30408/task/30413/stat : 30413 (java) S 30405 30408 23926 0 -1 4202560 142 0 0 0 3 0 0 0 20 0 19 0 13881099 9856040960 72140 33554432000 1073741824 1073778376 140736433316784 140162905967400 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30408/tid=30414] ppid=30405 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/30408/task/30414/stat : 30414 (java) S 30405 30408 23926 0 -1 4202560 228 0 0 0 3 0 0 0 20 0 19 0 13881099 9856040960 72140 33554432000 1073741824 1073778376 140736433316784 140162904914600 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30408/tid=30415] ppid=30405 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/30408/task/30415/stat : 30415 (java) S 30405 30408 23926 0 -1 4202560 292 0 0 0 8 2 0 0 20 0 19 0 13881099 9856040960 72140 33554432000 1073741824 1073778376 140736433316784 140162903861800 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30408/tid=30416] ppid=30405 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/30408/task/30416/stat : 30416 (java) S 30405 30408 23926 0 -1 4202560 173 0 0 0 4 2 0 0 20 0 19 0 13881099 9856040960 72140 33554432000 1073741824 1073778376 140736433316784 140162566711720 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30417] ppid=30405 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/30408/task/30417/stat : 30417 (java) S 30405 30408 23926 0 -1 4202560 23 0 0 0 4 1 0 0 20 0 19 0 13881099 9856040960 72140 33554432000 1073741824 1073778376 140736433316784 140162565658920 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30408/tid=30418] ppid=30405 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/30408/task/30418/stat : 30418 (java) S 30405 30408 23926 0 -1 4202560 170 0 0 0 5 2 0 0 20 0 19 0 13881099 9856040960 72140 33554432000 1073741824 1073778376 140736433316784 140162564606120 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30419] ppid=30405 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/30408/task/30419/stat : 30419 (java) S 30405 30408 23926 0 -1 4202560 50 0 0 0 1 0 0 0 20 0 19 0 13881101 9856040960 72140 33554432000 1073741824 1073778376 140736433316784 140162552409064 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30408/tid=30420] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30420/stat : 30420 (java) S 30405 30408 23926 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13881101 9856040960 72140 33554432000 1073741824 1073778376 140736433316784 140162551355128 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30421] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30421/stat : 30421 (java) S 30405 30408 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 13881101 9856040960 72140 33554432000 1073741824 1073778376 140736433316784 140162550302216 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30422] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30422/stat : 30422 (java) S 30405 30408 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13881103 9856040960 72140 33554432000 1073741824 1073778376 140736433316784 140162549250704 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30423] ppid=30405 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/30408/task/30423/stat : 30423 (java) S 30405 30408 23926 0 -1 4202560 4277 0 0 0 35 0 0 0 20 0 19 0 13881103 9856040960 72140 33554432000 1073741824 1073778376 140736433316784 140162548197816 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30424] ppid=30405 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/30408/task/30424/stat : 30424 (java) S 30405 30408 23926 0 -1 4202560 6808 0 0 0 55 0 0 0 20 0 19 0 13881103 9856040960 72140 33554432000 1073741824 1073778376 140736433316784 140162547145016 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30408/tid=30425] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30425/stat : 30425 (java) S 30405 30408 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13881103 9856040960 72140 33554432000 1073741824 1073778376 140736433316784 140162546092408 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30408/tid=30426] ppid=30405 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/30408/task/30426/stat : 30426 (java) S 30405 30408 23926 0 -1 4202560 100 0 0 0 33 35 0 0 20 0 19 0 13881103 9856040960 72140 33554432000 1073741824 1073778376 140736433316784 140162545039816 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30408/tid=30427] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30427/stat : 30427 (java) S 30405 30408 23926 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 13881135 9856040960 72140 33554432000 1073741824 1073778376 140736433316784 140162543888040 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1723.92
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/213 30731
/proc/meminfo: memFree=31123428/32872528 swapFree=162364/176672
[pid=30408] ppid=30405 vsize=9625040 CPUtime=1784.1 cores=0,2,4,6
/proc/30408/stat : 30408 (java) S 30405 30408 23926 0 -1 4202496 16212 0 1 0 178362 48 0 0 20 0 19 0 13881098 9856040960 75740 33554432000 1073741824 1073778376 140736433316784 140736433307920 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30408/statm: 2406260 75740 2282 9 0 2396937 0
[pid=30408/tid=30409] ppid=30405 vsize=9625040 CPUtime=1782.16 cores=0,2,4,6
/proc/30408/task/30409/stat : 30409 (java) R 30405 30408 23926 0 -1 4202560 2487 0 1 0 178184 32 0 0 20 0 19 0 13881099 9856040960 75740 33554432000 1073741824 1073778376 140736433316784 140163064630976 140162919714112 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=30408/tid=30411] ppid=30405 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/30408/task/30411/stat : 30411 (java) S 30405 30408 23926 0 -1 4202560 142 0 0 0 6 2 0 0 20 0 19 0 13881099 9856040960 75740 33554432000 1073741824 1073778376 140736433316784 140162908073000 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30412] ppid=30405 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/30408/task/30412/stat : 30412 (java) S 30405 30408 23926 0 -1 4202560 23 0 0 0 7 0 0 0 20 0 19 0 13881099 9856040960 75740 33554432000 1073741824 1073778376 140736433316784 140162907020200 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30408/tid=30413] ppid=30405 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/30408/task/30413/stat : 30413 (java) S 30405 30408 23926 0 -1 4202560 146 0 0 0 5 0 0 0 20 0 19 0 13881099 9856040960 75740 33554432000 1073741824 1073778376 140736433316784 140162905967400 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30414] ppid=30405 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/30408/task/30414/stat : 30414 (java) S 30405 30408 23926 0 -1 4202560 230 0 0 0 5 0 0 0 20 0 19 0 13881099 9856040960 75740 33554432000 1073741824 1073778376 140736433316784 140162904914600 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30415] ppid=30405 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/30408/task/30415/stat : 30415 (java) S 30405 30408 23926 0 -1 4202560 296 0 0 0 10 2 0 0 20 0 19 0 13881099 9856040960 75740 33554432000 1073741824 1073778376 140736433316784 140162903861800 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30408/tid=30416] ppid=30405 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/30408/task/30416/stat : 30416 (java) S 30405 30408 23926 0 -1 4202560 175 0 0 0 7 2 0 0 20 0 19 0 13881099 9856040960 75740 33554432000 1073741824 1073778376 140736433316784 140162566711720 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30417] ppid=30405 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/30408/task/30417/stat : 30417 (java) S 30405 30408 23926 0 -1 4202560 30 0 0 0 8 2 0 0 20 0 19 0 13881099 9856040960 75740 33554432000 1073741824 1073778376 140736433316784 140162565658920 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30408/tid=30418] ppid=30405 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/30408/task/30418/stat : 30418 (java) S 30405 30408 23926 0 -1 4202560 170 0 0 0 8 2 0 0 20 0 19 0 13881099 9856040960 75740 33554432000 1073741824 1073778376 140736433316784 140162564606120 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30408/tid=30419] ppid=30405 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/30408/task/30419/stat : 30419 (java) S 30405 30408 23926 0 -1 4202560 61 0 0 0 1 0 0 0 20 0 19 0 13881101 9856040960 75740 33554432000 1073741824 1073778376 140736433316784 140162552409064 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30408/tid=30420] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30420/stat : 30420 (java) S 30405 30408 23926 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13881101 9856040960 75740 33554432000 1073741824 1073778376 140736433316784 140162551355128 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30421] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30421/stat : 30421 (java) S 30405 30408 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 13881101 9856040960 75740 33554432000 1073741824 1073778376 140736433316784 140162550302216 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30422] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30422/stat : 30422 (java) S 30405 30408 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13881103 9856040960 75740 33554432000 1073741824 1073778376 140736433316784 140162549250704 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30423] ppid=30405 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/30408/task/30423/stat : 30423 (java) S 30405 30408 23926 0 -1 4202560 4277 0 0 0 35 0 0 0 20 0 19 0 13881103 9856040960 75740 33554432000 1073741824 1073778376 140736433316784 140162548197816 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30424] ppid=30405 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/30408/task/30424/stat : 30424 (java) S 30405 30408 23926 0 -1 4202560 6808 0 0 0 55 0 0 0 20 0 19 0 13881103 9856040960 75740 33554432000 1073741824 1073778376 140736433316784 140162547145016 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30408/tid=30425] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30425/stat : 30425 (java) S 30405 30408 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13881103 9856040960 75740 33554432000 1073741824 1073778376 140736433316784 140162546092408 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30408/tid=30426] ppid=30405 vsize=9625040 CPUtime=0.71 cores=0,2,4,6
/proc/30408/task/30426/stat : 30426 (java) S 30405 30408 23926 0 -1 4202560 104 0 0 0 35 36 0 0 20 0 19 0 13881103 9856040960 75740 33554432000 1073741824 1073778376 140736433316784 140162545039816 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30408/tid=30427] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30427/stat : 30427 (java) S 30405 30408 23926 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 13881135 9856040960 75740 33554432000 1073741824 1073778376 140736433316784 140162543888040 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1784.1
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.2 s]
/proc/loadavg: 2.01 2.02 2.00 3/213 30731
/proc/meminfo: memFree=31123432/32872528 swapFree=162364/176672
[pid=30408] ppid=30405 vsize=9625040 CPUtime=1800 cores=0,2,4,6
/proc/30408/stat : 30408 (java) S 30405 30408 23926 0 -1 4202496 16212 0 1 0 179952 48 0 0 20 0 19 0 13881098 9856040960 75740 33554432000 1073741824 1073778376 140736433316784 140736433307920 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30408/statm: 2406260 75740 2282 9 0 2396937 0
[pid=30408/tid=30409] ppid=30405 vsize=9625040 CPUtime=1798.06 cores=0,2,4,6
/proc/30408/task/30409/stat : 30409 (java) R 30405 30408 23926 0 -1 4202560 2487 0 1 0 179774 32 0 0 20 0 19 0 13881099 9856040960 75740 33554432000 1073741824 1073778376 140736433316784 140163064630976 140162919714112 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=30408/tid=30411] ppid=30405 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/30408/task/30411/stat : 30411 (java) S 30405 30408 23926 0 -1 4202560 142 0 0 0 6 2 0 0 20 0 19 0 13881099 9856040960 75740 33554432000 1073741824 1073778376 140736433316784 140162908073000 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30412] ppid=30405 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/30408/task/30412/stat : 30412 (java) S 30405 30408 23926 0 -1 4202560 23 0 0 0 7 0 0 0 20 0 19 0 13881099 9856040960 75740 33554432000 1073741824 1073778376 140736433316784 140162907020200 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30408/tid=30413] ppid=30405 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/30408/task/30413/stat : 30413 (java) S 30405 30408 23926 0 -1 4202560 146 0 0 0 5 0 0 0 20 0 19 0 13881099 9856040960 75740 33554432000 1073741824 1073778376 140736433316784 140162905967400 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30414] ppid=30405 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/30408/task/30414/stat : 30414 (java) S 30405 30408 23926 0 -1 4202560 230 0 0 0 5 0 0 0 20 0 19 0 13881099 9856040960 75740 33554432000 1073741824 1073778376 140736433316784 140162904914600 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30415] ppid=30405 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/30408/task/30415/stat : 30415 (java) S 30405 30408 23926 0 -1 4202560 296 0 0 0 10 2 0 0 20 0 19 0 13881099 9856040960 75740 33554432000 1073741824 1073778376 140736433316784 140162903861800 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30408/tid=30416] ppid=30405 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/30408/task/30416/stat : 30416 (java) S 30405 30408 23926 0 -1 4202560 175 0 0 0 7 2 0 0 20 0 19 0 13881099 9856040960 75740 33554432000 1073741824 1073778376 140736433316784 140162566711720 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30417] ppid=30405 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/30408/task/30417/stat : 30417 (java) S 30405 30408 23926 0 -1 4202560 30 0 0 0 8 2 0 0 20 0 19 0 13881099 9856040960 75740 33554432000 1073741824 1073778376 140736433316784 140162565658920 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30408/tid=30418] ppid=30405 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/30408/task/30418/stat : 30418 (java) S 30405 30408 23926 0 -1 4202560 170 0 0 0 8 2 0 0 20 0 19 0 13881099 9856040960 75740 33554432000 1073741824 1073778376 140736433316784 140162564606120 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30408/tid=30419] ppid=30405 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/30408/task/30419/stat : 30419 (java) S 30405 30408 23926 0 -1 4202560 61 0 0 0 1 0 0 0 20 0 19 0 13881101 9856040960 75740 33554432000 1073741824 1073778376 140736433316784 140162552409064 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30408/tid=30420] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30420/stat : 30420 (java) S 30405 30408 23926 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13881101 9856040960 75740 33554432000 1073741824 1073778376 140736433316784 140162551355128 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30421] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30421/stat : 30421 (java) S 30405 30408 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 13881101 9856040960 75740 33554432000 1073741824 1073778376 140736433316784 140162550302216 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30422] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30422/stat : 30422 (java) S 30405 30408 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13881103 9856040960 75740 33554432000 1073741824 1073778376 140736433316784 140162549250704 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30423] ppid=30405 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/30408/task/30423/stat : 30423 (java) S 30405 30408 23926 0 -1 4202560 4277 0 0 0 35 0 0 0 20 0 19 0 13881103 9856040960 75740 33554432000 1073741824 1073778376 140736433316784 140162548197816 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30408/tid=30424] ppid=30405 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/30408/task/30424/stat : 30424 (java) S 30405 30408 23926 0 -1 4202560 6808 0 0 0 55 0 0 0 20 0 19 0 13881103 9856040960 75740 33554432000 1073741824 1073778376 140736433316784 140162547145016 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30408/tid=30425] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30425/stat : 30425 (java) S 30405 30408 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13881103 9856040960 75740 33554432000 1073741824 1073778376 140736433316784 140162546092408 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30408/tid=30426] ppid=30405 vsize=9625040 CPUtime=0.71 cores=0,2,4,6
/proc/30408/task/30426/stat : 30426 (java) S 30405 30408 23926 0 -1 4202560 104 0 0 0 35 36 0 0 20 0 19 0 13881103 9856040960 75740 33554432000 1073741824 1073778376 140736433316784 140162545039816 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30408/tid=30427] ppid=30405 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30408/task/30427/stat : 30427 (java) S 30405 30408 23926 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 13881135 9856040960 75740 33554432000 1073741824 1073778376 140736433316784 140162543888040 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9625040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 30408 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1798.24
CPU time (s): 1800.65
CPU user time (s): 1799.73
CPU system time (s): 0.924859
CPU usage (%): 100.134
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.73
system time used= 0.924859
maximum resident set size= 303080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16249
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38157
involuntary context switches= 3495
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3504 second user time and 13.8149 second system time
The end