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-3689577-1337891665/watcher-3689577-1337891665 -o /tmp/evaluation-result-3689577-1337891665/solver-3689577-1337891665 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689577-1337891665.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.11 2/174 31264
/proc/meminfo: memFree=30384652/32873844 swapFree=7388/7388
[pid=31264] ppid=31262 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/31264/stat : 31264 (java) D 31262 31264 25184 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 255290868 9515008 183 33554432000 1073741824 1073778376 140733754742064 140733754733096 239237676725 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/31264/statm: 2323 183 140 9 0 71 0
[startup+0.057825 s]
/proc/loadavg: 2.00 2.00 2.11 2/174 31264
/proc/meminfo: memFree=30384652/32873844 swapFree=7388/7388
[pid=31264] ppid=31262 vsize=9225560 CPUtime=0.03 cores=0,2,4,6
/proc/31264/stat : 31264 (java) S 31262 31264 25184 0 -1 4202496 3061 0 1 0 3 0 0 0 20 0 13 0 255290868 9446973440 3759 33554432000 1073741824 1073778376 140736066308832 140736066299968 239241035837 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31264/statm: 2306390 3759 1707 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560
[startup+0.100238 s]
/proc/loadavg: 2.00 2.00 2.11 2/174 31264
/proc/meminfo: memFree=30384652/32873844 swapFree=7388/7388
[pid=31264] ppid=31262 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/31264/stat : 31264 (java) S 31262 31264 25184 0 -1 4202496 4154 0 1 0 7 1 0 0 20 0 18 0 255290868 9787813888 5351 33554432000 1073741824 1073778376 140736066308832 140736066299968 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31264/statm: 2389603 5351 2079 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412
[startup+0.300269 s]
/proc/loadavg: 2.00 2.00 2.11 2/174 31264
/proc/meminfo: memFree=30384652/32873844 swapFree=7388/7388
[pid=31264] ppid=31262 vsize=9624976 CPUtime=0.51 cores=0,2,4,6
/proc/31264/stat : 31264 (java) S 31262 31264 25184 0 -1 4202496 6403 0 1 0 49 2 0 0 20 0 19 0 255290868 9855975424 7682 33554432000 1073741824 1073778376 140736066308832 140736066299968 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31264/statm: 2406244 7682 2233 9 0 2396937 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9624976
[startup+0.700255 s]
/proc/loadavg: 2.00 2.00 2.11 2/174 31264
/proc/meminfo: memFree=30384652/32873844 swapFree=7388/7388
[pid=31264] ppid=31262 vsize=9624976 CPUtime=1.06 cores=0,2,4,6
/proc/31264/stat : 31264 (java) S 31262 31264 25184 0 -1 4202496 6986 0 1 0 103 3 0 0 20 0 19 0 255290868 9855975424 9874 33554432000 1073741824 1073778376 140736066308832 140736066299968 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31264/statm: 2406244 9874 2268 9 0 2396937 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 9624976
[startup+1.50074 s]
/proc/loadavg: 2.00 2.00 2.11 3/192 31311
/proc/meminfo: memFree=30319572/32873844 swapFree=7388/7388
[pid=31264] ppid=31262 vsize=9624976 CPUtime=1.91 cores=0,2,4,6
/proc/31264/stat : 31264 (java) S 31262 31264 25184 0 -1 4202496 6998 0 1 0 188 3 0 0 20 0 19 0 255290868 9855975424 10393 33554432000 1073741824 1073778376 140736066308832 140736066299968 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31264/statm: 2406244 10393 2268 9 0 2396937 0
[pid=31264/tid=31266] ppid=31262 vsize=9624976 CPUtime=1.4 cores=0,2,4,6
/proc/31264/task/31266/stat : 31266 (java) R 31262 31264 25184 0 -1 4202560 2459 0 1 0 138 2 0 0 20 0 19 0 255290869 9855975424 10393 33554432000 1073741824 1073778376 140736066308832 140271965610392 140271837199355 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31264/tid=31267] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31267/stat : 31267 (java) S 31262 31264 25184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255290871 9855975424 10393 33554432000 1073741824 1073778376 140736066308832 140271809149992 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31264/tid=31268] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31268/stat : 31268 (java) S 31262 31264 25184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255290871 9855975424 10393 33554432000 1073741824 1073778376 140736066308832 140271808097192 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31264/tid=31269] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31269/stat : 31269 (java) S 31262 31264 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255290871 9855975424 10393 33554432000 1073741824 1073778376 140736066308832 140271807044392 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31264/tid=31270] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31270/stat : 31270 (java) S 31262 31264 25184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255290871 9855975424 10393 33554432000 1073741824 1073778376 140736066308832 140271805991592 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31264/tid=31271] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31271/stat : 31271 (java) S 31262 31264 25184 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255290871 9855975424 10393 33554432000 1073741824 1073778376 140736066308832 140271804938792 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31264/tid=31272] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31272/stat : 31272 (java) S 31262 31264 25184 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255290871 9855975424 10393 33554432000 1073741824 1073778376 140736066308832 140271803885992 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31264/tid=31273] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31273/stat : 31273 (java) S 31262 31264 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255290871 9855975424 10393 33554432000 1073741824 1073778376 140736066308832 140271802833192 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31264/tid=31274] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31274/stat : 31274 (java) S 31262 31264 25184 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255290871 9855975424 10393 33554432000 1073741824 1073778376 140736066308832 140271801780392 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31264/tid=31275] ppid=31262 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/31264/task/31275/stat : 31275 (java) S 31262 31264 25184 0 -1 4202560 30 0 0 0 3 0 0 0 20 0 19 0 255290872 9855975424 10393 33554432000 1073741824 1073778376 140736066308832 140271789583336 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31264/tid=31276] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31276/stat : 31276 (java) S 31262 31264 25184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255290872 9855975424 10393 33554432000 1073741824 1073778376 140736066308832 140271788529400 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31264/tid=31277] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31277/stat : 31277 (java) S 31262 31264 25184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255290872 9855975424 10393 33554432000 1073741824 1073778376 140736066308832 140271787476488 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31264/tid=31278] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31278/stat : 31278 (java) S 31262 31264 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255290875 9855975424 10393 33554432000 1073741824 1073778376 140736066308832 140271786424976 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31264/tid=31279] ppid=31262 vsize=9624976 CPUtime=0.17 cores=0,2,4,6
/proc/31264/task/31279/stat : 31279 (java) S 31262 31264 25184 0 -1 4202560 1033 0 0 0 17 0 0 0 20 0 19 0 255290875 9855975424 10393 33554432000 1073741824 1073778376 140736066308832 140271785372088 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31264/tid=31280] ppid=31262 vsize=9624976 CPUtime=0.22 cores=0,2,4,6
/proc/31264/task/31280/stat : 31280 (java) S 31262 31264 25184 0 -1 4202560 2247 0 0 0 22 0 0 0 20 0 19 0 255290875 9855975424 10393 33554432000 1073741824 1073778376 140736066308832 140271784319288 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31264/tid=31281] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31281/stat : 31281 (java) S 31262 31264 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255290875 9855975424 10393 33554432000 1073741824 1073778376 140736066308832 140271783266680 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31264/tid=31282] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31282/stat : 31282 (java) S 31262 31264 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255290875 9855975424 10393 33554432000 1073741824 1073778376 140736066308832 140271782214088 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31264/tid=31299] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31299/stat : 31299 (java) S 31262 31264 25184 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255290889 9855975424 10393 33554432000 1073741824 1073778376 140736066308832 140271781160616 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 9624976
[startup+3.10074 s]
/proc/loadavg: 2.08 2.02 2.11 3/212 31338
/proc/meminfo: memFree=30168788/32873844 swapFree=7388/7388
[pid=31264] ppid=31262 vsize=9624976 CPUtime=3.6 cores=0,2,4,6
/proc/31264/stat : 31264 (java) S 31262 31264 25184 0 -1 4202496 7014 0 1 0 356 4 0 0 20 0 19 0 255290868 9855975424 10402 33554432000 1073741824 1073778376 140736066308832 140736066299968 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31264/statm: 2406244 10402 2268 9 0 2396937 0
[pid=31264/tid=31266] ppid=31262 vsize=9624976 CPUtime=2.9 cores=0,2,4,6
/proc/31264/task/31266/stat : 31266 (java) R 31262 31264 25184 0 -1 4202560 2466 0 1 0 288 2 0 0 20 0 19 0 255290869 9855975424 10402 33554432000 1073741824 1073778376 140736066308832 140271965610272 140271837189912 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31264/tid=31267] ppid=31262 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/31264/task/31267/stat : 31267 (java) S 31262 31264 25184 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 255290871 9855975424 10402 33554432000 1073741824 1073778376 140736066308832 140271809149992 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31264/tid=31268] ppid=31262 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/31264/task/31268/stat : 31268 (java) S 31262 31264 25184 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 255290871 9855975424 10402 33554432000 1073741824 1073778376 140736066308832 140271808097192 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31264/tid=31269] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31269/stat : 31269 (java) S 31262 31264 25184 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255290871 9855975424 10402 33554432000 1073741824 1073778376 140736066308832 140271807044392 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31264/tid=31270] ppid=31262 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/31264/task/31270/stat : 31270 (java) S 31262 31264 25184 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 255290871 9855975424 10402 33554432000 1073741824 1073778376 140736066308832 140271805991592 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31264/tid=31271] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31271/stat : 31271 (java) S 31262 31264 25184 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255290871 9855975424 10402 33554432000 1073741824 1073778376 140736066308832 140271804938792 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31264/tid=31272] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31272/stat : 31272 (java) S 31262 31264 25184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255290871 9855975424 10402 33554432000 1073741824 1073778376 140736066308832 140271803885992 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31264/tid=31273] ppid=31262 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/31264/task/31273/stat : 31273 (java) S 31262 31264 25184 0 -1 4202560 2 0 0 0 1 0 0 0 20 0 19 0 255290871 9855975424 10402 33554432000 1073741824 1073778376 140736066308832 140271802833192 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31264/tid=31274] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31274/stat : 31274 (java) S 31262 31264 25184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255290871 9855975424 10402 33554432000 1073741824 1073778376 140736066308832 140271801780392 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31264/tid=31275] ppid=31262 vsize=9624976 CPUtime=0.09 cores=0,2,4,6
/proc/31264/task/31275/stat : 31275 (java) S 31262 31264 25184 0 -1 4202560 30 0 0 0 9 0 0 0 20 0 19 0 255290872 9855975424 10402 33554432000 1073741824 1073778376 140736066308832 140271789583336 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31264/tid=31276] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31276/stat : 31276 (java) S 31262 31264 25184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255290872 9855975424 10402 33554432000 1073741824 1073778376 140736066308832 140271788529400 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31264/tid=31277] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31277/stat : 31277 (java) S 31262 31264 25184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255290872 9855975424 10402 33554432000 1073741824 1073778376 140736066308832 140271787476488 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31264/tid=31278] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31278/stat : 31278 (java) S 31262 31264 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255290875 9855975424 10402 33554432000 1073741824 1073778376 140736066308832 140271786424976 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31264/tid=31279] ppid=31262 vsize=9624976 CPUtime=0.17 cores=0,2,4,6
/proc/31264/task/31279/stat : 31279 (java) S 31262 31264 25184 0 -1 4202560 1033 0 0 0 17 0 0 0 20 0 19 0 255290875 9855975424 10402 33554432000 1073741824 1073778376 140736066308832 140271785372088 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31264/tid=31280] ppid=31262 vsize=9624976 CPUtime=0.22 cores=0,2,4,6
/proc/31264/task/31280/stat : 31280 (java) S 31262 31264 25184 0 -1 4202560 2247 0 0 0 22 0 0 0 20 0 19 0 255290875 9855975424 10402 33554432000 1073741824 1073778376 140736066308832 140271784319288 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31264/tid=31281] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31281/stat : 31281 (java) S 31262 31264 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255290875 9855975424 10402 33554432000 1073741824 1073778376 140736066308832 140271783266680 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31264/tid=31282] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31282/stat : 31282 (java) S 31262 31264 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255290875 9855975424 10402 33554432000 1073741824 1073778376 140736066308832 140271782214088 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31264/tid=31299] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31299/stat : 31299 (java) S 31262 31264 25184 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255290889 9855975424 10402 33554432000 1073741824 1073778376 140736066308832 140271781160616 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 9624976
[startup+6.30066 s]
/proc/loadavg: 2.08 2.02 2.11 3/212 31338
/proc/meminfo: memFree=29730212/32873844 swapFree=7388/7388
[pid=31264] ppid=31262 vsize=9624976 CPUtime=6.89 cores=0,2,4,6
/proc/31264/stat : 31264 (java) S 31262 31264 25184 0 -1 4202496 7060 0 1 0 685 4 0 0 20 0 19 0 255290868 9855975424 11320 33554432000 1073741824 1073778376 140736066308832 140736066299968 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31264/statm: 2406244 11320 2268 9 0 2396937 0
[pid=31264/tid=31266] ppid=31262 vsize=9624976 CPUtime=5.96 cores=0,2,4,6
/proc/31264/task/31266/stat : 31266 (java) R 31262 31264 25184 0 -1 4202560 2474 0 1 0 594 2 0 0 20 0 19 0 255290869 9855975424 11320 33554432000 1073741824 1073778376 140736066308832 140271965610272 140271837245385 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31264/tid=31267] ppid=31262 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/31264/task/31267/stat : 31267 (java) S 31262 31264 25184 0 -1 4202560 10 0 0 0 3 0 0 0 20 0 19 0 255290871 9855975424 11320 33554432000 1073741824 1073778376 140736066308832 140271809149992 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31264/tid=31268] ppid=31262 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/31264/task/31268/stat : 31268 (java) S 31262 31264 25184 0 -1 4202560 6 0 0 0 3 0 0 0 20 0 19 0 255290871 9855975424 11320 33554432000 1073741824 1073778376 140736066308832 140271808097192 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31264/tid=31269] ppid=31262 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/31264/task/31269/stat : 31269 (java) S 31262 31264 25184 0 -1 4202560 5 0 0 0 2 0 0 0 20 0 19 0 255290871 9855975424 11320 33554432000 1073741824 1073778376 140736066308832 140271807044392 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31264/tid=31270] ppid=31262 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/31264/task/31270/stat : 31270 (java) S 31262 31264 25184 0 -1 4202560 10 0 0 0 3 0 0 0 20 0 19 0 255290871 9855975424 11320 33554432000 1073741824 1073778376 140736066308832 140271805991592 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31264/tid=31271] ppid=31262 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/31264/task/31271/stat : 31271 (java) S 31262 31264 25184 0 -1 4202560 33 0 0 0 2 0 0 0 20 0 19 0 255290871 9855975424 11320 33554432000 1073741824 1073778376 140736066308832 140271804938792 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31264/tid=31272] ppid=31262 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/31264/task/31272/stat : 31272 (java) S 31262 31264 25184 0 -1 4202560 10 0 0 0 3 0 0 0 20 0 19 0 255290871 9855975424 11320 33554432000 1073741824 1073778376 140736066308832 140271803885992 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31264/tid=31273] ppid=31262 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/31264/task/31273/stat : 31273 (java) S 31262 31264 25184 0 -1 4202560 3 0 0 0 3 0 0 0 20 0 19 0 255290871 9855975424 11320 33554432000 1073741824 1073778376 140736066308832 140271802833192 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31264/tid=31274] ppid=31262 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/31264/task/31274/stat : 31274 (java) S 31262 31264 25184 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 255290871 9855975424 11320 33554432000 1073741824 1073778376 140736066308832 140271801780392 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31264/tid=31275] ppid=31262 vsize=9624976 CPUtime=0.17 cores=0,2,4,6
/proc/31264/task/31275/stat : 31275 (java) S 31262 31264 25184 0 -1 4202560 31 0 0 0 17 0 0 0 20 0 19 0 255290872 9855975424 11320 33554432000 1073741824 1073778376 140736066308832 140271789583336 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31264/tid=31276] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31276/stat : 31276 (java) S 31262 31264 25184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255290872 9855975424 11320 33554432000 1073741824 1073778376 140736066308832 140271788529400 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31264/tid=31277] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31277/stat : 31277 (java) S 31262 31264 25184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255290872 9855975424 11320 33554432000 1073741824 1073778376 140736066308832 140271787476488 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31264/tid=31278] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31278/stat : 31278 (java) S 31262 31264 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255290875 9855975424 11320 33554432000 1073741824 1073778376 140736066308832 140271786424976 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31264/tid=31279] ppid=31262 vsize=9624976 CPUtime=0.17 cores=0,2,4,6
/proc/31264/task/31279/stat : 31279 (java) S 31262 31264 25184 0 -1 4202560 1033 0 0 0 17 0 0 0 20 0 19 0 255290875 9855975424 11320 33554432000 1073741824 1073778376 140736066308832 140271785372088 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31264/tid=31280] ppid=31262 vsize=9624976 CPUtime=0.22 cores=0,2,4,6
/proc/31264/task/31280/stat : 31280 (java) S 31262 31264 25184 0 -1 4202560 2247 0 0 0 22 0 0 0 20 0 19 0 255290875 9855975424 11320 33554432000 1073741824 1073778376 140736066308832 140271784319288 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31264/tid=31281] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31281/stat : 31281 (java) S 31262 31264 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255290875 9855975424 11320 33554432000 1073741824 1073778376 140736066308832 140271783266680 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31264/tid=31282] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31282/stat : 31282 (java) S 31262 31264 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255290875 9855975424 11320 33554432000 1073741824 1073778376 140736066308832 140271782214088 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31264/tid=31299] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31299/stat : 31299 (java) S 31262 31264 25184 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255290889 9855975424 11320 33554432000 1073741824 1073778376 140736066308832 140271781160616 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.89
Current children cumulated vsize (KiB) 9624976
[startup+12.7007 s]
################
# More data... #
################
[pid=31264/tid=31279] ppid=31262 vsize=9624976 CPUtime=0.19 cores=0,2,4,6
/proc/31264/task/31279/stat : 31279 (java) S 31262 31264 25184 0 -1 4202560 1587 0 0 0 19 0 0 0 20 0 19 0 255290875 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271785372088 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31264/tid=31280] ppid=31262 vsize=9624976 CPUtime=0.22 cores=0,2,4,6
/proc/31264/task/31280/stat : 31280 (java) S 31262 31264 25184 0 -1 4202560 2247 0 0 0 22 0 0 0 20 0 19 0 255290875 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271784319288 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31264/tid=31281] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31281/stat : 31281 (java) S 31262 31264 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255290875 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271783266680 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31264/tid=31282] ppid=31262 vsize=9624976 CPUtime=0.55 cores=0,2,4,6
/proc/31264/task/31282/stat : 31282 (java) S 31262 31264 25184 0 -1 4202560 94 0 0 0 32 23 0 0 20 0 19 0 255290875 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271782214088 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31264/tid=31299] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31299/stat : 31299 (java) S 31262 31264 25184 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255290889 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271781160616 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1667.39
Current children cumulated vsize (KiB) 9624976
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 31378
/proc/meminfo: memFree=29252036/32873844 swapFree=7388/7388
[pid=31264] ppid=31262 vsize=9624976 CPUtime=1727.49 cores=0,2,4,6
/proc/31264/stat : 31264 (java) S 31262 31264 25184 0 -1 4202496 9395 0 1 0 172709 40 0 0 20 0 19 0 255290868 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140736066299968 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31264/statm: 2406244 48576 2269 9 0 2396937 0
[pid=31264/tid=31266] ppid=31262 vsize=9624976 CPUtime=1706.6 cores=0,2,4,6
/proc/31264/task/31266/stat : 31266 (java) R 31262 31264 25184 0 -1 4202560 2686 0 1 0 170633 27 0 0 20 0 19 0 255290869 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271965610272 140271837189764 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31264/tid=31267] ppid=31262 vsize=9624976 CPUtime=0.79 cores=0,2,4,6
/proc/31264/task/31267/stat : 31267 (java) S 31262 31264 25184 0 -1 4202560 208 0 0 0 77 2 0 0 20 0 19 0 255290871 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271809149992 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31264/tid=31268] ppid=31262 vsize=9624976 CPUtime=0.86 cores=0,2,4,6
/proc/31264/task/31268/stat : 31268 (java) S 31262 31264 25184 0 -1 4202560 130 0 0 0 83 3 0 0 20 0 19 0 255290871 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271808097192 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31264/tid=31269] ppid=31262 vsize=9624976 CPUtime=0.8 cores=0,2,4,6
/proc/31264/task/31269/stat : 31269 (java) S 31262 31264 25184 0 -1 4202560 193 0 0 0 77 3 0 0 20 0 19 0 255290871 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271807044392 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31264/tid=31270] ppid=31262 vsize=9624976 CPUtime=0.81 cores=0,2,4,6
/proc/31264/task/31270/stat : 31270 (java) S 31262 31264 25184 0 -1 4202560 199 0 0 0 79 2 0 0 20 0 19 0 255290871 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271805991592 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31264/tid=31271] ppid=31262 vsize=9624976 CPUtime=0.84 cores=0,2,4,6
/proc/31264/task/31271/stat : 31271 (java) S 31262 31264 25184 0 -1 4202560 141 0 0 0 82 2 0 0 20 0 19 0 255290871 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271804938792 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31264/tid=31272] ppid=31262 vsize=9624976 CPUtime=0.82 cores=0,2,4,6
/proc/31264/task/31272/stat : 31272 (java) S 31262 31264 25184 0 -1 4202560 172 0 0 0 80 2 0 0 20 0 19 0 255290871 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271803885992 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31264/tid=31273] ppid=31262 vsize=9624976 CPUtime=0.81 cores=0,2,4,6
/proc/31264/task/31273/stat : 31273 (java) S 31262 31264 25184 0 -1 4202560 110 0 0 0 80 1 0 0 20 0 19 0 255290871 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271802833192 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31264/tid=31274] ppid=31262 vsize=9624976 CPUtime=0.79 cores=0,2,4,6
/proc/31264/task/31274/stat : 31274 (java) S 31262 31264 25184 0 -1 4202560 275 0 0 0 78 1 0 0 20 0 19 0 255290871 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271801780392 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31264/tid=31275] ppid=31262 vsize=9624976 CPUtime=9.2 cores=0,2,4,6
/proc/31264/task/31275/stat : 31275 (java) S 31262 31264 25184 0 -1 4202560 164 0 0 0 918 2 0 0 20 0 19 0 255290872 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271789583336 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31264/tid=31276] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31276/stat : 31276 (java) S 31262 31264 25184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255290872 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271788529400 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31264/tid=31277] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31277/stat : 31277 (java) S 31262 31264 25184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255290872 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271787476488 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31264/tid=31278] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31278/stat : 31278 (java) S 31262 31264 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255290875 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271786424976 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31264/tid=31279] ppid=31262 vsize=9624976 CPUtime=0.19 cores=0,2,4,6
/proc/31264/task/31279/stat : 31279 (java) S 31262 31264 25184 0 -1 4202560 1587 0 0 0 19 0 0 0 20 0 19 0 255290875 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271785372088 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31264/tid=31280] ppid=31262 vsize=9624976 CPUtime=0.22 cores=0,2,4,6
/proc/31264/task/31280/stat : 31280 (java) S 31262 31264 25184 0 -1 4202560 2247 0 0 0 22 0 0 0 20 0 19 0 255290875 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271784319288 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31264/tid=31281] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31281/stat : 31281 (java) S 31262 31264 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255290875 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271783266680 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31264/tid=31282] ppid=31262 vsize=9624976 CPUtime=0.57 cores=0,2,4,6
/proc/31264/task/31282/stat : 31282 (java) S 31262 31264 25184 0 -1 4202560 98 0 0 0 34 23 0 0 20 0 19 0 255290875 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271782214088 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31264/tid=31299] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31299/stat : 31299 (java) S 31262 31264 25184 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255290889 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271781160616 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1727.49
Current children cumulated vsize (KiB) 9624976
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 31378
/proc/meminfo: memFree=29247940/32873844 swapFree=7388/7388
[pid=31264] ppid=31262 vsize=9624976 CPUtime=1787.54 cores=0,2,4,6
/proc/31264/stat : 31264 (java) S 31262 31264 25184 0 -1 4202496 9403 0 1 0 178713 41 0 0 20 0 19 0 255290868 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140736066299968 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31264/statm: 2406244 48576 2269 9 0 2396937 0
[pid=31264/tid=31266] ppid=31262 vsize=9624976 CPUtime=1766.29 cores=0,2,4,6
/proc/31264/task/31266/stat : 31266 (java) R 31262 31264 25184 0 -1 4202560 2688 0 1 0 176601 28 0 0 20 0 19 0 255290869 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271965610272 140271836993480 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31264/tid=31267] ppid=31262 vsize=9624976 CPUtime=0.8 cores=0,2,4,6
/proc/31264/task/31267/stat : 31267 (java) S 31262 31264 25184 0 -1 4202560 208 0 0 0 78 2 0 0 20 0 19 0 255290871 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271809149992 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31264/tid=31268] ppid=31262 vsize=9624976 CPUtime=0.86 cores=0,2,4,6
/proc/31264/task/31268/stat : 31268 (java) S 31262 31264 25184 0 -1 4202560 130 0 0 0 83 3 0 0 20 0 19 0 255290871 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271808097192 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31264/tid=31269] ppid=31262 vsize=9624976 CPUtime=0.8 cores=0,2,4,6
/proc/31264/task/31269/stat : 31269 (java) S 31262 31264 25184 0 -1 4202560 193 0 0 0 77 3 0 0 20 0 19 0 255290871 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271807044392 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31264/tid=31270] ppid=31262 vsize=9624976 CPUtime=0.82 cores=0,2,4,6
/proc/31264/task/31270/stat : 31270 (java) S 31262 31264 25184 0 -1 4202560 199 0 0 0 80 2 0 0 20 0 19 0 255290871 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271805991592 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31264/tid=31271] ppid=31262 vsize=9624976 CPUtime=0.86 cores=0,2,4,6
/proc/31264/task/31271/stat : 31271 (java) S 31262 31264 25184 0 -1 4202560 141 0 0 0 84 2 0 0 20 0 19 0 255290871 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271804938792 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31264/tid=31272] ppid=31262 vsize=9624976 CPUtime=0.82 cores=0,2,4,6
/proc/31264/task/31272/stat : 31272 (java) S 31262 31264 25184 0 -1 4202560 172 0 0 0 80 2 0 0 20 0 19 0 255290871 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271803885992 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31264/tid=31273] ppid=31262 vsize=9624976 CPUtime=0.82 cores=0,2,4,6
/proc/31264/task/31273/stat : 31273 (java) S 31262 31264 25184 0 -1 4202560 110 0 0 0 81 1 0 0 20 0 19 0 255290871 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271802833192 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31264/tid=31274] ppid=31262 vsize=9624976 CPUtime=0.8 cores=0,2,4,6
/proc/31264/task/31274/stat : 31274 (java) S 31262 31264 25184 0 -1 4202560 275 0 0 0 79 1 0 0 20 0 19 0 255290871 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271801780392 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31264/tid=31275] ppid=31262 vsize=9624976 CPUtime=9.34 cores=0,2,4,6
/proc/31264/task/31275/stat : 31275 (java) S 31262 31264 25184 0 -1 4202560 166 0 0 0 932 2 0 0 20 0 19 0 255290872 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271789583336 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31264/tid=31276] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31276/stat : 31276 (java) S 31262 31264 25184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255290872 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271788529400 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31264/tid=31277] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31277/stat : 31277 (java) S 31262 31264 25184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255290872 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271787476488 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31264/tid=31278] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31278/stat : 31278 (java) S 31262 31264 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255290875 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271786424976 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31264/tid=31279] ppid=31262 vsize=9624976 CPUtime=0.19 cores=0,2,4,6
/proc/31264/task/31279/stat : 31279 (java) S 31262 31264 25184 0 -1 4202560 1587 0 0 0 19 0 0 0 20 0 19 0 255290875 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271785372088 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31264/tid=31280] ppid=31262 vsize=9624976 CPUtime=0.22 cores=0,2,4,6
/proc/31264/task/31280/stat : 31280 (java) S 31262 31264 25184 0 -1 4202560 2247 0 0 0 22 0 0 0 20 0 19 0 255290875 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271784319288 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31264/tid=31281] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31281/stat : 31281 (java) S 31262 31264 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255290875 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271783266680 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31264/tid=31282] ppid=31262 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/31264/task/31282/stat : 31282 (java) S 31262 31264 25184 0 -1 4202560 102 0 0 0 35 24 0 0 20 0 19 0 255290875 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271782214088 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31264/tid=31299] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31299/stat : 31299 (java) S 31262 31264 25184 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255290889 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271781160616 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1787.54
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.8 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 31378
/proc/meminfo: memFree=29247940/32873844 swapFree=7388/7388
[pid=31264] ppid=31262 vsize=9624976 CPUtime=1800.07 cores=0,2,4,6
/proc/31264/stat : 31264 (java) S 31262 31264 25184 0 -1 4202496 9406 0 1 0 179965 42 0 0 20 0 19 0 255290868 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140736066299968 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31264/statm: 2406244 48576 2269 9 0 2396937 0
[pid=31264/tid=31266] ppid=31262 vsize=9624976 CPUtime=1778.65 cores=0,2,4,6
/proc/31264/task/31266/stat : 31266 (java) R 31262 31264 25184 0 -1 4202560 2689 0 1 0 177836 29 0 0 20 0 19 0 255290869 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271965610272 140271837253659 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31264/tid=31267] ppid=31262 vsize=9624976 CPUtime=0.8 cores=0,2,4,6
/proc/31264/task/31267/stat : 31267 (java) S 31262 31264 25184 0 -1 4202560 208 0 0 0 78 2 0 0 20 0 19 0 255290871 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271809149992 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31264/tid=31268] ppid=31262 vsize=9624976 CPUtime=0.86 cores=0,2,4,6
/proc/31264/task/31268/stat : 31268 (java) S 31262 31264 25184 0 -1 4202560 130 0 0 0 83 3 0 0 20 0 19 0 255290871 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271808097192 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31264/tid=31269] ppid=31262 vsize=9624976 CPUtime=0.81 cores=0,2,4,6
/proc/31264/task/31269/stat : 31269 (java) S 31262 31264 25184 0 -1 4202560 193 0 0 0 78 3 0 0 20 0 19 0 255290871 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271807044392 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31264/tid=31270] ppid=31262 vsize=9624976 CPUtime=0.82 cores=0,2,4,6
/proc/31264/task/31270/stat : 31270 (java) S 31262 31264 25184 0 -1 4202560 199 0 0 0 80 2 0 0 20 0 19 0 255290871 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271805991592 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31264/tid=31271] ppid=31262 vsize=9624976 CPUtime=0.86 cores=0,2,4,6
/proc/31264/task/31271/stat : 31271 (java) S 31262 31264 25184 0 -1 4202560 141 0 0 0 84 2 0 0 20 0 19 0 255290871 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271804938792 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31264/tid=31272] ppid=31262 vsize=9624976 CPUtime=0.82 cores=0,2,4,6
/proc/31264/task/31272/stat : 31272 (java) S 31262 31264 25184 0 -1 4202560 172 0 0 0 80 2 0 0 20 0 19 0 255290871 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271803885992 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31264/tid=31273] ppid=31262 vsize=9624976 CPUtime=0.82 cores=0,2,4,6
/proc/31264/task/31273/stat : 31273 (java) S 31262 31264 25184 0 -1 4202560 110 0 0 0 81 1 0 0 20 0 19 0 255290871 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271802833192 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31264/tid=31274] ppid=31262 vsize=9624976 CPUtime=0.8 cores=0,2,4,6
/proc/31264/task/31274/stat : 31274 (java) S 31262 31264 25184 0 -1 4202560 275 0 0 0 79 1 0 0 20 0 19 0 255290871 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271801780392 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31264/tid=31275] ppid=31262 vsize=9624976 CPUtime=9.45 cores=0,2,4,6
/proc/31264/task/31275/stat : 31275 (java) S 31262 31264 25184 0 -1 4202560 168 0 0 0 943 2 0 0 20 0 19 0 255290872 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271789583336 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31264/tid=31276] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31276/stat : 31276 (java) S 31262 31264 25184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255290872 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271788529400 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31264/tid=31277] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31277/stat : 31277 (java) S 31262 31264 25184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255290872 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271787476488 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31264/tid=31278] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31278/stat : 31278 (java) S 31262 31264 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255290875 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271786424976 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31264/tid=31279] ppid=31262 vsize=9624976 CPUtime=0.19 cores=0,2,4,6
/proc/31264/task/31279/stat : 31279 (java) S 31262 31264 25184 0 -1 4202560 1587 0 0 0 19 0 0 0 20 0 19 0 255290875 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271785372088 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31264/tid=31280] ppid=31262 vsize=9624976 CPUtime=0.22 cores=0,2,4,6
/proc/31264/task/31280/stat : 31280 (java) S 31262 31264 25184 0 -1 4202560 2247 0 0 0 22 0 0 0 20 0 19 0 255290875 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271784319288 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31264/tid=31281] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31281/stat : 31281 (java) S 31262 31264 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255290875 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271783266680 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31264/tid=31282] ppid=31262 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/31264/task/31282/stat : 31282 (java) S 31262 31264 25184 0 -1 4202560 102 0 0 0 35 24 0 0 20 0 19 0 255290875 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271782214088 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31264/tid=31299] ppid=31262 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/31264/task/31299/stat : 31299 (java) S 31262 31264 25184 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255290889 9855975424 48576 33554432000 1073741824 1073778376 140736066308832 140271781160616 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31264 and gives
# childrusage.ru_utime.tv_sec=1795
# childrusage.ru_utime.tv_usec=198088
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=854870
# CPU time returned by wait4() is 1796.05
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1794.86
CPU time (s): 1800.07
CPU user time (s): 1799.65
CPU system time (s): 0.42
CPU usage (%): 100.29
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.2
system time used= 0.85487
maximum resident set size= 194464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9449
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= 43832
involuntary context switches= 19678
runsolver used 5.75212 second user time and 14.4208 second system time
The end