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-3456929-1307205608/watcher-3456929-1307205608 -o /tmp/evaluation-result-3456929-1307205608/solver-3456929-1307205608 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456929-1307205608.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.21 2.06 2.02 3/532 19882
/proc/meminfo: memFree=15193268/32950940 swapFree=67111364/67111528
[pid=19882] ppid=19880 vsize=35788 CPUtime=0 cores=0,2,4,6
/proc/19882/stat : 19882 (java) S 19880 19882 19289 0 -1 4202496 1316 0 0 0 0 0 0 0 25 0 2 0 910791549 36646912 1018 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/19882/statm: 8947 1018 782 9 0 386 0
[pid=19882/tid=19883] ppid=19880 vsize=35788 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19883/stat : 19883 (java) S 19880 19882 19289 0 -1 4202560 202 0 0 0 0 0 0 0 25 0 2 0 910791550 36646912 1018 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 215988612678 0 0 0 16784584 3354429385854681087 0 0 -1 2 0 0 0
[startup+0.10105 s]
/proc/loadavg: 2.21 2.06 2.02 3/532 19882
/proc/meminfo: memFree=15193268/32950940 swapFree=67111364/67111528
[pid=19882] ppid=19880 vsize=10539556 CPUtime=0.08 cores=0,2,4,6
/proc/19882/stat : 19882 (java) S 19880 19882 19289 0 -1 4202496 12640 0 1 0 7 1 0 0 25 0 18 0 910791549 10792505344 12301 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19882/statm: 2634889 12301 2017 9 0 2625623 0
[pid=19882/tid=19883] ppid=19880 vsize=10539556 CPUtime=0.07 cores=0,2,4,6
/proc/19882/task/19883/stat : 19883 (java) R 19880 19882 19289 0 -1 4202560 10946 0 1 0 6 1 0 0 25 0 18 0 910791550 10792505344 12303 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 215988588389 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10539556
[startup+0.200614 s]
/proc/loadavg: 2.21 2.06 2.02 3/532 19882
/proc/meminfo: memFree=15193268/32950940 swapFree=67111364/67111528
[pid=19882] ppid=19880 vsize=10541356 CPUtime=0.24 cores=0,2,4,6
/proc/19882/stat : 19882 (java) S 19880 19882 19289 0 -1 4202496 13950 0 1 0 23 1 0 0 25 0 19 0 910791549 10794348544 13573 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19882/statm: 2635339 13573 2178 9 0 2626073 0
[pid=19882/tid=19883] ppid=19880 vsize=10541356 CPUtime=0.17 cores=0,2,4,6
/proc/19882/task/19883/stat : 19883 (java) R 19880 19882 19289 0 -1 4202560 11757 0 1 0 16 1 0 0 25 0 19 0 910791550 10794348544 13573 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 10541356
[startup+0.300629 s]
/proc/loadavg: 2.21 2.06 2.02 3/532 19882
/proc/meminfo: memFree=15193268/32950940 swapFree=67111364/67111528
[pid=19882] ppid=19880 vsize=10545916 CPUtime=0.51 cores=0,2,4,6
/proc/19882/stat : 19882 (java) S 19880 19882 19289 0 -1 4202496 20282 0 1 0 49 2 0 0 25 0 19 0 910791549 10799017984 18289 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19882/statm: 2636479 18289 2208 9 0 2627213 0
[pid=19882/tid=19883] ppid=19880 vsize=10545916 CPUtime=0.27 cores=0,2,4,6
/proc/19882/task/19883/stat : 19883 (java) R 19880 19882 19289 0 -1 4202560 12970 0 1 0 26 1 0 0 25 0 19 0 910791550 10799017984 18289 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10545916
[startup+0.700529 s]
/proc/loadavg: 2.21 2.06 2.02 3/532 19882
/proc/meminfo: memFree=15193268/32950940 swapFree=67111364/67111528
[pid=19882] ppid=19880 vsize=10549512 CPUtime=1.64 cores=0,2,4,6
/proc/19882/stat : 19882 (java) S 19880 19882 19289 0 -1 4202496 48865 0 1 0 159 5 0 0 25 0 19 0 910791549 10802700288 44844 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19882/statm: 2637378 44848 2220 9 0 2628112 0
[pid=19882/tid=19883] ppid=19880 vsize=10549512 CPUtime=0.67 cores=0,2,4,6
/proc/19882/task/19883/stat : 19883 (java) R 19880 19882 19289 0 -1 4202560 38625 0 1 0 63 4 0 0 25 0 19 0 910791550 10802700288 44850 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 46912505575700 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 10549512
[startup+1.5015 s]
/proc/loadavg: 2.21 2.06 2.02 3/551 19901
/proc/meminfo: memFree=14841972/32950940 swapFree=67111364/67111528
[pid=19882] ppid=19880 vsize=10549656 CPUtime=2.57 cores=0,2,4,6
/proc/19882/stat : 19882 (java) S 19880 19882 19289 0 -1 4202496 140197 0 1 0 243 14 0 0 25 0 19 0 910791549 10802847744 136175 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19882/statm: 2637414 136182 2226 9 0 2628148 0
[pid=19882/tid=19883] ppid=19880 vsize=10549656 CPUtime=1.47 cores=0,2,4,6
/proc/19882/task/19883/stat : 19883 (java) R 19880 19882 19289 0 -1 4202560 129920 0 1 0 134 13 0 0 25 0 19 0 910791550 10802847744 136185 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 46912505574420 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19882/tid=19885] ppid=19880 vsize=10549656 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19885/stat : 19885 (java) S 19880 19882 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791553 10802847744 136189 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 6 0 0 0
[pid=19882/tid=19886] ppid=19880 vsize=10549656 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19886/stat : 19886 (java) S 19880 19882 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791553 10802847744 136193 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 6 0 0 0
[pid=19882/tid=19887] ppid=19880 vsize=10549656 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19887/stat : 19887 (java) S 19880 19882 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791553 10802847744 136197 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 6 0 0 0
[pid=19882/tid=19888] ppid=19880 vsize=10549656 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19888/stat : 19888 (java) S 19880 19882 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791553 10802847744 136201 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 6 0 0 0
[pid=19882/tid=19889] ppid=19880 vsize=10549656 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19889/stat : 19889 (java) S 19880 19882 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791553 10802847744 136204 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 6 0 0 0
[pid=19882/tid=19890] ppid=19880 vsize=10549656 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19890/stat : 19890 (java) S 19880 19882 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791553 10802847744 136208 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 6 0 0 0
[pid=19882/tid=19891] ppid=19880 vsize=10549656 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19891/stat : 19891 (java) S 19880 19882 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791553 10802847744 136212 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 6 0 0 0
[pid=19882/tid=19892] ppid=19880 vsize=10549656 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19892/stat : 19892 (java) S 19880 19882 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791553 10802847744 136215 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 6 0 0 0
[pid=19882/tid=19893] ppid=19880 vsize=10549656 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19893/stat : 19893 (java) S 19880 19882 19289 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 910791554 10802847744 136219 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000409088 0 0 0 16800975 18446604453693707200 0 0 -1 2 0 0 0
[pid=19882/tid=19894] ppid=19880 vsize=10549656 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19894/stat : 19894 (java) S 19880 19882 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 910791554 10802847744 136223 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 2 0 0 0
[pid=19882/tid=19895] ppid=19880 vsize=10549656 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19895/stat : 19895 (java) S 19880 19882 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910791554 10802847744 136226 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 2 0 0 0
[pid=19882/tid=19896] ppid=19880 vsize=10549656 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19896/stat : 19896 (java) S 19880 19882 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791556 10802847744 136230 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000416177 0 4 0 16800975 18446604453693707200 0 0 -1 2 0 0 0
[pid=19882/tid=19897] ppid=19880 vsize=10549656 CPUtime=0.55 cores=0,2,4,6
/proc/19882/task/19897/stat : 19897 (java) S 19880 19882 19289 0 -1 4202560 4512 0 0 0 55 0 0 0 19 0 19 0 910791556 10802847744 136233 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 6 0 0 0
[pid=19882/tid=19898] ppid=19880 vsize=10549656 CPUtime=0.53 cores=0,2,4,6
/proc/19882/task/19898/stat : 19898 (java) S 19880 19882 19289 0 -1 4202560 4616 0 0 0 53 0 0 0 20 0 19 0 910791556 10802847744 136236 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 4 0 0 0
[pid=19882/tid=19899] ppid=19880 vsize=10549656 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19899/stat : 19899 (java) S 19880 19882 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791556 10802847744 136240 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 2 0 0 0
[pid=19882/tid=19900] ppid=19880 vsize=10549656 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19900/stat : 19900 (java) S 19880 19882 19289 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 910791556 10802847744 136243 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000409088 0 4 0 16800975 18446604453693707200 0 0 -1 4 0 0 0
[pid=19882/tid=19901] ppid=19880 vsize=10549656 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19901/stat : 19901 (java) S 19880 19882 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910791567 10802847744 136247 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000409088 0 4 0 16800975 18446604453693707200 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 10549656
[startup+3.10123 s]
/proc/loadavg: 2.21 2.06 2.02 3/551 19901
/proc/meminfo: memFree=14387884/32950940 swapFree=67111364/67111528
[pid=19882] ppid=19880 vsize=10549656 CPUtime=4.2 cores=0,2,4,6
/proc/19882/stat : 19882 (java) S 19880 19882 19289 0 -1 4202496 293200 0 1 0 389 31 0 0 25 0 19 0 910791549 10802847744 289177 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19882/statm: 2637414 289181 2226 9 0 2628148 0
[pid=19882/tid=19883] ppid=19880 vsize=10549656 CPUtime=3.07 cores=0,2,4,6
/proc/19882/task/19883/stat : 19883 (java) R 19880 19882 19289 0 -1 4202560 282917 0 1 0 277 30 0 0 25 0 19 0 910791550 10802847744 289183 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 46912505633560 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19882/tid=19885] ppid=19880 vsize=10549656 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19885/stat : 19885 (java) S 19880 19882 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791553 10802847744 289187 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 6 0 0 0
[pid=19882/tid=19886] ppid=19880 vsize=10549656 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19886/stat : 19886 (java) S 19880 19882 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791553 10802847744 289190 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 6 0 0 0
[pid=19882/tid=19887] ppid=19880 vsize=10549656 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19887/stat : 19887 (java) S 19880 19882 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791553 10802847744 289194 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 6 0 0 0
[pid=19882/tid=19888] ppid=19880 vsize=10549656 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19888/stat : 19888 (java) S 19880 19882 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791553 10802847744 289197 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 6 0 0 0
[pid=19882/tid=19889] ppid=19880 vsize=10549656 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19889/stat : 19889 (java) S 19880 19882 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791553 10802847744 289199 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 6 0 0 0
[pid=19882/tid=19890] ppid=19880 vsize=10549656 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19890/stat : 19890 (java) S 19880 19882 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791553 10802847744 289203 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 6 0 0 0
[pid=19882/tid=19891] ppid=19880 vsize=10549656 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19891/stat : 19891 (java) S 19880 19882 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791553 10802847744 289205 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 6 0 0 0
[pid=19882/tid=19892] ppid=19880 vsize=10549656 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19892/stat : 19892 (java) S 19880 19882 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791553 10802847744 289209 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 6 0 0 0
[pid=19882/tid=19893] ppid=19880 vsize=10549656 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19893/stat : 19893 (java) S 19880 19882 19289 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 910791554 10802847744 289212 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000409088 0 0 0 16800975 18446604453693707200 0 0 -1 2 0 0 0
[pid=19882/tid=19894] ppid=19880 vsize=10549656 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19894/stat : 19894 (java) S 19880 19882 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 910791554 10802847744 289215 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 2 0 0 0
[pid=19882/tid=19895] ppid=19880 vsize=10549656 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19895/stat : 19895 (java) S 19880 19882 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910791554 10802847744 289219 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 2 0 0 0
[pid=19882/tid=19896] ppid=19880 vsize=10549656 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19896/stat : 19896 (java) S 19880 19882 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791556 10802847744 289224 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000416177 0 4 0 16800975 18446604453693707200 0 0 -1 2 0 0 0
[pid=19882/tid=19897] ppid=19880 vsize=10549656 CPUtime=0.57 cores=0,2,4,6
/proc/19882/task/19897/stat : 19897 (java) S 19880 19882 19289 0 -1 4202560 4514 0 0 0 57 0 0 0 15 0 19 0 910791556 10802847744 289226 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 6 0 0 0
[pid=19882/tid=19898] ppid=19880 vsize=10549656 CPUtime=0.53 cores=0,2,4,6
/proc/19882/task/19898/stat : 19898 (java) S 19880 19882 19289 0 -1 4202560 4616 0 0 0 53 0 0 0 15 0 19 0 910791556 10802847744 289228 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 4 0 0 0
[pid=19882/tid=19899] ppid=19880 vsize=10549656 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19899/stat : 19899 (java) S 19880 19882 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791556 10802847744 289230 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 2 0 0 0
[pid=19882/tid=19900] ppid=19880 vsize=10549656 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19900/stat : 19900 (java) S 19880 19882 19289 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 910791556 10802847744 289232 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000409088 0 4 0 16800975 18446604453693707200 0 0 -1 4 0 0 0
[pid=19882/tid=19901] ppid=19880 vsize=10549656 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19901/stat : 19901 (java) S 19880 19882 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910791567 10802847744 289234 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000409088 0 4 0 16800975 18446604453693707200 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 10549656
[startup+6.30054 s]
/proc/loadavg: 2.19 2.06 2.02 3/551 19901
/proc/meminfo: memFree=13302232/32950940 swapFree=67111364/67111528
[pid=19882] ppid=19880 vsize=10549656 CPUtime=7.4 cores=0,2,4,6
/proc/19882/stat : 19882 (java) S 19880 19882 19289 0 -1 4202496 497888 0 1 0 687 53 0 0 25 0 19 0 910791549 10802847744 493633 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19882/statm: 2637414 493633 2227 9 0 2628148 0
[pid=19882/tid=19883] ppid=19880 vsize=10549656 CPUtime=6.27 cores=0,2,4,6
/proc/19882/task/19883/stat : 19883 (java) R 19880 19882 19289 0 -1 4202560 487597 0 1 0 575 52 0 0 25 0 19 0 910791550 10802847744 493633 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 46912505661511 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19882/tid=19885] ppid=19880 vsize=10549656 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19885/stat : 19885 (java) S 19880 19882 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791553 10802847744 493633 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 6 0 0 0
[pid=19882/tid=19886] ppid=19880 vsize=10549656 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19886/stat : 19886 (java) S 19880 19882 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791553 10802847744 493633 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 6 0 0 0
[pid=19882/tid=19887] ppid=19880 vsize=10549656 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19887/stat : 19887 (java) S 19880 19882 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791553 10802847744 493633 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 6 0 0 0
[pid=19882/tid=19888] ppid=19880 vsize=10549656 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19888/stat : 19888 (java) S 19880 19882 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791553 10802847744 493633 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 6 0 0 0
[pid=19882/tid=19889] ppid=19880 vsize=10549656 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19889/stat : 19889 (java) S 19880 19882 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791553 10802847744 493633 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 6 0 0 0
[pid=19882/tid=19890] ppid=19880 vsize=10549656 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19890/stat : 19890 (java) S 19880 19882 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791553 10802847744 493633 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 6 0 0 0
[pid=19882/tid=19891] ppid=19880 vsize=10549656 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19891/stat : 19891 (java) S 19880 19882 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791553 10802847744 493633 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 6 0 0 0
[pid=19882/tid=19892] ppid=19880 vsize=10549656 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19892/stat : 19892 (java) S 19880 19882 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791553 10802847744 493633 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 6 0 0 0
[pid=19882/tid=19893] ppid=19880 vsize=10549656 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19893/stat : 19893 (java) S 19880 19882 19289 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 910791554 10802847744 493633 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000409088 0 0 0 16800975 18446604453693707200 0 0 -1 2 0 0 0
[pid=19882/tid=19894] ppid=19880 vsize=10549656 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19894/stat : 19894 (java) S 19880 19882 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 910791554 10802847744 493633 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 2 0 0 0
[pid=19882/tid=19895] ppid=19880 vsize=10549656 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19895/stat : 19895 (java) S 19880 19882 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910791554 10802847744 493633 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 2 0 0 0
[pid=19882/tid=19896] ppid=19880 vsize=10549656 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19896/stat : 19896 (java) S 19880 19882 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791556 10802847744 493633 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000416177 0 4 0 16800975 18446604453693707200 0 0 -1 2 0 0 0
[pid=19882/tid=19897] ppid=19880 vsize=10549656 CPUtime=0.57 cores=0,2,4,6
/proc/19882/task/19897/stat : 19897 (java) S 19880 19882 19289 0 -1 4202560 4514 0 0 0 57 0 0 0 15 0 19 0 910791556 10802847744 493633 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 6 0 0 0
[pid=19882/tid=19898] ppid=19880 vsize=10549656 CPUtime=0.53 cores=0,2,4,6
/proc/19882/task/19898/stat : 19898 (java) S 19880 19882 19289 0 -1 4202560 4616 0 0 0 53 0 0 0 15 0 19 0 910791556 10802847744 493633 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/19882/task/19895/stat : 19895 (java) S 19880 19882 19289 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 910791554 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 2 0 0 0
[pid=19882/tid=19896] ppid=19880 vsize=10548212 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19896/stat : 19896 (java) S 19880 19882 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791556 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000416177 0 4 0 16800975 18446604453693707200 0 0 -1 2 0 0 0
[pid=19882/tid=19897] ppid=19880 vsize=10548212 CPUtime=0.71 cores=0,2,4,6
/proc/19882/task/19897/stat : 19897 (java) S 19880 19882 19289 0 -1 4202560 4774 0 0 0 71 0 0 0 15 0 19 0 910791556 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 6 0 0 0
[pid=19882/tid=19898] ppid=19880 vsize=10548212 CPUtime=0.53 cores=0,2,4,6
/proc/19882/task/19898/stat : 19898 (java) S 19880 19882 19289 0 -1 4202560 4616 0 0 0 53 0 0 0 15 0 19 0 910791556 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 4 0 0 0
[pid=19882/tid=19899] ppid=19880 vsize=10548212 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19899/stat : 19899 (java) S 19880 19882 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791556 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 2 0 0 0
[pid=19882/tid=19900] ppid=19880 vsize=10548212 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19900/stat : 19900 (java) S 19880 19882 19289 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 910791556 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000409088 0 4 0 16800975 18446604453693707200 0 0 -1 0 0 0 0
[pid=19882/tid=19901] ppid=19880 vsize=10548212 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19901/stat : 19901 (java) S 19880 19882 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910791567 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000409088 0 4 0 16800975 18446604453693707200 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1664.29
Current children cumulated vsize (KiB) 10548212
[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/551 20004
/proc/meminfo: memFree=11545916/32950940 swapFree=67111364/67111528
[pid=19882] ppid=19880 vsize=10548212 CPUtime=1724.29 cores=0,2,4,6
/proc/19882/stat : 19882 (java) S 19880 19882 19289 0 -1 4202496 965093 0 1 0 172314 115 0 0 25 0 19 0 910791549 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19882/statm: 2637053 953474 2240 9 0 2627787 0
[pid=19882/tid=19883] ppid=19880 vsize=10548212 CPUtime=1721.83 cores=0,2,4,6
/proc/19882/task/19883/stat : 19883 (java) R 19880 19882 19289 0 -1 4202560 740671 0 1 0 172104 79 0 0 25 0 19 0 910791550 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 46912505661533 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19882/tid=19885] ppid=19880 vsize=10548212 CPUtime=0.17 cores=0,2,4,6
/proc/19882/task/19885/stat : 19885 (java) S 19880 19882 19289 0 -1 4202560 39914 0 0 0 12 5 0 0 15 0 19 0 910791553 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 0 0 0 0
[pid=19882/tid=19886] ppid=19880 vsize=10548212 CPUtime=0.08 cores=0,2,4,6
/proc/19882/task/19886/stat : 19886 (java) S 19880 19882 19289 0 -1 4202560 14980 0 0 0 6 2 0 0 15 0 19 0 910791553 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 6 0 0 0
[pid=19882/tid=19887] ppid=19880 vsize=10548212 CPUtime=0.15 cores=0,2,4,6
/proc/19882/task/19887/stat : 19887 (java) S 19880 19882 19289 0 -1 4202560 25286 0 0 0 10 5 0 0 15 0 19 0 910791553 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 6 0 0 0
[pid=19882/tid=19888] ppid=19880 vsize=10548212 CPUtime=0.09 cores=0,2,4,6
/proc/19882/task/19888/stat : 19888 (java) S 19880 19882 19289 0 -1 4202560 12593 0 0 0 7 2 0 0 15 0 19 0 910791553 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 0 0 0 0
[pid=19882/tid=19889] ppid=19880 vsize=10548212 CPUtime=0.14 cores=0,2,4,6
/proc/19882/task/19889/stat : 19889 (java) S 19880 19882 19289 0 -1 4202560 28123 0 0 0 9 5 0 0 16 0 19 0 910791553 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 0 0 0 0
[pid=19882/tid=19890] ppid=19880 vsize=10548212 CPUtime=0.19 cores=0,2,4,6
/proc/19882/task/19890/stat : 19890 (java) S 19880 19882 19289 0 -1 4202560 41876 0 0 0 14 5 0 0 16 0 19 0 910791553 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 4 0 0 0
[pid=19882/tid=19891] ppid=19880 vsize=10548212 CPUtime=0.17 cores=0,2,4,6
/proc/19882/task/19891/stat : 19891 (java) S 19880 19882 19289 0 -1 4202560 34163 0 0 0 13 4 0 0 16 0 19 0 910791553 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 6 0 0 0
[pid=19882/tid=19892] ppid=19880 vsize=10548212 CPUtime=0.1 cores=0,2,4,6
/proc/19882/task/19892/stat : 19892 (java) S 19880 19882 19289 0 -1 4202560 16798 0 0 0 8 2 0 0 15 0 19 0 910791553 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 0 0 0 0
[pid=19882/tid=19893] ppid=19880 vsize=10548212 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19893/stat : 19893 (java) S 19880 19882 19289 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 19 0 910791554 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000409088 0 0 0 16800975 18446604453693707200 0 0 -1 2 0 0 0
[pid=19882/tid=19894] ppid=19880 vsize=10548212 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19894/stat : 19894 (java) S 19880 19882 19289 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 910791554 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 2 0 0 0
[pid=19882/tid=19895] ppid=19880 vsize=10548212 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19895/stat : 19895 (java) S 19880 19882 19289 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 910791554 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 2 0 0 0
[pid=19882/tid=19896] ppid=19880 vsize=10548212 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19896/stat : 19896 (java) S 19880 19882 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791556 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000416177 0 4 0 16800975 18446604453693707200 0 0 -1 2 0 0 0
[pid=19882/tid=19897] ppid=19880 vsize=10548212 CPUtime=0.71 cores=0,2,4,6
/proc/19882/task/19897/stat : 19897 (java) S 19880 19882 19289 0 -1 4202560 4774 0 0 0 71 0 0 0 15 0 19 0 910791556 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 6 0 0 0
[pid=19882/tid=19898] ppid=19880 vsize=10548212 CPUtime=0.53 cores=0,2,4,6
/proc/19882/task/19898/stat : 19898 (java) S 19880 19882 19289 0 -1 4202560 4616 0 0 0 53 0 0 0 15 0 19 0 910791556 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 4 0 0 0
[pid=19882/tid=19899] ppid=19880 vsize=10548212 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19899/stat : 19899 (java) S 19880 19882 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791556 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 2 0 0 0
[pid=19882/tid=19900] ppid=19880 vsize=10548212 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19900/stat : 19900 (java) S 19880 19882 19289 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 910791556 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000409088 0 4 0 16800975 18446604453693707200 0 0 -1 0 0 0 0
[pid=19882/tid=19901] ppid=19880 vsize=10548212 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19901/stat : 19901 (java) S 19880 19882 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910791567 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000409088 0 4 0 16800975 18446604453693707200 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1724.29
Current children cumulated vsize (KiB) 10548212
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/551 20005
/proc/meminfo: memFree=11545016/32950940 swapFree=67111364/67111528
[pid=19882] ppid=19880 vsize=10548212 CPUtime=1784.29 cores=0,2,4,6
/proc/19882/stat : 19882 (java) S 19880 19882 19289 0 -1 4202496 965097 0 1 0 178313 116 0 0 25 0 19 0 910791549 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19882/statm: 2637053 953474 2240 9 0 2627787 0
[pid=19882/tid=19883] ppid=19880 vsize=10548212 CPUtime=1781.84 cores=0,2,4,6
/proc/19882/task/19883/stat : 19883 (java) R 19880 19882 19289 0 -1 4202560 740671 0 1 0 178104 80 0 0 25 0 19 0 910791550 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 46912505604384 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19882/tid=19885] ppid=19880 vsize=10548212 CPUtime=0.17 cores=0,2,4,6
/proc/19882/task/19885/stat : 19885 (java) S 19880 19882 19289 0 -1 4202560 39914 0 0 0 12 5 0 0 15 0 19 0 910791553 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 0 0 0 0
[pid=19882/tid=19886] ppid=19880 vsize=10548212 CPUtime=0.08 cores=0,2,4,6
/proc/19882/task/19886/stat : 19886 (java) S 19880 19882 19289 0 -1 4202560 14980 0 0 0 6 2 0 0 15 0 19 0 910791553 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 6 0 0 0
[pid=19882/tid=19887] ppid=19880 vsize=10548212 CPUtime=0.15 cores=0,2,4,6
/proc/19882/task/19887/stat : 19887 (java) S 19880 19882 19289 0 -1 4202560 25286 0 0 0 10 5 0 0 15 0 19 0 910791553 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 6 0 0 0
[pid=19882/tid=19888] ppid=19880 vsize=10548212 CPUtime=0.09 cores=0,2,4,6
/proc/19882/task/19888/stat : 19888 (java) S 19880 19882 19289 0 -1 4202560 12593 0 0 0 7 2 0 0 15 0 19 0 910791553 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 0 0 0 0
[pid=19882/tid=19889] ppid=19880 vsize=10548212 CPUtime=0.14 cores=0,2,4,6
/proc/19882/task/19889/stat : 19889 (java) S 19880 19882 19289 0 -1 4202560 28123 0 0 0 9 5 0 0 16 0 19 0 910791553 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 0 0 0 0
[pid=19882/tid=19890] ppid=19880 vsize=10548212 CPUtime=0.19 cores=0,2,4,6
/proc/19882/task/19890/stat : 19890 (java) S 19880 19882 19289 0 -1 4202560 41876 0 0 0 14 5 0 0 16 0 19 0 910791553 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 4 0 0 0
[pid=19882/tid=19891] ppid=19880 vsize=10548212 CPUtime=0.17 cores=0,2,4,6
/proc/19882/task/19891/stat : 19891 (java) S 19880 19882 19289 0 -1 4202560 34163 0 0 0 13 4 0 0 16 0 19 0 910791553 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 6 0 0 0
[pid=19882/tid=19892] ppid=19880 vsize=10548212 CPUtime=0.1 cores=0,2,4,6
/proc/19882/task/19892/stat : 19892 (java) S 19880 19882 19289 0 -1 4202560 16798 0 0 0 8 2 0 0 15 0 19 0 910791553 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 0 0 0 0
[pid=19882/tid=19893] ppid=19880 vsize=10548212 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19893/stat : 19893 (java) S 19880 19882 19289 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 19 0 910791554 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000409088 0 0 0 16800975 18446604453693707200 0 0 -1 2 0 0 0
[pid=19882/tid=19894] ppid=19880 vsize=10548212 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19894/stat : 19894 (java) S 19880 19882 19289 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 910791554 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 2 0 0 0
[pid=19882/tid=19895] ppid=19880 vsize=10548212 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19895/stat : 19895 (java) S 19880 19882 19289 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 910791554 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 2 0 0 0
[pid=19882/tid=19896] ppid=19880 vsize=10548212 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19896/stat : 19896 (java) S 19880 19882 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791556 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000416177 0 4 0 16800975 18446604453693707200 0 0 -1 2 0 0 0
[pid=19882/tid=19897] ppid=19880 vsize=10548212 CPUtime=0.71 cores=0,2,4,6
/proc/19882/task/19897/stat : 19897 (java) S 19880 19882 19289 0 -1 4202560 4774 0 0 0 71 0 0 0 15 0 19 0 910791556 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 6 0 0 0
[pid=19882/tid=19898] ppid=19880 vsize=10548212 CPUtime=0.53 cores=0,2,4,6
/proc/19882/task/19898/stat : 19898 (java) S 19880 19882 19289 0 -1 4202560 4616 0 0 0 53 0 0 0 15 0 19 0 910791556 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 4 0 0 0
[pid=19882/tid=19899] ppid=19880 vsize=10548212 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19899/stat : 19899 (java) S 19880 19882 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791556 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 2 0 0 0
[pid=19882/tid=19900] ppid=19880 vsize=10548212 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19900/stat : 19900 (java) S 19880 19882 19289 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 910791556 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000409088 0 4 0 16800975 18446604453693707200 0 0 -1 0 0 0 0
[pid=19882/tid=19901] ppid=19880 vsize=10548212 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19901/stat : 19901 (java) S 19880 19882 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910791567 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000409088 0 4 0 16800975 18446604453693707200 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1784.29
Current children cumulated vsize (KiB) 10548212
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 20006
/proc/meminfo: memFree=11545136/32950940 swapFree=67111364/67111528
[pid=19882] ppid=19880 vsize=10548212 CPUtime=1800.1 cores=0,2,4,6
/proc/19882/stat : 19882 (java) S 19880 19882 19289 0 -1 4202496 965097 0 1 0 179894 116 0 0 25 0 19 0 910791549 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19882/statm: 2637053 953474 2240 9 0 2627787 0
[pid=19882/tid=19883] ppid=19880 vsize=10548212 CPUtime=1797.65 cores=0,2,4,6
/proc/19882/task/19883/stat : 19883 (java) R 19880 19882 19289 0 -1 4202560 740671 0 1 0 179685 80 0 0 25 0 19 0 910791550 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 46912505604446 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19882/tid=19885] ppid=19880 vsize=10548212 CPUtime=0.17 cores=0,2,4,6
/proc/19882/task/19885/stat : 19885 (java) S 19880 19882 19289 0 -1 4202560 39914 0 0 0 12 5 0 0 15 0 19 0 910791553 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 0 0 0 0
[pid=19882/tid=19886] ppid=19880 vsize=10548212 CPUtime=0.08 cores=0,2,4,6
/proc/19882/task/19886/stat : 19886 (java) S 19880 19882 19289 0 -1 4202560 14980 0 0 0 6 2 0 0 15 0 19 0 910791553 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 6 0 0 0
[pid=19882/tid=19887] ppid=19880 vsize=10548212 CPUtime=0.15 cores=0,2,4,6
/proc/19882/task/19887/stat : 19887 (java) S 19880 19882 19289 0 -1 4202560 25286 0 0 0 10 5 0 0 15 0 19 0 910791553 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 6 0 0 0
[pid=19882/tid=19888] ppid=19880 vsize=10548212 CPUtime=0.09 cores=0,2,4,6
/proc/19882/task/19888/stat : 19888 (java) S 19880 19882 19289 0 -1 4202560 12593 0 0 0 7 2 0 0 15 0 19 0 910791553 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 0 0 0 0
[pid=19882/tid=19889] ppid=19880 vsize=10548212 CPUtime=0.14 cores=0,2,4,6
/proc/19882/task/19889/stat : 19889 (java) S 19880 19882 19289 0 -1 4202560 28123 0 0 0 9 5 0 0 16 0 19 0 910791553 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 0 0 0 0
[pid=19882/tid=19890] ppid=19880 vsize=10548212 CPUtime=0.19 cores=0,2,4,6
/proc/19882/task/19890/stat : 19890 (java) S 19880 19882 19289 0 -1 4202560 41876 0 0 0 14 5 0 0 16 0 19 0 910791553 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 4 0 0 0
[pid=19882/tid=19891] ppid=19880 vsize=10548212 CPUtime=0.17 cores=0,2,4,6
/proc/19882/task/19891/stat : 19891 (java) S 19880 19882 19289 0 -1 4202560 34163 0 0 0 13 4 0 0 16 0 19 0 910791553 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 6 0 0 0
[pid=19882/tid=19892] ppid=19880 vsize=10548212 CPUtime=0.1 cores=0,2,4,6
/proc/19882/task/19892/stat : 19892 (java) S 19880 19882 19289 0 -1 4202560 16798 0 0 0 8 2 0 0 15 0 19 0 910791553 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 0 0 0 0
[pid=19882/tid=19893] ppid=19880 vsize=10548212 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19893/stat : 19893 (java) S 19880 19882 19289 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 19 0 910791554 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000409088 0 0 0 16800975 18446604453693707200 0 0 -1 2 0 0 0
[pid=19882/tid=19894] ppid=19880 vsize=10548212 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19894/stat : 19894 (java) S 19880 19882 19289 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 910791554 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 2 0 0 0
[pid=19882/tid=19895] ppid=19880 vsize=10548212 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19895/stat : 19895 (java) S 19880 19882 19289 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 910791554 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 2 0 0 0
[pid=19882/tid=19896] ppid=19880 vsize=10548212 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19896/stat : 19896 (java) S 19880 19882 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791556 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000416177 0 4 0 16800975 18446604453693707200 0 0 -1 2 0 0 0
[pid=19882/tid=19897] ppid=19880 vsize=10548212 CPUtime=0.71 cores=0,2,4,6
/proc/19882/task/19897/stat : 19897 (java) S 19880 19882 19289 0 -1 4202560 4774 0 0 0 71 0 0 0 15 0 19 0 910791556 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 6 0 0 0
[pid=19882/tid=19898] ppid=19880 vsize=10548212 CPUtime=0.53 cores=0,2,4,6
/proc/19882/task/19898/stat : 19898 (java) S 19880 19882 19289 0 -1 4202560 4616 0 0 0 53 0 0 0 15 0 19 0 910791556 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 4 0 0 0
[pid=19882/tid=19899] ppid=19880 vsize=10548212 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19899/stat : 19899 (java) S 19880 19882 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791556 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000408473 0 4 0 16800975 18446604453693707200 0 0 -1 2 0 0 0
[pid=19882/tid=19900] ppid=19880 vsize=10548212 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19900/stat : 19900 (java) S 19880 19882 19289 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 910791556 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000409088 0 4 0 16800975 18446604453693707200 0 0 -1 0 0 0 0
[pid=19882/tid=19901] ppid=19880 vsize=10548212 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19901/stat : 19901 (java) S 19880 19882 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910791567 10801369088 953474 33554432000 1073741824 1073778376 140735865809040 18446744073709551615 216000409088 0 4 0 16800975 18446604453693707200 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 10548212
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 20006
/proc/meminfo: memFree=11545136/32950940 swapFree=67111364/67111528
[pid=19882] ppid=19880 vsize=0 CPUtime=1800.36 cores=0,2,4,6
/proc/19882/stat : 19882 (java) Z 19880 19882 19289 0 -1 4203548 965127 0 1 0 179904 132 0 0 17 0 2 0 910791549 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19882/statm: 0 0 0 0 0 0 0
[pid=19882/tid=19883] ppid=19880 vsize=0 CPUtime=1797.84 cores=0,2,4,6
/proc/19882/task/19883/stat : 19883 (java) R 19880 19882 19289 0 -1 4203588 740671 0 1 0 179693 91 0 0 25 0 2 0 910791550 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.36
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1798.35
CPU time (s): 1800.42
CPU user time (s): 1799.04
CPU system time (s): 1.37279
CPU usage (%): 100.115
Max. virtual memory (cumulated for all children) (KiB): 10554612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.04
system time used= 1.37279
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 965127
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= 37227
involuntary context switches= 35830
runsolver used 9.58954 second user time and 20.0709 second system time
The end