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-3456661-1307215866/watcher-3456661-1307215866 -o /tmp/evaluation-result-3456661-1307215866/solver-3456661-1307215866 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456661-1307215866.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: 0.00 0.00 0.00 2/516 4796
/proc/meminfo: memFree=21388180/32951124 swapFree=58800704/67111528
[pid=4796] ppid=4794 vsize=26088 CPUtime=0 cores=0,2,4,6
/proc/4796/stat : 4796 (java) S 4794 4796 4768 0 -1 4202496 1167 0 0 0 0 0 0 0 23 0 2 0 814002101 26714112 896 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107253733 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/4796/statm: 6522 896 682 9 0 381 0
[pid=4796/tid=4797] ppid=4794 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4797/stat : 4797 (java) R 4794 4796 4768 0 -1 4202560 5356 0 1 0 0 0 0 0 25 0 2 0 814002101 10694979584 6171 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228095145019 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.060327 s]
/proc/loadavg: 0.00 0.00 0.00 2/516 4796
/proc/meminfo: memFree=21388180/32951124 swapFree=58800704/67111528
[pid=4796] ppid=4794 vsize=10467616 CPUtime=0.04 cores=0,2,4,6
/proc/4796/stat : 4796 (java) S 4794 4796 4768 0 -1 4202496 11537 0 1 0 3 1 0 0 23 0 13 0 814002101 10718838784 11234 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107253733 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0
/proc/4796/statm: 2616904 11234 1691 9 0 2607652 0
[pid=4796/tid=4797] ppid=4794 vsize=10467616 CPUtime=0.03 cores=0,2,4,6
/proc/4796/task/4797/stat : 4797 (java) S 4794 4796 4768 0 -1 4202560 10391 0 1 0 3 0 0 0 25 0 13 0 814002101 10718838784 11234 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228095446885 0 2147483391 0 16800971 18446744071699207358 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616
[startup+0.100313 s]
/proc/loadavg: 0.00 0.00 0.00 2/516 4796
/proc/meminfo: memFree=21388180/32951124 swapFree=58800704/67111528
[pid=4796] ppid=4794 vsize=10539984 CPUtime=0.1 cores=0,2,4,6
/proc/4796/stat : 4796 (java) S 4794 4796 4768 0 -1 4202496 13020 0 1 0 9 1 0 0 23 0 18 0 814002101 10792943616 12692 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4796/statm: 2634996 12693 2093 9 0 2625730 0
[pid=4796/tid=4797] ppid=4794 vsize=10539984 CPUtime=0.08 cores=0,2,4,6
/proc/4796/task/4797/stat : 4797 (java) R 4794 4796 4768 0 -1 4202560 11080 0 1 0 7 1 0 0 18 0 18 0 814002101 10792943616 12693 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 46929041603078 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) 10539984
[startup+0.30023 s]
/proc/loadavg: 0.00 0.00 0.00 2/516 4796
/proc/meminfo: memFree=21388180/32951124 swapFree=58800704/67111528
[pid=4796] ppid=4794 vsize=10541320 CPUtime=0.47 cores=0,2,4,6
/proc/4796/stat : 4796 (java) S 4794 4796 4768 0 -1 4202496 16043 0 1 0 45 2 0 0 23 0 18 0 814002101 10794311680 15291 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4796/statm: 2635330 15291 2210 9 0 2626064 0
[pid=4796/tid=4797] ppid=4794 vsize=10541320 CPUtime=0.27 cores=0,2,4,6
/proc/4796/task/4797/stat : 4797 (java) R 4794 4796 4768 0 -1 4202560 12927 0 1 0 26 1 0 0 18 0 18 0 814002101 10794311680 15292 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 46929045240659 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10541320
[startup+0.701201 s]
/proc/loadavg: 0.00 0.00 0.00 2/516 4796
/proc/meminfo: memFree=21388180/32951124 swapFree=58800704/67111528
[pid=4796] ppid=4794 vsize=10556012 CPUtime=1.59 cores=0,2,4,6
/proc/4796/stat : 4796 (java) S 4794 4796 4768 0 -1 4202496 44425 0 1 0 154 5 0 0 23 0 19 0 814002101 10809356288 41697 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4796/statm: 2639003 41698 2223 9 0 2629737 0
[pid=4796/tid=4797] ppid=4794 vsize=10556012 CPUtime=0.67 cores=0,2,4,6
/proc/4796/task/4797/stat : 4797 (java) R 4794 4796 4768 0 -1 4202560 33307 0 1 0 64 3 0 0 18 0 19 0 814002101 10809356288 41700 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 46912505642549 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 10556012
[startup+1.50106 s]
/proc/loadavg: 0.00 0.00 0.00 5/558 4843
/proc/meminfo: memFree=20950816/32951124 swapFree=58800704/67111528
[pid=4796] ppid=4794 vsize=10556012 CPUtime=2.62 cores=0,2,4,6
/proc/4796/stat : 4796 (java) S 4794 4796 4768 0 -1 4202496 130873 0 1 0 246 16 0 0 23 0 19 0 814002101 10809356288 128145 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4796/statm: 2639003 128152 2226 9 0 2629737 0
[pid=4796/tid=4797] ppid=4794 vsize=10556012 CPUtime=1.47 cores=0,2,4,6
/proc/4796/task/4797/stat : 4797 (java) R 4794 4796 4768 0 -1 4202560 119731 0 1 0 133 14 0 0 18 0 19 0 814002101 10809356288 128155 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 46912505642534 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4796/tid=4799] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4799/stat : 4799 (java) S 4794 4796 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002103 10809356288 128156 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 6 0 0 0
[pid=4796/tid=4800] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4800/stat : 4800 (java) S 4794 4796 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002103 10809356288 128158 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 6 0 0 0
[pid=4796/tid=4801] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4801/stat : 4801 (java) S 4794 4796 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002103 10809356288 128160 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 6 0 0 0
[pid=4796/tid=4802] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4802/stat : 4802 (java) S 4794 4796 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002103 10809356288 128162 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 6 0 0 0
[pid=4796/tid=4803] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4803/stat : 4803 (java) S 4794 4796 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002103 10809356288 128164 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 6 0 0 0
[pid=4796/tid=4804] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4804/stat : 4804 (java) S 4794 4796 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002103 10809356288 128165 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 6 0 0 0
[pid=4796/tid=4805] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4805/stat : 4805 (java) S 4794 4796 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002103 10809356288 128167 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 6 0 0 0
[pid=4796/tid=4806] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4806/stat : 4806 (java) S 4794 4796 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002103 10809356288 128168 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 6 0 0 0
[pid=4796/tid=4807] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4807/stat : 4807 (java) S 4794 4796 4768 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 814002104 10809356288 128169 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107267584 0 0 0 16800975 18446604441673885696 0 0 -1 6 0 0 0
[pid=4796/tid=4808] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4808/stat : 4808 (java) S 4794 4796 4768 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814002105 10809356288 128169 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 2 0 0 0
[pid=4796/tid=4809] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4809/stat : 4809 (java) S 4794 4796 4768 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814002105 10809356288 128171 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 2 0 0 0
[pid=4796/tid=4810] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4810/stat : 4810 (java) S 4794 4796 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002107 10809356288 128174 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107274673 0 4 0 16800975 18446604441673885696 0 0 -1 2 0 0 0
[pid=4796/tid=4811] ppid=4794 vsize=10556012 CPUtime=0.59 cores=0,2,4,6
/proc/4796/task/4811/stat : 4811 (java) S 4794 4796 4768 0 -1 4202560 4822 0 0 0 59 0 0 0 15 0 19 0 814002107 10809356288 128176 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 0 0 0 0
[pid=4796/tid=4812] ppid=4794 vsize=10556012 CPUtime=0.52 cores=0,2,4,6
/proc/4796/task/4812/stat : 4812 (java) S 4794 4796 4768 0 -1 4202560 5173 0 0 0 52 0 0 0 15 0 19 0 814002107 10809356288 128179 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 4 0 0 0
[pid=4796/tid=4813] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4813/stat : 4813 (java) S 4794 4796 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002107 10809356288 128182 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 6 0 0 0
[pid=4796/tid=4814] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4814/stat : 4814 (java) S 4794 4796 4768 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814002107 10809356288 128184 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107267584 0 4 0 16800975 18446604441673885696 0 0 -1 6 0 0 0
[pid=4796/tid=4820] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4820/stat : 4820 (java) S 4794 4796 4768 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814002131 10809356288 128186 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107267584 0 4 0 16800975 18446604441673885696 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 10556012
[startup+3.10077 s]
/proc/loadavg: 0.00 0.00 0.00 3/558 4843
/proc/meminfo: memFree=20036936/32951124 swapFree=58800704/67111528
[pid=4796] ppid=4794 vsize=10556012 CPUtime=4.33 cores=0,2,4,6
/proc/4796/stat : 4796 (java) S 4794 4796 4768 0 -1 4202496 301725 0 1 0 396 37 0 0 23 0 19 0 814002101 10809356288 298995 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4796/statm: 2639003 298998 2226 9 0 2629737 0
[pid=4796/tid=4797] ppid=4794 vsize=10556012 CPUtime=3.07 cores=0,2,4,6
/proc/4796/task/4797/stat : 4797 (java) R 4794 4796 4768 0 -1 4202560 290561 0 1 0 272 35 0 0 19 0 19 0 814002101 10809356288 299000 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 46912505708369 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4796/tid=4799] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4799/stat : 4799 (java) S 4794 4796 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002103 10809356288 299002 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 6 0 0 0
[pid=4796/tid=4800] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4800/stat : 4800 (java) S 4794 4796 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002103 10809356288 299005 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 6 0 0 0
[pid=4796/tid=4801] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4801/stat : 4801 (java) S 4794 4796 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002103 10809356288 299007 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 6 0 0 0
[pid=4796/tid=4802] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4802/stat : 4802 (java) S 4794 4796 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002103 10809356288 299010 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 6 0 0 0
[pid=4796/tid=4803] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4803/stat : 4803 (java) S 4794 4796 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002103 10809356288 299012 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 6 0 0 0
[pid=4796/tid=4804] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4804/stat : 4804 (java) S 4794 4796 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002103 10809356288 299015 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 6 0 0 0
[pid=4796/tid=4805] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4805/stat : 4805 (java) S 4794 4796 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002103 10809356288 299016 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 6 0 0 0
[pid=4796/tid=4806] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4806/stat : 4806 (java) S 4794 4796 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002103 10809356288 299019 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 6 0 0 0
[pid=4796/tid=4807] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4807/stat : 4807 (java) S 4794 4796 4768 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 814002104 10809356288 299021 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107267584 0 0 0 16800975 18446604441673885696 0 0 -1 6 0 0 0
[pid=4796/tid=4808] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4808/stat : 4808 (java) S 4794 4796 4768 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814002105 10809356288 299024 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 2 0 0 0
[pid=4796/tid=4809] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4809/stat : 4809 (java) S 4794 4796 4768 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814002105 10809356288 299027 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 2 0 0 0
[pid=4796/tid=4810] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4810/stat : 4810 (java) S 4794 4796 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002107 10809356288 299029 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107274673 0 4 0 16800975 18446604441673885696 0 0 -1 2 0 0 0
[pid=4796/tid=4811] ppid=4794 vsize=10556012 CPUtime=0.64 cores=0,2,4,6
/proc/4796/task/4811/stat : 4811 (java) S 4794 4796 4768 0 -1 4202560 4827 0 0 0 64 0 0 0 15 0 19 0 814002107 10809356288 299032 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 0 0 0 0
[pid=4796/tid=4812] ppid=4794 vsize=10556012 CPUtime=0.59 cores=0,2,4,6
/proc/4796/task/4812/stat : 4812 (java) S 4794 4796 4768 0 -1 4202560 5184 0 0 0 59 0 0 0 15 0 19 0 814002107 10809356288 299035 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 4 0 0 0
[pid=4796/tid=4813] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4813/stat : 4813 (java) S 4794 4796 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002107 10809356288 299037 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 6 0 0 0
[pid=4796/tid=4814] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4814/stat : 4814 (java) S 4794 4796 4768 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814002107 10809356288 299040 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107267584 0 4 0 16800975 18446604441673885696 0 0 -1 6 0 0 0
[pid=4796/tid=4820] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4820/stat : 4820 (java) S 4794 4796 4768 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814002131 10809356288 299042 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107267584 0 4 0 16800975 18446604441673885696 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 10556012
[startup+6.30119 s]
/proc/loadavg: 0.16 0.03 0.01 3/558 4843
/proc/meminfo: memFree=17350108/32951124 swapFree=58800704/67111528
[pid=4796] ppid=4794 vsize=10556012 CPUtime=7.54 cores=0,2,4,6
/proc/4796/stat : 4796 (java) S 4794 4796 4768 0 -1 4202496 625162 0 1 0 682 72 0 0 23 0 19 0 814002101 10809356288 621906 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4796/statm: 2639003 621912 2227 9 0 2629737 0
[pid=4796/tid=4797] ppid=4794 vsize=10556012 CPUtime=6.27 cores=0,2,4,6
/proc/4796/task/4797/stat : 4797 (java) R 4794 4796 4768 0 -1 4202560 614002 0 1 0 557 70 0 0 25 0 19 0 814002101 10809356288 621916 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 46912505708036 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4796/tid=4799] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4799/stat : 4799 (java) S 4794 4796 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002103 10809356288 621921 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 6 0 0 0
[pid=4796/tid=4800] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4800/stat : 4800 (java) S 4794 4796 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002103 10809356288 621925 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 6 0 0 0
[pid=4796/tid=4801] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4801/stat : 4801 (java) S 4794 4796 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002103 10809356288 621929 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 6 0 0 0
[pid=4796/tid=4802] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4802/stat : 4802 (java) S 4794 4796 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002103 10809356288 621933 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 6 0 0 0
[pid=4796/tid=4803] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4803/stat : 4803 (java) S 4794 4796 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002103 10809356288 621938 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 6 0 0 0
[pid=4796/tid=4804] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4804/stat : 4804 (java) S 4794 4796 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002103 10809356288 621942 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 6 0 0 0
[pid=4796/tid=4805] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4805/stat : 4805 (java) S 4794 4796 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002103 10809356288 621946 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 6 0 0 0
[pid=4796/tid=4806] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4806/stat : 4806 (java) S 4794 4796 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002103 10809356288 621950 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 6 0 0 0
[pid=4796/tid=4807] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4807/stat : 4807 (java) S 4794 4796 4768 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 814002104 10809356288 621954 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107267584 0 0 0 16800975 18446604441673885696 0 0 -1 6 0 0 0
[pid=4796/tid=4808] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4808/stat : 4808 (java) S 4794 4796 4768 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814002105 10809356288 621958 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 2 0 0 0
[pid=4796/tid=4809] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4809/stat : 4809 (java) S 4794 4796 4768 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814002105 10809356288 621961 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 2 0 0 0
[pid=4796/tid=4810] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4810/stat : 4810 (java) S 4794 4796 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002107 10809356288 621965 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107274673 0 4 0 16800975 18446604441673885696 0 0 -1 2 0 0 0
[pid=4796/tid=4811] ppid=4794 vsize=10556012 CPUtime=0.64 cores=0,2,4,6
/proc/4796/task/4811/stat : 4811 (java) S 4794 4796 4768 0 -1 4202560 4827 0 0 0 64 0 0 0 15 0 19 0 814002107 10809356288 621969 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 0 0 0 0
[pid=4796/tid=4812] ppid=4794 vsize=10556012 CPUtime=0.6 cores=0,2,4,6
/proc/4796/task/4812/stat : 4812 (java) S 4794 4796 4768 0 -1 4202560 5184 0 0 0 60 0 0 0 15 0 19 0 814002107 10809356288 621972 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 4 0 0 0
################
# More data... #
################
[pid=4796/tid=4813] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4813/stat : 4813 (java) S 4794 4796 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002107 10809356288 913835 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 6 0 0 0
[pid=4796/tid=4814] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4814/stat : 4814 (java) S 4794 4796 4768 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 814002107 10809356288 913835 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107267584 0 4 0 16800975 18446604441673885696 0 0 -1 2 0 0 0
[pid=4796/tid=4820] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4820/stat : 4820 (java) S 4794 4796 4768 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814002131 10809356288 913835 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107267584 0 4 0 16800975 18446604441673885696 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1666.7
Current children cumulated vsize (KiB) 10556012
[startup+1722.3 s]
/proc/loadavg: 2.05 2.05 1.70 3/558 4889
/proc/meminfo: memFree=14042544/32951124 swapFree=58800704/67111528
[pid=4796] ppid=4794 vsize=10556012 CPUtime=1726.82 cores=0,2,4,6
/proc/4796/stat : 4796 (java) S 4794 4796 4768 0 -1 4202496 919276 0 1 0 172572 110 0 0 23 0 19 0 814002101 10809356288 914923 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4796/statm: 2639003 914923 2258 9 0 2629737 0
[pid=4796/tid=4797] ppid=4794 vsize=10556012 CPUtime=1720.27 cores=0,2,4,6
/proc/4796/task/4797/stat : 4797 (java) R 4794 4796 4768 0 -1 4202560 836512 0 1 0 171930 97 0 0 25 0 19 0 814002101 10809356288 914923 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 46912505642449 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4796/tid=4799] ppid=4794 vsize=10556012 CPUtime=0.58 cores=0,2,4,6
/proc/4796/task/4799/stat : 4799 (java) S 4794 4796 4768 0 -1 4202560 9202 0 0 0 57 1 0 0 16 0 19 0 814002103 10809356288 914923 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 6 0 0 0
[pid=4796/tid=4800] ppid=4794 vsize=10556012 CPUtime=0.55 cores=0,2,4,6
/proc/4796/task/4800/stat : 4800 (java) S 4794 4796 4768 0 -1 4202560 5585 0 0 0 55 0 0 0 16 0 19 0 814002103 10809356288 914923 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 2 0 0 0
[pid=4796/tid=4801] ppid=4794 vsize=10556012 CPUtime=0.55 cores=0,2,4,6
/proc/4796/task/4801/stat : 4801 (java) S 4794 4796 4768 0 -1 4202560 9921 0 0 0 54 1 0 0 15 0 19 0 814002103 10809356288 914923 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 2 0 0 0
[pid=4796/tid=4802] ppid=4794 vsize=10556012 CPUtime=0.49 cores=0,2,4,6
/proc/4796/task/4802/stat : 4802 (java) S 4794 4796 4768 0 -1 4202560 6847 0 0 0 49 0 0 0 16 0 19 0 814002103 10809356288 914923 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 4 0 0 0
[pid=4796/tid=4803] ppid=4794 vsize=10556012 CPUtime=0.65 cores=0,2,4,6
/proc/4796/task/4803/stat : 4803 (java) S 4794 4796 4768 0 -1 4202560 6886 0 0 0 65 0 0 0 15 0 19 0 814002103 10809356288 914923 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 0 0 0 0
[pid=4796/tid=4804] ppid=4794 vsize=10556012 CPUtime=0.58 cores=0,2,4,6
/proc/4796/task/4804/stat : 4804 (java) S 4794 4796 4768 0 -1 4202560 9233 0 0 0 57 1 0 0 15 0 19 0 814002103 10809356288 914923 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 2 0 0 0
[pid=4796/tid=4805] ppid=4794 vsize=10556012 CPUtime=0.53 cores=0,2,4,6
/proc/4796/task/4805/stat : 4805 (java) S 4794 4796 4768 0 -1 4202560 6719 0 0 0 52 1 0 0 16 0 19 0 814002103 10809356288 914923 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 0 0 0 0
[pid=4796/tid=4806] ppid=4794 vsize=10556012 CPUtime=0.49 cores=0,2,4,6
/proc/4796/task/4806/stat : 4806 (java) S 4794 4796 4768 0 -1 4202560 11129 0 0 0 48 1 0 0 15 0 19 0 814002103 10809356288 914923 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 4 0 0 0
[pid=4796/tid=4807] ppid=4794 vsize=10556012 CPUtime=0.49 cores=0,2,4,6
/proc/4796/task/4807/stat : 4807 (java) S 4794 4796 4768 0 -1 4202560 5916 0 0 0 48 1 0 0 15 0 19 0 814002104 10809356288 914923 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107267584 0 0 0 16800975 18446604441673885696 0 0 -1 2 0 0 0
[pid=4796/tid=4808] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4808/stat : 4808 (java) S 4794 4796 4768 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814002105 10809356288 914923 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 2 0 0 0
[pid=4796/tid=4809] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4809/stat : 4809 (java) S 4794 4796 4768 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814002105 10809356288 914923 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 2 0 0 0
[pid=4796/tid=4810] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4810/stat : 4810 (java) S 4794 4796 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002107 10809356288 914923 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107274673 0 4 0 16800975 18446604441673885696 0 0 -1 2 0 0 0
[pid=4796/tid=4811] ppid=4794 vsize=10556012 CPUtime=0.69 cores=0,2,4,6
/proc/4796/task/4811/stat : 4811 (java) S 4794 4796 4768 0 -1 4202560 4838 0 0 0 69 0 0 0 16 0 19 0 814002107 10809356288 914923 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 0 0 0 0
[pid=4796/tid=4812] ppid=4794 vsize=10556012 CPUtime=0.82 cores=0,2,4,6
/proc/4796/task/4812/stat : 4812 (java) S 4794 4796 4768 0 -1 4202560 5237 0 0 0 82 0 0 0 15 0 19 0 814002107 10809356288 914923 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 4 0 0 0
[pid=4796/tid=4813] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4813/stat : 4813 (java) S 4794 4796 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002107 10809356288 914923 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 6 0 0 0
[pid=4796/tid=4814] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4814/stat : 4814 (java) S 4794 4796 4768 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 814002107 10809356288 914923 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107267584 0 4 0 16800975 18446604441673885696 0 0 -1 2 0 0 0
[pid=4796/tid=4820] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4820/stat : 4820 (java) S 4794 4796 4768 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814002131 10809356288 914923 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107267584 0 4 0 16800975 18446604441673885696 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1726.82
Current children cumulated vsize (KiB) 10556012
[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 1.72 3/558 4891
/proc/meminfo: memFree=14036444/32951124 swapFree=58800704/67111528
[pid=4796] ppid=4794 vsize=10556012 CPUtime=1787.01 cores=0,2,4,6
/proc/4796/stat : 4796 (java) S 4794 4796 4768 0 -1 4202496 920478 0 1 0 178590 111 0 0 23 0 19 0 814002101 10809356288 916094 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4796/statm: 2639003 916094 2258 9 0 2629737 0
[pid=4796/tid=4797] ppid=4794 vsize=10556012 CPUtime=1779.74 cores=0,2,4,6
/proc/4796/task/4797/stat : 4797 (java) R 4794 4796 4768 0 -1 4202560 836517 0 1 0 177877 97 0 0 25 0 19 0 814002101 10809356288 916094 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 46912505585907 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4796/tid=4799] ppid=4794 vsize=10556012 CPUtime=0.62 cores=0,2,4,6
/proc/4796/task/4799/stat : 4799 (java) S 4794 4796 4768 0 -1 4202560 9343 0 0 0 61 1 0 0 16 0 19 0 814002103 10809356288 916094 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 6 0 0 0
[pid=4796/tid=4800] ppid=4794 vsize=10556012 CPUtime=0.56 cores=0,2,4,6
/proc/4796/task/4800/stat : 4800 (java) S 4794 4796 4768 0 -1 4202560 5585 0 0 0 55 1 0 0 15 0 19 0 814002103 10809356288 916094 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 0 0 0 0
[pid=4796/tid=4801] ppid=4794 vsize=10556012 CPUtime=0.6 cores=0,2,4,6
/proc/4796/task/4801/stat : 4801 (java) S 4794 4796 4768 0 -1 4202560 10210 0 0 0 59 1 0 0 15 0 19 0 814002103 10809356288 916094 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 6 0 0 0
[pid=4796/tid=4802] ppid=4794 vsize=10556012 CPUtime=0.53 cores=0,2,4,6
/proc/4796/task/4802/stat : 4802 (java) S 4794 4796 4768 0 -1 4202560 6984 0 0 0 53 0 0 0 15 0 19 0 814002103 10809356288 916094 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 4 0 0 0
[pid=4796/tid=4803] ppid=4794 vsize=10556012 CPUtime=0.69 cores=0,2,4,6
/proc/4796/task/4803/stat : 4803 (java) S 4794 4796 4768 0 -1 4202560 7183 0 0 0 69 0 0 0 16 0 19 0 814002103 10809356288 916094 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 4 0 0 0
[pid=4796/tid=4804] ppid=4794 vsize=10556012 CPUtime=0.59 cores=0,2,4,6
/proc/4796/task/4804/stat : 4804 (java) S 4794 4796 4768 0 -1 4202560 9256 0 0 0 58 1 0 0 15 0 19 0 814002103 10809356288 916094 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 6 0 0 0
[pid=4796/tid=4805] ppid=4794 vsize=10556012 CPUtime=0.56 cores=0,2,4,6
/proc/4796/task/4805/stat : 4805 (java) S 4794 4796 4768 0 -1 4202560 6932 0 0 0 55 1 0 0 15 0 19 0 814002103 10809356288 916094 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 0 0 0 0
[pid=4796/tid=4806] ppid=4794 vsize=10556012 CPUtime=0.5 cores=0,2,4,6
/proc/4796/task/4806/stat : 4806 (java) S 4794 4796 4768 0 -1 4202560 11155 0 0 0 49 1 0 0 15 0 19 0 814002103 10809356288 916094 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 4 0 0 0
[pid=4796/tid=4807] ppid=4794 vsize=10556012 CPUtime=0.95 cores=0,2,4,6
/proc/4796/task/4807/stat : 4807 (java) S 4794 4796 4768 0 -1 4202560 5978 0 0 0 93 2 0 0 15 0 19 0 814002104 10809356288 916094 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107267584 0 0 0 16800975 18446604441673885696 0 0 -1 2 0 0 0
[pid=4796/tid=4808] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4808/stat : 4808 (java) S 4794 4796 4768 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814002105 10809356288 916094 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 2 0 0 0
[pid=4796/tid=4809] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4809/stat : 4809 (java) S 4794 4796 4768 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814002105 10809356288 916094 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 2 0 0 0
[pid=4796/tid=4810] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4810/stat : 4810 (java) S 4794 4796 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002107 10809356288 916094 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107274673 0 4 0 16800975 18446604441673885696 0 0 -1 2 0 0 0
[pid=4796/tid=4811] ppid=4794 vsize=10556012 CPUtime=0.69 cores=0,2,4,6
/proc/4796/task/4811/stat : 4811 (java) S 4794 4796 4768 0 -1 4202560 4838 0 0 0 69 0 0 0 16 0 19 0 814002107 10809356288 916094 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 0 0 0 0
[pid=4796/tid=4812] ppid=4794 vsize=10556012 CPUtime=0.85 cores=0,2,4,6
/proc/4796/task/4812/stat : 4812 (java) S 4794 4796 4768 0 -1 4202560 5242 0 0 0 85 0 0 0 15 0 19 0 814002107 10809356288 916094 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 4 0 0 0
[pid=4796/tid=4813] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4813/stat : 4813 (java) S 4794 4796 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002107 10809356288 916094 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 6 0 0 0
[pid=4796/tid=4814] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4814/stat : 4814 (java) S 4794 4796 4768 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 814002107 10809356288 916094 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107267584 0 4 0 16800975 18446604441673885696 0 0 -1 6 0 0 0
[pid=4796/tid=4820] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4820/stat : 4820 (java) S 4794 4796 4768 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814002131 10809356288 916094 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107267584 0 4 0 16800975 18446604441673885696 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1787.01
Current children cumulated vsize (KiB) 10556012
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.3 s]
/proc/loadavg: 2.01 2.04 1.72 3/558 4900
/proc/meminfo: memFree=14034928/32951124 swapFree=58800704/67111528
[pid=4796] ppid=4794 vsize=10556012 CPUtime=1800.05 cores=0,2,4,6
/proc/4796/stat : 4796 (java) S 4794 4796 4768 0 -1 4202496 920484 0 1 0 179894 111 0 0 23 0 19 0 814002101 10809356288 916097 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4796/statm: 2639003 916097 2258 9 0 2629737 0
[pid=4796/tid=4797] ppid=4794 vsize=10556012 CPUtime=1792.75 cores=0,2,4,6
/proc/4796/task/4797/stat : 4797 (java) R 4794 4796 4768 0 -1 4202560 836518 0 1 0 179178 97 0 0 25 0 19 0 814002101 10809356288 916097 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 46912505708213 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4796/tid=4799] ppid=4794 vsize=10556012 CPUtime=0.62 cores=0,2,4,6
/proc/4796/task/4799/stat : 4799 (java) S 4794 4796 4768 0 -1 4202560 9343 0 0 0 61 1 0 0 15 0 19 0 814002103 10809356288 916097 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 6 0 0 0
[pid=4796/tid=4800] ppid=4794 vsize=10556012 CPUtime=0.56 cores=0,2,4,6
/proc/4796/task/4800/stat : 4800 (java) S 4794 4796 4768 0 -1 4202560 5585 0 0 0 55 1 0 0 15 0 19 0 814002103 10809356288 916097 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 0 0 0 0
[pid=4796/tid=4801] ppid=4794 vsize=10556012 CPUtime=0.61 cores=0,2,4,6
/proc/4796/task/4801/stat : 4801 (java) S 4794 4796 4768 0 -1 4202560 10210 0 0 0 60 1 0 0 16 0 19 0 814002103 10809356288 916097 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 2 0 0 0
[pid=4796/tid=4802] ppid=4794 vsize=10556012 CPUtime=0.53 cores=0,2,4,6
/proc/4796/task/4802/stat : 4802 (java) S 4794 4796 4768 0 -1 4202560 6984 0 0 0 53 0 0 0 15 0 19 0 814002103 10809356288 916097 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 4 0 0 0
[pid=4796/tid=4803] ppid=4794 vsize=10556012 CPUtime=0.69 cores=0,2,4,6
/proc/4796/task/4803/stat : 4803 (java) S 4794 4796 4768 0 -1 4202560 7183 0 0 0 69 0 0 0 15 0 19 0 814002103 10809356288 916097 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 4 0 0 0
[pid=4796/tid=4804] ppid=4794 vsize=10556012 CPUtime=0.6 cores=0,2,4,6
/proc/4796/task/4804/stat : 4804 (java) S 4794 4796 4768 0 -1 4202560 9257 0 0 0 59 1 0 0 16 0 19 0 814002103 10809356288 916097 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 6 0 0 0
[pid=4796/tid=4805] ppid=4794 vsize=10556012 CPUtime=0.57 cores=0,2,4,6
/proc/4796/task/4805/stat : 4805 (java) S 4794 4796 4768 0 -1 4202560 6934 0 0 0 56 1 0 0 16 0 19 0 814002103 10809356288 916097 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 0 0 0 0
[pid=4796/tid=4806] ppid=4794 vsize=10556012 CPUtime=0.51 cores=0,2,4,6
/proc/4796/task/4806/stat : 4806 (java) S 4794 4796 4768 0 -1 4202560 11155 0 0 0 50 1 0 0 16 0 19 0 814002103 10809356288 916097 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 4 0 0 0
[pid=4796/tid=4807] ppid=4794 vsize=10556012 CPUtime=0.95 cores=0,2,4,6
/proc/4796/task/4807/stat : 4807 (java) S 4794 4796 4768 0 -1 4202560 5980 0 0 0 93 2 0 0 15 0 19 0 814002104 10809356288 916097 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107267584 0 0 0 16800975 18446604441673885696 0 0 -1 2 0 0 0
[pid=4796/tid=4808] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4808/stat : 4808 (java) S 4794 4796 4768 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814002105 10809356288 916097 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 2 0 0 0
[pid=4796/tid=4809] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4809/stat : 4809 (java) S 4794 4796 4768 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814002105 10809356288 916097 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 2 0 0 0
[pid=4796/tid=4810] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4810/stat : 4810 (java) S 4794 4796 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002107 10809356288 916097 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107274673 0 4 0 16800975 18446604441673885696 0 0 -1 2 0 0 0
[pid=4796/tid=4811] ppid=4794 vsize=10556012 CPUtime=0.69 cores=0,2,4,6
/proc/4796/task/4811/stat : 4811 (java) S 4794 4796 4768 0 -1 4202560 4838 0 0 0 69 0 0 0 16 0 19 0 814002107 10809356288 916097 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 0 0 0 0
[pid=4796/tid=4812] ppid=4794 vsize=10556012 CPUtime=0.85 cores=0,2,4,6
/proc/4796/task/4812/stat : 4812 (java) S 4794 4796 4768 0 -1 4202560 5242 0 0 0 85 0 0 0 15 0 19 0 814002107 10809356288 916097 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 4 0 0 0
[pid=4796/tid=4813] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4813/stat : 4813 (java) S 4794 4796 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002107 10809356288 916097 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107266969 0 4 0 16800975 18446604441673885696 0 0 -1 6 0 0 0
[pid=4796/tid=4814] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4814/stat : 4814 (java) S 4794 4796 4768 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 814002107 10809356288 916097 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107267584 0 4 0 16800975 18446604441673885696 0 0 -1 4 0 0 0
[pid=4796/tid=4820] ppid=4794 vsize=10556012 CPUtime=0 cores=0,2,4,6
/proc/4796/task/4820/stat : 4820 (java) S 4794 4796 4768 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814002131 10809356288 916097 33554432000 1073741824 1073778376 140736740540800 18446744073709551615 228107267584 0 4 0 16800975 18446604441673885696 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10556012
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.43 s]
/proc/loadavg: 2.01 2.04 1.72 3/558 4900
/proc/meminfo: memFree=14034928/32951124 swapFree=58800704/67111528
[pid=4796] ppid=4794 vsize=0 CPUtime=1800.18 cores=0,2,4,6
/proc/4796/stat : 4796 (java) Z 4794 4796 4768 0 -1 4203548 920519 0 1 0 179900 118 0 0 17 0 2 0 814002101 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4796/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0
[startup+1795.5 s]
/proc/loadavg: 2.01 2.04 1.72 3/558 4900
/proc/meminfo: memFree=14034928/32951124 swapFree=58800704/67111528
[pid=4796] ppid=4794 vsize=0 CPUtime=1800.25 cores=0,2,4,6
/proc/4796/stat : 4796 (java) Z 4794 4796 4768 0 -1 4203548 920519 0 1 0 179900 125 0 0 17 0 2 0 814002101 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4796/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.5
CPU time (s): 1800.27
CPU user time (s): 1799.01
CPU system time (s): 1.25781
CPU usage (%): 100.265
Max. virtual memory (cumulated for all children) (KiB): 10556012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.01
system time used= 1.25781
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 920519
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= 40306
involuntary context switches= 12223
runsolver used 10.1615 second user time and 21.0318 second system time
The end