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-3482136-1307577341/watcher-3482136-1307577341 -o /tmp/evaluation-result-3482136-1307577341/solver-3482136-1307577341 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482136-1307577341.opb -seed 1300517719 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 1.97 1.32 3/597 4807
/proc/meminfo: memFree=22509792/32951124 swapFree=56930356/67111528
[pid=4807] ppid=4805 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/4807/stat : 4807 (python) S 4805 4807 4191 0 -1 4202496 795 0 0 0 0 0 0 0 20 0 1 0 869331948 15749120 681 33554432000 4194304 5683644 140735098862880 18446744073709551615 218905729024 0 2147483391 16781312 2 18446744071699207358 0 0 17 5 0 0 0
/proc/4807/statm: 3845 681 322 364 0 332 0
[startup+0.0900959 s]
/proc/loadavg: 2.02 1.97 1.32 3/597 4807
/proc/meminfo: memFree=22509792/32951124 swapFree=56930356/67111528
[pid=4807] ppid=4805 vsize=54636 CPUtime=0.05 cores=1,3,5,7
/proc/4807/stat : 4807 (python) R 4805 4807 4191 0 -1 4202496 2071 0 0 0 4 1 0 0 17 0 1 0 869331948 55947264 1828 33554432000 4194304 5683644 140735098862880 18446744073709551615 5119816 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/4807/statm: 13659 1829 492 364 0 1309 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 54636
[startup+0.101095 s]
/proc/loadavg: 2.02 1.97 1.32 3/597 4807
/proc/meminfo: memFree=22509792/32951124 swapFree=56930356/67111528
[pid=4807] ppid=4805 vsize=85616 CPUtime=0.05 cores=1,3,5,7
/proc/4807/stat : 4807 (python) R 4805 4807 4191 0 -1 4202496 2631 0 0 0 4 1 0 0 17 0 1 0 869331948 87670784 2350 33554432000 4194304 5683644 140735098862880 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/4807/statm: 21404 2353 715 364 0 1621 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85616
[startup+0.301132 s]
/proc/loadavg: 2.02 1.97 1.32 3/597 4807
/proc/meminfo: memFree=22509792/32951124 swapFree=56930356/67111528
[pid=4807] ppid=4805 vsize=123740 CPUtime=0.16 cores=1,3,5,7
/proc/4807/stat : 4807 (python) R 4805 4807 4191 0 -1 4202496 5356 933 1 0 11 5 0 0 16 0 1 0 869331948 126709760 3744 33554432000 4194304 5683644 140735098862880 18446744073709551615 218905726981 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/4807/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123740
[startup+0.700989 s]
/proc/loadavg: 2.02 1.97 1.32 3/597 4807
/proc/meminfo: memFree=22509792/32951124 swapFree=56930356/67111528
[pid=4807] ppid=4805 vsize=277984 CPUtime=0.42 cores=1,3,5,7
/proc/4807/stat : 4807 (python) R 4805 4807 4191 0 -1 4202496 8938 933 1 0 30 12 0 0 15 0 1 0 869331948 284655616 6854 33554432000 4194304 5683644 140735098862880 18446744073709551615 4540822 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/4807/statm: 69496 6854 1740 364 0 5461 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 277984
[startup+1.50089 s]
/proc/loadavg: 2.02 1.97 1.32 3/601 4815
/proc/meminfo: memFree=22483784/32951124 swapFree=56930356/67111528
[pid=4807] ppid=4805 vsize=293080 CPUtime=0.45 cores=1,3,5,7
/proc/4807/stat : 4807 (python) S 4805 4807 4191 0 -1 4202496 9632 933 1 0 33 12 0 0 18 0 2 0 869331948 300113920 7140 33554432000 4194304 5683644 140735098862880 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4807/statm: 73270 7140 1870 364 0 8157 0
[pid=4813] ppid=4807 vsize=282836 CPUtime=0 cores=1,3,5,7
/proc/4813/stat : 4813 (python) S 4807 4807 4191 0 -1 4202560 701 0 0 0 0 0 0 0 18 0 1 0 869332021 289624064 5615 33554432000 4194304 5683644 140735098862880 18446744073709551615 218905751055 0 0 16781312 33554946 9083005328731111686 0 0 17 5 0 0 0
/proc/4813/statm: 70709 5615 349 364 0 5596 0
[pid=4815] ppid=4813 vsize=1860 CPUtime=0.75 cores=1,3,5,7
/proc/4815/stat : 4815 (clasp-1.3.7-x86) R 4813 4815 4815 0 -1 4202496 466 0 0 0 75 0 0 0 20 0 1 0 869332022 1904640 210 33554432000 134512640 136139019 4287572640 18446744073709551615 134640267 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/4815/statm: 465 210 183 398 0 65 0
[pid=4807/tid=4814] ppid=4805 vsize=293080 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4814/stat : 4814 (python) S 4805 4807 4191 0 -1 4202560 26 933 0 0 0 0 0 0 18 0 2 0 869332022 300113920 7140 33554432000 4194304 5683644 140735098862880 18446744073709551615 218917554609 0 0 16781312 33554434 18446604454715420736 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 577776
[startup+3.10055 s]
/proc/loadavg: 2.18 2.00 1.33 5/623 4837
/proc/meminfo: memFree=22364676/32951124 swapFree=56930356/67111528
[pid=4807] ppid=4805 vsize=293080 CPUtime=0.45 cores=1,3,5,7
/proc/4807/stat : 4807 (python) S 4805 4807 4191 0 -1 4202496 9632 933 1 0 33 12 0 0 18 0 2 0 869331948 300113920 7140 33554432000 4194304 5683644 140735098862880 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4807/statm: 73270 7140 1870 364 0 8157 0
[pid=4813] ppid=4807 vsize=282836 CPUtime=0 cores=1,3,5,7
/proc/4813/stat : 4813 (python) S 4807 4807 4191 0 -1 4202560 723 0 0 0 0 0 0 0 15 0 1 0 869332021 289624064 5618 33554432000 4194304 5683644 140735098862880 18446744073709551615 218905751055 0 0 16781312 33554946 9083018935187505414 0 0 17 5 0 0 0
/proc/4813/statm: 70709 5618 352 364 0 5596 0
[pid=4815] ppid=4813 vsize=1860 CPUtime=2.35 cores=1,3,5,7
/proc/4815/stat : 4815 (clasp-1.3.7-x86) R 4813 4815 4815 0 -1 4202496 467 0 0 0 235 0 0 0 25 0 1 0 869332022 1904640 211 33554432000 134512640 136139019 4287572640 18446744073709551615 134871055 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/4815/statm: 465 211 183 398 0 65 0
[pid=4807/tid=4814] ppid=4805 vsize=293080 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4814/stat : 4814 (python) S 4805 4807 4191 0 -1 4202560 26 933 0 0 0 0 0 0 18 0 2 0 869332022 300113920 7140 33554432000 4194304 5683644 140735098862880 18446744073709551615 218917554609 0 0 16781312 33554434 18446604454715420736 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 577776
[startup+6.30097 s]
/proc/loadavg: 2.18 2.00 1.33 3/623 4837
/proc/meminfo: memFree=21905144/32951124 swapFree=56930356/67111528
[pid=4807] ppid=4805 vsize=293080 CPUtime=0.45 cores=1,3,5,7
/proc/4807/stat : 4807 (python) S 4805 4807 4191 0 -1 4202496 9632 933 1 0 33 12 0 0 18 0 2 0 869331948 300113920 7140 33554432000 4194304 5683644 140735098862880 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4807/statm: 73270 7140 1870 364 0 8157 0
[pid=4813] ppid=4807 vsize=282836 CPUtime=0.01 cores=1,3,5,7
/proc/4813/stat : 4813 (python) S 4807 4807 4191 0 -1 4202560 873 0 0 0 0 1 0 0 15 0 1 0 869332021 289624064 5641 33554432000 4194304 5683644 140735098862880 18446744073709551615 218905751055 0 0 16781312 33554946 9083020447015993606 0 0 17 5 0 0 0
/proc/4813/statm: 70709 5641 375 364 0 5596 0
[pid=4815] ppid=4813 vsize=1860 CPUtime=5.55 cores=1,3,5,7
/proc/4815/stat : 4815 (clasp-1.3.7-x86) R 4813 4815 4815 0 -1 4202496 468 0 0 0 555 0 0 0 25 0 1 0 869332022 1904640 212 33554432000 134512640 136139019 4287572640 18446744073709551615 134831215 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/4815/statm: 465 212 183 398 0 65 0
[pid=4807/tid=4814] ppid=4805 vsize=293080 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4814/stat : 4814 (python) S 4805 4807 4191 0 -1 4202560 26 933 0 0 0 0 0 0 18 0 2 0 869332022 300113920 7140 33554432000 4194304 5683644 140735098862880 18446744073709551615 218917554609 0 0 16781312 33554434 18446604454715420736 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 577776
[startup+12.7008 s]
/proc/loadavg: 2.15 2.00 1.34 3/623 4837
/proc/meminfo: memFree=21385844/32951124 swapFree=56930356/67111528
[pid=4807] ppid=4805 vsize=293080 CPUtime=0.45 cores=1,3,5,7
/proc/4807/stat : 4807 (python) S 4805 4807 4191 0 -1 4202496 9632 933 1 0 33 12 0 0 18 0 2 0 869331948 300113920 7140 33554432000 4194304 5683644 140735098862880 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4807/statm: 73270 7140 1870 364 0 8157 0
[pid=4813] ppid=4807 vsize=282836 CPUtime=0.03 cores=1,3,5,7
/proc/4813/stat : 4813 (python) S 4807 4807 4191 0 -1 4202560 880 0 0 0 1 2 0 0 15 0 1 0 869332021 289624064 5642 33554432000 4194304 5683644 140735098862880 18446744073709551615 218905751055 0 0 16781312 33554946 5623753486446373565 0 0 17 7 0 0 0
/proc/4813/statm: 70709 5642 376 364 0 5596 0
[pid=4815] ppid=4813 vsize=1860 CPUtime=11.96 cores=1,3,5,7
/proc/4815/stat : 4815 (clasp-1.3.7-x86) R 4813 4815 4815 0 -1 4202496 468 0 0 0 1196 0 0 0 25 0 1 0 869332022 1904640 212 33554432000 134512640 136139019 4287572640 18446744073709551615 134599110 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/4815/statm: 465 212 183 398 0 65 0
[pid=4807/tid=4814] ppid=4805 vsize=293080 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4814/stat : 4814 (python) S 4805 4807 4191 0 -1 4202560 26 933 0 0 0 0 0 0 18 0 2 0 869332022 300113920 7140 33554432000 4194304 5683644 140735098862880 18446744073709551615 218917554609 0 0 16781312 33554434 18446604454715420736 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 577776
[startup+25.5005 s]
/proc/loadavg: 2.13 2.00 1.35 3/623 4838
/proc/meminfo: memFree=21376900/32951124 swapFree=56930356/67111528
[pid=4807] ppid=4805 vsize=293080 CPUtime=0.45 cores=1,3,5,7
/proc/4807/stat : 4807 (python) S 4805 4807 4191 0 -1 4202496 9632 933 1 0 33 12 0 0 18 0 2 0 869331948 300113920 7140 33554432000 4194304 5683644 140735098862880 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4807/statm: 73270 7140 1870 364 0 8157 0
[pid=4813] ppid=4807 vsize=282836 CPUtime=0.09 cores=1,3,5,7
/proc/4813/stat : 4813 (python) S 4807 4807 4191 0 -1 4202560 886 0 0 0 4 5 0 0 15 0 1 0 869332021 289624064 5642 33554432000 4194304 5683644 140735098862880 18446744073709551615 218905751055 0 0 16781312 33554946 5623753486446373565 0 0 17 7 0 0 0
/proc/4813/statm: 70709 5642 376 364 0 5596 0
[pid=4815] ppid=4813 vsize=1860 CPUtime=24.75 cores=1,3,5,7
/proc/4815/stat : 4815 (clasp-1.3.7-x86) R 4813 4815 4815 0 -1 4202496 469 0 0 0 2475 0 0 0 25 0 1 0 869332022 1904640 213 33554432000 134512640 136139019 4287572640 18446744073709551615 134632455 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/4815/statm: 465 213 183 398 0 65 0
[pid=4807/tid=4814] ppid=4805 vsize=293080 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4814/stat : 4814 (python) S 4805 4807 4191 0 -1 4202560 26 933 0 0 0 0 0 0 18 0 2 0 869332022 300113920 7140 33554432000 4194304 5683644 140735098862880 18446744073709551615 218917554609 0 0 16781312 33554434 18446604454715420736 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 577776
[startup+51.1009 s]
/proc/loadavg: 2.37 2.06 1.38 3/631 4846
/proc/meminfo: memFree=21350744/32951124 swapFree=56930356/67111528
[pid=4807] ppid=4805 vsize=303868 CPUtime=0.47 cores=1,3,5,7
/proc/4807/stat : 4807 (python) S 4805 4807 4191 0 -1 4202496 10484 933 1 0 35 12 0 0 20 0 3 0 869331948 311160832 7265 33554432000 4194304 5683644 140735098862880 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/4807/statm: 75967 7265 1873 364 0 10851 0
[pid=4813] ppid=4807 vsize=293080 CPUtime=0.2 cores=1,3,5,7
/proc/4813/stat : 4813 (python) S 4807 4807 4191 0 -1 4202560 1118 0 0 0 9 11 0 0 17 0 2 0 869332021 300113920 5683 33554432000 4194304 5683644 140735098862880 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4813/statm: 73270 5683 412 364 0 8157 0
[pid=4815] ppid=4813 vsize=1860 CPUtime=48.19 cores=1,3,5,7
/proc/4815/stat : 4815 (clasp-1.3.7-x86) T 4813 4815 4815 0 -1 4202496 470 0 0 0 4819 0 0 0 25 0 1 0 869332022 1904640 214 33554432000 134512640 136139019 4287572640 18446744073709551615 134831589 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/4815/statm: 465 214 183 398 0 65 0
[pid=4813/tid=4843] ppid=4807 vsize=293080 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4843/stat : 4843 (python) S 4807 4807 4191 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869336842 300113920 5683 33554432000 4194304 5683644 140735098862880 18446744073709551615 218917554609 0 0 16781312 33554946 18446604461734378560 0 0 -1 7 0 0 0
[pid=4844] ppid=4807 vsize=293624 CPUtime=0 cores=1,3,5,7
/proc/4844/stat : 4844 (python) S 4807 4807 4191 0 -1 4202560 784 0 0 0 0 0 0 0 15 0 1 0 869336845 300670976 5737 33554432000 4194304 5683644 140735098862880 18446744073709551615 218905751110 0 0 16781312 33554946 4294934791 0 0 17 7 0 0 0
/proc/4844/statm: 73406 5737 349 364 0 8290 0
[pid=4846] ppid=4844 vsize=9392 CPUtime=2.11 cores=1,3,5,7
/proc/4846/stat : 4846 (wbo1.4a) R 4844 4846 4846 0 -1 4202496 2165 0 0 0 207 4 0 0 25 0 1 0 869336845 9617408 1898 33554432000 134512640 135751879 4291513456 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/4846/statm: 2348 1898 143 303 0 2043 0
[pid=4807/tid=4814] ppid=4805 vsize=303868 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4814/stat : 4814 (python) S 4805 4807 4191 0 -1 4202560 26 933 0 0 0 0 0 0 18 0 3 0 869332022 311160832 7265 33554432000 4194304 5683644 140735098862880 18446744073709551615 218917554609 0 0 16781312 33554434 18446604454715420736 0 0 -1 7 0 0 0
[pid=4807/tid=4845] ppid=4805 vsize=303868 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4845/stat : 4845 (python) S 4805 4807 4191 0 -1 4202560 27 933 0 0 0 0 0 0 20 0 3 0 869336845 311160832 7265 33554432000 4194304 5683644 140735098862880 18446744073709551615 218917554609 0 0 16781312 33554434 18446604454715420736 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 901824
[startup+102.301 s]
/proc/loadavg: 2.37 2.10 1.43 3/635 4852
/proc/meminfo: memFree=21190048/32951124 swapFree=56930356/67111528
[pid=4807] ppid=4805 vsize=313900 CPUtime=0.5 cores=1,3,5,7
/proc/4807/stat : 4807 (python) S 4805 4807 4191 0 -1 4202496 11403 933 1 0 38 12 0 0 20 0 4 0 869331948 321433600 7219 33554432000 4194304 5683644 140735098862880 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/4807/statm: 78475 7219 1875 364 0 13356 0
[pid=4813] ppid=4807 vsize=293080 CPUtime=0.2 cores=1,3,5,7
/proc/4813/stat : 4813 (python) S 4807 4807 4191 0 -1 4202560 1118 0 0 0 9 11 0 0 17 0 2 0 869332021 300113920 5683 33554432000 4194304 5683644 140735098862880 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4813/statm: 73270 5683 412 364 0 8157 0
[pid=4815] ppid=4813 vsize=1860 CPUtime=48.19 cores=1,3,5,7
/proc/4815/stat : 4815 (clasp-1.3.7-x86) T 4813 4815 4815 0 -1 4202496 470 0 0 0 4819 0 0 0 25 0 1 0 869332022 1904640 214 33554432000 134512640 136139019 4287572640 18446744073709551615 134831589 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/4815/statm: 465 214 183 398 0 65 0
[pid=4813/tid=4843] ppid=4807 vsize=293080 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4843/stat : 4843 (python) S 4807 4807 4191 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869336842 300113920 5683 33554432000 4194304 5683644 140735098862880 18446744073709551615 218917554609 0 0 16781312 33554946 18446604461734378560 0 0 -1 7 0 0 0
[pid=4844] ppid=4807 vsize=293624 CPUtime=0.21 cores=1,3,5,7
/proc/4844/stat : 4844 (python) S 4807 4807 4191 0 -1 4202560 1118 0 0 0 10 11 0 0 17 0 2 0 869336845 300670976 5786 33554432000 4194304 5683644 140735098862880 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4844/statm: 73406 5786 397 364 0 8290 0
[pid=4846] ppid=4844 vsize=100804 CPUtime=46.82 cores=1,3,5,7
/proc/4846/stat : 4846 (wbo1.4a) T 4844 4846 4846 0 -1 4202496 24972 0 0 0 4610 72 0 0 25 0 1 0 869336845 103223296 24705 33554432000 134512640 135751879 4291513456 18446744073709551615 134517408 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/4846/statm: 25201 24705 143 303 0 24896 0
[pid=4844/tid=4848] ppid=4807 vsize=293624 CPUtime=0 cores=1,3,5,7
/proc/4844/task/4848/stat : 4848 (python) S 4807 4807 4191 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869341528 300670976 5786 33554432000 4194304 5683644 140735098862880 18446744073709551615 218917554609 0 0 16781312 33554946 18446604454223243392 0 0 -1 7 0 0 0
[pid=4849] ppid=4807 vsize=303656 CPUtime=0.05 cores=1,3,5,7
/proc/4849/stat : 4849 (python) S 4807 4807 4191 0 -1 4202560 944 0 0 0 4 1 0 0 15 0 1 0 869341530 310943744 5713 33554432000 4194304 5683644 140735098862880 18446744073709551615 218905751110 0 0 16781312 33554946 662389639008485376 0 0 17 1 0 0 0
################
# More data... #
################
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+492.302 s]
/proc/loadavg: 2.14 2.07 1.64 4/703 5197
/proc/meminfo: memFree=17421664/32951124 swapFree=56930356/67111528
[pid=4807] ppid=4805 vsize=355572 CPUtime=0.64 cores=1,3,5,7
/proc/4807/stat : 4807 (python) S 4805 4807 4191 0 -1 4202496 14923 933 1 0 51 13 0 0 20 0 8 0 869331948 364105728 7412 33554432000 4194304 5683644 140735098862880 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/4807/statm: 88893 7412 1883 364 0 23762 0
[pid=4813] ppid=4807 vsize=293080 CPUtime=0.42 cores=1,3,5,7
/proc/4813/stat : 4813 (python) S 4807 4807 4191 0 -1 4202560 1142 0 0 0 20 22 0 0 15 0 2 0 869332021 300113920 5684 33554432000 4194304 5683644 140735098862880 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4813/statm: 73270 5684 413 364 0 8157 0
[pid=4815] ppid=4813 vsize=1860 CPUtime=93.41 cores=1,3,5,7
/proc/4815/stat : 4815 (clasp-1.3.7-x86) T 4813 4815 4815 0 -1 4202496 470 0 0 0 9341 0 0 0 25 0 1 0 869332022 1904640 214 33554432000 134512640 136139019 4287572640 18446744073709551615 134875034 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/4815/statm: 465 214 183 398 0 65 0
[pid=4813/tid=4843] ppid=4807 vsize=293080 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4843/stat : 4843 (python) S 4807 4807 4191 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 2 0 869336842 300113920 5684 33554432000 4194304 5683644 140735098862880 18446744073709551615 218917554609 0 0 16781312 33554946 18446604461734378560 0 0 -1 7 0 0 0
[pid=4844] ppid=4807 vsize=293624 CPUtime=0.46 cores=1,3,5,7
/proc/4844/stat : 4844 (python) S 4807 4807 4191 0 -1 4202560 1151 0 0 0 21 25 0 0 15 0 2 0 869336845 300670976 5786 33554432000 4194304 5683644 140735098862880 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4844/statm: 73406 5786 397 364 0 8290 0
[pid=4846] ppid=4844 vsize=188364 CPUtime=96.07 cores=1,3,5,7
/proc/4846/stat : 4846 (wbo1.4a) T 4844 4846 4846 0 -1 4202496 46850 0 0 0 9455 152 0 0 25 0 1 0 869336845 192884736 46583 33554432000 134512640 135751879 4291513456 18446744073709551615 134602472 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/4846/statm: 47091 46583 143 303 0 46786 0
[pid=4844/tid=4848] ppid=4807 vsize=293624 CPUtime=0 cores=1,3,5,7
/proc/4844/task/4848/stat : 4848 (python) S 4807 4807 4191 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 2 0 869341528 300670976 5786 33554432000 4194304 5683644 140735098862880 18446744073709551615 218917554609 0 0 16781312 33554946 18446604454223243392 0 0 -1 7 0 0 0
[pid=4849] ppid=4807 vsize=303952 CPUtime=0.61 cores=1,3,5,7
/proc/4849/stat : 4849 (python) S 4807 4807 4191 0 -1 4202560 1262 0 0 0 38 23 0 0 17 0 2 0 869341530 311246848 5819 33554432000 4194304 5683644 140735098862880 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4849/statm: 75988 5819 399 364 0 10869 0
[pid=4851] ppid=4849 vsize=100380 CPUtime=59.47 cores=1,3,5,7
/proc/4851/stat : 4851 (scip-2.0.1.linu) T 4849 4851 4851 0 -1 4202496 24163 0 0 0 4821 1126 0 0 18 0 1 0 869341530 102789120 22658 33554432000 4194304 13684479 140736780098144 18446744073709551615 4841735 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/4851/statm: 25095 22658 804 2317 0 22773 0
[pid=4849/tid=4854] ppid=4807 vsize=303952 CPUtime=0 cores=1,3,5,7
/proc/4849/task/4854/stat : 4854 (python) S 4807 4807 4191 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869347479 311246848 5819 33554432000 4194304 5683644 140735098862880 18446744073709551615 218917554609 0 0 16781312 33554946 18446604464054126592 0 0 -1 7 0 0 0
[pid=4855] ppid=4807 vsize=314316 CPUtime=0.22 cores=1,3,5,7
/proc/4855/stat : 4855 (python) S 4807 4807 4191 0 -1 4202560 1137 0 0 0 11 11 0 0 18 0 2 0 869347481 321859584 5823 33554432000 4194304 5683644 140735098862880 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4855/statm: 78579 5823 397 364 0 13457 0
[pid=4857] ppid=4855 vsize=8545564 CPUtime=48.41 cores=1,3,5,7
/proc/4857/stat : 4857 (java) T 4855 4857 4857 0 -1 4202496 57955 0 1 0 4833 8 0 0 15 0 19 0 869347482 8750657536 46954 33554432000 1073741824 1073778376 140733249491904 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4857/statm: 2136391 46954 2233 9 0 2127132 0
[pid=4857/tid=4858] ppid=4855 vsize=8545564 CPUtime=47.31 cores=1,3,5,7
/proc/4857/task/4858/stat : 4858 (java) T 4855 4857 4857 0 -1 4202560 35320 0 1 0 4727 4 0 0 25 0 19 0 869347483 8750657536 46954 33554432000 1073741824 1073778376 140733249491904 18446744073709551615 46912505636449 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=4857/tid=4859] ppid=4855 vsize=8545564 CPUtime=0.01 cores=1,3,5,7
/proc/4857/task/4859/stat : 4859 (java) T 4855 4857 4857 0 -1 4202560 602 0 0 0 1 0 0 0 15 0 19 0 869347483 8750657536 46954 33554432000 1073741824 1073778376 140733249491904 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4857/tid=4860] ppid=4855 vsize=8545564 CPUtime=0 cores=1,3,5,7
/proc/4857/task/4860/stat : 4860 (java) T 4855 4857 4857 0 -1 4202560 553 0 0 0 0 0 0 0 15 0 19 0 869347483 8750657536 46954 33554432000 1073741824 1073778376 140733249491904 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4857/tid=4861] ppid=4855 vsize=8545564 CPUtime=0.01 cores=1,3,5,7
/proc/4857/task/4861/stat : 4861 (java) T 4855 4857 4857 0 -1 4202560 1504 0 0 0 1 0 0 0 15 0 19 0 869347483 8750657536 46954 33554432000 1073741824 1073778376 140733249491904 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4857/tid=4862] ppid=4855 vsize=8545564 CPUtime=0 cores=1,3,5,7
/proc/4857/task/4862/stat : 4862 (java) T 4855 4857 4857 0 -1 4202560 2029 0 0 0 0 0 0 0 15 0 19 0 869347483 8750657536 46954 33554432000 1073741824 1073778376 140733249491904 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=4857/tid=4863] ppid=4855 vsize=8545564 CPUtime=0 cores=1,3,5,7
/proc/4857/task/4863/stat : 4863 (java) T 4855 4857 4857 0 -1 4202560 1383 0 0 0 0 0 0 0 15 0 19 0 869347483 8750657536 46954 33554432000 1073741824 1073778376 140733249491904 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4857/tid=4864] ppid=4855 vsize=8545564 CPUtime=0.01 cores=1,3,5,7
/proc/4857/task/4864/stat : 4864 (java) T 4855 4857 4857 0 -1 4202560 1400 0 0 0 1 0 0 0 15 0 19 0 869347483 8750657536 46954 33554432000 1073741824 1073778376 140733249491904 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4857/tid=4865] ppid=4855 vsize=8545564 CPUtime=0 cores=1,3,5,7
/proc/4857/task/4865/stat : 4865 (java) T 4855 4857 4857 0 -1 4202560 682 0 0 0 0 0 0 0 15 0 19 0 869347483 8750657536 46954 33554432000 1073741824 1073778376 140733249491904 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4857/tid=4866] ppid=4855 vsize=8545564 CPUtime=0 cores=1,3,5,7
/proc/4857/task/4866/stat : 4866 (java) T 4855 4857 4857 0 -1 4202560 2013 0 0 0 0 0 0 0 15 0 19 0 869347483 8750657536 46954 33554432000 1073741824 1073778376 140733249491904 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4857/tid=4867] ppid=4855 vsize=8545564 CPUtime=0 cores=1,3,5,7
/proc/4857/task/4867/stat : 4867 (java) T 4855 4857 4857 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 869347484 8750657536 46954 33554432000 1073741824 1073778376 140733249491904 18446744073709551615 218917547520 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=4857/tid=4868] ppid=4855 vsize=8545564 CPUtime=0 cores=1,3,5,7
/proc/4857/task/4868/stat : 4868 (java) T 4855 4857 4857 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869347485 8750657536 46954 33554432000 1073741824 1073778376 140733249491904 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4857/tid=4869] ppid=4855 vsize=8545564 CPUtime=0 cores=1,3,5,7
/proc/4857/task/4869/stat : 4869 (java) T 4855 4857 4857 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869347485 8750657536 46954 33554432000 1073741824 1073778376 140733249491904 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4857/tid=4870] ppid=4855 vsize=8545564 CPUtime=0 cores=1,3,5,7
/proc/4857/task/4870/stat : 4870 (java) T 4855 4857 4857 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869347487 8750657536 46954 33554432000 1073741824 1073778376 140733249491904 18446744073709551615 218917554609 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4857/tid=4871] ppid=4855 vsize=8545564 CPUtime=0.51 cores=1,3,5,7
/proc/4857/task/4871/stat : 4871 (java) T 4855 4857 4857 0 -1 4202560 6399 0 0 0 51 0 0 0 15 0 19 0 869347487 8750657536 46954 33554432000 1073741824 1073778376 140733249491904 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4857/tid=4872] ppid=4855 vsize=8545564 CPUtime=0.48 cores=1,3,5,7
/proc/4857/task/4872/stat : 4872 (java) T 4855 4857 4857 0 -1 4202560 4659 0 0 0 48 0 0 0 15 0 19 0 869347487 8750657536 46954 33554432000 1073741824 1073778376 140733249491904 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4857/tid=4873] ppid=4855 vsize=8545564 CPUtime=0 cores=1,3,5,7
/proc/4857/task/4873/stat : 4873 (java) T 4855 4857 4857 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869347487 8750657536 46954 33554432000 1073741824 1073778376 140733249491904 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4857/tid=4874] ppid=4855 vsize=8545564 CPUtime=0 cores=1,3,5,7
/proc/4857/task/4874/stat : 4874 (java) T 4855 4857 4857 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869347487 8750657536 46954 33554432000 1073741824 1073778376 140733249491904 18446744073709551615 218917547520 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4857/tid=4875] ppid=4855 vsize=8545564 CPUtime=0 cores=1,3,5,7
/proc/4857/task/4875/stat : 4875 (java) T 4855 4857 4857 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869347496 8750657536 46954 33554432000 1073741824 1073778376 140733249491904 18446744073709551615 218917547520 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=4855/tid=4936] ppid=4807 vsize=314316 CPUtime=0 cores=1,3,5,7
/proc/4855/task/4936/stat : 4936 (python) S 4807 4807 4191 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 869352219 321859584 5823 33554432000 4194304 5683644 140735098862880 18446744073709551615 218917554609 0 0 16781312 33554946 18446604466271667200 0 0 -1 7 0 0 0
[pid=4937] ppid=4807 vsize=324572 CPUtime=0.62 cores=1,3,5,7
/proc/4937/stat : 4937 (python) S 4807 4807 4191 0 -1 4202560 1184 0 0 0 29 33 0 0 19 0 2 0 869352221 332361728 5846 33554432000 4194304 5683644 140735098862880 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4937/statm: 81143 5846 397 364 0 16018 0
[pid=4939] ppid=4937 vsize=24576 CPUtime=138.61 cores=1,3,5,7
/proc/4939/stat : 4939 (bsolo_pb10) T 4937 4939 4939 0 -1 4202496 2015 0 0 0 13844 17 0 0 25 0 1 0 869352221 25165824 1745 33554432000 134512640 137138936 4293299504 18446744073709551615 136570369 0 0 16781312 16384 18446744071562691360 0 0 17 5 0 0 0
/proc/4939/statm: 6144 1745 192 642 0 5500 0
[pid=4937/tid=5068] ppid=4807 vsize=324572 CPUtime=0 cores=1,3,5,7
/proc/4937/task/5068/stat : 5068 (python) S 4807 4807 4191 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 869366083 332361728 5846 33554432000 4194304 5683644 140735098862880 18446744073709551615 218917554609 0 0 16781312 33554946 18446604465768767616 0 0 -1 7 0 0 0
[pid=5069] ppid=4807 vsize=335072 CPUtime=0.51 cores=1,3,5,7
/proc/5069/stat : 5069 (python) S 4807 4807 4191 0 -1 4202560 1287 0 0 0 29 22 0 0 16 0 2 0 869366086 343113728 5893 33554432000 4194304 5683644 140735098862880 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/5069/statm: 83768 5893 398 364 0 18640 0
[pid=5071] ppid=5069 vsize=83092 CPUtime=55.47 cores=1,3,5,7
/proc/5071/stat : 5071 (scip-2.0.1.linu) T 5069 5071 5071 0 -1 4202496 19628 0 0 0 4738 809 0 0 18 0 1 0 869366086 85086208 17485 33554432000 4194304 15243407 140733784862240 18446744073709551615 13354455 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/5071/statm: 20773 17485 929 2698 0 18068 0
[pid=5069/tid=5096] ppid=4807 vsize=335072 CPUtime=0 cores=1,3,5,7
/proc/5069/task/5096/stat : 5096 (python) S 4807 4807 4191 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869371634 343113728 5893 33554432000 4194304 5683644 140735098862880 18446744073709551615 218917554609 0 0 16781312 33554946 18446604466231936832 0 0 -1 3 0 0 0
[pid=5177] ppid=4807 vsize=345328 CPUtime=0 cores=1,3,5,7
/proc/5177/stat : 5177 (python) S 4807 4807 4191 0 -1 4202560 860 0 0 0 0 0 0 0 15 0 1 0 869381089 353615872 5874 33554432000 4194304 5683644 140735098862880 18446744073709551615 218905751110 0 0 16781312 33554946 4139676328142045184 0 0 17 1 0 0 0
/proc/5177/statm: 86332 5874 349 364 0 21201 0
[pid=5179] ppid=5177 vsize=8556528 CPUtime=1.36 cores=1,3,5,7
/proc/5179/stat : 5179 (java) S 5177 5179 5179 0 -1 4202496 32605 0 1 0 131 5 0 0 17 0 19 0 869381089 8761884672 29102 33554432000 1073741824 1073778376 140733246246896 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5179/statm: 2139132 29102 2238 9 0 2129873 0
[pid=5179/tid=5180] ppid=5177 vsize=8556528 CPUtime=0.88 cores=1,3,5,7
/proc/5179/task/5180/stat : 5180 (java) R 5177 5179 5179 0 -1 4202560 20282 0 1 0 85 3 0 0 25 0 19 0 869381090 8761884672 29102 33554432000 1073741824 1073778376 140733246246896 18446744073709551615 46912505550526 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5179/tid=5181] ppid=5177 vsize=8556528 CPUtime=0 cores=1,3,5,7
/proc/5179/task/5181/stat : 5181 (java) S 5177 5179 5179 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 869381091 8761884672 29102 33554432000 1073741824 1073778376 140733246246896 18446744073709551615 218917546905 0 4 0 16800975 18446604462961081088 0 0 -1 1 0 0 0
[pid=5179/tid=5182] ppid=5177 vsize=8556528 CPUtime=0 cores=1,3,5,7
/proc/5179/task/5182/stat : 5182 (java) S 5177 5179 5179 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869381091 8761884672 29102 33554432000 1073741824 1073778376 140733246246896 18446744073709551615 218917546905 0 4 0 16800975 18446604462961081088 0 0 -1 1 0 0 0
[pid=5179/tid=5183] ppid=5177 vsize=8556528 CPUtime=0 cores=1,3,5,7
/proc/5179/task/5183/stat : 5183 (java) S 5177 5179 5179 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869381091 8761884672 29102 33554432000 1073741824 1073778376 140733246246896 18446744073709551615 218917546905 0 4 0 16800975 18446604462961081088 0 0 -1 1 0 0 0
[pid=5179/tid=5184] ppid=5177 vsize=8556528 CPUtime=0 cores=1,3,5,7
/proc/5179/task/5184/stat : 5184 (java) S 5177 5179 5179 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869381091 8761884672 29102 33554432000 1073741824 1073778376 140733246246896 18446744073709551615 218917546905 0 4 0 16800975 18446604462961081088 0 0 -1 1 0 0 0
[pid=5179/tid=5185] ppid=5177 vsize=8556528 CPUtime=0 cores=1,3,5,7
/proc/5179/task/5185/stat : 5185 (java) S 5177 5179 5179 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869381091 8761884672 29102 33554432000 1073741824 1073778376 140733246246896 18446744073709551615 218917546905 0 4 0 16800975 18446604462961081088 0 0 -1 1 0 0 0
[pid=5179/tid=5186] ppid=5177 vsize=8556528 CPUtime=0 cores=1,3,5,7
/proc/5179/task/5186/stat : 5186 (java) S 5177 5179 5179 0 -1 4202560 86 0 0 0 0 0 0 0 15 0 19 0 869381091 8761884672 29102 33554432000 1073741824 1073778376 140733246246896 18446744073709551615 218917546905 0 4 0 16800975 18446604462961081088 0 0 -1 1 0 0 0
[pid=5179/tid=5187] ppid=5177 vsize=8556528 CPUtime=0 cores=1,3,5,7
/proc/5179/task/5187/stat : 5187 (java) S 5177 5179 5179 0 -1 4202560 37 0 0 0 0 0 0 0 15 0 19 0 869381091 8761884672 29102 33554432000 1073741824 1073778376 140733246246896 18446744073709551615 218917546905 0 4 0 16800975 18446604462961081088 0 0 -1 1 0 0 0
[pid=5179/tid=5188] ppid=5177 vsize=8556528 CPUtime=0 cores=1,3,5,7
/proc/5179/task/5188/stat : 5188 (java) S 5177 5179 5179 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869381091 8761884672 29102 33554432000 1073741824 1073778376 140733246246896 18446744073709551615 218917546905 0 4 0 16800975 18446604462961081088 0 0 -1 1 0 0 0
[pid=5179/tid=5189] ppid=5177 vsize=8556528 CPUtime=0 cores=1,3,5,7
/proc/5179/task/5189/stat : 5189 (java) S 5177 5179 5179 0 -1 4202560 242 0 0 0 0 0 0 0 16 0 19 0 869381092 8761884672 29102 33554432000 1073741824 1073778376 140733246246896 18446744073709551615 218917547520 0 0 0 16800975 18446604462961081088 0 0 -1 7 0 0 0
[pid=5179/tid=5190] ppid=5177 vsize=8556528 CPUtime=0 cores=1,3,5,7
/proc/5179/task/5190/stat : 5190 (java) S 5177 5179 5179 0 -1 4202560 19 0 0 0 0 0 0 0 17 0 19 0 869381092 8761884672 29102 33554432000 1073741824 1073778376 140733246246896 18446744073709551615 218917546905 0 4 0 16800975 18446604462961081088 0 0 -1 1 0 0 0
[pid=5179/tid=5191] ppid=5177 vsize=8556528 CPUtime=0 cores=1,3,5,7
/proc/5179/task/5191/stat : 5191 (java) S 5177 5179 5179 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869381092 8761884672 29102 33554432000 1073741824 1073778376 140733246246896 18446744073709551615 218917546905 0 4 0 16800975 18446604462961081088 0 0 -1 1 0 0 0
[pid=5179/tid=5192] ppid=5177 vsize=8556528 CPUtime=0 cores=1,3,5,7
/proc/5179/task/5192/stat : 5192 (java) S 5177 5179 5179 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869381094 8761884672 29102 33554432000 1073741824 1073778376 140733246246896 18446744073709551615 218917554609 0 4 0 16800975 18446604462961081088 0 0 -1 1 0 0 0
[pid=5179/tid=5193] ppid=5177 vsize=8556528 CPUtime=0.24 cores=1,3,5,7
/proc/5179/task/5193/stat : 5193 (java) S 5177 5179 5179 0 -1 4202560 2590 0 0 0 24 0 0 0 23 0 19 0 869381094 8761884672 29102 33554432000 1073741824 1073778376 140733246246896 18446744073709551615 218917546905 0 4 0 16800975 18446604462961081088 0 0 -1 3 0 0 0
[pid=5179/tid=5194] ppid=5177 vsize=8556528 CPUtime=0.21 cores=1,3,5,7
/proc/5179/task/5194/stat : 5194 (java) S 5177 5179 5179 0 -1 4202560 7861 0 0 0 21 0 0 0 18 0 19 0 869381094 8761884672 29102 33554432000 1073741824 1073778376 140733246246896 18446744073709551615 218917546905 0 4 0 16800975 18446604462961081088 0 0 -1 1 0 0 0
[pid=5179/tid=5195] ppid=5177 vsize=8556528 CPUtime=0 cores=1,3,5,7
/proc/5179/task/5195/stat : 5195 (java) S 5177 5179 5179 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869381094 8761884672 29102 33554432000 1073741824 1073778376 140733246246896 18446744073709551615 218917546905 0 4 0 16800975 18446604462961081088 0 0 -1 1 0 0 0
[pid=5179/tid=5196] ppid=5177 vsize=8556528 CPUtime=0 cores=1,3,5,7
/proc/5179/task/5196/stat : 5196 (java) S 5177 5179 5179 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 869381094 8761884672 29102 33554432000 1073741824 1073778376 140733246246896 18446744073709551615 218917547520 0 4 0 16800975 18446604462961081088 0 0 -1 1 0 0 0
[pid=5179/tid=5197] ppid=5177 vsize=8556528 CPUtime=0 cores=1,3,5,7
/proc/5179/task/5197/stat : 5197 (java) S 5177 5179 5179 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869381104 8761884672 29102 33554432000 1073741824 1073778376 140733246246896 18446744073709551615 218917547520 0 4 0 16800975 18446604462961081088 0 0 -1 1 0 0 0
[pid=4807/tid=4814] ppid=4805 vsize=355572 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4814/stat : 4814 (python) S 4805 4807 4191 0 -1 4202560 30 933 0 0 0 0 0 0 18 0 8 0 869332022 364105728 7412 33554432000 4194304 5683644 140735098862880 18446744073709551615 218917554609 0 0 16781312 33554434 18446604454715420736 0 0 -1 7 0 0 0
[pid=4807/tid=4845] ppid=4805 vsize=355572 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4845/stat : 4845 (python) S 4805 4807 4191 0 -1 4202560 32 933 0 0 0 0 0 0 18 0 8 0 869336845 364105728 7412 33554432000 4194304 5683644 140735098862880 18446744073709551615 218917554609 0 0 16781312 33554434 18446604454715420736 0 0 -1 1 0 0 0
[pid=4807/tid=4850] ppid=4805 vsize=355572 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4850/stat : 4850 (python) S 4805 4807 4191 0 -1 4202560 27 933 0 0 0 0 0 0 20 0 8 0 869341530 364105728 7412 33554432000 4194304 5683644 140735098862880 18446744073709551615 218917554609 0 0 16781312 33554434 18446604454715420736 0 0 -1 1 0 0 0
[pid=4807/tid=4856] ppid=4805 vsize=355572 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4856/stat : 4856 (python) S 4805 4807 4191 0 -1 4202560 29 933 0 0 0 0 0 0 20 0 8 0 869347481 364105728 7412 33554432000 4194304 5683644 140735098862880 18446744073709551615 218917554609 0 0 16781312 33554434 18446604454715420736 0 0 -1 3 0 0 0
[pid=4807/tid=4938] ppid=4805 vsize=355572 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4938/stat : 4938 (python) S 4805 4807 4191 0 -1 4202560 29 933 0 0 0 0 0 0 20 0 8 0 869352221 364105728 7412 33554432000 4194304 5683644 140735098862880 18446744073709551615 218917554609 0 0 16781312 33554434 18446604454715420736 0 0 -1 3 0 0 0
[pid=4807/tid=5070] ppid=4805 vsize=355572 CPUtime=0 cores=1,3,5,7
/proc/4807/task/5070/stat : 5070 (python) S 4805 4807 4191 0 -1 4202560 27 933 0 0 0 0 0 0 20 0 8 0 869366086 364105728 7412 33554432000 4194304 5683644 140735098862880 18446744073709551615 218917554609 0 0 16781312 33554434 18446604454715420736 0 0 -1 3 0 0 0
[pid=4807/tid=5178] ppid=4805 vsize=355572 CPUtime=0 cores=1,3,5,7
/proc/4807/task/5178/stat : 5178 (python) S 4805 4807 4191 0 -1 4202560 31 933 0 0 0 0 0 0 20 0 8 0 869381089 364105728 7412 33554432000 4194304 5683644 140735098862880 18446744073709551615 218917554609 0 0 16781312 33554434 18446604454715420736 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 496.28
Current children cumulated vsize (KiB) 20065880
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4807 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=517921
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=139978
# CPU time returned by wait4() is 0.657899
# while last known CPU time is 496.28
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 492.398
CPU time (s): 496.28
CPU user time (s): 473.62
CPU system time (s): 22.66
CPU usage (%): 100.788
Max. virtual memory (cumulated for all children) (KiB): 20065880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.517921
system time used= 0.139978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15860
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= 2878
involuntary context switches= 22
runsolver used 3.47447 second user time and 8.28074 second system time
The end