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-4101037-1466219996/watcher-4101037-1466219996 -o /tmp/evaluation-result-4101037-1466219996/solver-4101037-1466219996 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466206067-15564 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4101037-1466219996.opb
pid=18594
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.25 2.20 2.18 4/194 18597
/proc/meminfo: memFree=29952940/32872528 swapFree=1370848/1518016
[pid=18597] ppid=18594 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/18597/stat : 18597 (java) D 18594 18597 15548 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 24046095 9515008 182 33554432000 1073741824 1073778376 140736713688752 140736713679784 229355896501 0 0 4096 0 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/18597/statm: 2323 182 140 9 0 71 0
[startup+0.100059 s]
/proc/loadavg: 2.25 2.20 2.18 4/194 18597
/proc/meminfo: memFree=29952940/32872528 swapFree=1370848/1518016
[pid=18597] ppid=18594 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/18597/stat : 18597 (java) S 18594 18597 15548 0 -1 4202496 4451 0 1 0 7 1 0 0 20 0 18 0 24046095 9787879424 5577 33554432000 1073741824 1073778376 140733286031376 140733286022512 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18597/statm: 2389619 5577 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.200211 s]
/proc/loadavg: 2.25 2.20 2.18 4/194 18597
/proc/meminfo: memFree=29952940/32872528 swapFree=1370848/1518016
[pid=18597] ppid=18594 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/18597/stat : 18597 (java) S 18594 18597 15548 0 -1 4202496 5047 0 1 0 27 1 0 0 20 0 18 0 24046095 9787879424 6522 33554432000 1073741824 1073778376 140733286031376 140733286022512 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18597/statm: 2389619 6522 2220 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476
[startup+0.300217 s]
/proc/loadavg: 2.25 2.20 2.18 4/194 18597
/proc/meminfo: memFree=29952940/32872528 swapFree=1370848/1518016
[pid=18597] ppid=18594 vsize=9558476 CPUtime=0.51 cores=0,2,4,6
/proc/18597/stat : 18597 (java) S 18594 18597 15548 0 -1 4202496 6405 0 1 0 49 2 0 0 20 0 18 0 24046095 9787879424 10324 33554432000 1073741824 1073778376 140733286031376 140733286022512 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18597/statm: 2389619 10324 2235 9 0 2380296 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558476
[startup+0.700174 s]
/proc/loadavg: 2.25 2.20 2.18 4/194 18597
/proc/meminfo: memFree=29952940/32872528 swapFree=1370848/1518016
[pid=18597] ppid=18594 vsize=9625040 CPUtime=1.22 cores=0,2,4,6
/proc/18597/stat : 18597 (java) S 18594 18597 15548 0 -1 4202496 7234 0 1 0 119 3 0 0 20 0 19 0 24046095 9856040960 28959 33554432000 1073741824 1073778376 140733286031376 140733286022512 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18597/statm: 2406260 28959 2257 9 0 2396937 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 9625040
[startup+1.50072 s]
/proc/loadavg: 2.25 2.20 2.18 4/213 18616
/proc/meminfo: memFree=29838944/32872528 swapFree=1370848/1518016
[pid=18597] ppid=18594 vsize=9625040 CPUtime=2.2 cores=0,2,4,6
/proc/18597/stat : 18597 (java) S 18594 18597 15548 0 -1 4202496 8632 0 1 0 217 3 0 0 20 0 19 0 24046095 9856040960 31486 33554432000 1073741824 1073778376 140733286031376 140733286022512 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18597/statm: 2406260 31486 2261 9 0 2396937 0
[pid=18597/tid=18599] ppid=18594 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/18597/task/18599/stat : 18599 (java) R 18594 18597 15548 0 -1 4202560 2508 0 1 0 143 3 0 0 20 0 19 0 24046096 9856040960 31486 33554432000 1073741824 1073778376 140733286031376 139641058490784 139640998930119 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18600] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18600/stat : 18600 (java) S 18594 18597 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24046097 9856040960 31486 33554432000 1073741824 1073778376 140733286031376 139640901941672 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18601] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18601/stat : 18601 (java) S 18594 18597 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24046097 9856040960 31486 33554432000 1073741824 1073778376 140733286031376 139640900889128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18597/tid=18602] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18602/stat : 18602 (java) S 18594 18597 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24046097 9856040960 31486 33554432000 1073741824 1073778376 140733286031376 139640899836072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18597/tid=18603] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18603/stat : 18603 (java) S 18594 18597 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24046097 9856040960 31486 33554432000 1073741824 1073778376 140733286031376 139640898783528 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18597/tid=18604] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18604/stat : 18604 (java) S 18594 18597 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24046097 9856040960 31486 33554432000 1073741824 1073778376 140733286031376 139640897731496 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18605] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18605/stat : 18605 (java) S 18594 18597 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24046097 9856040960 31486 33554432000 1073741824 1073778376 140733286031376 139640896678952 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18597/tid=18606] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18606/stat : 18606 (java) S 18594 18597 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24046097 9856040960 31486 33554432000 1073741824 1073778376 140733286031376 139640895625896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18597/tid=18607] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18607/stat : 18607 (java) S 18594 18597 15548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24046097 9856040960 31486 33554432000 1073741824 1073778376 140733286031376 139640894573352 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18608] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18608/stat : 18608 (java) S 18594 18597 15548 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24046098 9856040960 31486 33554432000 1073741824 1073778376 140733286031376 139640882375016 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18609] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18609/stat : 18609 (java) S 18594 18597 15548 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24046098 9856040960 31486 33554432000 1073741824 1073778376 140733286031376 139640881321336 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18610] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18610/stat : 18610 (java) S 18594 18597 15548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24046098 9856040960 31486 33554432000 1073741824 1073778376 140733286031376 139640880268168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18611] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18611/stat : 18611 (java) S 18594 18597 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24046101 9856040960 31486 33554432000 1073741824 1073778376 140733286031376 139640879216912 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18612] ppid=18594 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/18597/task/18612/stat : 18612 (java) S 18594 18597 15548 0 -1 4202560 1765 0 0 0 31 0 0 0 20 0 19 0 24046101 9856040960 31486 33554432000 1073741824 1073778376 140733286031376 139640878164792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18613] ppid=18594 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/18597/task/18613/stat : 18613 (java) S 18594 18597 15548 0 -1 4202560 3087 0 0 0 39 0 0 0 20 0 19 0 24046101 9856040960 31486 33554432000 1073741824 1073778376 140733286031376 139640877112248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18597/tid=18614] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18614/stat : 18614 (java) S 18594 18597 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24046101 9856040960 31486 33554432000 1073741824 1073778376 140733286031376 139640876059384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18597/tid=18615] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18615/stat : 18615 (java) S 18594 18597 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24046101 9856040960 31486 33554432000 1073741824 1073778376 140733286031376 139640875007048 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18616] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18616/stat : 18616 (java) S 18594 18597 15548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24046146 9856040960 31486 33554432000 1073741824 1073778376 140733286031376 139640873952296 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 9625040
[startup+3.10066 s]
/proc/loadavg: 2.31 2.22 2.19 4/213 18616
/proc/meminfo: memFree=29826532/32872528 swapFree=1370848/1518016
[pid=18597] ppid=18594 vsize=9625040 CPUtime=3.83 cores=0,2,4,6
/proc/18597/stat : 18597 (java) S 18594 18597 15548 0 -1 4202496 8650 0 1 0 380 3 0 0 20 0 19 0 24046095 9856040960 35591 33554432000 1073741824 1073778376 140733286031376 140733286022512 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18597/statm: 2406260 35591 2265 9 0 2396937 0
[pid=18597/tid=18599] ppid=18594 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/18597/task/18599/stat : 18599 (java) R 18594 18597 15548 0 -1 4202560 2516 0 1 0 302 3 0 0 20 0 19 0 24046096 9856040960 35591 33554432000 1073741824 1073778376 140733286031376 139641058483936 139640998904061 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=18597/tid=18600] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18600/stat : 18600 (java) S 18594 18597 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24046097 9856040960 35591 33554432000 1073741824 1073778376 140733286031376 139640901941672 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18601] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18601/stat : 18601 (java) S 18594 18597 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24046097 9856040960 35591 33554432000 1073741824 1073778376 140733286031376 139640900889128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18597/tid=18602] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18602/stat : 18602 (java) S 18594 18597 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24046097 9856040960 35591 33554432000 1073741824 1073778376 140733286031376 139640899836072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18597/tid=18603] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18603/stat : 18603 (java) S 18594 18597 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24046097 9856040960 35591 33554432000 1073741824 1073778376 140733286031376 139640898783528 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18597/tid=18604] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18604/stat : 18604 (java) S 18594 18597 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24046097 9856040960 35591 33554432000 1073741824 1073778376 140733286031376 139640897731496 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18605] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18605/stat : 18605 (java) S 18594 18597 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24046097 9856040960 35591 33554432000 1073741824 1073778376 140733286031376 139640896678952 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18597/tid=18606] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18606/stat : 18606 (java) S 18594 18597 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24046097 9856040960 35591 33554432000 1073741824 1073778376 140733286031376 139640895625896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18597/tid=18607] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18607/stat : 18607 (java) S 18594 18597 15548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24046097 9856040960 35591 33554432000 1073741824 1073778376 140733286031376 139640894573352 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18608] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18608/stat : 18608 (java) S 18594 18597 15548 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24046098 9856040960 35591 33554432000 1073741824 1073778376 140733286031376 139640882375016 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18609] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18609/stat : 18609 (java) S 18594 18597 15548 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24046098 9856040960 35591 33554432000 1073741824 1073778376 140733286031376 139640881321336 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18610] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18610/stat : 18610 (java) S 18594 18597 15548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24046098 9856040960 35591 33554432000 1073741824 1073778376 140733286031376 139640880268168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18611] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18611/stat : 18611 (java) S 18594 18597 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24046101 9856040960 35591 33554432000 1073741824 1073778376 140733286031376 139640879216912 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18612] ppid=18594 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/18597/task/18612/stat : 18612 (java) S 18594 18597 15548 0 -1 4202560 1771 0 0 0 33 0 0 0 20 0 19 0 24046101 9856040960 35591 33554432000 1073741824 1073778376 140733286031376 139640878164792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18613] ppid=18594 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/18597/task/18613/stat : 18613 (java) S 18594 18597 15548 0 -1 4202560 3091 0 0 0 41 0 0 0 20 0 19 0 24046101 9856040960 35591 33554432000 1073741824 1073778376 140733286031376 139640877112248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18597/tid=18614] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18614/stat : 18614 (java) S 18594 18597 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24046101 9856040960 35591 33554432000 1073741824 1073778376 140733286031376 139640876059384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18597/tid=18615] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18615/stat : 18615 (java) S 18594 18597 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24046101 9856040960 35591 33554432000 1073741824 1073778376 140733286031376 139640875007048 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18616] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18616/stat : 18616 (java) S 18594 18597 15548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24046146 9856040960 35591 33554432000 1073741824 1073778376 140733286031376 139640873952296 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 9625040
[startup+6.30081 s]
/proc/loadavg: 2.31 2.22 2.19 4/214 18619
/proc/meminfo: memFree=29766344/32872528 swapFree=1370848/1518016
[pid=18597] ppid=18594 vsize=9625040 CPUtime=7.17 cores=0,2,4,6
/proc/18597/stat : 18597 (java) S 18594 18597 15548 0 -1 4202496 8764 0 1 0 708 9 0 0 20 0 19 0 24046095 9856040960 48420 33554432000 1073741824 1073778376 140733286031376 140733286022512 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18597/statm: 2406260 48420 2279 9 0 2396937 0
[pid=18597/tid=18599] ppid=18594 vsize=9625040 CPUtime=6.2 cores=0,2,4,6
/proc/18597/task/18599/stat : 18599 (java) R 18594 18597 15548 0 -1 4202560 2529 0 1 0 617 3 0 0 20 0 19 0 24046096 9856040960 48420 33554432000 1073741824 1073778376 140733286031376 139641058492880 139640998903996 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=18597/tid=18600] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18600/stat : 18600 (java) S 18594 18597 15548 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24046097 9856040960 48420 33554432000 1073741824 1073778376 140733286031376 139640901941672 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18597/tid=18601] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18601/stat : 18601 (java) S 18594 18597 15548 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 24046097 9856040960 48420 33554432000 1073741824 1073778376 140733286031376 139640900889128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18602] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18602/stat : 18602 (java) S 18594 18597 15548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24046097 9856040960 48420 33554432000 1073741824 1073778376 140733286031376 139640899836072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18603] ppid=18594 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/18597/task/18603/stat : 18603 (java) S 18594 18597 15548 0 -1 4202560 26 0 0 0 0 2 0 0 20 0 19 0 24046097 9856040960 48420 33554432000 1073741824 1073778376 140733286031376 139640898783528 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18604] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18604/stat : 18604 (java) S 18594 18597 15548 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 24046097 9856040960 48420 33554432000 1073741824 1073778376 140733286031376 139640897731496 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18605] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18605/stat : 18605 (java) S 18594 18597 15548 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 24046097 9856040960 48420 33554432000 1073741824 1073778376 140733286031376 139640896678952 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18597/tid=18606] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18606/stat : 18606 (java) S 18594 18597 15548 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 24046097 9856040960 48420 33554432000 1073741824 1073778376 140733286031376 139640895625896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18597/tid=18607] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18607/stat : 18607 (java) S 18594 18597 15548 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 24046097 9856040960 48420 33554432000 1073741824 1073778376 140733286031376 139640894573352 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18597/tid=18608] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18608/stat : 18608 (java) S 18594 18597 15548 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24046098 9856040960 48420 33554432000 1073741824 1073778376 140733286031376 139640882375016 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18609] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18609/stat : 18609 (java) S 18594 18597 15548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24046098 9856040960 48420 33554432000 1073741824 1073778376 140733286031376 139640881321336 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18610] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18610/stat : 18610 (java) S 18594 18597 15548 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24046098 9856040960 48420 33554432000 1073741824 1073778376 140733286031376 139640880268168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18611] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18611/stat : 18611 (java) S 18594 18597 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24046101 9856040960 48420 33554432000 1073741824 1073778376 140733286031376 139640879216912 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18612] ppid=18594 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/18597/task/18612/stat : 18612 (java) S 18594 18597 15548 0 -1 4202560 1774 0 0 0 35 0 0 0 20 0 19 0 24046101 9856040960 48420 33554432000 1073741824 1073778376 140733286031376 139640878164792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18613] ppid=18594 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/18597/task/18613/stat : 18613 (java) S 18594 18597 15548 0 -1 4202560 3095 0 0 0 43 0 0 0 20 0 19 0 24046101 9856040960 48420 33554432000 1073741824 1073778376 140733286031376 139640877112248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18597/tid=18614] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18614/stat : 18614 (java) S 18594 18597 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24046101 9856040960 48420 33554432000 1073741824 1073778376 140733286031376 139640876059384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18597/tid=18615] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18615/stat : 18615 (java) S 18594 18597 15548 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 24046101 9856040960 48420 33554432000 1073741824 1073778376 140733286031376 139640875007048 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18616] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18616/stat : 18616 (java) S 18594 18597 15548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24046146 9856040960 48420 33554432000 1073741824 1073778376 140733286031376 139640873952296 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.17
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=18597/tid=18609] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18609/stat : 18609 (java) S 18594 18597 15548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24046098 9856040960 78168 33554432000 1073741824 1073778376 140733286031376 139640881321336 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18610] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18610/stat : 18610 (java) S 18594 18597 15548 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24046098 9856040960 78168 33554432000 1073741824 1073778376 140733286031376 139640880268168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18611] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18611/stat : 18611 (java) S 18594 18597 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24046101 9856040960 78168 33554432000 1073741824 1073778376 140733286031376 139640879216912 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18612] ppid=18594 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/18597/task/18612/stat : 18612 (java) S 18594 18597 15548 0 -1 4202560 1774 0 0 0 36 0 0 0 20 0 19 0 24046101 9856040960 78168 33554432000 1073741824 1073778376 140733286031376 139640878164792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18613] ppid=18594 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/18597/task/18613/stat : 18613 (java) S 18594 18597 15548 0 -1 4202560 3104 0 0 0 47 0 0 0 20 0 19 0 24046101 9856040960 78168 33554432000 1073741824 1073778376 140733286031376 139640877112248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18597/tid=18614] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18614/stat : 18614 (java) S 18594 18597 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24046101 9856040960 78168 33554432000 1073741824 1073778376 140733286031376 139640876059384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18597/tid=18615] ppid=18594 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/18597/task/18615/stat : 18615 (java) S 18594 18597 15548 0 -1 4202560 96 0 0 0 18 24 0 0 20 0 19 0 24046101 9856040960 78168 33554432000 1073741824 1073778376 140733286031376 139640875007048 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18616] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18616/stat : 18616 (java) S 18594 18597 15548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24046146 9856040960 78168 33554432000 1073741824 1073778376 140733286031376 139640873952296 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1673.52
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.38 2.25 2.19 3/213 18725
/proc/meminfo: memFree=29241292/32872528 swapFree=1370848/1518016
[pid=18597] ppid=18594 vsize=9625040 CPUtime=1733.97 cores=0,2,4,6
/proc/18597/stat : 18597 (java) S 18594 18597 15548 0 -1 4202496 29822 0 1 0 173248 149 0 0 20 0 19 0 24046095 9856040960 79097 33554432000 1073741824 1073778376 140733286031376 140733286022512 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18597/statm: 2406260 79097 2287 9 0 2396937 0
[pid=18597/tid=18599] ppid=18594 vsize=9625040 CPUtime=1713.13 cores=0,2,4,6
/proc/18597/task/18599/stat : 18599 (java) R 18594 18597 15548 0 -1 4202560 2891 0 1 0 171280 33 0 0 20 0 19 0 24046096 9856040960 79097 33554432000 1073741824 1073778376 140733286031376 139641058491616 139640999075056 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18600] ppid=18594 vsize=9625040 CPUtime=1.93 cores=0,2,4,6
/proc/18597/task/18600/stat : 18600 (java) S 18594 18597 15548 0 -1 4202560 1661 0 0 0 178 15 0 0 20 0 19 0 24046097 9856040960 79097 33554432000 1073741824 1073778376 140733286031376 139640901941672 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18597/tid=18601] ppid=18594 vsize=9625040 CPUtime=2.04 cores=0,2,4,6
/proc/18597/task/18601/stat : 18601 (java) S 18594 18597 15548 0 -1 4202560 2406 0 0 0 189 15 0 0 20 0 19 0 24046097 9856040960 79097 33554432000 1073741824 1073778376 140733286031376 139640900889128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18602] ppid=18594 vsize=9625040 CPUtime=1.99 cores=0,2,4,6
/proc/18597/task/18602/stat : 18602 (java) S 18594 18597 15548 0 -1 4202560 3022 0 0 0 186 13 0 0 20 0 19 0 24046097 9856040960 79097 33554432000 1073741824 1073778376 140733286031376 139640899836072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18603] ppid=18594 vsize=9625040 CPUtime=1.96 cores=0,2,4,6
/proc/18597/task/18603/stat : 18603 (java) S 18594 18597 15548 0 -1 4202560 2015 0 0 0 179 17 0 0 20 0 19 0 24046097 9856040960 79097 33554432000 1073741824 1073778376 140733286031376 139640898783528 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18597/tid=18604] ppid=18594 vsize=9625040 CPUtime=1.99 cores=0,2,4,6
/proc/18597/task/18604/stat : 18604 (java) S 18594 18597 15548 0 -1 4202560 2146 0 0 0 184 15 0 0 20 0 19 0 24046097 9856040960 79097 33554432000 1073741824 1073778376 140733286031376 139640897731496 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18597/tid=18605] ppid=18594 vsize=9625040 CPUtime=2.01 cores=0,2,4,6
/proc/18597/task/18605/stat : 18605 (java) S 18594 18597 15548 0 -1 4202560 2459 0 0 0 184 17 0 0 20 0 19 0 24046097 9856040960 79097 33554432000 1073741824 1073778376 140733286031376 139640896678952 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18597/tid=18606] ppid=18594 vsize=9625040 CPUtime=1.97 cores=0,2,4,6
/proc/18597/task/18606/stat : 18606 (java) S 18594 18597 15548 0 -1 4202560 2148 0 0 0 181 16 0 0 20 0 19 0 24046097 9856040960 79097 33554432000 1073741824 1073778376 140733286031376 139640895625896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18597/tid=18607] ppid=18594 vsize=9625040 CPUtime=1.85 cores=0,2,4,6
/proc/18597/task/18607/stat : 18607 (java) S 18594 18597 15548 0 -1 4202560 2451 0 0 0 173 12 0 0 20 0 19 0 24046097 9856040960 79097 33554432000 1073741824 1073778376 140733286031376 139640894573352 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18608] ppid=18594 vsize=9625040 CPUtime=4.2 cores=0,2,4,6
/proc/18597/task/18608/stat : 18608 (java) S 18594 18597 15548 0 -1 4202560 2386 0 0 0 415 5 0 0 20 0 19 0 24046098 9856040960 79097 33554432000 1073741824 1073778376 140733286031376 139640882375016 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18597/tid=18609] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18609/stat : 18609 (java) S 18594 18597 15548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24046098 9856040960 79097 33554432000 1073741824 1073778376 140733286031376 139640881321336 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18610] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18610/stat : 18610 (java) S 18594 18597 15548 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24046098 9856040960 79097 33554432000 1073741824 1073778376 140733286031376 139640880268168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18611] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18611/stat : 18611 (java) S 18594 18597 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24046101 9856040960 79097 33554432000 1073741824 1073778376 140733286031376 139640879216912 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18612] ppid=18594 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/18597/task/18612/stat : 18612 (java) S 18594 18597 15548 0 -1 4202560 1774 0 0 0 36 0 0 0 20 0 19 0 24046101 9856040960 79097 33554432000 1073741824 1073778376 140733286031376 139640878164792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18613] ppid=18594 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/18597/task/18613/stat : 18613 (java) S 18594 18597 15548 0 -1 4202560 3104 0 0 0 47 0 0 0 20 0 19 0 24046101 9856040960 79097 33554432000 1073741824 1073778376 140733286031376 139640877112248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18597/tid=18614] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18614/stat : 18614 (java) S 18594 18597 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24046101 9856040960 79097 33554432000 1073741824 1073778376 140733286031376 139640876059384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18597/tid=18615] ppid=18594 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/18597/task/18615/stat : 18615 (java) S 18594 18597 15548 0 -1 4202560 100 0 0 0 18 25 0 0 20 0 19 0 24046101 9856040960 79097 33554432000 1073741824 1073778376 140733286031376 139640875007048 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18616] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18616/stat : 18616 (java) S 18594 18597 15548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24046146 9856040960 79097 33554432000 1073741824 1073778376 140733286031376 139640873952296 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1733.97
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.27 2.25 2.19 2/213 18726
/proc/meminfo: memFree=29254016/32872528 swapFree=1370848/1518016
[pid=18597] ppid=18594 vsize=9625040 CPUtime=1794.53 cores=0,2,4,6
/proc/18597/stat : 18597 (java) S 18594 18597 15548 0 -1 4202496 30897 0 1 0 179299 154 0 0 20 0 19 0 24046095 9856040960 86613 33554432000 1073741824 1073778376 140733286031376 140733286022512 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18597/statm: 2406260 86613 2287 9 0 2396937 0
[pid=18597/tid=18599] ppid=18594 vsize=9625040 CPUtime=1772.53 cores=0,2,4,6
/proc/18597/task/18599/stat : 18599 (java) R 18594 18597 15548 0 -1 4202560 2917 0 1 0 177220 33 0 0 20 0 19 0 24046096 9856040960 86613 33554432000 1073741824 1073778376 140733286031376 139641058491616 139640999075282 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18597/tid=18600] ppid=18594 vsize=9625040 CPUtime=2.04 cores=0,2,4,6
/proc/18597/task/18600/stat : 18600 (java) S 18594 18597 15548 0 -1 4202560 1880 0 0 0 189 15 0 0 20 0 19 0 24046097 9856040960 86613 33554432000 1073741824 1073778376 140733286031376 139640901941672 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18601] ppid=18594 vsize=9625040 CPUtime=2.15 cores=0,2,4,6
/proc/18597/task/18601/stat : 18601 (java) S 18594 18597 15548 0 -1 4202560 2412 0 0 0 200 15 0 0 20 0 19 0 24046097 9856040960 86613 33554432000 1073741824 1073778376 140733286031376 139640900889128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18597/tid=18602] ppid=18594 vsize=9625040 CPUtime=2.11 cores=0,2,4,6
/proc/18597/task/18602/stat : 18602 (java) S 18594 18597 15548 0 -1 4202560 3219 0 0 0 197 14 0 0 20 0 19 0 24046097 9856040960 86613 33554432000 1073741824 1073778376 140733286031376 139640899836072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18603] ppid=18594 vsize=9625040 CPUtime=2.08 cores=0,2,4,6
/proc/18597/task/18603/stat : 18603 (java) S 18594 18597 15548 0 -1 4202560 2232 0 0 0 190 18 0 0 20 0 19 0 24046097 9856040960 86613 33554432000 1073741824 1073778376 140733286031376 139640898783528 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18597/tid=18604] ppid=18594 vsize=9625040 CPUtime=2.12 cores=0,2,4,6
/proc/18597/task/18604/stat : 18604 (java) S 18594 18597 15548 0 -1 4202560 2316 0 0 0 196 16 0 0 20 0 19 0 24046097 9856040960 86613 33554432000 1073741824 1073778376 140733286031376 139640897731496 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18597/tid=18605] ppid=18594 vsize=9625040 CPUtime=2.12 cores=0,2,4,6
/proc/18597/task/18605/stat : 18605 (java) S 18594 18597 15548 0 -1 4202560 2467 0 0 0 194 18 0 0 20 0 19 0 24046097 9856040960 86613 33554432000 1073741824 1073778376 140733286031376 139640896678952 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18597/tid=18606] ppid=18594 vsize=9625040 CPUtime=2.07 cores=0,2,4,6
/proc/18597/task/18606/stat : 18606 (java) S 18594 18597 15548 0 -1 4202560 2288 0 0 0 190 17 0 0 20 0 19 0 24046097 9856040960 86613 33554432000 1073741824 1073778376 140733286031376 139640895625896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18607] ppid=18594 vsize=9625040 CPUtime=1.93 cores=0,2,4,6
/proc/18597/task/18607/stat : 18607 (java) S 18594 18597 15548 0 -1 4202560 2452 0 0 0 181 12 0 0 20 0 19 0 24046097 9856040960 86613 33554432000 1073741824 1073778376 140733286031376 139640894573352 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18597/tid=18608] ppid=18594 vsize=9625040 CPUtime=4.5 cores=0,2,4,6
/proc/18597/task/18608/stat : 18608 (java) S 18594 18597 15548 0 -1 4202560 2473 0 0 0 445 5 0 0 20 0 19 0 24046098 9856040960 86613 33554432000 1073741824 1073778376 140733286031376 139640882375016 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18609] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18609/stat : 18609 (java) S 18594 18597 15548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24046098 9856040960 86613 33554432000 1073741824 1073778376 140733286031376 139640881321336 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18610] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18610/stat : 18610 (java) S 18594 18597 15548 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24046098 9856040960 86613 33554432000 1073741824 1073778376 140733286031376 139640880268168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18611] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18611/stat : 18611 (java) S 18594 18597 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24046101 9856040960 86613 33554432000 1073741824 1073778376 140733286031376 139640879216912 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18612] ppid=18594 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/18597/task/18612/stat : 18612 (java) S 18594 18597 15548 0 -1 4202560 1774 0 0 0 36 0 0 0 20 0 19 0 24046101 9856040960 86613 33554432000 1073741824 1073778376 140733286031376 139640878164792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18613] ppid=18594 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/18597/task/18613/stat : 18613 (java) S 18594 18597 15548 0 -1 4202560 3104 0 0 0 47 0 0 0 20 0 19 0 24046101 9856040960 86613 33554432000 1073741824 1073778376 140733286031376 139640877112248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18597/tid=18614] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18614/stat : 18614 (java) S 18594 18597 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24046101 9856040960 86613 33554432000 1073741824 1073778376 140733286031376 139640876059384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18597/tid=18615] ppid=18594 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/18597/task/18615/stat : 18615 (java) S 18594 18597 15548 0 -1 4202560 104 0 0 0 20 25 0 0 20 0 19 0 24046101 9856040960 86613 33554432000 1073741824 1073778376 140733286031376 139640875007048 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18597/tid=18616] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18616/stat : 18616 (java) S 18594 18597 15548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24046146 9856040960 86613 33554432000 1073741824 1073778376 140733286031376 139640873952296 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.53
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1787.8 s]
/proc/loadavg: 2.22 2.24 2.19 3/213 18726
/proc/meminfo: memFree=29256000/32872528 swapFree=1370848/1518016
[pid=18597] ppid=18594 vsize=9625040 CPUtime=1800.07 cores=0,2,4,6
/proc/18597/stat : 18597 (java) S 18594 18597 15548 0 -1 4202496 30899 0 1 0 179853 154 0 0 20 0 19 0 24046095 9856040960 86132 33554432000 1073741824 1073778376 140733286031376 140733286022512 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18597/statm: 2406260 86132 2287 9 0 2396937 0
[pid=18597/tid=18599] ppid=18594 vsize=9625040 CPUtime=1778.01 cores=0,2,4,6
/proc/18597/task/18599/stat : 18599 (java) R 18594 18597 15548 0 -1 4202560 2919 0 1 0 177767 34 0 0 20 0 19 0 24046096 9856040960 86132 33554432000 1073741824 1073778376 140733286031376 139641058491632 139640998930101 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18597/tid=18600] ppid=18594 vsize=9625040 CPUtime=2.05 cores=0,2,4,6
/proc/18597/task/18600/stat : 18600 (java) S 18594 18597 15548 0 -1 4202560 1880 0 0 0 190 15 0 0 20 0 19 0 24046097 9856040960 86132 33554432000 1073741824 1073778376 140733286031376 139640901941672 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18601] ppid=18594 vsize=9625040 CPUtime=2.16 cores=0,2,4,6
/proc/18597/task/18601/stat : 18601 (java) S 18594 18597 15548 0 -1 4202560 2412 0 0 0 201 15 0 0 20 0 19 0 24046097 9856040960 86132 33554432000 1073741824 1073778376 140733286031376 139640900889128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18597/tid=18602] ppid=18594 vsize=9625040 CPUtime=2.12 cores=0,2,4,6
/proc/18597/task/18602/stat : 18602 (java) S 18594 18597 15548 0 -1 4202560 3219 0 0 0 198 14 0 0 20 0 19 0 24046097 9856040960 86132 33554432000 1073741824 1073778376 140733286031376 139640899836072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18597/tid=18603] ppid=18594 vsize=9625040 CPUtime=2.08 cores=0,2,4,6
/proc/18597/task/18603/stat : 18603 (java) S 18594 18597 15548 0 -1 4202560 2232 0 0 0 190 18 0 0 20 0 19 0 24046097 9856040960 86132 33554432000 1073741824 1073778376 140733286031376 139640898783528 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18597/tid=18604] ppid=18594 vsize=9625040 CPUtime=2.12 cores=0,2,4,6
/proc/18597/task/18604/stat : 18604 (java) S 18594 18597 15548 0 -1 4202560 2316 0 0 0 196 16 0 0 20 0 19 0 24046097 9856040960 86132 33554432000 1073741824 1073778376 140733286031376 139640897731496 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18597/tid=18605] ppid=18594 vsize=9625040 CPUtime=2.13 cores=0,2,4,6
/proc/18597/task/18605/stat : 18605 (java) S 18594 18597 15548 0 -1 4202560 2467 0 0 0 195 18 0 0 20 0 19 0 24046097 9856040960 86132 33554432000 1073741824 1073778376 140733286031376 139640896678952 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18597/tid=18606] ppid=18594 vsize=9625040 CPUtime=2.08 cores=0,2,4,6
/proc/18597/task/18606/stat : 18606 (java) S 18594 18597 15548 0 -1 4202560 2288 0 0 0 191 17 0 0 20 0 19 0 24046097 9856040960 86132 33554432000 1073741824 1073778376 140733286031376 139640895625896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18597/tid=18607] ppid=18594 vsize=9625040 CPUtime=1.94 cores=0,2,4,6
/proc/18597/task/18607/stat : 18607 (java) S 18594 18597 15548 0 -1 4202560 2452 0 0 0 182 12 0 0 20 0 19 0 24046097 9856040960 86132 33554432000 1073741824 1073778376 140733286031376 139640894573352 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18608] ppid=18594 vsize=9625040 CPUtime=4.5 cores=0,2,4,6
/proc/18597/task/18608/stat : 18608 (java) S 18594 18597 15548 0 -1 4202560 2473 0 0 0 445 5 0 0 20 0 19 0 24046098 9856040960 86132 33554432000 1073741824 1073778376 140733286031376 139640882375016 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18609] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18609/stat : 18609 (java) S 18594 18597 15548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24046098 9856040960 86132 33554432000 1073741824 1073778376 140733286031376 139640881321336 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18610] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18610/stat : 18610 (java) S 18594 18597 15548 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24046098 9856040960 86132 33554432000 1073741824 1073778376 140733286031376 139640880268168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18611] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18611/stat : 18611 (java) S 18594 18597 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24046101 9856040960 86132 33554432000 1073741824 1073778376 140733286031376 139640879216912 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18612] ppid=18594 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/18597/task/18612/stat : 18612 (java) S 18594 18597 15548 0 -1 4202560 1774 0 0 0 36 0 0 0 20 0 19 0 24046101 9856040960 86132 33554432000 1073741824 1073778376 140733286031376 139640878164792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18597/tid=18613] ppid=18594 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/18597/task/18613/stat : 18613 (java) S 18594 18597 15548 0 -1 4202560 3104 0 0 0 47 0 0 0 20 0 19 0 24046101 9856040960 86132 33554432000 1073741824 1073778376 140733286031376 139640877112248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18597/tid=18614] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18614/stat : 18614 (java) S 18594 18597 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24046101 9856040960 86132 33554432000 1073741824 1073778376 140733286031376 139640876059384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18597/tid=18615] ppid=18594 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/18597/task/18615/stat : 18615 (java) S 18594 18597 15548 0 -1 4202560 104 0 0 0 20 25 0 0 20 0 19 0 24046101 9856040960 86132 33554432000 1073741824 1073778376 140733286031376 139640875007048 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18597/tid=18616] ppid=18594 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18597/task/18616/stat : 18616 (java) S 18594 18597 15548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24046146 9856040960 86132 33554432000 1073741824 1073778376 140733286031376 139640873952296 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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 18597 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1787.84
CPU time (s): 1800.81
CPU user time (s): 1798.77
CPU system time (s): 2.04169
CPU usage (%): 100.725
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.77
system time used= 2.04169
maximum resident set size= 671144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30946
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= 50228
involuntary context switches= 43272
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.6442 second user time and 11.6622 second system time
The end