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-4097321-1466117044/watcher-4097321-1466117044 -o /tmp/evaluation-result-4097321-1466117044/solver-4097321-1466117044 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466112850-26609 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4097321-1466117044.opb
pid=29704
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: 1.98 2.04 2.00 3/194 29707
/proc/meminfo: memFree=31723896/32872528 swapFree=162364/176672
[pid=29707] ppid=29704 vsize=96272 CPUtime=0 cores=1,3,5,7
/proc/29707/stat : 29707 (java) S 29704 29707 23926 0 -1 4202496 1361 0 0 0 0 0 0 0 20 0 2 0 13754306 98582528 985 33554432000 1073741824 1073778376 140734509498080 140734509489216 224925876285 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29707/statm: 24068 985 750 9 0 16774 0
[pid=29707/tid=29708] ppid=29704 vsize=96268 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29708/stat : 29708 (java) D 29704 29707 23926 0 -1 4202560 142 0 0 0 0 0 0 0 20 0 2 0 13754306 98578432 989 33554432000 1073741824 1073778376 140734509498080 139706064999096 224913354023 0 0 0 16784584 18446744072100588836 0 0 -1 1 0 0 0 0 0
[startup+0.100162 s]
/proc/loadavg: 1.98 2.04 2.00 3/194 29707
/proc/meminfo: memFree=31723896/32872528 swapFree=162364/176672
[pid=29707] ppid=29704 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/29707/stat : 29707 (java) S 29704 29707 23926 0 -1 4202496 4501 0 1 0 10 1 0 0 20 0 18 0 13754306 9787879424 6123 33554432000 1073741824 1073778376 140734509498080 140734509489216 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29707/statm: 2389619 6123 2157 9 0 2380296 0
[pid=29707/tid=29708] ppid=29704 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/29707/task/29708/stat : 29708 (java) R 29704 29707 23926 0 -1 4202560 2379 0 1 0 8 0 0 0 20 0 18 0 13754306 9787879424 6123 33554432000 1073741824 1073778376 140734509498080 139706065001328 224925902093 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200389 s]
/proc/loadavg: 1.98 2.04 2.00 3/194 29707
/proc/meminfo: memFree=31723896/32872528 swapFree=162364/176672
[pid=29707] ppid=29704 vsize=9558476 CPUtime=0.29 cores=1,3,5,7
/proc/29707/stat : 29707 (java) S 29704 29707 23926 0 -1 4202496 4957 0 1 0 28 1 0 0 20 0 18 0 13754306 9787879424 6986 33554432000 1073741824 1073778376 140734509498080 140734509489216 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29707/statm: 2389619 6986 2216 9 0 2380296 0
[pid=29707/tid=29708] ppid=29704 vsize=9558476 CPUtime=0.18 cores=1,3,5,7
/proc/29707/task/29708/stat : 29708 (java) R 29704 29707 23926 0 -1 4202560 2397 0 1 0 16 2 0 0 20 0 18 0 13754306 9787879424 6986 33554432000 1073741824 1073778376 140734509498080 139706065001912 139705907798736 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476
[startup+0.300381 s]
/proc/loadavg: 1.98 2.04 2.00 3/194 29707
/proc/meminfo: memFree=31723896/32872528 swapFree=162364/176672
[pid=29707] ppid=29704 vsize=9558476 CPUtime=0.54 cores=1,3,5,7
/proc/29707/stat : 29707 (java) S 29704 29707 23926 0 -1 4202496 6107 0 1 0 53 1 0 0 20 0 18 0 13754306 9787879424 9700 33554432000 1073741824 1073778376 140734509498080 140734509489216 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29707/statm: 2389619 9700 2236 9 0 2380296 0
[pid=29707/tid=29708] ppid=29704 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/29707/task/29708/stat : 29708 (java) R 29704 29707 23926 0 -1 4202560 2401 0 1 0 26 2 0 0 20 0 18 0 13754306 9787879424 9700 33554432000 1073741824 1073778376 140734509498080 139706065001912 139705907786976 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558476
[startup+0.700365 s]
/proc/loadavg: 1.98 2.04 2.00 3/194 29707
/proc/meminfo: memFree=31723896/32872528 swapFree=162364/176672
[pid=29707] ppid=29704 vsize=9625040 CPUtime=1.26 cores=1,3,5,7
/proc/29707/stat : 29707 (java) S 29704 29707 23926 0 -1 4202496 10366 0 1 0 124 2 0 0 20 0 19 0 13754306 9856040960 14494 33554432000 1073741824 1073778376 140734509498080 140734509489216 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29707/statm: 2406260 14494 2262 9 0 2396937 0
[pid=29707/tid=29708] ppid=29704 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/29707/task/29708/stat : 29708 (java) R 29704 29707 23926 0 -1 4202560 2420 0 1 0 66 2 0 0 20 0 19 0 13754306 9856040960 14494 33554432000 1073741824 1073778376 140734509498080 139706065002872 139705908260713 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 9625040
[startup+1.50077 s]
/proc/loadavg: 1.98 2.04 2.00 3/213 29726
/proc/meminfo: memFree=31672112/32872528 swapFree=162364/176672
[pid=29707] ppid=29704 vsize=9625040 CPUtime=2.19 cores=1,3,5,7
/proc/29707/stat : 29707 (java) S 29704 29707 23926 0 -1 4202496 11729 0 1 0 216 3 0 0 20 0 19 0 13754306 9856040960 15021 33554432000 1073741824 1073778376 140734509498080 140734509489216 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29707/statm: 2406260 15021 2271 9 0 2396937 0
[pid=29707/tid=29708] ppid=29704 vsize=9625040 CPUtime=1.48 cores=1,3,5,7
/proc/29707/task/29708/stat : 29708 (java) R 29704 29707 23926 0 -1 4202560 2422 0 1 0 146 2 0 0 20 0 19 0 13754306 9856040960 15021 33554432000 1073741824 1073778376 140734509498080 139706065002984 139705908260789 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29707/tid=29710] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29710/stat : 29710 (java) S 29704 29707 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13754307 9856040960 15021 33554432000 1073741824 1073778376 140734509498080 139706026494632 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29711] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29711/stat : 29711 (java) S 29704 29707 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13754307 9856040960 15021 33554432000 1073741824 1073778376 140734509498080 139705907669800 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29707/tid=29712] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29712/stat : 29712 (java) S 29704 29707 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13754307 9856040960 15021 33554432000 1073741824 1073778376 140734509498080 139705906617256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29707/tid=29713] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29713/stat : 29713 (java) S 29704 29707 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13754307 9856040960 15021 33554432000 1073741824 1073778376 140734509498080 139705905564712 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29707/tid=29714] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29714/stat : 29714 (java) S 29704 29707 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13754307 9856040960 15021 33554432000 1073741824 1073778376 140734509498080 139705904511144 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29715] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29715/stat : 29715 (java) S 29704 29707 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13754307 9856040960 15021 33554432000 1073741824 1073778376 140734509498080 139705903458600 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29707/tid=29716] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29716/stat : 29716 (java) S 29704 29707 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13754307 9856040960 15021 33554432000 1073741824 1073778376 140734509498080 139705902406056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29717] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29717/stat : 29717 (java) S 29704 29707 23926 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13754307 9856040960 15021 33554432000 1073741824 1073778376 140734509498080 139705901353512 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29718] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29718/stat : 29718 (java) S 29704 29707 23926 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 13754308 9856040960 15021 33554432000 1073741824 1073778376 140734509498080 139705419025000 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29719] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29719/stat : 29719 (java) S 29704 29707 23926 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13754308 9856040960 15021 33554432000 1073741824 1073778376 140734509498080 139705417971320 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29720] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29720/stat : 29720 (java) S 29704 29707 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13754308 9856040960 15021 33554432000 1073741824 1073778376 140734509498080 139705416918664 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29721] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29721/stat : 29721 (java) S 29704 29707 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13754310 9856040960 15021 33554432000 1073741824 1073778376 140734509498080 139705415867408 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29722] ppid=29704 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/29707/task/29722/stat : 29722 (java) S 29704 29707 23926 0 -1 4202560 4092 0 0 0 38 0 0 0 20 0 19 0 13754310 9856040960 15021 33554432000 1073741824 1073778376 140734509498080 139705414813752 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29723] ppid=29704 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/29707/task/29723/stat : 29723 (java) S 29704 29707 23926 0 -1 4202560 3943 0 0 0 30 0 0 0 20 0 19 0 13754310 9856040960 15021 33554432000 1073741824 1073778376 140734509498080 139705413761208 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29707/tid=29724] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29724/stat : 29724 (java) S 29704 29707 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13754311 9856040960 15021 33554432000 1073741824 1073778376 140734509498080 139705412708856 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29707/tid=29725] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29725/stat : 29725 (java) S 29704 29707 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13754311 9856040960 15021 33554432000 1073741824 1073778376 140734509498080 139705411656520 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29726] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29726/stat : 29726 (java) S 29704 29707 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13754342 9856040960 15021 33554432000 1073741824 1073778376 140734509498080 139705410602280 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 9625040
[startup+3.10081 s]
/proc/loadavg: 1.98 2.04 2.00 3/213 29726
/proc/meminfo: memFree=31669568/32872528 swapFree=162364/176672
[pid=29707] ppid=29704 vsize=9625040 CPUtime=3.87 cores=1,3,5,7
/proc/29707/stat : 29707 (java) S 29704 29707 23926 0 -1 4202496 13161 0 1 0 384 3 0 0 20 0 19 0 13754306 9856040960 16045 33554432000 1073741824 1073778376 140734509498080 140734509489216 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29707/statm: 2406260 16045 2271 9 0 2396937 0
[pid=29707/tid=29708] ppid=29704 vsize=9625040 CPUtime=3.08 cores=1,3,5,7
/proc/29707/task/29708/stat : 29708 (java) R 29704 29707 23926 0 -1 4202560 2425 0 1 0 306 2 0 0 20 0 19 0 13754306 9856040960 16045 33554432000 1073741824 1073778376 140734509498080 139706065002696 139705908199364 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29707/tid=29710] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29710/stat : 29710 (java) S 29704 29707 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13754307 9856040960 16045 33554432000 1073741824 1073778376 140734509498080 139706026494632 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29711] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29711/stat : 29711 (java) S 29704 29707 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13754307 9856040960 16045 33554432000 1073741824 1073778376 140734509498080 139705907669800 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29707/tid=29712] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29712/stat : 29712 (java) S 29704 29707 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13754307 9856040960 16045 33554432000 1073741824 1073778376 140734509498080 139705906617256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29707/tid=29713] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29713/stat : 29713 (java) S 29704 29707 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13754307 9856040960 16045 33554432000 1073741824 1073778376 140734509498080 139705905564712 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29707/tid=29714] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29714/stat : 29714 (java) S 29704 29707 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13754307 9856040960 16045 33554432000 1073741824 1073778376 140734509498080 139705904511144 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29715] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29715/stat : 29715 (java) S 29704 29707 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13754307 9856040960 16045 33554432000 1073741824 1073778376 140734509498080 139705903458600 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29707/tid=29716] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29716/stat : 29716 (java) S 29704 29707 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13754307 9856040960 16045 33554432000 1073741824 1073778376 140734509498080 139705902406056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29717] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29717/stat : 29717 (java) S 29704 29707 23926 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13754307 9856040960 16045 33554432000 1073741824 1073778376 140734509498080 139705901353512 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29718] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29718/stat : 29718 (java) S 29704 29707 23926 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 13754308 9856040960 16045 33554432000 1073741824 1073778376 140734509498080 139705419025000 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29719] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29719/stat : 29719 (java) S 29704 29707 23926 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13754308 9856040960 16045 33554432000 1073741824 1073778376 140734509498080 139705417971320 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29720] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29720/stat : 29720 (java) S 29704 29707 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13754308 9856040960 16045 33554432000 1073741824 1073778376 140734509498080 139705416918664 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29721] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29721/stat : 29721 (java) S 29704 29707 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13754310 9856040960 16045 33554432000 1073741824 1073778376 140734509498080 139705415867408 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29722] ppid=29704 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/29707/task/29722/stat : 29722 (java) S 29704 29707 23926 0 -1 4202560 5521 0 0 0 44 0 0 0 20 0 19 0 13754310 9856040960 16045 33554432000 1073741824 1073778376 140734509498080 139705414813752 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29723] ppid=29704 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/29707/task/29723/stat : 29723 (java) S 29704 29707 23926 0 -1 4202560 3943 0 0 0 31 0 0 0 20 0 19 0 13754310 9856040960 16045 33554432000 1073741824 1073778376 140734509498080 139705413761208 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29707/tid=29724] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29724/stat : 29724 (java) S 29704 29707 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13754311 9856040960 16045 33554432000 1073741824 1073778376 140734509498080 139705412708856 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29707/tid=29725] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29725/stat : 29725 (java) S 29704 29707 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13754311 9856040960 16045 33554432000 1073741824 1073778376 140734509498080 139705411656520 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29726] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29726/stat : 29726 (java) S 29704 29707 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13754342 9856040960 16045 33554432000 1073741824 1073778376 140734509498080 139705410602280 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 9625040
[startup+6.3008 s]
/proc/loadavg: 1.98 2.04 2.00 3/213 29726
/proc/meminfo: memFree=31663628/32872528 swapFree=162364/176672
[pid=29707] ppid=29704 vsize=9625040 CPUtime=7.09 cores=1,3,5,7
/proc/29707/stat : 29707 (java) S 29704 29707 23926 0 -1 4202496 13166 0 1 0 706 3 0 0 20 0 19 0 13754306 9856040960 17453 33554432000 1073741824 1073778376 140734509498080 140734509489216 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29707/statm: 2406260 17453 2272 9 0 2396937 0
[pid=29707/tid=29708] ppid=29704 vsize=9625040 CPUtime=6.28 cores=1,3,5,7
/proc/29707/task/29708/stat : 29708 (java) R 29704 29707 23926 0 -1 4202560 2429 0 1 0 626 2 0 0 20 0 19 0 13754306 9856040960 17453 33554432000 1073741824 1073778376 140734509498080 139706065002952 139705908009242 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29707/tid=29710] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29710/stat : 29710 (java) S 29704 29707 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13754307 9856040960 17453 33554432000 1073741824 1073778376 140734509498080 139706026494632 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29711] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29711/stat : 29711 (java) S 29704 29707 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13754307 9856040960 17453 33554432000 1073741824 1073778376 140734509498080 139705907669800 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29707/tid=29712] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29712/stat : 29712 (java) S 29704 29707 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13754307 9856040960 17453 33554432000 1073741824 1073778376 140734509498080 139705906617256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29707/tid=29713] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29713/stat : 29713 (java) S 29704 29707 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13754307 9856040960 17453 33554432000 1073741824 1073778376 140734509498080 139705905564712 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29707/tid=29714] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29714/stat : 29714 (java) S 29704 29707 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13754307 9856040960 17453 33554432000 1073741824 1073778376 140734509498080 139705904511144 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29715] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29715/stat : 29715 (java) S 29704 29707 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13754307 9856040960 17453 33554432000 1073741824 1073778376 140734509498080 139705903458600 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29707/tid=29716] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29716/stat : 29716 (java) S 29704 29707 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13754307 9856040960 17453 33554432000 1073741824 1073778376 140734509498080 139705902406056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29717] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29717/stat : 29717 (java) S 29704 29707 23926 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13754307 9856040960 17453 33554432000 1073741824 1073778376 140734509498080 139705901353512 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29718] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29718/stat : 29718 (java) S 29704 29707 23926 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 13754308 9856040960 17453 33554432000 1073741824 1073778376 140734509498080 139705419025000 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29719] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29719/stat : 29719 (java) S 29704 29707 23926 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13754308 9856040960 17453 33554432000 1073741824 1073778376 140734509498080 139705417971320 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29720] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29720/stat : 29720 (java) S 29704 29707 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13754308 9856040960 17453 33554432000 1073741824 1073778376 140734509498080 139705416918664 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29721] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29721/stat : 29721 (java) S 29704 29707 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13754310 9856040960 17453 33554432000 1073741824 1073778376 140734509498080 139705415867408 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29722] ppid=29704 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/29707/task/29722/stat : 29722 (java) S 29704 29707 23926 0 -1 4202560 5521 0 0 0 45 0 0 0 20 0 19 0 13754310 9856040960 17453 33554432000 1073741824 1073778376 140734509498080 139705414813752 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29707/tid=29723] ppid=29704 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
################
# More data... #
################
[pid=29707/tid=29719] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29719/stat : 29719 (java) S 29704 29707 23926 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13754308 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705417971320 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29720] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29720/stat : 29720 (java) S 29704 29707 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 13754308 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705416918664 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29721] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29721/stat : 29721 (java) S 29704 29707 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13754310 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705415867408 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29722] ppid=29704 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/29707/task/29722/stat : 29722 (java) S 29704 29707 23926 0 -1 4202560 5521 0 0 0 45 0 0 0 20 0 19 0 13754310 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705414813752 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29707/tid=29723] ppid=29704 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/29707/task/29723/stat : 29723 (java) S 29704 29707 23926 0 -1 4202560 3948 0 0 0 35 0 0 0 20 0 19 0 13754310 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705413761208 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29707/tid=29724] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29724/stat : 29724 (java) S 29704 29707 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13754311 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705412708856 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29707/tid=29725] ppid=29704 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/29707/task/29725/stat : 29725 (java) S 29704 29707 23926 0 -1 4202560 96 0 0 0 32 35 0 0 20 0 19 0 13754311 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705411656520 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29707/tid=29726] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29726/stat : 29726 (java) S 29704 29707 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13754342 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705410602280 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1663.55
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/213 30438
/proc/meminfo: memFree=31449512/32872528 swapFree=162364/176672
[pid=29707] ppid=29704 vsize=9625040 CPUtime=1723.55 cores=1,3,5,7
/proc/29707/stat : 29707 (java) S 29704 29707 23926 0 -1 4202496 14529 0 1 0 172314 41 0 0 20 0 19 0 13754306 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 140734509489216 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29707/statm: 2406260 71769 2286 9 0 2396937 0
[pid=29707/tid=29708] ppid=29704 vsize=9625040 CPUtime=1721.89 cores=1,3,5,7
/proc/29707/task/29708/stat : 29708 (java) R 29704 29707 23926 0 -1 4202560 2484 0 1 0 172158 31 0 0 20 0 19 0 13754306 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139706064993952 139705908392416 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29710] ppid=29704 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/29707/task/29710/stat : 29710 (java) S 29704 29707 23926 0 -1 4202560 257 0 0 0 8 3 0 0 20 0 19 0 13754307 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139706026494632 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29707/tid=29711] ppid=29704 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/29707/task/29711/stat : 29711 (java) S 29704 29707 23926 0 -1 4202560 38 0 0 0 6 2 0 0 20 0 19 0 13754307 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705907669800 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29707/tid=29712] ppid=29704 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/29707/task/29712/stat : 29712 (java) S 29704 29707 23926 0 -1 4202560 138 0 0 0 5 2 0 0 20 0 19 0 13754307 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705906617256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29707/tid=29713] ppid=29704 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/29707/task/29713/stat : 29713 (java) S 29704 29707 23926 0 -1 4202560 35 0 0 0 6 2 0 0 20 0 19 0 13754307 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705905564712 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29707/tid=29714] ppid=29704 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/29707/task/29714/stat : 29714 (java) S 29704 29707 23926 0 -1 4202560 110 0 0 0 3 2 0 0 20 0 19 0 13754307 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705904511144 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29707/tid=29715] ppid=29704 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/29707/task/29715/stat : 29715 (java) S 29704 29707 23926 0 -1 4202560 232 0 0 0 6 2 0 0 20 0 19 0 13754307 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705903458600 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29707/tid=29716] ppid=29704 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/29707/task/29716/stat : 29716 (java) S 29704 29707 23926 0 -1 4202560 150 0 0 0 4 0 0 0 20 0 19 0 13754307 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705902406056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29707/tid=29717] ppid=29704 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/29707/task/29717/stat : 29717 (java) S 29704 29707 23926 0 -1 4202560 201 0 0 0 5 2 0 0 20 0 19 0 13754307 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705901353512 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29707/tid=29718] ppid=29704 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/29707/task/29718/stat : 29718 (java) S 29704 29707 23926 0 -1 4202560 57 0 0 0 2 0 0 0 20 0 19 0 13754308 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705419025000 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29707/tid=29719] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29719/stat : 29719 (java) S 29704 29707 23926 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13754308 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705417971320 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29720] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29720/stat : 29720 (java) S 29704 29707 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 13754308 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705416918664 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29721] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29721/stat : 29721 (java) S 29704 29707 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13754310 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705415867408 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29722] ppid=29704 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/29707/task/29722/stat : 29722 (java) S 29704 29707 23926 0 -1 4202560 5521 0 0 0 45 0 0 0 20 0 19 0 13754310 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705414813752 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29707/tid=29723] ppid=29704 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/29707/task/29723/stat : 29723 (java) S 29704 29707 23926 0 -1 4202560 3948 0 0 0 35 0 0 0 20 0 19 0 13754310 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705413761208 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29707/tid=29724] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29724/stat : 29724 (java) S 29704 29707 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13754311 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705412708856 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29707/tid=29725] ppid=29704 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/29707/task/29725/stat : 29725 (java) S 29704 29707 23926 0 -1 4202560 100 0 0 0 34 36 0 0 20 0 19 0 13754311 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705411656520 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29707/tid=29726] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29726/stat : 29726 (java) S 29704 29707 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13754342 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705410602280 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1723.55
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/213 30440
/proc/meminfo: memFree=31436780/32872528 swapFree=162364/176672
[pid=29707] ppid=29704 vsize=9625040 CPUtime=1783.56 cores=1,3,5,7
/proc/29707/stat : 29707 (java) S 29704 29707 23926 0 -1 4202496 14533 0 1 0 178314 42 0 0 20 0 19 0 13754306 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 140734509489216 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29707/statm: 2406260 71769 2286 9 0 2396937 0
[pid=29707/tid=29708] ppid=29704 vsize=9625040 CPUtime=1781.89 cores=1,3,5,7
/proc/29707/task/29708/stat : 29708 (java) R 29704 29707 23926 0 -1 4202560 2484 0 1 0 178157 32 0 0 20 0 19 0 13754306 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139706064993952 139705908231315 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29710] ppid=29704 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/29707/task/29710/stat : 29710 (java) S 29704 29707 23926 0 -1 4202560 257 0 0 0 8 3 0 0 20 0 19 0 13754307 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139706026494632 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29707/tid=29711] ppid=29704 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/29707/task/29711/stat : 29711 (java) S 29704 29707 23926 0 -1 4202560 38 0 0 0 6 2 0 0 20 0 19 0 13754307 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705907669800 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29707/tid=29712] ppid=29704 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/29707/task/29712/stat : 29712 (java) S 29704 29707 23926 0 -1 4202560 138 0 0 0 5 2 0 0 20 0 19 0 13754307 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705906617256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29707/tid=29713] ppid=29704 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/29707/task/29713/stat : 29713 (java) S 29704 29707 23926 0 -1 4202560 35 0 0 0 6 2 0 0 20 0 19 0 13754307 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705905564712 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29707/tid=29714] ppid=29704 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/29707/task/29714/stat : 29714 (java) S 29704 29707 23926 0 -1 4202560 110 0 0 0 3 2 0 0 20 0 19 0 13754307 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705904511144 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29707/tid=29715] ppid=29704 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/29707/task/29715/stat : 29715 (java) S 29704 29707 23926 0 -1 4202560 232 0 0 0 6 2 0 0 20 0 19 0 13754307 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705903458600 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29707/tid=29716] ppid=29704 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/29707/task/29716/stat : 29716 (java) S 29704 29707 23926 0 -1 4202560 150 0 0 0 4 0 0 0 20 0 19 0 13754307 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705902406056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29707/tid=29717] ppid=29704 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/29707/task/29717/stat : 29717 (java) S 29704 29707 23926 0 -1 4202560 201 0 0 0 5 2 0 0 20 0 19 0 13754307 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705901353512 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29707/tid=29718] ppid=29704 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/29707/task/29718/stat : 29718 (java) S 29704 29707 23926 0 -1 4202560 57 0 0 0 2 0 0 0 20 0 19 0 13754308 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705419025000 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29707/tid=29719] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29719/stat : 29719 (java) S 29704 29707 23926 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13754308 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705417971320 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29720] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29720/stat : 29720 (java) S 29704 29707 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 13754308 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705416918664 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29721] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29721/stat : 29721 (java) S 29704 29707 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13754310 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705415867408 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29722] ppid=29704 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/29707/task/29722/stat : 29722 (java) S 29704 29707 23926 0 -1 4202560 5521 0 0 0 45 0 0 0 20 0 19 0 13754310 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705414813752 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29707/tid=29723] ppid=29704 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/29707/task/29723/stat : 29723 (java) S 29704 29707 23926 0 -1 4202560 3948 0 0 0 35 0 0 0 20 0 19 0 13754310 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705413761208 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29707/tid=29724] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29724/stat : 29724 (java) S 29704 29707 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13754311 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705412708856 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29707/tid=29725] ppid=29704 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/29707/task/29725/stat : 29725 (java) S 29704 29707 23926 0 -1 4202560 104 0 0 0 35 37 0 0 20 0 19 0 13754311 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705411656520 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29707/tid=29726] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29726/stat : 29726 (java) S 29704 29707 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13754342 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705410602280 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1783.56
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.8 s]
/proc/loadavg: 2.06 2.04 2.00 4/213 30440
/proc/meminfo: memFree=31428832/32872528 swapFree=162364/176672
[pid=29707] ppid=29704 vsize=9625040 CPUtime=1800.06 cores=1,3,5,7
/proc/29707/stat : 29707 (java) S 29704 29707 23926 0 -1 4202496 14533 0 1 0 179964 42 0 0 20 0 19 0 13754306 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 140734509489216 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29707/statm: 2406260 71769 2286 9 0 2396937 0
[pid=29707/tid=29708] ppid=29704 vsize=9625040 CPUtime=1798.39 cores=1,3,5,7
/proc/29707/task/29708/stat : 29708 (java) R 29704 29707 23926 0 -1 4202560 2484 0 1 0 179807 32 0 0 20 0 19 0 13754306 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139706064993952 139705908391800 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29710] ppid=29704 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/29707/task/29710/stat : 29710 (java) S 29704 29707 23926 0 -1 4202560 257 0 0 0 8 3 0 0 20 0 19 0 13754307 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139706026494632 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29707/tid=29711] ppid=29704 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/29707/task/29711/stat : 29711 (java) S 29704 29707 23926 0 -1 4202560 38 0 0 0 6 2 0 0 20 0 19 0 13754307 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705907669800 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29707/tid=29712] ppid=29704 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/29707/task/29712/stat : 29712 (java) S 29704 29707 23926 0 -1 4202560 138 0 0 0 5 2 0 0 20 0 19 0 13754307 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705906617256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29707/tid=29713] ppid=29704 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/29707/task/29713/stat : 29713 (java) S 29704 29707 23926 0 -1 4202560 35 0 0 0 6 2 0 0 20 0 19 0 13754307 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705905564712 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29707/tid=29714] ppid=29704 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/29707/task/29714/stat : 29714 (java) S 29704 29707 23926 0 -1 4202560 110 0 0 0 3 2 0 0 20 0 19 0 13754307 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705904511144 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29707/tid=29715] ppid=29704 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/29707/task/29715/stat : 29715 (java) S 29704 29707 23926 0 -1 4202560 232 0 0 0 6 2 0 0 20 0 19 0 13754307 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705903458600 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29707/tid=29716] ppid=29704 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/29707/task/29716/stat : 29716 (java) S 29704 29707 23926 0 -1 4202560 150 0 0 0 4 0 0 0 20 0 19 0 13754307 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705902406056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29707/tid=29717] ppid=29704 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/29707/task/29717/stat : 29717 (java) S 29704 29707 23926 0 -1 4202560 201 0 0 0 5 2 0 0 20 0 19 0 13754307 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705901353512 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29707/tid=29718] ppid=29704 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/29707/task/29718/stat : 29718 (java) S 29704 29707 23926 0 -1 4202560 57 0 0 0 2 0 0 0 20 0 19 0 13754308 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705419025000 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29707/tid=29719] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29719/stat : 29719 (java) S 29704 29707 23926 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13754308 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705417971320 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29720] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29720/stat : 29720 (java) S 29704 29707 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 13754308 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705416918664 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29721] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29721/stat : 29721 (java) S 29704 29707 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13754310 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705415867408 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29707/tid=29722] ppid=29704 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/29707/task/29722/stat : 29722 (java) S 29704 29707 23926 0 -1 4202560 5521 0 0 0 45 0 0 0 20 0 19 0 13754310 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705414813752 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29707/tid=29723] ppid=29704 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/29707/task/29723/stat : 29723 (java) S 29704 29707 23926 0 -1 4202560 3948 0 0 0 35 0 0 0 20 0 19 0 13754310 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705413761208 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29707/tid=29724] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29724/stat : 29724 (java) S 29704 29707 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13754311 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705412708856 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29707/tid=29725] ppid=29704 vsize=9625040 CPUtime=0.73 cores=1,3,5,7
/proc/29707/task/29725/stat : 29725 (java) S 29704 29707 23926 0 -1 4202560 104 0 0 0 36 37 0 0 20 0 19 0 13754311 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705411656520 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29707/tid=29726] ppid=29704 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29707/task/29726/stat : 29726 (java) S 29704 29707 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13754342 9856040960 71769 33554432000 1073741824 1073778376 140734509498080 139705410602280 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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 29707 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1798.84
CPU time (s): 1800.84
CPU user time (s): 1799.86
CPU system time (s): 0.98285
CPU usage (%): 100.111
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.86
system time used= 0.98285
maximum resident set size= 287192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14565
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38206
involuntary context switches= 11790
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.9333 second user time and 13.9419 second system time
The end