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-3456119-1307663212/watcher-3456119-1307663212 -o /tmp/evaluation-result-3456119-1307663212/solver-3456119-1307663212 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456119-1307663212.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: 2.07 2.02 1.95 2/195 7104
/proc/meminfo: memFree=28499036/32951124 swapFree=67053960/67111528
[pid=7104] ppid=7102 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/7104/stat : 7104 (java) R 7102 7104 5749 0 -1 4202496 920 0 0 0 0 0 0 0 25 0 1 0 858736661 23580672 663 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228090488597 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7104/statm: 5757 677 495 9 0 124 0
[startup+0.0540309 s]
/proc/loadavg: 2.07 2.02 1.95 2/195 7104
/proc/meminfo: memFree=28499036/32951124 swapFree=67053960/67111528
[pid=7104] ppid=7102 vsize=10467616 CPUtime=0.03 cores=1,3,5,7
/proc/7104/stat : 7104 (java) S 7102 7104 5749 0 -1 4202496 11439 0 1 0 2 1 0 0 25 0 13 0 858736661 10718838784 11135 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107253733 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0
/proc/7104/statm: 2616904 11135 1684 9 0 2607652 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467616
[startup+0.101018 s]
/proc/loadavg: 2.07 2.02 1.95 2/195 7104
/proc/meminfo: memFree=28499036/32951124 swapFree=67053960/67111528
[pid=7104] ppid=7102 vsize=10540120 CPUtime=0.1 cores=1,3,5,7
/proc/7104/stat : 7104 (java) S 7102 7104 5749 0 -1 4202496 13053 0 1 0 8 2 0 0 25 0 18 0 858736661 10793082880 12746 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7104/statm: 2635030 12747 2093 9 0 2625764 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540120
[startup+0.300978 s]
/proc/loadavg: 2.07 2.02 1.95 2/195 7104
/proc/meminfo: memFree=28499036/32951124 swapFree=67053960/67111528
[pid=7104] ppid=7102 vsize=10541736 CPUtime=0.46 cores=1,3,5,7
/proc/7104/stat : 7104 (java) S 7102 7104 5749 0 -1 4202496 15591 0 1 0 44 2 0 0 25 0 18 0 858736661 10794737664 15090 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7104/statm: 2635434 15090 2216 9 0 2626168 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10541736
[startup+0.700908 s]
/proc/loadavg: 2.07 2.02 1.95 2/195 7104
/proc/meminfo: memFree=28499036/32951124 swapFree=67053960/67111528
[pid=7104] ppid=7102 vsize=10551220 CPUtime=1.55 cores=1,3,5,7
/proc/7104/stat : 7104 (java) S 7102 7104 5749 0 -1 4202496 27382 0 1 0 151 4 0 0 25 0 19 0 858736661 10804449280 24737 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7104/statm: 2637805 24737 2232 9 0 2628539 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 10551220
[startup+1.50077 s]
/proc/loadavg: 2.15 2.03 1.95 3/214 7123
/proc/meminfo: memFree=28315752/32951124 swapFree=67053960/67111528
[pid=7104] ppid=7102 vsize=10551220 CPUtime=2.6 cores=1,3,5,7
/proc/7104/stat : 7104 (java) S 7102 7104 5749 0 -1 4202496 102311 0 1 0 248 12 0 0 25 0 19 0 858736661 10804449280 99665 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7104/statm: 2637805 99671 2237 9 0 2628539 0
[pid=7104/tid=7106] ppid=7102 vsize=10551220 CPUtime=1.48 cores=1,3,5,7
/proc/7104/task/7106/stat : 7106 (java) R 7102 7104 5749 0 -1 4202560 92328 0 1 0 138 10 0 0 18 0 19 0 858736662 10804449280 99675 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 46912505914109 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=7104/tid=7107] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7107/stat : 7107 (java) S 7102 7104 5749 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858736664 10804449280 99678 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=7104/tid=7108] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7108/stat : 7108 (java) S 7102 7104 5749 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858736664 10804449280 99681 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=7104/tid=7109] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7109/stat : 7109 (java) S 7102 7104 5749 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858736664 10804449280 99685 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=7104/tid=7110] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7110/stat : 7110 (java) S 7102 7104 5749 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858736664 10804449280 99690 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=7104/tid=7111] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7111/stat : 7111 (java) S 7102 7104 5749 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858736664 10804449280 99693 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=7104/tid=7112] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7112/stat : 7112 (java) S 7102 7104 5749 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858736664 10804449280 99695 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=7104/tid=7113] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7113/stat : 7113 (java) S 7102 7104 5749 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858736664 10804449280 99699 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=7104/tid=7114] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7114/stat : 7114 (java) S 7102 7104 5749 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858736664 10804449280 99704 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=7104/tid=7115] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7115/stat : 7115 (java) S 7102 7104 5749 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 858736665 10804449280 99707 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107267584 0 0 0 16800975 18446604454223472448 0 0 -1 7 0 0 0
[pid=7104/tid=7116] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7116/stat : 7116 (java) S 7102 7104 5749 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 858736665 10804449280 99710 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=7104/tid=7117] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7117/stat : 7117 (java) S 7102 7104 5749 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858736665 10804449280 99714 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=7104/tid=7118] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7118/stat : 7118 (java) S 7102 7104 5749 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858736668 10804449280 99718 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107274673 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=7104/tid=7119] ppid=7102 vsize=10551220 CPUtime=0.58 cores=1,3,5,7
/proc/7104/task/7119/stat : 7119 (java) S 7102 7104 5749 0 -1 4202560 5268 0 0 0 58 0 0 0 23 0 19 0 858736668 10804449280 99721 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=7104/tid=7120] ppid=7102 vsize=10551220 CPUtime=0.51 cores=1,3,5,7
/proc/7104/task/7120/stat : 7120 (java) S 7102 7104 5749 0 -1 4202560 3564 0 0 0 51 0 0 0 17 0 19 0 858736668 10804449280 99724 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 5 0 0 0
[pid=7104/tid=7121] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7121/stat : 7121 (java) S 7102 7104 5749 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858736668 10804449280 99728 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=7104/tid=7122] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7122/stat : 7122 (java) S 7102 7104 5749 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 858736668 10804449280 99732 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107267584 0 4 0 16800975 18446604454223472448 0 0 -1 7 0 0 0
[pid=7104/tid=7123] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7123/stat : 7123 (java) S 7102 7104 5749 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858736710 10804449280 99735 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107267584 0 4 0 16800975 18446604454223472448 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.6
Current children cumulated vsize (KiB) 10551220
[startup+3.10147 s]
/proc/loadavg: 2.15 2.03 1.95 3/214 7123
/proc/meminfo: memFree=27866500/32951124 swapFree=67053960/67111528
[pid=7104] ppid=7102 vsize=10551220 CPUtime=4.27 cores=1,3,5,7
/proc/7104/stat : 7104 (java) S 7102 7104 5749 0 -1 4202496 249747 0 1 0 399 28 0 0 25 0 19 0 858736661 10804449280 247100 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7104/statm: 2637805 247102 2238 9 0 2628539 0
[pid=7104/tid=7106] ppid=7102 vsize=10551220 CPUtime=3.08 cores=1,3,5,7
/proc/7104/task/7106/stat : 7106 (java) R 7102 7104 5749 0 -1 4202560 239754 0 1 0 282 26 0 0 18 0 19 0 858736662 10804449280 247106 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 46912505614257 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=7104/tid=7107] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7107/stat : 7107 (java) S 7102 7104 5749 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858736664 10804449280 247107 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=7104/tid=7108] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7108/stat : 7108 (java) S 7102 7104 5749 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858736664 10804449280 247110 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=7104/tid=7109] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7109/stat : 7109 (java) S 7102 7104 5749 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858736664 10804449280 247113 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=7104/tid=7110] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7110/stat : 7110 (java) S 7102 7104 5749 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858736664 10804449280 247114 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=7104/tid=7111] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7111/stat : 7111 (java) S 7102 7104 5749 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858736664 10804449280 247115 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=7104/tid=7112] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7112/stat : 7112 (java) S 7102 7104 5749 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858736664 10804449280 247115 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=7104/tid=7113] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7113/stat : 7113 (java) S 7102 7104 5749 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858736664 10804449280 247115 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=7104/tid=7114] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7114/stat : 7114 (java) S 7102 7104 5749 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858736664 10804449280 247115 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=7104/tid=7115] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7115/stat : 7115 (java) S 7102 7104 5749 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 858736665 10804449280 247115 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107267584 0 0 0 16800975 18446604454223472448 0 0 -1 7 0 0 0
[pid=7104/tid=7116] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7116/stat : 7116 (java) S 7102 7104 5749 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 858736665 10804449280 247115 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=7104/tid=7117] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7117/stat : 7117 (java) S 7102 7104 5749 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858736665 10804449280 247115 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=7104/tid=7118] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7118/stat : 7118 (java) S 7102 7104 5749 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858736668 10804449280 247117 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107274673 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=7104/tid=7119] ppid=7102 vsize=10551220 CPUtime=0.61 cores=1,3,5,7
/proc/7104/task/7119/stat : 7119 (java) S 7102 7104 5749 0 -1 4202560 5272 0 0 0 61 0 0 0 15 0 19 0 858736668 10804449280 247124 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=7104/tid=7120] ppid=7102 vsize=10551220 CPUtime=0.54 cores=1,3,5,7
/proc/7104/task/7120/stat : 7120 (java) S 7102 7104 5749 0 -1 4202560 3567 0 0 0 54 0 0 0 15 0 19 0 858736668 10804449280 247125 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 5 0 0 0
[pid=7104/tid=7121] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7121/stat : 7121 (java) S 7102 7104 5749 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858736668 10804449280 247125 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=7104/tid=7122] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7122/stat : 7122 (java) S 7102 7104 5749 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 858736668 10804449280 247125 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107267584 0 4 0 16800975 18446604454223472448 0 0 -1 7 0 0 0
[pid=7104/tid=7123] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7123/stat : 7123 (java) S 7102 7104 5749 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858736710 10804449280 247125 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107267584 0 4 0 16800975 18446604454223472448 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.27
Current children cumulated vsize (KiB) 10551220
[startup+6.30089 s]
/proc/loadavg: 2.13 2.03 1.95 3/214 7123
/proc/meminfo: memFree=26675220/32951124 swapFree=67053960/67111528
[pid=7104] ppid=7102 vsize=10551220 CPUtime=7.57 cores=1,3,5,7
/proc/7104/stat : 7104 (java) S 7102 7104 5749 0 -1 4202496 539904 0 1 0 702 55 0 0 25 0 19 0 858736661 10804449280 537229 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7104/statm: 2637805 537232 2239 9 0 2628539 0
[pid=7104/tid=7106] ppid=7102 vsize=10551220 CPUtime=6.28 cores=1,3,5,7
/proc/7104/task/7106/stat : 7106 (java) R 7102 7104 5749 0 -1 4202560 529886 0 1 0 575 53 0 0 21 0 19 0 858736662 10804449280 537234 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 46912505614257 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=7104/tid=7107] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7107/stat : 7107 (java) S 7102 7104 5749 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858736664 10804449280 537235 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=7104/tid=7108] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7108/stat : 7108 (java) S 7102 7104 5749 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858736664 10804449280 537237 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=7104/tid=7109] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7109/stat : 7109 (java) S 7102 7104 5749 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858736664 10804449280 537239 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=7104/tid=7110] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7110/stat : 7110 (java) S 7102 7104 5749 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858736664 10804449280 537240 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=7104/tid=7111] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7111/stat : 7111 (java) S 7102 7104 5749 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858736664 10804449280 537242 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=7104/tid=7112] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7112/stat : 7112 (java) S 7102 7104 5749 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858736664 10804449280 537244 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=7104/tid=7113] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7113/stat : 7113 (java) S 7102 7104 5749 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858736664 10804449280 537245 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=7104/tid=7114] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7114/stat : 7114 (java) S 7102 7104 5749 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858736664 10804449280 537247 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=7104/tid=7115] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7115/stat : 7115 (java) S 7102 7104 5749 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 858736665 10804449280 537248 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107267584 0 0 0 16800975 18446604454223472448 0 0 -1 7 0 0 0
[pid=7104/tid=7116] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7116/stat : 7116 (java) S 7102 7104 5749 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 858736665 10804449280 537250 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=7104/tid=7117] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7117/stat : 7117 (java) S 7102 7104 5749 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858736665 10804449280 537251 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=7104/tid=7118] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7118/stat : 7118 (java) S 7102 7104 5749 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858736668 10804449280 537253 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107274673 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=7104/tid=7119] ppid=7102 vsize=10551220 CPUtime=0.67 cores=1,3,5,7
/proc/7104/task/7119/stat : 7119 (java) S 7102 7104 5749 0 -1 4202560 5288 0 0 0 67 0 0 0 15 0 19 0 858736668 10804449280 537255 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=7104/tid=7120] ppid=7102 vsize=10551220 CPUtime=0.59 cores=1,3,5,7
/proc/7104/task/7120/stat : 7120 (java) S 7102 7104 5749 0 -1 4202560 3573 0 0 0 59 0 0 0 15 0 19 0 858736668 10804449280 537257 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 5 0 0 0
[pid=7104/tid=7121] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7121/stat : 7121 (java) S 7102 7104 5749 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858736668 10804449280 537259 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=7104/tid=7122] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7122/stat : 7122 (java) S 7102 7104 5749 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 858736668 10804449280 537260 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107267584 0 4 0 16800975 18446604454223472448 0 0 -1 7 0 0 0
[pid=7104/tid=7123] ppid=7102 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7123/stat : 7123 (java) S 7102 7104 5749 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858736710 10804449280 537262 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107267584 0 4 0 16800975 18446604454223472448 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.57
Current children cumulated vsize (KiB) 10551220
[startup+12.7007 s]
################
# More data... #
################
/proc/7104/task/7116/stat : 7116 (java) S 7102 7104 5749 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858736665 10802118656 1020659 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=7104/tid=7117] ppid=7102 vsize=10548944 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7117/stat : 7117 (java) S 7102 7104 5749 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 858736665 10802118656 1020659 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=7104/tid=7118] ppid=7102 vsize=10548944 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7118/stat : 7118 (java) S 7102 7104 5749 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858736668 10802118656 1020659 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107274673 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=7104/tid=7119] ppid=7102 vsize=10548944 CPUtime=0.88 cores=1,3,5,7
/proc/7104/task/7119/stat : 7119 (java) S 7102 7104 5749 0 -1 4202560 5392 0 0 0 88 0 0 0 15 0 19 0 858736668 10802118656 1020659 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=7104/tid=7120] ppid=7102 vsize=10548944 CPUtime=0.7 cores=1,3,5,7
/proc/7104/task/7120/stat : 7120 (java) S 7102 7104 5749 0 -1 4202560 3582 0 0 0 70 0 0 0 15 0 19 0 858736668 10802118656 1020659 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 5 0 0 0
[pid=7104/tid=7121] ppid=7102 vsize=10548944 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7121/stat : 7121 (java) S 7102 7104 5749 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858736668 10802118656 1020659 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=7104/tid=7122] ppid=7102 vsize=10548944 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7122/stat : 7122 (java) S 7102 7104 5749 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 858736668 10802118656 1020659 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107267584 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=7104/tid=7123] ppid=7102 vsize=10548944 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7123/stat : 7123 (java) S 7102 7104 5749 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858736710 10802118656 1020659 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107267584 0 4 0 16800975 18446604454223472448 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1669.62
Current children cumulated vsize (KiB) 10548944
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/214 7236
/proc/meminfo: memFree=23984484/32951124 swapFree=67053960/67111528
[pid=7104] ppid=7102 vsize=10548944 CPUtime=1729.79 cores=1,3,5,7
/proc/7104/stat : 7104 (java) S 7102 7104 5749 0 -1 4202496 1028825 0 1 0 172867 112 0 0 25 0 19 0 858736661 10802118656 1021942 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7104/statm: 2637236 1021942 2269 9 0 2627970 0
[pid=7104/tid=7106] ppid=7102 vsize=10548944 CPUtime=1719.52 cores=1,3,5,7
/proc/7104/task/7106/stat : 7106 (java) R 7102 7104 5749 0 -1 4202560 806005 0 1 0 171871 81 0 0 25 0 19 0 858736662 10802118656 1021942 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 46912505803195 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=7104/tid=7107] ppid=7102 vsize=10548944 CPUtime=1.17 cores=1,3,5,7
/proc/7104/task/7107/stat : 7107 (java) S 7102 7104 5749 0 -1 4202560 33053 0 0 0 114 3 0 0 15 0 19 0 858736664 10802118656 1021942 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=7104/tid=7108] ppid=7102 vsize=10548944 CPUtime=0.89 cores=1,3,5,7
/proc/7104/task/7108/stat : 7108 (java) S 7102 7104 5749 0 -1 4202560 25159 0 0 0 85 4 0 0 16 0 19 0 858736664 10802118656 1021942 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 7 0 0 0
[pid=7104/tid=7109] ppid=7102 vsize=10548944 CPUtime=0.8 cores=1,3,5,7
/proc/7104/task/7109/stat : 7109 (java) S 7102 7104 5749 0 -1 4202560 18004 0 0 0 78 2 0 0 16 0 19 0 858736664 10802118656 1021942 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=7104/tid=7110] ppid=7102 vsize=10548944 CPUtime=1.06 cores=1,3,5,7
/proc/7104/task/7110/stat : 7110 (java) S 7102 7104 5749 0 -1 4202560 29959 0 0 0 102 4 0 0 16 0 19 0 858736664 10802118656 1021942 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=7104/tid=7111] ppid=7102 vsize=10548944 CPUtime=0.99 cores=1,3,5,7
/proc/7104/task/7111/stat : 7111 (java) S 7102 7104 5749 0 -1 4202560 25917 0 0 0 95 4 0 0 15 0 19 0 858736664 10802118656 1021942 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 7 0 0 0
[pid=7104/tid=7112] ppid=7102 vsize=10548944 CPUtime=1.1 cores=1,3,5,7
/proc/7104/task/7112/stat : 7112 (java) S 7102 7104 5749 0 -1 4202560 28423 0 0 0 107 3 0 0 16 0 19 0 858736664 10802118656 1021942 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=7104/tid=7113] ppid=7102 vsize=10548944 CPUtime=0.98 cores=1,3,5,7
/proc/7104/task/7113/stat : 7113 (java) S 7102 7104 5749 0 -1 4202560 24275 0 0 0 96 2 0 0 15 0 19 0 858736664 10802118656 1021942 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 7 0 0 0
[pid=7104/tid=7114] ppid=7102 vsize=10548944 CPUtime=0.86 cores=1,3,5,7
/proc/7104/task/7114/stat : 7114 (java) S 7102 7104 5749 0 -1 4202560 26645 0 0 0 84 2 0 0 16 0 19 0 858736664 10802118656 1021942 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 5 0 0 0
[pid=7104/tid=7115] ppid=7102 vsize=10548944 CPUtime=0.7 cores=1,3,5,7
/proc/7104/task/7115/stat : 7115 (java) S 7102 7104 5749 0 -1 4202560 1156 0 0 0 70 0 0 0 15 0 19 0 858736665 10802118656 1021942 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107267584 0 0 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=7104/tid=7116] ppid=7102 vsize=10548944 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7116/stat : 7116 (java) S 7102 7104 5749 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858736665 10802118656 1021942 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=7104/tid=7117] ppid=7102 vsize=10548944 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7117/stat : 7117 (java) S 7102 7104 5749 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 858736665 10802118656 1021942 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=7104/tid=7118] ppid=7102 vsize=10548944 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7118/stat : 7118 (java) S 7102 7104 5749 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858736668 10802118656 1021942 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107274673 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=7104/tid=7119] ppid=7102 vsize=10548944 CPUtime=0.88 cores=1,3,5,7
/proc/7104/task/7119/stat : 7119 (java) S 7102 7104 5749 0 -1 4202560 5392 0 0 0 88 0 0 0 15 0 19 0 858736668 10802118656 1021942 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=7104/tid=7120] ppid=7102 vsize=10548944 CPUtime=0.7 cores=1,3,5,7
/proc/7104/task/7120/stat : 7120 (java) S 7102 7104 5749 0 -1 4202560 3582 0 0 0 70 0 0 0 15 0 19 0 858736668 10802118656 1021942 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 5 0 0 0
[pid=7104/tid=7121] ppid=7102 vsize=10548944 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7121/stat : 7121 (java) S 7102 7104 5749 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858736668 10802118656 1021942 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=7104/tid=7122] ppid=7102 vsize=10548944 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7122/stat : 7122 (java) S 7102 7104 5749 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 858736668 10802118656 1021942 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107267584 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=7104/tid=7123] ppid=7102 vsize=10548944 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7123/stat : 7123 (java) S 7102 7104 5749 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858736710 10802118656 1021942 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107267584 0 4 0 16800975 18446604454223472448 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1729.79
Current children cumulated vsize (KiB) 10548944
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/214 7238
/proc/meminfo: memFree=23972036/32951124 swapFree=67053960/67111528
[pid=7104] ppid=7102 vsize=10548944 CPUtime=1789.94 cores=1,3,5,7
/proc/7104/stat : 7104 (java) S 7102 7104 5749 0 -1 4202496 1029378 0 1 0 178882 112 0 0 25 0 19 0 858736661 10802118656 1022477 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7104/statm: 2637236 1022477 2269 9 0 2627970 0
[pid=7104/tid=7106] ppid=7102 vsize=10548944 CPUtime=1779.46 cores=1,3,5,7
/proc/7104/task/7106/stat : 7106 (java) R 7102 7104 5749 0 -1 4202560 806008 0 1 0 177865 81 0 0 25 0 19 0 858736662 10802118656 1022477 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 46912505803197 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=7104/tid=7107] ppid=7102 vsize=10548944 CPUtime=1.17 cores=1,3,5,7
/proc/7104/task/7107/stat : 7107 (java) S 7102 7104 5749 0 -1 4202560 33053 0 0 0 114 3 0 0 15 0 19 0 858736664 10802118656 1022477 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=7104/tid=7108] ppid=7102 vsize=10548944 CPUtime=0.9 cores=1,3,5,7
/proc/7104/task/7108/stat : 7108 (java) S 7102 7104 5749 0 -1 4202560 25225 0 0 0 86 4 0 0 15 0 19 0 858736664 10802118656 1022477 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 7 0 0 0
[pid=7104/tid=7109] ppid=7102 vsize=10548944 CPUtime=0.86 cores=1,3,5,7
/proc/7104/task/7109/stat : 7109 (java) S 7102 7104 5749 0 -1 4202560 18175 0 0 0 84 2 0 0 16 0 19 0 858736664 10802118656 1022477 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=7104/tid=7110] ppid=7102 vsize=10548944 CPUtime=1.12 cores=1,3,5,7
/proc/7104/task/7110/stat : 7110 (java) S 7102 7104 5749 0 -1 4202560 30118 0 0 0 108 4 0 0 16 0 19 0 858736664 10802118656 1022477 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 7 0 0 0
[pid=7104/tid=7111] ppid=7102 vsize=10548944 CPUtime=1.03 cores=1,3,5,7
/proc/7104/task/7111/stat : 7111 (java) S 7102 7104 5749 0 -1 4202560 25974 0 0 0 99 4 0 0 16 0 19 0 858736664 10802118656 1022477 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=7104/tid=7112] ppid=7102 vsize=10548944 CPUtime=1.1 cores=1,3,5,7
/proc/7104/task/7112/stat : 7112 (java) S 7102 7104 5749 0 -1 4202560 28423 0 0 0 107 3 0 0 15 0 19 0 858736664 10802118656 1022477 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=7104/tid=7113] ppid=7102 vsize=10548944 CPUtime=1 cores=1,3,5,7
/proc/7104/task/7113/stat : 7113 (java) S 7102 7104 5749 0 -1 4202560 24295 0 0 0 98 2 0 0 15 0 19 0 858736664 10802118656 1022477 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 7 0 0 0
[pid=7104/tid=7114] ppid=7102 vsize=10548944 CPUtime=0.9 cores=1,3,5,7
/proc/7104/task/7114/stat : 7114 (java) S 7102 7104 5749 0 -1 4202560 26716 0 0 0 88 2 0 0 16 0 19 0 858736664 10802118656 1022477 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 5 0 0 0
[pid=7104/tid=7115] ppid=7102 vsize=10548944 CPUtime=0.71 cores=1,3,5,7
/proc/7104/task/7115/stat : 7115 (java) S 7102 7104 5749 0 -1 4202560 1160 0 0 0 70 1 0 0 15 0 19 0 858736665 10802118656 1022477 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107267584 0 0 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=7104/tid=7116] ppid=7102 vsize=10548944 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7116/stat : 7116 (java) S 7102 7104 5749 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858736665 10802118656 1022477 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=7104/tid=7117] ppid=7102 vsize=10548944 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7117/stat : 7117 (java) S 7102 7104 5749 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 858736665 10802118656 1022477 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=7104/tid=7118] ppid=7102 vsize=10548944 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7118/stat : 7118 (java) S 7102 7104 5749 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858736668 10802118656 1022477 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107274673 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=7104/tid=7119] ppid=7102 vsize=10548944 CPUtime=0.88 cores=1,3,5,7
/proc/7104/task/7119/stat : 7119 (java) S 7102 7104 5749 0 -1 4202560 5392 0 0 0 88 0 0 0 15 0 19 0 858736668 10802118656 1022477 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=7104/tid=7120] ppid=7102 vsize=10548944 CPUtime=0.7 cores=1,3,5,7
/proc/7104/task/7120/stat : 7120 (java) S 7102 7104 5749 0 -1 4202560 3582 0 0 0 70 0 0 0 15 0 19 0 858736668 10802118656 1022477 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 5 0 0 0
[pid=7104/tid=7121] ppid=7102 vsize=10548944 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7121/stat : 7121 (java) S 7102 7104 5749 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858736668 10802118656 1022477 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=7104/tid=7122] ppid=7102 vsize=10548944 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7122/stat : 7122 (java) S 7102 7104 5749 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 858736668 10802118656 1022477 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107267584 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=7104/tid=7123] ppid=7102 vsize=10548944 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7123/stat : 7123 (java) S 7102 7104 5749 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858736710 10802118656 1022477 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107267584 0 4 0 16800975 18446604454223472448 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1789.94
Current children cumulated vsize (KiB) 10548944
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.4 s]
/proc/loadavg: 2.00 2.02 2.00 3/214 7238
/proc/meminfo: memFree=23969300/32951124 swapFree=67053960/67111528
[pid=7104] ppid=7102 vsize=10548944 CPUtime=1800.05 cores=1,3,5,7
/proc/7104/stat : 7104 (java) S 7102 7104 5749 0 -1 4202496 1029380 0 1 0 179893 112 0 0 25 0 19 0 858736661 10802118656 1022477 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7104/statm: 2637236 1022477 2269 9 0 2627970 0
[pid=7104/tid=7106] ppid=7102 vsize=10548944 CPUtime=1789.57 cores=1,3,5,7
/proc/7104/task/7106/stat : 7106 (java) R 7102 7104 5749 0 -1 4202560 806008 0 1 0 178876 81 0 0 25 0 19 0 858736662 10802118656 1022477 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 46912505791588 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=7104/tid=7107] ppid=7102 vsize=10548944 CPUtime=1.17 cores=1,3,5,7
/proc/7104/task/7107/stat : 7107 (java) S 7102 7104 5749 0 -1 4202560 33053 0 0 0 114 3 0 0 15 0 19 0 858736664 10802118656 1022477 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=7104/tid=7108] ppid=7102 vsize=10548944 CPUtime=0.9 cores=1,3,5,7
/proc/7104/task/7108/stat : 7108 (java) S 7102 7104 5749 0 -1 4202560 25225 0 0 0 86 4 0 0 15 0 19 0 858736664 10802118656 1022477 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 7 0 0 0
[pid=7104/tid=7109] ppid=7102 vsize=10548944 CPUtime=0.86 cores=1,3,5,7
/proc/7104/task/7109/stat : 7109 (java) S 7102 7104 5749 0 -1 4202560 18175 0 0 0 84 2 0 0 16 0 19 0 858736664 10802118656 1022477 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=7104/tid=7110] ppid=7102 vsize=10548944 CPUtime=1.12 cores=1,3,5,7
/proc/7104/task/7110/stat : 7110 (java) S 7102 7104 5749 0 -1 4202560 30118 0 0 0 108 4 0 0 16 0 19 0 858736664 10802118656 1022477 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 7 0 0 0
[pid=7104/tid=7111] ppid=7102 vsize=10548944 CPUtime=1.03 cores=1,3,5,7
/proc/7104/task/7111/stat : 7111 (java) S 7102 7104 5749 0 -1 4202560 25974 0 0 0 99 4 0 0 16 0 19 0 858736664 10802118656 1022477 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=7104/tid=7112] ppid=7102 vsize=10548944 CPUtime=1.1 cores=1,3,5,7
/proc/7104/task/7112/stat : 7112 (java) S 7102 7104 5749 0 -1 4202560 28423 0 0 0 107 3 0 0 15 0 19 0 858736664 10802118656 1022477 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=7104/tid=7113] ppid=7102 vsize=10548944 CPUtime=1 cores=1,3,5,7
/proc/7104/task/7113/stat : 7113 (java) S 7102 7104 5749 0 -1 4202560 24295 0 0 0 98 2 0 0 15 0 19 0 858736664 10802118656 1022477 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 7 0 0 0
[pid=7104/tid=7114] ppid=7102 vsize=10548944 CPUtime=0.9 cores=1,3,5,7
/proc/7104/task/7114/stat : 7114 (java) S 7102 7104 5749 0 -1 4202560 26716 0 0 0 88 2 0 0 16 0 19 0 858736664 10802118656 1022477 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 5 0 0 0
[pid=7104/tid=7115] ppid=7102 vsize=10548944 CPUtime=0.71 cores=1,3,5,7
/proc/7104/task/7115/stat : 7115 (java) S 7102 7104 5749 0 -1 4202560 1160 0 0 0 70 1 0 0 15 0 19 0 858736665 10802118656 1022477 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107267584 0 0 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=7104/tid=7116] ppid=7102 vsize=10548944 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7116/stat : 7116 (java) S 7102 7104 5749 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858736665 10802118656 1022477 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=7104/tid=7117] ppid=7102 vsize=10548944 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7117/stat : 7117 (java) S 7102 7104 5749 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 858736665 10802118656 1022477 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=7104/tid=7118] ppid=7102 vsize=10548944 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7118/stat : 7118 (java) S 7102 7104 5749 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858736668 10802118656 1022477 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107274673 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=7104/tid=7119] ppid=7102 vsize=10548944 CPUtime=0.88 cores=1,3,5,7
/proc/7104/task/7119/stat : 7119 (java) S 7102 7104 5749 0 -1 4202560 5392 0 0 0 88 0 0 0 15 0 19 0 858736668 10802118656 1022477 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 3 0 0 0
[pid=7104/tid=7120] ppid=7102 vsize=10548944 CPUtime=0.7 cores=1,3,5,7
/proc/7104/task/7120/stat : 7120 (java) S 7102 7104 5749 0 -1 4202560 3582 0 0 0 70 0 0 0 15 0 19 0 858736668 10802118656 1022477 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 5 0 0 0
[pid=7104/tid=7121] ppid=7102 vsize=10548944 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7121/stat : 7121 (java) S 7102 7104 5749 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858736668 10802118656 1022477 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107266969 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=7104/tid=7122] ppid=7102 vsize=10548944 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7122/stat : 7122 (java) S 7102 7104 5749 0 -1 4202560 108 0 0 0 0 0 0 0 15 0 19 0 858736668 10802118656 1022477 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107267584 0 4 0 16800975 18446604454223472448 0 0 -1 1 0 0 0
[pid=7104/tid=7123] ppid=7102 vsize=10548944 CPUtime=0 cores=1,3,5,7
/proc/7104/task/7123/stat : 7123 (java) S 7102 7104 5749 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858736710 10802118656 1022477 33554432000 1073741824 1073778376 140733483006752 18446744073709551615 228107267584 0 4 0 16800975 18446604454223472448 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10548944
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792.51 s]
/proc/loadavg: 2.00 2.02 2.00 3/214 7238
/proc/meminfo: memFree=23969300/32951124 swapFree=67053960/67111528
[pid=7104] ppid=7102 vsize=0 CPUtime=1800.22 cores=1,3,5,7
/proc/7104/stat : 7104 (java) Z 7102 7104 5749 0 -1 4203548 1029574 0 1 0 179903 119 0 0 17 0 2 0 858736661 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7104/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1792.59
CPU time (s): 1800.3
CPU user time (s): 1799.03
CPU system time (s): 1.27081
CPU usage (%): 100.43
Max. virtual memory (cumulated for all children) (KiB): 10551220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.03
system time used= 1.27081
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1029574
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= 39328
involuntary context switches= 15820
runsolver used 3.04554 second user time and 6.75197 second system time
The end