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-3733559-1338749152/watcher-3733559-1338749152 -o /tmp/evaluation-result-3733559-1338749152/solver-3733559-1338749152 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3733559-1338749152.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.99 1.26 3/192 14746
/proc/meminfo: memFree=28580484/32873844 swapFree=6088/6088
[pid=14746] ppid=14744 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/14746/stat : 14746 (java) R 14744 14746 14627 0 -1 4202496 988 0 0 0 0 0 0 0 20 0 1 0 341043664 23793664 715 33554432000 1073741824 1073778376 140737016350912 140737016339976 226320495976 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14746/statm: 5809 716 531 9 0 128 0
[startup+0.0550281 s]
/proc/loadavg: 0.92 0.99 1.26 3/192 14746
/proc/meminfo: memFree=28580484/32873844 swapFree=6088/6088
[pid=14746] ppid=14744 vsize=2315716 CPUtime=0.04 cores=1,3,5,7
/proc/14746/stat : 14746 (java) S 14744 14746 14627 0 -1 4202496 3711 0 1 0 3 1 0 0 20 0 13 0 341043664 2371293184 5430 33554432000 1073741824 1073778376 140737016350912 140737016342048 226333065277 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14746/statm: 578929 5430 1710 9 0 569630 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2315716
[startup+0.100288 s]
/proc/loadavg: 0.92 0.99 1.26 3/192 14746
/proc/meminfo: memFree=28580484/32873844 swapFree=6088/6088
[pid=14746] ppid=14744 vsize=2648568 CPUtime=0.1 cores=1,3,5,7
/proc/14746/stat : 14746 (java) S 14744 14746 14627 0 -1 4202496 4680 0 1 0 9 1 0 0 20 0 18 0 341043664 2712133632 6398 33554432000 1073741824 1073778376 140737016350912 140737016342048 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14746/statm: 662142 6398 2109 9 0 652835 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2648568
[startup+0.300221 s]
/proc/loadavg: 0.92 0.99 1.26 3/192 14746
/proc/meminfo: memFree=28580484/32873844 swapFree=6088/6088
[pid=14746] ppid=14744 vsize=2715132 CPUtime=0.52 cores=1,3,5,7
/proc/14746/stat : 14746 (java) S 14744 14746 14627 0 -1 4202496 7378 0 1 0 50 2 0 0 20 0 19 0 341043664 2780295168 8998 33554432000 1073741824 1073778376 140737016350912 140737016342048 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14746/statm: 678783 8998 2212 9 0 669476 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 2715132
[startup+0.700219 s]
/proc/loadavg: 0.92 0.99 1.26 3/192 14746
/proc/meminfo: memFree=28580484/32873844 swapFree=6088/6088
[pid=14746] ppid=14744 vsize=2715132 CPUtime=0.97 cores=1,3,5,7
/proc/14746/stat : 14746 (java) S 14744 14746 14627 0 -1 4202496 7406 0 1 0 95 2 0 0 20 0 19 0 341043664 2780295168 12092 33554432000 1073741824 1073778376 140737016350912 140737016342048 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14746/statm: 678783 12092 2217 9 0 669476 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 2715132
[startup+1.50068 s]
/proc/loadavg: 1.01 1.01 1.26 3/211 14765
/proc/meminfo: memFree=28492872/32873844 swapFree=6088/6088
[pid=14746] ppid=14744 vsize=2715132 CPUtime=1.84 cores=1,3,5,7
/proc/14746/stat : 14746 (java) S 14744 14746 14627 0 -1 4202496 7427 0 1 0 181 3 0 0 20 0 19 0 341043664 2780295168 17733 33554432000 1073741824 1073778376 140737016350912 140737016342048 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14746/statm: 678783 17733 2226 9 0 669476 0
[pid=14746/tid=14748] ppid=14744 vsize=2715132 CPUtime=1.47 cores=1,3,5,7
/proc/14746/task/14748/stat : 14748 (java) R 14744 14746 14627 0 -1 4202560 2765 0 1 0 145 2 0 0 20 0 19 0 341043664 2780295168 17733 33554432000 1073741824 1073778376 140737016350912 140665033923120 140664893759655 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14746/tid=14749] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14749/stat : 14749 (java) S 14744 14746 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341043665 2780295168 17733 33554432000 1073741824 1073778376 140737016350912 140665018374952 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14746/tid=14750] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14750/stat : 14750 (java) S 14744 14746 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341043665 2780295168 17733 33554432000 1073741824 1073778376 140737016350912 140665017322152 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14746/tid=14751] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14751/stat : 14751 (java) S 14744 14746 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341043665 2780295168 17733 33554432000 1073741824 1073778376 140737016350912 140665016269864 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14746/tid=14752] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14752/stat : 14752 (java) S 14744 14746 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341043665 2780295168 17733 33554432000 1073741824 1073778376 140737016350912 140665015217064 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14746/tid=14753] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14753/stat : 14753 (java) S 14744 14746 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341043665 2780295168 17733 33554432000 1073741824 1073778376 140737016350912 140665014163752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14746/tid=14754] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14754/stat : 14754 (java) S 14744 14746 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341043665 2780295168 17733 33554432000 1073741824 1073778376 140737016350912 140665013110952 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14746/tid=14755] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14755/stat : 14755 (java) S 14744 14746 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341043665 2780295168 17733 33554432000 1073741824 1073778376 140737016350912 140665012058664 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14746/tid=14756] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14756/stat : 14756 (java) S 14744 14746 14627 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341043665 2780295168 17733 33554432000 1073741824 1073778376 140737016350912 140664893335976 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14746/tid=14757] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14757/stat : 14757 (java) S 14744 14746 14627 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341043666 2780295168 17733 33554432000 1073741824 1073778376 140737016350912 140664881138408 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14746/tid=14758] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14758/stat : 14758 (java) S 14744 14746 14627 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341043667 2780295168 17733 33554432000 1073741824 1073778376 140737016350912 140664880084472 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14746/tid=14759] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14759/stat : 14759 (java) S 14744 14746 14627 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341043667 2780295168 17733 33554432000 1073741824 1073778376 140737016350912 140664879032072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14746/tid=14760] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14760/stat : 14760 (java) S 14744 14746 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341043669 2780295168 17733 33554432000 1073741824 1073778376 140737016350912 140664877980560 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14746/tid=14761] ppid=14744 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/14746/task/14761/stat : 14761 (java) S 14744 14746 14627 0 -1 4202560 1980 0 0 0 21 0 0 0 20 0 19 0 341043669 2780295168 17733 33554432000 1073741824 1073778376 140737016350912 140664138361016 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14746/tid=14762] ppid=14744 vsize=2715132 CPUtime=0.12 cores=1,3,5,7
/proc/14746/task/14762/stat : 14762 (java) S 14744 14746 14627 0 -1 4202560 1489 0 0 0 12 0 0 0 20 0 19 0 341043669 2780295168 17733 33554432000 1073741824 1073778376 140737016350912 140664137308216 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14746/tid=14763] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14763/stat : 14763 (java) S 14744 14746 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341043669 2780295168 17733 33554432000 1073741824 1073778376 140737016350912 140664136256120 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14746/tid=14764] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14764/stat : 14764 (java) S 14744 14746 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341043669 2780295168 17733 33554432000 1073741824 1073778376 140737016350912 140664135203528 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14746/tid=14765] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14765/stat : 14765 (java) S 14744 14746 14627 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341043676 2780295168 17733 33554432000 1073741824 1073778376 140737016350912 140664134149544 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 2715132
[startup+3.10071 s]
/proc/loadavg: 1.01 1.01 1.26 3/211 14765
/proc/meminfo: memFree=28430688/32873844 swapFree=6088/6088
[pid=14746] ppid=14744 vsize=2715132 CPUtime=3.43 cores=1,3,5,7
/proc/14746/stat : 14746 (java) S 14744 14746 14627 0 -1 4202496 7448 0 1 0 340 3 0 0 20 0 19 0 341043664 2780295168 26439 33554432000 1073741824 1073778376 140737016350912 140737016342048 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14746/statm: 678783 26439 2227 9 0 669476 0
[pid=14746/tid=14748] ppid=14744 vsize=2715132 CPUtime=3.07 cores=1,3,5,7
/proc/14746/task/14748/stat : 14748 (java) R 14744 14746 14627 0 -1 4202560 2784 0 1 0 305 2 0 0 20 0 19 0 341043664 2780295168 26439 33554432000 1073741824 1073778376 140737016350912 140665033925216 140664893823184 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14746/tid=14749] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14749/stat : 14749 (java) S 14744 14746 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341043665 2780295168 26439 33554432000 1073741824 1073778376 140737016350912 140665018374952 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14746/tid=14750] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14750/stat : 14750 (java) S 14744 14746 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341043665 2780295168 26439 33554432000 1073741824 1073778376 140737016350912 140665017322152 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14746/tid=14751] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14751/stat : 14751 (java) S 14744 14746 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341043665 2780295168 26439 33554432000 1073741824 1073778376 140737016350912 140665016269864 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14746/tid=14752] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14752/stat : 14752 (java) S 14744 14746 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341043665 2780295168 26439 33554432000 1073741824 1073778376 140737016350912 140665015217064 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14746/tid=14753] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14753/stat : 14753 (java) S 14744 14746 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341043665 2780295168 26439 33554432000 1073741824 1073778376 140737016350912 140665014163752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14746/tid=14754] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14754/stat : 14754 (java) S 14744 14746 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341043665 2780295168 26439 33554432000 1073741824 1073778376 140737016350912 140665013110952 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14746/tid=14755] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14755/stat : 14755 (java) S 14744 14746 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341043665 2780295168 26439 33554432000 1073741824 1073778376 140737016350912 140665012058664 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14746/tid=14756] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14756/stat : 14756 (java) S 14744 14746 14627 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341043665 2780295168 26439 33554432000 1073741824 1073778376 140737016350912 140664893335976 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14746/tid=14757] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14757/stat : 14757 (java) S 14744 14746 14627 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341043666 2780295168 26439 33554432000 1073741824 1073778376 140737016350912 140664881138408 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14746/tid=14758] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14758/stat : 14758 (java) S 14744 14746 14627 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341043667 2780295168 26439 33554432000 1073741824 1073778376 140737016350912 140664880084472 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14746/tid=14759] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14759/stat : 14759 (java) S 14744 14746 14627 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341043667 2780295168 26439 33554432000 1073741824 1073778376 140737016350912 140664879032072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14746/tid=14760] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14760/stat : 14760 (java) S 14744 14746 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341043669 2780295168 26439 33554432000 1073741824 1073778376 140737016350912 140664877980560 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14746/tid=14761] ppid=14744 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/14746/task/14761/stat : 14761 (java) S 14744 14746 14627 0 -1 4202560 1980 0 0 0 21 0 0 0 20 0 19 0 341043669 2780295168 26439 33554432000 1073741824 1073778376 140737016350912 140664138361016 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14746/tid=14762] ppid=14744 vsize=2715132 CPUtime=0.12 cores=1,3,5,7
/proc/14746/task/14762/stat : 14762 (java) S 14744 14746 14627 0 -1 4202560 1489 0 0 0 12 0 0 0 20 0 19 0 341043669 2780295168 26439 33554432000 1073741824 1073778376 140737016350912 140664137308216 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14746/tid=14763] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14763/stat : 14763 (java) S 14744 14746 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341043669 2780295168 26439 33554432000 1073741824 1073778376 140737016350912 140664136256120 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14746/tid=14764] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14764/stat : 14764 (java) S 14744 14746 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341043669 2780295168 26439 33554432000 1073741824 1073778376 140737016350912 140664135203528 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14746/tid=14765] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14765/stat : 14765 (java) S 14744 14746 14627 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341043676 2780295168 26439 33554432000 1073741824 1073778376 140737016350912 140664134149544 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.43
Current children cumulated vsize (KiB) 2715132
[startup+6.3007 s]
/proc/loadavg: 1.09 1.03 1.27 3/211 14765
/proc/meminfo: memFree=28303464/32873844 swapFree=6088/6088
[pid=14746] ppid=14744 vsize=2715132 CPUtime=6.64 cores=1,3,5,7
/proc/14746/stat : 14746 (java) S 14744 14746 14627 0 -1 4202496 7470 0 1 0 660 4 0 0 20 0 19 0 341043664 2780295168 36607 33554432000 1073741824 1073778376 140737016350912 140737016342048 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14746/statm: 678783 36607 2228 9 0 669476 0
[pid=14746/tid=14748] ppid=14744 vsize=2715132 CPUtime=6.26 cores=1,3,5,7
/proc/14746/task/14748/stat : 14748 (java) R 14744 14746 14627 0 -1 4202560 2805 0 1 0 624 2 0 0 20 0 19 0 341043664 2780295168 36607 33554432000 1073741824 1073778376 140737016350912 140665033925216 140664893945275 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14746/tid=14749] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14749/stat : 14749 (java) S 14744 14746 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341043665 2780295168 36607 33554432000 1073741824 1073778376 140737016350912 140665018374952 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14746/tid=14750] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14750/stat : 14750 (java) S 14744 14746 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341043665 2780295168 36607 33554432000 1073741824 1073778376 140737016350912 140665017322152 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14746/tid=14751] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14751/stat : 14751 (java) S 14744 14746 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341043665 2780295168 36607 33554432000 1073741824 1073778376 140737016350912 140665016269864 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14746/tid=14752] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14752/stat : 14752 (java) S 14744 14746 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341043665 2780295168 36607 33554432000 1073741824 1073778376 140737016350912 140665015217064 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14746/tid=14753] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14753/stat : 14753 (java) S 14744 14746 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341043665 2780295168 36607 33554432000 1073741824 1073778376 140737016350912 140665014163752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14746/tid=14754] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14754/stat : 14754 (java) S 14744 14746 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341043665 2780295168 36607 33554432000 1073741824 1073778376 140737016350912 140665013110952 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14746/tid=14755] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14755/stat : 14755 (java) S 14744 14746 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341043665 2780295168 36607 33554432000 1073741824 1073778376 140737016350912 140665012058664 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14746/tid=14756] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14756/stat : 14756 (java) S 14744 14746 14627 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341043665 2780295168 36607 33554432000 1073741824 1073778376 140737016350912 140664893335976 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14746/tid=14757] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14757/stat : 14757 (java) S 14744 14746 14627 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341043666 2780295168 36607 33554432000 1073741824 1073778376 140737016350912 140664881138408 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14746/tid=14758] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14758/stat : 14758 (java) S 14744 14746 14627 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341043667 2780295168 36607 33554432000 1073741824 1073778376 140737016350912 140664880084472 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14746/tid=14759] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14759/stat : 14759 (java) S 14744 14746 14627 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341043667 2780295168 36607 33554432000 1073741824 1073778376 140737016350912 140664879032072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14746/tid=14760] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14760/stat : 14760 (java) S 14744 14746 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341043669 2780295168 36607 33554432000 1073741824 1073778376 140737016350912 140664877980560 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14746/tid=14761] ppid=14744 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/14746/task/14761/stat : 14761 (java) S 14744 14746 14627 0 -1 4202560 1980 0 0 0 21 0 0 0 20 0 19 0 341043669 2780295168 36607 33554432000 1073741824 1073778376 140737016350912 140664138361016 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14746/tid=14762] ppid=14744 vsize=2715132 CPUtime=0.12 cores=1,3,5,7
/proc/14746/task/14762/stat : 14762 (java) S 14744 14746 14627 0 -1 4202560 1489 0 0 0 12 0 0 0 20 0 19 0 341043669 2780295168 36607 33554432000 1073741824 1073778376 140737016350912 140664137308216 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14746/tid=14763] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14763/stat : 14763 (java) S 14744 14746 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341043669 2780295168 36607 33554432000 1073741824 1073778376 140737016350912 140664136256120 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14746/tid=14764] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14764/stat : 14764 (java) S 14744 14746 14627 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 341043669 2780295168 36607 33554432000 1073741824 1073778376 140737016350912 140664135203528 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14746/tid=14765] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14765/stat : 14765 (java) S 14744 14746 14627 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341043676 2780295168 36607 33554432000 1073741824 1073778376 140737016350912 140664134149544 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.64
Current children cumulated vsize (KiB) 2715132
[startup+12.7007 s]
################
# More data... #
################
[pid=14746/tid=14752] ppid=14744 vsize=2715132 CPUtime=0.58 cores=1,3,5,7
/proc/14746/task/14752/stat : 14752 (java) S 14744 14746 14627 0 -1 4202560 215 0 0 0 49 9 0 0 20 0 19 0 341043665 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140665015217064 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14746/tid=14753] ppid=14744 vsize=2715132 CPUtime=0.5 cores=1,3,5,7
/proc/14746/task/14753/stat : 14753 (java) S 14744 14746 14627 0 -1 4202560 200 0 0 0 41 9 0 0 20 0 19 0 341043665 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140665014163752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14746/tid=14754] ppid=14744 vsize=2715132 CPUtime=0.52 cores=1,3,5,7
/proc/14746/task/14754/stat : 14754 (java) S 14744 14746 14627 0 -1 4202560 301 0 0 0 45 7 0 0 20 0 19 0 341043665 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140665013110952 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14746/tid=14755] ppid=14744 vsize=2715132 CPUtime=0.63 cores=1,3,5,7
/proc/14746/task/14755/stat : 14755 (java) S 14744 14746 14627 0 -1 4202560 192 0 0 0 54 9 0 0 20 0 19 0 341043665 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140665012058664 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14746/tid=14756] ppid=14744 vsize=2715132 CPUtime=0.61 cores=1,3,5,7
/proc/14746/task/14756/stat : 14756 (java) S 14744 14746 14627 0 -1 4202560 195 0 0 0 52 9 0 0 20 0 19 0 341043665 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140664893335976 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14746/tid=14757] ppid=14744 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/14746/task/14757/stat : 14757 (java) S 14744 14746 14627 0 -1 4202560 31 0 0 0 1 2 0 0 20 0 19 0 341043666 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140664881138408 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14746/tid=14758] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14758/stat : 14758 (java) S 14744 14746 14627 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341043667 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140664880084472 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14746/tid=14759] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14759/stat : 14759 (java) S 14744 14746 14627 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341043667 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140664879032072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14746/tid=14760] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14760/stat : 14760 (java) S 14744 14746 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341043669 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140664877980560 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14746/tid=14761] ppid=14744 vsize=2715132 CPUtime=0.22 cores=1,3,5,7
/proc/14746/task/14761/stat : 14761 (java) S 14744 14746 14627 0 -1 4202560 1982 0 0 0 22 0 0 0 20 0 19 0 341043669 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140664138361016 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14746/tid=14762] ppid=14744 vsize=2715132 CPUtime=0.12 cores=1,3,5,7
/proc/14746/task/14762/stat : 14762 (java) S 14744 14746 14627 0 -1 4202560 1489 0 0 0 12 0 0 0 20 0 19 0 341043669 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140664137308216 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14746/tid=14763] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14763/stat : 14763 (java) S 14744 14746 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341043669 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140664136256120 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14746/tid=14764] ppid=14744 vsize=2715132 CPUtime=0.82 cores=1,3,5,7
/proc/14746/task/14764/stat : 14764 (java) S 14744 14746 14627 0 -1 4202560 104 0 0 0 53 29 0 0 20 0 19 0 341043669 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140664135203528 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14746/tid=14765] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14765/stat : 14765 (java) S 14744 14746 14627 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341043676 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140664134149544 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1786.87
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.5 s]
/proc/loadavg: 2.00 2.00 1.87 2/191 14806
/proc/meminfo: memFree=27698892/32873844 swapFree=6088/6088
[pid=14746] ppid=14744 vsize=2715132 CPUtime=1800.1 cores=1,3,5,7
/proc/14746/stat : 14746 (java) S 14744 14746 14627 0 -1 4202496 9557 0 1 0 179890 120 0 0 20 0 19 0 341043664 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140737016342048 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14746/statm: 678783 227360 2241 9 0 669476 0
[pid=14746/tid=14748] ppid=14744 vsize=2715132 CPUtime=1789.34 cores=1,3,5,7
/proc/14746/task/14748/stat : 14748 (java) R 14744 14746 14627 0 -1 4202560 2924 0 1 0 178900 34 0 0 20 0 19 0 341043664 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140665033923920 140664893945017 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=14746/tid=14749] ppid=14744 vsize=2715132 CPUtime=0.63 cores=1,3,5,7
/proc/14746/task/14749/stat : 14749 (java) S 14744 14746 14627 0 -1 4202560 363 0 0 0 53 10 0 0 20 0 19 0 341043665 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140665018374952 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14746/tid=14750] ppid=14744 vsize=2715132 CPUtime=0.63 cores=1,3,5,7
/proc/14746/task/14750/stat : 14750 (java) S 14744 14746 14627 0 -1 4202560 147 0 0 0 56 7 0 0 20 0 19 0 341043665 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140665017322152 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14746/tid=14751] ppid=14744 vsize=2715132 CPUtime=0.69 cores=1,3,5,7
/proc/14746/task/14751/stat : 14751 (java) S 14744 14746 14627 0 -1 4202560 233 0 0 0 61 8 0 0 20 0 19 0 341043665 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140665016269864 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14746/tid=14752] ppid=14744 vsize=2715132 CPUtime=0.58 cores=1,3,5,7
/proc/14746/task/14752/stat : 14752 (java) S 14744 14746 14627 0 -1 4202560 215 0 0 0 49 9 0 0 20 0 19 0 341043665 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140665015217064 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14746/tid=14753] ppid=14744 vsize=2715132 CPUtime=0.5 cores=1,3,5,7
/proc/14746/task/14753/stat : 14753 (java) S 14744 14746 14627 0 -1 4202560 200 0 0 0 41 9 0 0 20 0 19 0 341043665 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140665014163752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14746/tid=14754] ppid=14744 vsize=2715132 CPUtime=0.52 cores=1,3,5,7
/proc/14746/task/14754/stat : 14754 (java) S 14744 14746 14627 0 -1 4202560 301 0 0 0 45 7 0 0 20 0 19 0 341043665 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140665013110952 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14746/tid=14755] ppid=14744 vsize=2715132 CPUtime=0.63 cores=1,3,5,7
/proc/14746/task/14755/stat : 14755 (java) S 14744 14746 14627 0 -1 4202560 192 0 0 0 54 9 0 0 20 0 19 0 341043665 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140665012058664 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14746/tid=14756] ppid=14744 vsize=2715132 CPUtime=0.61 cores=1,3,5,7
/proc/14746/task/14756/stat : 14756 (java) S 14744 14746 14627 0 -1 4202560 195 0 0 0 52 9 0 0 20 0 19 0 341043665 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140664893335976 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14746/tid=14757] ppid=14744 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/14746/task/14757/stat : 14757 (java) S 14744 14746 14627 0 -1 4202560 31 0 0 0 1 2 0 0 20 0 19 0 341043666 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140664881138408 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14746/tid=14758] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14758/stat : 14758 (java) S 14744 14746 14627 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341043667 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140664880084472 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14746/tid=14759] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14759/stat : 14759 (java) S 14744 14746 14627 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341043667 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140664879032072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14746/tid=14760] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14760/stat : 14760 (java) S 14744 14746 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341043669 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140664877980560 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14746/tid=14761] ppid=14744 vsize=2715132 CPUtime=0.22 cores=1,3,5,7
/proc/14746/task/14761/stat : 14761 (java) S 14744 14746 14627 0 -1 4202560 1982 0 0 0 22 0 0 0 20 0 19 0 341043669 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140664138361016 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14746/tid=14762] ppid=14744 vsize=2715132 CPUtime=0.12 cores=1,3,5,7
/proc/14746/task/14762/stat : 14762 (java) S 14744 14746 14627 0 -1 4202560 1489 0 0 0 12 0 0 0 20 0 19 0 341043669 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140664137308216 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14746/tid=14763] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14763/stat : 14763 (java) S 14744 14746 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341043669 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140664136256120 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14746/tid=14764] ppid=14744 vsize=2715132 CPUtime=0.84 cores=1,3,5,7
/proc/14746/task/14764/stat : 14764 (java) S 14744 14746 14627 0 -1 4202560 104 0 0 0 54 30 0 0 20 0 19 0 341043669 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140664135203528 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14746/tid=14765] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14765/stat : 14765 (java) S 14744 14746 14627 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341043676 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140664134149544 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 2715132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
############
# WARNING:
# current cumulated CPU time (1795.78 s) is less than in the last sample (1800.1 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (4.31995 s) to the 'lost time'.
[startup+1795.5 s]
/proc/loadavg: 2.00 2.00 1.87 2/191 14806
/proc/meminfo: memFree=27698892/32873844 swapFree=6088/6088
[pid=14746] ppid=14744 vsize=2715132 CPUtime=1800.1 cores=1,3,5,7
/proc/14746/stat : 14746 (java) S 14744 14746 14627 0 -1 4202496 9557 0 1 0 179890 120 0 0 20 0 19 0 341043664 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140737016342048 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14746/statm: 678783 227360 2241 9 0 669476 0
[pid=14746/tid=14748] ppid=14744 vsize=2715132 CPUtime=1789.34 cores=1,3,5,7
/proc/14746/task/14748/stat : 14748 (java) R 14744 14746 14627 0 -1 4202560 2924 0 1 0 178900 34 0 0 20 0 19 0 341043664 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140665033923920 140664893945017 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=14746/tid=14749] ppid=14744 vsize=2715132 CPUtime=0.63 cores=1,3,5,7
/proc/14746/task/14749/stat : 14749 (java) S 14744 14746 14627 0 -1 4202560 363 0 0 0 53 10 0 0 20 0 19 0 341043665 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140665018374952 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14746/tid=14750] ppid=14744 vsize=2715132 CPUtime=0.63 cores=1,3,5,7
/proc/14746/task/14750/stat : 14750 (java) S 14744 14746 14627 0 -1 4202560 147 0 0 0 56 7 0 0 20 0 19 0 341043665 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140665017322152 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14746/tid=14751] ppid=14744 vsize=2715132 CPUtime=0.69 cores=1,3,5,7
/proc/14746/task/14751/stat : 14751 (java) S 14744 14746 14627 0 -1 4202560 233 0 0 0 61 8 0 0 20 0 19 0 341043665 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140665016269864 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14746/tid=14752] ppid=14744 vsize=2715132 CPUtime=0.58 cores=1,3,5,7
/proc/14746/task/14752/stat : 14752 (java) S 14744 14746 14627 0 -1 4202560 215 0 0 0 49 9 0 0 20 0 19 0 341043665 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140665015217064 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14746/tid=14753] ppid=14744 vsize=2715132 CPUtime=0.5 cores=1,3,5,7
/proc/14746/task/14753/stat : 14753 (java) S 14744 14746 14627 0 -1 4202560 200 0 0 0 41 9 0 0 20 0 19 0 341043665 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140665014163752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14746/tid=14754] ppid=14744 vsize=2715132 CPUtime=0.52 cores=1,3,5,7
/proc/14746/task/14754/stat : 14754 (java) S 14744 14746 14627 0 -1 4202560 301 0 0 0 45 7 0 0 20 0 19 0 341043665 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140665013110952 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14746/tid=14755] ppid=14744 vsize=2715132 CPUtime=0.63 cores=1,3,5,7
/proc/14746/task/14755/stat : 14755 (java) S 14744 14746 14627 0 -1 4202560 192 0 0 0 54 9 0 0 20 0 19 0 341043665 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140665012058664 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14746/tid=14756] ppid=14744 vsize=2715132 CPUtime=0.61 cores=1,3,5,7
/proc/14746/task/14756/stat : 14756 (java) S 14744 14746 14627 0 -1 4202560 195 0 0 0 52 9 0 0 20 0 19 0 341043665 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140664893335976 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14746/tid=14757] ppid=14744 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/14746/task/14757/stat : 14757 (java) S 14744 14746 14627 0 -1 4202560 31 0 0 0 1 2 0 0 20 0 19 0 341043666 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140664881138408 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14746/tid=14758] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14758/stat : 14758 (java) S 14744 14746 14627 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341043667 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140664880084472 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14746/tid=14759] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14759/stat : 14759 (java) S 14744 14746 14627 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341043667 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140664879032072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14746/tid=14760] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14760/stat : 14760 (java) S 14744 14746 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341043669 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140664877980560 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14746/tid=14761] ppid=14744 vsize=2715132 CPUtime=0.22 cores=1,3,5,7
/proc/14746/task/14761/stat : 14761 (java) S 14744 14746 14627 0 -1 4202560 1982 0 0 0 22 0 0 0 20 0 19 0 341043669 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140664138361016 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14746/tid=14762] ppid=14744 vsize=2715132 CPUtime=0.12 cores=1,3,5,7
/proc/14746/task/14762/stat : 14762 (java) S 14744 14746 14627 0 -1 4202560 1489 0 0 0 12 0 0 0 20 0 19 0 341043669 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140664137308216 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14746/tid=14763] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14763/stat : 14763 (java) S 14744 14746 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341043669 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140664136256120 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14746/tid=14764] ppid=14744 vsize=2715132 CPUtime=0.84 cores=1,3,5,7
/proc/14746/task/14764/stat : 14764 (java) S 14744 14746 14627 0 -1 4202560 104 0 0 0 54 30 0 0 20 0 19 0 341043669 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140664135203528 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14746/tid=14765] ppid=14744 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/14746/task/14765/stat : 14765 (java) S 14744 14746 14627 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341043676 2780295168 227360 33554432000 1073741824 1073778376 140737016350912 140664134149544 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 2715132
[startup+1795.61 s]
/proc/loadavg: 2.00 2.00 1.87 2/191 14806
/proc/meminfo: memFree=27698892/32873844 swapFree=6088/6088
[pid=14746] ppid=14744 vsize=0 CPUtime=1795.78 cores=1,3,5,7
/proc/14746/stat : 14746 (java) Z 14744 14746 14627 0 -1 4203532 9611 0 1 0 179431 147 0 0 20 0 2 0 341043664 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14746/statm: 0 0 0 0 0 0 0
[pid=14746/tid=14762] ppid=14744 vsize=0 CPUtime=0.12 cores=1,3,5,7
/proc/14746/task/14762/stat : 14762 (java) R 14744 14746 14627 0 -1 4203588 1490 0 0 0 12 0 0 0 20 0 2 0 341043669 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1795.78
Current children cumulated vsize (KiB) 0
#
############
Solver just ended. Dumping a history of the last processes samples
[startup+1795.61 s]
/proc/loadavg: 2.00 2.00 1.87 2/191 14806
/proc/meminfo: memFree=27698892/32873844 swapFree=6088/6088
[pid=14746] ppid=14744 vsize=0 CPUtime=1795.78 cores=1,3,5,7
/proc/14746/stat : 14746 (java) Z 14744 14746 14627 0 -1 4203532 9611 0 1 0 179431 147 0 0 20 0 2 0 341043664 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14746/statm: 0 0 0 0 0 0 0
[pid=14746/tid=14762] ppid=14744 vsize=0 CPUtime=0.12 cores=1,3,5,7
/proc/14746/task/14762/stat : 14762 (java) R 14744 14746 14627 0 -1 4203588 1490 0 0 0 12 0 0 0 20 0 2 0 341043669 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1795.78
Current children cumulated vsize (KiB) 0
Child status: 143
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 4.31995
# lost CPU user time (s): 4.58997
# lost CPU system time (s): -0.27
Real time (s): 1795.61
CPU time (s): 1800.12
CPU user time (s): 1798.91
CPU system time (s): 1.21177
CPU usage (%): 100.251
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.32
system time used= 1.48177
maximum resident set size= 909632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9611
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38202
involuntary context switches= 19694
runsolver used 6.71198 second user time and 14.6518 second system time
The end