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-3481724-1307577461/watcher-3481724-1307577461 -o /tmp/evaluation-result-3481724-1307577461/solver-3481724-1307577461 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481724-1307577461.opb -seed 1719461105 -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.08 2.07 1.43 2/663 8517
/proc/meminfo: memFree=20278676/32951124 swapFree=64303752/67111528
[pid=8517] ppid=8515 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/8517/stat : 8517 (python) R 8515 8517 7805 0 -1 4202496 791 0 0 0 0 0 0 0 20 0 1 0 850162054 15749120 678 33554432000 4194304 5683644 140736811184736 18446744073709551615 233510295552 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/8517/statm: 3845 678 322 364 0 332 0
[startup+0.116501 s]
/proc/loadavg: 2.08 2.07 1.43 2/663 8517
/proc/meminfo: memFree=20278676/32951124 swapFree=64303752/67111528
[pid=8517] ppid=8515 vsize=96124 CPUtime=0.07 cores=1,3,5,7
/proc/8517/stat : 8517 (python) R 8515 8517 7805 0 -1 4202496 3169 933 1 0 5 2 0 0 18 0 1 0 850162054 98430976 2483 33554432000 4194304 5683644 140736811184736 18446744073709551615 5177984 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/8517/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.200534 s]
/proc/loadavg: 2.08 2.07 1.43 2/663 8517
/proc/meminfo: memFree=20278676/32951124 swapFree=64303752/67111528
[pid=8517] ppid=8515 vsize=117896 CPUtime=0.13 cores=1,3,5,7
/proc/8517/stat : 8517 (python) S 8515 8517 7805 0 -1 4202496 4922 933 1 0 9 4 0 0 17 0 1 0 850162054 120725504 3345 33554432000 4194304 5683644 140736811184736 18446744073709551615 233510295552 0 2147483391 16781312 2 18446744071699207358 0 0 17 5 0 0 0
/proc/8517/statm: 29474 3345 916 364 0 2444 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 117896
[startup+0.300495 s]
/proc/loadavg: 2.08 2.07 1.43 2/663 8517
/proc/meminfo: memFree=20278676/32951124 swapFree=64303752/67111528
[pid=8517] ppid=8515 vsize=123736 CPUtime=0.17 cores=1,3,5,7
/proc/8517/stat : 8517 (python) S 8515 8517 7805 0 -1 4202496 5357 933 1 0 12 5 0 0 16 0 1 0 850162054 126705664 3743 33554432000 4194304 5683644 140736811184736 18446744073709551615 233510293509 0 2147483391 16781312 2 18446744071699207358 0 0 17 5 0 0 0
/proc/8517/statm: 30934 3743 987 364 0 2766 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123736
[startup+0.700947 s]
/proc/loadavg: 2.08 2.07 1.43 2/663 8517
/proc/meminfo: memFree=20278676/32951124 swapFree=64303752/67111528
[pid=8517] ppid=8515 vsize=282400 CPUtime=0.43 cores=1,3,5,7
/proc/8517/stat : 8517 (python) S 8515 8517 7805 0 -1 4202496 9128 933 1 0 31 12 0 0 15 0 1 0 850162054 289177600 6988 33554432000 4194304 5683644 140736811184736 18446744073709551615 233510295552 0 2147483391 16781312 33554434 18446744071699207358 0 0 17 7 0 0 0
/proc/8517/statm: 70600 6988 1828 364 0 5493 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 282400
[startup+1.50029 s]
/proc/loadavg: 2.08 2.07 1.43 3/667 8525
/proc/meminfo: memFree=20244916/32951124 swapFree=64303752/67111528
[pid=8517] ppid=8515 vsize=293068 CPUtime=0.45 cores=1,3,5,7
/proc/8517/stat : 8517 (python) S 8515 8517 7805 0 -1 4202496 9630 933 1 0 33 12 0 0 16 0 2 0 850162054 300101632 7137 33554432000 4194304 5683644 140736811184736 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/8517/statm: 73267 7137 1870 364 0 8154 0
[pid=8523] ppid=8517 vsize=282824 CPUtime=0 cores=1,3,5,7
/proc/8523/stat : 8523 (python) S 8517 8517 7805 0 -1 4202560 700 0 0 0 0 0 0 0 18 0 1 0 850162127 289611776 5612 33554432000 4194304 5683644 140736811184736 18446744073709551615 233510317583 0 0 16781312 33554946 4476299410782781702 0 0 17 7 0 0 0
/proc/8523/statm: 70706 5612 349 364 0 5593 0
[pid=8525] ppid=8523 vsize=1860 CPUtime=0.76 cores=1,3,5,7
/proc/8525/stat : 8525 (clasp-1.3.7-x86) R 8523 8525 8525 0 -1 4202496 459 0 0 0 76 0 0 0 20 0 1 0 850162127 1904640 204 33554432000 134512640 136139019 4288680784 18446744073709551615 134831792 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/8525/statm: 465 204 183 398 0 65 0
[pid=8517/tid=8524] ppid=8515 vsize=293068 CPUtime=0 cores=1,3,5,7
/proc/8517/task/8524/stat : 8524 (python) S 8515 8517 7805 0 -1 4202560 25 933 0 0 0 0 0 0 17 0 2 0 850162127 300101632 7137 33554432000 4194304 5683644 140736811184736 18446744073709551615 233522121137 0 0 16781312 33554434 18446604469204108544 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 577752
[startup+3.101 s]
/proc/loadavg: 2.08 2.07 1.43 3/667 8525
/proc/meminfo: memFree=20110872/32951124 swapFree=64303752/67111528
[pid=8517] ppid=8515 vsize=293068 CPUtime=0.45 cores=1,3,5,7
/proc/8517/stat : 8517 (python) S 8515 8517 7805 0 -1 4202496 9630 933 1 0 33 12 0 0 16 0 2 0 850162054 300101632 7137 33554432000 4194304 5683644 140736811184736 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/8517/statm: 73267 7137 1870 364 0 8154 0
[pid=8523] ppid=8517 vsize=282824 CPUtime=0 cores=1,3,5,7
/proc/8523/stat : 8523 (python) S 8517 8517 7805 0 -1 4202560 723 0 0 0 0 0 0 0 15 0 1 0 850162127 289611776 5615 33554432000 4194304 5683644 140736811184736 18446744073709551615 233510317583 0 0 16781312 33554946 4463359876910776582 0 0 17 7 0 0 0
/proc/8523/statm: 70706 5615 352 364 0 5593 0
[pid=8525] ppid=8523 vsize=1860 CPUtime=2.37 cores=1,3,5,7
/proc/8525/stat : 8525 (clasp-1.3.7-x86) R 8523 8525 8525 0 -1 4202496 460 0 0 0 237 0 0 0 25 0 1 0 850162127 1904640 205 33554432000 134512640 136139019 4288680784 18446744073709551615 134832189 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/8525/statm: 465 205 183 398 0 65 0
[pid=8517/tid=8524] ppid=8515 vsize=293068 CPUtime=0 cores=1,3,5,7
/proc/8517/task/8524/stat : 8524 (python) S 8515 8517 7805 0 -1 4202560 25 933 0 0 0 0 0 0 17 0 2 0 850162127 300101632 7137 33554432000 4194304 5683644 140736811184736 18446744073709551615 233522121137 0 0 16781312 33554434 18446604469204108544 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 577752
[startup+6.30043 s]
/proc/loadavg: 2.08 2.07 1.44 3/667 8525
/proc/meminfo: memFree=19851580/32951124 swapFree=64303752/67111528
[pid=8517] ppid=8515 vsize=293068 CPUtime=0.45 cores=1,3,5,7
/proc/8517/stat : 8517 (python) S 8515 8517 7805 0 -1 4202496 9630 933 1 0 33 12 0 0 16 0 2 0 850162054 300101632 7137 33554432000 4194304 5683644 140736811184736 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/8517/statm: 73267 7137 1870 364 0 8154 0
[pid=8523] ppid=8517 vsize=282824 CPUtime=0.02 cores=1,3,5,7
/proc/8523/stat : 8523 (python) S 8517 8517 7805 0 -1 4202560 871 0 0 0 1 1 0 0 15 0 1 0 850162127 289611776 5638 33554432000 4194304 5683644 140736811184736 18446744073709551615 233510317583 0 0 16781312 33554946 4463361388739264774 0 0 17 7 0 0 0
/proc/8523/statm: 70706 5638 375 364 0 5593 0
[pid=8525] ppid=8523 vsize=1860 CPUtime=5.57 cores=1,3,5,7
/proc/8525/stat : 8525 (clasp-1.3.7-x86) R 8523 8525 8525 0 -1 4202496 460 0 0 0 557 0 0 0 25 0 1 0 850162127 1904640 205 33554432000 134512640 136139019 4288680784 18446744073709551615 134599038 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/8525/statm: 465 205 183 398 0 65 0
[pid=8517/tid=8524] ppid=8515 vsize=293068 CPUtime=0 cores=1,3,5,7
/proc/8517/task/8524/stat : 8524 (python) S 8515 8517 7805 0 -1 4202560 25 933 0 0 0 0 0 0 17 0 2 0 850162127 300101632 7137 33554432000 4194304 5683644 140736811184736 18446744073709551615 233522121137 0 0 16781312 33554434 18446604469204108544 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 577752
[startup+12.7003 s]
/proc/loadavg: 2.07 2.07 1.44 3/667 8525
/proc/meminfo: memFree=19842100/32951124 swapFree=64303752/67111528
[pid=8517] ppid=8515 vsize=293068 CPUtime=0.45 cores=1,3,5,7
/proc/8517/stat : 8517 (python) S 8515 8517 7805 0 -1 4202496 9630 933 1 0 33 12 0 0 16 0 2 0 850162054 300101632 7137 33554432000 4194304 5683644 140736811184736 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/8517/statm: 73267 7137 1870 364 0 8154 0
[pid=8523] ppid=8517 vsize=282824 CPUtime=0.04 cores=1,3,5,7
/proc/8523/stat : 8523 (python) S 8517 8517 7805 0 -1 4202560 876 0 0 0 2 2 0 0 15 0 1 0 850162127 289611776 5639 33554432000 4194304 5683644 140736811184736 18446744073709551615 233510317583 0 0 16781312 33554946 5623753486446373647 0 0 17 7 0 0 0
/proc/8523/statm: 70706 5639 376 364 0 5593 0
[pid=8525] ppid=8523 vsize=1860 CPUtime=11.97 cores=1,3,5,7
/proc/8525/stat : 8525 (clasp-1.3.7-x86) R 8523 8525 8525 0 -1 4202496 461 0 0 0 1197 0 0 0 25 0 1 0 850162127 1904640 206 33554432000 134512640 136139019 4288680784 18446744073709551615 134599005 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/8525/statm: 465 206 183 398 0 65 0
[pid=8517/tid=8524] ppid=8515 vsize=293068 CPUtime=0 cores=1,3,5,7
/proc/8517/task/8524/stat : 8524 (python) S 8515 8517 7805 0 -1 4202560 25 933 0 0 0 0 0 0 17 0 2 0 850162127 300101632 7137 33554432000 4194304 5683644 140736811184736 18446744073709551615 233522121137 0 0 16781312 33554434 18446604469204108544 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 577752
[startup+25.501 s]
/proc/loadavg: 2.27 2.11 1.46 3/667 8526
/proc/meminfo: memFree=19830916/32951124 swapFree=64303752/67111528
[pid=8517] ppid=8515 vsize=293068 CPUtime=0.45 cores=1,3,5,7
/proc/8517/stat : 8517 (python) S 8515 8517 7805 0 -1 4202496 9630 933 1 0 33 12 0 0 16 0 2 0 850162054 300101632 7137 33554432000 4194304 5683644 140736811184736 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/8517/statm: 73267 7137 1870 364 0 8154 0
[pid=8523] ppid=8517 vsize=282824 CPUtime=0.1 cores=1,3,5,7
/proc/8523/stat : 8523 (python) S 8517 8517 7805 0 -1 4202560 883 0 0 0 5 5 0 0 15 0 1 0 850162127 289611776 5639 33554432000 4194304 5683644 140736811184736 18446744073709551615 233510317583 0 0 16781312 33554946 5623753486446373647 0 0 17 7 0 0 0
/proc/8523/statm: 70706 5639 376 364 0 5593 0
[pid=8525] ppid=8523 vsize=1860 CPUtime=24.77 cores=1,3,5,7
/proc/8525/stat : 8525 (clasp-1.3.7-x86) R 8523 8525 8525 0 -1 4202496 461 0 0 0 2477 0 0 0 25 0 1 0 850162127 1904640 206 33554432000 134512640 136139019 4288680784 18446744073709551615 134599005 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/8525/statm: 465 206 183 398 0 65 0
[pid=8517/tid=8524] ppid=8515 vsize=293068 CPUtime=0 cores=1,3,5,7
/proc/8517/task/8524/stat : 8524 (python) S 8515 8517 7805 0 -1 4202560 25 933 0 0 0 0 0 0 17 0 2 0 850162127 300101632 7137 33554432000 4194304 5683644 140736811184736 18446744073709551615 233522121137 0 0 16781312 33554434 18446604469204108544 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 577752
[startup+51.1014 s]
/proc/loadavg: 2.18 2.10 1.48 3/672 8531
/proc/meminfo: memFree=19794504/32951124 swapFree=64303752/67111528
[pid=8517] ppid=8515 vsize=303864 CPUtime=0.48 cores=1,3,5,7
/proc/8517/stat : 8517 (python) S 8515 8517 7805 0 -1 4202496 10492 933 1 0 36 12 0 0 19 0 3 0 850162054 311156736 7264 33554432000 4194304 5683644 140736811184736 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/8517/statm: 75966 7264 1873 364 0 10850 0
[pid=8523] ppid=8517 vsize=293068 CPUtime=0.21 cores=1,3,5,7
/proc/8523/stat : 8523 (python) S 8517 8517 7805 0 -1 4202560 1113 0 0 0 10 11 0 0 17 0 2 0 850162127 300101632 5680 33554432000 4194304 5683644 140736811184736 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/8523/statm: 73267 5680 412 364 0 8154 0
[pid=8525] ppid=8523 vsize=1860 CPUtime=47.21 cores=1,3,5,7
/proc/8525/stat : 8525 (clasp-1.3.7-x86) T 8523 8525 8525 0 -1 4202496 461 0 0 0 4721 0 0 0 25 0 1 0 850162127 1904640 206 33554432000 134512640 136139019 4288680784 18446744073709551615 134875915 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/8525/statm: 465 206 183 398 0 65 0
[pid=8523/tid=8528] ppid=8517 vsize=293068 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8528/stat : 8528 (python) S 8517 8517 7805 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 850166849 300101632 5680 33554432000 4194304 5683644 140736811184736 18446744073709551615 233522121137 0 0 16781312 33554946 18446604461834237056 0 0 -1 7 0 0 0
[pid=8529] ppid=8517 vsize=293620 CPUtime=0.03 cores=1,3,5,7
/proc/8529/stat : 8529 (python) S 8517 8517 7805 0 -1 4202560 967 0 0 0 2 1 0 0 15 0 1 0 850166851 300666880 5761 33554432000 4194304 5683644 140736811184736 18446744073709551615 233510317638 0 0 16781312 33554946 2554971612260597760 0 0 17 7 0 0 0
/proc/8529/statm: 73405 5761 374 364 0 8289 0
[pid=8531] ppid=8529 vsize=27576 CPUtime=3.12 cores=1,3,5,7
/proc/8531/stat : 8531 (scip-2.0.1.linu) R 8529 8531 8531 0 -1 4202496 6104 0 0 0 252 60 0 0 18 0 1 0 850166851 28237824 4598 33554432000 4194304 13684479 140734588242144 18446744073709551615 5563256 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/8531/statm: 6894 4598 804 2317 0 4572 0
[pid=8517/tid=8524] ppid=8515 vsize=303864 CPUtime=0 cores=1,3,5,7
/proc/8517/task/8524/stat : 8524 (python) S 8515 8517 7805 0 -1 4202560 25 933 0 0 0 0 0 0 17 0 3 0 850162127 311156736 7264 33554432000 4194304 5683644 140736811184736 18446744073709551615 233522121137 0 0 16781312 33554434 18446604469204108544 0 0 -1 7 0 0 0
[pid=8517/tid=8530] ppid=8515 vsize=303864 CPUtime=0 cores=1,3,5,7
/proc/8517/task/8530/stat : 8530 (python) S 8515 8517 7805 0 -1 4202560 31 933 0 0 0 0 0 0 19 0 3 0 850166851 311156736 7264 33554432000 4194304 5683644 140736811184736 18446744073709551615 233522121137 0 0 16781312 33554434 18446604469204108544 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 919988
[startup+102.301 s]
/proc/loadavg: 2.08 2.09 1.50 3/660 8588
/proc/meminfo: memFree=19622672/32951124 swapFree=64303752/67111528
[pid=8517] ppid=8515 vsize=303864 CPUtime=0.48 cores=1,3,5,7
/proc/8517/stat : 8517 (python) S 8515 8517 7805 0 -1 4202496 10492 933 1 0 36 12 0 0 19 0 3 0 850162054 311156736 7264 33554432000 4194304 5683644 140736811184736 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/8517/statm: 75966 7264 1873 364 0 10850 0
[pid=8523] ppid=8517 vsize=293068 CPUtime=0.21 cores=1,3,5,7
/proc/8523/stat : 8523 (python) S 8517 8517 7805 0 -1 4202560 1113 0 0 0 10 11 0 0 17 0 2 0 850162127 300101632 5680 33554432000 4194304 5683644 140736811184736 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/8523/statm: 73267 5680 412 364 0 8154 0
[pid=8525] ppid=8523 vsize=1860 CPUtime=47.21 cores=1,3,5,7
/proc/8525/stat : 8525 (clasp-1.3.7-x86) T 8523 8525 8525 0 -1 4202496 461 0 0 0 4721 0 0 0 25 0 1 0 850162127 1904640 206 33554432000 134512640 136139019 4288680784 18446744073709551615 134875915 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/8525/statm: 465 206 183 398 0 65 0
[pid=8523/tid=8528] ppid=8517 vsize=293068 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8528/stat : 8528 (python) S 8517 8517 7805 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 850166849 300101632 5680 33554432000 4194304 5683644 140736811184736 18446744073709551615 233522121137 0 0 16781312 33554946 18446604461834237056 0 0 -1 7 0 0 0
[pid=8529] ppid=8517 vsize=293980 CPUtime=0.5 cores=1,3,5,7
/proc/8529/stat : 8529 (python) R 8517 8517 7805 0 -1 4202560 1172 0 0 0 33 17 0 0 15 0 1 0 850166851 301035520 5848 33554432000 4194304 5683644 140736811184736 18446744073709551615 233510317638 0 0 16781312 33554946 0 0 0 17 7 0 0 0
/proc/8529/statm: 73495 5848 376 364 0 8379 0
[pid=8531] ppid=8529 vsize=72588 CPUtime=54.32 cores=1,3,5,7
/proc/8531/stat : 8531 (scip-2.0.1.linu) R 8529 8531 8531 0 -1 4202496 17350 0 0 0 4582 850 0 0 18 0 1 0 850166851 74330112 15844 33554432000 4194304 13684479 140734588242144 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/8531/statm: 18147 15844 804 2317 0 15825 0
[pid=8517/tid=8524] ppid=8515 vsize=303864 CPUtime=0 cores=1,3,5,7
/proc/8517/task/8524/stat : 8524 (python) S 8515 8517 7805 0 -1 4202560 25 933 0 0 0 0 0 0 17 0 3 0 850162127 311156736 7264 33554432000 4194304 5683644 140736811184736 18446744073709551615 233522121137 0 0 16781312 33554434 18446604469204108544 0 0 -1 7 0 0 0
[pid=8517/tid=8530] ppid=8515 vsize=303864 CPUtime=0 cores=1,3,5,7
/proc/8517/task/8530/stat : 8530 (python) S 8515 8517 7805 0 -1 4202560 31 933 0 0 0 0 0 0 19 0 3 0 850166851 311156736 7264 33554432000 4194304 5683644 140736811184736 18446744073709551615 233522121137 0 0 16781312 33554434 18446604469204108544 0 0 -1 1 0 0 0
################
# More data... #
################
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+489.503 s]
/proc/loadavg: 2.07 2.12 1.71 4/753 8862
/proc/meminfo: memFree=14976196/32951124 swapFree=64303752/67111528
[pid=8517] ppid=8515 vsize=355676 CPUtime=0.66 cores=1,3,5,7
/proc/8517/stat : 8517 (python) S 8515 8517 7805 0 -1 4202496 14918 933 1 0 52 14 0 0 19 0 8 0 850162054 364212224 7434 33554432000 4194304 5683644 140736811184736 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/8517/statm: 88919 7434 1883 364 0 23788 0
[pid=8523] ppid=8517 vsize=293068 CPUtime=0.43 cores=1,3,5,7
/proc/8523/stat : 8523 (python) S 8517 8517 7805 0 -1 4202560 1142 0 0 0 22 21 0 0 15 0 2 0 850162127 300101632 5681 33554432000 4194304 5683644 140736811184736 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/8523/statm: 73267 5681 413 364 0 8154 0
[pid=8525] ppid=8523 vsize=1860 CPUtime=93.42 cores=1,3,5,7
/proc/8525/stat : 8525 (clasp-1.3.7-x86) T 8523 8525 8525 0 -1 4202496 462 0 0 0 9342 0 0 0 25 0 1 0 850162127 1904640 207 33554432000 134512640 136139019 4288680784 18446744073709551615 134832401 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/8525/statm: 465 207 183 398 0 65 0
[pid=8523/tid=8528] ppid=8517 vsize=293068 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8528/stat : 8528 (python) S 8517 8517 7805 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 2 0 850166849 300101632 5681 33554432000 4194304 5683644 140736811184736 18446744073709551615 233522121137 0 0 16781312 33554946 18446604461834237056 0 0 -1 1 0 0 0
[pid=8529] ppid=8517 vsize=293980 CPUtime=0.53 cores=1,3,5,7
/proc/8529/stat : 8529 (python) S 8517 8517 7805 0 -1 4202560 1336 0 0 0 34 19 0 0 17 0 2 0 850166851 301035520 5873 33554432000 4194304 5683644 140736811184736 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/8529/statm: 73495 5873 399 364 0 8379 0
[pid=8531] ppid=8529 vsize=72588 CPUtime=55.5 cores=1,3,5,7
/proc/8531/stat : 8531 (scip-2.0.1.linu) T 8529 8531 8531 0 -1 4202496 17351 0 0 0 4684 866 0 0 18 0 1 0 850166851 74330112 15845 33554432000 4194304 13684479 140734588242144 18446744073709551615 4693205 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/8531/statm: 18147 15845 804 2317 0 15825 0
[pid=8529/tid=8609] ppid=8517 vsize=293980 CPUtime=0 cores=1,3,5,7
/proc/8529/task/8609/stat : 8609 (python) S 8517 8517 7805 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 2 0 850172403 301035520 5873 33554432000 4194304 5683644 140736811184736 18446744073709551615 233522121137 0 0 16781312 33554946 18446604462888009856 0 0 -1 7 0 0 0
[pid=8610] ppid=8517 vsize=303572 CPUtime=0.46 cores=1,3,5,7
/proc/8610/stat : 8610 (python) S 8517 8517 7805 0 -1 4202560 1121 0 0 0 23 23 0 0 15 0 2 0 850172406 310857728 5713 33554432000 4194304 5683644 140736811184736 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/8610/statm: 75893 5713 397 364 0 10774 0
[pid=8612] ppid=8610 vsize=142956 CPUtime=96.3 cores=1,3,5,7
/proc/8612/stat : 8612 (wbo1.4a) T 8610 8612 8612 0 -1 4202496 35500 0 0 0 9480 150 0 0 25 0 1 0 850172406 146386944 35241 33554432000 134512640 135751879 4289785776 18446744073709551615 135270609 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/8612/statm: 35739 35241 143 303 0 35434 0
[pid=8610/tid=8619] ppid=8517 vsize=303572 CPUtime=0 cores=1,3,5,7
/proc/8610/task/8619/stat : 8619 (python) S 8517 8517 7805 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 850177463 310857728 5713 33554432000 4194304 5683644 140736811184736 18446744073709551615 233522121137 0 0 16781312 33554946 18446604461834236160 0 0 -1 7 0 0 0
[pid=8620] ppid=8517 vsize=314332 CPUtime=0.56 cores=1,3,5,7
/proc/8620/stat : 8620 (python) S 8517 8517 7805 0 -1 4202560 1284 0 0 0 37 19 0 0 17 0 2 0 850177465 321875968 5828 33554432000 4194304 5683644 140736811184736 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/8620/statm: 78583 5828 398 364 0 13461 0
[pid=8622] ppid=8620 vsize=68660 CPUtime=55.46 cores=1,3,5,7
/proc/8622/stat : 8622 (scip-2.0.1.linu) T 8620 8622 8622 0 -1 4202496 16361 0 0 0 4813 733 0 0 18 0 1 0 850177465 70307840 14279 33554432000 4194304 15243407 140735546202832 18446744073709551615 7336706 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/8622/statm: 17165 14279 929 2698 0 14460 0
[pid=8620/tid=8705] ppid=8517 vsize=314332 CPUtime=0 cores=1,3,5,7
/proc/8620/task/8705/stat : 8705 (python) S 8517 8517 7805 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 850183013 321875968 5828 33554432000 4194304 5683644 140736811184736 18446744073709551615 233522121137 0 0 16781312 33554946 18446604454826218688 0 0 -1 7 0 0 0
[pid=8706] ppid=8517 vsize=324588 CPUtime=0.22 cores=1,3,5,7
/proc/8706/stat : 8706 (python) S 8517 8517 7805 0 -1 4202560 1123 0 0 0 10 12 0 0 18 0 2 0 850183016 332378112 5850 33554432000 4194304 5683644 140736811184736 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/8706/statm: 81147 5850 397 364 0 16022 0
[pid=8708] ppid=8706 vsize=8543772 CPUtime=49.62 cores=1,3,5,7
/proc/8708/stat : 8708 (java) T 8706 8708 8708 0 -1 4202496 110116 0 1 0 4947 15 0 0 15 0 19 0 850183016 8748822528 86743 33554432000 1073741824 1073778376 140736367035088 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/8708/statm: 2135943 86743 2227 9 0 2126684 0
[pid=8708/tid=8709] ppid=8706 vsize=8543772 CPUtime=48.01 cores=1,3,5,7
/proc/8708/task/8709/stat : 8709 (java) T 8706 8708 8708 0 -1 4202560 65497 0 1 0 4793 8 0 0 25 0 19 0 850183017 8748822528 86743 33554432000 1073741824 1073778376 140736367035088 18446744073709551615 46912505769523 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=8708/tid=8710] ppid=8706 vsize=8543772 CPUtime=0.05 cores=1,3,5,7
/proc/8708/task/8710/stat : 8710 (java) T 8706 8708 8708 0 -1 4202560 3976 0 0 0 5 0 0 0 15 0 19 0 850183018 8748822528 86743 33554432000 1073741824 1073778376 140736367035088 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=8708/tid=8711] ppid=8706 vsize=8543772 CPUtime=0.04 cores=1,3,5,7
/proc/8708/task/8711/stat : 8711 (java) T 8706 8708 8708 0 -1 4202560 2872 0 0 0 4 0 0 0 15 0 19 0 850183018 8748822528 86743 33554432000 1073741824 1073778376 140736367035088 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=8708/tid=8712] ppid=8706 vsize=8543772 CPUtime=0.07 cores=1,3,5,7
/proc/8708/task/8712/stat : 8712 (java) T 8706 8708 8708 0 -1 4202560 4078 0 0 0 7 0 0 0 15 0 19 0 850183018 8748822528 86743 33554432000 1073741824 1073778376 140736367035088 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=8708/tid=8713] ppid=8706 vsize=8543772 CPUtime=0.05 cores=1,3,5,7
/proc/8708/task/8713/stat : 8713 (java) T 8706 8708 8708 0 -1 4202560 3434 0 0 0 5 0 0 0 15 0 19 0 850183018 8748822528 86743 33554432000 1073741824 1073778376 140736367035088 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=8708/tid=8714] ppid=8706 vsize=8543772 CPUtime=0.06 cores=1,3,5,7
/proc/8708/task/8714/stat : 8714 (java) T 8706 8708 8708 0 -1 4202560 3827 0 0 0 6 0 0 0 15 0 19 0 850183018 8748822528 86743 33554432000 1073741824 1073778376 140736367035088 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=8708/tid=8715] ppid=8706 vsize=8543772 CPUtime=0.05 cores=1,3,5,7
/proc/8708/task/8715/stat : 8715 (java) T 8706 8708 8708 0 -1 4202560 4095 0 0 0 5 0 0 0 15 0 19 0 850183018 8748822528 86743 33554432000 1073741824 1073778376 140736367035088 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=8708/tid=8716] ppid=8706 vsize=8543772 CPUtime=0.06 cores=1,3,5,7
/proc/8708/task/8716/stat : 8716 (java) T 8706 8708 8708 0 -1 4202560 3347 0 0 0 6 0 0 0 15 0 19 0 850183018 8748822528 86743 33554432000 1073741824 1073778376 140736367035088 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=8708/tid=8717] ppid=8706 vsize=8543772 CPUtime=0.06 cores=1,3,5,7
/proc/8708/task/8717/stat : 8717 (java) T 8706 8708 8708 0 -1 4202560 4498 0 0 0 6 0 0 0 15 0 19 0 850183018 8748822528 86743 33554432000 1073741824 1073778376 140736367035088 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=8708/tid=8718] ppid=8706 vsize=8543772 CPUtime=0 cores=1,3,5,7
/proc/8708/task/8718/stat : 8718 (java) T 8706 8708 8708 0 -1 4202560 185 0 0 0 0 0 0 0 15 0 19 0 850183019 8748822528 86743 33554432000 1073741824 1073778376 140736367035088 18446744073709551615 233522114048 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=8708/tid=8719] ppid=8706 vsize=8543772 CPUtime=0 cores=1,3,5,7
/proc/8708/task/8719/stat : 8719 (java) T 8706 8708 8708 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 850183019 8748822528 86743 33554432000 1073741824 1073778376 140736367035088 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=8708/tid=8720] ppid=8706 vsize=8543772 CPUtime=0 cores=1,3,5,7
/proc/8708/task/8720/stat : 8720 (java) T 8706 8708 8708 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 850183019 8748822528 86743 33554432000 1073741824 1073778376 140736367035088 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=8708/tid=8721] ppid=8706 vsize=8543772 CPUtime=0 cores=1,3,5,7
/proc/8708/task/8721/stat : 8721 (java) T 8706 8708 8708 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850183021 8748822528 86743 33554432000 1073741824 1073778376 140736367035088 18446744073709551615 233522121137 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=8708/tid=8722] ppid=8706 vsize=8543772 CPUtime=0.52 cores=1,3,5,7
/proc/8708/task/8722/stat : 8722 (java) T 8706 8708 8708 0 -1 4202560 8310 0 0 0 52 0 0 0 18 0 19 0 850183021 8748822528 86743 33554432000 1073741824 1073778376 140736367035088 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=8708/tid=8723] ppid=8706 vsize=8543772 CPUtime=0.51 cores=1,3,5,7
/proc/8708/task/8723/stat : 8723 (java) T 8706 8708 8708 0 -1 4202560 4604 0 0 0 51 0 0 0 15 0 19 0 850183021 8748822528 86743 33554432000 1073741824 1073778376 140736367035088 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=8708/tid=8724] ppid=8706 vsize=8543772 CPUtime=0 cores=1,3,5,7
/proc/8708/task/8724/stat : 8724 (java) T 8706 8708 8708 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850183021 8748822528 86743 33554432000 1073741824 1073778376 140736367035088 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=8708/tid=8725] ppid=8706 vsize=8543772 CPUtime=0 cores=1,3,5,7
/proc/8708/task/8725/stat : 8725 (java) T 8706 8708 8708 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850183021 8748822528 86743 33554432000 1073741824 1073778376 140736367035088 18446744073709551615 233522114048 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=8708/tid=8726] ppid=8706 vsize=8543772 CPUtime=0 cores=1,3,5,7
/proc/8708/task/8726/stat : 8726 (java) T 8706 8708 8708 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850183029 8748822528 86743 33554432000 1073741824 1073778376 140736367035088 18446744073709551615 233522114048 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=8706/tid=8797] ppid=8517 vsize=324588 CPUtime=0 cores=1,3,5,7
/proc/8706/task/8797/stat : 8797 (python) S 8517 8517 7805 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 850187851 332378112 5850 33554432000 4194304 5683644 140736811184736 18446744073709551615 233522121137 0 0 16781312 33554946 18446604468309046528 0 0 -1 7 0 0 0
[pid=8798] ppid=8517 vsize=335004 CPUtime=0.62 cores=1,3,5,7
/proc/8798/stat : 8798 (python) S 8517 8517 7805 0 -1 4202560 1172 0 0 0 31 31 0 0 19 0 2 0 850187854 343044096 5875 33554432000 4194304 5683644 140736811184736 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/8798/statm: 83751 5875 397 364 0 18623 0
[pid=8800] ppid=8798 vsize=20928 CPUtime=138.51 cores=1,3,5,7
/proc/8800/stat : 8800 (bsolo_pb10) T 8798 8800 8800 0 -1 4202496 1119 0 0 0 13830 21 0 0 25 0 1 0 850187854 21430272 847 33554432000 134512640 137138936 4289241168 18446744073709551615 134542233 0 0 16781312 16384 18446744071562691360 0 0 17 1 0 0 0
/proc/8800/statm: 5232 847 192 642 0 4588 0
[pid=8798/tid=8835] ppid=8517 vsize=335004 CPUtime=0 cores=1,3,5,7
/proc/8798/task/8835/stat : 8835 (python) S 8517 8517 7805 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 850201716 343044096 5875 33554432000 4194304 5683644 140736811184736 18446744073709551615 233522121137 0 0 16781312 33554946 18446604465870681280 0 0 -1 1 0 0 0
[pid=8842] ppid=8517 vsize=345432 CPUtime=0 cores=1,3,5,7
/proc/8842/stat : 8842 (python) S 8517 8517 7805 0 -1 4202560 820 0 0 0 0 0 0 0 15 0 1 0 850210918 353722368 5896 33554432000 4194304 5683644 140736811184736 18446744073709551615 233510317638 0 0 16781312 33554946 4294934790 0 0 17 1 0 0 0
/proc/8842/statm: 86358 5896 349 364 0 21227 0
[pid=8844] ppid=8842 vsize=8536980 CPUtime=1.23 cores=1,3,5,7
/proc/8844/stat : 8844 (java) S 8842 8844 8844 0 -1 4202496 17736 0 1 0 121 2 0 0 20 0 19 0 850210919 8741867520 16885 33554432000 1073741824 1073778376 140735132938640 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8844/statm: 2134245 16885 2229 9 0 2124986 0
[pid=8844/tid=8845] ppid=8842 vsize=8536980 CPUtime=0.86 cores=1,3,5,7
/proc/8844/task/8845/stat : 8845 (java) R 8842 8844 8844 0 -1 4202560 13097 0 1 0 84 2 0 0 20 0 19 0 850210920 8741867520 16885 33554432000 1073741824 1073778376 140735132938640 18446744073709551615 46912505560157 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8844/tid=8846] ppid=8842 vsize=8536980 CPUtime=0 cores=1,3,5,7
/proc/8844/task/8846/stat : 8846 (java) S 8842 8844 8844 0 -1 4202560 157 0 0 0 0 0 0 0 16 0 19 0 850210920 8741867520 16885 33554432000 1073741824 1073778376 140735132938640 18446744073709551615 233522113433 0 4 0 16800975 18446604461632154624 0 0 -1 5 0 0 0
[pid=8844/tid=8847] ppid=8842 vsize=8536980 CPUtime=0 cores=1,3,5,7
/proc/8844/task/8847/stat : 8847 (java) S 8842 8844 8844 0 -1 4202560 160 0 0 0 0 0 0 0 16 0 19 0 850210920 8741867520 16885 33554432000 1073741824 1073778376 140735132938640 18446744073709551615 233522113433 0 4 0 16800975 18446604461632154624 0 0 -1 7 0 0 0
[pid=8844/tid=8848] ppid=8842 vsize=8536980 CPUtime=0 cores=1,3,5,7
/proc/8844/task/8848/stat : 8848 (java) S 8842 8844 8844 0 -1 4202560 28 0 0 0 0 0 0 0 17 0 19 0 850210920 8741867520 16885 33554432000 1073741824 1073778376 140735132938640 18446744073709551615 233522113433 0 4 0 16800975 18446604461632154624 0 0 -1 1 0 0 0
[pid=8844/tid=8849] ppid=8842 vsize=8536980 CPUtime=0 cores=1,3,5,7
/proc/8844/task/8849/stat : 8849 (java) S 8842 8844 8844 0 -1 4202560 69 0 0 0 0 0 0 0 18 0 19 0 850210920 8741867520 16885 33554432000 1073741824 1073778376 140735132938640 18446744073709551615 233522113433 0 4 0 16800975 18446604461632154624 0 0 -1 5 0 0 0
[pid=8844/tid=8850] ppid=8842 vsize=8536980 CPUtime=0 cores=1,3,5,7
/proc/8844/task/8850/stat : 8850 (java) S 8842 8844 8844 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850210920 8741867520 16885 33554432000 1073741824 1073778376 140735132938640 18446744073709551615 233522113433 0 4 0 16800975 18446604461632154624 0 0 -1 7 0 0 0
[pid=8844/tid=8851] ppid=8842 vsize=8536980 CPUtime=0 cores=1,3,5,7
/proc/8844/task/8851/stat : 8851 (java) S 8842 8844 8844 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850210920 8741867520 16885 33554432000 1073741824 1073778376 140735132938640 18446744073709551615 233522113433 0 4 0 16800975 18446604461632154624 0 0 -1 7 0 0 0
[pid=8844/tid=8852] ppid=8842 vsize=8536980 CPUtime=0 cores=1,3,5,7
/proc/8844/task/8852/stat : 8852 (java) S 8842 8844 8844 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850210920 8741867520 16885 33554432000 1073741824 1073778376 140735132938640 18446744073709551615 233522113433 0 4 0 16800975 18446604461632154624 0 0 -1 5 0 0 0
[pid=8844/tid=8853] ppid=8842 vsize=8536980 CPUtime=0 cores=1,3,5,7
/proc/8844/task/8853/stat : 8853 (java) S 8842 8844 8844 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850210920 8741867520 16885 33554432000 1073741824 1073778376 140735132938640 18446744073709551615 233522113433 0 4 0 16800975 18446604461632154624 0 0 -1 5 0 0 0
[pid=8844/tid=8854] ppid=8842 vsize=8536980 CPUtime=0.01 cores=1,3,5,7
/proc/8844/task/8854/stat : 8854 (java) S 8842 8844 8844 0 -1 4202560 342 0 0 0 1 0 0 0 18 0 19 0 850210921 8741867520 16885 33554432000 1073741824 1073778376 140735132938640 18446744073709551615 233522114048 0 0 0 16800975 18446604461632154624 0 0 -1 1 0 0 0
[pid=8844/tid=8855] ppid=8842 vsize=8536980 CPUtime=0 cores=1,3,5,7
/proc/8844/task/8855/stat : 8855 (java) S 8842 8844 8844 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 850210922 8741867520 16885 33554432000 1073741824 1073778376 140735132938640 18446744073709551615 233522113433 0 4 0 16800975 18446604461632154624 0 0 -1 7 0 0 0
[pid=8844/tid=8856] ppid=8842 vsize=8536980 CPUtime=0 cores=1,3,5,7
/proc/8844/task/8856/stat : 8856 (java) S 8842 8844 8844 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 850210922 8741867520 16885 33554432000 1073741824 1073778376 140735132938640 18446744073709551615 233522113433 0 4 0 16800975 18446604461632154624 0 0 -1 7 0 0 0
[pid=8844/tid=8857] ppid=8842 vsize=8536980 CPUtime=0 cores=1,3,5,7
/proc/8844/task/8857/stat : 8857 (java) S 8842 8844 8844 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850210924 8741867520 16885 33554432000 1073741824 1073778376 140735132938640 18446744073709551615 233522121137 0 4 0 16800975 18446604461632154624 0 0 -1 5 0 0 0
[pid=8844/tid=8858] ppid=8842 vsize=8536980 CPUtime=0.2 cores=1,3,5,7
/proc/8844/task/8858/stat : 8858 (java) S 8842 8844 8844 0 -1 4202560 1337 0 0 0 20 0 0 0 22 0 19 0 850210924 8741867520 16885 33554432000 1073741824 1073778376 140735132938640 18446744073709551615 233522113433 0 4 0 16800975 18446604461632154624 0 0 -1 7 0 0 0
[pid=8844/tid=8859] ppid=8842 vsize=8536980 CPUtime=0.15 cores=1,3,5,7
/proc/8844/task/8859/stat : 8859 (java) S 8842 8844 8844 0 -1 4202560 1146 0 0 0 15 0 0 0 16 0 19 0 850210924 8741867520 16885 33554432000 1073741824 1073778376 140735132938640 18446744073709551615 233522113433 0 4 0 16800975 18446604461632154624 0 0 -1 1 0 0 0
[pid=8844/tid=8860] ppid=8842 vsize=8536980 CPUtime=0 cores=1,3,5,7
/proc/8844/task/8860/stat : 8860 (java) S 8842 8844 8844 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850210924 8741867520 16885 33554432000 1073741824 1073778376 140735132938640 18446744073709551615 233522113433 0 4 0 16800975 18446604461632154624 0 0 -1 5 0 0 0
[pid=8844/tid=8861] ppid=8842 vsize=8536980 CPUtime=0 cores=1,3,5,7
/proc/8844/task/8861/stat : 8861 (java) S 8842 8844 8844 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850210924 8741867520 16885 33554432000 1073741824 1073778376 140735132938640 18446744073709551615 233522114048 0 4 0 16800975 18446604461632154624 0 0 -1 7 0 0 0
[pid=8844/tid=8862] ppid=8842 vsize=8536980 CPUtime=0 cores=1,3,5,7
/proc/8844/task/8862/stat : 8862 (java) S 8842 8844 8844 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850210932 8741867520 16885 33554432000 1073741824 1073778376 140735132938640 18446744073709551615 233522114048 0 4 0 16800975 18446604461632154624 0 0 -1 1 0 0 0
[pid=8517/tid=8524] ppid=8515 vsize=355676 CPUtime=0 cores=1,3,5,7
/proc/8517/task/8524/stat : 8524 (python) S 8515 8517 7805 0 -1 4202560 30 933 0 0 0 0 0 0 15 0 8 0 850162127 364212224 7434 33554432000 4194304 5683644 140736811184736 18446744073709551615 233522121137 0 0 16781312 33554434 18446604469204108544 0 0 -1 7 0 0 0
[pid=8517/tid=8530] ppid=8515 vsize=355676 CPUtime=0 cores=1,3,5,7
/proc/8517/task/8530/stat : 8530 (python) S 8515 8517 7805 0 -1 4202560 31 933 0 0 0 0 0 0 19 0 8 0 850166851 364212224 7434 33554432000 4194304 5683644 140736811184736 18446744073709551615 233522121137 0 0 16781312 33554434 18446604469204108544 0 0 -1 1 0 0 0
[pid=8517/tid=8611] ppid=8515 vsize=355676 CPUtime=0 cores=1,3,5,7
/proc/8517/task/8611/stat : 8611 (python) S 8515 8517 7805 0 -1 4202560 31 933 0 0 0 0 0 0 18 0 8 0 850172406 364212224 7434 33554432000 4194304 5683644 140736811184736 18446744073709551615 233522121137 0 0 16781312 33554434 18446604469204108544 0 0 -1 7 0 0 0
[pid=8517/tid=8621] ppid=8515 vsize=355676 CPUtime=0 cores=1,3,5,7
/proc/8517/task/8621/stat : 8621 (python) S 8515 8517 7805 0 -1 4202560 35 933 0 0 0 0 0 0 20 0 8 0 850177465 364212224 7434 33554432000 4194304 5683644 140736811184736 18446744073709551615 233522121137 0 0 16781312 33554434 18446604469204108544 0 0 -1 3 0 0 0
[pid=8517/tid=8707] ppid=8515 vsize=355676 CPUtime=0 cores=1,3,5,7
/proc/8517/task/8707/stat : 8707 (python) S 8515 8517 7805 0 -1 4202560 30 933 0 0 0 0 0 0 20 0 8 0 850183016 364212224 7434 33554432000 4194304 5683644 140736811184736 18446744073709551615 233522121137 0 0 16781312 33554434 18446604469204108544 0 0 -1 5 0 0 0
[pid=8517/tid=8799] ppid=8515 vsize=355676 CPUtime=0 cores=1,3,5,7
/proc/8517/task/8799/stat : 8799 (python) S 8515 8517 7805 0 -1 4202560 29 933 0 0 0 0 0 0 20 0 8 0 850187854 364212224 7434 33554432000 4194304 5683644 140736811184736 18446744073709551615 233522121137 0 0 16781312 33554434 18446604469204108544 0 0 -1 7 0 0 0
[pid=8517/tid=8843] ppid=8515 vsize=355676 CPUtime=0 cores=1,3,5,7
/proc/8517/task/8843/stat : 8843 (python) S 8515 8517 7805 0 -1 4202560 33 933 0 0 0 0 0 0 20 0 8 0 850210918 364212224 7434 33554432000 4194304 5683644 140736811184736 18446744073709551615 233522121137 0 0 16781312 33554434 18446604469204108544 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 493.52
Current children cumulated vsize (KiB) 19953396
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 8517 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=522920
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=143978
# CPU time returned by wait4() is 0.666898
# while last known CPU time is 493.52
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 489.599
CPU time (s): 493.52
CPU user time (s): 474.26
CPU system time (s): 19.26
CPU usage (%): 100.801
Max. virtual memory (cumulated for all children) (KiB): 19953396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.52292
system time used= 0.143978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15856
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= 24
runsolver used 3.62645 second user time and 7.8918 second system time
The end