runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3456491-1307223080/watcher-3456491-1307223080 -o /tmp/evaluation-result-3456491-1307223080/solver-3456491-1307223080 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456491-1307223080.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.03 2.04 2.00 2/529 12931
/proc/meminfo: memFree=13908600/32951124 swapFree=67111204/67111528
[pid=12931] ppid=12929 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/12931/stat : 12931 (java) S 12929 12931 12030 0 -1 4202496 4627 0 1 0 0 0 0 0 25 0 2 0 814724189 10694979584 4328 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118571493 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/12931/statm: 2611079 4341 917 9 0 2602235 0
[pid=12931/tid=12932] ppid=12929 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12932/stat : 12932 (java) R 12929 12931 12030 0 -1 4202560 7662 0 1 0 0 0 0 0 25 0 2 0 814724190 10694979584 8478 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255106462779 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.080078 s]
/proc/loadavg: 2.03 2.04 2.00 2/529 12931
/proc/meminfo: memFree=13908600/32951124 swapFree=67111204/67111528
[pid=12931] ppid=12929 vsize=10538900 CPUtime=0.07 cores=1,3,5,7
/proc/12931/stat : 12931 (java) S 12929 12931 12030 0 -1 4202496 12267 0 1 0 6 1 0 0 25 0 18 0 814724189 10791833600 11963 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12931/statm: 2634725 11964 1913 9 0 2625459 0
[pid=12931/tid=12932] ppid=12929 vsize=10538900 CPUtime=0.06 cores=1,3,5,7
/proc/12931/task/12932/stat : 12932 (java) R 12929 12931 12030 0 -1 4202560 10881 0 1 0 5 1 0 0 25 0 18 0 814724190 10791833600 11965 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 47881879411539 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10538900
[startup+0.101039 s]
/proc/loadavg: 2.03 2.04 2.00 2/529 12931
/proc/meminfo: memFree=13908600/32951124 swapFree=67111204/67111528
[pid=12931] ppid=12929 vsize=10540084 CPUtime=0.1 cores=1,3,5,7
/proc/12931/stat : 12931 (java) S 12929 12931 12030 0 -1 4202496 13094 0 1 0 9 1 0 0 25 0 18 0 814724189 10793046016 12766 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12931/statm: 2635021 12766 2092 9 0 2625755 0
[pid=12931/tid=12932] ppid=12929 vsize=10540084 CPUtime=0.08 cores=1,3,5,7
/proc/12931/task/12932/stat : 12932 (java) R 12929 12931 12030 0 -1 4202560 11151 0 1 0 7 1 0 0 18 0 18 0 814724190 10793046016 12766 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 47881875779227 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540084
[startup+0.300969 s]
/proc/loadavg: 2.03 2.04 2.00 2/529 12931
/proc/meminfo: memFree=13908600/32951124 swapFree=67111204/67111528
[pid=12931] ppid=12929 vsize=10541160 CPUtime=0.51 cores=1,3,5,7
/proc/12931/stat : 12931 (java) S 12929 12931 12030 0 -1 4202496 16724 0 1 0 48 3 0 0 25 0 18 0 814724189 10794147840 15900 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12931/statm: 2635290 15902 2201 9 0 2626024 0
[pid=12931/tid=12932] ppid=12929 vsize=10541160 CPUtime=0.28 cores=1,3,5,7
/proc/12931/task/12932/stat : 12932 (java) R 12929 12931 12030 0 -1 4202560 13507 0 1 0 26 2 0 0 18 0 18 0 814724190 10794147840 15902 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10541160
[startup+0.700947 s]
/proc/loadavg: 2.03 2.04 2.00 2/529 12931
/proc/meminfo: memFree=13908600/32951124 swapFree=67111204/67111528
[pid=12931] ppid=12929 vsize=10545300 CPUtime=1.15 cores=1,3,5,7
/proc/12931/stat : 12931 (java) S 12929 12931 12030 0 -1 4202496 57047 0 1 0 107 8 0 0 25 0 18 0 814724189 10798387200 54524 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12931/statm: 2636325 54529 2213 9 0 2627059 0
[pid=12931/tid=12932] ppid=12929 vsize=10545300 CPUtime=0.69 cores=1,3,5,7
/proc/12931/task/12932/stat : 12932 (java) R 12929 12931 12030 0 -1 4202560 50257 0 1 0 62 7 0 0 18 0 18 0 814724190 10798387200 54531 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 46912505545950 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 10545300
[startup+1.50076 s]
/proc/loadavg: 2.03 2.04 2.00 3/547 12949
/proc/meminfo: memFree=13573044/32951124 swapFree=67111204/67111528
[pid=12931] ppid=12929 vsize=10553804 CPUtime=2.1 cores=1,3,5,7
/proc/12931/stat : 12931 (java) S 12929 12931 12030 0 -1 4202496 105673 0 1 0 197 13 0 0 25 0 18 0 814724189 10807095296 101569 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12931/statm: 2638451 101569 2224 9 0 2629185 0
[pid=12931/tid=12932] ppid=12929 vsize=10553804 CPUtime=1.49 cores=1,3,5,7
/proc/12931/task/12932/stat : 12932 (java) R 12929 12931 12030 0 -1 4202560 95222 0 1 0 137 12 0 0 19 0 18 0 814724190 10807095296 101569 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 46912505185631 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12931/tid=12934] ppid=12929 vsize=10553804 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12934/stat : 12934 (java) S 12929 12931 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 814724192 10807095296 101569 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 5 0 0 0
[pid=12931/tid=12935] ppid=12929 vsize=10553804 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12935/stat : 12935 (java) S 12929 12931 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 814724192 10807095296 101569 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 5 0 0 0
[pid=12931/tid=12936] ppid=12929 vsize=10553804 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12936/stat : 12936 (java) S 12929 12931 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 814724192 10807095296 101569 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12937] ppid=12929 vsize=10553804 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12937/stat : 12937 (java) S 12929 12931 12030 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 814724192 10807095296 101569 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12938] ppid=12929 vsize=10553804 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12938/stat : 12938 (java) S 12929 12931 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 814724192 10807095296 101569 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12939] ppid=12929 vsize=10553804 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12939/stat : 12939 (java) S 12929 12931 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 814724192 10807095296 101569 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12940] ppid=12929 vsize=10553804 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12940/stat : 12940 (java) S 12929 12931 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 814724192 10807095296 101569 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12941] ppid=12929 vsize=10553804 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12941/stat : 12941 (java) S 12929 12931 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 814724192 10807095296 101569 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 5 0 0 0
[pid=12931/tid=12942] ppid=12929 vsize=10553804 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12942/stat : 12942 (java) S 12929 12931 12030 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 814724193 10807095296 101569 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118585344 0 0 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12943] ppid=12929 vsize=10553804 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12943/stat : 12943 (java) S 12929 12931 12030 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 814724193 10807095296 101569 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12944] ppid=12929 vsize=10553804 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12944/stat : 12944 (java) S 12929 12931 12030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 814724193 10807095296 101569 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12945] ppid=12929 vsize=10553804 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12945/stat : 12945 (java) S 12929 12931 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 814724195 10807095296 101569 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118592433 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12946] ppid=12929 vsize=10553804 CPUtime=0.33 cores=1,3,5,7
/proc/12931/task/12946/stat : 12946 (java) R 12929 12931 12030 0 -1 4202560 5895 0 0 0 33 0 0 0 17 0 18 0 814724195 10807095296 101569 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 47881874254460 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=12931/tid=12947] ppid=12929 vsize=10553804 CPUtime=0.26 cores=1,3,5,7
/proc/12931/task/12947/stat : 12947 (java) S 12929 12931 12030 0 -1 4202560 3404 0 0 0 26 0 0 0 16 0 18 0 814724195 10807095296 101569 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 1 0 0 0
[pid=12931/tid=12948] ppid=12929 vsize=10553804 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12948/stat : 12948 (java) S 12929 12931 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 814724195 10807095296 101569 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12949] ppid=12929 vsize=10553804 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12949/stat : 12949 (java) S 12929 12931 12030 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 814724195 10807095296 101569 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118585344 0 4 0 16800975 18446604467976666048 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 10553804
[startup+3.10151 s]
/proc/loadavg: 2.03 2.04 2.00 4/548 12950
/proc/meminfo: memFree=13482640/32951124 swapFree=67111204/67111528
[pid=12931] ppid=12929 vsize=10554832 CPUtime=4.16 cores=1,3,5,7
/proc/12931/stat : 12931 (java) S 12929 12931 12030 0 -1 4202496 117508 0 1 0 401 15 0 0 25 0 19 0 814724189 10808147968 113333 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12931/statm: 2638708 113333 2231 9 0 2629442 0
[pid=12931/tid=12932] ppid=12929 vsize=10554832 CPUtime=3.08 cores=1,3,5,7
/proc/12931/task/12932/stat : 12932 (java) R 12929 12931 12030 0 -1 4202560 106899 0 1 0 295 13 0 0 18 0 19 0 814724190 10808147968 113333 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 46912505997713 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12931/tid=12934] ppid=12929 vsize=10554832 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12934/stat : 12934 (java) S 12929 12931 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814724192 10808147968 113333 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 5 0 0 0
[pid=12931/tid=12935] ppid=12929 vsize=10554832 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12935/stat : 12935 (java) S 12929 12931 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814724192 10808147968 113333 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 5 0 0 0
[pid=12931/tid=12936] ppid=12929 vsize=10554832 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12936/stat : 12936 (java) S 12929 12931 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814724192 10808147968 113333 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12937] ppid=12929 vsize=10554832 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12937/stat : 12937 (java) S 12929 12931 12030 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 814724192 10808147968 113333 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12938] ppid=12929 vsize=10554832 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12938/stat : 12938 (java) S 12929 12931 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814724192 10808147968 113333 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12939] ppid=12929 vsize=10554832 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12939/stat : 12939 (java) S 12929 12931 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814724192 10808147968 113333 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12940] ppid=12929 vsize=10554832 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12940/stat : 12940 (java) S 12929 12931 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814724192 10808147968 113333 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12941] ppid=12929 vsize=10554832 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12941/stat : 12941 (java) S 12929 12931 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814724192 10808147968 113333 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 5 0 0 0
[pid=12931/tid=12942] ppid=12929 vsize=10554832 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12942/stat : 12942 (java) S 12929 12931 12030 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814724193 10808147968 113333 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118585344 0 0 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12943] ppid=12929 vsize=10554832 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12943/stat : 12943 (java) S 12929 12931 12030 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814724193 10808147968 113333 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12944] ppid=12929 vsize=10554832 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12944/stat : 12944 (java) S 12929 12931 12030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814724193 10808147968 113333 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12945] ppid=12929 vsize=10554832 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12945/stat : 12945 (java) S 12929 12931 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814724195 10808147968 113333 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118592433 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12946] ppid=12929 vsize=10554832 CPUtime=0.55 cores=1,3,5,7
/proc/12931/task/12946/stat : 12946 (java) S 12929 12931 12030 0 -1 4202560 5941 0 0 0 55 0 0 0 15 0 19 0 814724195 10808147968 113333 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 5 0 0 0
[pid=12931/tid=12947] ppid=12929 vsize=10554832 CPUtime=0.49 cores=1,3,5,7
/proc/12931/task/12947/stat : 12947 (java) S 12929 12931 12030 0 -1 4202560 3506 0 0 0 49 0 0 0 15 0 19 0 814724195 10808147968 113333 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 1 0 0 0
[pid=12931/tid=12948] ppid=12929 vsize=10554832 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12948/stat : 12948 (java) S 12929 12931 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814724195 10808147968 113333 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12949] ppid=12929 vsize=10554832 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12949/stat : 12949 (java) S 12929 12931 12030 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814724195 10808147968 113333 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118585344 0 4 0 16800975 18446604467976666048 0 0 -1 5 0 0 0
[pid=12931/tid=12950] ppid=12929 vsize=10554832 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12950/stat : 12950 (java) S 12929 12931 12030 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 814724356 10808147968 113333 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118585344 0 4 0 16800975 18446604467976666048 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.16
Current children cumulated vsize (KiB) 10554832
[startup+6.30095 s]
/proc/loadavg: 2.03 2.04 2.00 3/548 12950
/proc/meminfo: memFree=13426604/32951124 swapFree=67111204/67111528
[pid=12931] ppid=12929 vsize=10554832 CPUtime=7.41 cores=1,3,5,7
/proc/12931/stat : 12931 (java) S 12929 12931 12030 0 -1 4202496 133824 0 1 0 724 17 0 0 25 0 19 0 814724189 10808147968 129640 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12931/statm: 2638708 129640 2236 9 0 2629442 0
[pid=12931/tid=12932] ppid=12929 vsize=10554832 CPUtime=6.28 cores=1,3,5,7
/proc/12931/task/12932/stat : 12932 (java) R 12929 12931 12030 0 -1 4202560 123202 0 1 0 613 15 0 0 25 0 19 0 814724190 10808147968 129640 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 46912505765357 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12931/tid=12934] ppid=12929 vsize=10554832 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12934/stat : 12934 (java) S 12929 12931 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814724192 10808147968 129640 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 5 0 0 0
[pid=12931/tid=12935] ppid=12929 vsize=10554832 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12935/stat : 12935 (java) S 12929 12931 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814724192 10808147968 129640 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 5 0 0 0
[pid=12931/tid=12936] ppid=12929 vsize=10554832 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12936/stat : 12936 (java) S 12929 12931 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814724192 10808147968 129640 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12937] ppid=12929 vsize=10554832 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12937/stat : 12937 (java) S 12929 12931 12030 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 814724192 10808147968 129640 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12938] ppid=12929 vsize=10554832 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12938/stat : 12938 (java) S 12929 12931 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814724192 10808147968 129640 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12939] ppid=12929 vsize=10554832 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12939/stat : 12939 (java) S 12929 12931 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814724192 10808147968 129640 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12940] ppid=12929 vsize=10554832 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12940/stat : 12940 (java) S 12929 12931 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814724192 10808147968 129640 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12941] ppid=12929 vsize=10554832 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12941/stat : 12941 (java) S 12929 12931 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814724192 10808147968 129640 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 5 0 0 0
[pid=12931/tid=12942] ppid=12929 vsize=10554832 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12942/stat : 12942 (java) S 12929 12931 12030 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 814724193 10808147968 129640 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118585344 0 0 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12943] ppid=12929 vsize=10554832 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12943/stat : 12943 (java) S 12929 12931 12030 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814724193 10808147968 129640 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12944] ppid=12929 vsize=10554832 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12944/stat : 12944 (java) S 12929 12931 12030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814724193 10808147968 129640 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12945] ppid=12929 vsize=10554832 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12945/stat : 12945 (java) S 12929 12931 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814724195 10808147968 129640 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118592433 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12946] ppid=12929 vsize=10554832 CPUtime=0.57 cores=1,3,5,7
/proc/12931/task/12946/stat : 12946 (java) S 12929 12931 12030 0 -1 4202560 5947 0 0 0 57 0 0 0 15 0 19 0 814724195 10808147968 129640 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 5 0 0 0
[pid=12931/tid=12947] ppid=12929 vsize=10554832 CPUtime=0.52 cores=1,3,5,7
/proc/12931/task/12947/stat : 12947 (java) S 12929 12931 12030 0 -1 4202560 3512 0 0 0 52 0 0 0 15 0 19 0 814724195 10808147968 129640 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 1 0 0 0
[pid=12931/tid=12948] ppid=12929 vsize=10554832 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12948/stat : 12948 (java) S 12929 12931 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814724195 10808147968 129640 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/12931/task/12944/stat : 12944 (java) S 12929 12931 12030 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814724193 10801311744 901286 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12945] ppid=12929 vsize=10548156 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12945/stat : 12945 (java) S 12929 12931 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814724195 10801311744 901286 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118592433 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12946] ppid=12929 vsize=10548156 CPUtime=0.81 cores=1,3,5,7
/proc/12931/task/12946/stat : 12946 (java) S 12929 12931 12030 0 -1 4202560 6127 0 0 0 81 0 0 0 15 0 19 0 814724195 10801311744 901286 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 5 0 0 0
[pid=12931/tid=12947] ppid=12929 vsize=10548156 CPUtime=0.71 cores=1,3,5,7
/proc/12931/task/12947/stat : 12947 (java) S 12929 12931 12030 0 -1 4202560 4062 0 0 0 70 1 0 0 15 0 19 0 814724195 10801311744 901286 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 1 0 0 0
[pid=12931/tid=12948] ppid=12929 vsize=10548156 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12948/stat : 12948 (java) S 12929 12931 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814724195 10801311744 901286 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12949] ppid=12929 vsize=10548156 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12949/stat : 12949 (java) S 12929 12931 12030 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 814724195 10801311744 901286 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118585344 0 4 0 16800975 18446604467976666048 0 0 -1 5 0 0 0
[pid=12931/tid=12950] ppid=12929 vsize=10548156 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12950/stat : 12950 (java) S 12929 12931 12030 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 814724356 10801311744 901286 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118585344 0 4 0 16800975 18446604467976666048 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1665.32
Current children cumulated vsize (KiB) 10548156
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/548 12996
/proc/meminfo: memFree=9190344/32951124 swapFree=67111204/67111528
[pid=12931] ppid=12929 vsize=10548156 CPUtime=1725.35 cores=1,3,5,7
/proc/12931/stat : 12931 (java) S 12929 12931 12030 0 -1 4202496 909599 0 1 0 172426 109 0 0 25 0 19 0 814724189 10801311744 901286 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12931/statm: 2637039 901286 2250 9 0 2627773 0
[pid=12931/tid=12932] ppid=12929 vsize=10548156 CPUtime=1721.22 cores=1,3,5,7
/proc/12931/task/12932/stat : 12932 (java) R 12929 12931 12030 0 -1 4202560 839256 0 1 0 172032 90 0 0 25 0 19 0 814724190 10801311744 901286 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 46912506137862 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12931/tid=12934] ppid=12929 vsize=10548156 CPUtime=0.25 cores=1,3,5,7
/proc/12931/task/12934/stat : 12934 (java) S 12929 12931 12030 0 -1 4202560 3270 0 0 0 25 0 0 0 15 0 19 0 814724192 10801311744 901286 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 5 0 0 0
[pid=12931/tid=12935] ppid=12929 vsize=10548156 CPUtime=0.3 cores=1,3,5,7
/proc/12931/task/12935/stat : 12935 (java) S 12929 12931 12030 0 -1 4202560 8659 0 0 0 29 1 0 0 15 0 19 0 814724192 10801311744 901286 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 1 0 0 0
[pid=12931/tid=12936] ppid=12929 vsize=10548156 CPUtime=0.27 cores=1,3,5,7
/proc/12931/task/12936/stat : 12936 (java) S 12929 12931 12030 0 -1 4202560 5833 0 0 0 26 1 0 0 15 0 19 0 814724192 10801311744 901286 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12937] ppid=12929 vsize=10548156 CPUtime=0.33 cores=1,3,5,7
/proc/12931/task/12937/stat : 12937 (java) S 12929 12931 12030 0 -1 4202560 6588 0 0 0 32 1 0 0 16 0 19 0 814724192 10801311744 901286 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 5 0 0 0
[pid=12931/tid=12938] ppid=12929 vsize=10548156 CPUtime=0.34 cores=1,3,5,7
/proc/12931/task/12938/stat : 12938 (java) S 12929 12931 12030 0 -1 4202560 11059 0 0 0 33 1 0 0 16 0 19 0 814724192 10801311744 901286 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 1 0 0 0
[pid=12931/tid=12939] ppid=12929 vsize=10548156 CPUtime=0.33 cores=1,3,5,7
/proc/12931/task/12939/stat : 12939 (java) S 12929 12931 12030 0 -1 4202560 7932 0 0 0 32 1 0 0 15 0 19 0 814724192 10801311744 901286 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12940] ppid=12929 vsize=10548156 CPUtime=0.28 cores=1,3,5,7
/proc/12931/task/12940/stat : 12940 (java) S 12929 12931 12030 0 -1 4202560 6866 0 0 0 27 1 0 0 15 0 19 0 814724192 10801311744 901286 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 5 0 0 0
[pid=12931/tid=12941] ppid=12929 vsize=10548156 CPUtime=0.28 cores=1,3,5,7
/proc/12931/task/12941/stat : 12941 (java) S 12929 12931 12030 0 -1 4202560 8590 0 0 0 27 1 0 0 15 0 19 0 814724192 10801311744 901286 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12942] ppid=12929 vsize=10548156 CPUtime=0.09 cores=1,3,5,7
/proc/12931/task/12942/stat : 12942 (java) S 12929 12931 12030 0 -1 4202560 107 0 0 0 5 4 0 0 15 0 19 0 814724193 10801311744 901286 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118585344 0 0 0 16800975 18446604467976666048 0 0 -1 3 0 0 0
[pid=12931/tid=12943] ppid=12929 vsize=10548156 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12943/stat : 12943 (java) S 12929 12931 12030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814724193 10801311744 901286 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12944] ppid=12929 vsize=10548156 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12944/stat : 12944 (java) S 12929 12931 12030 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814724193 10801311744 901286 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12945] ppid=12929 vsize=10548156 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12945/stat : 12945 (java) S 12929 12931 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814724195 10801311744 901286 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118592433 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12946] ppid=12929 vsize=10548156 CPUtime=0.81 cores=1,3,5,7
/proc/12931/task/12946/stat : 12946 (java) S 12929 12931 12030 0 -1 4202560 6127 0 0 0 81 0 0 0 15 0 19 0 814724195 10801311744 901286 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 5 0 0 0
[pid=12931/tid=12947] ppid=12929 vsize=10548156 CPUtime=0.71 cores=1,3,5,7
/proc/12931/task/12947/stat : 12947 (java) S 12929 12931 12030 0 -1 4202560 4062 0 0 0 70 1 0 0 15 0 19 0 814724195 10801311744 901286 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 1 0 0 0
[pid=12931/tid=12948] ppid=12929 vsize=10548156 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12948/stat : 12948 (java) S 12929 12931 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814724195 10801311744 901286 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12949] ppid=12929 vsize=10548156 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12949/stat : 12949 (java) S 12929 12931 12030 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 814724195 10801311744 901286 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118585344 0 4 0 16800975 18446604467976666048 0 0 -1 5 0 0 0
[pid=12931/tid=12950] ppid=12929 vsize=10548156 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12950/stat : 12950 (java) S 12929 12931 12030 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 814724356 10801311744 901286 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118585344 0 4 0 16800975 18446604467976666048 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1725.35
Current children cumulated vsize (KiB) 10548156
[startup+1782.3 s]
/proc/loadavg: 1.93 2.01 1.99 3/548 13055
/proc/meminfo: memFree=10390440/32951124 swapFree=67111204/67111528
[pid=12931] ppid=12929 vsize=10548156 CPUtime=1785.41 cores=1,3,5,7
/proc/12931/stat : 12931 (java) S 12929 12931 12030 0 -1 4202496 913119 0 1 0 178431 110 0 0 25 0 19 0 814724189 10801311744 904668 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12931/statm: 2637039 904668 2250 9 0 2627773 0
[pid=12931/tid=12932] ppid=12929 vsize=10548156 CPUtime=1781.18 cores=1,3,5,7
/proc/12931/task/12932/stat : 12932 (java) R 12929 12931 12030 0 -1 4202560 839270 0 1 0 178028 90 0 0 25 0 19 0 814724190 10801311744 904668 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 46912506137703 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12931/tid=12934] ppid=12929 vsize=10548156 CPUtime=0.26 cores=1,3,5,7
/proc/12931/task/12934/stat : 12934 (java) S 12929 12931 12030 0 -1 4202560 3270 0 0 0 26 0 0 0 15 0 19 0 814724192 10801311744 904668 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 1 0 0 0
[pid=12931/tid=12935] ppid=12929 vsize=10548156 CPUtime=0.31 cores=1,3,5,7
/proc/12931/task/12935/stat : 12935 (java) S 12929 12931 12030 0 -1 4202560 8738 0 0 0 30 1 0 0 16 0 19 0 814724192 10801311744 904668 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12936] ppid=12929 vsize=10548156 CPUtime=0.29 cores=1,3,5,7
/proc/12931/task/12936/stat : 12936 (java) S 12929 12931 12030 0 -1 4202560 8397 0 0 0 28 1 0 0 15 0 19 0 814724192 10801311744 904668 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 5 0 0 0
[pid=12931/tid=12937] ppid=12929 vsize=10548156 CPUtime=0.34 cores=1,3,5,7
/proc/12931/task/12937/stat : 12937 (java) S 12929 12931 12030 0 -1 4202560 6588 0 0 0 33 1 0 0 15 0 19 0 814724192 10801311744 904668 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 3 0 0 0
[pid=12931/tid=12938] ppid=12929 vsize=10548156 CPUtime=0.35 cores=1,3,5,7
/proc/12931/task/12938/stat : 12938 (java) S 12929 12931 12030 0 -1 4202560 11111 0 0 0 34 1 0 0 15 0 19 0 814724192 10801311744 904668 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 3 0 0 0
[pid=12931/tid=12939] ppid=12929 vsize=10548156 CPUtime=0.35 cores=1,3,5,7
/proc/12931/task/12939/stat : 12939 (java) S 12929 12931 12030 0 -1 4202560 8735 0 0 0 34 1 0 0 15 0 19 0 814724192 10801311744 904668 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 1 0 0 0
[pid=12931/tid=12940] ppid=12929 vsize=10548156 CPUtime=0.29 cores=1,3,5,7
/proc/12931/task/12940/stat : 12940 (java) S 12929 12931 12030 0 -1 4202560 6866 0 0 0 28 1 0 0 15 0 19 0 814724192 10801311744 904668 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 5 0 0 0
[pid=12931/tid=12941] ppid=12929 vsize=10548156 CPUtime=0.29 cores=1,3,5,7
/proc/12931/task/12941/stat : 12941 (java) S 12929 12931 12030 0 -1 4202560 8590 0 0 0 28 1 0 0 15 0 19 0 814724192 10801311744 904668 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 3 0 0 0
[pid=12931/tid=12942] ppid=12929 vsize=10548156 CPUtime=0.09 cores=1,3,5,7
/proc/12931/task/12942/stat : 12942 (java) S 12929 12931 12030 0 -1 4202560 111 0 0 0 5 4 0 0 15 0 19 0 814724193 10801311744 904668 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118585344 0 0 0 16800975 18446604467976666048 0 0 -1 3 0 0 0
[pid=12931/tid=12943] ppid=12929 vsize=10548156 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12943/stat : 12943 (java) S 12929 12931 12030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814724193 10801311744 904668 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12944] ppid=12929 vsize=10548156 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12944/stat : 12944 (java) S 12929 12931 12030 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814724193 10801311744 904668 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12945] ppid=12929 vsize=10548156 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12945/stat : 12945 (java) S 12929 12931 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814724195 10801311744 904668 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118592433 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12946] ppid=12929 vsize=10548156 CPUtime=0.81 cores=1,3,5,7
/proc/12931/task/12946/stat : 12946 (java) S 12929 12931 12030 0 -1 4202560 6127 0 0 0 81 0 0 0 15 0 19 0 814724195 10801311744 904668 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 5 0 0 0
[pid=12931/tid=12947] ppid=12929 vsize=10548156 CPUtime=0.71 cores=1,3,5,7
/proc/12931/task/12947/stat : 12947 (java) S 12929 12931 12030 0 -1 4202560 4062 0 0 0 70 1 0 0 15 0 19 0 814724195 10801311744 904668 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 1 0 0 0
[pid=12931/tid=12948] ppid=12929 vsize=10548156 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12948/stat : 12948 (java) S 12929 12931 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814724195 10801311744 904668 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12949] ppid=12929 vsize=10548156 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12949/stat : 12949 (java) S 12929 12931 12030 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 814724195 10801311744 904668 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118585344 0 4 0 16800975 18446604467976666048 0 0 -1 5 0 0 0
[pid=12931/tid=12950] ppid=12929 vsize=10548156 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12950/stat : 12950 (java) S 12929 12931 12030 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 814724356 10801311744 904668 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118585344 0 4 0 16800975 18446604467976666048 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1785.41
Current children cumulated vsize (KiB) 10548156
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.9 s]
/proc/loadavg: 1.94 2.01 1.99 3/548 13055
/proc/meminfo: memFree=10283416/32951124 swapFree=67111204/67111528
[pid=12931] ppid=12929 vsize=10548156 CPUtime=1800.03 cores=1,3,5,7
/proc/12931/stat : 12931 (java) S 12929 12931 12030 0 -1 4202496 913123 0 1 0 179893 110 0 0 25 0 19 0 814724189 10801311744 904668 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12931/statm: 2637039 904668 2250 9 0 2627773 0
[pid=12931/tid=12932] ppid=12929 vsize=10548156 CPUtime=1795.79 cores=1,3,5,7
/proc/12931/task/12932/stat : 12932 (java) R 12929 12931 12030 0 -1 4202560 839274 0 1 0 179489 90 0 0 25 0 19 0 814724190 10801311744 904668 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 46912506137703 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12931/tid=12934] ppid=12929 vsize=10548156 CPUtime=0.26 cores=1,3,5,7
/proc/12931/task/12934/stat : 12934 (java) S 12929 12931 12030 0 -1 4202560 3270 0 0 0 26 0 0 0 16 0 19 0 814724192 10801311744 904668 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 1 0 0 0
[pid=12931/tid=12935] ppid=12929 vsize=10548156 CPUtime=0.31 cores=1,3,5,7
/proc/12931/task/12935/stat : 12935 (java) S 12929 12931 12030 0 -1 4202560 8738 0 0 0 30 1 0 0 15 0 19 0 814724192 10801311744 904668 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12936] ppid=12929 vsize=10548156 CPUtime=0.29 cores=1,3,5,7
/proc/12931/task/12936/stat : 12936 (java) S 12929 12931 12030 0 -1 4202560 8397 0 0 0 28 1 0 0 15 0 19 0 814724192 10801311744 904668 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 5 0 0 0
[pid=12931/tid=12937] ppid=12929 vsize=10548156 CPUtime=0.34 cores=1,3,5,7
/proc/12931/task/12937/stat : 12937 (java) S 12929 12931 12030 0 -1 4202560 6588 0 0 0 33 1 0 0 15 0 19 0 814724192 10801311744 904668 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 3 0 0 0
[pid=12931/tid=12938] ppid=12929 vsize=10548156 CPUtime=0.35 cores=1,3,5,7
/proc/12931/task/12938/stat : 12938 (java) S 12929 12931 12030 0 -1 4202560 11111 0 0 0 34 1 0 0 15 0 19 0 814724192 10801311744 904668 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12939] ppid=12929 vsize=10548156 CPUtime=0.35 cores=1,3,5,7
/proc/12931/task/12939/stat : 12939 (java) S 12929 12931 12030 0 -1 4202560 8735 0 0 0 34 1 0 0 15 0 19 0 814724192 10801311744 904668 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 3 0 0 0
[pid=12931/tid=12940] ppid=12929 vsize=10548156 CPUtime=0.29 cores=1,3,5,7
/proc/12931/task/12940/stat : 12940 (java) S 12929 12931 12030 0 -1 4202560 6866 0 0 0 28 1 0 0 16 0 19 0 814724192 10801311744 904668 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 5 0 0 0
[pid=12931/tid=12941] ppid=12929 vsize=10548156 CPUtime=0.29 cores=1,3,5,7
/proc/12931/task/12941/stat : 12941 (java) S 12929 12931 12030 0 -1 4202560 8590 0 0 0 28 1 0 0 16 0 19 0 814724192 10801311744 904668 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 3 0 0 0
[pid=12931/tid=12942] ppid=12929 vsize=10548156 CPUtime=0.09 cores=1,3,5,7
/proc/12931/task/12942/stat : 12942 (java) S 12929 12931 12030 0 -1 4202560 111 0 0 0 5 4 0 0 15 0 19 0 814724193 10801311744 904668 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118585344 0 0 0 16800975 18446604467976666048 0 0 -1 3 0 0 0
[pid=12931/tid=12943] ppid=12929 vsize=10548156 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12943/stat : 12943 (java) S 12929 12931 12030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814724193 10801311744 904668 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12944] ppid=12929 vsize=10548156 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12944/stat : 12944 (java) S 12929 12931 12030 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814724193 10801311744 904668 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12945] ppid=12929 vsize=10548156 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12945/stat : 12945 (java) S 12929 12931 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814724195 10801311744 904668 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118592433 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12946] ppid=12929 vsize=10548156 CPUtime=0.81 cores=1,3,5,7
/proc/12931/task/12946/stat : 12946 (java) S 12929 12931 12030 0 -1 4202560 6127 0 0 0 81 0 0 0 15 0 19 0 814724195 10801311744 904668 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 5 0 0 0
[pid=12931/tid=12947] ppid=12929 vsize=10548156 CPUtime=0.71 cores=1,3,5,7
/proc/12931/task/12947/stat : 12947 (java) S 12929 12931 12030 0 -1 4202560 4062 0 0 0 70 1 0 0 15 0 19 0 814724195 10801311744 904668 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 1 0 0 0
[pid=12931/tid=12948] ppid=12929 vsize=10548156 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12948/stat : 12948 (java) S 12929 12931 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814724195 10801311744 904668 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118584729 0 4 0 16800975 18446604467976666048 0 0 -1 7 0 0 0
[pid=12931/tid=12949] ppid=12929 vsize=10548156 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12949/stat : 12949 (java) S 12929 12931 12030 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 814724195 10801311744 904668 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118585344 0 4 0 16800975 18446604467976666048 0 0 -1 5 0 0 0
[pid=12931/tid=12950] ppid=12929 vsize=10548156 CPUtime=0 cores=1,3,5,7
/proc/12931/task/12950/stat : 12950 (java) S 12929 12931 12030 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 814724356 10801311744 904668 33554432000 1073741824 1073778376 140734855292784 18446744073709551615 255118585344 0 4 0 16800975 18446604467976666048 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10548156
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.03 s]
/proc/loadavg: 1.94 2.01 1.99 3/548 13055
/proc/meminfo: memFree=10283416/32951124 swapFree=67111204/67111528
[pid=12931] ppid=12929 vsize=0 CPUtime=1800.14 cores=1,3,5,7
/proc/12931/stat : 12931 (java) Z 12929 12931 12030 0 -1 4203548 913150 0 1 0 179895 119 0 0 17 0 2 0 814724189 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12931/statm: 0 0 0 0 0 0 0
[pid=12931/tid=12944] ppid=12929 vsize=0 CPUtime=0.09 cores=1,3,5,7
/proc/12931/task/12944/stat : 12944 (java) R 12929 12931 12030 0 -1 4203588 9 0 0 0 0 9 0 0 18 0 2 0 814724193 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1797.07
CPU time (s): 1800.2
CPU user time (s): 1798.95
CPU system time (s): 1.24381
CPU usage (%): 100.174
Max. virtual memory (cumulated for all children) (KiB): 10554832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.95
system time used= 1.24381
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 913150
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= 49535
involuntary context switches= 23322
runsolver used 9.38157 second user time and 21.6737 second system time
The end