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-3718158-1338250324/watcher-3718158-1338250324 -o /tmp/evaluation-result-3718158-1338250324/solver-3718158-1338250324 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718158-1338250324.wbo
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.00 2.00 2.00 3/196 30352
/proc/meminfo: memFree=30893796/32873844 swapFree=7112/7112
[pid=30352] ppid=30350 vsize=9300 CPUtime=0 cores=1,3,5,7
/proc/30352/stat : 30352 (java) R 30350 30352 26693 0 -1 4202496 252 0 0 0 0 0 0 0 20 0 1 0 291157706 9523200 185 33554432000 1073741824 1073778376 140737181114480 140737181105704 273588841911 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30352/statm: 2 1 0 0 0 2 0
[startup+0.0137841 s]
/proc/loadavg: 2.00 2.00 2.00 3/196 30352
/proc/meminfo: memFree=30893796/32873844 swapFree=7112/7112
[pid=30352] ppid=30350 vsize=96272 CPUtime=0 cores=1,3,5,7
/proc/30352/stat : 30352 (java) S 30350 30352 26693 0 -1 4202496 1284 0 0 0 0 0 0 0 20 0 2 0 291157706 98582528 984 33554432000 1073741824 1073778376 140736303146416 140736303137552 273592385597 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30352/statm: 24067 989 755 9 0 16773 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 96272
[startup+0.100176 s]
/proc/loadavg: 2.00 2.00 2.00 3/196 30352
/proc/meminfo: memFree=30893796/32873844 swapFree=7112/7112
[pid=30352] ppid=30350 vsize=9558416 CPUtime=0.09 cores=1,3,5,7
/proc/30352/stat : 30352 (java) S 30350 30352 26693 0 -1 4202496 4226 0 1 0 8 1 0 0 20 0 18 0 291157706 9787817984 5423 33554432000 1073741824 1073778376 140736303146416 140736303137552 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30352/statm: 2389604 5423 2100 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558416
[startup+0.300204 s]
/proc/loadavg: 2.00 2.00 2.00 3/196 30352
/proc/meminfo: memFree=30893796/32873844 swapFree=7112/7112
[pid=30352] ppid=30350 vsize=9624980 CPUtime=0.51 cores=1,3,5,7
/proc/30352/stat : 30352 (java) S 30350 30352 26693 0 -1 4202496 6476 0 1 0 50 1 0 0 20 0 19 0 291157706 9855979520 8286 33554432000 1073741824 1073778376 140736303146416 140736303137552 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30352/statm: 2406245 8286 2235 9 0 2396937 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9624980
[startup+0.700305 s]
/proc/loadavg: 2.00 2.00 2.00 3/196 30352
/proc/meminfo: memFree=30893796/32873844 swapFree=7112/7112
[pid=30352] ppid=30350 vsize=9624980 CPUtime=1.13 cores=1,3,5,7
/proc/30352/stat : 30352 (java) S 30350 30352 26693 0 -1 4202496 7331 0 1 0 111 2 0 0 20 0 19 0 291157706 9855979520 10161 33554432000 1073741824 1073778376 140736303146416 140736303137552 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30352/statm: 2406245 10161 2242 9 0 2396937 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 9624980
[startup+1.5008 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 30371
/proc/meminfo: memFree=30844992/32873844 swapFree=7112/7112
[pid=30352] ppid=30350 vsize=9624980 CPUtime=2.03 cores=1,3,5,7
/proc/30352/stat : 30352 (java) S 30350 30352 26693 0 -1 4202496 7583 0 1 0 200 3 0 0 20 0 19 0 291157706 9855979520 16862 33554432000 1073741824 1073778376 140736303146416 140736303137552 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30352/statm: 2406245 16862 2267 9 0 2396937 0
[pid=30352/tid=30354] ppid=30350 vsize=9624980 CPUtime=1.41 cores=1,3,5,7
/proc/30352/task/30354/stat : 30354 (java) R 30350 30352 26693 0 -1 4202560 2486 0 1 0 140 1 0 0 20 0 19 0 291157707 9855979520 16862 33554432000 1073741824 1073778376 140736303146416 140319707922840 140319551642763 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30352/tid=30355] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30355/stat : 30355 (java) S 30350 30352 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291157708 9855979520 16862 33554432000 1073741824 1073778376 140736303146416 140319551122472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30352/tid=30356] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30356/stat : 30356 (java) S 30350 30352 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291157708 9855979520 16862 33554432000 1073741824 1073778376 140736303146416 140319550069672 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30352/tid=30357] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30357/stat : 30357 (java) S 30350 30352 26693 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291157708 9855979520 16862 33554432000 1073741824 1073778376 140736303146416 140319549016872 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30352/tid=30358] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30358/stat : 30358 (java) S 30350 30352 26693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291157708 9855979520 16862 33554432000 1073741824 1073778376 140736303146416 140319547964072 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30352/tid=30359] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30359/stat : 30359 (java) S 30350 30352 26693 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291157708 9855979520 16862 33554432000 1073741824 1073778376 140736303146416 140319546911272 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30352/tid=30360] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30360/stat : 30360 (java) S 30350 30352 26693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291157708 9855979520 16862 33554432000 1073741824 1073778376 140736303146416 140319545858472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30352/tid=30361] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30361/stat : 30361 (java) S 30350 30352 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291157708 9855979520 16862 33554432000 1073741824 1073778376 140736303146416 140319544805672 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30352/tid=30362] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30362/stat : 30362 (java) S 30350 30352 26693 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291157708 9855979520 16862 33554432000 1073741824 1073778376 140736303146416 140319543752872 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30352/tid=30363] ppid=30350 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/30352/task/30363/stat : 30363 (java) S 30350 30352 26693 0 -1 4202560 35 0 0 0 1 0 0 0 20 0 19 0 291157710 9855979520 16862 33554432000 1073741824 1073778376 140736303146416 140319061425128 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30352/tid=30364] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30364/stat : 30364 (java) S 30350 30352 26693 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291157710 9855979520 16862 33554432000 1073741824 1073778376 140736303146416 140319060371192 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30352/tid=30365] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30365/stat : 30365 (java) S 30350 30352 26693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291157710 9855979520 16862 33554432000 1073741824 1073778376 140736303146416 140319059318280 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30352/tid=30366] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30366/stat : 30366 (java) S 30350 30352 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291157713 9855979520 16862 33554432000 1073741824 1073778376 140736303146416 140319058266768 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30352/tid=30367] ppid=30350 vsize=9624980 CPUtime=0.24 cores=1,3,5,7
/proc/30352/task/30367/stat : 30367 (java) S 30350 30352 26693 0 -1 4202560 1841 0 0 0 24 0 0 0 20 0 19 0 291157713 9855979520 16862 33554432000 1073741824 1073778376 140736303146416 140319057213880 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30352/tid=30368] ppid=30350 vsize=9624980 CPUtime=0.24 cores=1,3,5,7
/proc/30352/task/30368/stat : 30368 (java) S 30350 30352 26693 0 -1 4202560 1997 0 0 0 24 0 0 0 20 0 19 0 291157713 9855979520 16862 33554432000 1073741824 1073778376 140736303146416 140319056161080 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30352/tid=30369] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30369/stat : 30369 (java) S 30350 30352 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291157713 9855979520 16862 33554432000 1073741824 1073778376 140736303146416 140319055108472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30352/tid=30370] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30370/stat : 30370 (java) S 30350 30352 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291157713 9855979520 16862 33554432000 1073741824 1073778376 140736303146416 140319054055880 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30352/tid=30371] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30371/stat : 30371 (java) S 30350 30352 26693 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291157731 9855979520 16862 33554432000 1073741824 1073778376 140736303146416 140319053002408 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 9624980
[startup+3.10067 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 30371
/proc/meminfo: memFree=30830408/32873844 swapFree=7112/7112
[pid=30352] ppid=30350 vsize=9624980 CPUtime=3.73 cores=1,3,5,7
/proc/30352/stat : 30352 (java) S 30350 30352 26693 0 -1 4202496 8216 0 1 0 369 4 0 0 20 0 19 0 291157706 9855979520 19075 33554432000 1073741824 1073778376 140736303146416 140736303137552 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30352/statm: 2406245 19075 2268 9 0 2396937 0
[pid=30352/tid=30354] ppid=30350 vsize=9624980 CPUtime=2.95 cores=1,3,5,7
/proc/30352/task/30354/stat : 30354 (java) R 30350 30352 26693 0 -1 4202560 2486 0 1 0 294 1 0 0 20 0 19 0 291157707 9855979520 19075 33554432000 1073741824 1073778376 140736303146416 140319707922720 140319551656004 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30352/tid=30355] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30355/stat : 30355 (java) S 30350 30352 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291157708 9855979520 19075 33554432000 1073741824 1073778376 140736303146416 140319551122472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30352/tid=30356] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30356/stat : 30356 (java) S 30350 30352 26693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291157708 9855979520 19075 33554432000 1073741824 1073778376 140736303146416 140319550069672 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30352/tid=30357] ppid=30350 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/30352/task/30357/stat : 30357 (java) S 30350 30352 26693 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 291157708 9855979520 19075 33554432000 1073741824 1073778376 140736303146416 140319549016872 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30352/tid=30358] ppid=30350 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/30352/task/30358/stat : 30358 (java) S 30350 30352 26693 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 291157708 9855979520 19075 33554432000 1073741824 1073778376 140736303146416 140319547964072 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30352/tid=30359] ppid=30350 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/30352/task/30359/stat : 30359 (java) S 30350 30352 26693 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 291157708 9855979520 19075 33554432000 1073741824 1073778376 140736303146416 140319546911272 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30352/tid=30360] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30360/stat : 30360 (java) S 30350 30352 26693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291157708 9855979520 19075 33554432000 1073741824 1073778376 140736303146416 140319545858472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30352/tid=30361] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30361/stat : 30361 (java) S 30350 30352 26693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291157708 9855979520 19075 33554432000 1073741824 1073778376 140736303146416 140319544805672 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30352/tid=30362] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30362/stat : 30362 (java) S 30350 30352 26693 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291157708 9855979520 19075 33554432000 1073741824 1073778376 140736303146416 140319543752872 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30352/tid=30363] ppid=30350 vsize=9624980 CPUtime=0.05 cores=1,3,5,7
/proc/30352/task/30363/stat : 30363 (java) S 30350 30352 26693 0 -1 4202560 36 0 0 0 5 0 0 0 20 0 19 0 291157710 9855979520 19075 33554432000 1073741824 1073778376 140736303146416 140319061425128 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30352/tid=30364] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30364/stat : 30364 (java) S 30350 30352 26693 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291157710 9855979520 19075 33554432000 1073741824 1073778376 140736303146416 140319060371192 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30352/tid=30365] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30365/stat : 30365 (java) S 30350 30352 26693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291157710 9855979520 19075 33554432000 1073741824 1073778376 140736303146416 140319059318280 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30352/tid=30366] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30366/stat : 30366 (java) S 30350 30352 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291157713 9855979520 19075 33554432000 1073741824 1073778376 140736303146416 140319058266768 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30352/tid=30367] ppid=30350 vsize=9624980 CPUtime=0.29 cores=1,3,5,7
/proc/30352/task/30367/stat : 30367 (java) S 30350 30352 26693 0 -1 4202560 2457 0 0 0 29 0 0 0 20 0 19 0 291157713 9855979520 19075 33554432000 1073741824 1073778376 140736303146416 140319057213880 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30352/tid=30368] ppid=30350 vsize=9624980 CPUtime=0.25 cores=1,3,5,7
/proc/30352/task/30368/stat : 30368 (java) S 30350 30352 26693 0 -1 4202560 1998 0 0 0 25 0 0 0 20 0 19 0 291157713 9855979520 19075 33554432000 1073741824 1073778376 140736303146416 140319056161080 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30352/tid=30369] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30369/stat : 30369 (java) S 30350 30352 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291157713 9855979520 19075 33554432000 1073741824 1073778376 140736303146416 140319055108472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30352/tid=30370] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30370/stat : 30370 (java) S 30350 30352 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291157713 9855979520 19075 33554432000 1073741824 1073778376 140736303146416 140319054055880 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30352/tid=30371] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30371/stat : 30371 (java) S 30350 30352 26693 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291157731 9855979520 19075 33554432000 1073741824 1073778376 140736303146416 140319053002408 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.73
Current children cumulated vsize (KiB) 9624980
[startup+6.30068 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 30371
/proc/meminfo: memFree=30816872/32873844 swapFree=7112/7112
[pid=30352] ppid=30350 vsize=9624980 CPUtime=7.03 cores=1,3,5,7
/proc/30352/stat : 30352 (java) S 30350 30352 26693 0 -1 4202496 8243 0 1 0 698 5 0 0 20 0 19 0 291157706 9855979520 22537 33554432000 1073741824 1073778376 140736303146416 140736303137552 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30352/statm: 2406245 22537 2268 9 0 2396937 0
[pid=30352/tid=30354] ppid=30350 vsize=9624980 CPUtime=6.03 cores=1,3,5,7
/proc/30352/task/30354/stat : 30354 (java) R 30350 30352 26693 0 -1 4202560 2490 0 1 0 602 1 0 0 20 0 19 0 291157707 9855979520 22537 33554432000 1073741824 1073778376 140736303146416 140319707922720 140319551656414 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30352/tid=30355] ppid=30350 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/30352/task/30355/stat : 30355 (java) S 30350 30352 26693 0 -1 4202560 2 0 0 0 1 0 0 0 20 0 19 0 291157708 9855979520 22537 33554432000 1073741824 1073778376 140736303146416 140319551122472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30352/tid=30356] ppid=30350 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/30352/task/30356/stat : 30356 (java) S 30350 30352 26693 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 291157708 9855979520 22537 33554432000 1073741824 1073778376 140736303146416 140319550069672 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30352/tid=30357] ppid=30350 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/30352/task/30357/stat : 30357 (java) S 30350 30352 26693 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 19 0 291157708 9855979520 22537 33554432000 1073741824 1073778376 140736303146416 140319549016872 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30352/tid=30358] ppid=30350 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/30352/task/30358/stat : 30358 (java) S 30350 30352 26693 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 291157708 9855979520 22537 33554432000 1073741824 1073778376 140736303146416 140319547964072 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30352/tid=30359] ppid=30350 vsize=9624980 CPUtime=0.03 cores=1,3,5,7
/proc/30352/task/30359/stat : 30359 (java) S 30350 30352 26693 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 19 0 291157708 9855979520 22537 33554432000 1073741824 1073778376 140736303146416 140319546911272 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30352/tid=30360] ppid=30350 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/30352/task/30360/stat : 30360 (java) S 30350 30352 26693 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 291157708 9855979520 22537 33554432000 1073741824 1073778376 140736303146416 140319545858472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30352/tid=30361] ppid=30350 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/30352/task/30361/stat : 30361 (java) S 30350 30352 26693 0 -1 4202560 3 0 0 0 2 0 0 0 20 0 19 0 291157708 9855979520 22537 33554432000 1073741824 1073778376 140736303146416 140319544805672 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30352/tid=30362] ppid=30350 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/30352/task/30362/stat : 30362 (java) S 30350 30352 26693 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 19 0 291157708 9855979520 22537 33554432000 1073741824 1073778376 140736303146416 140319543752872 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30352/tid=30363] ppid=30350 vsize=9624980 CPUtime=0.11 cores=1,3,5,7
/proc/30352/task/30363/stat : 30363 (java) S 30350 30352 26693 0 -1 4202560 39 0 0 0 11 0 0 0 20 0 19 0 291157710 9855979520 22537 33554432000 1073741824 1073778376 140736303146416 140319061425128 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30352/tid=30364] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30364/stat : 30364 (java) S 30350 30352 26693 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291157710 9855979520 22537 33554432000 1073741824 1073778376 140736303146416 140319060371192 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30352/tid=30365] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30365/stat : 30365 (java) S 30350 30352 26693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291157710 9855979520 22537 33554432000 1073741824 1073778376 140736303146416 140319059318280 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30352/tid=30366] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30366/stat : 30366 (java) S 30350 30352 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291157713 9855979520 22537 33554432000 1073741824 1073778376 140736303146416 140319058266768 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30352/tid=30367] ppid=30350 vsize=9624980 CPUtime=0.29 cores=1,3,5,7
/proc/30352/task/30367/stat : 30367 (java) S 30350 30352 26693 0 -1 4202560 2457 0 0 0 29 0 0 0 20 0 19 0 291157713 9855979520 22537 33554432000 1073741824 1073778376 140736303146416 140319057213880 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30352/tid=30368] ppid=30350 vsize=9624980 CPUtime=0.25 cores=1,3,5,7
/proc/30352/task/30368/stat : 30368 (java) S 30350 30352 26693 0 -1 4202560 1998 0 0 0 25 0 0 0 20 0 19 0 291157713 9855979520 22537 33554432000 1073741824 1073778376 140736303146416 140319056161080 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30352/tid=30369] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30369/stat : 30369 (java) S 30350 30352 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291157713 9855979520 22537 33554432000 1073741824 1073778376 140736303146416 140319055108472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30352/tid=30370] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30370/stat : 30370 (java) S 30350 30352 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291157713 9855979520 22537 33554432000 1073741824 1073778376 140736303146416 140319054055880 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30352/tid=30371] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30371/stat : 30371 (java) S 30350 30352 26693 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291157731 9855979520 22537 33554432000 1073741824 1073778376 140736303146416 140319053002408 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.03
Current children cumulated vsize (KiB) 9624980
[startup+12.7008 s]
################
# More data... #
################
[pid=30352/tid=30367] ppid=30350 vsize=9624980 CPUtime=0.31 cores=1,3,5,7
/proc/30352/task/30367/stat : 30367 (java) S 30350 30352 26693 0 -1 4202560 2775 0 0 0 31 0 0 0 20 0 19 0 291157713 9855979520 208260 33554432000 1073741824 1073778376 140736303146416 140319057213880 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30352/tid=30368] ppid=30350 vsize=9624980 CPUtime=0.25 cores=1,3,5,7
/proc/30352/task/30368/stat : 30368 (java) S 30350 30352 26693 0 -1 4202560 1998 0 0 0 25 0 0 0 20 0 19 0 291157713 9855979520 208260 33554432000 1073741824 1073778376 140736303146416 140319056161080 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30352/tid=30369] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30369/stat : 30369 (java) S 30350 30352 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291157713 9855979520 208260 33554432000 1073741824 1073778376 140736303146416 140319055108472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30352/tid=30370] ppid=30350 vsize=9624980 CPUtime=0.84 cores=1,3,5,7
/proc/30352/task/30370/stat : 30370 (java) S 30350 30352 26693 0 -1 4202560 99 0 0 0 50 34 0 0 20 0 19 0 291157713 9855979520 208260 33554432000 1073741824 1073778376 140736303146416 140319054055880 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30352/tid=30371] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30371/stat : 30371 (java) S 30350 30352 26693 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291157731 9855979520 208260 33554432000 1073741824 1073778376 140736303146416 140319053002408 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1733.6
Current children cumulated vsize (KiB) 9624980
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/215 30445
/proc/meminfo: memFree=29676764/32873844 swapFree=7112/7112
[pid=30352] ppid=30350 vsize=9624980 CPUtime=1794.02 cores=1,3,5,7
/proc/30352/stat : 30352 (java) S 30350 30352 26693 0 -1 4202496 12911 0 1 0 179274 128 0 0 20 0 19 0 291157706 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140736303137552 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30352/statm: 2406245 208772 2269 9 0 2396937 0
[pid=30352/tid=30354] ppid=30350 vsize=9624980 CPUtime=1764.9 cores=1,3,5,7
/proc/30352/task/30354/stat : 30354 (java) R 30350 30352 26693 0 -1 4202560 2638 0 1 0 176459 31 0 0 20 0 19 0 291157707 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319707922720 140319551639552 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30352/tid=30355] ppid=30350 vsize=9624980 CPUtime=1.73 cores=1,3,5,7
/proc/30352/task/30355/stat : 30355 (java) S 30350 30352 26693 0 -1 4202560 562 0 0 0 161 12 0 0 20 0 19 0 291157708 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319551122472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30352/tid=30356] ppid=30350 vsize=9624980 CPUtime=1.66 cores=1,3,5,7
/proc/30352/task/30356/stat : 30356 (java) S 30350 30352 26693 0 -1 4202560 330 0 0 0 157 9 0 0 20 0 19 0 291157708 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319550069672 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30352/tid=30357] ppid=30350 vsize=9624980 CPUtime=1.78 cores=1,3,5,7
/proc/30352/task/30357/stat : 30357 (java) S 30350 30352 26693 0 -1 4202560 481 0 0 0 168 10 0 0 20 0 19 0 291157708 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319549016872 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30352/tid=30358] ppid=30350 vsize=9624980 CPUtime=1.9 cores=1,3,5,7
/proc/30352/task/30358/stat : 30358 (java) S 30350 30352 26693 0 -1 4202560 250 0 0 0 179 11 0 0 20 0 19 0 291157708 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319547964072 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30352/tid=30359] ppid=30350 vsize=9624980 CPUtime=1.85 cores=1,3,5,7
/proc/30352/task/30359/stat : 30359 (java) S 30350 30352 26693 0 -1 4202560 416 0 0 0 174 11 0 0 20 0 19 0 291157708 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319546911272 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30352/tid=30360] ppid=30350 vsize=9624980 CPUtime=1.93 cores=1,3,5,7
/proc/30352/task/30360/stat : 30360 (java) S 30350 30352 26693 0 -1 4202560 608 0 0 0 179 14 0 0 20 0 19 0 291157708 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319545858472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30352/tid=30361] ppid=30350 vsize=9624980 CPUtime=1.84 cores=1,3,5,7
/proc/30352/task/30361/stat : 30361 (java) S 30350 30352 26693 0 -1 4202560 329 0 0 0 174 10 0 0 20 0 19 0 291157708 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319544805672 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30352/tid=30362] ppid=30350 vsize=9624980 CPUtime=1.91 cores=1,3,5,7
/proc/30352/task/30362/stat : 30362 (java) S 30350 30352 26693 0 -1 4202560 352 0 0 0 179 12 0 0 20 0 19 0 291157708 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319543752872 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30352/tid=30363] ppid=30350 vsize=9624980 CPUtime=8.67 cores=1,3,5,7
/proc/30352/task/30363/stat : 30363 (java) S 30350 30352 26693 0 -1 4202560 883 0 0 0 864 3 0 0 20 0 19 0 291157710 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319061425128 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30352/tid=30364] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30364/stat : 30364 (java) S 30350 30352 26693 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291157710 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319060371192 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30352/tid=30365] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30365/stat : 30365 (java) S 30350 30352 26693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291157710 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319059318280 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30352/tid=30366] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30366/stat : 30366 (java) S 30350 30352 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291157713 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319058266768 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30352/tid=30367] ppid=30350 vsize=9624980 CPUtime=0.31 cores=1,3,5,7
/proc/30352/task/30367/stat : 30367 (java) S 30350 30352 26693 0 -1 4202560 2775 0 0 0 31 0 0 0 20 0 19 0 291157713 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319057213880 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30352/tid=30368] ppid=30350 vsize=9624980 CPUtime=0.25 cores=1,3,5,7
/proc/30352/task/30368/stat : 30368 (java) S 30350 30352 26693 0 -1 4202560 1998 0 0 0 25 0 0 0 20 0 19 0 291157713 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319056161080 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30352/tid=30369] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30369/stat : 30369 (java) S 30350 30352 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291157713 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319055108472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30352/tid=30370] ppid=30350 vsize=9624980 CPUtime=0.87 cores=1,3,5,7
/proc/30352/task/30370/stat : 30370 (java) S 30350 30352 26693 0 -1 4202560 103 0 0 0 52 35 0 0 20 0 19 0 291157713 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319054055880 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30352/tid=30371] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30371/stat : 30371 (java) S 30350 30352 26693 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291157731 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319053002408 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1794.02
Current children cumulated vsize (KiB) 9624980
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1788.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/215 30445
/proc/meminfo: memFree=29676888/32873844 swapFree=7112/7112
[pid=30352] ppid=30350 vsize=9624980 CPUtime=1800.02 cores=1,3,5,7
/proc/30352/stat : 30352 (java) S 30350 30352 26693 0 -1 4202496 12911 0 1 0 179874 128 0 0 20 0 19 0 291157706 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140736303137552 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30352/statm: 2406245 208772 2269 9 0 2396937 0
[pid=30352/tid=30354] ppid=30350 vsize=9624980 CPUtime=1770.89 cores=1,3,5,7
/proc/30352/task/30354/stat : 30354 (java) R 30350 30352 26693 0 -1 4202560 2638 0 1 0 177058 31 0 0 20 0 19 0 291157707 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319707922720 140319551688055 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30352/tid=30355] ppid=30350 vsize=9624980 CPUtime=1.73 cores=1,3,5,7
/proc/30352/task/30355/stat : 30355 (java) S 30350 30352 26693 0 -1 4202560 562 0 0 0 161 12 0 0 20 0 19 0 291157708 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319551122472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30352/tid=30356] ppid=30350 vsize=9624980 CPUtime=1.66 cores=1,3,5,7
/proc/30352/task/30356/stat : 30356 (java) S 30350 30352 26693 0 -1 4202560 330 0 0 0 157 9 0 0 20 0 19 0 291157708 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319550069672 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30352/tid=30357] ppid=30350 vsize=9624980 CPUtime=1.78 cores=1,3,5,7
/proc/30352/task/30357/stat : 30357 (java) S 30350 30352 26693 0 -1 4202560 481 0 0 0 168 10 0 0 20 0 19 0 291157708 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319549016872 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30352/tid=30358] ppid=30350 vsize=9624980 CPUtime=1.9 cores=1,3,5,7
/proc/30352/task/30358/stat : 30358 (java) S 30350 30352 26693 0 -1 4202560 250 0 0 0 179 11 0 0 20 0 19 0 291157708 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319547964072 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30352/tid=30359] ppid=30350 vsize=9624980 CPUtime=1.85 cores=1,3,5,7
/proc/30352/task/30359/stat : 30359 (java) S 30350 30352 26693 0 -1 4202560 416 0 0 0 174 11 0 0 20 0 19 0 291157708 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319546911272 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30352/tid=30360] ppid=30350 vsize=9624980 CPUtime=1.93 cores=1,3,5,7
/proc/30352/task/30360/stat : 30360 (java) S 30350 30352 26693 0 -1 4202560 608 0 0 0 179 14 0 0 20 0 19 0 291157708 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319545858472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30352/tid=30361] ppid=30350 vsize=9624980 CPUtime=1.84 cores=1,3,5,7
/proc/30352/task/30361/stat : 30361 (java) S 30350 30352 26693 0 -1 4202560 329 0 0 0 174 10 0 0 20 0 19 0 291157708 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319544805672 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30352/tid=30362] ppid=30350 vsize=9624980 CPUtime=1.91 cores=1,3,5,7
/proc/30352/task/30362/stat : 30362 (java) S 30350 30352 26693 0 -1 4202560 352 0 0 0 179 12 0 0 20 0 19 0 291157708 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319543752872 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30352/tid=30363] ppid=30350 vsize=9624980 CPUtime=8.68 cores=1,3,5,7
/proc/30352/task/30363/stat : 30363 (java) S 30350 30352 26693 0 -1 4202560 883 0 0 0 865 3 0 0 20 0 19 0 291157710 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319061425128 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30352/tid=30364] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30364/stat : 30364 (java) S 30350 30352 26693 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291157710 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319060371192 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30352/tid=30365] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30365/stat : 30365 (java) S 30350 30352 26693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291157710 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319059318280 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30352/tid=30366] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30366/stat : 30366 (java) S 30350 30352 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291157713 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319058266768 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30352/tid=30367] ppid=30350 vsize=9624980 CPUtime=0.31 cores=1,3,5,7
/proc/30352/task/30367/stat : 30367 (java) S 30350 30352 26693 0 -1 4202560 2775 0 0 0 31 0 0 0 20 0 19 0 291157713 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319057213880 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30352/tid=30368] ppid=30350 vsize=9624980 CPUtime=0.25 cores=1,3,5,7
/proc/30352/task/30368/stat : 30368 (java) S 30350 30352 26693 0 -1 4202560 1998 0 0 0 25 0 0 0 20 0 19 0 291157713 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319056161080 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30352/tid=30369] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30369/stat : 30369 (java) S 30350 30352 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291157713 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319055108472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30352/tid=30370] ppid=30350 vsize=9624980 CPUtime=0.87 cores=1,3,5,7
/proc/30352/task/30370/stat : 30370 (java) S 30350 30352 26693 0 -1 4202560 103 0 0 0 52 35 0 0 20 0 19 0 291157713 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319054055880 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30352/tid=30371] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30371/stat : 30371 (java) S 30350 30352 26693 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291157731 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319053002408 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9624980
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1788.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/215 30445
/proc/meminfo: memFree=29676888/32873844 swapFree=7112/7112
[pid=30352] ppid=30350 vsize=9624980 CPUtime=1800.02 cores=1,3,5,7
/proc/30352/stat : 30352 (java) S 30350 30352 26693 0 -1 4202496 12911 0 1 0 179874 128 0 0 20 0 19 0 291157706 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140736303137552 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30352/statm: 2406245 208772 2269 9 0 2396937 0
[pid=30352/tid=30354] ppid=30350 vsize=9624980 CPUtime=1770.89 cores=1,3,5,7
/proc/30352/task/30354/stat : 30354 (java) R 30350 30352 26693 0 -1 4202560 2638 0 1 0 177058 31 0 0 20 0 19 0 291157707 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319707922720 140319551688055 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30352/tid=30355] ppid=30350 vsize=9624980 CPUtime=1.73 cores=1,3,5,7
/proc/30352/task/30355/stat : 30355 (java) S 30350 30352 26693 0 -1 4202560 562 0 0 0 161 12 0 0 20 0 19 0 291157708 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319551122472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30352/tid=30356] ppid=30350 vsize=9624980 CPUtime=1.66 cores=1,3,5,7
/proc/30352/task/30356/stat : 30356 (java) S 30350 30352 26693 0 -1 4202560 330 0 0 0 157 9 0 0 20 0 19 0 291157708 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319550069672 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30352/tid=30357] ppid=30350 vsize=9624980 CPUtime=1.78 cores=1,3,5,7
/proc/30352/task/30357/stat : 30357 (java) S 30350 30352 26693 0 -1 4202560 481 0 0 0 168 10 0 0 20 0 19 0 291157708 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319549016872 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30352/tid=30358] ppid=30350 vsize=9624980 CPUtime=1.9 cores=1,3,5,7
/proc/30352/task/30358/stat : 30358 (java) S 30350 30352 26693 0 -1 4202560 250 0 0 0 179 11 0 0 20 0 19 0 291157708 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319547964072 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30352/tid=30359] ppid=30350 vsize=9624980 CPUtime=1.85 cores=1,3,5,7
/proc/30352/task/30359/stat : 30359 (java) S 30350 30352 26693 0 -1 4202560 416 0 0 0 174 11 0 0 20 0 19 0 291157708 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319546911272 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30352/tid=30360] ppid=30350 vsize=9624980 CPUtime=1.93 cores=1,3,5,7
/proc/30352/task/30360/stat : 30360 (java) S 30350 30352 26693 0 -1 4202560 608 0 0 0 179 14 0 0 20 0 19 0 291157708 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319545858472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30352/tid=30361] ppid=30350 vsize=9624980 CPUtime=1.84 cores=1,3,5,7
/proc/30352/task/30361/stat : 30361 (java) S 30350 30352 26693 0 -1 4202560 329 0 0 0 174 10 0 0 20 0 19 0 291157708 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319544805672 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30352/tid=30362] ppid=30350 vsize=9624980 CPUtime=1.91 cores=1,3,5,7
/proc/30352/task/30362/stat : 30362 (java) S 30350 30352 26693 0 -1 4202560 352 0 0 0 179 12 0 0 20 0 19 0 291157708 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319543752872 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30352/tid=30363] ppid=30350 vsize=9624980 CPUtime=8.68 cores=1,3,5,7
/proc/30352/task/30363/stat : 30363 (java) S 30350 30352 26693 0 -1 4202560 883 0 0 0 865 3 0 0 20 0 19 0 291157710 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319061425128 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30352/tid=30364] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30364/stat : 30364 (java) S 30350 30352 26693 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291157710 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319060371192 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30352/tid=30365] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30365/stat : 30365 (java) S 30350 30352 26693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291157710 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319059318280 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30352/tid=30366] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30366/stat : 30366 (java) S 30350 30352 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291157713 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319058266768 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30352/tid=30367] ppid=30350 vsize=9624980 CPUtime=0.31 cores=1,3,5,7
/proc/30352/task/30367/stat : 30367 (java) S 30350 30352 26693 0 -1 4202560 2775 0 0 0 31 0 0 0 20 0 19 0 291157713 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319057213880 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30352/tid=30368] ppid=30350 vsize=9624980 CPUtime=0.25 cores=1,3,5,7
/proc/30352/task/30368/stat : 30368 (java) S 30350 30352 26693 0 -1 4202560 1998 0 0 0 25 0 0 0 20 0 19 0 291157713 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319056161080 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30352/tid=30369] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30369/stat : 30369 (java) S 30350 30352 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291157713 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319055108472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30352/tid=30370] ppid=30350 vsize=9624980 CPUtime=0.87 cores=1,3,5,7
/proc/30352/task/30370/stat : 30370 (java) S 30350 30352 26693 0 -1 4202560 103 0 0 0 52 35 0 0 20 0 19 0 291157713 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319054055880 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30352/tid=30371] ppid=30350 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/30352/task/30371/stat : 30371 (java) S 30350 30352 26693 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291157731 9855979520 208772 33554432000 1073741824 1073778376 140736303146416 140319053002408 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9624980
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30352 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=270229
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=721738
# CPU time returned by wait4() is 1795.99
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1788.38
CPU time (s): 1800.02
CPU user time (s): 1798.74
CPU system time (s): 1.28
CPU usage (%): 100.651
Max. virtual memory (cumulated for all children) (KiB): 9624980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.27
system time used= 1.72174
maximum resident set size= 835432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13032
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40177
involuntary context switches= 16360
runsolver used 6.60999 second user time and 16.4335 second system time
The end