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-4089565-1466028129/watcher-4089565-1466028129 -o /tmp/evaluation-result-4089565-1466028129/solver-4089565-1466028129 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1466012072-5946 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4089565-1466028129.opb
pid=10159
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.40 2.26 2.20 3/194 10162
/proc/meminfo: memFree=30209504/32872528 swapFree=1243664/1390832
[pid=10162] ppid=10159 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/10162/stat : 10162 (java) R 10159 10162 5929 0 -1 4202496 530 0 0 0 0 0 0 0 20 0 1 0 4861558 9515008 182 33554432000 1073741824 1073778376 140737147465024 140737147447752 272886480644 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10162/statm: 2331 184 140 9 0 79 0
[startup+0.100109 s]
/proc/loadavg: 2.40 2.26 2.20 3/194 10162
/proc/meminfo: memFree=30209504/32872528 swapFree=1243664/1390832
[pid=10162] ppid=10159 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/10162/stat : 10162 (java) S 10159 10162 5929 0 -1 4202496 4416 0 1 0 7 1 0 0 20 0 18 0 4861558 9787879424 6036 33554432000 1073741824 1073778376 140737147465024 140737147456160 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10162/statm: 2389619 6036 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.200279 s]
/proc/loadavg: 2.40 2.26 2.20 3/194 10162
/proc/meminfo: memFree=30209504/32872528 swapFree=1243664/1390832
[pid=10162] ppid=10159 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/10162/stat : 10162 (java) S 10159 10162 5929 0 -1 4202496 6239 0 1 0 25 2 0 0 20 0 19 0 4861558 9856040960 7287 33554432000 1073741824 1073778376 140737147465024 140737147456160 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10162/statm: 2406260 7287 2238 9 0 2396937 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9625040
[startup+0.300284 s]
/proc/loadavg: 2.40 2.26 2.20 3/194 10162
/proc/meminfo: memFree=30209504/32872528 swapFree=1243664/1390832
[pid=10162] ppid=10159 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/10162/stat : 10162 (java) S 10159 10162 5929 0 -1 4202496 6585 0 1 0 47 2 0 0 20 0 19 0 4861558 9856040960 7937 33554432000 1073741824 1073778376 140737147465024 140737147456160 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10162/statm: 2406260 7937 2244 9 0 2396937 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9625040
[startup+0.700238 s]
/proc/loadavg: 2.40 2.26 2.20 3/194 10162
/proc/meminfo: memFree=30209504/32872528 swapFree=1243664/1390832
[pid=10162] ppid=10159 vsize=9625040 CPUtime=1.01 cores=1,3,5,7
/proc/10162/stat : 10162 (java) S 10159 10162 5929 0 -1 4202496 7525 0 1 0 99 2 0 0 20 0 19 0 4861558 9856040960 9095 33554432000 1073741824 1073778376 140737147465024 140737147456160 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10162/statm: 2406260 9095 2254 9 0 2396937 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 9625040
[startup+1.50072 s]
/proc/loadavg: 2.40 2.26 2.20 3/213 10181
/proc/meminfo: memFree=30175068/32872528 swapFree=1243664/1390832
[pid=10162] ppid=10159 vsize=9625040 CPUtime=1.85 cores=1,3,5,7
/proc/10162/stat : 10162 (java) S 10159 10162 5929 0 -1 4202496 7628 0 1 0 182 3 0 0 20 0 19 0 4861558 9856040960 11658 33554432000 1073741824 1073778376 140737147465024 140737147456160 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10162/statm: 2406260 11658 2256 9 0 2396937 0
[pid=10162/tid=10164] ppid=10159 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/10162/task/10164/stat : 10164 (java) R 10159 10162 5929 0 -1 4202560 2411 0 1 0 144 2 0 0 20 0 19 0 4861559 9856040960 11658 33554432000 1073741824 1073778376 140737147465024 139812643606808 139812477159522 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10162/tid=10165] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10165/stat : 10165 (java) S 10159 10162 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4861561 9856040960 11658 33554432000 1073741824 1073778376 140737147465024 139812605098792 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10166] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10166/stat : 10166 (java) S 10159 10162 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4861561 9856040960 11658 33554432000 1073741824 1073778376 140737147465024 139812604045992 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10162/tid=10167] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10167/stat : 10167 (java) S 10159 10162 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4861561 9856040960 11658 33554432000 1073741824 1073778376 140737147465024 139812602993704 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10162/tid=10168] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10168/stat : 10168 (java) S 10159 10162 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4861561 9856040960 11658 33554432000 1073741824 1073778376 140737147465024 139812601940904 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10162/tid=10169] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10169/stat : 10169 (java) S 10159 10162 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4861561 9856040960 11658 33554432000 1073741824 1073778376 140737147465024 139812600887592 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10170] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10170/stat : 10170 (java) S 10159 10162 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4861561 9856040960 11658 33554432000 1073741824 1073778376 140737147465024 139812599834792 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10162/tid=10171] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10171/stat : 10171 (java) S 10159 10162 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4861561 9856040960 11658 33554432000 1073741824 1073778376 140737147465024 139812598782504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10172] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10172/stat : 10172 (java) S 10159 10162 5929 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4861561 9856040960 11658 33554432000 1073741824 1073778376 140737147465024 139812597729704 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10173] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10173/stat : 10173 (java) S 10159 10162 5929 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4861562 9856040960 11658 33554432000 1073741824 1073778376 140737147465024 139812467071720 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10174] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10174/stat : 10174 (java) S 10159 10162 5929 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4861562 9856040960 11658 33554432000 1073741824 1073778376 140737147465024 139812466017784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10175] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10175/stat : 10175 (java) S 10159 10162 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4861562 9856040960 11658 33554432000 1073741824 1073778376 140737147465024 139812464965384 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10176] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10176/stat : 10176 (java) S 10159 10162 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4861565 9856040960 11658 33554432000 1073741824 1073778376 140737147465024 139812463913872 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10177] ppid=10159 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/10162/task/10177/stat : 10177 (java) S 10159 10162 5929 0 -1 4202560 2575 0 0 0 19 0 0 0 20 0 19 0 4861565 9856040960 11658 33554432000 1073741824 1073778376 140737147465024 139812462860472 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10178] ppid=10159 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/10162/task/10178/stat : 10178 (java) S 10159 10162 5929 0 -1 4202560 1368 0 0 0 15 0 0 0 20 0 19 0 4861565 9856040960 11658 33554432000 1073741824 1073778376 140737147465024 139812461807672 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10162/tid=10179] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10179/stat : 10179 (java) S 10159 10162 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4861565 9856040960 11658 33554432000 1073741824 1073778376 140737147465024 139811587353208 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10162/tid=10180] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10180/stat : 10180 (java) S 10159 10162 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4861565 9856040960 11658 33554432000 1073741824 1073778376 140737147465024 139811586300616 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10181] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10181/stat : 10181 (java) S 10159 10162 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4861575 9856040960 11658 33554432000 1073741824 1073778376 140737147465024 139811585246632 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 9625040
[startup+3.10072 s]
/proc/loadavg: 2.40 2.26 2.20 3/213 10181
/proc/meminfo: memFree=30161672/32872528 swapFree=1243664/1390832
[pid=10162] ppid=10159 vsize=9625040 CPUtime=3.46 cores=1,3,5,7
/proc/10162/stat : 10162 (java) S 10159 10162 5929 0 -1 4202496 7689 0 1 0 343 3 0 0 20 0 19 0 4861558 9856040960 16266 33554432000 1073741824 1073778376 140737147465024 140737147456160 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10162/statm: 2406260 16266 2256 9 0 2396937 0
[pid=10162/tid=10164] ppid=10159 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/10162/task/10164/stat : 10164 (java) R 10159 10162 5929 0 -1 4202560 2420 0 1 0 304 2 0 0 20 0 19 0 4861559 9856040960 16266 33554432000 1073741824 1073778376 140737147465024 139812643598032 139812477049891 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10162/tid=10165] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10165/stat : 10165 (java) S 10159 10162 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4861561 9856040960 16266 33554432000 1073741824 1073778376 140737147465024 139812605098792 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10166] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10166/stat : 10166 (java) S 10159 10162 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4861561 9856040960 16266 33554432000 1073741824 1073778376 140737147465024 139812604045992 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10162/tid=10167] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10167/stat : 10167 (java) S 10159 10162 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4861561 9856040960 16266 33554432000 1073741824 1073778376 140737147465024 139812602993704 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10162/tid=10168] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10168/stat : 10168 (java) S 10159 10162 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4861561 9856040960 16266 33554432000 1073741824 1073778376 140737147465024 139812601940904 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10162/tid=10169] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10169/stat : 10169 (java) S 10159 10162 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4861561 9856040960 16266 33554432000 1073741824 1073778376 140737147465024 139812600887592 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10170] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10170/stat : 10170 (java) S 10159 10162 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4861561 9856040960 16266 33554432000 1073741824 1073778376 140737147465024 139812599834792 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10162/tid=10171] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10171/stat : 10171 (java) S 10159 10162 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4861561 9856040960 16266 33554432000 1073741824 1073778376 140737147465024 139812598782504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10172] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10172/stat : 10172 (java) S 10159 10162 5929 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4861561 9856040960 16266 33554432000 1073741824 1073778376 140737147465024 139812597729704 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10173] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10173/stat : 10173 (java) S 10159 10162 5929 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4861562 9856040960 16266 33554432000 1073741824 1073778376 140737147465024 139812467071720 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10174] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10174/stat : 10174 (java) S 10159 10162 5929 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4861562 9856040960 16266 33554432000 1073741824 1073778376 140737147465024 139812466017784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10175] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10175/stat : 10175 (java) S 10159 10162 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4861562 9856040960 16266 33554432000 1073741824 1073778376 140737147465024 139812464965384 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10176] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10176/stat : 10176 (java) S 10159 10162 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4861565 9856040960 16266 33554432000 1073741824 1073778376 140737147465024 139812463913872 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10177] ppid=10159 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/10162/task/10177/stat : 10177 (java) S 10159 10162 5929 0 -1 4202560 2575 0 0 0 19 0 0 0 20 0 19 0 4861565 9856040960 16266 33554432000 1073741824 1073778376 140737147465024 139812462860472 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10178] ppid=10159 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/10162/task/10178/stat : 10178 (java) S 10159 10162 5929 0 -1 4202560 1420 0 0 0 17 0 0 0 20 0 19 0 4861565 9856040960 16266 33554432000 1073741824 1073778376 140737147465024 139812461807672 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10162/tid=10179] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10179/stat : 10179 (java) S 10159 10162 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4861565 9856040960 16266 33554432000 1073741824 1073778376 140737147465024 139811587353208 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10162/tid=10180] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10180/stat : 10180 (java) S 10159 10162 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4861565 9856040960 16266 33554432000 1073741824 1073778376 140737147465024 139811586300616 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10181] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10181/stat : 10181 (java) S 10159 10162 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4861575 9856040960 16266 33554432000 1073741824 1073778376 140737147465024 139811585246632 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.46
Current children cumulated vsize (KiB) 9625040
[startup+6.30076 s]
/proc/loadavg: 2.37 2.26 2.20 3/213 10181
/proc/meminfo: memFree=30128532/32872528 swapFree=1243664/1390832
[pid=10162] ppid=10159 vsize=9625040 CPUtime=6.66 cores=1,3,5,7
/proc/10162/stat : 10162 (java) S 10159 10162 5929 0 -1 4202496 7749 0 1 0 663 3 0 0 20 0 19 0 4861558 9856040960 23419 33554432000 1073741824 1073778376 140737147465024 140737147456160 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10162/statm: 2406260 23419 2257 9 0 2396937 0
[pid=10162/tid=10164] ppid=10159 vsize=9625040 CPUtime=6.27 cores=1,3,5,7
/proc/10162/task/10164/stat : 10164 (java) R 10159 10162 5929 0 -1 4202560 2435 0 1 0 624 3 0 0 20 0 19 0 4861559 9856040960 23419 33554432000 1073741824 1073778376 140737147465024 139812643598032 139812476992388 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10162/tid=10165] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10165/stat : 10165 (java) S 10159 10162 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4861561 9856040960 23419 33554432000 1073741824 1073778376 140737147465024 139812605098792 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10166] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10166/stat : 10166 (java) S 10159 10162 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4861561 9856040960 23419 33554432000 1073741824 1073778376 140737147465024 139812604045992 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10162/tid=10167] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10167/stat : 10167 (java) S 10159 10162 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4861561 9856040960 23419 33554432000 1073741824 1073778376 140737147465024 139812602993704 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10162/tid=10168] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10168/stat : 10168 (java) S 10159 10162 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4861561 9856040960 23419 33554432000 1073741824 1073778376 140737147465024 139812601940904 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10162/tid=10169] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10169/stat : 10169 (java) S 10159 10162 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4861561 9856040960 23419 33554432000 1073741824 1073778376 140737147465024 139812600887592 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10170] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10170/stat : 10170 (java) S 10159 10162 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4861561 9856040960 23419 33554432000 1073741824 1073778376 140737147465024 139812599834792 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10162/tid=10171] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10171/stat : 10171 (java) S 10159 10162 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4861561 9856040960 23419 33554432000 1073741824 1073778376 140737147465024 139812598782504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10172] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10172/stat : 10172 (java) S 10159 10162 5929 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4861561 9856040960 23419 33554432000 1073741824 1073778376 140737147465024 139812597729704 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10173] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10173/stat : 10173 (java) S 10159 10162 5929 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4861562 9856040960 23419 33554432000 1073741824 1073778376 140737147465024 139812467071720 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10174] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10174/stat : 10174 (java) S 10159 10162 5929 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4861562 9856040960 23419 33554432000 1073741824 1073778376 140737147465024 139812466017784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10175] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10175/stat : 10175 (java) S 10159 10162 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4861562 9856040960 23419 33554432000 1073741824 1073778376 140737147465024 139812464965384 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10176] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10176/stat : 10176 (java) S 10159 10162 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4861565 9856040960 23419 33554432000 1073741824 1073778376 140737147465024 139812463913872 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10177] ppid=10159 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/10162/task/10177/stat : 10177 (java) S 10159 10162 5929 0 -1 4202560 2575 0 0 0 19 0 0 0 20 0 19 0 4861565 9856040960 23419 33554432000 1073741824 1073778376 140737147465024 139812462860472 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10178] ppid=10159 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/10162/task/10178/stat : 10178 (java) S 10159 10162 5929 0 -1 4202560 1464 0 0 0 18 0 0 0 20 0 19 0 4861565 9856040960 23419 33554432000 1073741824 1073778376 140737147465024 139812461807672 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10162/tid=10179] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10179/stat : 10179 (java) S 10159 10162 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4861565 9856040960 23419 33554432000 1073741824 1073778376 140737147465024 139811587353208 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10162/tid=10180] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10180/stat : 10180 (java) S 10159 10162 5929 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4861565 9856040960 23419 33554432000 1073741824 1073778376 140737147465024 139811586300616 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10181] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10181/stat : 10181 (java) S 10159 10162 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4861575 9856040960 23419 33554432000 1073741824 1073778376 140737147465024 139811585246632 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.66
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=10162/tid=10174] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10174/stat : 10174 (java) S 10159 10162 5929 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4861562 9856040960 106646 33554432000 1073741824 1073778376 140737147465024 139812466017784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10175] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10175/stat : 10175 (java) S 10159 10162 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4861562 9856040960 106646 33554432000 1073741824 1073778376 140737147465024 139812464965384 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10176] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10176/stat : 10176 (java) S 10159 10162 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4861565 9856040960 106646 33554432000 1073741824 1073778376 140737147465024 139812463913872 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10177] ppid=10159 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/10162/task/10177/stat : 10177 (java) S 10159 10162 5929 0 -1 4202560 2575 0 0 0 19 0 0 0 20 0 19 0 4861565 9856040960 106646 33554432000 1073741824 1073778376 140737147465024 139812462860472 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10178] ppid=10159 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/10162/task/10178/stat : 10178 (java) S 10159 10162 5929 0 -1 4202560 1924 0 0 0 19 1 0 0 20 0 19 0 4861565 9856040960 106646 33554432000 1073741824 1073778376 140737147465024 139812461807672 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10162/tid=10179] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10179/stat : 10179 (java) S 10159 10162 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4861565 9856040960 106646 33554432000 1073741824 1073778376 140737147465024 139811587353208 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10162/tid=10180] ppid=10159 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/10162/task/10180/stat : 10180 (java) S 10159 10162 5929 0 -1 4202560 100 0 0 0 27 34 0 0 20 0 19 0 4861565 9856040960 106646 33554432000 1073741824 1073778376 140737147465024 139811586300616 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10162/tid=10181] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10181/stat : 10181 (java) S 10159 10162 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4861575 9856040960 106646 33554432000 1073741824 1073778376 140737147465024 139811585246632 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1728.6
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.19 2.20 2.18 4/213 10356
/proc/meminfo: memFree=29751164/32872528 swapFree=1243664/1390832
[pid=10162] ppid=10159 vsize=9625040 CPUtime=1788.85 cores=1,3,5,7
/proc/10162/stat : 10162 (java) S 10159 10162 5929 0 -1 4202496 11051 0 1 0 178792 93 0 0 20 0 19 0 4861558 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 140737147456160 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10162/statm: 2406260 105620 2279 9 0 2396937 0
[pid=10162/tid=10164] ppid=10159 vsize=9625040 CPUtime=1779.15 cores=1,3,5,7
/proc/10162/task/10164/stat : 10164 (java) R 10159 10162 5929 0 -1 4202560 2549 0 1 0 177881 34 0 0 20 0 19 0 4861559 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812643605728 139812477050002 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10162/tid=10165] ppid=10159 vsize=9625040 CPUtime=0.96 cores=1,3,5,7
/proc/10162/task/10165/stat : 10165 (java) S 10159 10162 5929 0 -1 4202560 431 0 0 0 92 4 0 0 20 0 19 0 4861561 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812605098792 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10162/tid=10166] ppid=10159 vsize=9625040 CPUtime=1.07 cores=1,3,5,7
/proc/10162/task/10166/stat : 10166 (java) S 10159 10162 5929 0 -1 4202560 244 0 0 0 102 5 0 0 20 0 19 0 4861561 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812604045992 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10162/tid=10167] ppid=10159 vsize=9625040 CPUtime=0.96 cores=1,3,5,7
/proc/10162/task/10167/stat : 10167 (java) S 10159 10162 5929 0 -1 4202560 106 0 0 0 90 6 0 0 20 0 19 0 4861561 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812602993704 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10162/tid=10168] ppid=10159 vsize=9625040 CPUtime=1.03 cores=1,3,5,7
/proc/10162/task/10168/stat : 10168 (java) S 10159 10162 5929 0 -1 4202560 287 0 0 0 97 6 0 0 20 0 19 0 4861561 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812601940904 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10169] ppid=10159 vsize=9625040 CPUtime=1 cores=1,3,5,7
/proc/10162/task/10169/stat : 10169 (java) S 10159 10162 5929 0 -1 4202560 234 0 0 0 92 8 0 0 20 0 19 0 4861561 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812600887592 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10162/tid=10170] ppid=10159 vsize=9625040 CPUtime=1.07 cores=1,3,5,7
/proc/10162/task/10170/stat : 10170 (java) S 10159 10162 5929 0 -1 4202560 432 0 0 0 99 8 0 0 20 0 19 0 4861561 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812599834792 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10171] ppid=10159 vsize=9625040 CPUtime=0.96 cores=1,3,5,7
/proc/10162/task/10171/stat : 10171 (java) S 10159 10162 5929 0 -1 4202560 332 0 0 0 89 7 0 0 20 0 19 0 4861561 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812598782504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10162/tid=10172] ppid=10159 vsize=9625040 CPUtime=1.1 cores=1,3,5,7
/proc/10162/task/10172/stat : 10172 (java) S 10159 10162 5929 0 -1 4202560 277 0 0 0 102 8 0 0 20 0 19 0 4861561 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812597729704 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10162/tid=10173] ppid=10159 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/10162/task/10173/stat : 10173 (java) S 10159 10162 5929 0 -1 4202560 296 0 0 0 76 3 0 0 20 0 19 0 4861562 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812467071720 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10162/tid=10174] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10174/stat : 10174 (java) S 10159 10162 5929 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4861562 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812466017784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10175] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10175/stat : 10175 (java) S 10159 10162 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4861562 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812464965384 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10176] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10176/stat : 10176 (java) S 10159 10162 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4861565 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812463913872 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10177] ppid=10159 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/10162/task/10177/stat : 10177 (java) S 10159 10162 5929 0 -1 4202560 2575 0 0 0 19 0 0 0 20 0 19 0 4861565 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812462860472 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10178] ppid=10159 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/10162/task/10178/stat : 10178 (java) S 10159 10162 5929 0 -1 4202560 1924 0 0 0 19 1 0 0 20 0 19 0 4861565 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812461807672 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10162/tid=10179] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10179/stat : 10179 (java) S 10159 10162 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4861565 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139811587353208 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10162/tid=10180] ppid=10159 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/10162/task/10180/stat : 10180 (java) S 10159 10162 5929 0 -1 4202560 104 0 0 0 28 35 0 0 20 0 19 0 4861565 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139811586300616 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10162/tid=10181] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10181/stat : 10181 (java) S 10159 10162 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4861575 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139811585246632 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1788.85
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.5 s]
/proc/loadavg: 2.23 2.21 2.18 3/213 10356
/proc/meminfo: memFree=29751996/32872528 swapFree=1243664/1390832
[pid=10162] ppid=10159 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7
/proc/10162/stat : 10162 (java) S 10159 10162 5929 0 -1 4202496 11051 0 1 0 179912 93 0 0 20 0 19 0 4861558 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 140737147456160 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10162/statm: 2406260 105620 2279 9 0 2396937 0
[pid=10162/tid=10164] ppid=10159 vsize=9625040 CPUtime=1790.34 cores=1,3,5,7
/proc/10162/task/10164/stat : 10164 (java) R 10159 10162 5929 0 -1 4202560 2549 0 1 0 179000 34 0 0 20 0 19 0 4861559 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812643605728 139812477050002 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10162/tid=10165] ppid=10159 vsize=9625040 CPUtime=0.96 cores=1,3,5,7
/proc/10162/task/10165/stat : 10165 (java) S 10159 10162 5929 0 -1 4202560 431 0 0 0 92 4 0 0 20 0 19 0 4861561 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812605098792 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10162/tid=10166] ppid=10159 vsize=9625040 CPUtime=1.07 cores=1,3,5,7
/proc/10162/task/10166/stat : 10166 (java) S 10159 10162 5929 0 -1 4202560 244 0 0 0 102 5 0 0 20 0 19 0 4861561 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812604045992 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10162/tid=10167] ppid=10159 vsize=9625040 CPUtime=0.96 cores=1,3,5,7
/proc/10162/task/10167/stat : 10167 (java) S 10159 10162 5929 0 -1 4202560 106 0 0 0 90 6 0 0 20 0 19 0 4861561 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812602993704 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10162/tid=10168] ppid=10159 vsize=9625040 CPUtime=1.03 cores=1,3,5,7
/proc/10162/task/10168/stat : 10168 (java) S 10159 10162 5929 0 -1 4202560 287 0 0 0 97 6 0 0 20 0 19 0 4861561 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812601940904 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10169] ppid=10159 vsize=9625040 CPUtime=1 cores=1,3,5,7
/proc/10162/task/10169/stat : 10169 (java) S 10159 10162 5929 0 -1 4202560 234 0 0 0 92 8 0 0 20 0 19 0 4861561 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812600887592 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10162/tid=10170] ppid=10159 vsize=9625040 CPUtime=1.07 cores=1,3,5,7
/proc/10162/task/10170/stat : 10170 (java) S 10159 10162 5929 0 -1 4202560 432 0 0 0 99 8 0 0 20 0 19 0 4861561 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812599834792 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10171] ppid=10159 vsize=9625040 CPUtime=0.96 cores=1,3,5,7
/proc/10162/task/10171/stat : 10171 (java) S 10159 10162 5929 0 -1 4202560 332 0 0 0 89 7 0 0 20 0 19 0 4861561 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812598782504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10162/tid=10172] ppid=10159 vsize=9625040 CPUtime=1.1 cores=1,3,5,7
/proc/10162/task/10172/stat : 10172 (java) S 10159 10162 5929 0 -1 4202560 277 0 0 0 102 8 0 0 20 0 19 0 4861561 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812597729704 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10162/tid=10173] ppid=10159 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/10162/task/10173/stat : 10173 (java) S 10159 10162 5929 0 -1 4202560 296 0 0 0 76 3 0 0 20 0 19 0 4861562 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812467071720 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10174] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10174/stat : 10174 (java) S 10159 10162 5929 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4861562 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812466017784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10175] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10175/stat : 10175 (java) S 10159 10162 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4861562 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812464965384 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10176] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10176/stat : 10176 (java) S 10159 10162 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4861565 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812463913872 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10177] ppid=10159 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/10162/task/10177/stat : 10177 (java) S 10159 10162 5929 0 -1 4202560 2575 0 0 0 19 0 0 0 20 0 19 0 4861565 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812462860472 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10178] ppid=10159 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/10162/task/10178/stat : 10178 (java) S 10159 10162 5929 0 -1 4202560 1924 0 0 0 19 1 0 0 20 0 19 0 4861565 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812461807672 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10162/tid=10179] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10179/stat : 10179 (java) S 10159 10162 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4861565 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139811587353208 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10162/tid=10180] ppid=10159 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/10162/task/10180/stat : 10180 (java) S 10159 10162 5929 0 -1 4202560 104 0 0 0 28 35 0 0 20 0 19 0 4861565 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139811586300616 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10162/tid=10181] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10181/stat : 10181 (java) S 10159 10162 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4861575 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139811585246632 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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 10162 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1793.5 s]
/proc/loadavg: 2.23 2.21 2.18 3/213 10356
/proc/meminfo: memFree=29751996/32872528 swapFree=1243664/1390832
[pid=10162] ppid=10159 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7
/proc/10162/stat : 10162 (java) S 10159 10162 5929 0 -1 4202496 11051 0 1 0 179912 93 0 0 20 0 19 0 4861558 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 140737147456160 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10162/statm: 2406260 105620 2279 9 0 2396937 0
[pid=10162/tid=10164] ppid=10159 vsize=9625040 CPUtime=1790.34 cores=1,3,5,7
/proc/10162/task/10164/stat : 10164 (java) R 10159 10162 5929 0 -1 4202560 2549 0 1 0 179000 34 0 0 20 0 19 0 4861559 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812643605728 139812477050002 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10162/tid=10165] ppid=10159 vsize=9625040 CPUtime=0.96 cores=1,3,5,7
/proc/10162/task/10165/stat : 10165 (java) S 10159 10162 5929 0 -1 4202560 431 0 0 0 92 4 0 0 20 0 19 0 4861561 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812605098792 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10162/tid=10166] ppid=10159 vsize=9625040 CPUtime=1.07 cores=1,3,5,7
/proc/10162/task/10166/stat : 10166 (java) S 10159 10162 5929 0 -1 4202560 244 0 0 0 102 5 0 0 20 0 19 0 4861561 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812604045992 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10162/tid=10167] ppid=10159 vsize=9625040 CPUtime=0.96 cores=1,3,5,7
/proc/10162/task/10167/stat : 10167 (java) S 10159 10162 5929 0 -1 4202560 106 0 0 0 90 6 0 0 20 0 19 0 4861561 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812602993704 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10162/tid=10168] ppid=10159 vsize=9625040 CPUtime=1.03 cores=1,3,5,7
/proc/10162/task/10168/stat : 10168 (java) S 10159 10162 5929 0 -1 4202560 287 0 0 0 97 6 0 0 20 0 19 0 4861561 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812601940904 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10169] ppid=10159 vsize=9625040 CPUtime=1 cores=1,3,5,7
/proc/10162/task/10169/stat : 10169 (java) S 10159 10162 5929 0 -1 4202560 234 0 0 0 92 8 0 0 20 0 19 0 4861561 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812600887592 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10162/tid=10170] ppid=10159 vsize=9625040 CPUtime=1.07 cores=1,3,5,7
/proc/10162/task/10170/stat : 10170 (java) S 10159 10162 5929 0 -1 4202560 432 0 0 0 99 8 0 0 20 0 19 0 4861561 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812599834792 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10171] ppid=10159 vsize=9625040 CPUtime=0.96 cores=1,3,5,7
/proc/10162/task/10171/stat : 10171 (java) S 10159 10162 5929 0 -1 4202560 332 0 0 0 89 7 0 0 20 0 19 0 4861561 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812598782504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10162/tid=10172] ppid=10159 vsize=9625040 CPUtime=1.1 cores=1,3,5,7
/proc/10162/task/10172/stat : 10172 (java) S 10159 10162 5929 0 -1 4202560 277 0 0 0 102 8 0 0 20 0 19 0 4861561 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812597729704 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10162/tid=10173] ppid=10159 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/10162/task/10173/stat : 10173 (java) S 10159 10162 5929 0 -1 4202560 296 0 0 0 76 3 0 0 20 0 19 0 4861562 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812467071720 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10174] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10174/stat : 10174 (java) S 10159 10162 5929 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4861562 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812466017784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10175] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10175/stat : 10175 (java) S 10159 10162 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4861562 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812464965384 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10176] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10176/stat : 10176 (java) S 10159 10162 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4861565 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812463913872 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10177] ppid=10159 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/10162/task/10177/stat : 10177 (java) S 10159 10162 5929 0 -1 4202560 2575 0 0 0 19 0 0 0 20 0 19 0 4861565 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812462860472 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10162/tid=10178] ppid=10159 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/10162/task/10178/stat : 10178 (java) S 10159 10162 5929 0 -1 4202560 1924 0 0 0 19 1 0 0 20 0 19 0 4861565 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139812461807672 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10162/tid=10179] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10179/stat : 10179 (java) S 10159 10162 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4861565 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139811587353208 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10162/tid=10180] ppid=10159 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/10162/task/10180/stat : 10180 (java) S 10159 10162 5929 0 -1 4202560 104 0 0 0 28 35 0 0 20 0 19 0 4861565 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139811586300616 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10162/tid=10181] ppid=10159 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10162/task/10181/stat : 10181 (java) S 10159 10162 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4861575 9856040960 105620 33554432000 1073741824 1073778376 140737147465024 139811585246632 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625040
Child status: 143
Real time (s): 1793.54
CPU time (s): 1800.63
CPU user time (s): 1799.24
CPU system time (s): 1.38979
CPU usage (%): 100.395
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.24
system time used= 1.38979
maximum resident set size= 638440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11100
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40268
involuntary context switches= 18891
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.95349 second user time and 13.9719 second system time
The end