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-3456100-1307662852/watcher-3456100-1307662852 -o /tmp/evaluation-result-3456100-1307662852/solver-3456100-1307662852 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456100-1307662852.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.04 2.13 2/179 29666
/proc/meminfo: memFree=29305268/32950928 swapFree=67079488/67111528
[pid=29666] ppid=29664 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/29666/stat : 29666 (java) R 29664 29666 28625 0 -1 4202496 956 0 0 0 0 0 0 0 25 0 1 0 877884844 23580672 701 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274469004776 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/29666/statm: 5757 701 517 9 0 124 0
[startup+0.0612699 s]
/proc/loadavg: 2.00 2.04 2.13 2/179 29666
/proc/meminfo: memFree=29305268/32950928 swapFree=67079488/67111528
[pid=29666] ppid=29664 vsize=10472784 CPUtime=0.05 cores=0,2,4,6
/proc/29666/stat : 29666 (java) S 29664 29666 28625 0 -1 4202496 11629 0 1 0 4 1 0 0 25 0 18 0 877884844 10724130816 11327 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29666/statm: 2618196 11328 1730 9 0 2608937 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472784
[startup+0.100262 s]
/proc/loadavg: 2.00 2.04 2.13 2/179 29666
/proc/meminfo: memFree=29305268/32950928 swapFree=67079488/67111528
[pid=29666] ppid=29664 vsize=10605432 CPUtime=0.1 cores=0,2,4,6
/proc/29666/stat : 29666 (java) S 29664 29666 28625 0 -1 4202496 13090 0 1 0 9 1 0 0 25 0 18 0 877884844 10859962368 12767 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29666/statm: 2651358 12768 2092 9 0 2642092 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10605432
[startup+0.30023 s]
/proc/loadavg: 2.00 2.04 2.13 2/179 29666
/proc/meminfo: memFree=29305268/32950928 swapFree=67079488/67111528
[pid=29666] ppid=29664 vsize=10606104 CPUtime=0.47 cores=0,2,4,6
/proc/29666/stat : 29666 (java) S 29664 29666 28625 0 -1 4202496 15696 0 1 0 46 1 0 0 25 0 18 0 877884844 10860650496 15088 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29666/statm: 2651526 15089 2216 9 0 2642260 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10606104
[startup+0.700161 s]
/proc/loadavg: 2.00 2.04 2.13 2/179 29666
/proc/meminfo: memFree=29305268/32950928 swapFree=67079488/67111528
[pid=29666] ppid=29664 vsize=10619016 CPUtime=1.64 cores=0,2,4,6
/proc/29666/stat : 29666 (java) S 29664 29666 28625 0 -1 4202496 31721 0 1 0 161 3 0 0 25 0 19 0 877884844 10873872384 28516 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29666/statm: 2654754 28516 2239 9 0 2645488 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 10619016
[startup+1.50116 s]
/proc/loadavg: 2.00 2.04 2.13 4/194 29685
/proc/meminfo: memFree=31962448/32950928 swapFree=67079488/67111528
[pid=29666] ppid=29664 vsize=10619352 CPUtime=3.18 cores=0,2,4,6
/proc/29666/stat : 29666 (java) S 29664 29666 28625 0 -1 4202496 78859 0 1 0 309 9 0 0 25 0 19 0 877884844 10874216448 73981 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29666/statm: 2654838 73983 2243 9 0 2645572 0
[pid=29666/tid=29668] ppid=29664 vsize=10619352 CPUtime=1.48 cores=0,2,4,6
/proc/29666/task/29668/stat : 29668 (java) R 29664 29666 28625 0 -1 4202560 66338 0 1 0 141 7 0 0 25 0 19 0 877884845 10874216448 73984 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 46912505917031 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29666/tid=29669] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29669/stat : 29669 (java) S 29664 29666 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877884846 10874216448 73985 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 4 0 0 0
[pid=29666/tid=29670] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29670/stat : 29670 (java) S 29664 29666 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877884846 10874216448 73986 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 4 0 0 0
[pid=29666/tid=29671] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29671/stat : 29671 (java) S 29664 29666 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877884846 10874216448 73987 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 4 0 0 0
[pid=29666/tid=29672] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29672/stat : 29672 (java) S 29664 29666 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877884846 10874216448 73988 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 4 0 0 0
[pid=29666/tid=29673] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29673/stat : 29673 (java) S 29664 29666 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877884846 10874216448 73989 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 4 0 0 0
[pid=29666/tid=29674] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29674/stat : 29674 (java) S 29664 29666 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877884846 10874216448 73989 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 4 0 0 0
[pid=29666/tid=29675] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29675/stat : 29675 (java) S 29664 29666 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877884846 10874216448 73991 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 4 0 0 0
[pid=29666/tid=29676] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29676/stat : 29676 (java) S 29664 29666 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877884846 10874216448 73992 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 4 0 0 0
[pid=29666/tid=29677] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29677/stat : 29677 (java) S 29664 29666 28625 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877884847 10874216448 73992 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485784064 0 0 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29678] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29678/stat : 29678 (java) S 29664 29666 28625 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877884848 10874216448 73993 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29679] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29679/stat : 29679 (java) S 29664 29666 28625 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 877884848 10874216448 73994 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 6 0 0 0
[pid=29666/tid=29680] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29680/stat : 29680 (java) S 29664 29666 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877884850 10874216448 73995 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485791153 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29681] ppid=29664 vsize=10619352 CPUtime=0.85 cores=0,2,4,6
/proc/29666/task/29681/stat : 29681 (java) S 29664 29666 28625 0 -1 4202560 6550 0 0 0 85 0 0 0 23 0 19 0 877884850 10874216448 73996 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29682] ppid=29664 vsize=10619352 CPUtime=0.81 cores=0,2,4,6
/proc/29666/task/29682/stat : 29682 (java) S 29664 29666 28625 0 -1 4202560 4814 0 0 0 81 0 0 0 23 0 19 0 877884850 10874216448 73997 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 4 0 0 0
[pid=29666/tid=29683] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29683/stat : 29683 (java) S 29664 29666 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877884850 10874216448 73997 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29684] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29684/stat : 29684 (java) S 29664 29666 28625 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877884850 10874216448 73999 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485784064 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29685] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29685/stat : 29685 (java) S 29664 29666 28625 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877884908 10874216448 74000 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485784064 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.18
Current children cumulated vsize (KiB) 10619352
[startup+3.10085 s]
/proc/loadavg: 2.00 2.04 2.13 2/191 29709
/proc/meminfo: memFree=31614868/32950928 swapFree=67079488/67111528
[pid=29666] ppid=29664 vsize=10619352 CPUtime=4.85 cores=0,2,4,6
/proc/29666/stat : 29666 (java) S 29664 29666 28625 0 -1 4202496 217726 0 1 0 460 25 0 0 25 0 19 0 877884844 10874216448 212846 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29666/statm: 2654838 212846 2243 9 0 2645572 0
[pid=29666/tid=29668] ppid=29664 vsize=10619352 CPUtime=3.08 cores=0,2,4,6
/proc/29666/task/29668/stat : 29668 (java) R 29664 29666 28625 0 -1 4202560 205194 0 1 0 285 23 0 0 25 0 19 0 877884845 10874216448 212846 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 46912506065037 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29666/tid=29669] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29669/stat : 29669 (java) S 29664 29666 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877884846 10874216448 212846 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 4 0 0 0
[pid=29666/tid=29670] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29670/stat : 29670 (java) S 29664 29666 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877884846 10874216448 212846 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 4 0 0 0
[pid=29666/tid=29671] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29671/stat : 29671 (java) S 29664 29666 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877884846 10874216448 212846 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 4 0 0 0
[pid=29666/tid=29672] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29672/stat : 29672 (java) S 29664 29666 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877884846 10874216448 212846 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 4 0 0 0
[pid=29666/tid=29673] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29673/stat : 29673 (java) S 29664 29666 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877884846 10874216448 212846 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 4 0 0 0
[pid=29666/tid=29674] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29674/stat : 29674 (java) S 29664 29666 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877884846 10874216448 212846 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 4 0 0 0
[pid=29666/tid=29675] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29675/stat : 29675 (java) S 29664 29666 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877884846 10874216448 212846 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 4 0 0 0
[pid=29666/tid=29676] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29676/stat : 29676 (java) S 29664 29666 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877884846 10874216448 212846 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 4 0 0 0
[pid=29666/tid=29677] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29677/stat : 29677 (java) S 29664 29666 28625 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877884847 10874216448 212846 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485784064 0 0 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29678] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29678/stat : 29678 (java) S 29664 29666 28625 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877884848 10874216448 212846 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29679] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29679/stat : 29679 (java) S 29664 29666 28625 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 877884848 10874216448 212846 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 6 0 0 0
[pid=29666/tid=29680] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29680/stat : 29680 (java) S 29664 29666 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877884850 10874216448 212846 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485791153 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29681] ppid=29664 vsize=10619352 CPUtime=0.87 cores=0,2,4,6
/proc/29666/task/29681/stat : 29681 (java) S 29664 29666 28625 0 -1 4202560 6552 0 0 0 87 0 0 0 15 0 19 0 877884850 10874216448 212846 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29682] ppid=29664 vsize=10619352 CPUtime=0.87 cores=0,2,4,6
/proc/29666/task/29682/stat : 29682 (java) S 29664 29666 28625 0 -1 4202560 4820 0 0 0 87 0 0 0 15 0 19 0 877884850 10874216448 212847 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 4 0 0 0
[pid=29666/tid=29683] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29683/stat : 29683 (java) S 29664 29666 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877884850 10874216448 212847 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29684] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29684/stat : 29684 (java) S 29664 29666 28625 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877884850 10874216448 212847 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485784064 0 4 0 16800975 18446604453984687168 0 0 -1 6 0 0 0
[pid=29666/tid=29685] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29685/stat : 29685 (java) S 29664 29666 28625 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877884908 10874216448 212847 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485784064 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.85
Current children cumulated vsize (KiB) 10619352
[startup+6.30131 s]
/proc/loadavg: 2.00 2.04 2.13 3/214 29741
/proc/meminfo: memFree=29661768/32950928 swapFree=67079488/67111528
[pid=29666] ppid=29664 vsize=10619352 CPUtime=8.11 cores=0,2,4,6
/proc/29666/stat : 29666 (java) S 29664 29666 28625 0 -1 4202496 459430 0 1 0 759 52 0 0 25 0 19 0 877884844 10874216448 454482 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29666/statm: 2654838 454482 2245 9 0 2645572 0
[pid=29666/tid=29668] ppid=29664 vsize=10619352 CPUtime=6.28 cores=0,2,4,6
/proc/29666/task/29668/stat : 29668 (java) R 29664 29666 28625 0 -1 4202560 446891 0 1 0 578 50 0 0 25 0 19 0 877884845 10874216448 454482 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 46912506065003 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29666/tid=29669] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29669/stat : 29669 (java) S 29664 29666 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877884846 10874216448 454482 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 4 0 0 0
[pid=29666/tid=29670] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29670/stat : 29670 (java) S 29664 29666 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877884846 10874216448 454482 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 4 0 0 0
[pid=29666/tid=29671] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29671/stat : 29671 (java) S 29664 29666 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877884846 10874216448 454482 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 4 0 0 0
[pid=29666/tid=29672] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29672/stat : 29672 (java) S 29664 29666 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877884846 10874216448 454482 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 4 0 0 0
[pid=29666/tid=29673] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29673/stat : 29673 (java) S 29664 29666 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877884846 10874216448 454482 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 4 0 0 0
[pid=29666/tid=29674] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29674/stat : 29674 (java) S 29664 29666 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877884846 10874216448 454483 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 4 0 0 0
[pid=29666/tid=29675] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29675/stat : 29675 (java) S 29664 29666 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877884846 10874216448 454483 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 4 0 0 0
[pid=29666/tid=29676] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29676/stat : 29676 (java) S 29664 29666 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877884846 10874216448 454483 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 4 0 0 0
[pid=29666/tid=29677] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29677/stat : 29677 (java) S 29664 29666 28625 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 877884847 10874216448 454483 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485784064 0 0 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29678] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29678/stat : 29678 (java) S 29664 29666 28625 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877884848 10874216448 454483 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29679] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29679/stat : 29679 (java) S 29664 29666 28625 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 877884848 10874216448 454483 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 6 0 0 0
[pid=29666/tid=29680] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29680/stat : 29680 (java) S 29664 29666 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877884850 10874216448 454483 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485791153 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29681] ppid=29664 vsize=10619352 CPUtime=0.92 cores=0,2,4,6
/proc/29666/task/29681/stat : 29681 (java) S 29664 29666 28625 0 -1 4202560 6555 0 0 0 92 0 0 0 15 0 19 0 877884850 10874216448 454483 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29682] ppid=29664 vsize=10619352 CPUtime=0.88 cores=0,2,4,6
/proc/29666/task/29682/stat : 29682 (java) S 29664 29666 28625 0 -1 4202560 4823 0 0 0 88 0 0 0 15 0 19 0 877884850 10874216448 454486 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 4 0 0 0
[pid=29666/tid=29683] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29683/stat : 29683 (java) S 29664 29666 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877884850 10874216448 454491 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29684] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29684/stat : 29684 (java) S 29664 29666 28625 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 877884850 10874216448 454491 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485784064 0 4 0 16800975 18446604453984687168 0 0 -1 6 0 0 0
[pid=29666/tid=29685] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29685/stat : 29685 (java) S 29664 29666 28625 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877884908 10874216448 454491 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485784064 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 8.11
Current children cumulated vsize (KiB) 10619352
[startup+12.7012 s]
################
# More data... #
################
/proc/29666/task/29679/stat : 29679 (java) S 29664 29666 28625 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877884848 10874216448 992276 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 6 0 0 0
[pid=29666/tid=29680] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29680/stat : 29680 (java) S 29664 29666 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877884850 10874216448 992276 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485791153 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29681] ppid=29664 vsize=10619352 CPUtime=1.03 cores=0,2,4,6
/proc/29666/task/29681/stat : 29681 (java) S 29664 29666 28625 0 -1 4202560 6564 0 0 0 103 0 0 0 15 0 19 0 877884850 10874216448 992276 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29682] ppid=29664 vsize=10619352 CPUtime=1.09 cores=0,2,4,6
/proc/29666/task/29682/stat : 29682 (java) S 29664 29666 28625 0 -1 4202560 4849 0 0 0 109 0 0 0 15 0 19 0 877884850 10874216448 992276 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 4 0 0 0
[pid=29666/tid=29683] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29683/stat : 29683 (java) S 29664 29666 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877884850 10874216448 992276 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29684] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29684/stat : 29684 (java) S 29664 29666 28625 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 877884850 10874216448 992276 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485784064 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29685] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29685/stat : 29685 (java) S 29664 29666 28625 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877884908 10874216448 992276 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485784064 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1668.67
Current children cumulated vsize (KiB) 10619352
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/214 29799
/proc/meminfo: memFree=24223440/32950928 swapFree=67079488/67111528
[pid=29666] ppid=29664 vsize=10619352 CPUtime=1728.79 cores=0,2,4,6
/proc/29666/stat : 29666 (java) S 29664 29666 28625 0 -1 4202496 1000726 0 1 0 172761 118 0 0 25 0 19 0 877884844 10874216448 992656 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29666/statm: 2654838 992656 2271 9 0 2645572 0
[pid=29666/tid=29668] ppid=29664 vsize=10619352 CPUtime=1719.93 cores=0,2,4,6
/proc/29666/task/29668/stat : 29668 (java) R 29664 29666 28625 0 -1 4202560 795346 0 1 0 171903 90 0 0 25 0 19 0 877884845 10874216448 992656 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 46912505955788 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29666/tid=29669] ppid=29664 vsize=10619352 CPUtime=0.69 cores=0,2,4,6
/proc/29666/task/29669/stat : 29669 (java) S 29664 29666 28625 0 -1 4202560 21755 0 0 0 67 2 0 0 16 0 19 0 877884846 10874216448 992656 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29670] ppid=29664 vsize=10619352 CPUtime=0.82 cores=0,2,4,6
/proc/29666/task/29670/stat : 29670 (java) S 29664 29666 28625 0 -1 4202560 26768 0 0 0 78 4 0 0 16 0 19 0 877884846 10874216448 992656 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 0 0 0 0
[pid=29666/tid=29671] ppid=29664 vsize=10619352 CPUtime=0.68 cores=0,2,4,6
/proc/29666/task/29671/stat : 29671 (java) S 29664 29666 28625 0 -1 4202560 23700 0 0 0 66 2 0 0 15 0 19 0 877884846 10874216448 992656 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 4 0 0 0
[pid=29666/tid=29672] ppid=29664 vsize=10619352 CPUtime=0.59 cores=0,2,4,6
/proc/29666/task/29672/stat : 29672 (java) S 29664 29666 28625 0 -1 4202560 18900 0 0 0 57 2 0 0 15 0 19 0 877884846 10874216448 992656 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 0 0 0 0
[pid=29666/tid=29673] ppid=29664 vsize=10619352 CPUtime=0.86 cores=0,2,4,6
/proc/29666/task/29673/stat : 29673 (java) S 29664 29666 28625 0 -1 4202560 27521 0 0 0 84 2 0 0 16 0 19 0 877884846 10874216448 992656 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 4 0 0 0
[pid=29666/tid=29674] ppid=29664 vsize=10619352 CPUtime=0.78 cores=0,2,4,6
/proc/29666/task/29674/stat : 29674 (java) S 29664 29666 28625 0 -1 4202560 22350 0 0 0 75 3 0 0 16 0 19 0 877884846 10874216448 992656 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 6 0 0 0
[pid=29666/tid=29675] ppid=29664 vsize=10619352 CPUtime=0.81 cores=0,2,4,6
/proc/29666/task/29675/stat : 29675 (java) S 29664 29666 28625 0 -1 4202560 26846 0 0 0 78 3 0 0 15 0 19 0 877884846 10874216448 992656 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29676] ppid=29664 vsize=10619352 CPUtime=0.63 cores=0,2,4,6
/proc/29666/task/29676/stat : 29676 (java) S 29664 29666 28625 0 -1 4202560 23155 0 0 0 61 2 0 0 15 0 19 0 877884846 10874216448 992656 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 0 0 0 0
[pid=29666/tid=29677] ppid=29664 vsize=10619352 CPUtime=0.73 cores=0,2,4,6
/proc/29666/task/29677/stat : 29677 (java) S 29664 29666 28625 0 -1 4202560 1719 0 0 0 73 0 0 0 15 0 19 0 877884847 10874216448 992656 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485784064 0 0 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29678] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29678/stat : 29678 (java) S 29664 29666 28625 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877884848 10874216448 992656 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29679] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29679/stat : 29679 (java) S 29664 29666 28625 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877884848 10874216448 992656 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 6 0 0 0
[pid=29666/tid=29680] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29680/stat : 29680 (java) S 29664 29666 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877884850 10874216448 992656 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485791153 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29681] ppid=29664 vsize=10619352 CPUtime=1.03 cores=0,2,4,6
/proc/29666/task/29681/stat : 29681 (java) S 29664 29666 28625 0 -1 4202560 6564 0 0 0 103 0 0 0 15 0 19 0 877884850 10874216448 992656 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29682] ppid=29664 vsize=10619352 CPUtime=1.09 cores=0,2,4,6
/proc/29666/task/29682/stat : 29682 (java) S 29664 29666 28625 0 -1 4202560 4849 0 0 0 109 0 0 0 15 0 19 0 877884850 10874216448 992656 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 4 0 0 0
[pid=29666/tid=29683] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29683/stat : 29683 (java) S 29664 29666 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877884850 10874216448 992656 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29684] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29684/stat : 29684 (java) S 29664 29666 28625 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 877884850 10874216448 992656 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485784064 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29685] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29685/stat : 29685 (java) S 29664 29666 28625 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877884908 10874216448 992656 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485784064 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1728.79
Current children cumulated vsize (KiB) 10619352
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 29800
/proc/meminfo: memFree=24207756/32950928 swapFree=67079488/67111528
[pid=29666] ppid=29664 vsize=10619352 CPUtime=1788.85 cores=0,2,4,6
/proc/29666/stat : 29666 (java) S 29664 29666 28625 0 -1 4202496 1001612 0 1 0 178766 119 0 0 25 0 19 0 877884844 10874216448 993516 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29666/statm: 2654838 993516 2271 9 0 2645572 0
[pid=29666/tid=29668] ppid=29664 vsize=10619352 CPUtime=1779.92 cores=0,2,4,6
/proc/29666/task/29668/stat : 29668 (java) R 29664 29666 28625 0 -1 4202560 795347 0 1 0 177902 90 0 0 25 0 19 0 877884845 10874216448 993516 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 46912505969131 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29666/tid=29669] ppid=29664 vsize=10619352 CPUtime=0.69 cores=0,2,4,6
/proc/29666/task/29669/stat : 29669 (java) S 29664 29666 28625 0 -1 4202560 21755 0 0 0 67 2 0 0 15 0 19 0 877884846 10874216448 993516 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29670] ppid=29664 vsize=10619352 CPUtime=0.82 cores=0,2,4,6
/proc/29666/task/29670/stat : 29670 (java) S 29664 29666 28625 0 -1 4202560 26768 0 0 0 78 4 0 0 15 0 19 0 877884846 10874216448 993516 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 0 0 0 0
[pid=29666/tid=29671] ppid=29664 vsize=10619352 CPUtime=0.68 cores=0,2,4,6
/proc/29666/task/29671/stat : 29671 (java) S 29664 29666 28625 0 -1 4202560 23700 0 0 0 66 2 0 0 15 0 19 0 877884846 10874216448 993516 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 4 0 0 0
[pid=29666/tid=29672] ppid=29664 vsize=10619352 CPUtime=0.62 cores=0,2,4,6
/proc/29666/task/29672/stat : 29672 (java) S 29664 29666 28625 0 -1 4202560 19177 0 0 0 59 3 0 0 16 0 19 0 877884846 10874216448 993516 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 0 0 0 0
[pid=29666/tid=29673] ppid=29664 vsize=10619352 CPUtime=0.88 cores=0,2,4,6
/proc/29666/task/29673/stat : 29673 (java) S 29664 29666 28625 0 -1 4202560 27771 0 0 0 86 2 0 0 16 0 19 0 877884846 10874216448 993516 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 4 0 0 0
[pid=29666/tid=29674] ppid=29664 vsize=10619352 CPUtime=0.78 cores=0,2,4,6
/proc/29666/task/29674/stat : 29674 (java) S 29664 29666 28625 0 -1 4202560 22350 0 0 0 75 3 0 0 15 0 19 0 877884846 10874216448 993516 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 6 0 0 0
[pid=29666/tid=29675] ppid=29664 vsize=10619352 CPUtime=0.83 cores=0,2,4,6
/proc/29666/task/29675/stat : 29675 (java) S 29664 29666 28625 0 -1 4202560 27092 0 0 0 80 3 0 0 16 0 19 0 877884846 10874216448 993516 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29676] ppid=29664 vsize=10619352 CPUtime=0.65 cores=0,2,4,6
/proc/29666/task/29676/stat : 29676 (java) S 29664 29666 28625 0 -1 4202560 23261 0 0 0 63 2 0 0 16 0 19 0 877884846 10874216448 993516 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 6 0 0 0
[pid=29666/tid=29677] ppid=29664 vsize=10619352 CPUtime=0.73 cores=0,2,4,6
/proc/29666/task/29677/stat : 29677 (java) S 29664 29666 28625 0 -1 4202560 1721 0 0 0 73 0 0 0 15 0 19 0 877884847 10874216448 993516 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485784064 0 0 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29678] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29678/stat : 29678 (java) S 29664 29666 28625 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877884848 10874216448 993516 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29679] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29679/stat : 29679 (java) S 29664 29666 28625 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877884848 10874216448 993516 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 6 0 0 0
[pid=29666/tid=29680] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29680/stat : 29680 (java) S 29664 29666 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877884850 10874216448 993516 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485791153 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29681] ppid=29664 vsize=10619352 CPUtime=1.03 cores=0,2,4,6
/proc/29666/task/29681/stat : 29681 (java) S 29664 29666 28625 0 -1 4202560 6564 0 0 0 103 0 0 0 15 0 19 0 877884850 10874216448 993516 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29682] ppid=29664 vsize=10619352 CPUtime=1.09 cores=0,2,4,6
/proc/29666/task/29682/stat : 29682 (java) S 29664 29666 28625 0 -1 4202560 4849 0 0 0 109 0 0 0 15 0 19 0 877884850 10874216448 993516 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 4 0 0 0
[pid=29666/tid=29683] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29683/stat : 29683 (java) S 29664 29666 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877884850 10874216448 993516 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29684] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29684/stat : 29684 (java) S 29664 29666 28625 0 -1 4202560 108 0 0 0 0 0 0 0 15 0 19 0 877884850 10874216448 993516 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485784064 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29685] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29685/stat : 29685 (java) S 29664 29666 28625 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877884908 10874216448 993516 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485784064 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1788.85
Current children cumulated vsize (KiB) 10619352
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.4 s]
/proc/loadavg: 2.22 2.05 2.02 3/214 29801
/proc/meminfo: memFree=24202920/32950928 swapFree=67079488/67111528
[pid=29666] ppid=29664 vsize=10619352 CPUtime=1800 cores=0,2,4,6
/proc/29666/stat : 29666 (java) S 29664 29666 28625 0 -1 4202496 1002529 0 1 0 179881 119 0 0 25 0 19 0 877884844 10874216448 994405 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29666/statm: 2654838 994405 2271 9 0 2645572 0
[pid=29666/tid=29668] ppid=29664 vsize=10619352 CPUtime=1791 cores=0,2,4,6
/proc/29666/task/29668/stat : 29668 (java) R 29664 29666 28625 0 -1 4202560 795348 0 1 0 179010 90 0 0 25 0 19 0 877884845 10874216448 994405 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 46912505968668 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29666/tid=29669] ppid=29664 vsize=10619352 CPUtime=0.71 cores=0,2,4,6
/proc/29666/task/29669/stat : 29669 (java) S 29664 29666 28625 0 -1 4202560 22057 0 0 0 69 2 0 0 16 0 19 0 877884846 10874216448 994405 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29670] ppid=29664 vsize=10619352 CPUtime=0.85 cores=0,2,4,6
/proc/29666/task/29670/stat : 29670 (java) S 29664 29666 28625 0 -1 4202560 27010 0 0 0 81 4 0 0 16 0 19 0 877884846 10874216448 994405 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 0 0 0 0
[pid=29666/tid=29671] ppid=29664 vsize=10619352 CPUtime=0.68 cores=0,2,4,6
/proc/29666/task/29671/stat : 29671 (java) S 29664 29666 28625 0 -1 4202560 23700 0 0 0 66 2 0 0 15 0 19 0 877884846 10874216448 994405 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 4 0 0 0
[pid=29666/tid=29672] ppid=29664 vsize=10619352 CPUtime=0.62 cores=0,2,4,6
/proc/29666/task/29672/stat : 29672 (java) S 29664 29666 28625 0 -1 4202560 19177 0 0 0 59 3 0 0 15 0 19 0 877884846 10874216448 994405 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 0 0 0 0
[pid=29666/tid=29673] ppid=29664 vsize=10619352 CPUtime=0.88 cores=0,2,4,6
/proc/29666/task/29673/stat : 29673 (java) S 29664 29666 28625 0 -1 4202560 27771 0 0 0 86 2 0 0 16 0 19 0 877884846 10874216448 994405 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 4 0 0 0
[pid=29666/tid=29674] ppid=29664 vsize=10619352 CPUtime=0.78 cores=0,2,4,6
/proc/29666/task/29674/stat : 29674 (java) S 29664 29666 28625 0 -1 4202560 22350 0 0 0 75 3 0 0 16 0 19 0 877884846 10874216448 994405 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 6 0 0 0
[pid=29666/tid=29675] ppid=29664 vsize=10619352 CPUtime=0.83 cores=0,2,4,6
/proc/29666/task/29675/stat : 29675 (java) S 29664 29666 28625 0 -1 4202560 27092 0 0 0 80 3 0 0 15 0 19 0 877884846 10874216448 994405 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29676] ppid=29664 vsize=10619352 CPUtime=0.68 cores=0,2,4,6
/proc/29666/task/29676/stat : 29676 (java) S 29664 29666 28625 0 -1 4202560 23631 0 0 0 65 3 0 0 16 0 19 0 877884846 10874216448 994405 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 6 0 0 0
[pid=29666/tid=29677] ppid=29664 vsize=10619352 CPUtime=0.73 cores=0,2,4,6
/proc/29666/task/29677/stat : 29677 (java) S 29664 29666 28625 0 -1 4202560 1723 0 0 0 73 0 0 0 15 0 19 0 877884847 10874216448 994405 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485784064 0 0 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29678] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29678/stat : 29678 (java) S 29664 29666 28625 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877884848 10874216448 994405 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29679] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29679/stat : 29679 (java) S 29664 29666 28625 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877884848 10874216448 994405 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 6 0 0 0
[pid=29666/tid=29680] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29680/stat : 29680 (java) S 29664 29666 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877884850 10874216448 994405 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485791153 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29681] ppid=29664 vsize=10619352 CPUtime=1.03 cores=0,2,4,6
/proc/29666/task/29681/stat : 29681 (java) S 29664 29666 28625 0 -1 4202560 6564 0 0 0 103 0 0 0 15 0 19 0 877884850 10874216448 994405 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29682] ppid=29664 vsize=10619352 CPUtime=1.09 cores=0,2,4,6
/proc/29666/task/29682/stat : 29682 (java) S 29664 29666 28625 0 -1 4202560 4849 0 0 0 109 0 0 0 15 0 19 0 877884850 10874216448 994405 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 4 0 0 0
[pid=29666/tid=29683] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29683/stat : 29683 (java) S 29664 29666 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877884850 10874216448 994405 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485783449 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29684] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29684/stat : 29684 (java) S 29664 29666 28625 0 -1 4202560 108 0 0 0 0 0 0 0 15 0 19 0 877884850 10874216448 994405 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485784064 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
[pid=29666/tid=29685] ppid=29664 vsize=10619352 CPUtime=0 cores=0,2,4,6
/proc/29666/task/29685/stat : 29685 (java) S 29664 29666 28625 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877884908 10874216448 994405 33554432000 1073741824 1073778376 140734306559040 18446744073709551615 274485784064 0 4 0 16800975 18446604453984687168 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 10619352
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.51 s]
/proc/loadavg: 2.22 2.05 2.02 3/214 29801
/proc/meminfo: memFree=24202920/32950928 swapFree=67079488/67111528
[pid=29666] ppid=29664 vsize=0 CPUtime=1800.12 cores=0,2,4,6
/proc/29666/stat : 29666 (java) Z 29664 29666 28625 0 -1 4203548 1002559 0 1 0 179884 128 0 0 17 0 2 0 877884844 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29666/statm: 0 0 0 0 0 0 0
[pid=29666/tid=29685] ppid=29664 vsize=0 CPUtime=0.08 cores=0,2,4,6
/proc/29666/task/29685/stat : 29685 (java) R 29664 29666 28625 0 -1 4203588 7 0 0 0 0 8 0 0 18 0 2 0 877884908 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.58
CPU time (s): 1800.19
CPU user time (s): 1798.85
CPU system time (s): 1.3478
CPU usage (%): 100.369
Max. virtual memory (cumulated for all children) (KiB): 10622360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.85
system time used= 1.3478
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1002559
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= 38410
involuntary context switches= 7016
runsolver used 3.20651 second user time and 6.567 second system time
The end