runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3313503-1304184774/watcher-3313503-1304184774 -o /tmp/evaluation-result-3313503-1304184774/solver-3313503-1304184774 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3313503-1304184774.cnf
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 8.15 8.10 8.03 5/202 390
/proc/meminfo: memFree=25503304/32951124 swapFree=67111412/67111528
[pid=390] ppid=388 vsize=252 CPUtime=0 cores=1,3,5,7
/proc/390/stat : 390 (java) S 388 390 32679 0 -1 4194304 354 0 0 0 0 0 0 0 25 0 1 0 530075586 258048 31 33554432000 1073741824 1073778376 140736395257968 18446744073709551615 232330968711 0 2147483391 4096 0 18446744071699453118 0 0 17 1 0 0 0
/proc/390/statm: 63 31 24 9 0 22 0
[startup+0.0818569 s]
/proc/loadavg: 8.15 8.10 8.03 5/202 390
/proc/meminfo: memFree=25503304/32951124 swapFree=67111412/67111528
[pid=390] ppid=388 vsize=15609780 CPUtime=0.05 cores=1,3,5,7
/proc/390/stat : 390 (java) S 388 390 32679 0 -1 4202496 4418 0 1 0 5 0 0 0 25 0 18 0 530075586 15984414720 3857 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/390/statm: 3902445 3857 1779 9 0 3893164 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15609780
[startup+0.100859 s]
/proc/loadavg: 8.15 8.10 8.03 5/202 390
/proc/meminfo: memFree=25503304/32951124 swapFree=67111412/67111528
[pid=390] ppid=388 vsize=15676820 CPUtime=0.09 cores=1,3,5,7
/proc/390/stat : 390 (java) S 388 390 32679 0 -1 4202496 5505 0 1 0 9 0 0 0 25 0 18 0 530075586 16053063680 4904 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/390/statm: 3919205 4904 2115 9 0 3909924 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15676820
[startup+0.300775 s]
/proc/loadavg: 8.15 8.10 8.03 5/202 390
/proc/meminfo: memFree=25503304/32951124 swapFree=67111412/67111528
[pid=390] ppid=388 vsize=15680692 CPUtime=0.5 cores=1,3,5,7
/proc/390/stat : 390 (java) S 388 390 32679 0 -1 4202496 13627 0 1 0 48 2 0 0 25 0 18 0 530075586 16057028608 12044 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/390/statm: 3920173 12044 2207 9 0 3910892 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 15680692
[startup+0.700706 s]
/proc/loadavg: 8.15 8.10 8.03 5/202 390
/proc/meminfo: memFree=25503304/32951124 swapFree=67111412/67111528
[pid=390] ppid=388 vsize=15699028 CPUtime=1.62 cores=1,3,5,7
/proc/390/stat : 390 (java) S 388 390 32679 0 -1 4202496 26085 0 1 0 158 4 0 0 25 0 22 0 530075586 16075804672 20721 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/390/statm: 3924757 20735 2261 9 0 3915476 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 15699028
[startup+1.50156 s]
/proc/loadavg: 8.30 8.13 8.04 6/224 412
/proc/meminfo: memFree=25311984/32951124 swapFree=67111412/67111528
[pid=390] ppid=388 vsize=15696856 CPUtime=4.78 cores=1,3,5,7
/proc/390/stat : 390 (java) S 388 390 32679 0 -1 4202496 66237 0 1 0 469 9 0 0 25 0 22 0 530075586 16073580544 54632 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/390/statm: 3924214 54632 2275 9 0 3914933 0
[pid=390/tid=392] ppid=388 vsize=15696856 CPUtime=0.52 cores=1,3,5,7
/proc/390/task/392/stat : 392 (java) S 388 390 32679 0 -1 4202560 9673 0 1 0 50 2 0 0 20 0 22 0 530075587 16073580544 54632 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 5 0 0 0
[pid=390/tid=393] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/393/stat : 393 (java) S 388 390 32679 0 -1 4202560 1556 0 0 0 0 0 0 0 15 0 22 0 530075588 16073580544 54632 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 7 0 0 0
[pid=390/tid=394] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/394/stat : 394 (java) S 388 390 32679 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 530075588 16073580544 54632 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 7 0 0 0
[pid=390/tid=395] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/395/stat : 395 (java) S 388 390 32679 0 -1 4202560 760 0 0 0 0 0 0 0 16 0 22 0 530075588 16073580544 54632 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 5 0 0 0
[pid=390/tid=396] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/396/stat : 396 (java) S 388 390 32679 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 530075588 16073580544 54632 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 5 0 0 0
[pid=390/tid=397] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/397/stat : 397 (java) S 388 390 32679 0 -1 4202560 1445 0 0 0 0 0 0 0 16 0 22 0 530075588 16073580544 54632 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 7 0 0 0
[pid=390/tid=398] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/398/stat : 398 (java) S 388 390 32679 0 -1 4202560 2863 0 0 0 0 0 0 0 16 0 22 0 530075588 16073580544 54632 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 7 0 0 0
[pid=390/tid=399] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/399/stat : 399 (java) S 388 390 32679 0 -1 4202560 1654 0 0 0 0 0 0 0 15 0 22 0 530075588 16073580544 54632 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 5 0 0 0
[pid=390/tid=400] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/400/stat : 400 (java) S 388 390 32679 0 -1 4202560 1225 0 0 0 0 0 0 0 15 0 22 0 530075588 16073580544 54632 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 5 0 0 0
[pid=390/tid=401] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/401/stat : 401 (java) S 388 390 32679 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 530075589 16073580544 54632 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708928 0 0 0 16800975 18446604471147511872 0 0 -1 7 0 0 0
[pid=390/tid=402] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/402/stat : 402 (java) S 388 390 32679 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 530075590 16073580544 54632 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 3 0 0 0
[pid=390/tid=403] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/403/stat : 403 (java) S 388 390 32679 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 530075590 16073580544 54632 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 3 0 0 0
[pid=390/tid=404] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/404/stat : 404 (java) S 388 390 32679 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530075592 16073580544 54632 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347716017 0 4 0 16800975 18446604471147511872 0 0 -1 3 0 0 0
[pid=390/tid=405] ppid=388 vsize=15696856 CPUtime=0.65 cores=1,3,5,7
/proc/390/task/405/stat : 405 (java) R 388 390 32679 0 -1 4202560 7557 0 0 0 64 1 0 0 25 0 22 0 530075592 16073580544 54632 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 47613429974597 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=390/tid=406] ppid=388 vsize=15696856 CPUtime=0.98 cores=1,3,5,7
/proc/390/task/406/stat : 406 (java) R 388 390 32679 0 -1 4202560 12012 0 0 0 97 1 0 0 16 0 22 0 530075592 16073580544 54632 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 47613430066687 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=390/tid=407] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/407/stat : 407 (java) S 388 390 32679 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530075592 16073580544 54632 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 3 0 0 0
[pid=390/tid=408] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/408/stat : 408 (java) S 388 390 32679 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 530075592 16073580544 54632 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708928 0 4 0 16800975 18446604471147511872 0 0 -1 1 0 0 0
[pid=390/tid=409] ppid=388 vsize=15696856 CPUtime=0.72 cores=1,3,5,7
/proc/390/task/409/stat : 409 (java) R 388 390 32679 0 -1 4202560 9305 0 0 0 72 0 0 0 16 0 22 0 530075617 16073580544 54632 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 47613434450160 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=390/tid=410] ppid=388 vsize=15696856 CPUtime=0.59 cores=1,3,5,7
/proc/390/task/410/stat : 410 (java) R 388 390 32679 0 -1 4202560 1138 0 0 0 59 0 0 0 18 0 22 0 530075617 16073580544 54632 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 46912505820282 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=390/tid=411] ppid=388 vsize=15696856 CPUtime=0.49 cores=1,3,5,7
/proc/390/task/411/stat : 411 (java) R 388 390 32679 0 -1 4202560 7714 0 0 0 49 0 0 0 16 0 22 0 530075617 16073580544 54632 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 46912505820242 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=390/tid=412] ppid=388 vsize=15696856 CPUtime=0.72 cores=1,3,5,7
/proc/390/task/412/stat : 412 (java) R 388 390 32679 0 -1 4202560 7873 0 0 0 72 0 0 0 17 0 22 0 530075617 16073580544 54632 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 46912506004501 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.78
Current children cumulated vsize (KiB) 15696856
[startup+3.10128 s]
/proc/loadavg: 8.30 8.13 8.04 10/224 412
/proc/meminfo: memFree=25117664/32951124 swapFree=67111412/67111528
[pid=390] ppid=388 vsize=15696856 CPUtime=11.16 cores=1,3,5,7
/proc/390/stat : 390 (java) S 388 390 32679 0 -1 4202496 164515 0 1 0 1094 22 0 0 25 0 22 0 530075586 16073580544 150842 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/390/statm: 3924214 150842 2285 9 0 3914933 0
[pid=390/tid=392] ppid=388 vsize=15696856 CPUtime=0.52 cores=1,3,5,7
/proc/390/task/392/stat : 392 (java) S 388 390 32679 0 -1 4202560 9673 0 1 0 50 2 0 0 20 0 22 0 530075587 16073580544 150842 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 5 0 0 0
[pid=390/tid=393] ppid=388 vsize=15696856 CPUtime=0.01 cores=1,3,5,7
/proc/390/task/393/stat : 393 (java) S 388 390 32679 0 -1 4202560 4936 0 0 0 1 0 0 0 15 0 22 0 530075588 16073580544 150842 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 3 0 0 0
[pid=390/tid=394] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/394/stat : 394 (java) S 388 390 32679 0 -1 4202560 1323 0 0 0 0 0 0 0 16 0 22 0 530075588 16073580544 150842 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 7 0 0 0
[pid=390/tid=395] ppid=388 vsize=15696856 CPUtime=0.01 cores=1,3,5,7
/proc/390/task/395/stat : 395 (java) S 388 390 32679 0 -1 4202560 3400 0 0 0 1 0 0 0 15 0 22 0 530075588 16073580544 150842 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 5 0 0 0
[pid=390/tid=396] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/396/stat : 396 (java) S 388 390 32679 0 -1 4202560 975 0 0 0 0 0 0 0 15 0 22 0 530075588 16073580544 150842 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 5 0 0 0
[pid=390/tid=397] ppid=388 vsize=15696856 CPUtime=0.01 cores=1,3,5,7
/proc/390/task/397/stat : 397 (java) S 388 390 32679 0 -1 4202560 6196 0 0 0 1 0 0 0 15 0 22 0 530075588 16073580544 150842 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 3 0 0 0
[pid=390/tid=398] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/398/stat : 398 (java) S 388 390 32679 0 -1 4202560 5222 0 0 0 0 0 0 0 15 0 22 0 530075588 16073580544 150842 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 5 0 0 0
[pid=390/tid=399] ppid=388 vsize=15696856 CPUtime=0.01 cores=1,3,5,7
/proc/390/task/399/stat : 399 (java) S 388 390 32679 0 -1 4202560 4224 0 0 0 1 0 0 0 15 0 22 0 530075588 16073580544 150842 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 1 0 0 0
[pid=390/tid=400] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/400/stat : 400 (java) S 388 390 32679 0 -1 4202560 2171 0 0 0 0 0 0 0 15 0 22 0 530075588 16073580544 150842 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 1 0 0 0
[pid=390/tid=401] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/401/stat : 401 (java) S 388 390 32679 0 -1 4202560 457 0 0 0 0 0 0 0 16 0 22 0 530075589 16073580544 150842 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708928 0 0 0 16800975 18446604471147511872 0 0 -1 5 0 0 0
[pid=390/tid=402] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/402/stat : 402 (java) S 388 390 32679 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 530075590 16073580544 150842 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 3 0 0 0
[pid=390/tid=403] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/403/stat : 403 (java) S 388 390 32679 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 530075590 16073580544 150842 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 3 0 0 0
[pid=390/tid=404] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/404/stat : 404 (java) S 388 390 32679 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530075592 16073580544 150842 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347716017 0 4 0 16800975 18446604471147511872 0 0 -1 3 0 0 0
[pid=390/tid=405] ppid=388 vsize=15696856 CPUtime=0.66 cores=1,3,5,7
/proc/390/task/405/stat : 405 (java) S 388 390 32679 0 -1 4202560 7557 0 0 0 65 1 0 0 18 0 22 0 530075592 16073580544 150842 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 7 0 0 0
[pid=390/tid=406] ppid=388 vsize=15696856 CPUtime=1.27 cores=1,3,5,7
/proc/390/task/406/stat : 406 (java) S 388 390 32679 0 -1 4202560 14054 0 0 0 125 2 0 0 15 0 22 0 530075592 16073580544 150842 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 3 0 0 0
[pid=390/tid=407] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/407/stat : 407 (java) S 388 390 32679 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530075592 16073580544 150842 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 3 0 0 0
[pid=390/tid=408] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/408/stat : 408 (java) S 388 390 32679 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 530075592 16073580544 150842 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708928 0 4 0 16800975 18446604471147511872 0 0 -1 1 0 0 0
[pid=390/tid=409] ppid=388 vsize=15696856 CPUtime=2.11 cores=1,3,5,7
/proc/390/task/409/stat : 409 (java) R 388 390 32679 0 -1 4202560 27907 0 0 0 208 3 0 0 18 0 22 0 530075617 16073580544 150842 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 46912505890516 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=390/tid=410] ppid=388 vsize=15696856 CPUtime=2.15 cores=1,3,5,7
/proc/390/task/410/stat : 410 (java) R 388 390 32679 0 -1 4202560 20909 0 0 0 213 2 0 0 20 0 22 0 530075617 16073580544 150842 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 46912505812240 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=390/tid=411] ppid=388 vsize=15696856 CPUtime=1.98 cores=1,3,5,7
/proc/390/task/411/stat : 411 (java) R 388 390 32679 0 -1 4202560 26544 0 0 0 195 3 0 0 17 0 22 0 530075617 16073580544 150842 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 46912505523210 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=390/tid=412] ppid=388 vsize=15696856 CPUtime=2.3 cores=1,3,5,7
/proc/390/task/412/stat : 412 (java) R 388 390 32679 0 -1 4202560 27581 0 0 0 228 2 0 0 19 0 22 0 530075617 16073580544 150842 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 46912505767712 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.16
Current children cumulated vsize (KiB) 15696856
[startup+6.30071 s]
/proc/loadavg: 8.30 8.13 8.04 9/224 412
/proc/meminfo: memFree=24357312/32951124 swapFree=67111412/67111528
[pid=390] ppid=388 vsize=15696856 CPUtime=23.92 cores=1,3,5,7
/proc/390/stat : 390 (java) S 388 390 32679 0 -1 4202496 289635 0 1 0 2355 37 0 0 25 0 22 0 530075586 16073580544 274944 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/390/statm: 3924214 274944 2288 9 0 3914933 0
[pid=390/tid=392] ppid=388 vsize=15696856 CPUtime=0.52 cores=1,3,5,7
/proc/390/task/392/stat : 392 (java) S 388 390 32679 0 -1 4202560 9673 0 1 0 50 2 0 0 20 0 22 0 530075587 16073580544 274944 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 5 0 0 0
[pid=390/tid=393] ppid=388 vsize=15696856 CPUtime=0.01 cores=1,3,5,7
/proc/390/task/393/stat : 393 (java) S 388 390 32679 0 -1 4202560 4936 0 0 0 1 0 0 0 15 0 22 0 530075588 16073580544 274944 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 3 0 0 0
[pid=390/tid=394] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/394/stat : 394 (java) S 388 390 32679 0 -1 4202560 1866 0 0 0 0 0 0 0 15 0 22 0 530075588 16073580544 274944 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 7 0 0 0
[pid=390/tid=395] ppid=388 vsize=15696856 CPUtime=0.01 cores=1,3,5,7
/proc/390/task/395/stat : 395 (java) S 388 390 32679 0 -1 4202560 3681 0 0 0 1 0 0 0 15 0 22 0 530075588 16073580544 274944 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 3 0 0 0
[pid=390/tid=396] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/396/stat : 396 (java) S 388 390 32679 0 -1 4202560 1288 0 0 0 0 0 0 0 16 0 22 0 530075588 16073580544 274944 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 5 0 0 0
[pid=390/tid=397] ppid=388 vsize=15696856 CPUtime=0.01 cores=1,3,5,7
/proc/390/task/397/stat : 397 (java) S 388 390 32679 0 -1 4202560 6583 0 0 0 1 0 0 0 15 0 22 0 530075588 16073580544 274944 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 3 0 0 0
[pid=390/tid=398] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/398/stat : 398 (java) S 388 390 32679 0 -1 4202560 5359 0 0 0 0 0 0 0 15 0 22 0 530075588 16073580544 274944 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 3 0 0 0
[pid=390/tid=399] ppid=388 vsize=15696856 CPUtime=0.01 cores=1,3,5,7
/proc/390/task/399/stat : 399 (java) S 388 390 32679 0 -1 4202560 4586 0 0 0 1 0 0 0 15 0 22 0 530075588 16073580544 274944 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 1 0 0 0
[pid=390/tid=400] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/400/stat : 400 (java) S 388 390 32679 0 -1 4202560 2313 0 0 0 0 0 0 0 15 0 22 0 530075588 16073580544 274944 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 7 0 0 0
[pid=390/tid=401] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/401/stat : 401 (java) S 388 390 32679 0 -1 4202560 760 0 0 0 0 0 0 0 15 0 22 0 530075589 16073580544 274944 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708928 0 0 0 16800975 18446604471147511872 0 0 -1 5 0 0 0
[pid=390/tid=402] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/402/stat : 402 (java) S 388 390 32679 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 530075590 16073580544 274944 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 3 0 0 0
[pid=390/tid=403] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/403/stat : 403 (java) S 388 390 32679 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 530075590 16073580544 274944 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 3 0 0 0
[pid=390/tid=404] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/404/stat : 404 (java) S 388 390 32679 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530075592 16073580544 274944 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347716017 0 4 0 16800975 18446604471147511872 0 0 -1 3 0 0 0
[pid=390/tid=405] ppid=388 vsize=15696856 CPUtime=0.71 cores=1,3,5,7
/proc/390/task/405/stat : 405 (java) S 388 390 32679 0 -1 4202560 7566 0 0 0 70 1 0 0 15 0 22 0 530075592 16073580544 274944 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=390/tid=410] ppid=388 vsize=15696856 CPUtime=1107.71 cores=1,3,5,7
/proc/390/task/410/stat : 410 (java) R 388 390 32679 0 -1 4202560 214045 0 0 0 110731 40 0 0 25 0 22 0 530075617 16073580544 85706 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 46912505767898 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=390/tid=411] ppid=388 vsize=15696856 CPUtime=1108.35 cores=1,3,5,7
/proc/390/task/411/stat : 411 (java) R 388 390 32679 0 -1 4202560 210447 0 0 0 110802 33 0 0 25 0 22 0 530075617 16073580544 85706 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 46912505523205 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=390/tid=412] ppid=388 vsize=15696856 CPUtime=1108.46 cores=1,3,5,7
/proc/390/task/412/stat : 412 (java) R 388 390 32679 0 -1 4202560 224735 0 0 0 110807 39 0 0 25 0 22 0 530075617 16073580544 85706 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 46912506450217 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4462.21
Current children cumulated vsize (KiB) 15696856
[startup+1182.3 s]
/proc/loadavg: 8.21 8.14 8.10 9/224 504
/proc/meminfo: memFree=24883120/32951124 swapFree=67111412/67111528
[pid=390] ppid=388 vsize=15696856 CPUtime=4700.7 cores=1,3,5,7
/proc/390/stat : 390 (java) S 388 390 32679 0 -1 4202496 1639692 0 1 0 469674 396 0 0 25 0 22 0 530075586 16073580544 85617 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/390/statm: 3924214 85617 2298 9 0 3914933 0
[pid=390/tid=392] ppid=388 vsize=15696856 CPUtime=0.52 cores=1,3,5,7
/proc/390/task/392/stat : 392 (java) S 388 390 32679 0 -1 4202560 9673 0 1 0 50 2 0 0 20 0 22 0 530075587 16073580544 85617 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 5 0 0 0
[pid=390/tid=393] ppid=388 vsize=15696856 CPUtime=3.42 cores=1,3,5,7
/proc/390/task/393/stat : 393 (java) S 388 390 32679 0 -1 4202560 87628 0 0 0 322 20 0 0 15 0 22 0 530075588 16073580544 85617 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 7 0 0 0
[pid=390/tid=394] ppid=388 vsize=15696856 CPUtime=3.25 cores=1,3,5,7
/proc/390/task/394/stat : 394 (java) S 388 390 32679 0 -1 4202560 78590 0 0 0 307 18 0 0 15 0 22 0 530075588 16073580544 85617 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 3 0 0 0
[pid=390/tid=395] ppid=388 vsize=15696856 CPUtime=3.21 cores=1,3,5,7
/proc/390/task/395/stat : 395 (java) S 388 390 32679 0 -1 4202560 82475 0 0 0 304 17 0 0 15 0 22 0 530075588 16073580544 85617 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 7 0 0 0
[pid=390/tid=396] ppid=388 vsize=15696856 CPUtime=3.3 cores=1,3,5,7
/proc/390/task/396/stat : 396 (java) S 388 390 32679 0 -1 4202560 83904 0 0 0 312 18 0 0 15 0 22 0 530075588 16073580544 85617 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 7 0 0 0
[pid=390/tid=397] ppid=388 vsize=15696856 CPUtime=3.28 cores=1,3,5,7
/proc/390/task/397/stat : 397 (java) S 388 390 32679 0 -1 4202560 84769 0 0 0 309 19 0 0 15 0 22 0 530075588 16073580544 85617 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 1 0 0 0
[pid=390/tid=398] ppid=388 vsize=15696856 CPUtime=3.39 cores=1,3,5,7
/proc/390/task/398/stat : 398 (java) S 388 390 32679 0 -1 4202560 89195 0 0 0 317 22 0 0 16 0 22 0 530075588 16073580544 85617 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 3 0 0 0
[pid=390/tid=399] ppid=388 vsize=15696856 CPUtime=3.29 cores=1,3,5,7
/proc/390/task/399/stat : 399 (java) S 388 390 32679 0 -1 4202560 91304 0 0 0 311 18 0 0 15 0 22 0 530075588 16073580544 85617 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 7 0 0 0
[pid=390/tid=400] ppid=388 vsize=15696856 CPUtime=3.29 cores=1,3,5,7
/proc/390/task/400/stat : 400 (java) S 388 390 32679 0 -1 4202560 84207 0 0 0 310 19 0 0 16 0 22 0 530075588 16073580544 85617 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 1 0 0 0
[pid=390/tid=401] ppid=388 vsize=15696856 CPUtime=2.34 cores=1,3,5,7
/proc/390/task/401/stat : 401 (java) S 388 390 32679 0 -1 4202560 4218 0 0 0 161 73 0 0 15 0 22 0 530075589 16073580544 85617 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708928 0 0 0 16800975 18446604471147511872 0 0 -1 5 0 0 0
[pid=390/tid=402] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/402/stat : 402 (java) S 388 390 32679 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 530075590 16073580544 85617 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 3 0 0 0
[pid=390/tid=403] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/403/stat : 403 (java) S 388 390 32679 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 530075590 16073580544 85617 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 3 0 0 0
[pid=390/tid=404] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/404/stat : 404 (java) S 388 390 32679 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530075592 16073580544 85617 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347716017 0 4 0 16800975 18446604471147511872 0 0 -1 3 0 0 0
[pid=390/tid=405] ppid=388 vsize=15696856 CPUtime=1.07 cores=1,3,5,7
/proc/390/task/405/stat : 405 (java) S 388 390 32679 0 -1 4202560 7619 0 0 0 106 1 0 0 15 0 22 0 530075592 16073580544 85617 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 1 0 0 0
[pid=390/tid=406] ppid=388 vsize=15696856 CPUtime=1.52 cores=1,3,5,7
/proc/390/task/406/stat : 406 (java) S 388 390 32679 0 -1 4202560 14707 0 0 0 150 2 0 0 15 0 22 0 530075592 16073580544 85617 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 3 0 0 0
[pid=390/tid=407] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/407/stat : 407 (java) S 388 390 32679 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530075592 16073580544 85617 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 3 0 0 0
[pid=390/tid=408] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/408/stat : 408 (java) S 388 390 32679 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 22 0 530075592 16073580544 85617 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708928 0 4 0 16800975 18446604471147511872 0 0 -1 3 0 0 0
[pid=390/tid=409] ppid=388 vsize=15696856 CPUtime=1166.83 cores=1,3,5,7
/proc/390/task/409/stat : 409 (java) R 388 390 32679 0 -1 4202560 234737 0 0 0 116640 43 0 0 25 0 22 0 530075617 16073580544 85617 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 46912505523219 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=390/tid=410] ppid=388 vsize=15696856 CPUtime=1166.74 cores=1,3,5,7
/proc/390/task/410/stat : 410 (java) R 388 390 32679 0 -1 4202560 226280 0 0 0 116632 42 0 0 25 0 22 0 530075617 16073580544 85617 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 46912505810479 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=390/tid=411] ppid=388 vsize=15696856 CPUtime=1167.54 cores=1,3,5,7
/proc/390/task/411/stat : 411 (java) R 388 390 32679 0 -1 4202560 222149 0 0 0 116719 35 0 0 25 0 22 0 530075617 16073580544 85617 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 46912505767584 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=390/tid=412] ppid=388 vsize=15696856 CPUtime=1167.56 cores=1,3,5,7
/proc/390/task/412/stat : 412 (java) R 388 390 32679 0 -1 4202560 236790 0 0 0 116716 40 0 0 25 0 22 0 530075617 16073580544 85617 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 46912505990559 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4700.7
Current children cumulated vsize (KiB) 15696856
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1207.3 s]
/proc/loadavg: 8.14 8.13 8.09 9/224 505
/proc/meminfo: memFree=24958120/32951124 swapFree=67111412/67111528
[pid=390] ppid=388 vsize=15696856 CPUtime=4800.14 cores=1,3,5,7
/proc/390/stat : 390 (java) S 388 390 32679 0 -1 4202496 1684054 0 1 0 479607 407 0 0 25 0 22 0 530075586 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/390/statm: 3924214 97047 2298 9 0 3914933 0
[pid=390/tid=392] ppid=388 vsize=15696856 CPUtime=0.52 cores=1,3,5,7
/proc/390/task/392/stat : 392 (java) S 388 390 32679 0 -1 4202560 9673 0 1 0 50 2 0 0 20 0 22 0 530075587 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 5 0 0 0
[pid=390/tid=393] ppid=388 vsize=15696856 CPUtime=3.49 cores=1,3,5,7
/proc/390/task/393/stat : 393 (java) S 388 390 32679 0 -1 4202560 89116 0 0 0 329 20 0 0 15 0 22 0 530075588 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 7 0 0 0
[pid=390/tid=394] ppid=388 vsize=15696856 CPUtime=3.31 cores=1,3,5,7
/proc/390/task/394/stat : 394 (java) S 388 390 32679 0 -1 4202560 80064 0 0 0 313 18 0 0 16 0 22 0 530075588 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 3 0 0 0
[pid=390/tid=395] ppid=388 vsize=15696856 CPUtime=3.28 cores=1,3,5,7
/proc/390/task/395/stat : 395 (java) S 388 390 32679 0 -1 4202560 84027 0 0 0 310 18 0 0 15 0 22 0 530075588 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 7 0 0 0
[pid=390/tid=396] ppid=388 vsize=15696856 CPUtime=3.38 cores=1,3,5,7
/proc/390/task/396/stat : 396 (java) S 388 390 32679 0 -1 4202560 86198 0 0 0 319 19 0 0 16 0 22 0 530075588 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 5 0 0 0
[pid=390/tid=397] ppid=388 vsize=15696856 CPUtime=3.35 cores=1,3,5,7
/proc/390/task/397/stat : 397 (java) S 388 390 32679 0 -1 4202560 86637 0 0 0 316 19 0 0 16 0 22 0 530075588 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 1 0 0 0
[pid=390/tid=398] ppid=388 vsize=15696856 CPUtime=3.46 cores=1,3,5,7
/proc/390/task/398/stat : 398 (java) S 388 390 32679 0 -1 4202560 90803 0 0 0 324 22 0 0 15 0 22 0 530075588 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 5 0 0 0
[pid=390/tid=399] ppid=388 vsize=15696856 CPUtime=3.37 cores=1,3,5,7
/proc/390/task/399/stat : 399 (java) S 388 390 32679 0 -1 4202560 92697 0 0 0 319 18 0 0 15 0 22 0 530075588 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 7 0 0 0
[pid=390/tid=400] ppid=388 vsize=15696856 CPUtime=3.35 cores=1,3,5,7
/proc/390/task/400/stat : 400 (java) S 388 390 32679 0 -1 4202560 86010 0 0 0 316 19 0 0 15 0 22 0 530075588 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 1 0 0 0
[pid=390/tid=401] ppid=388 vsize=15696856 CPUtime=2.37 cores=1,3,5,7
/proc/390/task/401/stat : 401 (java) S 388 390 32679 0 -1 4202560 4324 0 0 0 163 74 0 0 15 0 22 0 530075589 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708928 0 0 0 16800975 18446604471147511872 0 0 -1 3 0 0 0
[pid=390/tid=402] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/402/stat : 402 (java) S 388 390 32679 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 530075590 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 3 0 0 0
[pid=390/tid=403] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/403/stat : 403 (java) S 388 390 32679 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 530075590 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 3 0 0 0
[pid=390/tid=404] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/404/stat : 404 (java) S 388 390 32679 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530075592 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347716017 0 4 0 16800975 18446604471147511872 0 0 -1 3 0 0 0
[pid=390/tid=405] ppid=388 vsize=15696856 CPUtime=1.07 cores=1,3,5,7
/proc/390/task/405/stat : 405 (java) S 388 390 32679 0 -1 4202560 7619 0 0 0 106 1 0 0 15 0 22 0 530075592 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 1 0 0 0
[pid=390/tid=406] ppid=388 vsize=15696856 CPUtime=1.52 cores=1,3,5,7
/proc/390/task/406/stat : 406 (java) S 388 390 32679 0 -1 4202560 14707 0 0 0 150 2 0 0 15 0 22 0 530075592 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 3 0 0 0
[pid=390/tid=407] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/407/stat : 407 (java) S 388 390 32679 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530075592 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 3 0 0 0
[pid=390/tid=408] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/408/stat : 408 (java) S 388 390 32679 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 22 0 530075592 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708928 0 4 0 16800975 18446604471147511872 0 0 -1 3 0 0 0
[pid=390/tid=409] ppid=388 vsize=15696856 CPUtime=1191.54 cores=1,3,5,7
/proc/390/task/409/stat : 409 (java) R 388 390 32679 0 -1 4202560 242779 0 0 0 119110 44 0 0 25 0 22 0 530075617 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=390/tid=410] ppid=388 vsize=15696856 CPUtime=1191.42 cores=1,3,5,7
/proc/390/task/410/stat : 410 (java) R 388 390 32679 0 -1 4202560 234130 0 0 0 119098 44 0 0 25 0 22 0 530075617 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 46912505523210 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=390/tid=411] ppid=388 vsize=15696856 CPUtime=1192.26 cores=1,3,5,7
/proc/390/task/411/stat : 411 (java) R 388 390 32679 0 -1 4202560 229369 0 0 0 119189 37 0 0 25 0 22 0 530075617 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 46912506032497 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=390/tid=412] ppid=388 vsize=15696856 CPUtime=1192.3 cores=1,3,5,7
/proc/390/task/412/stat : 412 (java) R 388 390 32679 0 -1 4202560 244453 0 0 0 119188 42 0 0 25 0 22 0 530075617 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 46912505821629 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.14
Current children cumulated vsize (KiB) 15696856
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1207.3 s]
/proc/loadavg: 8.14 8.13 8.09 9/224 505
/proc/meminfo: memFree=24958120/32951124 swapFree=67111412/67111528
[pid=390] ppid=388 vsize=15696856 CPUtime=4800.14 cores=1,3,5,7
/proc/390/stat : 390 (java) S 388 390 32679 0 -1 4202496 1684054 0 1 0 479607 407 0 0 25 0 22 0 530075586 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/390/statm: 3924214 97047 2298 9 0 3914933 0
[pid=390/tid=392] ppid=388 vsize=15696856 CPUtime=0.52 cores=1,3,5,7
/proc/390/task/392/stat : 392 (java) S 388 390 32679 0 -1 4202560 9673 0 1 0 50 2 0 0 20 0 22 0 530075587 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 5 0 0 0
[pid=390/tid=393] ppid=388 vsize=15696856 CPUtime=3.49 cores=1,3,5,7
/proc/390/task/393/stat : 393 (java) S 388 390 32679 0 -1 4202560 89116 0 0 0 329 20 0 0 15 0 22 0 530075588 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 7 0 0 0
[pid=390/tid=394] ppid=388 vsize=15696856 CPUtime=3.31 cores=1,3,5,7
/proc/390/task/394/stat : 394 (java) S 388 390 32679 0 -1 4202560 80064 0 0 0 313 18 0 0 16 0 22 0 530075588 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 3 0 0 0
[pid=390/tid=395] ppid=388 vsize=15696856 CPUtime=3.28 cores=1,3,5,7
/proc/390/task/395/stat : 395 (java) S 388 390 32679 0 -1 4202560 84027 0 0 0 310 18 0 0 15 0 22 0 530075588 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 7 0 0 0
[pid=390/tid=396] ppid=388 vsize=15696856 CPUtime=3.38 cores=1,3,5,7
/proc/390/task/396/stat : 396 (java) S 388 390 32679 0 -1 4202560 86198 0 0 0 319 19 0 0 16 0 22 0 530075588 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 5 0 0 0
[pid=390/tid=397] ppid=388 vsize=15696856 CPUtime=3.35 cores=1,3,5,7
/proc/390/task/397/stat : 397 (java) S 388 390 32679 0 -1 4202560 86637 0 0 0 316 19 0 0 16 0 22 0 530075588 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 1 0 0 0
[pid=390/tid=398] ppid=388 vsize=15696856 CPUtime=3.46 cores=1,3,5,7
/proc/390/task/398/stat : 398 (java) S 388 390 32679 0 -1 4202560 90803 0 0 0 324 22 0 0 15 0 22 0 530075588 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 5 0 0 0
[pid=390/tid=399] ppid=388 vsize=15696856 CPUtime=3.37 cores=1,3,5,7
/proc/390/task/399/stat : 399 (java) S 388 390 32679 0 -1 4202560 92697 0 0 0 319 18 0 0 15 0 22 0 530075588 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 7 0 0 0
[pid=390/tid=400] ppid=388 vsize=15696856 CPUtime=3.35 cores=1,3,5,7
/proc/390/task/400/stat : 400 (java) S 388 390 32679 0 -1 4202560 86010 0 0 0 316 19 0 0 15 0 22 0 530075588 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 1 0 0 0
[pid=390/tid=401] ppid=388 vsize=15696856 CPUtime=2.37 cores=1,3,5,7
/proc/390/task/401/stat : 401 (java) S 388 390 32679 0 -1 4202560 4324 0 0 0 163 74 0 0 15 0 22 0 530075589 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708928 0 0 0 16800975 18446604471147511872 0 0 -1 3 0 0 0
[pid=390/tid=402] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/402/stat : 402 (java) S 388 390 32679 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 530075590 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 3 0 0 0
[pid=390/tid=403] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/403/stat : 403 (java) S 388 390 32679 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 530075590 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 3 0 0 0
[pid=390/tid=404] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/404/stat : 404 (java) S 388 390 32679 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530075592 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347716017 0 4 0 16800975 18446604471147511872 0 0 -1 3 0 0 0
[pid=390/tid=405] ppid=388 vsize=15696856 CPUtime=1.07 cores=1,3,5,7
/proc/390/task/405/stat : 405 (java) S 388 390 32679 0 -1 4202560 7619 0 0 0 106 1 0 0 15 0 22 0 530075592 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 1 0 0 0
[pid=390/tid=406] ppid=388 vsize=15696856 CPUtime=1.52 cores=1,3,5,7
/proc/390/task/406/stat : 406 (java) S 388 390 32679 0 -1 4202560 14707 0 0 0 150 2 0 0 15 0 22 0 530075592 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 3 0 0 0
[pid=390/tid=407] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/407/stat : 407 (java) S 388 390 32679 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530075592 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708313 0 4 0 16800975 18446604471147511872 0 0 -1 3 0 0 0
[pid=390/tid=408] ppid=388 vsize=15696856 CPUtime=0 cores=1,3,5,7
/proc/390/task/408/stat : 408 (java) S 388 390 32679 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 22 0 530075592 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 232347708928 0 4 0 16800975 18446604471147511872 0 0 -1 3 0 0 0
[pid=390/tid=409] ppid=388 vsize=15696856 CPUtime=1191.54 cores=1,3,5,7
/proc/390/task/409/stat : 409 (java) R 388 390 32679 0 -1 4202560 242779 0 0 0 119110 44 0 0 25 0 22 0 530075617 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=390/tid=410] ppid=388 vsize=15696856 CPUtime=1191.42 cores=1,3,5,7
/proc/390/task/410/stat : 410 (java) R 388 390 32679 0 -1 4202560 234130 0 0 0 119098 44 0 0 25 0 22 0 530075617 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 46912505523210 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=390/tid=411] ppid=388 vsize=15696856 CPUtime=1192.26 cores=1,3,5,7
/proc/390/task/411/stat : 411 (java) R 388 390 32679 0 -1 4202560 229369 0 0 0 119189 37 0 0 25 0 22 0 530075617 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 46912506032497 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=390/tid=412] ppid=388 vsize=15696856 CPUtime=1192.3 cores=1,3,5,7
/proc/390/task/412/stat : 412 (java) R 388 390 32679 0 -1 4202560 244453 0 0 0 119188 42 0 0 25 0 22 0 530075617 16073580544 97047 33554432000 1073741824 1073778376 140735974468640 18446744073709551615 46912505821629 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.14
Current children cumulated vsize (KiB) 15696856
Child status: 143
Real time (s): 1207.33
CPU time (s): 4800.21
CPU user time (s): 4796.12
CPU system time (s): 4.09238
CPU usage (%): 397.588
Max. virtual memory (cumulated for all children) (KiB): 15699028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.12
system time used= 4.09238
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1684081
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 272094
involuntary context switches= 156847
runsolver used 1.9547 second user time and 4.69529 second system time
The end