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-4105469-1466261130/watcher-4105469-1466261130 -o /tmp/evaluation-result-4105469-1466261130/solver-4105469-1466261130 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466241309-16342 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4105469-1466261130.opb
pid=19091
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.10 2.09 2.07 3/194 19094
/proc/meminfo: memFree=31022436/32872528 swapFree=534252/566956
[pid=19094] ppid=19091 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/19094/stat : 19094 (java) D 19091 19094 16325 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 28158602 2560000 46 33554432000 1073741824 1073778376 140735277164544 140735277161672 206619897127 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/19094/statm: 626 46 37 9 0 30 0
[startup+0.100058 s]
/proc/loadavg: 2.10 2.09 2.07 3/194 19094
/proc/meminfo: memFree=31022436/32872528 swapFree=534252/566956
[pid=19094] ppid=19091 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/19094/stat : 19094 (java) S 19091 19094 16325 0 -1 4202496 4448 0 1 0 8 1 0 0 20 0 18 0 28158602 9787879424 5566 33554432000 1073741824 1073778376 140735277164544 140735277155680 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19094/statm: 2389619 5566 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200222 s]
/proc/loadavg: 2.10 2.09 2.07 3/194 19094
/proc/meminfo: memFree=31022436/32872528 swapFree=534252/566956
[pid=19094] ppid=19091 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/19094/stat : 19094 (java) S 19091 19094 16325 0 -1 4202496 6336 0 1 0 24 1 0 0 20 0 19 0 28158602 9856040960 7500 33554432000 1073741824 1073778376 140735277164544 140735277155680 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19094/statm: 2406260 7500 2226 9 0 2396937 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9625040
[startup+0.300225 s]
/proc/loadavg: 2.10 2.09 2.07 3/194 19094
/proc/meminfo: memFree=31022436/32872528 swapFree=534252/566956
[pid=19094] ppid=19091 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/19094/stat : 19094 (java) S 19091 19094 16325 0 -1 4202496 7059 0 1 0 47 1 0 0 20 0 19 0 28158602 9856040960 7842 33554432000 1073741824 1073778376 140735277164544 140735277155680 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19094/statm: 2406260 7842 2243 9 0 2396937 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9625040
[startup+0.700178 s]
/proc/loadavg: 2.10 2.09 2.07 3/194 19094
/proc/meminfo: memFree=31022436/32872528 swapFree=534252/566956
[pid=19094] ppid=19091 vsize=9625040 CPUtime=1.14 cores=1,3,5,7
/proc/19094/stat : 19094 (java) S 19091 19094 16325 0 -1 4202496 12812 0 1 0 112 2 0 0 20 0 19 0 28158602 9856040960 11988 33554432000 1073741824 1073778376 140735277164544 140735277155680 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19094/statm: 2406260 11988 2254 9 0 2396937 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 9625040
[startup+1.50076 s]
/proc/loadavg: 2.17 2.10 2.08 3/213 19113
/proc/meminfo: memFree=30983552/32872528 swapFree=534252/566956
[pid=19094] ppid=19091 vsize=9625040 CPUtime=1.97 cores=1,3,5,7
/proc/19094/stat : 19094 (java) S 19091 19094 16325 0 -1 4202496 12818 0 1 0 195 2 0 0 20 0 19 0 28158602 9856040960 12504 33554432000 1073741824 1073778376 140735277164544 140735277155680 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19094/statm: 2406260 12504 2256 9 0 2396937 0
[pid=19094/tid=19096] ppid=19091 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/19094/task/19096/stat : 19096 (java) R 19091 19094 16325 0 -1 4202560 2465 0 1 0 145 1 0 0 20 0 19 0 28158603 9856040960 12504 33554432000 1073741824 1073778376 140735277164544 140656350441616 140656290612480 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19094/tid=19097] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19097/stat : 19097 (java) S 19091 19094 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28158604 9856040960 12504 33554432000 1073741824 1073778376 140735277164544 140656289171752 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19098] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19098/stat : 19098 (java) S 19091 19094 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28158604 9856040960 12504 33554432000 1073741824 1073778376 140735277164544 140656288118952 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19094/tid=19099] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19099/stat : 19099 (java) S 19091 19094 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28158604 9856040960 12504 33554432000 1073741824 1073778376 140735277164544 140656191945256 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19094/tid=19100] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19100/stat : 19100 (java) S 19091 19094 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28158604 9856040960 12504 33554432000 1073741824 1073778376 140735277164544 140656190892456 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19094/tid=19101] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19101/stat : 19101 (java) S 19091 19094 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28158604 9856040960 12504 33554432000 1073741824 1073778376 140735277164544 140656189840168 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19102] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19102/stat : 19102 (java) S 19091 19094 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28158604 9856040960 12504 33554432000 1073741824 1073778376 140735277164544 140656188787368 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19094/tid=19103] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19103/stat : 19103 (java) S 19091 19094 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28158604 9856040960 12504 33554432000 1073741824 1073778376 140735277164544 140656187735080 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19104] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19104/stat : 19104 (java) S 19091 19094 16325 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28158604 9856040960 12504 33554432000 1073741824 1073778376 140735277164544 140656186682280 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19105] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19105/stat : 19105 (java) S 19091 19094 16325 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28158606 9856040960 12504 33554432000 1073741824 1073778376 140735277164544 140656174483688 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19106] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19106/stat : 19106 (java) S 19091 19094 16325 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28158606 9856040960 12504 33554432000 1073741824 1073778376 140735277164544 140656173429752 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19107] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19107/stat : 19107 (java) S 19091 19094 16325 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28158606 9856040960 12504 33554432000 1073741824 1073778376 140735277164544 140656172377352 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19108] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19108/stat : 19108 (java) S 19091 19094 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28158608 9856040960 12504 33554432000 1073741824 1073778376 140735277164544 140656171325840 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19109] ppid=19091 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/19094/task/19109/stat : 19109 (java) S 19091 19094 16325 0 -1 4202560 1892 0 0 0 19 0 0 0 20 0 19 0 28158608 9856040960 12504 33554432000 1073741824 1073778376 140735277164544 140656170273464 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19110] ppid=19091 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/19094/task/19110/stat : 19110 (java) S 19091 19094 16325 0 -1 4202560 7189 0 0 0 27 2 0 0 20 0 19 0 28158608 9856040960 12504 33554432000 1073741824 1073778376 140735277164544 140656169220664 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19094/tid=19111] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19111/stat : 19111 (java) S 19091 19094 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28158608 9856040960 12504 33554432000 1073741824 1073778376 140735277164544 140656168168568 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19094/tid=19112] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19112/stat : 19112 (java) S 19091 19094 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28158608 9856040960 12504 33554432000 1073741824 1073778376 140735277164544 140656167115976 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19113] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19113/stat : 19113 (java) S 19091 19094 16325 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28158619 9856040960 12504 33554432000 1073741824 1073778376 140735277164544 140656166060968 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 9625040
[startup+3.10072 s]
/proc/loadavg: 2.17 2.10 2.08 4/213 19113
/proc/meminfo: memFree=30978960/32872528 swapFree=534252/566956
[pid=19094] ppid=19091 vsize=9625040 CPUtime=3.58 cores=1,3,5,7
/proc/19094/stat : 19094 (java) S 19091 19094 16325 0 -1 4202496 12824 0 1 0 355 3 0 0 20 0 19 0 28158602 9856040960 13532 33554432000 1073741824 1073778376 140735277164544 140735277155680 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19094/statm: 2406260 13532 2256 9 0 2396937 0
[pid=19094/tid=19096] ppid=19091 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/19094/task/19096/stat : 19096 (java) R 19091 19094 16325 0 -1 4202560 2467 0 1 0 304 2 0 0 20 0 19 0 28158603 9856040960 13532 33554432000 1073741824 1073778376 140735277164544 140656350432976 140656290613531 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19097] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19097/stat : 19097 (java) S 19091 19094 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28158604 9856040960 13532 33554432000 1073741824 1073778376 140735277164544 140656289171752 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19098] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19098/stat : 19098 (java) S 19091 19094 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28158604 9856040960 13532 33554432000 1073741824 1073778376 140735277164544 140656288118952 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19094/tid=19099] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19099/stat : 19099 (java) S 19091 19094 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28158604 9856040960 13532 33554432000 1073741824 1073778376 140735277164544 140656191945256 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19094/tid=19100] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19100/stat : 19100 (java) S 19091 19094 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28158604 9856040960 13532 33554432000 1073741824 1073778376 140735277164544 140656190892456 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19094/tid=19101] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19101/stat : 19101 (java) S 19091 19094 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28158604 9856040960 13532 33554432000 1073741824 1073778376 140735277164544 140656189840168 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19102] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19102/stat : 19102 (java) S 19091 19094 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28158604 9856040960 13532 33554432000 1073741824 1073778376 140735277164544 140656188787368 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19094/tid=19103] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19103/stat : 19103 (java) S 19091 19094 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28158604 9856040960 13532 33554432000 1073741824 1073778376 140735277164544 140656187735080 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19104] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19104/stat : 19104 (java) S 19091 19094 16325 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28158604 9856040960 13532 33554432000 1073741824 1073778376 140735277164544 140656186682280 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19105] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19105/stat : 19105 (java) S 19091 19094 16325 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28158606 9856040960 13532 33554432000 1073741824 1073778376 140735277164544 140656174483688 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19106] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19106/stat : 19106 (java) S 19091 19094 16325 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28158606 9856040960 13532 33554432000 1073741824 1073778376 140735277164544 140656173429752 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19107] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19107/stat : 19107 (java) S 19091 19094 16325 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28158606 9856040960 13532 33554432000 1073741824 1073778376 140735277164544 140656172377352 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19108] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19108/stat : 19108 (java) S 19091 19094 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28158608 9856040960 13532 33554432000 1073741824 1073778376 140735277164544 140656171325840 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19109] ppid=19091 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/19094/task/19109/stat : 19109 (java) S 19091 19094 16325 0 -1 4202560 1896 0 0 0 20 0 0 0 20 0 19 0 28158608 9856040960 13532 33554432000 1073741824 1073778376 140735277164544 140656170273464 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19110] ppid=19091 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/19094/task/19110/stat : 19110 (java) S 19091 19094 16325 0 -1 4202560 7189 0 0 0 28 2 0 0 20 0 19 0 28158608 9856040960 13532 33554432000 1073741824 1073778376 140735277164544 140656169220664 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19094/tid=19111] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19111/stat : 19111 (java) S 19091 19094 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28158608 9856040960 13532 33554432000 1073741824 1073778376 140735277164544 140656168168568 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19094/tid=19112] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19112/stat : 19112 (java) S 19091 19094 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28158608 9856040960 13532 33554432000 1073741824 1073778376 140735277164544 140656167115976 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19113] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19113/stat : 19113 (java) S 19091 19094 16325 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28158619 9856040960 13532 33554432000 1073741824 1073778376 140735277164544 140656166060968 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.58
Current children cumulated vsize (KiB) 9625040
[startup+6.30079 s]
/proc/loadavg: 2.15 2.10 2.08 3/213 19113
/proc/meminfo: memFree=30980628/32872528 swapFree=534252/566956
[pid=19094] ppid=19091 vsize=9625040 CPUtime=6.83 cores=1,3,5,7
/proc/19094/stat : 19094 (java) S 19091 19094 16325 0 -1 4202496 13553 0 1 0 680 3 0 0 20 0 19 0 28158602 9856040960 12882 33554432000 1073741824 1073778376 140735277164544 140735277155680 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19094/statm: 2406260 12882 2258 9 0 2396937 0
[pid=19094/tid=19096] ppid=19091 vsize=9625040 CPUtime=6.25 cores=1,3,5,7
/proc/19094/task/19096/stat : 19096 (java) R 19091 19094 16325 0 -1 4202560 2473 0 1 0 623 2 0 0 20 0 19 0 28158603 9856040960 12882 33554432000 1073741824 1073778376 140735277164544 140656350432976 140656290583357 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19094/tid=19097] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19097/stat : 19097 (java) S 19091 19094 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28158604 9856040960 12882 33554432000 1073741824 1073778376 140735277164544 140656289171752 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19098] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19098/stat : 19098 (java) S 19091 19094 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28158604 9856040960 12882 33554432000 1073741824 1073778376 140735277164544 140656288118952 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19094/tid=19099] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19099/stat : 19099 (java) S 19091 19094 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28158604 9856040960 12882 33554432000 1073741824 1073778376 140735277164544 140656191945256 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19094/tid=19100] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19100/stat : 19100 (java) S 19091 19094 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28158604 9856040960 12882 33554432000 1073741824 1073778376 140735277164544 140656190892456 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19094/tid=19101] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19101/stat : 19101 (java) S 19091 19094 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28158604 9856040960 12882 33554432000 1073741824 1073778376 140735277164544 140656189840168 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19102] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19102/stat : 19102 (java) S 19091 19094 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28158604 9856040960 12882 33554432000 1073741824 1073778376 140735277164544 140656188787368 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19094/tid=19103] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19103/stat : 19103 (java) S 19091 19094 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28158604 9856040960 12882 33554432000 1073741824 1073778376 140735277164544 140656187735080 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19104] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19104/stat : 19104 (java) S 19091 19094 16325 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28158604 9856040960 12882 33554432000 1073741824 1073778376 140735277164544 140656186682280 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19105] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19105/stat : 19105 (java) S 19091 19094 16325 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28158606 9856040960 12882 33554432000 1073741824 1073778376 140735277164544 140656174483688 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19106] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19106/stat : 19106 (java) S 19091 19094 16325 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28158606 9856040960 12882 33554432000 1073741824 1073778376 140735277164544 140656173429752 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19107] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19107/stat : 19107 (java) S 19091 19094 16325 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28158606 9856040960 12882 33554432000 1073741824 1073778376 140735277164544 140656172377352 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19108] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19108/stat : 19108 (java) S 19091 19094 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28158608 9856040960 12882 33554432000 1073741824 1073778376 140735277164544 140656171325840 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19109] ppid=19091 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/19094/task/19109/stat : 19109 (java) S 19091 19094 16325 0 -1 4202560 2618 0 0 0 25 0 0 0 20 0 19 0 28158608 9856040960 12882 33554432000 1073741824 1073778376 140735277164544 140656170273464 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19110] ppid=19091 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/19094/task/19110/stat : 19110 (java) S 19091 19094 16325 0 -1 4202560 7189 0 0 0 28 2 0 0 20 0 19 0 28158608 9856040960 12882 33554432000 1073741824 1073778376 140735277164544 140656169220664 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19094/tid=19111] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19111/stat : 19111 (java) S 19091 19094 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28158608 9856040960 12882 33554432000 1073741824 1073778376 140735277164544 140656168168568 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19094/tid=19112] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19112/stat : 19112 (java) S 19091 19094 16325 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 28158608 9856040960 12882 33554432000 1073741824 1073778376 140735277164544 140656167115976 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19113] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19113/stat : 19113 (java) S 19091 19094 16325 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28158619 9856040960 12882 33554432000 1073741824 1073778376 140735277164544 140656166060968 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.83
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=19094/tid=19106] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19106/stat : 19106 (java) S 19091 19094 16325 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28158606 9856040960 78788 33554432000 1073741824 1073778376 140735277164544 140656173429752 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19107] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19107/stat : 19107 (java) S 19091 19094 16325 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28158606 9856040960 78788 33554432000 1073741824 1073778376 140735277164544 140656172377352 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19108] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19108/stat : 19108 (java) S 19091 19094 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28158608 9856040960 78788 33554432000 1073741824 1073778376 140735277164544 140656171325840 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19109] ppid=19091 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/19094/task/19109/stat : 19109 (java) S 19091 19094 16325 0 -1 4202560 3035 0 0 0 27 0 0 0 20 0 19 0 28158608 9856040960 78788 33554432000 1073741824 1073778376 140735277164544 140656170273464 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19110] ppid=19091 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/19094/task/19110/stat : 19110 (java) S 19091 19094 16325 0 -1 4202560 7189 0 0 0 28 2 0 0 20 0 19 0 28158608 9856040960 78788 33554432000 1073741824 1073778376 140735277164544 140656169220664 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19094/tid=19111] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19111/stat : 19111 (java) S 19091 19094 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28158608 9856040960 78788 33554432000 1073741824 1073778376 140735277164544 140656168168568 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19094/tid=19112] ppid=19091 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/19094/task/19112/stat : 19112 (java) S 19091 19094 16325 0 -1 4202560 98 0 0 0 17 23 0 0 20 0 19 0 28158608 9856040960 78788 33554432000 1073741824 1073778376 140735277164544 140656167115976 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19094/tid=19113] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19113/stat : 19113 (java) S 19091 19094 16325 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28158619 9856040960 78788 33554432000 1073741824 1073778376 140735277164544 140656166060968 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1663.31
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 2.00 4/213 19245
/proc/meminfo: memFree=30749892/32872528 swapFree=534252/566956
[pid=19094] ppid=19091 vsize=9625040 CPUtime=1723.58 cores=1,3,5,7
/proc/19094/stat : 19094 (java) S 19091 19094 16325 0 -1 4202496 15045 0 1 0 172311 47 0 0 20 0 19 0 28158602 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140735277155680 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19094/statm: 2406260 86487 2272 9 0 2396937 0
[pid=19094/tid=19096] ppid=19091 vsize=9625040 CPUtime=1721.67 cores=1,3,5,7
/proc/19094/task/19096/stat : 19096 (java) R 19091 19094 16325 0 -1 4202560 2536 0 1 0 172135 32 0 0 20 0 19 0 28158603 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656350440672 140656290612513 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19097] ppid=19091 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/19094/task/19097/stat : 19097 (java) S 19091 19094 16325 0 -1 4202560 60 0 0 0 11 2 0 0 20 0 19 0 28158604 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656289171752 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19094/tid=19098] ppid=19091 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/19094/task/19098/stat : 19098 (java) S 19091 19094 16325 0 -1 4202560 191 0 0 0 15 3 0 0 20 0 19 0 28158604 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656288118952 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19094/tid=19099] ppid=19091 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/19094/task/19099/stat : 19099 (java) S 19091 19094 16325 0 -1 4202560 32 0 0 0 11 2 0 0 20 0 19 0 28158604 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656191945256 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19100] ppid=19091 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/19094/task/19100/stat : 19100 (java) S 19091 19094 16325 0 -1 4202560 163 0 0 0 10 2 0 0 20 0 19 0 28158604 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656190892456 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19094/tid=19101] ppid=19091 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/19094/task/19101/stat : 19101 (java) S 19091 19094 16325 0 -1 4202560 27 0 0 0 9 2 0 0 20 0 19 0 28158604 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656189840168 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19094/tid=19102] ppid=19091 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/19094/task/19102/stat : 19102 (java) S 19091 19094 16325 0 -1 4202560 168 0 0 0 10 3 0 0 20 0 19 0 28158604 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656188787368 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19103] ppid=19091 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/19094/task/19103/stat : 19103 (java) S 19091 19094 16325 0 -1 4202560 51 0 0 0 13 3 0 0 20 0 19 0 28158604 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656187735080 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19094/tid=19104] ppid=19091 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/19094/task/19104/stat : 19104 (java) S 19091 19094 16325 0 -1 4202560 150 0 0 0 10 2 0 0 20 0 19 0 28158604 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656186682280 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19094/tid=19105] ppid=19091 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/19094/task/19105/stat : 19105 (java) S 19091 19094 16325 0 -1 4202560 85 0 0 0 1 0 0 0 20 0 19 0 28158606 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656174483688 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19094/tid=19106] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19106/stat : 19106 (java) S 19091 19094 16325 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28158606 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656173429752 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19107] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19107/stat : 19107 (java) S 19091 19094 16325 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28158606 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656172377352 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19108] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19108/stat : 19108 (java) S 19091 19094 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28158608 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656171325840 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19109] ppid=19091 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/19094/task/19109/stat : 19109 (java) S 19091 19094 16325 0 -1 4202560 3035 0 0 0 27 0 0 0 20 0 19 0 28158608 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656170273464 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19110] ppid=19091 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/19094/task/19110/stat : 19110 (java) S 19091 19094 16325 0 -1 4202560 7189 0 0 0 28 2 0 0 20 0 19 0 28158608 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656169220664 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19094/tid=19111] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19111/stat : 19111 (java) S 19091 19094 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28158608 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656168168568 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19094/tid=19112] ppid=19091 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/19094/task/19112/stat : 19112 (java) S 19091 19094 16325 0 -1 4202560 100 0 0 0 18 24 0 0 20 0 19 0 28158608 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656167115976 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19094/tid=19113] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19113/stat : 19113 (java) S 19091 19094 16325 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28158619 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656166060968 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1723.58
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/213 19246
/proc/meminfo: memFree=30685908/32872528 swapFree=534252/566956
[pid=19094] ppid=19091 vsize=9625040 CPUtime=1783.58 cores=1,3,5,7
/proc/19094/stat : 19094 (java) S 19091 19094 16325 0 -1 4202496 15049 0 1 0 178310 48 0 0 20 0 19 0 28158602 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140735277155680 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19094/statm: 2406260 86487 2272 9 0 2396937 0
[pid=19094/tid=19096] ppid=19091 vsize=9625040 CPUtime=1781.67 cores=1,3,5,7
/proc/19094/task/19096/stat : 19096 (java) R 19091 19094 16325 0 -1 4202560 2536 0 1 0 178134 33 0 0 20 0 19 0 28158603 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656350432960 140656290612513 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19097] ppid=19091 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/19094/task/19097/stat : 19097 (java) S 19091 19094 16325 0 -1 4202560 60 0 0 0 11 2 0 0 20 0 19 0 28158604 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656289171752 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19094/tid=19098] ppid=19091 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/19094/task/19098/stat : 19098 (java) S 19091 19094 16325 0 -1 4202560 191 0 0 0 15 3 0 0 20 0 19 0 28158604 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656288118952 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19094/tid=19099] ppid=19091 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/19094/task/19099/stat : 19099 (java) S 19091 19094 16325 0 -1 4202560 32 0 0 0 11 2 0 0 20 0 19 0 28158604 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656191945256 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19100] ppid=19091 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/19094/task/19100/stat : 19100 (java) S 19091 19094 16325 0 -1 4202560 163 0 0 0 10 2 0 0 20 0 19 0 28158604 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656190892456 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19094/tid=19101] ppid=19091 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/19094/task/19101/stat : 19101 (java) S 19091 19094 16325 0 -1 4202560 27 0 0 0 9 2 0 0 20 0 19 0 28158604 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656189840168 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19094/tid=19102] ppid=19091 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/19094/task/19102/stat : 19102 (java) S 19091 19094 16325 0 -1 4202560 168 0 0 0 10 3 0 0 20 0 19 0 28158604 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656188787368 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19103] ppid=19091 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/19094/task/19103/stat : 19103 (java) S 19091 19094 16325 0 -1 4202560 51 0 0 0 13 3 0 0 20 0 19 0 28158604 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656187735080 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19094/tid=19104] ppid=19091 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/19094/task/19104/stat : 19104 (java) S 19091 19094 16325 0 -1 4202560 150 0 0 0 10 2 0 0 20 0 19 0 28158604 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656186682280 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19094/tid=19105] ppid=19091 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/19094/task/19105/stat : 19105 (java) S 19091 19094 16325 0 -1 4202560 85 0 0 0 1 0 0 0 20 0 19 0 28158606 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656174483688 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19094/tid=19106] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19106/stat : 19106 (java) S 19091 19094 16325 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28158606 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656173429752 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19107] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19107/stat : 19107 (java) S 19091 19094 16325 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28158606 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656172377352 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19108] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19108/stat : 19108 (java) S 19091 19094 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28158608 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656171325840 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19109] ppid=19091 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/19094/task/19109/stat : 19109 (java) S 19091 19094 16325 0 -1 4202560 3035 0 0 0 27 0 0 0 20 0 19 0 28158608 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656170273464 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19110] ppid=19091 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/19094/task/19110/stat : 19110 (java) S 19091 19094 16325 0 -1 4202560 7189 0 0 0 28 2 0 0 20 0 19 0 28158608 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656169220664 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19094/tid=19111] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19111/stat : 19111 (java) S 19091 19094 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28158608 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656168168568 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19094/tid=19112] ppid=19091 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/19094/task/19112/stat : 19112 (java) S 19091 19094 16325 0 -1 4202560 104 0 0 0 20 24 0 0 20 0 19 0 28158608 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656167115976 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19094/tid=19113] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19113/stat : 19113 (java) S 19091 19094 16325 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28158619 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656166060968 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1783.58
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.8 s]
/proc/loadavg: 2.06 2.03 2.00 3/213 19246
/proc/meminfo: memFree=30686160/32872528 swapFree=534252/566956
[pid=19094] ppid=19091 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7
/proc/19094/stat : 19094 (java) S 19091 19094 16325 0 -1 4202496 15051 0 1 0 179960 48 0 0 20 0 19 0 28158602 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140735277155680 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19094/statm: 2406260 86487 2272 9 0 2396937 0
[pid=19094/tid=19096] ppid=19091 vsize=9625040 CPUtime=1798.16 cores=1,3,5,7
/proc/19094/task/19096/stat : 19096 (java) R 19091 19094 16325 0 -1 4202560 2536 0 1 0 179783 33 0 0 20 0 19 0 28158603 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656350432960 140656290643247 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19094/tid=19097] ppid=19091 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/19094/task/19097/stat : 19097 (java) S 19091 19094 16325 0 -1 4202560 60 0 0 0 11 2 0 0 20 0 19 0 28158604 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656289171752 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19094/tid=19098] ppid=19091 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/19094/task/19098/stat : 19098 (java) S 19091 19094 16325 0 -1 4202560 191 0 0 0 15 3 0 0 20 0 19 0 28158604 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656288118952 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19094/tid=19099] ppid=19091 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/19094/task/19099/stat : 19099 (java) S 19091 19094 16325 0 -1 4202560 32 0 0 0 11 2 0 0 20 0 19 0 28158604 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656191945256 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19100] ppid=19091 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/19094/task/19100/stat : 19100 (java) S 19091 19094 16325 0 -1 4202560 163 0 0 0 10 2 0 0 20 0 19 0 28158604 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656190892456 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19094/tid=19101] ppid=19091 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/19094/task/19101/stat : 19101 (java) S 19091 19094 16325 0 -1 4202560 27 0 0 0 9 2 0 0 20 0 19 0 28158604 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656189840168 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19094/tid=19102] ppid=19091 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/19094/task/19102/stat : 19102 (java) S 19091 19094 16325 0 -1 4202560 168 0 0 0 10 3 0 0 20 0 19 0 28158604 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656188787368 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19103] ppid=19091 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/19094/task/19103/stat : 19103 (java) S 19091 19094 16325 0 -1 4202560 51 0 0 0 13 3 0 0 20 0 19 0 28158604 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656187735080 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19094/tid=19104] ppid=19091 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/19094/task/19104/stat : 19104 (java) S 19091 19094 16325 0 -1 4202560 150 0 0 0 10 2 0 0 20 0 19 0 28158604 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656186682280 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19094/tid=19105] ppid=19091 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/19094/task/19105/stat : 19105 (java) S 19091 19094 16325 0 -1 4202560 85 0 0 0 1 0 0 0 20 0 19 0 28158606 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656174483688 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19094/tid=19106] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19106/stat : 19106 (java) S 19091 19094 16325 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28158606 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656173429752 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19107] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19107/stat : 19107 (java) S 19091 19094 16325 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28158606 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656172377352 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19108] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19108/stat : 19108 (java) S 19091 19094 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28158608 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656171325840 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19109] ppid=19091 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/19094/task/19109/stat : 19109 (java) S 19091 19094 16325 0 -1 4202560 3035 0 0 0 27 0 0 0 20 0 19 0 28158608 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656170273464 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19094/tid=19110] ppid=19091 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/19094/task/19110/stat : 19110 (java) S 19091 19094 16325 0 -1 4202560 7189 0 0 0 28 2 0 0 20 0 19 0 28158608 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656169220664 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19094/tid=19111] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19111/stat : 19111 (java) S 19091 19094 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28158608 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656168168568 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19094/tid=19112] ppid=19091 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/19094/task/19112/stat : 19112 (java) S 19091 19094 16325 0 -1 4202560 106 0 0 0 20 24 0 0 20 0 19 0 28158608 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656167115976 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19094/tid=19113] ppid=19091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19094/task/19113/stat : 19113 (java) S 19091 19094 16325 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28158619 9856040960 86487 33554432000 1073741824 1073778376 140735277164544 140656166060968 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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 19094 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1798.84
CPU time (s): 1800.61
CPU user time (s): 1799.69
CPU system time (s): 0.922859
CPU usage (%): 100.098
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.69
system time used= 0.922859
maximum resident set size= 346120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15101
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38289
involuntary context switches= 20568
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2024 second user time and 13.5839 second system time
The end