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-3456715-1307219464/watcher-3456715-1307219464 -o /tmp/evaluation-result-3456715-1307219464/solver-3456715-1307219464 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456715-1307219464.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.92 2.00 1.92 3/495 5717
/proc/meminfo: memFree=16692832/32951124 swapFree=67057928/67111528
[pid=5717] ppid=5715 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/5717/stat : 5717 (java) R 5715 5717 5272 0 -1 4202496 1056 0 0 0 0 0 0 0 25 0 1 0 814361717 23580672 800 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 47927574262723 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/5717/statm: 5757 822 617 9 0 124 0
[pid=5717/tid=5718] ppid=5715 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5718/stat : 5718 (java) R 5715 5717 5272 0 -1 4202560 2186 0 1 0 0 0 0 0 25 0 2 0 814361718 10694979584 3002 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254261310523 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0873219 s]
/proc/loadavg: 1.92 2.00 1.92 3/495 5717
/proc/meminfo: memFree=16692832/32951124 swapFree=67057928/67111528
[pid=5717] ppid=5715 vsize=10473088 CPUtime=0.07 cores=0,2,4,6
/proc/5717/stat : 5717 (java) S 5715 5717 5272 0 -1 4202496 12040 0 1 0 6 1 0 0 25 0 18 0 814361717 10724442112 11737 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5717/statm: 2618272 11737 1755 9 0 2609006 0
[pid=5717/tid=5718] ppid=5715 vsize=10473088 CPUtime=0.06 cores=0,2,4,6
/proc/5717/task/5718/stat : 5718 (java) R 5715 5717 5272 0 -1 4202560 10867 0 1 0 5 1 0 0 25 0 18 0 814361718 10724442112 11738 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273443275 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10473088
[startup+0.104011 s]
/proc/loadavg: 1.92 2.00 1.92 3/495 5717
/proc/meminfo: memFree=16692832/32951124 swapFree=67057928/67111528
[pid=5717] ppid=5715 vsize=10539608 CPUtime=0.1 cores=0,2,4,6
/proc/5717/stat : 5717 (java) S 5715 5717 5272 0 -1 4202496 12891 0 1 0 9 1 0 0 25 0 18 0 814361717 10792558592 12589 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5717/statm: 2634902 12590 2092 9 0 2625636 0
[pid=5717/tid=5718] ppid=5715 vsize=10539608 CPUtime=0.08 cores=0,2,4,6
/proc/5717/task/5718/stat : 5718 (java) R 5715 5717 5272 0 -1 4202560 11115 0 1 0 7 1 0 0 18 0 18 0 814361718 10792558592 12590 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 46912496197400 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539608
[startup+0.300229 s]
/proc/loadavg: 1.92 2.00 1.92 3/495 5717
/proc/meminfo: memFree=16692832/32951124 swapFree=67057928/67111528
[pid=5717] ppid=5715 vsize=10541736 CPUtime=0.45 cores=0,2,4,6
/proc/5717/stat : 5717 (java) S 5715 5717 5272 0 -1 4202496 15448 0 1 0 44 1 0 0 25 0 18 0 814361717 10794737664 15116 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5717/statm: 2635434 15116 2200 9 0 2626168 0
[pid=5717/tid=5718] ppid=5715 vsize=10541736 CPUtime=0.27 cores=0,2,4,6
/proc/5717/task/5718/stat : 5718 (java) R 5715 5717 5272 0 -1 4202560 13003 0 1 0 26 1 0 0 18 0 18 0 814361718 10794737664 15117 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 46912505554185 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10541736
[startup+0.70122 s]
/proc/loadavg: 1.92 2.00 1.92 3/495 5717
/proc/meminfo: memFree=16692832/32951124 swapFree=67057928/67111528
[pid=5717] ppid=5715 vsize=10543960 CPUtime=1.16 cores=0,2,4,6
/proc/5717/stat : 5717 (java) S 5715 5717 5272 0 -1 4202496 18972 0 1 0 114 2 0 0 25 0 19 0 814361717 10797015040 17598 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5717/statm: 2635990 17599 2221 9 0 2626724 0
[pid=5717/tid=5718] ppid=5715 vsize=10543960 CPUtime=0.67 cores=0,2,4,6
/proc/5717/task/5718/stat : 5718 (java) R 5715 5717 5272 0 -1 4202560 15000 0 1 0 66 1 0 0 19 0 19 0 814361718 10797015040 17599 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 46912505700091 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 10543960
[startup+1.50103 s]
/proc/loadavg: 1.92 2.00 1.92 4/514 5736
/proc/meminfo: memFree=16607872/32951124 swapFree=67057928/67111528
[pid=5717] ppid=5715 vsize=10560640 CPUtime=2.42 cores=0,2,4,6
/proc/5717/stat : 5717 (java) S 5715 5717 5272 0 -1 4202496 33359 0 1 0 238 4 0 0 25 0 19 0 814361717 10814095360 28711 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5717/statm: 2640160 28711 2225 9 0 2630894 0
[pid=5717/tid=5718] ppid=5715 vsize=10560640 CPUtime=1.47 cores=0,2,4,6
/proc/5717/task/5718/stat : 5718 (java) R 5715 5717 5272 0 -1 4202560 19541 0 1 0 145 2 0 0 18 0 19 0 814361718 10814095360 28711 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 47927573793319 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=5717/tid=5720] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5720/stat : 5720 (java) S 5715 5717 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814361719 10814095360 28711 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5721] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5721/stat : 5721 (java) S 5715 5717 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814361719 10814095360 28711 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5722] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5722/stat : 5722 (java) S 5715 5717 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814361719 10814095360 28711 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5723] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5723/stat : 5723 (java) S 5715 5717 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814361719 10814095360 28711 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5724] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5724/stat : 5724 (java) S 5715 5717 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814361719 10814095360 28711 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5725] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5725/stat : 5725 (java) S 5715 5717 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814361719 10814095360 28711 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5726] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5726/stat : 5726 (java) S 5715 5717 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814361719 10814095360 28711 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5727] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5727/stat : 5727 (java) S 5715 5717 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814361719 10814095360 28711 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 6 0 0 0
[pid=5717/tid=5728] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5728/stat : 5728 (java) S 5715 5717 5272 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814361721 10814095360 28711 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273433088 0 0 0 16800975 18446604448165264256 0 0 -1 4 0 0 0
[pid=5717/tid=5729] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5729/stat : 5729 (java) S 5715 5717 5272 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814361721 10814095360 28711 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5730] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5730/stat : 5730 (java) S 5715 5717 5272 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814361721 10814095360 28711 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5731] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5731/stat : 5731 (java) S 5715 5717 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814361723 10814095360 28711 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273440177 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5732] ppid=5715 vsize=10560640 CPUtime=0.45 cores=0,2,4,6
/proc/5717/task/5732/stat : 5732 (java) R 5715 5717 5272 0 -1 4202560 5348 0 0 0 44 1 0 0 15 0 19 0 814361723 10814095360 28711 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 47927577232055 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=5717/tid=5733] ppid=5715 vsize=10560640 CPUtime=0.48 cores=0,2,4,6
/proc/5717/task/5733/stat : 5733 (java) S 5715 5717 5272 0 -1 4202560 7310 0 0 0 48 0 0 0 15 0 19 0 814361723 10814095360 28711 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 4 0 0 0
[pid=5717/tid=5734] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5734/stat : 5734 (java) S 5715 5717 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814361723 10814095360 28711 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5735] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5735/stat : 5735 (java) S 5715 5717 5272 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814361723 10814095360 28711 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273433088 0 4 0 16800975 18446604448165264256 0 0 -1 6 0 0 0
[pid=5717/tid=5736] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5736/stat : 5736 (java) S 5715 5717 5272 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814361749 10814095360 28711 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273433088 0 4 0 16800975 18446604448165264256 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 10560640
[startup+3.10072 s]
/proc/loadavg: 1.92 2.00 1.92 3/514 5736
/proc/meminfo: memFree=16565832/32951124 swapFree=67057928/67111528
[pid=5717] ppid=5715 vsize=10560640 CPUtime=4.25 cores=0,2,4,6
/proc/5717/stat : 5717 (java) S 5715 5717 5272 0 -1 4202496 84641 0 1 0 416 9 0 0 25 0 19 0 814361717 10814095360 79831 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5717/statm: 2640160 79831 2225 9 0 2630894 0
[pid=5717/tid=5718] ppid=5715 vsize=10560640 CPUtime=3.06 cores=0,2,4,6
/proc/5717/task/5718/stat : 5718 (java) R 5715 5717 5272 0 -1 4202560 70631 0 1 0 299 7 0 0 21 0 19 0 814361718 10814095360 79831 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 46912506106647 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=5717/tid=5720] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5720/stat : 5720 (java) S 5715 5717 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814361719 10814095360 79831 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5721] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5721/stat : 5721 (java) S 5715 5717 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814361719 10814095360 79831 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5722] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5722/stat : 5722 (java) S 5715 5717 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814361719 10814095360 79831 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5723] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5723/stat : 5723 (java) S 5715 5717 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814361719 10814095360 79831 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5724] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5724/stat : 5724 (java) S 5715 5717 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814361719 10814095360 79831 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5725] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5725/stat : 5725 (java) S 5715 5717 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814361719 10814095360 79831 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5726] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5726/stat : 5726 (java) S 5715 5717 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814361719 10814095360 79831 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5727] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5727/stat : 5727 (java) S 5715 5717 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814361719 10814095360 79831 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 6 0 0 0
[pid=5717/tid=5728] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5728/stat : 5728 (java) S 5715 5717 5272 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 814361721 10814095360 79831 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273433088 0 0 0 16800975 18446604448165264256 0 0 -1 4 0 0 0
[pid=5717/tid=5729] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5729/stat : 5729 (java) S 5715 5717 5272 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814361721 10814095360 79831 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5730] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5730/stat : 5730 (java) S 5715 5717 5272 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814361721 10814095360 79831 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5731] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5731/stat : 5731 (java) S 5715 5717 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814361723 10814095360 79831 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273440177 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5732] ppid=5715 vsize=10560640 CPUtime=0.56 cores=0,2,4,6
/proc/5717/task/5732/stat : 5732 (java) S 5715 5717 5272 0 -1 4202560 5524 0 0 0 55 1 0 0 15 0 19 0 814361723 10814095360 79831 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5733] ppid=5715 vsize=10560640 CPUtime=0.6 cores=0,2,4,6
/proc/5717/task/5733/stat : 5733 (java) S 5715 5717 5272 0 -1 4202560 7326 0 0 0 60 0 0 0 15 0 19 0 814361723 10814095360 79831 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 4 0 0 0
[pid=5717/tid=5734] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5734/stat : 5734 (java) S 5715 5717 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814361723 10814095360 79831 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5735] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5735/stat : 5735 (java) S 5715 5717 5272 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814361723 10814095360 79831 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273433088 0 4 0 16800975 18446604448165264256 0 0 -1 6 0 0 0
[pid=5717/tid=5736] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5736/stat : 5736 (java) S 5715 5717 5272 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814361749 10814095360 79831 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273433088 0 4 0 16800975 18446604448165264256 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.25
Current children cumulated vsize (KiB) 10560640
[startup+6.30121 s]
/proc/loadavg: 1.93 2.00 1.92 3/514 5736
/proc/meminfo: memFree=16045120/32951124 swapFree=67057928/67111528
[pid=5717] ppid=5715 vsize=10560640 CPUtime=7.54 cores=0,2,4,6
/proc/5717/stat : 5717 (java) S 5715 5717 5272 0 -1 4202496 176590 0 1 0 734 20 0 0 25 0 19 0 814361717 10814095360 171751 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5717/statm: 2640160 171751 2226 9 0 2630894 0
[pid=5717/tid=5718] ppid=5715 vsize=10560640 CPUtime=6.25 cores=0,2,4,6
/proc/5717/task/5718/stat : 5718 (java) R 5715 5717 5272 0 -1 4202560 162570 0 1 0 607 18 0 0 25 0 19 0 814361718 10814095360 171751 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 46912505665937 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=5717/tid=5720] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5720/stat : 5720 (java) S 5715 5717 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814361719 10814095360 171751 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5721] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5721/stat : 5721 (java) S 5715 5717 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814361719 10814095360 171751 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5722] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5722/stat : 5722 (java) S 5715 5717 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814361719 10814095360 171751 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5723] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5723/stat : 5723 (java) S 5715 5717 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814361719 10814095360 171751 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5724] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5724/stat : 5724 (java) S 5715 5717 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814361719 10814095360 171751 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5725] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5725/stat : 5725 (java) S 5715 5717 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814361719 10814095360 171751 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5726] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5726/stat : 5726 (java) S 5715 5717 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814361719 10814095360 171751 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5727] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5727/stat : 5727 (java) S 5715 5717 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814361719 10814095360 171751 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 6 0 0 0
[pid=5717/tid=5728] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5728/stat : 5728 (java) S 5715 5717 5272 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 814361721 10814095360 171751 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273433088 0 0 0 16800975 18446604448165264256 0 0 -1 4 0 0 0
[pid=5717/tid=5729] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5729/stat : 5729 (java) S 5715 5717 5272 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814361721 10814095360 171751 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5730] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5730/stat : 5730 (java) S 5715 5717 5272 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814361721 10814095360 171751 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5731] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5731/stat : 5731 (java) S 5715 5717 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814361723 10814095360 171751 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273440177 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5732] ppid=5715 vsize=10560640 CPUtime=0.64 cores=0,2,4,6
/proc/5717/task/5732/stat : 5732 (java) S 5715 5717 5272 0 -1 4202560 5531 0 0 0 63 1 0 0 15 0 19 0 814361723 10814095360 171751 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5733] ppid=5715 vsize=10560640 CPUtime=0.62 cores=0,2,4,6
/proc/5717/task/5733/stat : 5733 (java) S 5715 5717 5272 0 -1 4202560 7328 0 0 0 62 0 0 0 16 0 19 0 814361723 10814095360 171751 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 4 0 0 0
################
# More data... #
################
[pid=5717/tid=5736] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5736/stat : 5736 (java) S 5715 5717 5272 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814361749 10814095360 1174165 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273433088 0 4 0 16800975 18446604448165264256 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1672.65
Current children cumulated vsize (KiB) 10560640
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/514 6013
/proc/meminfo: memFree=12891928/32951124 swapFree=67057928/67111528
[pid=5717] ppid=5715 vsize=10560640 CPUtime=1733.15 cores=0,2,4,6
/proc/5717/stat : 5717 (java) S 5715 5717 5272 0 -1 4202496 1194503 0 1 0 173156 159 0 0 25 0 19 0 814361717 10814095360 1181796 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5717/statm: 2640160 1181796 2255 9 0 2630894 0
[pid=5717/tid=5718] ppid=5715 vsize=10560640 CPUtime=1717.08 cores=0,2,4,6
/proc/5717/task/5718/stat : 5718 (java) R 5715 5717 5272 0 -1 4202560 730470 0 1 0 171629 79 0 0 25 0 19 0 814361718 10814095360 1181796 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 46912505673453 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=5717/tid=5720] ppid=5715 vsize=10560640 CPUtime=1.5 cores=0,2,4,6
/proc/5717/task/5720/stat : 5720 (java) S 5715 5717 5272 0 -1 4202560 51984 0 0 0 142 8 0 0 16 0 19 0 814361719 10814095360 1181796 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 6 0 0 0
[pid=5717/tid=5721] ppid=5715 vsize=10560640 CPUtime=1.4 cores=0,2,4,6
/proc/5717/task/5721/stat : 5721 (java) S 5715 5717 5272 0 -1 4202560 44552 0 0 0 134 6 0 0 16 0 19 0 814361719 10814095360 1181796 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 0 0 0 0
[pid=5717/tid=5722] ppid=5715 vsize=10560640 CPUtime=1.92 cores=0,2,4,6
/proc/5717/task/5722/stat : 5722 (java) S 5715 5717 5272 0 -1 4202560 75177 0 0 0 179 13 0 0 15 0 19 0 814361719 10814095360 1181796 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5723] ppid=5715 vsize=10560640 CPUtime=1.72 cores=0,2,4,6
/proc/5717/task/5723/stat : 5723 (java) S 5715 5717 5272 0 -1 4202560 55820 0 0 0 163 9 0 0 16 0 19 0 814361719 10814095360 1181796 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5724] ppid=5715 vsize=10560640 CPUtime=1.58 cores=0,2,4,6
/proc/5717/task/5724/stat : 5724 (java) S 5715 5717 5272 0 -1 4202560 62714 0 0 0 148 10 0 0 15 0 19 0 814361719 10814095360 1181796 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 0 0 0 0
[pid=5717/tid=5725] ppid=5715 vsize=10560640 CPUtime=1.44 cores=0,2,4,6
/proc/5717/task/5725/stat : 5725 (java) S 5715 5717 5272 0 -1 4202560 45438 0 0 0 137 7 0 0 16 0 19 0 814361719 10814095360 1181796 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 4 0 0 0
[pid=5717/tid=5726] ppid=5715 vsize=10560640 CPUtime=1.76 cores=0,2,4,6
/proc/5717/task/5726/stat : 5726 (java) S 5715 5717 5272 0 -1 4202560 65595 0 0 0 163 13 0 0 15 0 19 0 814361719 10814095360 1181796 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 4 0 0 0
[pid=5717/tid=5727] ppid=5715 vsize=10560640 CPUtime=1.54 cores=0,2,4,6
/proc/5717/task/5727/stat : 5727 (java) S 5715 5717 5272 0 -1 4202560 46390 0 0 0 147 7 0 0 16 0 19 0 814361719 10814095360 1181796 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 4 0 0 0
[pid=5717/tid=5728] ppid=5715 vsize=10560640 CPUtime=1.49 cores=0,2,4,6
/proc/5717/task/5728/stat : 5728 (java) S 5715 5717 5272 0 -1 4202560 2159 0 0 0 149 0 0 0 15 0 19 0 814361721 10814095360 1181796 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273433088 0 0 0 16800975 18446604448165264256 0 0 -1 6 0 0 0
[pid=5717/tid=5729] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5729/stat : 5729 (java) S 5715 5717 5272 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814361721 10814095360 1181796 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5730] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5730/stat : 5730 (java) S 5715 5717 5272 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814361721 10814095360 1181796 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5731] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5731/stat : 5731 (java) S 5715 5717 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814361723 10814095360 1181796 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273440177 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5732] ppid=5715 vsize=10560640 CPUtime=0.75 cores=0,2,4,6
/proc/5717/task/5732/stat : 5732 (java) S 5715 5717 5272 0 -1 4202560 5584 0 0 0 74 1 0 0 16 0 19 0 814361723 10814095360 1181796 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5733] ppid=5715 vsize=10560640 CPUtime=0.84 cores=0,2,4,6
/proc/5717/task/5733/stat : 5733 (java) S 5715 5717 5272 0 -1 4202560 7371 0 0 0 84 0 0 0 15 0 19 0 814361723 10814095360 1181796 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 4 0 0 0
[pid=5717/tid=5734] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5734/stat : 5734 (java) S 5715 5717 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814361723 10814095360 1181796 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5735] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5735/stat : 5735 (java) S 5715 5717 5272 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 814361723 10814095360 1181796 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273433088 0 4 0 16800975 18446604448165264256 0 0 -1 4 0 0 0
[pid=5717/tid=5736] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5736/stat : 5736 (java) S 5715 5717 5272 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814361749 10814095360 1181796 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273433088 0 4 0 16800975 18446604448165264256 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1733.15
Current children cumulated vsize (KiB) 10560640
[startup+1782.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/514 6015
/proc/meminfo: memFree=12875408/32951124 swapFree=67057928/67111528
[pid=5717] ppid=5715 vsize=10560640 CPUtime=1793.47 cores=0,2,4,6
/proc/5717/stat : 5717 (java) S 5715 5717 5272 0 -1 4202496 1197101 0 1 0 179187 160 0 0 25 0 19 0 814361717 10814095360 1184351 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5717/statm: 2640160 1184351 2255 9 0 2630894 0
[pid=5717/tid=5718] ppid=5715 vsize=10560640 CPUtime=1776.97 cores=0,2,4,6
/proc/5717/task/5718/stat : 5718 (java) R 5715 5717 5272 0 -1 4202560 730472 0 1 0 177618 79 0 0 25 0 19 0 814361718 10814095360 1184351 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 46912505803079 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5717/tid=5720] ppid=5715 vsize=10560640 CPUtime=1.61 cores=0,2,4,6
/proc/5717/task/5720/stat : 5720 (java) S 5715 5717 5272 0 -1 4202560 52469 0 0 0 153 8 0 0 16 0 19 0 814361719 10814095360 1184351 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 6 0 0 0
[pid=5717/tid=5721] ppid=5715 vsize=10560640 CPUtime=1.48 cores=0,2,4,6
/proc/5717/task/5721/stat : 5721 (java) S 5715 5717 5272 0 -1 4202560 45696 0 0 0 142 6 0 0 16 0 19 0 814361719 10814095360 1184351 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 4 0 0 0
[pid=5717/tid=5722] ppid=5715 vsize=10560640 CPUtime=1.97 cores=0,2,4,6
/proc/5717/task/5722/stat : 5722 (java) S 5715 5717 5272 0 -1 4202560 75410 0 0 0 184 13 0 0 15 0 19 0 814361719 10814095360 1184351 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5723] ppid=5715 vsize=10560640 CPUtime=1.72 cores=0,2,4,6
/proc/5717/task/5723/stat : 5723 (java) S 5715 5717 5272 0 -1 4202560 55820 0 0 0 163 9 0 0 15 0 19 0 814361719 10814095360 1184351 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5724] ppid=5715 vsize=10560640 CPUtime=1.68 cores=0,2,4,6
/proc/5717/task/5724/stat : 5724 (java) S 5715 5717 5272 0 -1 4202560 63122 0 0 0 158 10 0 0 16 0 19 0 814361719 10814095360 1184351 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 0 0 0 0
[pid=5717/tid=5725] ppid=5715 vsize=10560640 CPUtime=1.44 cores=0,2,4,6
/proc/5717/task/5725/stat : 5725 (java) S 5715 5717 5272 0 -1 4202560 45438 0 0 0 137 7 0 0 15 0 19 0 814361719 10814095360 1184351 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 4 0 0 0
[pid=5717/tid=5726] ppid=5715 vsize=10560640 CPUtime=1.76 cores=0,2,4,6
/proc/5717/task/5726/stat : 5726 (java) S 5715 5717 5272 0 -1 4202560 65595 0 0 0 163 13 0 0 15 0 19 0 814361719 10814095360 1184351 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 4 0 0 0
[pid=5717/tid=5727] ppid=5715 vsize=10560640 CPUtime=1.62 cores=0,2,4,6
/proc/5717/task/5727/stat : 5727 (java) S 5715 5717 5272 0 -1 4202560 46710 0 0 0 155 7 0 0 16 0 19 0 814361719 10814095360 1184351 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5728] ppid=5715 vsize=10560640 CPUtime=1.49 cores=0,2,4,6
/proc/5717/task/5728/stat : 5728 (java) S 5715 5717 5272 0 -1 4202560 2161 0 0 0 149 0 0 0 15 0 19 0 814361721 10814095360 1184351 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273433088 0 0 0 16800975 18446604448165264256 0 0 -1 6 0 0 0
[pid=5717/tid=5729] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5729/stat : 5729 (java) S 5715 5717 5272 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814361721 10814095360 1184351 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5730] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5730/stat : 5730 (java) S 5715 5717 5272 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814361721 10814095360 1184351 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5731] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5731/stat : 5731 (java) S 5715 5717 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814361723 10814095360 1184351 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273440177 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5732] ppid=5715 vsize=10560640 CPUtime=0.75 cores=0,2,4,6
/proc/5717/task/5732/stat : 5732 (java) S 5715 5717 5272 0 -1 4202560 5584 0 0 0 74 1 0 0 16 0 19 0 814361723 10814095360 1184351 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5733] ppid=5715 vsize=10560640 CPUtime=0.84 cores=0,2,4,6
/proc/5717/task/5733/stat : 5733 (java) S 5715 5717 5272 0 -1 4202560 7371 0 0 0 84 0 0 0 15 0 19 0 814361723 10814095360 1184351 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 4 0 0 0
[pid=5717/tid=5734] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5734/stat : 5734 (java) S 5715 5717 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814361723 10814095360 1184351 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5735] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5735/stat : 5735 (java) S 5715 5717 5272 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 814361723 10814095360 1184351 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273433088 0 4 0 16800975 18446604448165264256 0 0 -1 4 0 0 0
[pid=5717/tid=5736] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5736/stat : 5736 (java) S 5715 5717 5272 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814361749 10814095360 1184351 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273433088 0 4 0 16800975 18446604448165264256 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1793.47
Current children cumulated vsize (KiB) 10560640
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1788.7 s]
/proc/loadavg: 2.05 2.04 2.00 3/514 6015
/proc/meminfo: memFree=12863996/32951124 swapFree=67057928/67111528
[pid=5717] ppid=5715 vsize=10560640 CPUtime=1800.07 cores=0,2,4,6
/proc/5717/stat : 5717 (java) S 5715 5717 5272 0 -1 4202496 1200143 0 1 0 179847 160 0 0 25 0 19 0 814361717 10814095360 1187312 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5717/statm: 2640160 1187312 2255 9 0 2630894 0
[pid=5717/tid=5718] ppid=5715 vsize=10560640 CPUtime=1783.31 cores=0,2,4,6
/proc/5717/task/5718/stat : 5718 (java) R 5715 5717 5272 0 -1 4202560 730473 0 1 0 178252 79 0 0 25 0 19 0 814361718 10814095360 1187312 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 46912505982129 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5717/tid=5720] ppid=5715 vsize=10560640 CPUtime=1.69 cores=0,2,4,6
/proc/5717/task/5720/stat : 5720 (java) S 5715 5717 5272 0 -1 4202560 53519 0 0 0 161 8 0 0 16 0 19 0 814361719 10814095360 1187312 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 6 0 0 0
[pid=5717/tid=5721] ppid=5715 vsize=10560640 CPUtime=1.49 cores=0,2,4,6
/proc/5717/task/5721/stat : 5721 (java) S 5715 5717 5272 0 -1 4202560 45696 0 0 0 143 6 0 0 15 0 19 0 814361719 10814095360 1187312 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5722] ppid=5715 vsize=10560640 CPUtime=1.97 cores=0,2,4,6
/proc/5717/task/5722/stat : 5722 (java) S 5715 5717 5272 0 -1 4202560 75410 0 0 0 184 13 0 0 15 0 19 0 814361719 10814095360 1187312 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5723] ppid=5715 vsize=10560640 CPUtime=1.74 cores=0,2,4,6
/proc/5717/task/5723/stat : 5723 (java) S 5715 5717 5272 0 -1 4202560 55820 0 0 0 165 9 0 0 16 0 19 0 814361719 10814095360 1187312 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 0 0 0 0
[pid=5717/tid=5724] ppid=5715 vsize=10560640 CPUtime=1.77 cores=0,2,4,6
/proc/5717/task/5724/stat : 5724 (java) S 5715 5717 5272 0 -1 4202560 64065 0 0 0 167 10 0 0 16 0 19 0 814361719 10814095360 1187312 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 0 0 0 0
[pid=5717/tid=5725] ppid=5715 vsize=10560640 CPUtime=1.5 cores=0,2,4,6
/proc/5717/task/5725/stat : 5725 (java) S 5715 5717 5272 0 -1 4202560 46484 0 0 0 143 7 0 0 16 0 19 0 814361719 10814095360 1187312 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 4 0 0 0
[pid=5717/tid=5726] ppid=5715 vsize=10560640 CPUtime=1.78 cores=0,2,4,6
/proc/5717/task/5726/stat : 5726 (java) S 5715 5717 5272 0 -1 4202560 65595 0 0 0 165 13 0 0 16 0 19 0 814361719 10814095360 1187312 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 4 0 0 0
[pid=5717/tid=5727] ppid=5715 vsize=10560640 CPUtime=1.62 cores=0,2,4,6
/proc/5717/task/5727/stat : 5727 (java) S 5715 5717 5272 0 -1 4202560 46710 0 0 0 155 7 0 0 15 0 19 0 814361719 10814095360 1187312 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 6 0 0 0
[pid=5717/tid=5728] ppid=5715 vsize=10560640 CPUtime=1.49 cores=0,2,4,6
/proc/5717/task/5728/stat : 5728 (java) S 5715 5717 5272 0 -1 4202560 2163 0 0 0 149 0 0 0 15 0 19 0 814361721 10814095360 1187312 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273433088 0 0 0 16800975 18446604448165264256 0 0 -1 6 0 0 0
[pid=5717/tid=5729] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5729/stat : 5729 (java) S 5715 5717 5272 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814361721 10814095360 1187312 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5730] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5730/stat : 5730 (java) S 5715 5717 5272 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814361721 10814095360 1187312 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5731] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5731/stat : 5731 (java) S 5715 5717 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814361723 10814095360 1187312 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273440177 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5732] ppid=5715 vsize=10560640 CPUtime=0.75 cores=0,2,4,6
/proc/5717/task/5732/stat : 5732 (java) S 5715 5717 5272 0 -1 4202560 5584 0 0 0 74 1 0 0 16 0 19 0 814361723 10814095360 1187312 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5733] ppid=5715 vsize=10560640 CPUtime=0.84 cores=0,2,4,6
/proc/5717/task/5733/stat : 5733 (java) S 5715 5717 5272 0 -1 4202560 7371 0 0 0 84 0 0 0 15 0 19 0 814361723 10814095360 1187312 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 4 0 0 0
[pid=5717/tid=5734] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5734/stat : 5734 (java) S 5715 5717 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814361723 10814095360 1187312 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273432473 0 4 0 16800975 18446604448165264256 0 0 -1 2 0 0 0
[pid=5717/tid=5735] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5735/stat : 5735 (java) S 5715 5717 5272 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 814361723 10814095360 1187312 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273433088 0 4 0 16800975 18446604448165264256 0 0 -1 4 0 0 0
[pid=5717/tid=5736] ppid=5715 vsize=10560640 CPUtime=0 cores=0,2,4,6
/proc/5717/task/5736/stat : 5736 (java) S 5715 5717 5272 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814361749 10814095360 1187312 33554432000 1073741824 1073778376 140734562249504 18446744073709551615 254273433088 0 4 0 16800975 18446604448165264256 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10560640
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1788.82 s]
/proc/loadavg: 2.05 2.04 2.00 3/514 6015
/proc/meminfo: memFree=12863996/32951124 swapFree=67057928/67111528
[pid=5717] ppid=5715 vsize=0 CPUtime=1800.2 cores=0,2,4,6
/proc/5717/stat : 5717 (java) Z 5715 5717 5272 0 -1 4203548 1200178 0 1 0 179854 166 0 0 17 0 2 0 814361717 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5717/statm: 0 0 0 0 0 0 0
[pid=5717/tid=5718] ppid=5715 vsize=0 CPUtime=1783.41 cores=0,2,4,6
/proc/5717/task/5718/stat : 5718 (java) R 5715 5717 5272 0 -1 4203588 730473 0 1 0 178255 86 0 0 25 0 2 0 814361718 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.2
Current children cumulated vsize (KiB) 0
[startup+1788.9 s]
/proc/loadavg: 2.05 2.04 2.00 3/514 6015
/proc/meminfo: memFree=12863996/32951124 swapFree=67057928/67111528
[pid=5717] ppid=5715 vsize=0 CPUtime=1800.28 cores=0,2,4,6
/proc/5717/stat : 5717 (java) Z 5715 5717 5272 0 -1 4203548 1200178 0 1 0 179854 174 0 0 17 0 2 0 814361717 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5717/statm: 0 0 0 0 0 0 0
[pid=5717/tid=5718] ppid=5715 vsize=0 CPUtime=1783.48 cores=0,2,4,6
/proc/5717/task/5718/stat : 5718 (java) R 5715 5717 5272 0 -1 4203588 730473 0 1 0 178255 93 0 0 25 0 2 0 814361718 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.28
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1788.96
CPU time (s): 1800.35
CPU user time (s): 1798.55
CPU system time (s): 1.79973
CPU usage (%): 100.637
Max. virtual memory (cumulated for all children) (KiB): 10560640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.55
system time used= 1.79973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1200178
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= 38458
involuntary context switches= 22341
runsolver used 9.1746 second user time and 19.55 second system time
The end