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-3455930-1307225381/watcher-3455930-1307225381 -o /tmp/evaluation-result-3455930-1307225381/solver-3455930-1307225381 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455930-1307225381.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: 1.92 2.01 1.99 2/533 23599
/proc/meminfo: memFree=19901456/32950928 swapFree=58671692/67111528
[pid=23599] ppid=23597 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/23599/stat : 23599 (java) S 23597 23599 22299 0 -1 4202496 7142 0 1 0 0 0 0 0 18 0 2 0 912768771 10694979584 6844 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/23599/statm: 2611079 6858 917 9 0 2602235 0
[pid=23599/tid=23600] ppid=23597 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23600/stat : 23600 (java) R 23597 23599 22299 0 -1 4202560 7598 0 1 0 0 0 0 0 19 0 2 0 912768772 10694979584 8414 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256415085627 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.082854 s]
/proc/loadavg: 1.92 2.01 1.99 2/533 23599
/proc/meminfo: memFree=19901456/32950928 swapFree=58671692/67111528
[pid=23599] ppid=23597 vsize=10538900 CPUtime=0.07 cores=1,3,5,7
/proc/23599/stat : 23599 (java) S 23597 23599 22299 0 -1 4202496 12383 0 1 0 6 1 0 0 18 0 18 0 912768771 10791833600 12080 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23599/statm: 2634725 12081 1976 9 0 2625459 0
[pid=23599/tid=23600] ppid=23597 vsize=10538900 CPUtime=0.07 cores=1,3,5,7
/proc/23599/task/23600/stat : 23600 (java) R 23597 23599 22299 0 -1 4202560 10920 0 1 0 6 1 0 0 25 0 18 0 912768772 10791833600 12085 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427220959 0 2147483391 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10538900
[startup+0.118472 s]
/proc/loadavg: 1.92 2.01 1.99 2/533 23599
/proc/meminfo: memFree=19901456/32950928 swapFree=58671692/67111528
[pid=23599] ppid=23597 vsize=10539704 CPUtime=0.13 cores=1,3,5,7
/proc/23599/stat : 23599 (java) S 23597 23599 22299 0 -1 4202496 13280 0 1 0 12 1 0 0 18 0 18 0 912768771 10792656896 12968 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23599/statm: 2634926 12968 2133 9 0 2625660 0
[pid=23599/tid=23600] ppid=23597 vsize=10539704 CPUtime=0.1 cores=1,3,5,7
/proc/23599/task/23600/stat : 23600 (java) R 23597 23599 22299 0 -1 4202560 11336 0 1 0 9 1 0 0 18 0 18 0 912768772 10792656896 12968 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427218379 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 10539704
[startup+0.318621 s]
/proc/loadavg: 1.92 2.01 1.99 2/533 23599
/proc/meminfo: memFree=19901456/32950928 swapFree=58671692/67111528
[pid=23599] ppid=23597 vsize=10546328 CPUtime=0.47 cores=1,3,5,7
/proc/23599/stat : 23599 (java) S 23597 23599 22299 0 -1 4202496 17720 0 1 0 45 2 0 0 18 0 19 0 912768771 10799439872 16251 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23599/statm: 2636582 16252 2197 9 0 2627316 0
[pid=23599/tid=23600] ppid=23597 vsize=10546328 CPUtime=0.23 cores=1,3,5,7
/proc/23599/task/23600/stat : 23600 (java) R 23597 23599 22299 0 -1 4202560 12760 0 1 0 22 1 0 0 19 0 19 0 912768772 10799439872 16252 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 46912505593162 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10546328
[startup+0.885261 s]
/proc/loadavg: 1.92 2.01 1.99 2/533 23599
/proc/meminfo: memFree=19901456/32950928 swapFree=58671692/67111528
[pid=23599] ppid=23597 vsize=10552060 CPUtime=2.1 cores=1,3,5,7
/proc/23599/stat : 23599 (java) S 23597 23599 22299 0 -1 4202496 59338 0 1 0 203 7 0 0 18 0 19 0 912768771 10805309440 51624 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23599/statm: 2638015 51626 2226 9 0 2628749 0
[pid=23599/tid=23600] ppid=23597 vsize=10552060 CPUtime=0.79 cores=1,3,5,7
/proc/23599/task/23600/stat : 23600 (java) R 23597 23599 22299 0 -1 4202560 43355 0 1 0 74 5 0 0 18 0 19 0 912768772 10805309440 51627 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 46912505543267 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 10552060
[startup+1.50116 s]
/proc/loadavg: 1.92 2.01 1.99 3/552 23618
/proc/meminfo: memFree=19560700/32950928 swapFree=58671692/67111528
[pid=23599] ppid=23597 vsize=10552060 CPUtime=2.86 cores=1,3,5,7
/proc/23599/stat : 23599 (java) S 23597 23599 22299 0 -1 4202496 128701 0 1 0 272 14 0 0 18 0 19 0 912768771 10805309440 120987 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23599/statm: 2638015 120992 2227 9 0 2628749 0
[pid=23599/tid=23600] ppid=23597 vsize=10552060 CPUtime=1.4 cores=1,3,5,7
/proc/23599/task/23600/stat : 23600 (java) R 23597 23599 22299 0 -1 4202560 112704 0 1 0 129 11 0 0 19 0 19 0 912768772 10805309440 120994 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 46912505598523 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23599/tid=23602] ppid=23597 vsize=10552060 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23602/stat : 23602 (java) S 23597 23599 22299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 912768774 10805309440 120997 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 1 0 0 0
[pid=23599/tid=23603] ppid=23597 vsize=10552060 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23603/stat : 23603 (java) S 23597 23599 22299 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 912768774 10805309440 121001 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=23599/tid=23604] ppid=23597 vsize=10552060 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23604/stat : 23604 (java) S 23597 23599 22299 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912768774 10805309440 121003 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=23599/tid=23605] ppid=23597 vsize=10552060 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23605/stat : 23605 (java) S 23597 23599 22299 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912768774 10805309440 121007 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=23599/tid=23606] ppid=23597 vsize=10552060 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23606/stat : 23606 (java) S 23597 23599 22299 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912768774 10805309440 121009 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=23599/tid=23607] ppid=23597 vsize=10552060 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23607/stat : 23607 (java) S 23597 23599 22299 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912768774 10805309440 121012 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=23599/tid=23608] ppid=23597 vsize=10552060 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23608/stat : 23608 (java) S 23597 23599 22299 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 912768774 10805309440 121014 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 1 0 0 0
[pid=23599/tid=23609] ppid=23597 vsize=10552060 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23609/stat : 23609 (java) S 23597 23599 22299 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 912768774 10805309440 121016 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 1 0 0 0
[pid=23599/tid=23610] ppid=23597 vsize=10552060 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23610/stat : 23610 (java) S 23597 23599 22299 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 912768775 10805309440 121020 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427208192 0 0 0 16800975 18446604464600201216 0 0 -1 1 0 0 0
[pid=23599/tid=23611] ppid=23597 vsize=10552060 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23611/stat : 23611 (java) S 23597 23599 22299 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 912768775 10805309440 121024 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=23599/tid=23612] ppid=23597 vsize=10552060 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23612/stat : 23612 (java) S 23597 23599 22299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912768775 10805309440 121027 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=23599/tid=23613] ppid=23597 vsize=10552060 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23613/stat : 23613 (java) S 23597 23599 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912768777 10805309440 121030 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427215281 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=23599/tid=23614] ppid=23597 vsize=10552060 CPUtime=0.74 cores=1,3,5,7
/proc/23599/task/23614/stat : 23614 (java) S 23597 23599 22299 0 -1 4202560 7834 0 0 0 74 0 0 0 15 0 19 0 912768777 10805309440 121033 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 5 0 0 0
[pid=23599/tid=23615] ppid=23597 vsize=10552060 CPUtime=0.68 cores=1,3,5,7
/proc/23599/task/23615/stat : 23615 (java) S 23597 23599 22299 0 -1 4202560 7010 0 0 0 67 1 0 0 15 0 19 0 912768777 10805309440 121037 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=23599/tid=23616] ppid=23597 vsize=10552060 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23616/stat : 23616 (java) S 23597 23599 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912768777 10805309440 121041 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=23599/tid=23617] ppid=23597 vsize=10552060 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23617/stat : 23617 (java) S 23597 23599 22299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912768777 10805309440 121044 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427208192 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=23599/tid=23618] ppid=23597 vsize=10552060 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23618/stat : 23618 (java) S 23597 23599 22299 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912768788 10805309440 121047 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427208192 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 10552060
[startup+3.10085 s]
/proc/loadavg: 1.92 2.01 1.99 3/552 23618
/proc/meminfo: memFree=19080084/32950928 swapFree=58671692/67111528
[pid=23599] ppid=23597 vsize=10552060 CPUtime=4.45 cores=1,3,5,7
/proc/23599/stat : 23599 (java) S 23597 23599 22299 0 -1 4202496 297587 0 1 0 414 31 0 0 18 0 19 0 912768771 10805309440 289872 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23599/statm: 2638015 289876 2227 9 0 2628749 0
[pid=23599/tid=23600] ppid=23597 vsize=10552060 CPUtime=3.01 cores=1,3,5,7
/proc/23599/task/23600/stat : 23600 (java) R 23597 23599 22299 0 -1 4202560 281588 0 1 0 272 29 0 0 23 0 19 0 912768772 10805309440 289878 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 46912505568539 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23599/tid=23602] ppid=23597 vsize=10552060 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23602/stat : 23602 (java) S 23597 23599 22299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 912768774 10805309440 289880 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 1 0 0 0
[pid=23599/tid=23603] ppid=23597 vsize=10552060 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23603/stat : 23603 (java) S 23597 23599 22299 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 912768774 10805309440 289882 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=23599/tid=23604] ppid=23597 vsize=10552060 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23604/stat : 23604 (java) S 23597 23599 22299 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912768774 10805309440 289885 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=23599/tid=23605] ppid=23597 vsize=10552060 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23605/stat : 23605 (java) S 23597 23599 22299 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912768774 10805309440 289887 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=23599/tid=23606] ppid=23597 vsize=10552060 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23606/stat : 23606 (java) S 23597 23599 22299 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912768774 10805309440 289890 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=23599/tid=23607] ppid=23597 vsize=10552060 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23607/stat : 23607 (java) S 23597 23599 22299 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912768774 10805309440 289892 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=23599/tid=23608] ppid=23597 vsize=10552060 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23608/stat : 23608 (java) S 23597 23599 22299 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 912768774 10805309440 289893 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 1 0 0 0
[pid=23599/tid=23609] ppid=23597 vsize=10552060 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23609/stat : 23609 (java) S 23597 23599 22299 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 912768774 10805309440 289894 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 1 0 0 0
[pid=23599/tid=23610] ppid=23597 vsize=10552060 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23610/stat : 23610 (java) S 23597 23599 22299 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 912768775 10805309440 289896 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427208192 0 0 0 16800975 18446604464600201216 0 0 -1 1 0 0 0
[pid=23599/tid=23611] ppid=23597 vsize=10552060 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23611/stat : 23611 (java) S 23597 23599 22299 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 912768775 10805309440 289899 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=23599/tid=23612] ppid=23597 vsize=10552060 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23612/stat : 23612 (java) S 23597 23599 22299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912768775 10805309440 289901 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=23599/tid=23613] ppid=23597 vsize=10552060 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23613/stat : 23613 (java) S 23597 23599 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912768777 10805309440 289904 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427215281 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=23599/tid=23614] ppid=23597 vsize=10552060 CPUtime=0.74 cores=1,3,5,7
/proc/23599/task/23614/stat : 23614 (java) S 23597 23599 22299 0 -1 4202560 7834 0 0 0 74 0 0 0 15 0 19 0 912768777 10805309440 289906 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 5 0 0 0
[pid=23599/tid=23615] ppid=23597 vsize=10552060 CPUtime=0.68 cores=1,3,5,7
/proc/23599/task/23615/stat : 23615 (java) S 23597 23599 22299 0 -1 4202560 7010 0 0 0 67 1 0 0 15 0 19 0 912768777 10805309440 289909 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=23599/tid=23616] ppid=23597 vsize=10552060 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23616/stat : 23616 (java) S 23597 23599 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912768777 10805309440 289911 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=23599/tid=23617] ppid=23597 vsize=10552060 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23617/stat : 23617 (java) S 23597 23599 22299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912768777 10805309440 289913 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427208192 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=23599/tid=23618] ppid=23597 vsize=10552060 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23618/stat : 23618 (java) S 23597 23599 22299 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912768788 10805309440 289916 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427208192 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.45
Current children cumulated vsize (KiB) 10552060
[startup+6.30125 s]
/proc/loadavg: 1.93 2.01 1.99 3/552 23618
/proc/meminfo: memFree=17680072/32950928 swapFree=58671692/67111528
[pid=23599] ppid=23597 vsize=10547392 CPUtime=7.67 cores=1,3,5,7
/proc/23599/stat : 23599 (java) S 23597 23599 22299 0 -1 4202496 628703 0 1 0 699 68 0 0 18 0 19 0 912768771 10800529408 619839 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23599/statm: 2636848 619842 2227 9 0 2627582 0
[pid=23599/tid=23600] ppid=23597 vsize=10547392 CPUtime=6.21 cores=1,3,5,7
/proc/23599/task/23600/stat : 23600 (java) R 23597 23599 22299 0 -1 4202560 612700 0 1 0 555 66 0 0 25 0 19 0 912768772 10800529408 619844 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 46912505568539 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23599/tid=23602] ppid=23597 vsize=10547392 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23602/stat : 23602 (java) S 23597 23599 22299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 912768774 10800529408 619846 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 1 0 0 0
[pid=23599/tid=23603] ppid=23597 vsize=10547392 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23603/stat : 23603 (java) S 23597 23599 22299 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 912768774 10800529408 619847 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=23599/tid=23604] ppid=23597 vsize=10547392 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23604/stat : 23604 (java) S 23597 23599 22299 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912768774 10800529408 619849 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=23599/tid=23605] ppid=23597 vsize=10547392 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23605/stat : 23605 (java) S 23597 23599 22299 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912768774 10800529408 619850 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=23599/tid=23606] ppid=23597 vsize=10547392 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23606/stat : 23606 (java) S 23597 23599 22299 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912768774 10800529408 619852 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=23599/tid=23607] ppid=23597 vsize=10547392 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23607/stat : 23607 (java) S 23597 23599 22299 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912768774 10800529408 619854 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=23599/tid=23608] ppid=23597 vsize=10547392 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23608/stat : 23608 (java) S 23597 23599 22299 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 912768774 10800529408 619856 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 1 0 0 0
[pid=23599/tid=23609] ppid=23597 vsize=10547392 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23609/stat : 23609 (java) S 23597 23599 22299 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 912768774 10800529408 619857 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 1 0 0 0
[pid=23599/tid=23610] ppid=23597 vsize=10547392 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23610/stat : 23610 (java) S 23597 23599 22299 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 912768775 10800529408 619859 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427208192 0 0 0 16800975 18446604464600201216 0 0 -1 1 0 0 0
[pid=23599/tid=23611] ppid=23597 vsize=10547392 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23611/stat : 23611 (java) S 23597 23599 22299 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 912768775 10800529408 619861 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=23599/tid=23612] ppid=23597 vsize=10547392 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23612/stat : 23612 (java) S 23597 23599 22299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912768775 10800529408 619862 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=23599/tid=23613] ppid=23597 vsize=10547392 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23613/stat : 23613 (java) S 23597 23599 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912768777 10800529408 619864 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427215281 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=23599/tid=23614] ppid=23597 vsize=10547392 CPUtime=0.75 cores=1,3,5,7
/proc/23599/task/23614/stat : 23614 (java) S 23597 23599 22299 0 -1 4202560 7836 0 0 0 75 0 0 0 15 0 19 0 912768777 10800529408 619866 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 5 0 0 0
[pid=23599/tid=23615] ppid=23597 vsize=10547392 CPUtime=0.69 cores=1,3,5,7
/proc/23599/task/23615/stat : 23615 (java) S 23597 23599 22299 0 -1 4202560 7010 0 0 0 68 1 0 0 15 0 19 0 912768777 10800529408 619868 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=23599/tid=23613] ppid=23597 vsize=10547392 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23613/stat : 23613 (java) S 23597 23599 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912768777 10800529408 947044 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427215281 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=23599/tid=23614] ppid=23597 vsize=10547392 CPUtime=0.8 cores=1,3,5,7
/proc/23599/task/23614/stat : 23614 (java) S 23597 23599 22299 0 -1 4202560 7848 0 0 0 80 0 0 0 15 0 19 0 912768777 10800529408 947044 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 5 0 0 0
[pid=23599/tid=23615] ppid=23597 vsize=10547392 CPUtime=0.89 cores=1,3,5,7
/proc/23599/task/23615/stat : 23615 (java) S 23597 23599 22299 0 -1 4202560 7039 0 0 0 88 1 0 0 15 0 19 0 912768777 10800529408 947044 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=23599/tid=23616] ppid=23597 vsize=10547392 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23616/stat : 23616 (java) S 23597 23599 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912768777 10800529408 947044 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=23599/tid=23617] ppid=23597 vsize=10547392 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23617/stat : 23617 (java) S 23597 23599 22299 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 912768777 10800529408 947044 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427208192 0 4 0 16800975 18446604464600201216 0 0 -1 5 0 0 0
[pid=23599/tid=23618] ppid=23597 vsize=10547392 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23618/stat : 23618 (java) S 23597 23599 22299 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912768788 10800529408 947044 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427208192 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1730.27
Current children cumulated vsize (KiB) 10547392
[startup+1782.3 s]
/proc/loadavg: 1.97 2.03 2.00 3/552 23763
/proc/meminfo: memFree=16532632/32950928 swapFree=58671692/67111528
[pid=23599] ppid=23597 vsize=10547392 CPUtime=1790.5 cores=1,3,5,7
/proc/23599/stat : 23599 (java) S 23597 23599 22299 0 -1 4202496 957309 0 1 0 178941 109 0 0 18 0 19 0 912768771 10800529408 947107 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23599/statm: 2636848 947107 2257 9 0 2627582 0
[pid=23599/tid=23600] ppid=23597 vsize=10547392 CPUtime=1775.65 cores=1,3,5,7
/proc/23599/task/23600/stat : 23600 (java) R 23597 23599 22299 0 -1 4202560 844692 0 1 0 177478 87 0 0 25 0 19 0 912768772 10800529408 947107 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 46912505695578 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23599/tid=23602] ppid=23597 vsize=10547392 CPUtime=1.23 cores=1,3,5,7
/proc/23599/task/23602/stat : 23602 (java) S 23597 23599 22299 0 -1 4202560 11110 0 0 0 122 1 0 0 16 0 19 0 912768774 10800529408 947107 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 5 0 0 0
[pid=23599/tid=23603] ppid=23597 vsize=10547392 CPUtime=1.06 cores=1,3,5,7
/proc/23599/task/23603/stat : 23603 (java) S 23597 23599 22299 0 -1 4202560 9824 0 0 0 105 1 0 0 15 0 19 0 912768774 10800529408 947107 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=23599/tid=23604] ppid=23597 vsize=10547392 CPUtime=1.05 cores=1,3,5,7
/proc/23599/task/23604/stat : 23604 (java) S 23597 23599 22299 0 -1 4202560 9480 0 0 0 103 2 0 0 15 0 19 0 912768774 10800529408 947107 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=23599/tid=23605] ppid=23597 vsize=10547392 CPUtime=1.33 cores=1,3,5,7
/proc/23599/task/23605/stat : 23605 (java) S 23597 23599 22299 0 -1 4202560 13943 0 0 0 132 1 0 0 15 0 19 0 912768774 10800529408 947107 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=23599/tid=23606] ppid=23597 vsize=10547392 CPUtime=1.16 cores=1,3,5,7
/proc/23599/task/23606/stat : 23606 (java) S 23597 23599 22299 0 -1 4202560 10054 0 0 0 115 1 0 0 15 0 19 0 912768774 10800529408 947107 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 1 0 0 0
[pid=23599/tid=23607] ppid=23597 vsize=10547392 CPUtime=1.34 cores=1,3,5,7
/proc/23599/task/23607/stat : 23607 (java) S 23597 23599 22299 0 -1 4202560 11302 0 0 0 133 1 0 0 16 0 19 0 912768774 10800529408 947107 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 1 0 0 0
[pid=23599/tid=23608] ppid=23597 vsize=10547392 CPUtime=1.29 cores=1,3,5,7
/proc/23599/task/23608/stat : 23608 (java) S 23597 23599 22299 0 -1 4202560 11261 0 0 0 127 2 0 0 16 0 19 0 912768774 10800529408 947107 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 1 0 0 0
[pid=23599/tid=23609] ppid=23597 vsize=10547392 CPUtime=0.96 cores=1,3,5,7
/proc/23599/task/23609/stat : 23609 (java) S 23597 23599 22299 0 -1 4202560 7648 0 0 0 95 1 0 0 15 0 19 0 912768774 10800529408 947107 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 1 0 0 0
[pid=23599/tid=23610] ppid=23597 vsize=10547392 CPUtime=3.6 cores=1,3,5,7
/proc/23599/task/23610/stat : 23610 (java) S 23597 23599 22299 0 -1 4202560 11853 0 0 0 356 4 0 0 15 0 19 0 912768775 10800529408 947107 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427208192 0 0 0 16800975 18446604464600201216 0 0 -1 1 0 0 0
[pid=23599/tid=23611] ppid=23597 vsize=10547392 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23611/stat : 23611 (java) S 23597 23599 22299 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 912768775 10800529408 947107 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=23599/tid=23612] ppid=23597 vsize=10547392 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23612/stat : 23612 (java) S 23597 23599 22299 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912768775 10800529408 947107 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=23599/tid=23613] ppid=23597 vsize=10547392 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23613/stat : 23613 (java) S 23597 23599 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912768777 10800529408 947107 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427215281 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=23599/tid=23614] ppid=23597 vsize=10547392 CPUtime=0.8 cores=1,3,5,7
/proc/23599/task/23614/stat : 23614 (java) S 23597 23599 22299 0 -1 4202560 7848 0 0 0 80 0 0 0 15 0 19 0 912768777 10800529408 947107 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 5 0 0 0
[pid=23599/tid=23615] ppid=23597 vsize=10547392 CPUtime=0.89 cores=1,3,5,7
/proc/23599/task/23615/stat : 23615 (java) S 23597 23599 22299 0 -1 4202560 7039 0 0 0 88 1 0 0 15 0 19 0 912768777 10800529408 947107 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=23599/tid=23616] ppid=23597 vsize=10547392 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23616/stat : 23616 (java) S 23597 23599 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912768777 10800529408 947107 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=23599/tid=23617] ppid=23597 vsize=10547392 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23617/stat : 23617 (java) S 23597 23599 22299 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 912768777 10800529408 947107 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427208192 0 4 0 16800975 18446604464600201216 0 0 -1 5 0 0 0
[pid=23599/tid=23618] ppid=23597 vsize=10547392 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23618/stat : 23618 (java) S 23597 23599 22299 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912768788 10800529408 947107 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427208192 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1790.5
Current children cumulated vsize (KiB) 10547392
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1791.8 s]
/proc/loadavg: 1.97 2.03 2.00 3/552 23763
/proc/meminfo: memFree=16443056/32950928 swapFree=58671692/67111528
[pid=23599] ppid=23597 vsize=10547392 CPUtime=1800.07 cores=1,3,5,7
/proc/23599/stat : 23599 (java) S 23597 23599 22299 0 -1 4202496 957329 0 1 0 179898 109 0 0 18 0 19 0 912768771 10800529408 947124 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23599/statm: 2636848 947124 2257 9 0 2627582 0
[pid=23599/tid=23600] ppid=23597 vsize=10547392 CPUtime=1785.15 cores=1,3,5,7
/proc/23599/task/23600/stat : 23600 (java) R 23597 23599 22299 0 -1 4202560 844693 0 1 0 178428 87 0 0 25 0 19 0 912768772 10800529408 947124 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 46912505597432 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23599/tid=23602] ppid=23597 vsize=10547392 CPUtime=1.24 cores=1,3,5,7
/proc/23599/task/23602/stat : 23602 (java) S 23597 23599 22299 0 -1 4202560 11113 0 0 0 123 1 0 0 16 0 19 0 912768774 10800529408 947124 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 5 0 0 0
[pid=23599/tid=23603] ppid=23597 vsize=10547392 CPUtime=1.06 cores=1,3,5,7
/proc/23599/task/23603/stat : 23603 (java) S 23597 23599 22299 0 -1 4202560 9824 0 0 0 105 1 0 0 15 0 19 0 912768774 10800529408 947124 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=23599/tid=23604] ppid=23597 vsize=10547392 CPUtime=1.05 cores=1,3,5,7
/proc/23599/task/23604/stat : 23604 (java) S 23597 23599 22299 0 -1 4202560 9480 0 0 0 103 2 0 0 15 0 19 0 912768774 10800529408 947124 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=23599/tid=23605] ppid=23597 vsize=10547392 CPUtime=1.33 cores=1,3,5,7
/proc/23599/task/23605/stat : 23605 (java) S 23597 23599 22299 0 -1 4202560 13943 0 0 0 132 1 0 0 15 0 19 0 912768774 10800529408 947124 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=23599/tid=23606] ppid=23597 vsize=10547392 CPUtime=1.18 cores=1,3,5,7
/proc/23599/task/23606/stat : 23606 (java) S 23597 23599 22299 0 -1 4202560 10064 0 0 0 117 1 0 0 16 0 19 0 912768774 10800529408 947124 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 1 0 0 0
[pid=23599/tid=23607] ppid=23597 vsize=10547392 CPUtime=1.34 cores=1,3,5,7
/proc/23599/task/23607/stat : 23607 (java) S 23597 23599 22299 0 -1 4202560 11302 0 0 0 133 1 0 0 16 0 19 0 912768774 10800529408 947124 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 1 0 0 0
[pid=23599/tid=23608] ppid=23597 vsize=10547392 CPUtime=1.3 cores=1,3,5,7
/proc/23599/task/23608/stat : 23608 (java) S 23597 23599 22299 0 -1 4202560 11261 0 0 0 128 2 0 0 16 0 19 0 912768774 10800529408 947124 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=23599/tid=23609] ppid=23597 vsize=10547392 CPUtime=0.98 cores=1,3,5,7
/proc/23599/task/23609/stat : 23609 (java) S 23597 23599 22299 0 -1 4202560 7652 0 0 0 97 1 0 0 16 0 19 0 912768774 10800529408 947124 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=23599/tid=23610] ppid=23597 vsize=10547392 CPUtime=3.6 cores=1,3,5,7
/proc/23599/task/23610/stat : 23610 (java) S 23597 23599 22299 0 -1 4202560 11855 0 0 0 356 4 0 0 15 0 19 0 912768775 10800529408 947124 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427208192 0 0 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=23599/tid=23611] ppid=23597 vsize=10547392 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23611/stat : 23611 (java) S 23597 23599 22299 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 912768775 10800529408 947124 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=23599/tid=23612] ppid=23597 vsize=10547392 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23612/stat : 23612 (java) S 23597 23599 22299 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912768775 10800529408 947124 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=23599/tid=23613] ppid=23597 vsize=10547392 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23613/stat : 23613 (java) S 23597 23599 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912768777 10800529408 947124 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427215281 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=23599/tid=23614] ppid=23597 vsize=10547392 CPUtime=0.8 cores=1,3,5,7
/proc/23599/task/23614/stat : 23614 (java) S 23597 23599 22299 0 -1 4202560 7848 0 0 0 80 0 0 0 15 0 19 0 912768777 10800529408 947124 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 5 0 0 0
[pid=23599/tid=23615] ppid=23597 vsize=10547392 CPUtime=0.89 cores=1,3,5,7
/proc/23599/task/23615/stat : 23615 (java) S 23597 23599 22299 0 -1 4202560 7039 0 0 0 88 1 0 0 15 0 19 0 912768777 10800529408 947124 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=23599/tid=23616] ppid=23597 vsize=10547392 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23616/stat : 23616 (java) S 23597 23599 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912768777 10800529408 947124 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=23599/tid=23617] ppid=23597 vsize=10547392 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23617/stat : 23617 (java) S 23597 23599 22299 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 912768777 10800529408 947124 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427208192 0 4 0 16800975 18446604464600201216 0 0 -1 5 0 0 0
[pid=23599/tid=23618] ppid=23597 vsize=10547392 CPUtime=0 cores=1,3,5,7
/proc/23599/task/23618/stat : 23618 (java) S 23597 23599 22299 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912768788 10800529408 947124 33554432000 1073741824 1073778376 140733205402192 18446744073709551615 256427208192 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10547392
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
############
# WARNING:
# current cumulated CPU time (0 s) is less than in the last sample (1800.23 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (1800.23 s) to the 'lost time'.
[startup+1791.93 s]
/proc/loadavg: 1.97 2.03 2.00 3/552 23763
/proc/meminfo: memFree=16443056/32950928 swapFree=58671692/67111528
[pid=23599] ppid=23597 vsize=0 CPUtime=1800.23 cores=1,3,5,7
/proc/23599/stat : 23599 (java) Z 23597 23599 22299 0 -1 4203548 957369 0 1 0 179907 116 0 0 17 0 2 0 912768771 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23599/statm: 0 0 0 0 0 0 0
[pid=23599/tid=23610] ppid=23597 vsize=0 CPUtime=3.66 cores=1,3,5,7
/proc/23599/task/23610/stat : 23610 (java) R 23597 23599 22299 0 -1 4202564 11855 0 0 0 356 10 0 0 15 0 2 0 912768775 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0
[startup+1792 s]
/proc/loadavg: 1.97 2.03 2.00 3/536 23766
/proc/meminfo: memFree=20221168/32950928 swapFree=58671692/67111528
[pid=23599] ppid=-1 vsize=0 CPUtime=0 cores=
/proc/23599/stat : -- couldn't open stat file --/proc/23599/statm: 0 25 0 1 0 746874165 344059904 1774 33554432000 134512640 135114423 4291977376 18446744073709551615 134549802 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0p8\x98Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
#
############
Solver just ended. Dumping a history of the last processes samples
[startup+1792 s]
/proc/loadavg: 1.97 2.03 2.00 3/536 23766
/proc/meminfo: memFree=20221168/32950928 swapFree=58671692/67111528
[pid=23599] ppid=-1 vsize=0 CPUtime=0 cores=
/proc/23599/stat : -- couldn't open stat file --/proc/23599/statm: 0 25 0 1 0 746874165 344059904 1774 33554432000 134512640 135114423 4291977376 18446744073709551615 134549802 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0p8\x98Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23599 and gives
# childrusage.ru_utime.tv_sec=1799
# childrusage.ru_utime.tv_usec=70499
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=238811
# CPU time returned by wait4() is 1800.31
# while last known CPU time is 0
#
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 1800.23
# lost CPU user time (s): 1799.07
# lost CPU system time (s): 1.16
Real time (s): 1792.02
CPU time (s): 1800.23
CPU user time (s): 1799.07
CPU system time (s): 1.16
CPU usage (%): 100.458
Max. virtual memory (cumulated for all children) (KiB): 10554304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.07
system time used= 1.23881
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 957369
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= 41785
involuntary context switches= 13076
runsolver used 8.92564 second user time and 22.2126 second system time
The end