runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3689497-1337891172/watcher-3689497-1337891172 -o /tmp/evaluation-result-3689497-1337891172/solver-3689497-1337891172 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689497-1337891172.opb
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.06 2.02 2.00 3/194 22069
/proc/meminfo: memFree=27659864/32873648 swapFree=7360/7360
[pid=22069] ppid=22067 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/22069/stat : 22069 (java) R 22067 22069 16961 0 -1 4202496 985 0 0 0 0 0 0 0 20 0 1 0 255241295 23793664 713 33554432000 1073741824 1073778376 140735217880336 140735217869400 251043821648 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22069/statm: 5809 713 528 9 0 128 0
[startup+0.050462 s]
/proc/loadavg: 2.06 2.02 2.00 3/194 22069
/proc/meminfo: memFree=27659864/32873648 swapFree=7360/7360
[pid=22069] ppid=22067 vsize=9558380 CPUtime=0.03 cores=1,3,5,7
/proc/22069/stat : 22069 (java) S 22067 22069 16961 0 -1 4202496 3160 0 1 0 3 0 0 0 20 0 18 0 255241295 9787781120 4369 33554432000 1073741824 1073778376 140735217880336 140735217871472 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22069/statm: 2389595 4369 1745 9 0 2380296 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9558380
[startup+0.100286 s]
/proc/loadavg: 2.06 2.02 2.00 3/194 22069
/proc/meminfo: memFree=27659864/32873648 swapFree=7360/7360
[pid=22069] ppid=22067 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/22069/stat : 22069 (java) S 22067 22069 16961 0 -1 4202496 4451 0 1 0 10 1 0 0 20 0 18 0 255241295 9787813888 6114 33554432000 1073741824 1073778376 140735217880336 140735217871472 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22069/statm: 2389603 6114 2138 9 0 2380296 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412
[startup+0.300285 s]
/proc/loadavg: 2.06 2.02 2.00 3/194 22069
/proc/meminfo: memFree=27659864/32873648 swapFree=7360/7360
[pid=22069] ppid=22067 vsize=9558412 CPUtime=0.54 cores=1,3,5,7
/proc/22069/stat : 22069 (java) S 22067 22069 16961 0 -1 4202496 6059 0 1 0 53 1 0 0 20 0 18 0 255241295 9787813888 10466 33554432000 1073741824 1073778376 140735217880336 140735217871472 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22069/statm: 2389603 10466 2224 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558412
[startup+0.70023 s]
/proc/loadavg: 2.06 2.02 2.00 3/194 22069
/proc/meminfo: memFree=27659864/32873648 swapFree=7360/7360
[pid=22069] ppid=22067 vsize=9624976 CPUtime=1.23 cores=1,3,5,7
/proc/22069/stat : 22069 (java) S 22067 22069 16961 0 -1 4202496 8012 0 1 0 121 2 0 0 20 0 19 0 255241295 9855975424 17323 33554432000 1073741824 1073778376 140735217880336 140735217871472 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22069/statm: 2406244 17323 2251 9 0 2396937 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 9624976
[startup+1.50075 s]
/proc/loadavg: 2.06 2.02 2.00 3/213 22088
/proc/meminfo: memFree=27586540/32873648 swapFree=7360/7360
[pid=22069] ppid=22067 vsize=9624976 CPUtime=2.11 cores=1,3,5,7
/proc/22069/stat : 22069 (java) S 22067 22069 16961 0 -1 4202496 8241 0 1 0 209 2 0 0 20 0 19 0 255241295 9855975424 20956 33554432000 1073741824 1073778376 140735217880336 140735217871472 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22069/statm: 2406244 20956 2276 9 0 2396937 0
[pid=22069/tid=22071] ppid=22067 vsize=9624976 CPUtime=1.45 cores=1,3,5,7
/proc/22069/task/22071/stat : 22071 (java) R 22067 22069 16961 0 -1 4202560 2476 0 1 0 143 2 0 0 20 0 19 0 255241296 9855975424 20956 33554432000 1073741824 1073778376 140735217880336 140462972662168 140462829163070 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22072] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22072/stat : 22072 (java) S 22067 22069 16961 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255241296 9855975424 20956 33554432000 1073741824 1073778376 140735217880336 140462950762920 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22073] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22073/stat : 22073 (java) S 22067 22069 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255241296 9855975424 20956 33554432000 1073741824 1073778376 140735217880336 140462949710376 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22074] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22074/stat : 22074 (java) S 22067 22069 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255241296 9855975424 20956 33554432000 1073741824 1073778376 140735217880336 140462948657320 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22075] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22075/stat : 22075 (java) S 22067 22069 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255241296 9855975424 20956 33554432000 1073741824 1073778376 140735217880336 140462947604776 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22076] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22076/stat : 22076 (java) S 22067 22069 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255241297 9855975424 20956 33554432000 1073741824 1073778376 140735217880336 140462610443176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22077] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22077/stat : 22077 (java) S 22067 22069 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255241297 9855975424 20956 33554432000 1073741824 1073778376 140735217880336 140462609390632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22078] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22078/stat : 22078 (java) S 22067 22069 16961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255241297 9855975424 20956 33554432000 1073741824 1073778376 140735217880336 140462608337576 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22079] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22079/stat : 22079 (java) S 22067 22069 16961 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255241297 9855975424 20956 33554432000 1073741824 1073778376 140735217880336 140462607285032 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22080] ppid=22067 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/22069/task/22080/stat : 22080 (java) S 22067 22069 16961 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 19 0 255241298 9855975424 20956 33554432000 1073741824 1073778376 140735217880336 140462595086696 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22081] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22081/stat : 22081 (java) S 22067 22069 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255241298 9855975424 20956 33554432000 1073741824 1073778376 140735217880336 140462594033016 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22082] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22082/stat : 22082 (java) S 22067 22069 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255241298 9855975424 20956 33554432000 1073741824 1073778376 140735217880336 140462592979848 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22083] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22083/stat : 22083 (java) S 22067 22069 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255241300 9855975424 20956 33554432000 1073741824 1073778376 140735217880336 140462591928592 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22084] ppid=22067 vsize=9624976 CPUtime=0.31 cores=1,3,5,7
/proc/22069/task/22084/stat : 22084 (java) S 22067 22069 16961 0 -1 4202560 2119 0 0 0 31 0 0 0 20 0 19 0 255241300 9855975424 20956 33554432000 1073741824 1073778376 140735217880336 140462590876472 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22085] ppid=22067 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/22069/task/22085/stat : 22085 (java) S 22067 22069 16961 0 -1 4202560 2389 0 0 0 27 0 0 0 20 0 19 0 255241300 9855975424 20956 33554432000 1073741824 1073778376 140735217880336 140462589823928 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22086] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22086/stat : 22086 (java) S 22067 22069 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255241300 9855975424 20956 33554432000 1073741824 1073778376 140735217880336 140462588771064 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22087] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22087/stat : 22087 (java) S 22067 22069 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255241300 9855975424 20956 33554432000 1073741824 1073778376 140735217880336 140462587718728 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22088] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22088/stat : 22088 (java) S 22067 22069 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255241333 9855975424 20956 33554432000 1073741824 1073778376 140735217880336 140462586663976 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.11
Current children cumulated vsize (KiB) 9624976
[startup+3.10065 s]
/proc/loadavg: 2.06 2.02 2.00 3/213 22088
/proc/meminfo: memFree=27584244/32873648 swapFree=7360/7360
[pid=22069] ppid=22067 vsize=9624976 CPUtime=3.78 cores=1,3,5,7
/proc/22069/stat : 22069 (java) S 22067 22069 16961 0 -1 4202496 8876 0 1 0 376 2 0 0 20 0 19 0 255241295 9855975424 21115 33554432000 1073741824 1073778376 140735217880336 140735217871472 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22069/statm: 2406244 21115 2276 9 0 2396937 0
[pid=22069/tid=22071] ppid=22067 vsize=9624976 CPUtime=3.01 cores=1,3,5,7
/proc/22069/task/22071/stat : 22071 (java) R 22067 22069 16961 0 -1 4202560 2477 0 1 0 299 2 0 0 20 0 19 0 255241296 9855975424 21115 33554432000 1073741824 1073778376 140735217880336 140462972662168 140462829163248 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22072] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22072/stat : 22072 (java) S 22067 22069 16961 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255241296 9855975424 21115 33554432000 1073741824 1073778376 140735217880336 140462950762920 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22073] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22073/stat : 22073 (java) S 22067 22069 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255241296 9855975424 21115 33554432000 1073741824 1073778376 140735217880336 140462949710376 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22074] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22074/stat : 22074 (java) S 22067 22069 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255241296 9855975424 21115 33554432000 1073741824 1073778376 140735217880336 140462948657320 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22075] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22075/stat : 22075 (java) S 22067 22069 16961 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 255241296 9855975424 21115 33554432000 1073741824 1073778376 140735217880336 140462947604776 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22076] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22076/stat : 22076 (java) S 22067 22069 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255241297 9855975424 21115 33554432000 1073741824 1073778376 140735217880336 140462610443176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22077] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22077/stat : 22077 (java) S 22067 22069 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255241297 9855975424 21115 33554432000 1073741824 1073778376 140735217880336 140462609390632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22078] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22078/stat : 22078 (java) S 22067 22069 16961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255241297 9855975424 21115 33554432000 1073741824 1073778376 140735217880336 140462608337576 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22079] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22079/stat : 22079 (java) S 22067 22069 16961 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255241297 9855975424 21115 33554432000 1073741824 1073778376 140735217880336 140462607285032 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22080] ppid=22067 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/22069/task/22080/stat : 22080 (java) S 22067 22069 16961 0 -1 4202560 32 0 0 0 4 0 0 0 20 0 19 0 255241298 9855975424 21115 33554432000 1073741824 1073778376 140735217880336 140462595086696 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22081] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22081/stat : 22081 (java) S 22067 22069 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255241298 9855975424 21115 33554432000 1073741824 1073778376 140735217880336 140462594033016 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22082] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22082/stat : 22082 (java) S 22067 22069 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255241298 9855975424 21115 33554432000 1073741824 1073778376 140735217880336 140462592979848 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22083] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22083/stat : 22083 (java) S 22067 22069 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255241300 9855975424 21115 33554432000 1073741824 1073778376 140735217880336 140462591928592 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22084] ppid=22067 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/22069/task/22084/stat : 22084 (java) S 22067 22069 16961 0 -1 4202560 2734 0 0 0 37 0 0 0 20 0 19 0 255241300 9855975424 21115 33554432000 1073741824 1073778376 140735217880336 140462590876472 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22085] ppid=22067 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/22069/task/22085/stat : 22085 (java) S 22067 22069 16961 0 -1 4202560 2390 0 0 0 27 0 0 0 20 0 19 0 255241300 9855975424 21115 33554432000 1073741824 1073778376 140735217880336 140462589823928 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22086] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22086/stat : 22086 (java) S 22067 22069 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255241300 9855975424 21115 33554432000 1073741824 1073778376 140735217880336 140462588771064 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22087] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22087/stat : 22087 (java) S 22067 22069 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255241300 9855975424 21115 33554432000 1073741824 1073778376 140735217880336 140462587718728 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22088] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22088/stat : 22088 (java) S 22067 22069 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255241333 9855975424 21115 33554432000 1073741824 1073778376 140735217880336 140462586663976 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 9624976
[startup+6.30064 s]
/proc/loadavg: 2.06 2.01 2.00 3/213 22088
/proc/meminfo: memFree=27580996/32873648 swapFree=7360/7360
[pid=22069] ppid=22067 vsize=9624976 CPUtime=6.98 cores=1,3,5,7
/proc/22069/stat : 22069 (java) S 22067 22069 16961 0 -1 4202496 8887 0 1 0 696 2 0 0 20 0 19 0 255241295 9855975424 21601 33554432000 1073741824 1073778376 140735217880336 140735217871472 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22069/statm: 2406244 21601 2276 9 0 2396937 0
[pid=22069/tid=22071] ppid=22067 vsize=9624976 CPUtime=6.16 cores=1,3,5,7
/proc/22069/task/22071/stat : 22071 (java) R 22067 22069 16961 0 -1 4202560 2481 0 1 0 614 2 0 0 20 0 19 0 255241296 9855975424 21601 33554432000 1073741824 1073778376 140735217880336 140462972662048 140462828783401 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22072] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22072/stat : 22072 (java) S 22067 22069 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255241296 9855975424 21601 33554432000 1073741824 1073778376 140735217880336 140462950762920 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22073] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22073/stat : 22073 (java) S 22067 22069 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255241296 9855975424 21601 33554432000 1073741824 1073778376 140735217880336 140462949710376 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22074] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22074/stat : 22074 (java) S 22067 22069 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255241296 9855975424 21601 33554432000 1073741824 1073778376 140735217880336 140462948657320 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22075] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22075/stat : 22075 (java) S 22067 22069 16961 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 255241296 9855975424 21601 33554432000 1073741824 1073778376 140735217880336 140462947604776 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22076] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22076/stat : 22076 (java) S 22067 22069 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255241297 9855975424 21601 33554432000 1073741824 1073778376 140735217880336 140462610443176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22077] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22077/stat : 22077 (java) S 22067 22069 16961 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255241297 9855975424 21601 33554432000 1073741824 1073778376 140735217880336 140462609390632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22078] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22078/stat : 22078 (java) S 22067 22069 16961 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255241297 9855975424 21601 33554432000 1073741824 1073778376 140735217880336 140462608337576 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22079] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22079/stat : 22079 (java) S 22067 22069 16961 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255241297 9855975424 21601 33554432000 1073741824 1073778376 140735217880336 140462607285032 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22080] ppid=22067 vsize=9624976 CPUtime=0.08 cores=1,3,5,7
/proc/22069/task/22080/stat : 22080 (java) S 22067 22069 16961 0 -1 4202560 33 0 0 0 8 0 0 0 20 0 19 0 255241298 9855975424 21601 33554432000 1073741824 1073778376 140735217880336 140462595086696 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22081] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22081/stat : 22081 (java) S 22067 22069 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255241298 9855975424 21601 33554432000 1073741824 1073778376 140735217880336 140462594033016 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22082] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22082/stat : 22082 (java) S 22067 22069 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255241298 9855975424 21601 33554432000 1073741824 1073778376 140735217880336 140462592979848 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22083] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22083/stat : 22083 (java) S 22067 22069 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255241300 9855975424 21601 33554432000 1073741824 1073778376 140735217880336 140462591928592 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22084] ppid=22067 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/22069/task/22084/stat : 22084 (java) S 22067 22069 16961 0 -1 4202560 2734 0 0 0 37 0 0 0 20 0 19 0 255241300 9855975424 21601 33554432000 1073741824 1073778376 140735217880336 140462590876472 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22085] ppid=22067 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/22069/task/22085/stat : 22085 (java) S 22067 22069 16961 0 -1 4202560 2390 0 0 0 27 0 0 0 20 0 19 0 255241300 9855975424 21601 33554432000 1073741824 1073778376 140735217880336 140462589823928 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22086] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22086/stat : 22086 (java) S 22067 22069 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255241300 9855975424 21601 33554432000 1073741824 1073778376 140735217880336 140462588771064 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22087] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22087/stat : 22087 (java) S 22067 22069 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255241300 9855975424 21601 33554432000 1073741824 1073778376 140735217880336 140462587718728 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22088] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22088/stat : 22088 (java) S 22067 22069 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255241333 9855975424 21601 33554432000 1073741824 1073778376 140735217880336 140462586663976 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.98
Current children cumulated vsize (KiB) 9624976
[startup+12.7006 s]
################
# More data... #
################
[pid=22069/tid=22077] ppid=22067 vsize=9624976 CPUtime=0.76 cores=1,3,5,7
/proc/22069/task/22077/stat : 22077 (java) S 22067 22069 16961 0 -1 4202560 320 0 0 0 74 2 0 0 20 0 19 0 255241297 9855975424 53592 33554432000 1073741824 1073778376 140735217880336 140462609390632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22078] ppid=22067 vsize=9624976 CPUtime=0.78 cores=1,3,5,7
/proc/22069/task/22078/stat : 22078 (java) S 22067 22069 16961 0 -1 4202560 269 0 0 0 76 2 0 0 20 0 19 0 255241297 9855975424 53592 33554432000 1073741824 1073778376 140735217880336 140462608337576 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22079] ppid=22067 vsize=9624976 CPUtime=0.78 cores=1,3,5,7
/proc/22069/task/22079/stat : 22079 (java) S 22067 22069 16961 0 -1 4202560 288 0 0 0 76 2 0 0 20 0 19 0 255241297 9855975424 53592 33554432000 1073741824 1073778376 140735217880336 140462607285032 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22080] ppid=22067 vsize=9624976 CPUtime=8.88 cores=1,3,5,7
/proc/22069/task/22080/stat : 22080 (java) S 22067 22069 16961 0 -1 4202560 166 0 0 0 884 4 0 0 20 0 19 0 255241298 9855975424 53592 33554432000 1073741824 1073778376 140735217880336 140462595086696 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22081] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22081/stat : 22081 (java) S 22067 22069 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255241298 9855975424 53592 33554432000 1073741824 1073778376 140735217880336 140462594033016 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22082] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22082/stat : 22082 (java) S 22067 22069 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255241298 9855975424 53592 33554432000 1073741824 1073778376 140735217880336 140462592979848 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22083] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22083/stat : 22083 (java) S 22067 22069 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255241300 9855975424 53592 33554432000 1073741824 1073778376 140735217880336 140462591928592 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22084] ppid=22067 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/22069/task/22084/stat : 22084 (java) S 22067 22069 16961 0 -1 4202560 2993 0 0 0 39 0 0 0 20 0 19 0 255241300 9855975424 53592 33554432000 1073741824 1073778376 140735217880336 140462590876472 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22085] ppid=22067 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/22069/task/22085/stat : 22085 (java) S 22067 22069 16961 0 -1 4202560 2390 0 0 0 27 0 0 0 20 0 19 0 255241300 9855975424 53592 33554432000 1073741824 1073778376 140735217880336 140462589823928 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22086] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22086/stat : 22086 (java) S 22067 22069 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255241300 9855975424 53592 33554432000 1073741824 1073778376 140735217880336 140462588771064 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22087] ppid=22067 vsize=9624976 CPUtime=0.34 cores=1,3,5,7
/proc/22069/task/22087/stat : 22087 (java) S 22067 22069 16961 0 -1 4202560 99 0 0 0 14 20 0 0 20 0 19 0 255241300 9855975424 53592 33554432000 1073741824 1073778376 140735217880336 140462587718728 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22088] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22088/stat : 22088 (java) S 22067 22069 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255241333 9855975424 53592 33554432000 1073741824 1073778376 140735217880336 140462586663976 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1727.28
Current children cumulated vsize (KiB) 9624976
[startup+1782.3 s]
/proc/loadavg: 2.11 2.09 2.02 3/213 22163
/proc/meminfo: memFree=28512476/32873648 swapFree=7360/7360
[pid=22069] ppid=22067 vsize=9624976 CPUtime=1787.44 cores=1,3,5,7
/proc/22069/stat : 22069 (java) S 22067 22069 16961 0 -1 4202496 12036 0 1 0 178709 35 0 0 20 0 19 0 255241295 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140735217871472 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22069/statm: 2406244 56153 2277 9 0 2396937 0
[pid=22069/tid=22071] ppid=22067 vsize=9624976 CPUtime=1771.05 cores=1,3,5,7
/proc/22069/task/22071/stat : 22071 (java) R 22067 22069 16961 0 -1 4202560 2667 0 1 0 177075 30 0 0 20 0 19 0 255241296 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462972662048 140462829121155 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22072] ppid=22067 vsize=9624976 CPUtime=0.88 cores=1,3,5,7
/proc/22069/task/22072/stat : 22072 (java) S 22067 22069 16961 0 -1 4202560 267 0 0 0 86 2 0 0 20 0 19 0 255241296 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462950762920 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22073] ppid=22067 vsize=9624976 CPUtime=0.77 cores=1,3,5,7
/proc/22069/task/22073/stat : 22073 (java) S 22067 22069 16961 0 -1 4202560 473 0 0 0 76 1 0 0 20 0 19 0 255241296 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462949710376 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22074] ppid=22067 vsize=9624976 CPUtime=0.8 cores=1,3,5,7
/proc/22069/task/22074/stat : 22074 (java) S 22067 22069 16961 0 -1 4202560 261 0 0 0 80 0 0 0 20 0 19 0 255241296 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462948657320 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22075] ppid=22067 vsize=9624976 CPUtime=0.86 cores=1,3,5,7
/proc/22069/task/22075/stat : 22075 (java) S 22067 22069 16961 0 -1 4202560 275 0 0 0 84 2 0 0 20 0 19 0 255241296 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462947604776 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22076] ppid=22067 vsize=9624976 CPUtime=0.84 cores=1,3,5,7
/proc/22069/task/22076/stat : 22076 (java) S 22067 22069 16961 0 -1 4202560 369 0 0 0 82 2 0 0 20 0 19 0 255241297 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462610443176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22077] ppid=22067 vsize=9624976 CPUtime=0.78 cores=1,3,5,7
/proc/22069/task/22077/stat : 22077 (java) S 22067 22069 16961 0 -1 4202560 322 0 0 0 76 2 0 0 20 0 19 0 255241297 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462609390632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22078] ppid=22067 vsize=9624976 CPUtime=0.81 cores=1,3,5,7
/proc/22069/task/22078/stat : 22078 (java) S 22067 22069 16961 0 -1 4202560 269 0 0 0 79 2 0 0 20 0 19 0 255241297 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462608337576 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22079] ppid=22067 vsize=9624976 CPUtime=0.82 cores=1,3,5,7
/proc/22069/task/22079/stat : 22079 (java) S 22067 22069 16961 0 -1 4202560 290 0 0 0 80 2 0 0 20 0 19 0 255241297 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462607285032 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22080] ppid=22067 vsize=9624976 CPUtime=9.12 cores=1,3,5,7
/proc/22069/task/22080/stat : 22080 (java) S 22067 22069 16961 0 -1 4202560 172 0 0 0 908 4 0 0 20 0 19 0 255241298 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462595086696 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22081] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22081/stat : 22081 (java) S 22067 22069 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255241298 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462594033016 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22082] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22082/stat : 22082 (java) S 22067 22069 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255241298 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462592979848 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22083] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22083/stat : 22083 (java) S 22067 22069 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255241300 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462591928592 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22084] ppid=22067 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/22069/task/22084/stat : 22084 (java) S 22067 22069 16961 0 -1 4202560 2993 0 0 0 39 0 0 0 20 0 19 0 255241300 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462590876472 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22085] ppid=22067 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/22069/task/22085/stat : 22085 (java) S 22067 22069 16961 0 -1 4202560 2390 0 0 0 27 0 0 0 20 0 19 0 255241300 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462589823928 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22086] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22086/stat : 22086 (java) S 22067 22069 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255241300 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462588771064 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22087] ppid=22067 vsize=9624976 CPUtime=0.35 cores=1,3,5,7
/proc/22069/task/22087/stat : 22087 (java) S 22067 22069 16961 0 -1 4202560 102 0 0 0 14 21 0 0 20 0 19 0 255241300 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462587718728 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22088] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22088/stat : 22088 (java) S 22067 22069 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255241333 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462586663976 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1787.44
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.9 s]
/proc/loadavg: 2.08 2.08 2.02 3/213 22163
/proc/meminfo: memFree=28512476/32873648 swapFree=7360/7360
[pid=22069] ppid=22067 vsize=9624976 CPUtime=1800.04 cores=1,3,5,7
/proc/22069/stat : 22069 (java) S 22067 22069 16961 0 -1 4202496 12036 0 1 0 179969 35 0 0 20 0 19 0 255241295 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140735217871472 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22069/statm: 2406244 56153 2277 9 0 2396937 0
[pid=22069/tid=22071] ppid=22067 vsize=9624976 CPUtime=1783.66 cores=1,3,5,7
/proc/22069/task/22071/stat : 22071 (java) R 22067 22069 16961 0 -1 4202560 2667 0 1 0 178335 31 0 0 20 0 19 0 255241296 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462972662048 140462829120640 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22072] ppid=22067 vsize=9624976 CPUtime=0.88 cores=1,3,5,7
/proc/22069/task/22072/stat : 22072 (java) S 22067 22069 16961 0 -1 4202560 267 0 0 0 86 2 0 0 20 0 19 0 255241296 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462950762920 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22073] ppid=22067 vsize=9624976 CPUtime=0.77 cores=1,3,5,7
/proc/22069/task/22073/stat : 22073 (java) S 22067 22069 16961 0 -1 4202560 473 0 0 0 76 1 0 0 20 0 19 0 255241296 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462949710376 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22074] ppid=22067 vsize=9624976 CPUtime=0.8 cores=1,3,5,7
/proc/22069/task/22074/stat : 22074 (java) S 22067 22069 16961 0 -1 4202560 261 0 0 0 80 0 0 0 20 0 19 0 255241296 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462948657320 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22075] ppid=22067 vsize=9624976 CPUtime=0.86 cores=1,3,5,7
/proc/22069/task/22075/stat : 22075 (java) S 22067 22069 16961 0 -1 4202560 275 0 0 0 84 2 0 0 20 0 19 0 255241296 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462947604776 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22076] ppid=22067 vsize=9624976 CPUtime=0.84 cores=1,3,5,7
/proc/22069/task/22076/stat : 22076 (java) S 22067 22069 16961 0 -1 4202560 369 0 0 0 82 2 0 0 20 0 19 0 255241297 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462610443176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22077] ppid=22067 vsize=9624976 CPUtime=0.78 cores=1,3,5,7
/proc/22069/task/22077/stat : 22077 (java) S 22067 22069 16961 0 -1 4202560 322 0 0 0 76 2 0 0 20 0 19 0 255241297 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462609390632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22078] ppid=22067 vsize=9624976 CPUtime=0.81 cores=1,3,5,7
/proc/22069/task/22078/stat : 22078 (java) S 22067 22069 16961 0 -1 4202560 269 0 0 0 79 2 0 0 20 0 19 0 255241297 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462608337576 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22079] ppid=22067 vsize=9624976 CPUtime=0.82 cores=1,3,5,7
/proc/22069/task/22079/stat : 22079 (java) S 22067 22069 16961 0 -1 4202560 290 0 0 0 80 2 0 0 20 0 19 0 255241297 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462607285032 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22080] ppid=22067 vsize=9624976 CPUtime=9.12 cores=1,3,5,7
/proc/22069/task/22080/stat : 22080 (java) S 22067 22069 16961 0 -1 4202560 172 0 0 0 908 4 0 0 20 0 19 0 255241298 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462595086696 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22081] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22081/stat : 22081 (java) S 22067 22069 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255241298 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462594033016 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22082] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22082/stat : 22082 (java) S 22067 22069 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255241298 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462592979848 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22083] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22083/stat : 22083 (java) S 22067 22069 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255241300 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462591928592 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22084] ppid=22067 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/22069/task/22084/stat : 22084 (java) S 22067 22069 16961 0 -1 4202560 2993 0 0 0 39 0 0 0 20 0 19 0 255241300 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462590876472 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22085] ppid=22067 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/22069/task/22085/stat : 22085 (java) S 22067 22069 16961 0 -1 4202560 2390 0 0 0 27 0 0 0 20 0 19 0 255241300 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462589823928 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22086] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22086/stat : 22086 (java) S 22067 22069 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255241300 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462588771064 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22087] ppid=22067 vsize=9624976 CPUtime=0.35 cores=1,3,5,7
/proc/22069/task/22087/stat : 22087 (java) S 22067 22069 16961 0 -1 4202560 102 0 0 0 14 21 0 0 20 0 19 0 255241300 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462587718728 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22088] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22088/stat : 22088 (java) S 22067 22069 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255241333 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462586663976 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9624976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.9 s]
/proc/loadavg: 2.08 2.08 2.02 3/213 22163
/proc/meminfo: memFree=28512476/32873648 swapFree=7360/7360
[pid=22069] ppid=22067 vsize=9624976 CPUtime=1800.04 cores=1,3,5,7
/proc/22069/stat : 22069 (java) S 22067 22069 16961 0 -1 4202496 12036 0 1 0 179969 35 0 0 20 0 19 0 255241295 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140735217871472 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22069/statm: 2406244 56153 2277 9 0 2396937 0
[pid=22069/tid=22071] ppid=22067 vsize=9624976 CPUtime=1783.66 cores=1,3,5,7
/proc/22069/task/22071/stat : 22071 (java) R 22067 22069 16961 0 -1 4202560 2667 0 1 0 178335 31 0 0 20 0 19 0 255241296 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462972662048 140462829120640 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22072] ppid=22067 vsize=9624976 CPUtime=0.88 cores=1,3,5,7
/proc/22069/task/22072/stat : 22072 (java) S 22067 22069 16961 0 -1 4202560 267 0 0 0 86 2 0 0 20 0 19 0 255241296 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462950762920 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22073] ppid=22067 vsize=9624976 CPUtime=0.77 cores=1,3,5,7
/proc/22069/task/22073/stat : 22073 (java) S 22067 22069 16961 0 -1 4202560 473 0 0 0 76 1 0 0 20 0 19 0 255241296 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462949710376 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22074] ppid=22067 vsize=9624976 CPUtime=0.8 cores=1,3,5,7
/proc/22069/task/22074/stat : 22074 (java) S 22067 22069 16961 0 -1 4202560 261 0 0 0 80 0 0 0 20 0 19 0 255241296 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462948657320 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22075] ppid=22067 vsize=9624976 CPUtime=0.86 cores=1,3,5,7
/proc/22069/task/22075/stat : 22075 (java) S 22067 22069 16961 0 -1 4202560 275 0 0 0 84 2 0 0 20 0 19 0 255241296 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462947604776 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22076] ppid=22067 vsize=9624976 CPUtime=0.84 cores=1,3,5,7
/proc/22069/task/22076/stat : 22076 (java) S 22067 22069 16961 0 -1 4202560 369 0 0 0 82 2 0 0 20 0 19 0 255241297 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462610443176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22077] ppid=22067 vsize=9624976 CPUtime=0.78 cores=1,3,5,7
/proc/22069/task/22077/stat : 22077 (java) S 22067 22069 16961 0 -1 4202560 322 0 0 0 76 2 0 0 20 0 19 0 255241297 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462609390632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22078] ppid=22067 vsize=9624976 CPUtime=0.81 cores=1,3,5,7
/proc/22069/task/22078/stat : 22078 (java) S 22067 22069 16961 0 -1 4202560 269 0 0 0 79 2 0 0 20 0 19 0 255241297 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462608337576 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22079] ppid=22067 vsize=9624976 CPUtime=0.82 cores=1,3,5,7
/proc/22069/task/22079/stat : 22079 (java) S 22067 22069 16961 0 -1 4202560 290 0 0 0 80 2 0 0 20 0 19 0 255241297 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462607285032 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22080] ppid=22067 vsize=9624976 CPUtime=9.12 cores=1,3,5,7
/proc/22069/task/22080/stat : 22080 (java) S 22067 22069 16961 0 -1 4202560 172 0 0 0 908 4 0 0 20 0 19 0 255241298 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462595086696 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22081] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22081/stat : 22081 (java) S 22067 22069 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255241298 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462594033016 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22082] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22082/stat : 22082 (java) S 22067 22069 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255241298 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462592979848 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22083] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22083/stat : 22083 (java) S 22067 22069 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255241300 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462591928592 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22084] ppid=22067 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/22069/task/22084/stat : 22084 (java) S 22067 22069 16961 0 -1 4202560 2993 0 0 0 39 0 0 0 20 0 19 0 255241300 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462590876472 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22085] ppid=22067 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/22069/task/22085/stat : 22085 (java) S 22067 22069 16961 0 -1 4202560 2390 0 0 0 27 0 0 0 20 0 19 0 255241300 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462589823928 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22086] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22086/stat : 22086 (java) S 22067 22069 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255241300 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462588771064 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22087] ppid=22067 vsize=9624976 CPUtime=0.35 cores=1,3,5,7
/proc/22069/task/22087/stat : 22087 (java) S 22067 22069 16961 0 -1 4202560 102 0 0 0 14 21 0 0 20 0 19 0 255241300 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462587718728 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22088] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22088/stat : 22088 (java) S 22067 22069 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255241333 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462586663976 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9624976
Child status: 143
Real time (s): 1794.96
CPU time (s): 1800.72
CPU user time (s): 1799.89
CPU system time (s): 0.831873
CPU usage (%): 100.321
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.831873
maximum resident set size= 228840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12073
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= 43084
involuntary context switches= 41529
runsolver used 6.31304 second user time and 14.3438 second system time
The end