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-3456158-1307664083/watcher-3456158-1307664083 -o /tmp/evaluation-result-3456158-1307664083/solver-3456158-1307664083 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456158-1307664083.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.09 1.43 2/174 31498
/proc/meminfo: memFree=32225860/32950928 swapFree=67051812/67111528
[pid=31498] ppid=31496 vsize=9100 CPUtime=0 cores=0,2,4,6
/proc/31498/stat : 31498 (java) S 31496 31498 28735 0 -1 4202496 427 0 0 0 0 0 0 0 23 0 1 0 956638947 9318400 172 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260900470407 0 2147483391 4096 0 18446744071699207358 0 0 17 4 0 0 0
/proc/31498/statm: 5101 172 132 9 0 67 0
[startup+0.0318239 s]
/proc/loadavg: 1.00 1.09 1.43 2/174 31498
/proc/meminfo: memFree=32225860/32950928 swapFree=67051812/67111528
[pid=31498] ppid=31496 vsize=10455012 CPUtime=0.02 cores=0,2,4,6
/proc/31498/stat : 31498 (java) S 31496 31498 28735 0 -1 4202496 10696 0 1 0 1 1 0 0 23 0 10 0 956638947 10705932288 10394 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917196773 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/31498/statm: 2613753 10395 1513 9 0 2604501 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10455012
[startup+0.100764 s]
/proc/loadavg: 1.00 1.09 1.43 2/174 31498
/proc/meminfo: memFree=32225860/32950928 swapFree=67051812/67111528
[pid=31498] ppid=31496 vsize=10540396 CPUtime=0.1 cores=0,2,4,6
/proc/31498/stat : 31498 (java) S 31496 31498 28735 0 -1 4202496 13023 0 1 0 9 1 0 0 23 0 18 0 956638947 10793365504 12691 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31498/statm: 2635099 12691 2092 9 0 2625833 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540396
[startup+0.306514 s]
/proc/loadavg: 1.00 1.09 1.43 2/174 31498
/proc/meminfo: memFree=32225860/32950928 swapFree=67051812/67111528
[pid=31498] ppid=31496 vsize=10541420 CPUtime=0.5 cores=0,2,4,6
/proc/31498/stat : 31498 (java) S 31496 31498 28735 0 -1 4202496 15752 0 1 0 48 2 0 0 23 0 18 0 956638947 10794414080 15164 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31498/statm: 2635355 15164 2220 9 0 2626089 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10541420
[startup+0.70071 s]
/proc/loadavg: 1.00 1.09 1.43 2/174 31498
/proc/meminfo: memFree=32225860/32950928 swapFree=67051812/67111528
[pid=31498] ppid=31496 vsize=10552684 CPUtime=1.65 cores=0,2,4,6
/proc/31498/stat : 31498 (java) S 31496 31498 28735 0 -1 4202496 35998 0 1 0 161 4 0 0 23 0 18 0 956638947 10805948416 30515 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31498/statm: 2638171 30519 2234 9 0 2628905 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 10552684
[startup+1.50151 s]
/proc/loadavg: 1.08 1.10 1.43 4/213 31544
/proc/meminfo: memFree=31847584/32950928 swapFree=67051812/67111528
[pid=31498] ppid=31496 vsize=10553712 CPUtime=3.11 cores=0,2,4,6
/proc/31498/stat : 31498 (java) S 31496 31498 28735 0 -1 4202496 73331 0 1 0 302 9 0 0 23 0 19 0 956638947 10807001088 67849 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31498/statm: 2638428 67875 2241 9 0 2629162 0
[pid=31498/tid=31500] ppid=31496 vsize=10553712 CPUtime=1.48 cores=0,2,4,6
/proc/31498/task/31500/stat : 31500 (java) R 31496 31498 28735 0 -1 4202560 60752 0 1 0 141 7 0 0 19 0 19 0 956638948 10807001088 67887 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 46912506142608 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=31498/tid=31501] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31501/stat : 31501 (java) S 31496 31498 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638950 10807001088 67902 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31502] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31502/stat : 31502 (java) S 31496 31498 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638950 10807001088 67903 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31503] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31503/stat : 31503 (java) S 31496 31498 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638950 10807001088 67903 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31504] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31504/stat : 31504 (java) S 31496 31498 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638950 10807001088 67903 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31505] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31505/stat : 31505 (java) S 31496 31498 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638950 10807001088 67906 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31506] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31506/stat : 31506 (java) S 31496 31498 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638950 10807001088 67910 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31507] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31507/stat : 31507 (java) S 31496 31498 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638950 10807001088 67915 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31508] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31508/stat : 31508 (java) S 31496 31498 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638950 10807001088 67918 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31509] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31509/stat : 31509 (java) S 31496 31498 28735 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 956638951 10807001088 67923 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210624 0 0 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31510] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31510/stat : 31510 (java) S 31496 31498 28735 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 956638951 10807001088 67926 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31511] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31511/stat : 31511 (java) S 31496 31498 28735 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 956638951 10807001088 67930 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=31498/tid=31521] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31521/stat : 31521 (java) S 31496 31498 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638953 10807001088 67933 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917217713 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31522] ppid=31496 vsize=10553712 CPUtime=0.85 cores=0,2,4,6
/proc/31498/task/31522/stat : 31522 (java) R 31496 31498 28735 0 -1 4202560 6281 0 0 0 85 0 0 0 24 0 19 0 956638954 10807001088 67933 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 47372643564048 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31498/tid=31524] ppid=31496 vsize=10553712 CPUtime=0.76 cores=0,2,4,6
/proc/31498/task/31524/stat : 31524 (java) S 31496 31498 28735 0 -1 4202560 5176 0 0 0 76 0 0 0 15 0 19 0 956638954 10807001088 67933 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=31498/tid=31525] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31525/stat : 31525 (java) S 31496 31498 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638954 10807001088 67933 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31526] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31526/stat : 31526 (java) S 31496 31498 28735 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 956638954 10807001088 67933 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210624 0 4 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=31498/tid=31544] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31544/stat : 31544 (java) S 31496 31498 28735 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956639043 10807001088 67934 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210624 0 4 0 16800975 18446604453844884480 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 10553712
[startup+3.10129 s]
/proc/loadavg: 1.08 1.10 1.43 3/214 31545
/proc/meminfo: memFree=31474584/32950928 swapFree=67051812/67111528
[pid=31498] ppid=31496 vsize=10553712 CPUtime=4.9 cores=0,2,4,6
/proc/31498/stat : 31498 (java) S 31496 31498 28735 0 -1 4202496 132883 0 1 0 474 16 0 0 23 0 19 0 956638947 10807001088 127275 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31498/statm: 2638428 127275 2242 9 0 2629162 0
[pid=31498/tid=31500] ppid=31496 vsize=10553712 CPUtime=3.08 cores=0,2,4,6
/proc/31498/task/31500/stat : 31500 (java) R 31496 31498 28735 0 -1 4202560 120117 0 1 0 294 14 0 0 24 0 19 0 956638948 10807001088 127275 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 46912505586282 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=31498/tid=31501] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31501/stat : 31501 (java) S 31496 31498 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638950 10807001088 127276 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31502] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31502/stat : 31502 (java) S 31496 31498 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638950 10807001088 127276 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31503] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31503/stat : 31503 (java) S 31496 31498 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638950 10807001088 127276 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31504] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31504/stat : 31504 (java) S 31496 31498 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638950 10807001088 127276 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31505] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31505/stat : 31505 (java) S 31496 31498 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638950 10807001088 127276 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31506] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31506/stat : 31506 (java) S 31496 31498 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638950 10807001088 127276 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31507] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31507/stat : 31507 (java) S 31496 31498 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638950 10807001088 127276 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31508] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31508/stat : 31508 (java) S 31496 31498 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638950 10807001088 127276 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31509] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31509/stat : 31509 (java) S 31496 31498 28735 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 956638951 10807001088 127277 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210624 0 0 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31510] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31510/stat : 31510 (java) S 31496 31498 28735 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 956638951 10807001088 127277 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31511] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31511/stat : 31511 (java) S 31496 31498 28735 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 956638951 10807001088 127277 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=31498/tid=31521] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31521/stat : 31521 (java) S 31496 31498 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638953 10807001088 127277 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917217713 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31522] ppid=31496 vsize=10553712 CPUtime=0.99 cores=0,2,4,6
/proc/31498/task/31522/stat : 31522 (java) S 31496 31498 28735 0 -1 4202560 6422 0 0 0 99 0 0 0 15 0 19 0 956638954 10807001088 127280 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=31498/tid=31524] ppid=31496 vsize=10553712 CPUtime=0.8 cores=0,2,4,6
/proc/31498/task/31524/stat : 31524 (java) S 31496 31498 28735 0 -1 4202560 5182 0 0 0 80 0 0 0 15 0 19 0 956638954 10807001088 127284 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=31498/tid=31525] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31525/stat : 31525 (java) S 31496 31498 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638954 10807001088 127289 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31526] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31526/stat : 31526 (java) S 31496 31498 28735 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 956638954 10807001088 127294 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210624 0 4 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=31498/tid=31544] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31544/stat : 31544 (java) S 31496 31498 28735 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956639043 10807001088 127299 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210624 0 4 0 16800975 18446604453844884480 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.9
Current children cumulated vsize (KiB) 10553712
[startup+6.30074 s]
/proc/loadavg: 1.15 1.12 1.43 3/214 31545
/proc/meminfo: memFree=30677760/32950928 swapFree=67051812/67111528
[pid=31498] ppid=31496 vsize=10553712 CPUtime=8.17 cores=0,2,4,6
/proc/31498/stat : 31498 (java) S 31496 31498 28735 0 -1 4202496 228856 0 1 0 791 26 0 0 23 0 19 0 956638947 10807001088 222934 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31498/statm: 2638428 222935 2244 9 0 2629162 0
[pid=31498/tid=31500] ppid=31496 vsize=10553712 CPUtime=6.28 cores=0,2,4,6
/proc/31498/task/31500/stat : 31500 (java) R 31496 31498 28735 0 -1 4202560 216076 0 1 0 604 24 0 0 25 0 19 0 956638948 10807001088 222936 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 46912506097415 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=31498/tid=31501] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31501/stat : 31501 (java) S 31496 31498 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638950 10807001088 222936 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31502] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31502/stat : 31502 (java) S 31496 31498 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638950 10807001088 222936 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31503] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31503/stat : 31503 (java) S 31496 31498 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638950 10807001088 222936 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31504] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31504/stat : 31504 (java) S 31496 31498 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638950 10807001088 222937 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31505] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31505/stat : 31505 (java) S 31496 31498 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638950 10807001088 222937 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31506] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31506/stat : 31506 (java) S 31496 31498 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638950 10807001088 222937 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31507] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31507/stat : 31507 (java) S 31496 31498 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638950 10807001088 222937 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31508] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31508/stat : 31508 (java) S 31496 31498 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638950 10807001088 222938 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31509] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31509/stat : 31509 (java) S 31496 31498 28735 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 956638951 10807001088 222938 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210624 0 0 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31510] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31510/stat : 31510 (java) S 31496 31498 28735 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 956638951 10807001088 222938 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31511] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31511/stat : 31511 (java) S 31496 31498 28735 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 956638951 10807001088 222938 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=31498/tid=31521] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31521/stat : 31521 (java) S 31496 31498 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638953 10807001088 222938 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917217713 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31522] ppid=31496 vsize=10553712 CPUtime=1.06 cores=0,2,4,6
/proc/31498/task/31522/stat : 31522 (java) S 31496 31498 28735 0 -1 4202560 6437 0 0 0 106 0 0 0 15 0 19 0 956638954 10807001088 222939 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=31498/tid=31524] ppid=31496 vsize=10553712 CPUtime=0.8 cores=0,2,4,6
/proc/31498/task/31524/stat : 31524 (java) S 31496 31498 28735 0 -1 4202560 5182 0 0 0 80 0 0 0 16 0 19 0 956638954 10807001088 222939 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=31498/tid=31525] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31525/stat : 31525 (java) S 31496 31498 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638954 10807001088 222939 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31526] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31526/stat : 31526 (java) S 31496 31498 28735 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 956638954 10807001088 222939 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210624 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=31498/tid=31544] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31544/stat : 31544 (java) S 31496 31498 28735 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956639043 10807001088 222940 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210624 0 4 0 16800975 18446604453844884480 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8.17
Current children cumulated vsize (KiB) 10553712
[startup+12.7016 s]
################
# More data... #
################
/proc/31498/task/31511/stat : 31511 (java) S 31496 31498 28735 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 956638951 10807001088 1092296 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=31498/tid=31521] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31521/stat : 31521 (java) S 31496 31498 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638953 10807001088 1092296 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917217713 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31522] ppid=31496 vsize=10553712 CPUtime=1.11 cores=0,2,4,6
/proc/31498/task/31522/stat : 31522 (java) S 31496 31498 28735 0 -1 4202560 6446 0 0 0 111 0 0 0 15 0 19 0 956638954 10807001088 1092296 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=31498/tid=31524] ppid=31496 vsize=10553712 CPUtime=1.05 cores=0,2,4,6
/proc/31498/task/31524/stat : 31524 (java) S 31496 31498 28735 0 -1 4202560 5226 0 0 0 105 0 0 0 15 0 19 0 956638954 10807001088 1092296 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=31498/tid=31525] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31525/stat : 31525 (java) S 31496 31498 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638954 10807001088 1092296 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31526] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31526/stat : 31526 (java) S 31496 31498 28735 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 956638954 10807001088 1092296 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210624 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=31498/tid=31544] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31544/stat : 31544 (java) S 31496 31498 28735 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956639043 10807001088 1092296 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210624 0 4 0 16800975 18446604453844884480 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1672.35
Current children cumulated vsize (KiB) 10553712
[startup+1722.3 s]
/proc/loadavg: 2.10 2.08 1.91 3/214 31591
/proc/meminfo: memFree=23387312/32950928 swapFree=67051812/67111528
[pid=31498] ppid=31496 vsize=10553712 CPUtime=1732.52 cores=0,2,4,6
/proc/31498/stat : 31498 (java) S 31496 31498 28735 0 -1 4202496 1107026 0 1 0 173113 139 0 0 23 0 19 0 956638947 10807001088 1095353 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31498/statm: 2638428 1095353 2270 9 0 2629162 0
[pid=31498/tid=31500] ppid=31496 vsize=10553712 CPUtime=1718.46 cores=0,2,4,6
/proc/31498/task/31500/stat : 31500 (java) R 31496 31498 28735 0 -1 4202560 665426 0 1 0 171772 74 0 0 25 0 19 0 956638948 10807001088 1095353 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 46912506097307 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31498/tid=31501] ppid=31496 vsize=10553712 CPUtime=1.34 cores=0,2,4,6
/proc/31498/task/31501/stat : 31501 (java) S 31496 31498 28735 0 -1 4202560 57105 0 0 0 126 8 0 0 16 0 19 0 956638950 10807001088 1095353 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 6 0 0 0
[pid=31498/tid=31502] ppid=31496 vsize=10553712 CPUtime=1.29 cores=0,2,4,6
/proc/31498/task/31502/stat : 31502 (java) S 31496 31498 28735 0 -1 4202560 47344 0 0 0 121 8 0 0 16 0 19 0 956638950 10807001088 1095353 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 6 0 0 0
[pid=31498/tid=31503] ppid=31496 vsize=10553712 CPUtime=1.47 cores=0,2,4,6
/proc/31498/task/31503/stat : 31503 (java) S 31496 31498 28735 0 -1 4202560 50394 0 0 0 140 7 0 0 16 0 19 0 956638950 10807001088 1095353 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 6 0 0 0
[pid=31498/tid=31504] ppid=31496 vsize=10553712 CPUtime=0.98 cores=0,2,4,6
/proc/31498/task/31504/stat : 31504 (java) S 31496 31498 28735 0 -1 4202560 38677 0 0 0 93 5 0 0 16 0 19 0 956638950 10807001088 1095353 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=31498/tid=31505] ppid=31496 vsize=10553712 CPUtime=1.51 cores=0,2,4,6
/proc/31498/task/31505/stat : 31505 (java) S 31496 31498 28735 0 -1 4202560 64199 0 0 0 142 9 0 0 16 0 19 0 956638950 10807001088 1095353 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 6 0 0 0
[pid=31498/tid=31506] ppid=31496 vsize=10553712 CPUtime=1.19 cores=0,2,4,6
/proc/31498/task/31506/stat : 31506 (java) S 31496 31498 28735 0 -1 4202560 50659 0 0 0 111 8 0 0 16 0 19 0 956638950 10807001088 1095353 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=31498/tid=31507] ppid=31496 vsize=10553712 CPUtime=1.53 cores=0,2,4,6
/proc/31498/task/31507/stat : 31507 (java) S 31496 31498 28735 0 -1 4202560 57769 0 0 0 146 7 0 0 16 0 19 0 956638950 10807001088 1095353 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=31498/tid=31508] ppid=31496 vsize=10553712 CPUtime=1.39 cores=0,2,4,6
/proc/31498/task/31508/stat : 31508 (java) S 31496 31498 28735 0 -1 4202560 57632 0 0 0 133 6 0 0 16 0 19 0 956638950 10807001088 1095353 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=31498/tid=31509] ppid=31496 vsize=10553712 CPUtime=1.08 cores=0,2,4,6
/proc/31498/task/31509/stat : 31509 (java) S 31496 31498 28735 0 -1 4202560 4892 0 0 0 108 0 0 0 15 0 19 0 956638951 10807001088 1095353 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210624 0 0 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31510] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31510/stat : 31510 (java) S 31496 31498 28735 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 956638951 10807001088 1095353 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31511] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31511/stat : 31511 (java) S 31496 31498 28735 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 956638951 10807001088 1095353 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=31498/tid=31521] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31521/stat : 31521 (java) S 31496 31498 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638953 10807001088 1095353 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917217713 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31522] ppid=31496 vsize=10553712 CPUtime=1.11 cores=0,2,4,6
/proc/31498/task/31522/stat : 31522 (java) S 31496 31498 28735 0 -1 4202560 6446 0 0 0 111 0 0 0 15 0 19 0 956638954 10807001088 1095353 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=31498/tid=31524] ppid=31496 vsize=10553712 CPUtime=1.05 cores=0,2,4,6
/proc/31498/task/31524/stat : 31524 (java) S 31496 31498 28735 0 -1 4202560 5226 0 0 0 105 0 0 0 15 0 19 0 956638954 10807001088 1095353 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=31498/tid=31525] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31525/stat : 31525 (java) S 31496 31498 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638954 10807001088 1095353 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31526] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31526/stat : 31526 (java) S 31496 31498 28735 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 956638954 10807001088 1095353 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210624 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=31498/tid=31544] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31544/stat : 31544 (java) S 31496 31498 28735 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956639043 10807001088 1095353 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210624 0 4 0 16800975 18446604453844884480 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1732.52
Current children cumulated vsize (KiB) 10553712
[startup+1782.3 s]
/proc/loadavg: 2.03 2.06 1.91 3/214 31592
/proc/meminfo: memFree=23332692/32950928 swapFree=67051812/67111528
[pid=31498] ppid=31496 vsize=10553712 CPUtime=1792.82 cores=0,2,4,6
/proc/31498/stat : 31498 (java) S 31496 31498 28735 0 -1 4202496 1114742 0 1 0 179141 141 0 0 23 0 19 0 956638947 10807001088 1102834 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31498/statm: 2638428 1102834 2270 9 0 2629162 0
[pid=31498/tid=31500] ppid=31496 vsize=10553712 CPUtime=1778.35 cores=0,2,4,6
/proc/31498/task/31500/stat : 31500 (java) R 31496 31498 28735 0 -1 4202560 665429 0 1 0 177761 74 0 0 25 0 19 0 956638948 10807001088 1102834 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 46912506097197 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=31498/tid=31501] ppid=31496 vsize=10553712 CPUtime=1.41 cores=0,2,4,6
/proc/31498/task/31501/stat : 31501 (java) S 31496 31498 28735 0 -1 4202560 59056 0 0 0 133 8 0 0 16 0 19 0 956638950 10807001088 1102834 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=31498/tid=31502] ppid=31496 vsize=10553712 CPUtime=1.39 cores=0,2,4,6
/proc/31498/task/31502/stat : 31502 (java) S 31496 31498 28735 0 -1 4202560 49143 0 0 0 131 8 0 0 16 0 19 0 956638950 10807001088 1102834 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=31498/tid=31503] ppid=31496 vsize=10553712 CPUtime=1.57 cores=0,2,4,6
/proc/31498/task/31503/stat : 31503 (java) S 31496 31498 28735 0 -1 4202560 52360 0 0 0 149 8 0 0 16 0 19 0 956638950 10807001088 1102834 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=31498/tid=31504] ppid=31496 vsize=10553712 CPUtime=1 cores=0,2,4,6
/proc/31498/task/31504/stat : 31504 (java) S 31496 31498 28735 0 -1 4202560 38715 0 0 0 95 5 0 0 16 0 19 0 956638950 10807001088 1102834 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=31498/tid=31505] ppid=31496 vsize=10553712 CPUtime=1.55 cores=0,2,4,6
/proc/31498/task/31505/stat : 31505 (java) S 31496 31498 28735 0 -1 4202560 65214 0 0 0 146 9 0 0 15 0 19 0 956638950 10807001088 1102834 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31506] ppid=31496 vsize=10553712 CPUtime=1.19 cores=0,2,4,6
/proc/31498/task/31506/stat : 31506 (java) S 31496 31498 28735 0 -1 4202560 50659 0 0 0 111 8 0 0 16 0 19 0 956638950 10807001088 1102834 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=31498/tid=31507] ppid=31496 vsize=10553712 CPUtime=1.53 cores=0,2,4,6
/proc/31498/task/31507/stat : 31507 (java) S 31496 31498 28735 0 -1 4202560 57769 0 0 0 146 7 0 0 15 0 19 0 956638950 10807001088 1102834 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=31498/tid=31508] ppid=31496 vsize=10553712 CPUtime=1.45 cores=0,2,4,6
/proc/31498/task/31508/stat : 31508 (java) S 31496 31498 28735 0 -1 4202560 58569 0 0 0 138 7 0 0 16 0 19 0 956638950 10807001088 1102834 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31509] ppid=31496 vsize=10553712 CPUtime=1.08 cores=0,2,4,6
/proc/31498/task/31509/stat : 31509 (java) S 31496 31498 28735 0 -1 4202560 4896 0 0 0 108 0 0 0 15 0 19 0 956638951 10807001088 1102834 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210624 0 0 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31510] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31510/stat : 31510 (java) S 31496 31498 28735 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 956638951 10807001088 1102834 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31511] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31511/stat : 31511 (java) S 31496 31498 28735 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 956638951 10807001088 1102834 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=31498/tid=31521] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31521/stat : 31521 (java) S 31496 31498 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638953 10807001088 1102834 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917217713 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31522] ppid=31496 vsize=10553712 CPUtime=1.12 cores=0,2,4,6
/proc/31498/task/31522/stat : 31522 (java) S 31496 31498 28735 0 -1 4202560 6447 0 0 0 112 0 0 0 15 0 19 0 956638954 10807001088 1102834 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=31498/tid=31524] ppid=31496 vsize=10553712 CPUtime=1.05 cores=0,2,4,6
/proc/31498/task/31524/stat : 31524 (java) S 31496 31498 28735 0 -1 4202560 5226 0 0 0 105 0 0 0 15 0 19 0 956638954 10807001088 1102834 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=31498/tid=31525] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31525/stat : 31525 (java) S 31496 31498 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638954 10807001088 1102834 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31526] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31526/stat : 31526 (java) S 31496 31498 28735 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 956638954 10807001088 1102834 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210624 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=31498/tid=31544] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31544/stat : 31544 (java) S 31496 31498 28735 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956639043 10807001088 1102834 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210624 0 4 0 16800975 18446604453844884480 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1792.82
Current children cumulated vsize (KiB) 10553712
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1789.5 s]
/proc/loadavg: 2.03 2.06 1.91 2/194 31595
/proc/meminfo: memFree=27810120/32950928 swapFree=67051812/67111528
[pid=31498] ppid=31496 vsize=10553712 CPUtime=1800.02 cores=0,2,4,6
/proc/31498/stat : 31498 (java) S 31496 31498 28735 0 -1 4202496 1114742 0 1 0 179861 141 0 0 23 0 19 0 956638947 10807001088 1102834 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31498/statm: 2638428 1102834 2270 9 0 2629162 0
[pid=31498/tid=31500] ppid=31496 vsize=10553712 CPUtime=1785.55 cores=0,2,4,6
/proc/31498/task/31500/stat : 31500 (java) R 31496 31498 28735 0 -1 4202560 665429 0 1 0 178481 74 0 0 25 0 19 0 956638948 10807001088 1102834 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 46912506097186 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=31498/tid=31501] ppid=31496 vsize=10553712 CPUtime=1.41 cores=0,2,4,6
/proc/31498/task/31501/stat : 31501 (java) S 31496 31498 28735 0 -1 4202560 59056 0 0 0 133 8 0 0 16 0 19 0 956638950 10807001088 1102834 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=31498/tid=31502] ppid=31496 vsize=10553712 CPUtime=1.39 cores=0,2,4,6
/proc/31498/task/31502/stat : 31502 (java) S 31496 31498 28735 0 -1 4202560 49143 0 0 0 131 8 0 0 16 0 19 0 956638950 10807001088 1102834 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=31498/tid=31503] ppid=31496 vsize=10553712 CPUtime=1.57 cores=0,2,4,6
/proc/31498/task/31503/stat : 31503 (java) S 31496 31498 28735 0 -1 4202560 52360 0 0 0 149 8 0 0 16 0 19 0 956638950 10807001088 1102834 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=31498/tid=31504] ppid=31496 vsize=10553712 CPUtime=1 cores=0,2,4,6
/proc/31498/task/31504/stat : 31504 (java) S 31496 31498 28735 0 -1 4202560 38715 0 0 0 95 5 0 0 16 0 19 0 956638950 10807001088 1102834 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=31498/tid=31505] ppid=31496 vsize=10553712 CPUtime=1.55 cores=0,2,4,6
/proc/31498/task/31505/stat : 31505 (java) S 31496 31498 28735 0 -1 4202560 65214 0 0 0 146 9 0 0 15 0 19 0 956638950 10807001088 1102834 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31506] ppid=31496 vsize=10553712 CPUtime=1.19 cores=0,2,4,6
/proc/31498/task/31506/stat : 31506 (java) S 31496 31498 28735 0 -1 4202560 50659 0 0 0 111 8 0 0 16 0 19 0 956638950 10807001088 1102834 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=31498/tid=31507] ppid=31496 vsize=10553712 CPUtime=1.53 cores=0,2,4,6
/proc/31498/task/31507/stat : 31507 (java) S 31496 31498 28735 0 -1 4202560 57769 0 0 0 146 7 0 0 15 0 19 0 956638950 10807001088 1102834 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=31498/tid=31508] ppid=31496 vsize=10553712 CPUtime=1.45 cores=0,2,4,6
/proc/31498/task/31508/stat : 31508 (java) S 31496 31498 28735 0 -1 4202560 58569 0 0 0 138 7 0 0 16 0 19 0 956638950 10807001088 1102834 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31509] ppid=31496 vsize=10553712 CPUtime=1.08 cores=0,2,4,6
/proc/31498/task/31509/stat : 31509 (java) S 31496 31498 28735 0 -1 4202560 4896 0 0 0 108 0 0 0 15 0 19 0 956638951 10807001088 1102834 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210624 0 0 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31510] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31510/stat : 31510 (java) S 31496 31498 28735 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 956638951 10807001088 1102834 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31511] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31511/stat : 31511 (java) S 31496 31498 28735 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 956638951 10807001088 1102834 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=31498/tid=31521] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31521/stat : 31521 (java) S 31496 31498 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638953 10807001088 1102834 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917217713 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31522] ppid=31496 vsize=10553712 CPUtime=1.12 cores=0,2,4,6
/proc/31498/task/31522/stat : 31522 (java) S 31496 31498 28735 0 -1 4202560 6447 0 0 0 112 0 0 0 15 0 19 0 956638954 10807001088 1102834 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=31498/tid=31524] ppid=31496 vsize=10553712 CPUtime=1.05 cores=0,2,4,6
/proc/31498/task/31524/stat : 31524 (java) S 31496 31498 28735 0 -1 4202560 5226 0 0 0 105 0 0 0 15 0 19 0 956638954 10807001088 1102834 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=31498/tid=31525] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31525/stat : 31525 (java) S 31496 31498 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638954 10807001088 1102834 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 4 0 0 0
[pid=31498/tid=31526] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31526/stat : 31526 (java) S 31496 31498 28735 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 956638954 10807001088 1102834 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210624 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=31498/tid=31544] ppid=31496 vsize=10553712 CPUtime=0 cores=0,2,4,6
/proc/31498/task/31544/stat : 31544 (java) S 31496 31498 28735 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956639043 10807001088 1102834 33554432000 1073741824 1073778376 140736690719120 18446744073709551615 260917210624 0 4 0 16800975 18446604453844884480 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10553712
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1789.61 s]
/proc/loadavg: 2.03 2.06 1.91 2/178 31598
/proc/meminfo: memFree=30025336/32950928 swapFree=67051812/67111528
[pid=31498] ppid=31496 vsize=0 CPUtime=1800.15 cores=0,2,4,6
/proc/31498/stat : 31498 (java) Z 31496 31498 28735 0 -1 4203548 1114773 0 1 0 179865 150 0 0 17 0 2 0 956638947 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31498/statm: 0 0 0 0 0 0 0
[pid=31498/tid=31525] ppid=31496 vsize=0 CPUtime=0.08 cores=0,2,4,6
/proc/31498/task/31525/stat : 31525 (java) R 31496 31498 28735 0 -1 4203588 1 0 0 0 0 8 0 0 18 0 2 0 956638954 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1789.69
CPU time (s): 1800.24
CPU user time (s): 1798.65
CPU system time (s): 1.58276
CPU usage (%): 100.589
Max. virtual memory (cumulated for all children) (KiB): 10553712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.65
system time used= 1.58276
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1114773
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= 37666
involuntary context switches= 10488
runsolver used 3.2645 second user time and 6.52101 second system time
The end