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-3456645-1307221255/watcher-3456645-1307221255 -o /tmp/evaluation-result-3456645-1307221255/solver-3456645-1307221255 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456645-1307221255.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: 1.95 2.03 2.00 2/569 5590
/proc/meminfo: memFree=31705008/32950928 swapFree=43925852/67111528
[pid=5590] ppid=5588 vsize=36924 CPUtime=0 cores=0,2,4,6
/proc/5590/stat : 5590 (java) S 5588 5590 5129 0 -1 4202496 1368 0 1 0 0 0 0 0 25 0 2 0 833724326 37810176 1072 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284491749 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/5590/statm: 9231 1072 832 9 0 387 0
[pid=5590/tid=5591] ppid=5588 vsize=10444316 CPUtime=0.01 cores=0,2,4,6
/proc/5590/task/5591/stat : 5591 (java) R 5588 5590 5129 0 -1 4202560 7135 0 1 0 0 1 0 0 25 0 2 0 833724327 10694979584 7951 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268272383035 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0727601 s]
/proc/loadavg: 1.95 2.03 2.00 2/569 5590
/proc/meminfo: memFree=31705008/32950928 swapFree=43925852/67111528
[pid=5590] ppid=5588 vsize=10473088 CPUtime=0.05 cores=0,2,4,6
/proc/5590/stat : 5590 (java) S 5588 5590 5129 0 -1 4202496 11858 0 1 0 4 1 0 0 25 0 18 0 833724326 10724442112 11557 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5590/statm: 2618272 11559 1754 9 0 2609006 0
[pid=5590/tid=5591] ppid=5588 vsize=10473088 CPUtime=0.05 cores=0,2,4,6
/proc/5590/task/5591/stat : 5591 (java) R 5588 5590 5129 0 -1 4202560 10688 0 1 0 4 1 0 0 25 0 18 0 833724327 10724442112 11559 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 46912496197400 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10473088
[startup+0.100782 s]
/proc/loadavg: 1.95 2.03 2.00 2/569 5590
/proc/meminfo: memFree=31705008/32950928 swapFree=43925852/67111528
[pid=5590] ppid=5588 vsize=10540184 CPUtime=0.1 cores=0,2,4,6
/proc/5590/stat : 5590 (java) S 5588 5590 5129 0 -1 4202496 13052 0 1 0 8 2 0 0 25 0 18 0 833724326 10793148416 12737 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5590/statm: 2635046 12738 2093 9 0 2625780 0
[pid=5590/tid=5591] ppid=5588 vsize=10540184 CPUtime=0.08 cores=0,2,4,6
/proc/5590/task/5591/stat : 5591 (java) R 5588 5590 5129 0 -1 4202560 11137 0 1 0 6 2 0 0 18 0 18 0 833724327 10793148416 12739 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268272350241 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540184
[startup+0.482619 s]
/proc/loadavg: 1.95 2.03 2.00 2/569 5590
/proc/meminfo: memFree=31705008/32950928 swapFree=43925852/67111528
[pid=5590] ppid=5588 vsize=10552916 CPUtime=1.08 cores=0,2,4,6
/proc/5590/stat : 5590 (java) S 5588 5590 5129 0 -1 4202496 25908 0 1 0 104 4 0 0 25 0 19 0 833724326 10806185984 22759 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5590/statm: 2638229 22760 2221 9 0 2628963 0
[pid=5590/tid=5591] ppid=5588 vsize=10552916 CPUtime=0.47 cores=0,2,4,6
/proc/5590/task/5591/stat : 5591 (java) R 5588 5590 5129 0 -1 4202560 16793 0 1 0 44 3 0 0 19 0 19 0 833724327 10806185984 22761 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 46912505606633 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 10552916
[startup+0.771943 s]
/proc/loadavg: 1.95 2.03 2.00 2/569 5590
/proc/meminfo: memFree=31705008/32950928 swapFree=43925852/67111528
[pid=5590] ppid=5588 vsize=10552916 CPUtime=1.79 cores=0,2,4,6
/proc/5590/stat : 5590 (java) S 5588 5590 5129 0 -1 4202496 43823 0 1 0 173 6 0 0 25 0 19 0 833724326 10806185984 34159 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5590/statm: 2638229 34161 2231 9 0 2628963 0
[pid=5590/tid=5591] ppid=5588 vsize=10552916 CPUtime=0.75 cores=0,2,4,6
/proc/5590/task/5591/stat : 5591 (java) R 5588 5590 5129 0 -1 4202560 28127 0 1 0 71 4 0 0 19 0 19 0 833724327 10806185984 34162 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 46912505775019 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 10552916
[startup+1.50144 s]
/proc/loadavg: 1.95 2.03 2.00 4/609 5648
/proc/meminfo: memFree=31292748/32950928 swapFree=43925852/67111528
[pid=5590] ppid=5588 vsize=10554176 CPUtime=2.97 cores=0,2,4,6
/proc/5590/stat : 5590 (java) S 5588 5590 5129 0 -1 4202496 100263 0 1 0 283 14 0 0 25 0 19 0 833724326 10807476224 88969 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5590/statm: 2638544 88971 2235 9 0 2629278 0
[pid=5590/tid=5591] ppid=5588 vsize=10554176 CPUtime=1.48 cores=0,2,4,6
/proc/5590/task/5591/stat : 5591 (java) R 5588 5590 5129 0 -1 4202560 82445 0 1 0 137 11 0 0 18 0 19 0 833724327 10807476224 88973 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 46912505773408 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5590/tid=5593] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5593/stat : 5593 (java) S 5588 5590 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724328 10807476224 88975 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 6 0 0 0
[pid=5590/tid=5594] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5594/stat : 5594 (java) S 5588 5590 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724328 10807476224 88977 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 6 0 0 0
[pid=5590/tid=5595] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5595/stat : 5595 (java) S 5588 5590 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724328 10807476224 88979 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 6 0 0 0
[pid=5590/tid=5596] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5596/stat : 5596 (java) S 5588 5590 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724328 10807476224 88981 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 6 0 0 0
[pid=5590/tid=5597] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5597/stat : 5597 (java) S 5588 5590 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724328 10807476224 88983 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 6 0 0 0
[pid=5590/tid=5598] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5598/stat : 5598 (java) S 5588 5590 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724328 10807476224 88985 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 6 0 0 0
[pid=5590/tid=5599] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5599/stat : 5599 (java) S 5588 5590 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724328 10807476224 88988 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 6 0 0 0
[pid=5590/tid=5600] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5600/stat : 5600 (java) S 5588 5590 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724328 10807476224 88990 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 6 0 0 0
[pid=5590/tid=5601] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5601/stat : 5601 (java) S 5588 5590 5129 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833724329 10807476224 88992 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284505600 0 0 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
[pid=5590/tid=5605] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5605/stat : 5605 (java) S 5588 5590 5129 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833724330 10807476224 88994 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
[pid=5590/tid=5606] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5606/stat : 5606 (java) S 5588 5590 5129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833724330 10807476224 88996 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
[pid=5590/tid=5613] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5613/stat : 5613 (java) S 5588 5590 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724332 10807476224 88998 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284512689 0 4 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
[pid=5590/tid=5614] ppid=5588 vsize=10554176 CPUtime=0.67 cores=0,2,4,6
/proc/5590/task/5614/stat : 5614 (java) S 5588 5590 5129 0 -1 4202560 11474 0 0 0 66 1 0 0 15 0 19 0 833724332 10807476224 89000 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 6 0 0 0
[pid=5590/tid=5615] ppid=5588 vsize=10554176 CPUtime=0.79 cores=0,2,4,6
/proc/5590/task/5615/stat : 5615 (java) S 5588 5590 5129 0 -1 4202560 5189 0 0 0 79 0 0 0 16 0 19 0 833724332 10807476224 89003 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
[pid=5590/tid=5616] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5616/stat : 5616 (java) S 5588 5590 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724332 10807476224 89004 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
[pid=5590/tid=5617] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5617/stat : 5617 (java) S 5588 5590 5129 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833724332 10807476224 89005 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284505600 0 4 0 16800975 18446604452101989632 0 0 -1 2 0 0 0
[pid=5590/tid=5647] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5647/stat : 5647 (java) S 5588 5590 5129 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833724365 10807476224 89006 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284505600 0 4 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 10554176
[startup+3.10115 s]
/proc/loadavg: 1.95 2.03 2.00 3/609 5648
/proc/meminfo: memFree=30488732/32950928 swapFree=43925852/67111528
[pid=5590] ppid=5588 vsize=10554176 CPUtime=4.63 cores=0,2,4,6
/proc/5590/stat : 5590 (java) S 5588 5590 5129 0 -1 4202496 246418 0 1 0 433 30 0 0 25 0 19 0 833724326 10807476224 235123 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5590/statm: 2638544 235126 2235 9 0 2629278 0
[pid=5590/tid=5591] ppid=5588 vsize=10554176 CPUtime=3.08 cores=0,2,4,6
/proc/5590/task/5591/stat : 5591 (java) R 5588 5590 5129 0 -1 4202560 228594 0 1 0 281 27 0 0 21 0 19 0 833724327 10807476224 235127 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 46912505774997 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5590/tid=5593] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5593/stat : 5593 (java) S 5588 5590 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724328 10807476224 235130 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 6 0 0 0
[pid=5590/tid=5594] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5594/stat : 5594 (java) S 5588 5590 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724328 10807476224 235132 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 6 0 0 0
[pid=5590/tid=5595] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5595/stat : 5595 (java) S 5588 5590 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724328 10807476224 235135 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 6 0 0 0
[pid=5590/tid=5596] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5596/stat : 5596 (java) S 5588 5590 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724328 10807476224 235137 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 6 0 0 0
[pid=5590/tid=5597] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5597/stat : 5597 (java) S 5588 5590 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724328 10807476224 235140 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 6 0 0 0
[pid=5590/tid=5598] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5598/stat : 5598 (java) S 5588 5590 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724328 10807476224 235141 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 6 0 0 0
[pid=5590/tid=5599] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5599/stat : 5599 (java) S 5588 5590 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724328 10807476224 235143 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 6 0 0 0
[pid=5590/tid=5600] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5600/stat : 5600 (java) S 5588 5590 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724328 10807476224 235146 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 6 0 0 0
[pid=5590/tid=5601] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5601/stat : 5601 (java) S 5588 5590 5129 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833724329 10807476224 235148 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284505600 0 0 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
[pid=5590/tid=5605] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5605/stat : 5605 (java) S 5588 5590 5129 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833724330 10807476224 235151 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
[pid=5590/tid=5606] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5606/stat : 5606 (java) S 5588 5590 5129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833724330 10807476224 235153 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
[pid=5590/tid=5613] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5613/stat : 5613 (java) S 5588 5590 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724332 10807476224 235155 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284512689 0 4 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
[pid=5590/tid=5614] ppid=5588 vsize=10554176 CPUtime=0.68 cores=0,2,4,6
/proc/5590/task/5614/stat : 5614 (java) S 5588 5590 5129 0 -1 4202560 11477 0 0 0 67 1 0 0 15 0 19 0 833724332 10807476224 235157 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 6 0 0 0
[pid=5590/tid=5615] ppid=5588 vsize=10554176 CPUtime=0.84 cores=0,2,4,6
/proc/5590/task/5615/stat : 5615 (java) S 5588 5590 5129 0 -1 4202560 5192 0 0 0 84 0 0 0 15 0 19 0 833724332 10807476224 235158 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
[pid=5590/tid=5616] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5616/stat : 5616 (java) S 5588 5590 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724332 10807476224 235160 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
[pid=5590/tid=5617] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5617/stat : 5617 (java) S 5588 5590 5129 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833724332 10807476224 235161 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284505600 0 4 0 16800975 18446604452101989632 0 0 -1 2 0 0 0
[pid=5590/tid=5647] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5647/stat : 5647 (java) S 5588 5590 5129 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833724365 10807476224 235163 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284505600 0 4 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.63
Current children cumulated vsize (KiB) 10554176
[startup+6.30058 s]
/proc/loadavg: 1.95 2.03 2.00 3/609 5648
/proc/meminfo: memFree=28225084/32950928 swapFree=43925852/67111528
[pid=5590] ppid=5588 vsize=10554176 CPUtime=7.84 cores=0,2,4,6
/proc/5590/stat : 5590 (java) S 5588 5590 5129 0 -1 4202496 492827 0 1 0 724 60 0 0 25 0 19 0 833724326 10807476224 481531 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5590/statm: 2638544 481534 2236 9 0 2629278 0
[pid=5590/tid=5591] ppid=5588 vsize=10554176 CPUtime=6.29 cores=0,2,4,6
/proc/5590/task/5591/stat : 5591 (java) R 5588 5590 5129 0 -1 4202560 475000 0 1 0 571 58 0 0 25 0 19 0 833724327 10807476224 481535 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 46912505775011 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5590/tid=5593] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5593/stat : 5593 (java) S 5588 5590 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724328 10807476224 481536 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 6 0 0 0
[pid=5590/tid=5594] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5594/stat : 5594 (java) S 5588 5590 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724328 10807476224 481538 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 6 0 0 0
[pid=5590/tid=5595] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5595/stat : 5595 (java) S 5588 5590 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724328 10807476224 481540 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 6 0 0 0
[pid=5590/tid=5596] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5596/stat : 5596 (java) S 5588 5590 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724328 10807476224 481541 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 6 0 0 0
[pid=5590/tid=5597] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5597/stat : 5597 (java) S 5588 5590 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724328 10807476224 481543 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 6 0 0 0
[pid=5590/tid=5598] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5598/stat : 5598 (java) S 5588 5590 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724328 10807476224 481544 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 6 0 0 0
[pid=5590/tid=5599] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5599/stat : 5599 (java) S 5588 5590 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724328 10807476224 481545 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 6 0 0 0
[pid=5590/tid=5600] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5600/stat : 5600 (java) S 5588 5590 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724328 10807476224 481547 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 6 0 0 0
[pid=5590/tid=5601] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5601/stat : 5601 (java) S 5588 5590 5129 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833724329 10807476224 481548 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284505600 0 0 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
[pid=5590/tid=5605] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5605/stat : 5605 (java) S 5588 5590 5129 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833724330 10807476224 481549 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
[pid=5590/tid=5606] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5606/stat : 5606 (java) S 5588 5590 5129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833724330 10807476224 481551 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
[pid=5590/tid=5613] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5613/stat : 5613 (java) S 5588 5590 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724332 10807476224 481553 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284512689 0 4 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
[pid=5590/tid=5614] ppid=5588 vsize=10554176 CPUtime=0.7 cores=0,2,4,6
/proc/5590/task/5614/stat : 5614 (java) S 5588 5590 5129 0 -1 4202560 11479 0 0 0 69 1 0 0 15 0 19 0 833724332 10807476224 481555 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 6 0 0 0
[pid=5590/tid=5615] ppid=5588 vsize=10554176 CPUtime=0.84 cores=0,2,4,6
/proc/5590/task/5615/stat : 5615 (java) S 5588 5590 5129 0 -1 4202560 5192 0 0 0 84 0 0 0 15 0 19 0 833724332 10807476224 481557 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/5590/task/5606/stat : 5606 (java) S 5588 5590 5129 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833724330 10807476224 904103 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
[pid=5590/tid=5613] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5613/stat : 5613 (java) S 5588 5590 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724332 10807476224 904103 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284512689 0 4 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
[pid=5590/tid=5614] ppid=5588 vsize=10554176 CPUtime=0.94 cores=0,2,4,6
/proc/5590/task/5614/stat : 5614 (java) S 5588 5590 5129 0 -1 4202560 13981 0 0 0 92 2 0 0 15 0 19 0 833724332 10807476224 904103 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 2 0 0 0
[pid=5590/tid=5615] ppid=5588 vsize=10554176 CPUtime=0.89 cores=0,2,4,6
/proc/5590/task/5615/stat : 5615 (java) S 5588 5590 5129 0 -1 4202560 5195 0 0 0 89 0 0 0 15 0 19 0 833724332 10807476224 904103 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
[pid=5590/tid=5616] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5616/stat : 5616 (java) S 5588 5590 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724332 10807476224 904103 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
[pid=5590/tid=5617] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5617/stat : 5617 (java) S 5588 5590 5129 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 833724332 10807476224 904103 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284505600 0 4 0 16800975 18446604452101989632 0 0 -1 2 0 0 0
[pid=5590/tid=5647] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5647/stat : 5647 (java) S 5588 5590 5129 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833724365 10807476224 904103 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284505600 0 4 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1667.81
Current children cumulated vsize (KiB) 10554176
[startup+1722.3 s]
/proc/loadavg: 2.03 2.06 2.02 3/609 5752
/proc/meminfo: memFree=24503268/32950928 swapFree=43925852/67111528
[pid=5590] ppid=5588 vsize=10554176 CPUtime=1727.96 cores=0,2,4,6
/proc/5590/stat : 5590 (java) S 5588 5590 5129 0 -1 4202496 919232 0 1 0 172683 113 0 0 25 0 19 0 833724326 10807476224 904789 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5590/statm: 2638544 904789 2265 9 0 2629278 0
[pid=5590/tid=5591] ppid=5588 vsize=10554176 CPUtime=1719.36 cores=0,2,4,6
/proc/5590/task/5591/stat : 5591 (java) R 5588 5590 5129 0 -1 4202560 841606 0 1 0 171837 99 0 0 25 0 19 0 833724327 10807476224 904789 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 46912505606551 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5590/tid=5593] ppid=5588 vsize=10554176 CPUtime=0.71 cores=0,2,4,6
/proc/5590/task/5593/stat : 5593 (java) S 5588 5590 5129 0 -1 4202560 5362 0 0 0 70 1 0 0 15 0 19 0 833724328 10807476224 904789 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 2 0 0 0
[pid=5590/tid=5594] ppid=5588 vsize=10554176 CPUtime=0.68 cores=0,2,4,6
/proc/5590/task/5594/stat : 5594 (java) S 5588 5590 5129 0 -1 4202560 7301 0 0 0 67 1 0 0 16 0 19 0 833724328 10807476224 904789 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 0 0 0 0
[pid=5590/tid=5595] ppid=5588 vsize=10554176 CPUtime=0.8 cores=0,2,4,6
/proc/5590/task/5595/stat : 5595 (java) S 5588 5590 5129 0 -1 4202560 5506 0 0 0 80 0 0 0 15 0 19 0 833724328 10807476224 904789 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 0 0 0 0
[pid=5590/tid=5596] ppid=5588 vsize=10554176 CPUtime=0.76 cores=0,2,4,6
/proc/5590/task/5596/stat : 5596 (java) S 5588 5590 5129 0 -1 4202560 5390 0 0 0 76 0 0 0 16 0 19 0 833724328 10807476224 904789 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
[pid=5590/tid=5597] ppid=5588 vsize=10554176 CPUtime=0.66 cores=0,2,4,6
/proc/5590/task/5597/stat : 5597 (java) S 5588 5590 5129 0 -1 4202560 5762 0 0 0 66 0 0 0 16 0 19 0 833724328 10807476224 904789 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 6 0 0 0
[pid=5590/tid=5598] ppid=5588 vsize=10554176 CPUtime=0.73 cores=0,2,4,6
/proc/5590/task/5598/stat : 5598 (java) S 5588 5590 5129 0 -1 4202560 6984 0 0 0 72 1 0 0 15 0 19 0 833724328 10807476224 904789 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 0 0 0 0
[pid=5590/tid=5599] ppid=5588 vsize=10554176 CPUtime=0.57 cores=0,2,4,6
/proc/5590/task/5599/stat : 5599 (java) S 5588 5590 5129 0 -1 4202560 5322 0 0 0 57 0 0 0 15 0 19 0 833724328 10807476224 904789 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 6 0 0 0
[pid=5590/tid=5600] ppid=5588 vsize=10554176 CPUtime=0.71 cores=0,2,4,6
/proc/5590/task/5600/stat : 5600 (java) S 5588 5590 5129 0 -1 4202560 6367 0 0 0 71 0 0 0 15 0 19 0 833724328 10807476224 904789 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 2 0 0 0
[pid=5590/tid=5601] ppid=5588 vsize=10554176 CPUtime=1.01 cores=0,2,4,6
/proc/5590/task/5601/stat : 5601 (java) S 5588 5590 5129 0 -1 4202560 9206 0 0 0 99 2 0 0 15 0 19 0 833724329 10807476224 904789 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284505600 0 0 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
[pid=5590/tid=5605] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5605/stat : 5605 (java) S 5588 5590 5129 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 833724330 10807476224 904789 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
[pid=5590/tid=5606] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5606/stat : 5606 (java) S 5588 5590 5129 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833724330 10807476224 904789 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
[pid=5590/tid=5613] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5613/stat : 5613 (java) S 5588 5590 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724332 10807476224 904789 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284512689 0 4 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
[pid=5590/tid=5614] ppid=5588 vsize=10554176 CPUtime=0.94 cores=0,2,4,6
/proc/5590/task/5614/stat : 5614 (java) S 5588 5590 5129 0 -1 4202560 13981 0 0 0 92 2 0 0 15 0 19 0 833724332 10807476224 904789 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 2 0 0 0
[pid=5590/tid=5615] ppid=5588 vsize=10554176 CPUtime=0.89 cores=0,2,4,6
/proc/5590/task/5615/stat : 5615 (java) S 5588 5590 5129 0 -1 4202560 5195 0 0 0 89 0 0 0 15 0 19 0 833724332 10807476224 904789 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
[pid=5590/tid=5616] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5616/stat : 5616 (java) S 5588 5590 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724332 10807476224 904789 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
[pid=5590/tid=5617] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5617/stat : 5617 (java) S 5588 5590 5129 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 833724332 10807476224 904789 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284505600 0 4 0 16800975 18446604452101989632 0 0 -1 2 0 0 0
[pid=5590/tid=5647] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5647/stat : 5647 (java) S 5588 5590 5129 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833724365 10807476224 904789 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284505600 0 4 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1727.96
Current children cumulated vsize (KiB) 10554176
[startup+1782.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/609 5753
/proc/meminfo: memFree=24497160/32950928 swapFree=43925852/67111528
[pid=5590] ppid=5588 vsize=10554176 CPUtime=1788.17 cores=0,2,4,6
/proc/5590/stat : 5590 (java) S 5588 5590 5129 0 -1 4202496 919943 0 1 0 178704 113 0 0 25 0 19 0 833724326 10807476224 905486 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5590/statm: 2638544 905486 2265 9 0 2629278 0
[pid=5590/tid=5591] ppid=5588 vsize=10554176 CPUtime=1778.9 cores=0,2,4,6
/proc/5590/task/5591/stat : 5591 (java) R 5588 5590 5129 0 -1 4202560 841611 0 1 0 177791 99 0 0 25 0 19 0 833724327 10807476224 905486 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 46912505774902 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5590/tid=5593] ppid=5588 vsize=10554176 CPUtime=0.72 cores=0,2,4,6
/proc/5590/task/5593/stat : 5593 (java) S 5588 5590 5129 0 -1 4202560 5366 0 0 0 71 1 0 0 16 0 19 0 833724328 10807476224 905486 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 2 0 0 0
[pid=5590/tid=5594] ppid=5588 vsize=10554176 CPUtime=0.77 cores=0,2,4,6
/proc/5590/task/5594/stat : 5594 (java) S 5588 5590 5129 0 -1 4202560 7469 0 0 0 76 1 0 0 16 0 19 0 833724328 10807476224 905486 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 0 0 0 0
[pid=5590/tid=5595] ppid=5588 vsize=10554176 CPUtime=0.81 cores=0,2,4,6
/proc/5590/task/5595/stat : 5595 (java) S 5588 5590 5129 0 -1 4202560 5578 0 0 0 81 0 0 0 16 0 19 0 833724328 10807476224 905486 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 0 0 0 0
[pid=5590/tid=5596] ppid=5588 vsize=10554176 CPUtime=0.81 cores=0,2,4,6
/proc/5590/task/5596/stat : 5596 (java) S 5588 5590 5129 0 -1 4202560 5552 0 0 0 81 0 0 0 16 0 19 0 833724328 10807476224 905486 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 0 0 0 0
[pid=5590/tid=5597] ppid=5588 vsize=10554176 CPUtime=0.7 cores=0,2,4,6
/proc/5590/task/5597/stat : 5597 (java) S 5588 5590 5129 0 -1 4202560 5834 0 0 0 70 0 0 0 16 0 19 0 833724328 10807476224 905486 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 2 0 0 0
[pid=5590/tid=5598] ppid=5588 vsize=10554176 CPUtime=0.77 cores=0,2,4,6
/proc/5590/task/5598/stat : 5598 (java) S 5588 5590 5129 0 -1 4202560 7048 0 0 0 76 1 0 0 16 0 19 0 833724328 10807476224 905486 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 6 0 0 0
[pid=5590/tid=5599] ppid=5588 vsize=10554176 CPUtime=0.61 cores=0,2,4,6
/proc/5590/task/5599/stat : 5599 (java) S 5588 5590 5129 0 -1 4202560 5407 0 0 0 61 0 0 0 15 0 19 0 833724328 10807476224 905486 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 6 0 0 0
[pid=5590/tid=5600] ppid=5588 vsize=10554176 CPUtime=0.74 cores=0,2,4,6
/proc/5590/task/5600/stat : 5600 (java) S 5588 5590 5129 0 -1 4202560 6407 0 0 0 74 0 0 0 16 0 19 0 833724328 10807476224 905486 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 6 0 0 0
[pid=5590/tid=5601] ppid=5588 vsize=10554176 CPUtime=1.38 cores=0,2,4,6
/proc/5590/task/5601/stat : 5601 (java) S 5588 5590 5129 0 -1 4202560 9243 0 0 0 136 2 0 0 15 0 19 0 833724329 10807476224 905486 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284505600 0 0 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
[pid=5590/tid=5605] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5605/stat : 5605 (java) S 5588 5590 5129 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 833724330 10807476224 905486 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
[pid=5590/tid=5606] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5606/stat : 5606 (java) S 5588 5590 5129 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833724330 10807476224 905486 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
[pid=5590/tid=5613] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5613/stat : 5613 (java) S 5588 5590 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724332 10807476224 905486 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284512689 0 4 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
[pid=5590/tid=5614] ppid=5588 vsize=10554176 CPUtime=0.94 cores=0,2,4,6
/proc/5590/task/5614/stat : 5614 (java) S 5588 5590 5129 0 -1 4202560 13981 0 0 0 92 2 0 0 15 0 19 0 833724332 10807476224 905486 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 2 0 0 0
[pid=5590/tid=5615] ppid=5588 vsize=10554176 CPUtime=0.89 cores=0,2,4,6
/proc/5590/task/5615/stat : 5615 (java) S 5588 5590 5129 0 -1 4202560 5195 0 0 0 89 0 0 0 15 0 19 0 833724332 10807476224 905486 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
[pid=5590/tid=5616] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5616/stat : 5616 (java) S 5588 5590 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724332 10807476224 905486 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
[pid=5590/tid=5617] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5617/stat : 5617 (java) S 5588 5590 5129 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833724332 10807476224 905486 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284505600 0 4 0 16800975 18446604452101989632 0 0 -1 2 0 0 0
[pid=5590/tid=5647] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5647/stat : 5647 (java) S 5588 5590 5129 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833724365 10807476224 905486 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284505600 0 4 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1788.17
Current children cumulated vsize (KiB) 10554176
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.1 s]
/proc/loadavg: 2.01 2.05 2.01 4/609 5754
/proc/meminfo: memFree=24496784/32950928 swapFree=43925852/67111528
[pid=5590] ppid=5588 vsize=10554176 CPUtime=1800.04 cores=0,2,4,6
/proc/5590/stat : 5590 (java) S 5588 5590 5129 0 -1 4202496 919966 0 1 0 179891 113 0 0 25 0 19 0 833724326 10807476224 905504 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5590/statm: 2638544 905504 2265 9 0 2629278 0
[pid=5590/tid=5591] ppid=5588 vsize=10554176 CPUtime=1790.72 cores=0,2,4,6
/proc/5590/task/5591/stat : 5591 (java) R 5588 5590 5129 0 -1 4202560 841612 0 1 0 178973 99 0 0 25 0 19 0 833724327 10807476224 905504 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 46912505552138 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5590/tid=5593] ppid=5588 vsize=10554176 CPUtime=0.74 cores=0,2,4,6
/proc/5590/task/5593/stat : 5593 (java) S 5588 5590 5129 0 -1 4202560 5375 0 0 0 73 1 0 0 16 0 19 0 833724328 10807476224 905504 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 2 0 0 0
[pid=5590/tid=5594] ppid=5588 vsize=10554176 CPUtime=0.78 cores=0,2,4,6
/proc/5590/task/5594/stat : 5594 (java) S 5588 5590 5129 0 -1 4202560 7469 0 0 0 77 1 0 0 16 0 19 0 833724328 10807476224 905504 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 0 0 0 0
[pid=5590/tid=5595] ppid=5588 vsize=10554176 CPUtime=0.81 cores=0,2,4,6
/proc/5590/task/5595/stat : 5595 (java) S 5588 5590 5129 0 -1 4202560 5578 0 0 0 81 0 0 0 15 0 19 0 833724328 10807476224 905504 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 0 0 0 0
[pid=5590/tid=5596] ppid=5588 vsize=10554176 CPUtime=0.81 cores=0,2,4,6
/proc/5590/task/5596/stat : 5596 (java) S 5588 5590 5129 0 -1 4202560 5552 0 0 0 81 0 0 0 16 0 19 0 833724328 10807476224 905504 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 0 0 0 0
[pid=5590/tid=5597] ppid=5588 vsize=10554176 CPUtime=0.7 cores=0,2,4,6
/proc/5590/task/5597/stat : 5597 (java) S 5588 5590 5129 0 -1 4202560 5834 0 0 0 70 0 0 0 15 0 19 0 833724328 10807476224 905504 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 2 0 0 0
[pid=5590/tid=5598] ppid=5588 vsize=10554176 CPUtime=0.77 cores=0,2,4,6
/proc/5590/task/5598/stat : 5598 (java) S 5588 5590 5129 0 -1 4202560 7048 0 0 0 76 1 0 0 16 0 19 0 833724328 10807476224 905504 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 6 0 0 0
[pid=5590/tid=5599] ppid=5588 vsize=10554176 CPUtime=0.63 cores=0,2,4,6
/proc/5590/task/5599/stat : 5599 (java) S 5588 5590 5129 0 -1 4202560 5416 0 0 0 63 0 0 0 16 0 19 0 833724328 10807476224 905504 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 6 0 0 0
[pid=5590/tid=5600] ppid=5588 vsize=10554176 CPUtime=0.74 cores=0,2,4,6
/proc/5590/task/5600/stat : 5600 (java) S 5588 5590 5129 0 -1 4202560 6407 0 0 0 74 0 0 0 16 0 19 0 833724328 10807476224 905504 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 6 0 0 0
[pid=5590/tid=5601] ppid=5588 vsize=10554176 CPUtime=1.38 cores=0,2,4,6
/proc/5590/task/5601/stat : 5601 (java) S 5588 5590 5129 0 -1 4202560 9245 0 0 0 136 2 0 0 15 0 19 0 833724329 10807476224 905504 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284505600 0 0 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
[pid=5590/tid=5605] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5605/stat : 5605 (java) S 5588 5590 5129 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 833724330 10807476224 905504 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
[pid=5590/tid=5606] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5606/stat : 5606 (java) S 5588 5590 5129 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833724330 10807476224 905504 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
[pid=5590/tid=5613] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5613/stat : 5613 (java) S 5588 5590 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724332 10807476224 905504 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284512689 0 4 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
[pid=5590/tid=5614] ppid=5588 vsize=10554176 CPUtime=0.94 cores=0,2,4,6
/proc/5590/task/5614/stat : 5614 (java) S 5588 5590 5129 0 -1 4202560 13981 0 0 0 92 2 0 0 15 0 19 0 833724332 10807476224 905504 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 2 0 0 0
[pid=5590/tid=5615] ppid=5588 vsize=10554176 CPUtime=0.89 cores=0,2,4,6
/proc/5590/task/5615/stat : 5615 (java) S 5588 5590 5129 0 -1 4202560 5195 0 0 0 89 0 0 0 15 0 19 0 833724332 10807476224 905504 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
[pid=5590/tid=5616] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5616/stat : 5616 (java) S 5588 5590 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833724332 10807476224 905504 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284504985 0 4 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
[pid=5590/tid=5617] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5617/stat : 5617 (java) S 5588 5590 5129 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 833724332 10807476224 905504 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284505600 0 4 0 16800975 18446604452101989632 0 0 -1 2 0 0 0
[pid=5590/tid=5647] ppid=5588 vsize=10554176 CPUtime=0 cores=0,2,4,6
/proc/5590/task/5647/stat : 5647 (java) S 5588 5590 5129 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833724365 10807476224 905504 33554432000 1073741824 1073778376 140735649764032 18446744073709551615 268284505600 0 4 0 16800975 18446604452101989632 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10554176
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.3 s]
/proc/loadavg: 2.01 2.05 2.01 4/609 5754
/proc/meminfo: memFree=24496784/32950928 swapFree=43925852/67111528
[pid=5590] ppid=5588 vsize=0 CPUtime=1800.25 cores=0,2,4,6
/proc/5590/stat : 5590 (java) Z 5588 5590 5129 0 -1 4203548 920000 0 1 0 179900 125 0 0 17 0 2 0 833724326 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5590/statm: 0 0 0 0 0 0 0
[pid=5590/tid=5601] ppid=5588 vsize=0 CPUtime=1.5 cores=0,2,4,6
/proc/5590/task/5601/stat : 5601 (java) R 5588 5590 5129 0 -1 4202564 9246 0 0 0 136 14 0 0 16 0 2 0 833724329 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1794.31
CPU time (s): 1800.28
CPU user time (s): 1799.01
CPU system time (s): 1.26881
CPU usage (%): 100.332
Max. virtual memory (cumulated for all children) (KiB): 10554176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.01
system time used= 1.26881
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 920000
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= 40194
involuntary context switches= 7396
runsolver used 10.9693 second user time and 23.3584 second system time
The end