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-3456459-1307221449/watcher-3456459-1307221449 -o /tmp/evaluation-result-3456459-1307221449/solver-3456459-1307221449 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456459-1307221449.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.99 2.00 2.00 2/479 29890
/proc/meminfo: memFree=24922168/32951124 swapFree=41830676/67111528
[pid=29890] ppid=29888 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/29890/stat : 29890 (java) S 29888 29890 29047 0 -1 4202496 5639 0 1 0 0 0 0 0 18 0 2 0 833742834 10694979584 5340 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/29890/statm: 2611079 5354 917 9 0 2602235 0
[pid=29890/tid=29891] ppid=29888 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29891/stat : 29891 (java) R 29888 29890 29047 0 -1 4202560 4585 0 1 0 0 0 0 0 19 0 2 0 833742835 10694979584 5401 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228122407995 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0502169 s]
/proc/loadavg: 1.99 2.00 2.00 2/479 29890
/proc/meminfo: memFree=24922168/32951124 swapFree=41830676/67111528
[pid=29890] ppid=29888 vsize=10467480 CPUtime=0.04 cores=1,3,5,7
/proc/29890/stat : 29890 (java) S 29888 29890 29047 0 -1 4202496 11345 0 1 0 3 1 0 0 18 0 13 0 833742834 10718699520 11041 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/29890/statm: 2616870 11045 1681 9 0 2607618 0
[pid=29890/tid=29891] ppid=29888 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/29890/task/29891/stat : 29891 (java) R 29888 29890 29047 0 -1 4202560 10202 0 1 0 3 0 0 0 25 0 13 0 833742835 10718699520 11046 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 47591467561731 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467480
[startup+0.101209 s]
/proc/loadavg: 1.99 2.00 2.00 2/479 29890
/proc/meminfo: memFree=24922168/32951124 swapFree=41830676/67111528
[pid=29890] ppid=29888 vsize=10539728 CPUtime=0.1 cores=1,3,5,7
/proc/29890/stat : 29890 (java) S 29888 29890 29047 0 -1 4202496 13022 0 1 0 9 1 0 0 18 0 18 0 833742834 10792681472 12718 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29890/statm: 2634932 12718 2092 9 0 2625666 0
[pid=29890/tid=29891] ppid=29888 vsize=10539728 CPUtime=0.08 cores=1,3,5,7
/proc/29890/task/29891/stat : 29891 (java) R 29888 29890 29047 0 -1 4202560 11087 0 1 0 7 1 0 0 18 0 18 0 833742835 10792681472 12718 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 46912496203099 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539728
[startup+0.301127 s]
/proc/loadavg: 1.99 2.00 2.00 2/479 29890
/proc/meminfo: memFree=24922168/32951124 swapFree=41830676/67111528
[pid=29890] ppid=29888 vsize=10543684 CPUtime=0.52 cores=1,3,5,7
/proc/29890/stat : 29890 (java) S 29888 29890 29047 0 -1 4202496 17637 0 1 0 50 2 0 0 18 0 19 0 833742834 10796732416 16698 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29890/statm: 2635921 16699 2191 9 0 2626655 0
[pid=29890/tid=29891] ppid=29888 vsize=10543684 CPUtime=0.28 cores=1,3,5,7
/proc/29890/task/29891/stat : 29891 (java) R 29888 29890 29047 0 -1 4202560 13284 0 1 0 27 1 0 0 19 0 19 0 833742835 10796732416 16700 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 46912505544906 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 10543684
[startup+0.701091 s]
/proc/loadavg: 1.99 2.00 2.00 2/479 29890
/proc/meminfo: memFree=24922168/32951124 swapFree=41830676/67111528
[pid=29890] ppid=29888 vsize=10553700 CPUtime=1.69 cores=1,3,5,7
/proc/29890/stat : 29890 (java) S 29888 29890 29047 0 -1 4202496 48117 0 1 0 164 5 0 0 18 0 19 0 833742834 10806988800 42893 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29890/statm: 2638425 42898 2217 9 0 2629159 0
[pid=29890/tid=29891] ppid=29888 vsize=10553700 CPUtime=0.68 cores=1,3,5,7
/proc/29890/task/29891/stat : 29891 (java) R 29888 29890 29047 0 -1 4202560 35967 0 1 0 65 3 0 0 18 0 19 0 833742835 10806988800 42900 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 46912505541540 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 10553700
[startup+1.50095 s]
/proc/loadavg: 1.99 2.00 2.00 4/498 29909
/proc/meminfo: memFree=24634840/32951124 swapFree=41830676/67111528
[pid=29890] ppid=29888 vsize=10553700 CPUtime=2.5 cores=1,3,5,7
/proc/29890/stat : 29890 (java) S 29888 29890 29047 0 -1 4202496 125843 0 1 0 237 13 0 0 18 0 19 0 833742834 10806988800 120619 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29890/statm: 2638425 120623 2219 9 0 2629159 0
[pid=29890/tid=29891] ppid=29888 vsize=10553700 CPUtime=1.48 cores=1,3,5,7
/proc/29890/task/29891/stat : 29891 (java) R 29888 29890 29047 0 -1 4202560 113690 0 1 0 137 11 0 0 18 0 19 0 833742835 10806988800 120625 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 46912505561312 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29890/tid=29893] ppid=29888 vsize=10553700 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29893/stat : 29893 (java) S 29888 29890 29047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833742836 10806988800 120628 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 3 0 0 0
[pid=29890/tid=29894] ppid=29888 vsize=10553700 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29894/stat : 29894 (java) S 29888 29890 29047 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833742836 10806988800 120631 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 7 0 0 0
[pid=29890/tid=29895] ppid=29888 vsize=10553700 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29895/stat : 29895 (java) S 29888 29890 29047 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833742836 10806988800 120633 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 7 0 0 0
[pid=29890/tid=29896] ppid=29888 vsize=10553700 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29896/stat : 29896 (java) S 29888 29890 29047 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833742836 10806988800 120636 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 7 0 0 0
[pid=29890/tid=29897] ppid=29888 vsize=10553700 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29897/stat : 29897 (java) S 29888 29890 29047 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833742836 10806988800 120638 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 7 0 0 0
[pid=29890/tid=29898] ppid=29888 vsize=10553700 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29898/stat : 29898 (java) S 29888 29890 29047 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833742836 10806988800 120641 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 7 0 0 0
[pid=29890/tid=29899] ppid=29888 vsize=10553700 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29899/stat : 29899 (java) S 29888 29890 29047 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833742836 10806988800 120643 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 7 0 0 0
[pid=29890/tid=29900] ppid=29888 vsize=10553700 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29900/stat : 29900 (java) S 29888 29890 29047 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833742836 10806988800 120646 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 7 0 0 0
[pid=29890/tid=29901] ppid=29888 vsize=10553700 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29901/stat : 29901 (java) S 29888 29890 29047 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833742837 10806988800 120649 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134530560 0 0 0 16800975 18446604459253969984 0 0 -1 7 0 0 0
[pid=29890/tid=29902] ppid=29888 vsize=10553700 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29902/stat : 29902 (java) S 29888 29890 29047 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 833742838 10806988800 120652 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 3 0 0 0
[pid=29890/tid=29903] ppid=29888 vsize=10553700 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29903/stat : 29903 (java) S 29888 29890 29047 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833742838 10806988800 120655 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 3 0 0 0
[pid=29890/tid=29904] ppid=29888 vsize=10553700 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29904/stat : 29904 (java) S 29888 29890 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833742840 10806988800 120657 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134537649 0 4 0 16800975 18446604459253969984 0 0 -1 3 0 0 0
[pid=29890/tid=29905] ppid=29888 vsize=10553700 CPUtime=0.49 cores=1,3,5,7
/proc/29890/task/29905/stat : 29905 (java) S 29888 29890 29047 0 -1 4202560 5608 0 0 0 49 0 0 0 15 0 19 0 833742840 10806988800 120659 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 5 0 0 0
[pid=29890/tid=29906] ppid=29888 vsize=10553700 CPUtime=0.51 cores=1,3,5,7
/proc/29890/task/29906/stat : 29906 (java) S 29888 29890 29047 0 -1 4202560 5391 0 0 0 50 1 0 0 20 0 19 0 833742840 10806988800 120663 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 7 0 0 0
[pid=29890/tid=29907] ppid=29888 vsize=10553700 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29907/stat : 29907 (java) S 29888 29890 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833742840 10806988800 120666 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 3 0 0 0
[pid=29890/tid=29908] ppid=29888 vsize=10553700 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29908/stat : 29908 (java) S 29888 29890 29047 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833742840 10806988800 120668 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134530560 0 4 0 16800975 18446604459253969984 0 0 -1 5 0 0 0
[pid=29890/tid=29909] ppid=29888 vsize=10553700 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29909/stat : 29909 (java) S 29888 29890 29047 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833742848 10806988800 120672 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134530560 0 4 0 16800975 18446604459253969984 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.5
Current children cumulated vsize (KiB) 10553700
[startup+3.10067 s]
/proc/loadavg: 1.99 2.00 2.00 3/498 29909
/proc/meminfo: memFree=24206916/32951124 swapFree=41830676/67111528
[pid=29890] ppid=29888 vsize=10553700 CPUtime=4.13 cores=1,3,5,7
/proc/29890/stat : 29890 (java) S 29888 29890 29047 0 -1 4202496 281956 0 1 0 382 31 0 0 18 0 19 0 833742834 10806988800 276730 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29890/statm: 2638425 276737 2219 9 0 2629159 0
[pid=29890/tid=29891] ppid=29888 vsize=10553700 CPUtime=3.08 cores=1,3,5,7
/proc/29890/task/29891/stat : 29891 (java) R 29888 29890 29047 0 -1 4202560 269802 0 1 0 279 29 0 0 19 0 19 0 833742835 10806988800 276740 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 46912505541586 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29890/tid=29893] ppid=29888 vsize=10553700 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29893/stat : 29893 (java) S 29888 29890 29047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833742836 10806988800 276742 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 3 0 0 0
[pid=29890/tid=29894] ppid=29888 vsize=10553700 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29894/stat : 29894 (java) S 29888 29890 29047 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833742836 10806988800 276745 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 7 0 0 0
[pid=29890/tid=29895] ppid=29888 vsize=10553700 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29895/stat : 29895 (java) S 29888 29890 29047 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833742836 10806988800 276748 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 7 0 0 0
[pid=29890/tid=29896] ppid=29888 vsize=10553700 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29896/stat : 29896 (java) S 29888 29890 29047 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833742836 10806988800 276752 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 7 0 0 0
[pid=29890/tid=29897] ppid=29888 vsize=10553700 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29897/stat : 29897 (java) S 29888 29890 29047 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833742836 10806988800 276756 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 7 0 0 0
[pid=29890/tid=29898] ppid=29888 vsize=10553700 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29898/stat : 29898 (java) S 29888 29890 29047 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833742836 10806988800 276760 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 7 0 0 0
[pid=29890/tid=29899] ppid=29888 vsize=10553700 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29899/stat : 29899 (java) S 29888 29890 29047 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833742836 10806988800 276763 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 7 0 0 0
[pid=29890/tid=29900] ppid=29888 vsize=10553700 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29900/stat : 29900 (java) S 29888 29890 29047 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833742836 10806988800 276766 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 7 0 0 0
[pid=29890/tid=29901] ppid=29888 vsize=10553700 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29901/stat : 29901 (java) S 29888 29890 29047 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833742837 10806988800 276769 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134530560 0 0 0 16800975 18446604459253969984 0 0 -1 7 0 0 0
[pid=29890/tid=29902] ppid=29888 vsize=10553700 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29902/stat : 29902 (java) S 29888 29890 29047 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 833742838 10806988800 276772 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 3 0 0 0
[pid=29890/tid=29903] ppid=29888 vsize=10553700 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29903/stat : 29903 (java) S 29888 29890 29047 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833742838 10806988800 276775 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 3 0 0 0
[pid=29890/tid=29904] ppid=29888 vsize=10553700 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29904/stat : 29904 (java) S 29888 29890 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833742840 10806988800 276779 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134537649 0 4 0 16800975 18446604459253969984 0 0 -1 3 0 0 0
[pid=29890/tid=29905] ppid=29888 vsize=10553700 CPUtime=0.52 cores=1,3,5,7
/proc/29890/task/29905/stat : 29905 (java) S 29888 29890 29047 0 -1 4202560 5612 0 0 0 52 0 0 0 15 0 19 0 833742840 10806988800 276783 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 5 0 0 0
[pid=29890/tid=29906] ppid=29888 vsize=10553700 CPUtime=0.51 cores=1,3,5,7
/proc/29890/task/29906/stat : 29906 (java) S 29888 29890 29047 0 -1 4202560 5391 0 0 0 50 1 0 0 20 0 19 0 833742840 10806988800 276787 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 7 0 0 0
[pid=29890/tid=29907] ppid=29888 vsize=10553700 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29907/stat : 29907 (java) S 29888 29890 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833742840 10806988800 276792 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 3 0 0 0
[pid=29890/tid=29908] ppid=29888 vsize=10553700 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29908/stat : 29908 (java) S 29888 29890 29047 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833742840 10806988800 276794 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134530560 0 4 0 16800975 18446604459253969984 0 0 -1 5 0 0 0
[pid=29890/tid=29909] ppid=29888 vsize=10553700 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29909/stat : 29909 (java) S 29888 29890 29047 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833742848 10806988800 276796 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134530560 0 4 0 16800975 18446604459253969984 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.13
Current children cumulated vsize (KiB) 10553700
[startup+6.30109 s]
/proc/loadavg: 1.99 2.00 2.00 3/498 29911
/proc/meminfo: memFree=22864368/32951124 swapFree=41830676/67111528
[pid=29890] ppid=29888 vsize=10553700 CPUtime=7.34 cores=1,3,5,7
/proc/29890/stat : 29890 (java) S 29888 29890 29047 0 -1 4202496 614101 0 1 0 664 70 0 0 18 0 19 0 833742834 10806988800 608713 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29890/statm: 2638425 608719 2221 9 0 2629159 0
[pid=29890/tid=29891] ppid=29888 vsize=10553700 CPUtime=6.28 cores=1,3,5,7
/proc/29890/task/29891/stat : 29891 (java) R 29888 29890 29047 0 -1 4202560 601944 0 1 0 560 68 0 0 21 0 19 0 833742835 10806988800 608722 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 46912505544967 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29890/tid=29893] ppid=29888 vsize=10553700 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29893/stat : 29893 (java) S 29888 29890 29047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833742836 10806988800 608725 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 3 0 0 0
[pid=29890/tid=29894] ppid=29888 vsize=10553700 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29894/stat : 29894 (java) S 29888 29890 29047 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833742836 10806988800 608729 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 7 0 0 0
[pid=29890/tid=29895] ppid=29888 vsize=10553700 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29895/stat : 29895 (java) S 29888 29890 29047 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833742836 10806988800 608732 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 7 0 0 0
[pid=29890/tid=29896] ppid=29888 vsize=10553700 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29896/stat : 29896 (java) S 29888 29890 29047 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833742836 10806988800 608735 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 7 0 0 0
[pid=29890/tid=29897] ppid=29888 vsize=10553700 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29897/stat : 29897 (java) S 29888 29890 29047 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833742836 10806988800 608738 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 7 0 0 0
[pid=29890/tid=29898] ppid=29888 vsize=10553700 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29898/stat : 29898 (java) S 29888 29890 29047 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833742836 10806988800 608741 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 7 0 0 0
[pid=29890/tid=29899] ppid=29888 vsize=10553700 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29899/stat : 29899 (java) S 29888 29890 29047 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833742836 10806988800 608742 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 7 0 0 0
[pid=29890/tid=29900] ppid=29888 vsize=10553700 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29900/stat : 29900 (java) S 29888 29890 29047 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833742836 10806988800 608743 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 7 0 0 0
[pid=29890/tid=29901] ppid=29888 vsize=10553700 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29901/stat : 29901 (java) S 29888 29890 29047 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833742837 10806988800 608744 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134530560 0 0 0 16800975 18446604459253969984 0 0 -1 7 0 0 0
[pid=29890/tid=29902] ppid=29888 vsize=10553700 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29902/stat : 29902 (java) S 29888 29890 29047 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 833742838 10806988800 608747 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 3 0 0 0
[pid=29890/tid=29903] ppid=29888 vsize=10553700 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29903/stat : 29903 (java) S 29888 29890 29047 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833742838 10806988800 608750 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 3 0 0 0
[pid=29890/tid=29904] ppid=29888 vsize=10553700 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29904/stat : 29904 (java) S 29888 29890 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833742840 10806988800 608754 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134537649 0 4 0 16800975 18446604459253969984 0 0 -1 3 0 0 0
[pid=29890/tid=29905] ppid=29888 vsize=10553700 CPUtime=0.53 cores=1,3,5,7
/proc/29890/task/29905/stat : 29905 (java) S 29888 29890 29047 0 -1 4202560 5613 0 0 0 53 0 0 0 15 0 19 0 833742840 10806988800 608757 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 5 0 0 0
[pid=29890/tid=29906] ppid=29888 vsize=10553700 CPUtime=0.51 cores=1,3,5,7
/proc/29890/task/29906/stat : 29906 (java) S 29888 29890 29047 0 -1 4202560 5391 0 0 0 50 1 0 0 20 0 19 0 833742840 10806988800 608760 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/29890/task/29903/stat : 29903 (java) S 29888 29890 29047 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833742838 10874097664 933056 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 3 0 0 0
[pid=29890/tid=29904] ppid=29888 vsize=10619236 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29904/stat : 29904 (java) S 29888 29890 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833742840 10874097664 933056 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134537649 0 4 0 16800975 18446604459253969984 0 0 -1 3 0 0 0
[pid=29890/tid=29905] ppid=29888 vsize=10619236 CPUtime=0.64 cores=1,3,5,7
/proc/29890/task/29905/stat : 29905 (java) S 29888 29890 29047 0 -1 4202560 5643 0 0 0 64 0 0 0 15 0 19 0 833742840 10874097664 933056 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 5 0 0 0
[pid=29890/tid=29906] ppid=29888 vsize=10619236 CPUtime=0.59 cores=1,3,5,7
/proc/29890/task/29906/stat : 29906 (java) S 29888 29890 29047 0 -1 4202560 5415 0 0 0 58 1 0 0 15 0 19 0 833742840 10874097664 933056 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 3 0 0 0
[pid=29890/tid=29907] ppid=29888 vsize=10619236 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29907/stat : 29907 (java) S 29888 29890 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833742840 10874097664 933056 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 3 0 0 0
[pid=29890/tid=29908] ppid=29888 vsize=10619236 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29908/stat : 29908 (java) S 29888 29890 29047 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 833742840 10874097664 933056 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134530560 0 4 0 16800975 18446604459253969984 0 0 -1 1 0 0 0
[pid=29890/tid=29909] ppid=29888 vsize=10619236 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29909/stat : 29909 (java) S 29888 29890 29047 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833742848 10874097664 933056 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134530560 0 4 0 16800975 18446604459253969984 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1669.09
Current children cumulated vsize (KiB) 10619236
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/498 30006
/proc/meminfo: memFree=21179296/32951124 swapFree=41830676/67111528
[pid=29890] ppid=29888 vsize=10619236 CPUtime=1729.38 cores=1,3,5,7
/proc/29890/stat : 29890 (java) S 29888 29890 29047 0 -1 4202496 942754 0 1 0 172820 118 0 0 18 0 19 0 833742834 10874097664 934596 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29890/statm: 2654809 934596 2250 9 0 2645543 0
[pid=29890/tid=29891] ppid=29888 vsize=10619236 CPUtime=1718.69 cores=1,3,5,7
/proc/29890/task/29891/stat : 29891 (java) R 29888 29890 29047 0 -1 4202560 841427 0 1 0 171773 96 0 0 25 0 19 0 833742835 10874097664 934596 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 46912505593734 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29890/tid=29893] ppid=29888 vsize=10619236 CPUtime=1 cores=1,3,5,7
/proc/29890/task/29893/stat : 29893 (java) S 29888 29890 29047 0 -1 4202560 8728 0 0 0 99 1 0 0 15 0 19 0 833742836 10874097664 934596 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 5 0 0 0
[pid=29890/tid=29894] ppid=29888 vsize=10619236 CPUtime=1.15 cores=1,3,5,7
/proc/29890/task/29894/stat : 29894 (java) S 29888 29890 29047 0 -1 4202560 11153 0 0 0 113 2 0 0 16 0 19 0 833742836 10874097664 934596 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 3 0 0 0
[pid=29890/tid=29895] ppid=29888 vsize=10619236 CPUtime=1.15 cores=1,3,5,7
/proc/29890/task/29895/stat : 29895 (java) S 29888 29890 29047 0 -1 4202560 8937 0 0 0 113 2 0 0 15 0 19 0 833742836 10874097664 934596 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 1 0 0 0
[pid=29890/tid=29896] ppid=29888 vsize=10619236 CPUtime=1.08 cores=1,3,5,7
/proc/29890/task/29896/stat : 29896 (java) S 29888 29890 29047 0 -1 4202560 7816 0 0 0 107 1 0 0 15 0 19 0 833742836 10874097664 934596 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 7 0 0 0
[pid=29890/tid=29897] ppid=29888 vsize=10619236 CPUtime=1.15 cores=1,3,5,7
/proc/29890/task/29897/stat : 29897 (java) S 29888 29890 29047 0 -1 4202560 11667 0 0 0 113 2 0 0 16 0 19 0 833742836 10874097664 934596 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 7 0 0 0
[pid=29890/tid=29898] ppid=29888 vsize=10619236 CPUtime=1.03 cores=1,3,5,7
/proc/29890/task/29898/stat : 29898 (java) S 29888 29890 29047 0 -1 4202560 8297 0 0 0 102 1 0 0 16 0 19 0 833742836 10874097664 934596 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 1 0 0 0
[pid=29890/tid=29899] ppid=29888 vsize=10619236 CPUtime=1.02 cores=1,3,5,7
/proc/29890/task/29899/stat : 29899 (java) S 29888 29890 29047 0 -1 4202560 12246 0 0 0 101 1 0 0 16 0 19 0 833742836 10874097664 934596 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 5 0 0 0
[pid=29890/tid=29900] ppid=29888 vsize=10619236 CPUtime=1.2 cores=1,3,5,7
/proc/29890/task/29900/stat : 29900 (java) S 29888 29890 29047 0 -1 4202560 13075 0 0 0 119 1 0 0 15 0 19 0 833742836 10874097664 934596 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 5 0 0 0
[pid=29890/tid=29901] ppid=29888 vsize=10619236 CPUtime=0.54 cores=1,3,5,7
/proc/29890/task/29901/stat : 29901 (java) S 29888 29890 29047 0 -1 4202560 7101 0 0 0 50 4 0 0 15 0 19 0 833742837 10874097664 934596 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134530560 0 0 0 16800975 18446604459253969984 0 0 -1 3 0 0 0
[pid=29890/tid=29902] ppid=29888 vsize=10619236 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29902/stat : 29902 (java) S 29888 29890 29047 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833742838 10874097664 934596 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 3 0 0 0
[pid=29890/tid=29903] ppid=29888 vsize=10619236 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29903/stat : 29903 (java) S 29888 29890 29047 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833742838 10874097664 934596 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 3 0 0 0
[pid=29890/tid=29904] ppid=29888 vsize=10619236 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29904/stat : 29904 (java) S 29888 29890 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833742840 10874097664 934596 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134537649 0 4 0 16800975 18446604459253969984 0 0 -1 3 0 0 0
[pid=29890/tid=29905] ppid=29888 vsize=10619236 CPUtime=0.64 cores=1,3,5,7
/proc/29890/task/29905/stat : 29905 (java) S 29888 29890 29047 0 -1 4202560 5643 0 0 0 64 0 0 0 15 0 19 0 833742840 10874097664 934596 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 5 0 0 0
[pid=29890/tid=29906] ppid=29888 vsize=10619236 CPUtime=0.59 cores=1,3,5,7
/proc/29890/task/29906/stat : 29906 (java) S 29888 29890 29047 0 -1 4202560 5415 0 0 0 58 1 0 0 15 0 19 0 833742840 10874097664 934596 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 3 0 0 0
[pid=29890/tid=29907] ppid=29888 vsize=10619236 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29907/stat : 29907 (java) S 29888 29890 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833742840 10874097664 934596 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 3 0 0 0
[pid=29890/tid=29908] ppid=29888 vsize=10619236 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29908/stat : 29908 (java) S 29888 29890 29047 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 833742840 10874097664 934596 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134530560 0 4 0 16800975 18446604459253969984 0 0 -1 1 0 0 0
[pid=29890/tid=29909] ppid=29888 vsize=10619236 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29909/stat : 29909 (java) S 29888 29890 29047 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833742848 10874097664 934596 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134530560 0 4 0 16800975 18446604459253969984 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1729.38
Current children cumulated vsize (KiB) 10619236
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/498 30007
/proc/meminfo: memFree=21140828/32951124 swapFree=41830676/67111528
[pid=29890] ppid=29888 vsize=10619236 CPUtime=1789.63 cores=1,3,5,7
/proc/29890/stat : 29890 (java) S 29888 29890 29047 0 -1 4202496 944207 0 1 0 178844 119 0 0 18 0 19 0 833742834 10874097664 936007 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29890/statm: 2654809 936007 2250 9 0 2645543 0
[pid=29890/tid=29891] ppid=29888 vsize=10619236 CPUtime=1778.53 cores=1,3,5,7
/proc/29890/task/29891/stat : 29891 (java) R 29888 29890 29047 0 -1 4202560 841437 0 1 0 177757 96 0 0 25 0 19 0 833742835 10874097664 936007 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 46912505541680 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29890/tid=29893] ppid=29888 vsize=10619236 CPUtime=1.05 cores=1,3,5,7
/proc/29890/task/29893/stat : 29893 (java) S 29888 29890 29047 0 -1 4202560 8850 0 0 0 104 1 0 0 16 0 19 0 833742836 10874097664 936007 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 5 0 0 0
[pid=29890/tid=29894] ppid=29888 vsize=10619236 CPUtime=1.22 cores=1,3,5,7
/proc/29890/task/29894/stat : 29894 (java) S 29888 29890 29047 0 -1 4202560 11464 0 0 0 120 2 0 0 15 0 19 0 833742836 10874097664 936007 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 7 0 0 0
[pid=29890/tid=29895] ppid=29888 vsize=10619236 CPUtime=1.19 cores=1,3,5,7
/proc/29890/task/29895/stat : 29895 (java) S 29888 29890 29047 0 -1 4202560 9161 0 0 0 117 2 0 0 15 0 19 0 833742836 10874097664 936007 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 1 0 0 0
[pid=29890/tid=29896] ppid=29888 vsize=10619236 CPUtime=1.11 cores=1,3,5,7
/proc/29890/task/29896/stat : 29896 (java) S 29888 29890 29047 0 -1 4202560 7828 0 0 0 110 1 0 0 16 0 19 0 833742836 10874097664 936007 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 3 0 0 0
[pid=29890/tid=29897] ppid=29888 vsize=10619236 CPUtime=1.22 cores=1,3,5,7
/proc/29890/task/29897/stat : 29897 (java) S 29888 29890 29047 0 -1 4202560 11888 0 0 0 120 2 0 0 16 0 19 0 833742836 10874097664 936007 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 7 0 0 0
[pid=29890/tid=29898] ppid=29888 vsize=10619236 CPUtime=1.08 cores=1,3,5,7
/proc/29890/task/29898/stat : 29898 (java) S 29888 29890 29047 0 -1 4202560 8537 0 0 0 107 1 0 0 15 0 19 0 833742836 10874097664 936007 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 5 0 0 0
[pid=29890/tid=29899] ppid=29888 vsize=10619236 CPUtime=1.08 cores=1,3,5,7
/proc/29890/task/29899/stat : 29899 (java) S 29888 29890 29047 0 -1 4202560 12542 0 0 0 107 1 0 0 16 0 19 0 833742836 10874097664 936007 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 5 0 0 0
[pid=29890/tid=29900] ppid=29888 vsize=10619236 CPUtime=1.25 cores=1,3,5,7
/proc/29890/task/29900/stat : 29900 (java) S 29888 29890 29047 0 -1 4202560 13084 0 0 0 124 1 0 0 16 0 19 0 833742836 10874097664 936007 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 1 0 0 0
[pid=29890/tid=29901] ppid=29888 vsize=10619236 CPUtime=0.54 cores=1,3,5,7
/proc/29890/task/29901/stat : 29901 (java) S 29888 29890 29047 0 -1 4202560 7105 0 0 0 50 4 0 0 15 0 19 0 833742837 10874097664 936007 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134530560 0 0 0 16800975 18446604459253969984 0 0 -1 3 0 0 0
[pid=29890/tid=29902] ppid=29888 vsize=10619236 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29902/stat : 29902 (java) S 29888 29890 29047 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833742838 10874097664 936007 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 3 0 0 0
[pid=29890/tid=29903] ppid=29888 vsize=10619236 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29903/stat : 29903 (java) S 29888 29890 29047 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833742838 10874097664 936007 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 3 0 0 0
[pid=29890/tid=29904] ppid=29888 vsize=10619236 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29904/stat : 29904 (java) S 29888 29890 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833742840 10874097664 936007 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134537649 0 4 0 16800975 18446604459253969984 0 0 -1 3 0 0 0
[pid=29890/tid=29905] ppid=29888 vsize=10619236 CPUtime=0.64 cores=1,3,5,7
/proc/29890/task/29905/stat : 29905 (java) S 29888 29890 29047 0 -1 4202560 5643 0 0 0 64 0 0 0 15 0 19 0 833742840 10874097664 936007 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 5 0 0 0
[pid=29890/tid=29906] ppid=29888 vsize=10619236 CPUtime=0.59 cores=1,3,5,7
/proc/29890/task/29906/stat : 29906 (java) S 29888 29890 29047 0 -1 4202560 5415 0 0 0 58 1 0 0 15 0 19 0 833742840 10874097664 936007 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 3 0 0 0
[pid=29890/tid=29907] ppid=29888 vsize=10619236 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29907/stat : 29907 (java) S 29888 29890 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833742840 10874097664 936007 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 3 0 0 0
[pid=29890/tid=29908] ppid=29888 vsize=10619236 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29908/stat : 29908 (java) S 29888 29890 29047 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 833742840 10874097664 936007 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134530560 0 4 0 16800975 18446604459253969984 0 0 -1 1 0 0 0
[pid=29890/tid=29909] ppid=29888 vsize=10619236 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29909/stat : 29909 (java) S 29888 29890 29047 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833742848 10874097664 936007 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134530560 0 4 0 16800975 18446604459253969984 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1789.63
Current children cumulated vsize (KiB) 10619236
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/498 30008
/proc/meminfo: memFree=21140004/32951124 swapFree=41830676/67111528
[pid=29890] ppid=29888 vsize=10619236 CPUtime=1800.1 cores=1,3,5,7
/proc/29890/stat : 29890 (java) S 29888 29890 29047 0 -1 4202496 944445 0 1 0 179891 119 0 0 18 0 19 0 833742834 10874097664 936243 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29890/statm: 2654809 936243 2250 9 0 2645543 0
[pid=29890/tid=29891] ppid=29888 vsize=10619236 CPUtime=1788.91 cores=1,3,5,7
/proc/29890/task/29891/stat : 29891 (java) R 29888 29890 29047 0 -1 4202560 841439 0 1 0 178795 96 0 0 25 0 19 0 833742835 10874097664 936243 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 46912505544663 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29890/tid=29893] ppid=29888 vsize=10619236 CPUtime=1.07 cores=1,3,5,7
/proc/29890/task/29893/stat : 29893 (java) S 29888 29890 29047 0 -1 4202560 8902 0 0 0 106 1 0 0 16 0 19 0 833742836 10874097664 936243 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 5 0 0 0
[pid=29890/tid=29894] ppid=29888 vsize=10619236 CPUtime=1.23 cores=1,3,5,7
/proc/29890/task/29894/stat : 29894 (java) S 29888 29890 29047 0 -1 4202560 11474 0 0 0 121 2 0 0 16 0 19 0 833742836 10874097664 936243 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 7 0 0 0
[pid=29890/tid=29895] ppid=29888 vsize=10619236 CPUtime=1.2 cores=1,3,5,7
/proc/29890/task/29895/stat : 29895 (java) S 29888 29890 29047 0 -1 4202560 9233 0 0 0 118 2 0 0 15 0 19 0 833742836 10874097664 936243 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 1 0 0 0
[pid=29890/tid=29896] ppid=29888 vsize=10619236 CPUtime=1.11 cores=1,3,5,7
/proc/29890/task/29896/stat : 29896 (java) S 29888 29890 29047 0 -1 4202560 7828 0 0 0 110 1 0 0 15 0 19 0 833742836 10874097664 936243 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 3 0 0 0
[pid=29890/tid=29897] ppid=29888 vsize=10619236 CPUtime=1.23 cores=1,3,5,7
/proc/29890/task/29897/stat : 29897 (java) S 29888 29890 29047 0 -1 4202560 11929 0 0 0 121 2 0 0 16 0 19 0 833742836 10874097664 936243 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 7 0 0 0
[pid=29890/tid=29898] ppid=29888 vsize=10619236 CPUtime=1.08 cores=1,3,5,7
/proc/29890/task/29898/stat : 29898 (java) S 29888 29890 29047 0 -1 4202560 8537 0 0 0 107 1 0 0 16 0 19 0 833742836 10874097664 936243 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 5 0 0 0
[pid=29890/tid=29899] ppid=29888 vsize=10619236 CPUtime=1.09 cores=1,3,5,7
/proc/29890/task/29899/stat : 29899 (java) S 29888 29890 29047 0 -1 4202560 12602 0 0 0 108 1 0 0 16 0 19 0 833742836 10874097664 936243 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 5 0 0 0
[pid=29890/tid=29900] ppid=29888 vsize=10619236 CPUtime=1.25 cores=1,3,5,7
/proc/29890/task/29900/stat : 29900 (java) S 29888 29890 29047 0 -1 4202560 13085 0 0 0 124 1 0 0 15 0 19 0 833742836 10874097664 936243 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 1 0 0 0
[pid=29890/tid=29901] ppid=29888 vsize=10619236 CPUtime=0.54 cores=1,3,5,7
/proc/29890/task/29901/stat : 29901 (java) S 29888 29890 29047 0 -1 4202560 7105 0 0 0 50 4 0 0 15 0 19 0 833742837 10874097664 936243 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134530560 0 0 0 16800975 18446604459253969984 0 0 -1 3 0 0 0
[pid=29890/tid=29902] ppid=29888 vsize=10619236 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29902/stat : 29902 (java) S 29888 29890 29047 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833742838 10874097664 936243 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 3 0 0 0
[pid=29890/tid=29903] ppid=29888 vsize=10619236 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29903/stat : 29903 (java) S 29888 29890 29047 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833742838 10874097664 936243 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 3 0 0 0
[pid=29890/tid=29904] ppid=29888 vsize=10619236 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29904/stat : 29904 (java) S 29888 29890 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833742840 10874097664 936243 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134537649 0 4 0 16800975 18446604459253969984 0 0 -1 3 0 0 0
[pid=29890/tid=29905] ppid=29888 vsize=10619236 CPUtime=0.64 cores=1,3,5,7
/proc/29890/task/29905/stat : 29905 (java) S 29888 29890 29047 0 -1 4202560 5643 0 0 0 64 0 0 0 15 0 19 0 833742840 10874097664 936243 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 5 0 0 0
[pid=29890/tid=29906] ppid=29888 vsize=10619236 CPUtime=0.59 cores=1,3,5,7
/proc/29890/task/29906/stat : 29906 (java) S 29888 29890 29047 0 -1 4202560 5415 0 0 0 58 1 0 0 15 0 19 0 833742840 10874097664 936243 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 3 0 0 0
[pid=29890/tid=29907] ppid=29888 vsize=10619236 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29907/stat : 29907 (java) S 29888 29890 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833742840 10874097664 936243 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134529945 0 4 0 16800975 18446604459253969984 0 0 -1 3 0 0 0
[pid=29890/tid=29908] ppid=29888 vsize=10619236 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29908/stat : 29908 (java) S 29888 29890 29047 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 833742840 10874097664 936243 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134530560 0 4 0 16800975 18446604459253969984 0 0 -1 1 0 0 0
[pid=29890/tid=29909] ppid=29888 vsize=10619236 CPUtime=0 cores=1,3,5,7
/proc/29890/task/29909/stat : 29909 (java) S 29888 29890 29047 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833742848 10874097664 936243 33554432000 1073741824 1073778376 140734716212432 18446744073709551615 228134530560 0 4 0 16800975 18446604459253969984 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 10619236
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792.82 s]
/proc/loadavg: 2.00 2.02 2.00 3/498 30008
/proc/meminfo: memFree=21140004/32951124 swapFree=41830676/67111528
[pid=29890] ppid=29888 vsize=0 CPUtime=1800.21 cores=1,3,5,7
/proc/29890/stat : 29890 (java) Z 29888 29890 29047 0 -1 4203548 944481 0 1 0 179895 126 0 0 17 0 2 0 833742834 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29890/statm: 0 0 0 0 0 0 0
[pid=29890/tid=29907] ppid=29888 vsize=0 CPUtime=0.06 cores=1,3,5,7
/proc/29890/task/29907/stat : 29907 (java) R 29888 29890 29047 0 -1 4203588 1 0 0 0 0 6 0 0 18 0 2 0 833742840 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1792.89
CPU time (s): 1800.29
CPU user time (s): 1798.95
CPU system time (s): 1.3318
CPU usage (%): 100.412
Max. virtual memory (cumulated for all children) (KiB): 10619236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.95
system time used= 1.3318
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 944481
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= 44668
involuntary context switches= 14038
runsolver used 8.11677 second user time and 19.642 second system time
The end