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-3454189-1307190120/watcher-3454189-1307190120 -o /tmp/evaluation-result-3454189-1307190120/solver-3454189-1307190120 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454189-1307190120.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: 3.44 3.71 3.37 4/474 26730
/proc/meminfo: memFree=30602892/32951124 swapFree=55639044/67111528
[pid=26730] ppid=26728 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/26730/stat : 26730 (java) S 26728 26730 23433 0 -1 4202496 1836 0 1 0 0 0 0 0 25 0 2 0 830609926 10681323520 1539 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562340325 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/26730/statm: 2607745 1551 906 9 0 2598901 0
[pid=26730/tid=26731] ppid=26728 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26731/stat : 26731 (java) R 26728 26730 23433 0 -1 4202560 2308 0 1 0 0 0 0 0 25 0 2 0 830609927 10694979584 3123 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271550231611 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0974101 s]
/proc/loadavg: 3.44 3.71 3.37 4/474 26730
/proc/meminfo: memFree=30602892/32951124 swapFree=55639044/67111528
[pid=26730] ppid=26728 vsize=10539080 CPUtime=0.09 cores=0,2,4,6
/proc/26730/stat : 26730 (java) S 26728 26730 23433 0 -1 4202496 12980 0 1 0 8 1 0 0 25 0 18 0 830609926 10792017920 12643 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26730/statm: 2634770 12643 2093 9 0 2625504 0
[pid=26730/tid=26731] ppid=26728 vsize=10539080 CPUtime=0.08 cores=0,2,4,6
/proc/26730/task/26731/stat : 26731 (java) R 26728 26730 23433 0 -1 4202560 11036 0 1 0 7 1 0 0 18 0 18 0 830609927 10792017920 12644 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 47712588462931 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539080
[startup+0.100618 s]
/proc/loadavg: 3.44 3.71 3.37 4/474 26730
/proc/meminfo: memFree=30602892/32951124 swapFree=55639044/67111528
[pid=26730] ppid=26728 vsize=10539080 CPUtime=0.1 cores=0,2,4,6
/proc/26730/stat : 26730 (java) S 26728 26730 23433 0 -1 4202496 13019 0 1 0 9 1 0 0 25 0 18 0 830609926 10792017920 12682 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26730/statm: 2634770 12683 2093 9 0 2625504 0
[pid=26730/tid=26731] ppid=26728 vsize=10539080 CPUtime=0.08 cores=0,2,4,6
/proc/26730/task/26731/stat : 26731 (java) R 26728 26730 23433 0 -1 4202560 11075 0 1 0 7 1 0 0 18 0 18 0 830609927 10792017920 12683 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 47712584825380 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539080
[startup+0.304572 s]
/proc/loadavg: 3.44 3.71 3.37 4/474 26730
/proc/meminfo: memFree=30602892/32951124 swapFree=55639044/67111528
[pid=26730] ppid=26728 vsize=10541452 CPUtime=0.56 cores=0,2,4,6
/proc/26730/stat : 26730 (java) S 26728 26730 23433 0 -1 4202496 19247 0 1 0 54 2 0 0 25 0 18 0 830609926 10794446848 17942 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26730/statm: 2635363 17942 2201 9 0 2626097 0
[pid=26730/tid=26731] ppid=26728 vsize=10541452 CPUtime=0.28 cores=0,2,4,6
/proc/26730/task/26731/stat : 26731 (java) R 26728 26730 23433 0 -1 4202560 14606 0 1 0 26 2 0 0 18 0 18 0 830609927 10794446848 17942 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 46912505508803 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 10541452
[startup+0.700474 s]
/proc/loadavg: 3.44 3.71 3.37 4/474 26730
/proc/meminfo: memFree=30602892/32951124 swapFree=55639044/67111528
[pid=26730] ppid=26728 vsize=10541900 CPUtime=1.26 cores=0,2,4,6
/proc/26730/stat : 26730 (java) S 26728 26730 23433 0 -1 4202496 48070 0 1 0 119 7 0 0 25 0 18 0 830609926 10794905600 44611 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26730/statm: 2635475 44611 2220 9 0 2626209 0
[pid=26730/tid=26731] ppid=26728 vsize=10541900 CPUtime=0.67 cores=0,2,4,6
/proc/26730/task/26731/stat : 26731 (java) R 26728 26730 23433 0 -1 4202560 41117 0 1 0 62 5 0 0 18 0 18 0 830609927 10794905600 44611 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 46912505664620 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 10541900
[startup+1.50135 s]
/proc/loadavg: 3.44 3.71 3.37 4/492 26748
/proc/meminfo: memFree=30337956/32951124 swapFree=55639044/67111528
[pid=26730] ppid=26728 vsize=10541452 CPUtime=2.12 cores=0,2,4,6
/proc/26730/stat : 26730 (java) S 26728 26730 23433 0 -1 4202496 117429 0 1 0 198 14 0 0 25 0 18 0 830609926 10794446848 113308 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26730/statm: 2635363 113308 2220 9 0 2626097 0
[pid=26730/tid=26731] ppid=26728 vsize=10541452 CPUtime=1.47 cores=0,2,4,6
/proc/26730/task/26731/stat : 26731 (java) R 26728 26730 23433 0 -1 4202560 109887 0 1 0 135 12 0 0 18 0 18 0 830609927 10794446848 113308 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 46912505710454 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=26730/tid=26733] ppid=26728 vsize=10541452 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26733/stat : 26733 (java) S 26728 26730 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830609928 10794446848 113308 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 6 0 0 0
[pid=26730/tid=26734] ppid=26728 vsize=10541452 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26734/stat : 26734 (java) S 26728 26730 23433 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830609928 10794446848 113308 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 6 0 0 0
[pid=26730/tid=26735] ppid=26728 vsize=10541452 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26735/stat : 26735 (java) S 26728 26730 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830609928 10794446848 113308 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 6 0 0 0
[pid=26730/tid=26736] ppid=26728 vsize=10541452 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26736/stat : 26736 (java) S 26728 26730 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830609928 10794446848 113308 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 6 0 0 0
[pid=26730/tid=26737] ppid=26728 vsize=10541452 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26737/stat : 26737 (java) S 26728 26730 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830609928 10794446848 113308 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 6 0 0 0
[pid=26730/tid=26738] ppid=26728 vsize=10541452 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26738/stat : 26738 (java) S 26728 26730 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830609928 10794446848 113308 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 6 0 0 0
[pid=26730/tid=26739] ppid=26728 vsize=10541452 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26739/stat : 26739 (java) S 26728 26730 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830609928 10794446848 113308 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 6 0 0 0
[pid=26730/tid=26740] ppid=26728 vsize=10541452 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26740/stat : 26740 (java) S 26728 26730 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830609928 10794446848 113308 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 6 0 0 0
[pid=26730/tid=26741] ppid=26728 vsize=10541452 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26741/stat : 26741 (java) S 26728 26730 23433 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 830609929 10794446848 113308 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562354176 0 0 0 16800975 18446604446691246464 0 0 -1 6 0 0 0
[pid=26730/tid=26742] ppid=26728 vsize=10541452 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26742/stat : 26742 (java) S 26728 26730 23433 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 830609930 10794446848 113308 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 2 0 0 0
[pid=26730/tid=26743] ppid=26728 vsize=10541452 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26743/stat : 26743 (java) S 26728 26730 23433 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 830609930 10794446848 113308 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 2 0 0 0
[pid=26730/tid=26744] ppid=26728 vsize=10541452 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26744/stat : 26744 (java) S 26728 26730 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830609932 10794446848 113308 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562361265 0 4 0 16800975 18446604446691246464 0 0 -1 2 0 0 0
[pid=26730/tid=26745] ppid=26728 vsize=10541452 CPUtime=0.34 cores=0,2,4,6
/proc/26730/task/26745/stat : 26745 (java) S 26728 26730 23433 0 -1 4202560 3809 0 0 0 34 0 0 0 15 0 18 0 830609932 10794446848 113308 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 4 0 0 0
[pid=26730/tid=26746] ppid=26728 vsize=10541452 CPUtime=0.28 cores=0,2,4,6
/proc/26730/task/26746/stat : 26746 (java) S 26728 26730 23433 0 -1 4202560 2584 0 0 0 28 0 0 0 15 0 18 0 830609932 10794446848 113308 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 0 0 0 0
[pid=26730/tid=26747] ppid=26728 vsize=10541452 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26747/stat : 26747 (java) S 26728 26730 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830609932 10794446848 113308 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 2 0 0 0
[pid=26730/tid=26748] ppid=26728 vsize=10541452 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26748/stat : 26748 (java) S 26728 26730 23433 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 830609932 10794446848 113308 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562354176 0 4 0 16800975 18446604446691246464 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.12
Current children cumulated vsize (KiB) 10541452
[startup+3.10104 s]
/proc/loadavg: 3.44 3.71 3.37 6/496 26752
/proc/meminfo: memFree=30121664/32951124 swapFree=55639044/67111528
[pid=26730] ppid=26728 vsize=10546312 CPUtime=5.76 cores=0,2,4,6
/proc/26730/stat : 26730 (java) S 26728 26730 23433 0 -1 4202496 133927 0 1 0 560 16 0 0 25 0 22 0 830609926 10799423488 128921 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26730/statm: 2636578 128922 2229 9 0 2627312 0
[pid=26730/tid=26731] ppid=26728 vsize=10546312 CPUtime=1.52 cores=0,2,4,6
/proc/26730/task/26731/stat : 26731 (java) S 26728 26730 23433 0 -1 4202560 112744 0 1 0 139 13 0 0 15 0 22 0 830609927 10799423488 128922 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562354176 0 4 0 16800975 18446604446691246464 0 0 -1 6 0 0 0
[pid=26730/tid=26733] ppid=26728 vsize=10546312 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26733/stat : 26733 (java) S 26728 26730 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830609928 10799423488 128923 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 6 0 0 0
[pid=26730/tid=26734] ppid=26728 vsize=10546312 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26734/stat : 26734 (java) S 26728 26730 23433 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830609928 10799423488 128923 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 6 0 0 0
[pid=26730/tid=26735] ppid=26728 vsize=10546312 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26735/stat : 26735 (java) S 26728 26730 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830609928 10799423488 128924 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 6 0 0 0
[pid=26730/tid=26736] ppid=26728 vsize=10546312 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26736/stat : 26736 (java) S 26728 26730 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830609928 10799423488 128924 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 6 0 0 0
[pid=26730/tid=26737] ppid=26728 vsize=10546312 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26737/stat : 26737 (java) S 26728 26730 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830609928 10799423488 128924 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 6 0 0 0
[pid=26730/tid=26738] ppid=26728 vsize=10546312 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26738/stat : 26738 (java) S 26728 26730 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830609928 10799423488 128925 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 6 0 0 0
[pid=26730/tid=26739] ppid=26728 vsize=10546312 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26739/stat : 26739 (java) S 26728 26730 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830609928 10799423488 128925 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 6 0 0 0
[pid=26730/tid=26740] ppid=26728 vsize=10546312 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26740/stat : 26740 (java) S 26728 26730 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830609928 10799423488 128926 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 6 0 0 0
[pid=26730/tid=26741] ppid=26728 vsize=10546312 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26741/stat : 26741 (java) S 26728 26730 23433 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 830609929 10799423488 128926 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562354176 0 0 0 16800975 18446604446691246464 0 0 -1 6 0 0 0
[pid=26730/tid=26742] ppid=26728 vsize=10546312 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26742/stat : 26742 (java) S 26728 26730 23433 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830609930 10799423488 128926 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 2 0 0 0
[pid=26730/tid=26743] ppid=26728 vsize=10546312 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26743/stat : 26743 (java) S 26728 26730 23433 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830609930 10799423488 128927 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 2 0 0 0
[pid=26730/tid=26744] ppid=26728 vsize=10546312 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26744/stat : 26744 (java) S 26728 26730 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830609932 10799423488 128927 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562361265 0 4 0 16800975 18446604446691246464 0 0 -1 2 0 0 0
[pid=26730/tid=26745] ppid=26728 vsize=10546312 CPUtime=0.54 cores=0,2,4,6
/proc/26730/task/26745/stat : 26745 (java) S 26728 26730 23433 0 -1 4202560 4179 0 0 0 53 1 0 0 15 0 22 0 830609932 10799423488 128928 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 4 0 0 0
[pid=26730/tid=26746] ppid=26728 vsize=10546312 CPUtime=0.59 cores=0,2,4,6
/proc/26730/task/26746/stat : 26746 (java) S 26728 26730 23433 0 -1 4202560 3378 0 0 0 59 0 0 0 16 0 22 0 830609932 10799423488 128928 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 0 0 0 0
[pid=26730/tid=26747] ppid=26728 vsize=10546312 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26747/stat : 26747 (java) S 26728 26730 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830609932 10799423488 128928 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 2 0 0 0
[pid=26730/tid=26748] ppid=26728 vsize=10546312 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26748/stat : 26748 (java) S 26728 26730 23433 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830609932 10799423488 128929 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562354176 0 4 0 16800975 18446604446691246464 0 0 -1 2 0 0 0
[pid=26730/tid=26749] ppid=26728 vsize=10546312 CPUtime=1.53 cores=0,2,4,6
/proc/26730/task/26749/stat : 26749 (java) R 26728 26730 23433 0 -1 4202560 898 0 0 0 153 0 0 0 25 0 22 0 830610081 10799423488 128929 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 46912505857071 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=26730/tid=26750] ppid=26728 vsize=10546312 CPUtime=1.53 cores=0,2,4,6
/proc/26730/task/26750/stat : 26750 (java) R 26728 26730 23433 0 -1 4202560 11572 0 0 0 153 0 0 0 21 0 22 0 830610081 10799423488 128930 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 46912505577878 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26730/tid=26751] ppid=26728 vsize=10546312 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26751/stat : 26751 (java) S 26728 26730 23433 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830610087 10799423488 128930 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562354176 0 4 0 16800975 18446604446691246464 0 0 -1 6 0 0 0
[pid=26730/tid=26752] ppid=26728 vsize=10546312 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26752/stat : 26752 (java) S 26728 26730 23433 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830610087 10799423488 128930 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562354176 0 4 0 16800975 18446604446691246464 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.76
Current children cumulated vsize (KiB) 10546312
[startup+6.30152 s]
/proc/loadavg: 3.48 3.71 3.37 6/496 26752
/proc/meminfo: memFree=30079380/32951124 swapFree=55639044/67111528
[pid=26730] ppid=26728 vsize=10546312 CPUtime=12.28 cores=0,2,4,6
/proc/26730/stat : 26730 (java) S 26728 26730 23433 0 -1 4202496 137305 0 1 0 1212 16 0 0 25 0 22 0 830609926 10799423488 132057 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26730/statm: 2636578 132057 2230 9 0 2627312 0
[pid=26730/tid=26731] ppid=26728 vsize=10546312 CPUtime=1.52 cores=0,2,4,6
/proc/26730/task/26731/stat : 26731 (java) S 26728 26730 23433 0 -1 4202560 112746 0 1 0 139 13 0 0 15 0 22 0 830609927 10799423488 132057 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562354176 0 4 0 16800975 18446604446691246464 0 0 -1 6 0 0 0
[pid=26730/tid=26733] ppid=26728 vsize=10546312 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26733/stat : 26733 (java) S 26728 26730 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830609928 10799423488 132057 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 6 0 0 0
[pid=26730/tid=26734] ppid=26728 vsize=10546312 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26734/stat : 26734 (java) S 26728 26730 23433 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830609928 10799423488 132057 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 6 0 0 0
[pid=26730/tid=26735] ppid=26728 vsize=10546312 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26735/stat : 26735 (java) S 26728 26730 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830609928 10799423488 132057 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 6 0 0 0
[pid=26730/tid=26736] ppid=26728 vsize=10546312 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26736/stat : 26736 (java) S 26728 26730 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830609928 10799423488 132057 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 6 0 0 0
[pid=26730/tid=26737] ppid=26728 vsize=10546312 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26737/stat : 26737 (java) S 26728 26730 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830609928 10799423488 132057 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 6 0 0 0
[pid=26730/tid=26738] ppid=26728 vsize=10546312 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26738/stat : 26738 (java) S 26728 26730 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830609928 10799423488 132057 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 6 0 0 0
[pid=26730/tid=26739] ppid=26728 vsize=10546312 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26739/stat : 26739 (java) S 26728 26730 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830609928 10799423488 132057 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 6 0 0 0
[pid=26730/tid=26740] ppid=26728 vsize=10546312 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26740/stat : 26740 (java) S 26728 26730 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830609928 10799423488 132057 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 6 0 0 0
[pid=26730/tid=26741] ppid=26728 vsize=10546312 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26741/stat : 26741 (java) S 26728 26730 23433 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 830609929 10799423488 132057 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562354176 0 0 0 16800975 18446604446691246464 0 0 -1 6 0 0 0
[pid=26730/tid=26742] ppid=26728 vsize=10546312 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26742/stat : 26742 (java) S 26728 26730 23433 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830609930 10799423488 132057 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 2 0 0 0
[pid=26730/tid=26743] ppid=26728 vsize=10546312 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26743/stat : 26743 (java) S 26728 26730 23433 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830609930 10799423488 132057 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 2 0 0 0
[pid=26730/tid=26744] ppid=26728 vsize=10546312 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26744/stat : 26744 (java) S 26728 26730 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830609932 10799423488 132057 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562361265 0 4 0 16800975 18446604446691246464 0 0 -1 2 0 0 0
################
# More data... #
################
[pid=26730/tid=26750] ppid=26728 vsize=10545532 CPUtime=760.09 cores=0,2,4,6
/proc/26730/task/26750/stat : 26750 (java) R 26728 26730 23433 0 -1 4202560 87324 0 0 0 75999 10 0 0 25 0 22 0 830610081 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 46912505927763 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26730/tid=26751] ppid=26728 vsize=10545532 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26751/stat : 26751 (java) S 26728 26730 23433 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830610087 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562354176 0 4 0 16800975 18446604446691246464 0 0 -1 6 0 0 0
[pid=26730/tid=26752] ppid=26728 vsize=10545532 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26752/stat : 26752 (java) S 26728 26730 23433 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830610087 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562354176 0 4 0 16800975 18446604446691246464 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1524.3
Current children cumulated vsize (KiB) 10545532
[startup+822.301 s]
/proc/loadavg: 4.09 4.04 3.75 5/496 26824
/proc/meminfo: memFree=26098260/32951124 swapFree=55639044/67111528
[pid=26730] ppid=26728 vsize=10545532 CPUtime=1644.27 cores=0,2,4,6
/proc/26730/stat : 26730 (java) S 26728 26730 23433 0 -1 4202496 284684 0 1 0 164389 38 0 0 25 0 22 0 830609926 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26730/statm: 2636383 278639 2262 9 0 2627117 0
[pid=26730/tid=26731] ppid=26728 vsize=10545532 CPUtime=1.52 cores=0,2,4,6
/proc/26730/task/26731/stat : 26731 (java) S 26728 26730 23433 0 -1 4202560 112753 0 1 0 139 13 0 0 15 0 22 0 830609927 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562354176 0 4 0 16800975 18446604446691246464 0 0 -1 2 0 0 0
[pid=26730/tid=26733] ppid=26728 vsize=10545532 CPUtime=0.02 cores=0,2,4,6
/proc/26730/task/26733/stat : 26733 (java) S 26728 26730 23433 0 -1 4202560 1998 0 0 0 2 0 0 0 16 0 22 0 830609928 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 6 0 0 0
[pid=26730/tid=26734] ppid=26728 vsize=10545532 CPUtime=0.01 cores=0,2,4,6
/proc/26730/task/26734/stat : 26734 (java) S 26728 26730 23433 0 -1 4202560 5465 0 0 0 1 0 0 0 16 0 22 0 830609928 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 4 0 0 0
[pid=26730/tid=26735] ppid=26728 vsize=10545532 CPUtime=0.01 cores=0,2,4,6
/proc/26730/task/26735/stat : 26735 (java) S 26728 26730 23433 0 -1 4202560 1089 0 0 0 1 0 0 0 18 0 22 0 830609928 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 6 0 0 0
[pid=26730/tid=26736] ppid=26728 vsize=10545532 CPUtime=0.04 cores=0,2,4,6
/proc/26730/task/26736/stat : 26736 (java) S 26728 26730 23433 0 -1 4202560 4221 0 0 0 4 0 0 0 18 0 22 0 830609928 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 4 0 0 0
[pid=26730/tid=26737] ppid=26728 vsize=10545532 CPUtime=0.09 cores=0,2,4,6
/proc/26730/task/26737/stat : 26737 (java) S 26728 26730 23433 0 -1 4202560 6639 0 0 0 9 0 0 0 18 0 22 0 830609928 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 0 0 0 0
[pid=26730/tid=26738] ppid=26728 vsize=10545532 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26738/stat : 26738 (java) S 26728 26730 23433 0 -1 4202560 197 0 0 0 0 0 0 0 15 0 22 0 830609928 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 0 0 0 0
[pid=26730/tid=26739] ppid=26728 vsize=10545532 CPUtime=0.09 cores=0,2,4,6
/proc/26730/task/26739/stat : 26739 (java) S 26728 26730 23433 0 -1 4202560 7349 0 0 0 9 0 0 0 18 0 22 0 830609928 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 0 0 0 0
[pid=26730/tid=26740] ppid=26728 vsize=10545532 CPUtime=0.06 cores=0,2,4,6
/proc/26730/task/26740/stat : 26740 (java) S 26728 26730 23433 0 -1 4202560 6735 0 0 0 5 1 0 0 18 0 22 0 830609928 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 4 0 0 0
[pid=26730/tid=26741] ppid=26728 vsize=10545532 CPUtime=0.48 cores=0,2,4,6
/proc/26730/task/26741/stat : 26741 (java) S 26728 26730 23433 0 -1 4202560 34674 0 0 0 45 3 0 0 15 0 22 0 830609929 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562354176 0 0 0 16800975 18446604446691246464 0 0 -1 2 0 0 0
[pid=26730/tid=26742] ppid=26728 vsize=10545532 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26742/stat : 26742 (java) S 26728 26730 23433 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830609930 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 4 0 0 0
[pid=26730/tid=26743] ppid=26728 vsize=10545532 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26743/stat : 26743 (java) S 26728 26730 23433 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830609930 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 2 0 0 0
[pid=26730/tid=26744] ppid=26728 vsize=10545532 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26744/stat : 26744 (java) S 26728 26730 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830609932 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562361265 0 4 0 16800975 18446604446691246464 0 0 -1 2 0 0 0
[pid=26730/tid=26745] ppid=26728 vsize=10545532 CPUtime=0.95 cores=0,2,4,6
/proc/26730/task/26745/stat : 26745 (java) S 26728 26730 23433 0 -1 4202560 4851 0 0 0 94 1 0 0 15 0 22 0 830609932 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 4 0 0 0
[pid=26730/tid=26746] ppid=26728 vsize=10545532 CPUtime=0.8 cores=0,2,4,6
/proc/26730/task/26746/stat : 26746 (java) S 26728 26730 23433 0 -1 4202560 3509 0 0 0 80 0 0 0 16 0 22 0 830609932 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 0 0 0 0
[pid=26730/tid=26747] ppid=26728 vsize=10545532 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26747/stat : 26747 (java) S 26728 26730 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830609932 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 2 0 0 0
[pid=26730/tid=26748] ppid=26728 vsize=10545532 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26748/stat : 26748 (java) S 26728 26730 23433 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 22 0 830609932 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562354176 0 4 0 16800975 18446604446691246464 0 0 -1 0 0 0 0
[pid=26730/tid=26749] ppid=26728 vsize=10545532 CPUtime=819.99 cores=0,2,4,6
/proc/26730/task/26749/stat : 26749 (java) R 26728 26730 23433 0 -1 4202560 6678 0 0 0 81995 4 0 0 25 0 22 0 830610081 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 46912505918894 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26730/tid=26750] ppid=26728 vsize=10545532 CPUtime=820.07 cores=0,2,4,6
/proc/26730/task/26750/stat : 26750 (java) R 26728 26730 23433 0 -1 4202560 87324 0 0 0 81997 10 0 0 25 0 22 0 830610081 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 46912505927777 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26730/tid=26751] ppid=26728 vsize=10545532 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26751/stat : 26751 (java) S 26728 26730 23433 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830610087 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562354176 0 4 0 16800975 18446604446691246464 0 0 -1 6 0 0 0
[pid=26730/tid=26752] ppid=26728 vsize=10545532 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26752/stat : 26752 (java) S 26728 26730 23433 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830610087 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562354176 0 4 0 16800975 18446604446691246464 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1644.27
Current children cumulated vsize (KiB) 10545532
[startup+882.301 s]
/proc/loadavg: 4.07 4.04 3.77 5/496 26826
/proc/meminfo: memFree=26088428/32951124 swapFree=55639044/67111528
[pid=26730] ppid=26728 vsize=10545532 CPUtime=1764.27 cores=0,2,4,6
/proc/26730/stat : 26730 (java) S 26728 26730 23433 0 -1 4202496 284688 0 1 0 176389 38 0 0 25 0 22 0 830609926 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26730/statm: 2636383 278639 2262 9 0 2627117 0
[pid=26730/tid=26731] ppid=26728 vsize=10545532 CPUtime=1.52 cores=0,2,4,6
/proc/26730/task/26731/stat : 26731 (java) S 26728 26730 23433 0 -1 4202560 112753 0 1 0 139 13 0 0 15 0 22 0 830609927 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562354176 0 4 0 16800975 18446604446691246464 0 0 -1 2 0 0 0
[pid=26730/tid=26733] ppid=26728 vsize=10545532 CPUtime=0.02 cores=0,2,4,6
/proc/26730/task/26733/stat : 26733 (java) S 26728 26730 23433 0 -1 4202560 1998 0 0 0 2 0 0 0 16 0 22 0 830609928 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 6 0 0 0
[pid=26730/tid=26734] ppid=26728 vsize=10545532 CPUtime=0.01 cores=0,2,4,6
/proc/26730/task/26734/stat : 26734 (java) S 26728 26730 23433 0 -1 4202560 5465 0 0 0 1 0 0 0 16 0 22 0 830609928 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 4 0 0 0
[pid=26730/tid=26735] ppid=26728 vsize=10545532 CPUtime=0.01 cores=0,2,4,6
/proc/26730/task/26735/stat : 26735 (java) S 26728 26730 23433 0 -1 4202560 1089 0 0 0 1 0 0 0 18 0 22 0 830609928 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 6 0 0 0
[pid=26730/tid=26736] ppid=26728 vsize=10545532 CPUtime=0.04 cores=0,2,4,6
/proc/26730/task/26736/stat : 26736 (java) S 26728 26730 23433 0 -1 4202560 4221 0 0 0 4 0 0 0 18 0 22 0 830609928 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 4 0 0 0
[pid=26730/tid=26737] ppid=26728 vsize=10545532 CPUtime=0.09 cores=0,2,4,6
/proc/26730/task/26737/stat : 26737 (java) S 26728 26730 23433 0 -1 4202560 6639 0 0 0 9 0 0 0 18 0 22 0 830609928 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 0 0 0 0
[pid=26730/tid=26738] ppid=26728 vsize=10545532 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26738/stat : 26738 (java) S 26728 26730 23433 0 -1 4202560 197 0 0 0 0 0 0 0 15 0 22 0 830609928 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 0 0 0 0
[pid=26730/tid=26739] ppid=26728 vsize=10545532 CPUtime=0.09 cores=0,2,4,6
/proc/26730/task/26739/stat : 26739 (java) S 26728 26730 23433 0 -1 4202560 7349 0 0 0 9 0 0 0 18 0 22 0 830609928 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 0 0 0 0
[pid=26730/tid=26740] ppid=26728 vsize=10545532 CPUtime=0.06 cores=0,2,4,6
/proc/26730/task/26740/stat : 26740 (java) S 26728 26730 23433 0 -1 4202560 6735 0 0 0 5 1 0 0 18 0 22 0 830609928 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 4 0 0 0
[pid=26730/tid=26741] ppid=26728 vsize=10545532 CPUtime=0.48 cores=0,2,4,6
/proc/26730/task/26741/stat : 26741 (java) S 26728 26730 23433 0 -1 4202560 34674 0 0 0 45 3 0 0 15 0 22 0 830609929 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562354176 0 0 0 16800975 18446604446691246464 0 0 -1 2 0 0 0
[pid=26730/tid=26742] ppid=26728 vsize=10545532 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26742/stat : 26742 (java) S 26728 26730 23433 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830609930 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 4 0 0 0
[pid=26730/tid=26743] ppid=26728 vsize=10545532 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26743/stat : 26743 (java) S 26728 26730 23433 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830609930 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 2 0 0 0
[pid=26730/tid=26744] ppid=26728 vsize=10545532 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26744/stat : 26744 (java) S 26728 26730 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830609932 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562361265 0 4 0 16800975 18446604446691246464 0 0 -1 2 0 0 0
[pid=26730/tid=26745] ppid=26728 vsize=10545532 CPUtime=0.95 cores=0,2,4,6
/proc/26730/task/26745/stat : 26745 (java) S 26728 26730 23433 0 -1 4202560 4851 0 0 0 94 1 0 0 15 0 22 0 830609932 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 4 0 0 0
[pid=26730/tid=26746] ppid=26728 vsize=10545532 CPUtime=0.8 cores=0,2,4,6
/proc/26730/task/26746/stat : 26746 (java) S 26728 26730 23433 0 -1 4202560 3509 0 0 0 80 0 0 0 16 0 22 0 830609932 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 0 0 0 0
[pid=26730/tid=26747] ppid=26728 vsize=10545532 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26747/stat : 26747 (java) S 26728 26730 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830609932 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 2 0 0 0
[pid=26730/tid=26748] ppid=26728 vsize=10545532 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26748/stat : 26748 (java) S 26728 26730 23433 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 830609932 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562354176 0 4 0 16800975 18446604446691246464 0 0 -1 0 0 0 0
[pid=26730/tid=26749] ppid=26728 vsize=10545532 CPUtime=880 cores=0,2,4,6
/proc/26730/task/26749/stat : 26749 (java) R 26728 26730 23433 0 -1 4202560 6678 0 0 0 87996 4 0 0 25 0 22 0 830610081 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 46912505751977 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26730/tid=26750] ppid=26728 vsize=10545532 CPUtime=880.07 cores=0,2,4,6
/proc/26730/task/26750/stat : 26750 (java) R 26728 26730 23433 0 -1 4202560 87324 0 0 0 87997 10 0 0 25 0 22 0 830610081 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 46912505955495 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26730/tid=26751] ppid=26728 vsize=10545532 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26751/stat : 26751 (java) S 26728 26730 23433 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830610087 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562354176 0 4 0 16800975 18446604446691246464 0 0 -1 6 0 0 0
[pid=26730/tid=26752] ppid=26728 vsize=10545532 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26752/stat : 26752 (java) S 26728 26730 23433 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830610087 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562354176 0 4 0 16800975 18446604446691246464 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1764.27
Current children cumulated vsize (KiB) 10545532
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.201 s]
/proc/loadavg: 4.05 4.04 3.77 5/496 26827
/proc/meminfo: memFree=26086432/32951124 swapFree=55639044/67111528
[pid=26730] ppid=26728 vsize=10545532 CPUtime=1800.1 cores=0,2,4,6
/proc/26730/stat : 26730 (java) S 26728 26730 23433 0 -1 4202496 284690 0 1 0 179972 38 0 0 25 0 22 0 830609926 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26730/statm: 2636383 278639 2262 9 0 2627117 0
[pid=26730/tid=26731] ppid=26728 vsize=10545532 CPUtime=1.52 cores=0,2,4,6
/proc/26730/task/26731/stat : 26731 (java) S 26728 26730 23433 0 -1 4202560 112753 0 1 0 139 13 0 0 15 0 22 0 830609927 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562354176 0 4 0 16800975 18446604446691246464 0 0 -1 2 0 0 0
[pid=26730/tid=26733] ppid=26728 vsize=10545532 CPUtime=0.02 cores=0,2,4,6
/proc/26730/task/26733/stat : 26733 (java) S 26728 26730 23433 0 -1 4202560 1998 0 0 0 2 0 0 0 16 0 22 0 830609928 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 6 0 0 0
[pid=26730/tid=26734] ppid=26728 vsize=10545532 CPUtime=0.01 cores=0,2,4,6
/proc/26730/task/26734/stat : 26734 (java) S 26728 26730 23433 0 -1 4202560 5465 0 0 0 1 0 0 0 16 0 22 0 830609928 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 4 0 0 0
[pid=26730/tid=26735] ppid=26728 vsize=10545532 CPUtime=0.01 cores=0,2,4,6
/proc/26730/task/26735/stat : 26735 (java) S 26728 26730 23433 0 -1 4202560 1089 0 0 0 1 0 0 0 18 0 22 0 830609928 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 6 0 0 0
[pid=26730/tid=26736] ppid=26728 vsize=10545532 CPUtime=0.04 cores=0,2,4,6
/proc/26730/task/26736/stat : 26736 (java) S 26728 26730 23433 0 -1 4202560 4221 0 0 0 4 0 0 0 18 0 22 0 830609928 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 4 0 0 0
[pid=26730/tid=26737] ppid=26728 vsize=10545532 CPUtime=0.09 cores=0,2,4,6
/proc/26730/task/26737/stat : 26737 (java) S 26728 26730 23433 0 -1 4202560 6639 0 0 0 9 0 0 0 18 0 22 0 830609928 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 0 0 0 0
[pid=26730/tid=26738] ppid=26728 vsize=10545532 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26738/stat : 26738 (java) S 26728 26730 23433 0 -1 4202560 197 0 0 0 0 0 0 0 15 0 22 0 830609928 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 0 0 0 0
[pid=26730/tid=26739] ppid=26728 vsize=10545532 CPUtime=0.09 cores=0,2,4,6
/proc/26730/task/26739/stat : 26739 (java) S 26728 26730 23433 0 -1 4202560 7349 0 0 0 9 0 0 0 18 0 22 0 830609928 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 0 0 0 0
[pid=26730/tid=26740] ppid=26728 vsize=10545532 CPUtime=0.06 cores=0,2,4,6
/proc/26730/task/26740/stat : 26740 (java) S 26728 26730 23433 0 -1 4202560 6735 0 0 0 5 1 0 0 18 0 22 0 830609928 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 4 0 0 0
[pid=26730/tid=26741] ppid=26728 vsize=10545532 CPUtime=0.48 cores=0,2,4,6
/proc/26730/task/26741/stat : 26741 (java) S 26728 26730 23433 0 -1 4202560 34674 0 0 0 45 3 0 0 15 0 22 0 830609929 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562354176 0 0 0 16800975 18446604446691246464 0 0 -1 2 0 0 0
[pid=26730/tid=26742] ppid=26728 vsize=10545532 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26742/stat : 26742 (java) S 26728 26730 23433 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830609930 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 4 0 0 0
[pid=26730/tid=26743] ppid=26728 vsize=10545532 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26743/stat : 26743 (java) S 26728 26730 23433 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830609930 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 2 0 0 0
[pid=26730/tid=26744] ppid=26728 vsize=10545532 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26744/stat : 26744 (java) S 26728 26730 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830609932 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562361265 0 4 0 16800975 18446604446691246464 0 0 -1 2 0 0 0
[pid=26730/tid=26745] ppid=26728 vsize=10545532 CPUtime=0.95 cores=0,2,4,6
/proc/26730/task/26745/stat : 26745 (java) S 26728 26730 23433 0 -1 4202560 4851 0 0 0 94 1 0 0 15 0 22 0 830609932 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 4 0 0 0
[pid=26730/tid=26746] ppid=26728 vsize=10545532 CPUtime=0.8 cores=0,2,4,6
/proc/26730/task/26746/stat : 26746 (java) S 26728 26730 23433 0 -1 4202560 3509 0 0 0 80 0 0 0 16 0 22 0 830609932 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 0 0 0 0
[pid=26730/tid=26747] ppid=26728 vsize=10545532 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26747/stat : 26747 (java) S 26728 26730 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830609932 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562353561 0 4 0 16800975 18446604446691246464 0 0 -1 2 0 0 0
[pid=26730/tid=26748] ppid=26728 vsize=10545532 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26748/stat : 26748 (java) S 26728 26730 23433 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830609932 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562354176 0 4 0 16800975 18446604446691246464 0 0 -1 0 0 0 0
[pid=26730/tid=26749] ppid=26728 vsize=10545532 CPUtime=897.91 cores=0,2,4,6
/proc/26730/task/26749/stat : 26749 (java) R 26728 26730 23433 0 -1 4202560 6678 0 0 0 89787 4 0 0 25 0 22 0 830610081 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 46912505857014 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26730/tid=26750] ppid=26728 vsize=10545532 CPUtime=897.99 cores=0,2,4,6
/proc/26730/task/26750/stat : 26750 (java) R 26728 26730 23433 0 -1 4202560 87324 0 0 0 89789 10 0 0 25 0 22 0 830610081 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 46912505955151 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26730/tid=26751] ppid=26728 vsize=10545532 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26751/stat : 26751 (java) S 26728 26730 23433 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830610087 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562354176 0 4 0 16800975 18446604446691246464 0 0 -1 6 0 0 0
[pid=26730/tid=26752] ppid=26728 vsize=10545532 CPUtime=0 cores=0,2,4,6
/proc/26730/task/26752/stat : 26752 (java) S 26728 26730 23433 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830610087 10798624768 278639 33554432000 1073741824 1073778376 140735219110576 18446744073709551615 271562354176 0 4 0 16800975 18446604446691246464 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 10545532
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 900.275
CPU time (s): 1800.19
CPU user time (s): 1799.76
CPU system time (s): 0.428934
CPU usage (%): 199.96
Max. virtual memory (cumulated for all children) (KiB): 10547660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.76
system time used= 0.428934
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284726
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= 20622
involuntary context switches= 15470
runsolver used 4.43433 second user time and 9.49956 second system time
The end