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-3482444-1307576482/watcher-3482444-1307576482 -o /tmp/evaluation-result-3482444-1307576482/solver-3482444-1307576482 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482444-1307576482.opb -seed 2120662226 -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: 0.83 0.20 0.07 2/432 16369
/proc/meminfo: memFree=29544688/32951124 swapFree=43324008/67111528
[pid=16369] ppid=16367 vsize=16240 CPUtime=0 cores=1,3,5,7
/proc/16369/stat : 16369 (python) R 16367 16369 16182 0 -1 4202496 1050 0 0 0 0 0 0 0 25 0 1 0 869248662 16629760 922 33554432000 4194304 5683644 140734074488624 18446744073709551615 4870096 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/16369/statm: 4060 922 381 364 0 547 0
[startup+0.06275 s]
/proc/loadavg: 0.83 0.20 0.07 2/432 16369
/proc/meminfo: memFree=29544688/32951124 swapFree=43324008/67111528
[pid=16369] ppid=16367 vsize=43620 CPUtime=0.04 cores=1,3,5,7
/proc/16369/stat : 16369 (python) S 16367 16369 16182 0 -1 4202496 1879 0 0 0 2 2 0 0 17 0 1 0 869248662 44666880 1654 33554432000 4194304 5683644 140734074488624 18446744073709551615 244446943232 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/16369/statm: 10905 1654 467 364 0 1170 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 43620
[startup+0.106253 s]
/proc/loadavg: 0.83 0.20 0.07 2/432 16369
/proc/meminfo: memFree=29544688/32951124 swapFree=43324008/67111528
[pid=16369] ppid=16367 vsize=96124 CPUtime=0.07 cores=1,3,5,7
/proc/16369/stat : 16369 (python) R 16367 16369 16182 0 -1 4202496 3167 930 1 0 5 2 0 0 18 0 1 0 869248662 98430976 2483 33554432000 4194304 5683644 140734074488624 18446744073709551615 5170248 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/16369/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.301136 s]
/proc/loadavg: 0.83 0.20 0.07 2/432 16369
/proc/meminfo: memFree=29544688/32951124 swapFree=43324008/67111528
[pid=16369] ppid=16367 vsize=200776 CPUtime=0.22 cores=1,3,5,7
/proc/16369/stat : 16369 (python) S 16367 16369 16182 0 -1 4202496 6648 930 1 0 16 6 0 0 17 0 1 0 869248662 205594624 4936 33554432000 4194304 5683644 140734074488624 18446744073709551615 244446943232 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/16369/statm: 50194 4936 1465 364 0 3676 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 200776
[startup+0.701083 s]
/proc/loadavg: 0.83 0.20 0.07 2/432 16369
/proc/meminfo: memFree=29544688/32951124 swapFree=43324008/67111528
[pid=16369] ppid=16367 vsize=293476 CPUtime=0.44 cores=1,3,5,7
/proc/16369/stat : 16369 (python) S 16367 16369 16182 0 -1 4202496 9700 930 1 0 35 9 0 0 19 0 2 0 869248662 300519424 7205 33554432000 4194304 5683644 140734074488624 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/16369/statm: 73369 7205 1862 364 0 8256 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 293476
[startup+1.50093 s]
/proc/loadavg: 0.83 0.20 0.07 3/436 16377
/proc/meminfo: memFree=29519256/32951124 swapFree=43324008/67111528
[pid=16369] ppid=16367 vsize=293476 CPUtime=0.44 cores=1,3,5,7
/proc/16369/stat : 16369 (python) S 16367 16369 16182 0 -1 4202496 9700 930 1 0 35 9 0 0 19 0 2 0 869248662 300519424 7205 33554432000 4194304 5683644 140734074488624 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/16369/statm: 73369 7205 1862 364 0 8256 0
[pid=16375] ppid=16369 vsize=283232 CPUtime=0 cores=1,3,5,7
/proc/16375/stat : 16375 (python) S 16369 16369 16182 0 -1 4202560 699 0 0 0 0 0 0 0 18 0 1 0 869248717 290029568 5688 33554432000 4194304 5683644 140734074488624 18446744073709551615 244446965263 0 0 16781312 33554946 10691777069949354248 0 0 17 5 0 0 0
/proc/16375/statm: 70808 5688 349 364 0 5695 0
[pid=16377] ppid=16375 vsize=2388 CPUtime=0.94 cores=1,3,5,7
/proc/16377/stat : 16377 (clasp-1.3.7-x86) R 16375 16377 16377 0 -1 4202496 606 0 0 0 94 0 0 0 21 0 1 0 869248718 2445312 348 33554432000 134512640 136139019 4292347424 18446744073709551615 134621984 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/16377/statm: 597 348 184 398 0 197 0
[pid=16369/tid=16376] ppid=16367 vsize=293476 CPUtime=0 cores=1,3,5,7
/proc/16369/task/16376/stat : 16376 (python) S 16367 16369 16182 0 -1 4202560 27 930 0 0 0 0 0 0 19 0 2 0 869248718 300519424 7205 33554432000 4194304 5683644 140734074488624 18446744073709551615 244458768817 0 0 16781312 33554434 18446604466415254208 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 579096
[startup+3.11663 s]
/proc/loadavg: 1.09 0.27 0.09 3/436 16378
/proc/meminfo: memFree=29516164/32951124 swapFree=43324008/67111528
[pid=16369] ppid=16367 vsize=293476 CPUtime=0.44 cores=1,3,5,7
/proc/16369/stat : 16369 (python) S 16367 16369 16182 0 -1 4202496 9700 930 1 0 35 9 0 0 19 0 2 0 869248662 300519424 7205 33554432000 4194304 5683644 140734074488624 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/16369/statm: 73369 7205 1862 364 0 8256 0
[pid=16375] ppid=16369 vsize=283232 CPUtime=0 cores=1,3,5,7
/proc/16375/stat : 16375 (python) S 16369 16369 16182 0 -1 4202560 722 0 0 0 0 0 0 0 18 0 1 0 869248717 290029568 5691 33554432000 4194304 5683644 140734074488624 18446744073709551615 244446965263 0 0 16781312 33554946 10691783117263307016 0 0 17 5 0 0 0
/proc/16375/statm: 70808 5691 352 364 0 5695 0
[pid=16377] ppid=16375 vsize=2784 CPUtime=2.56 cores=1,3,5,7
/proc/16377/stat : 16377 (clasp-1.3.7-x86) R 16375 16377 16377 0 -1 4202496 689 0 0 0 255 1 0 0 25 0 1 0 869248718 2850816 431 33554432000 134512640 136139019 4292347424 18446744073709551615 135536650 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/16377/statm: 696 431 184 398 0 296 0
[pid=16369/tid=16376] ppid=16367 vsize=293476 CPUtime=0 cores=1,3,5,7
/proc/16369/task/16376/stat : 16376 (python) S 16367 16369 16182 0 -1 4202560 27 930 0 0 0 0 0 0 19 0 2 0 869248718 300519424 7205 33554432000 4194304 5683644 140734074488624 18446744073709551615 244458768817 0 0 16781312 33554434 18446604466415254208 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 579492
[startup+6.30104 s]
/proc/loadavg: 1.09 0.27 0.09 3/436 16378
/proc/meminfo: memFree=29518896/32951124 swapFree=43324008/67111528
[pid=16369] ppid=16367 vsize=293476 CPUtime=0.44 cores=1,3,5,7
/proc/16369/stat : 16369 (python) S 16367 16369 16182 0 -1 4202496 9700 930 1 0 35 9 0 0 19 0 2 0 869248662 300519424 7205 33554432000 4194304 5683644 140734074488624 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/16369/statm: 73369 7205 1862 364 0 8256 0
[pid=16375] ppid=16369 vsize=283232 CPUtime=0.01 cores=1,3,5,7
/proc/16375/stat : 16375 (python) S 16369 16369 16182 0 -1 4202560 881 0 0 0 1 0 0 0 18 0 1 0 869248717 290029568 5714 33554432000 4194304 5683644 140734074488624 18446744073709551615 244446965263 0 0 16781312 33554946 3588215966288281864 0 0 17 5 0 0 0
/proc/16375/statm: 70808 5714 375 364 0 5695 0
[pid=16377] ppid=16375 vsize=3048 CPUtime=5.75 cores=1,3,5,7
/proc/16377/stat : 16377 (clasp-1.3.7-x86) R 16375 16377 16377 0 -1 4202496 769 0 0 0 574 1 0 0 25 0 1 0 869248718 3121152 511 33554432000 134512640 136139019 4292347424 18446744073709551615 134882965 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/16377/statm: 762 511 184 398 0 362 0
[pid=16369/tid=16376] ppid=16367 vsize=293476 CPUtime=0 cores=1,3,5,7
/proc/16369/task/16376/stat : 16376 (python) S 16367 16369 16182 0 -1 4202560 27 930 0 0 0 0 0 0 19 0 2 0 869248718 300519424 7205 33554432000 4194304 5683644 140734074488624 18446744073709551615 244458768817 0 0 16781312 33554434 18446604466415254208 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 579756
[startup+12.7009 s]
/proc/loadavg: 1.23 0.32 0.11 3/436 16378
/proc/meminfo: memFree=29517908/32951124 swapFree=43324008/67111528
[pid=16369] ppid=16367 vsize=293476 CPUtime=0.44 cores=1,3,5,7
/proc/16369/stat : 16369 (python) S 16367 16369 16182 0 -1 4202496 9700 930 1 0 35 9 0 0 19 0 2 0 869248662 300519424 7205 33554432000 4194304 5683644 140734074488624 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/16369/statm: 73369 7205 1862 364 0 8256 0
[pid=16375] ppid=16369 vsize=283232 CPUtime=0.02 cores=1,3,5,7
/proc/16375/stat : 16375 (python) S 16369 16369 16182 0 -1 4202560 884 0 0 0 1 1 0 0 18 0 1 0 869248717 290029568 5715 33554432000 4194304 5683644 140734074488624 18446744073709551615 244446965263 0 0 16781312 33554946 5623753486446373554 0 0 17 7 0 0 0
/proc/16375/statm: 70808 5715 376 364 0 5695 0
[pid=16377] ppid=16375 vsize=3584 CPUtime=12.14 cores=1,3,5,7
/proc/16377/stat : 16377 (clasp-1.3.7-x86) R 16375 16377 16377 0 -1 4202496 896 0 0 0 1213 1 0 0 25 0 1 0 869248718 3670016 638 33554432000 134512640 136139019 4292347424 18446744073709551615 134599059 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/16377/statm: 896 638 184 398 0 496 0
[pid=16369/tid=16376] ppid=16367 vsize=293476 CPUtime=0 cores=1,3,5,7
/proc/16369/task/16376/stat : 16376 (python) S 16367 16369 16182 0 -1 4202560 27 930 0 0 0 0 0 0 19 0 2 0 869248718 300519424 7205 33554432000 4194304 5683644 140734074488624 18446744073709551615 244458768817 0 0 16781312 33554434 18446604466415254208 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 580292
Solver just ended. Dumping a history of the last processes samples
[startup+13.6007 s]
/proc/loadavg: 1.23 0.32 0.11 3/436 16378
/proc/meminfo: memFree=29517816/32951124 swapFree=43324008/67111528
[pid=16369] ppid=16367 vsize=293476 CPUtime=0.44 cores=1,3,5,7
/proc/16369/stat : 16369 (python) S 16367 16369 16182 0 -1 4202496 9700 930 1 0 35 9 0 0 19 0 2 0 869248662 300519424 7205 33554432000 4194304 5683644 140734074488624 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/16369/statm: 73369 7205 1862 364 0 8256 0
[pid=16375] ppid=16369 vsize=283232 CPUtime=0.04 cores=1,3,5,7
/proc/16375/stat : 16375 (python) R 16369 16369 16182 0 -1 4202560 888 0 0 0 2 2 0 0 18 0 1 0 869248717 290029568 5715 33554432000 4194304 5683644 140734074488624 18446744073709551615 244446943232 0 0 16781312 33554946 0 0 0 17 7 0 0 0
/proc/16375/statm: 70808 5715 376 364 0 5695 0
[pid=16377] ppid=16375 vsize=3584 CPUtime=13.04 cores=1,3,5,7
/proc/16377/stat : 16377 (clasp-1.3.7-x86) R 16375 16377 16377 0 -1 4202496 914 0 0 0 1303 1 0 0 25 0 1 0 869248718 3670016 656 33554432000 134512640 136139019 4292347424 18446744073709551615 134871250 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/16377/statm: 896 656 184 398 0 496 0
[pid=16369/tid=16376] ppid=16367 vsize=293476 CPUtime=0 cores=1,3,5,7
/proc/16369/task/16376/stat : 16376 (python) S 16367 16369 16182 0 -1 4202560 27 930 0 0 0 0 0 0 19 0 2 0 869248718 300519424 7205 33554432000 4194304 5683644 140734074488624 18446744073709551615 244458768817 0 0 16781312 33554434 18446604466415254208 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 13.52
Current children cumulated vsize (KiB) 580292
[startup+16.8011 s]
/proc/loadavg: 1.23 0.32 0.11 3/436 16378
/proc/meminfo: memFree=29518052/32951124 swapFree=43324008/67111528
[pid=16369] ppid=16367 vsize=293476 CPUtime=0.44 cores=1,3,5,7
/proc/16369/stat : 16369 (python) S 16367 16369 16182 0 -1 4202496 9700 930 1 0 35 9 0 0 19 0 2 0 869248662 300519424 7205 33554432000 4194304 5683644 140734074488624 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/16369/statm: 73369 7205 1862 364 0 8256 0
[pid=16375] ppid=16369 vsize=283232 CPUtime=0.04 cores=1,3,5,7
/proc/16375/stat : 16375 (python) S 16369 16369 16182 0 -1 4202560 888 0 0 0 2 2 0 0 18 0 1 0 869248717 290029568 5715 33554432000 4194304 5683644 140734074488624 18446744073709551615 244446965263 0 0 16781312 33554946 5623753486446373554 0 0 17 7 0 0 0
/proc/16375/statm: 70808 5715 376 364 0 5695 0
[pid=16377] ppid=16375 vsize=3856 CPUtime=16.24 cores=1,3,5,7
/proc/16377/stat : 16377 (clasp-1.3.7-x86) R 16375 16377 16377 0 -1 4202496 957 0 0 0 1623 1 0 0 25 0 1 0 869248718 3948544 699 33554432000 134512640 136139019 4292347424 18446744073709551615 134883401 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/16377/statm: 964 699 184 398 0 564 0
[pid=16369/tid=16376] ppid=16367 vsize=293476 CPUtime=0 cores=1,3,5,7
/proc/16369/task/16376/stat : 16376 (python) S 16367 16369 16182 0 -1 4202560 27 930 0 0 0 0 0 0 19 0 2 0 869248718 300519424 7205 33554432000 4194304 5683644 140734074488624 18446744073709551615 244458768817 0 0 16781312 33554434 18446604466415254208 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 16.72
Current children cumulated vsize (KiB) 580564
[startup+20.0005 s]
/proc/loadavg: 1.29 0.35 0.12 3/436 16378
/proc/meminfo: memFree=29518416/32951124 swapFree=43324008/67111528
[pid=16369] ppid=16367 vsize=293476 CPUtime=0.44 cores=1,3,5,7
/proc/16369/stat : 16369 (python) S 16367 16369 16182 0 -1 4202496 9700 930 1 0 35 9 0 0 19 0 2 0 869248662 300519424 7205 33554432000 4194304 5683644 140734074488624 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/16369/statm: 73369 7205 1862 364 0 8256 0
[pid=16375] ppid=16369 vsize=283232 CPUtime=0.06 cores=1,3,5,7
/proc/16375/stat : 16375 (python) S 16369 16369 16182 0 -1 4202560 892 0 0 0 3 3 0 0 18 0 1 0 869248717 290029568 5715 33554432000 4194304 5683644 140734074488624 18446744073709551615 244446965263 0 0 16781312 33554946 5623753486446373554 0 0 17 7 0 0 0
/proc/16375/statm: 70808 5715 376 364 0 5695 0
[pid=16377] ppid=16375 vsize=3996 CPUtime=19.44 cores=1,3,5,7
/proc/16377/stat : 16377 (clasp-1.3.7-x86) R 16375 16377 16377 0 -1 4202496 1018 0 0 0 1943 1 0 0 25 0 1 0 869248718 4091904 760 33554432000 134512640 136139019 4292347424 18446744073709551615 134883821 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/16377/statm: 999 760 184 398 0 599 0
[pid=16369/tid=16376] ppid=16367 vsize=293476 CPUtime=0 cores=1,3,5,7
/proc/16369/task/16376/stat : 16376 (python) S 16367 16369 16182 0 -1 4202560 27 930 0 0 0 0 0 0 19 0 2 0 869248718 300519424 7205 33554432000 4194304 5683644 140734074488624 18446744073709551615 244458768817 0 0 16781312 33554434 18446604466415254208 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 19.94
Current children cumulated vsize (KiB) 580704
[startup+21.6002 s]
/proc/loadavg: 1.29 0.35 0.12 3/436 16378
/proc/meminfo: memFree=29518292/32951124 swapFree=43324008/67111528
[pid=16369] ppid=16367 vsize=293476 CPUtime=0.44 cores=1,3,5,7
/proc/16369/stat : 16369 (python) S 16367 16369 16182 0 -1 4202496 9700 930 1 0 35 9 0 0 19 0 2 0 869248662 300519424 7205 33554432000 4194304 5683644 140734074488624 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/16369/statm: 73369 7205 1862 364 0 8256 0
[pid=16375] ppid=16369 vsize=283232 CPUtime=0.06 cores=1,3,5,7
/proc/16375/stat : 16375 (python) S 16369 16369 16182 0 -1 4202560 892 0 0 0 3 3 0 0 18 0 1 0 869248717 290029568 5715 33554432000 4194304 5683644 140734074488624 18446744073709551615 244446965263 0 0 16781312 33554946 5623753486446373554 0 0 17 7 0 0 0
/proc/16375/statm: 70808 5715 376 364 0 5695 0
[pid=16377] ppid=16375 vsize=4128 CPUtime=21.04 cores=1,3,5,7
/proc/16377/stat : 16377 (clasp-1.3.7-x86) R 16375 16377 16377 0 -1 4202496 1044 0 0 0 2103 1 0 0 25 0 1 0 869248718 4227072 786 33554432000 134512640 136139019 4292347424 18446744073709551615 134883434 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/16377/statm: 1032 786 184 398 0 632 0
[pid=16369/tid=16376] ppid=16367 vsize=293476 CPUtime=0 cores=1,3,5,7
/proc/16369/task/16376/stat : 16376 (python) S 16367 16369 16182 0 -1 4202560 27 930 0 0 0 0 0 0 19 0 2 0 869248718 300519424 7205 33554432000 4194304 5683644 140734074488624 18446744073709551615 244458768817 0 0 16781312 33554434 18446604466415254208 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 21.54
Current children cumulated vsize (KiB) 580836
[startup+22.4011 s]
/proc/loadavg: 1.29 0.35 0.12 3/436 16378
/proc/meminfo: memFree=29518168/32951124 swapFree=43324008/67111528
[pid=16369] ppid=16367 vsize=293476 CPUtime=0.44 cores=1,3,5,7
/proc/16369/stat : 16369 (python) S 16367 16369 16182 0 -1 4202496 9700 930 1 0 35 9 0 0 19 0 2 0 869248662 300519424 7205 33554432000 4194304 5683644 140734074488624 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/16369/statm: 73369 7205 1862 364 0 8256 0
[pid=16375] ppid=16369 vsize=283232 CPUtime=0.06 cores=1,3,5,7
/proc/16375/stat : 16375 (python) S 16369 16369 16182 0 -1 4202560 892 0 0 0 3 3 0 0 18 0 1 0 869248717 290029568 5715 33554432000 4194304 5683644 140734074488624 18446744073709551615 244446965263 0 0 16781312 33554946 5623753486446373554 0 0 17 7 0 0 0
/proc/16375/statm: 70808 5715 376 364 0 5695 0
[pid=16377] ppid=16375 vsize=4128 CPUtime=21.84 cores=1,3,5,7
/proc/16377/stat : 16377 (clasp-1.3.7-x86) R 16375 16377 16377 0 -1 4202496 1044 0 0 0 2183 1 0 0 25 0 1 0 869248718 4227072 786 33554432000 134512640 136139019 4292347424 18446744073709551615 134883451 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/16377/statm: 1032 786 184 398 0 632 0
[pid=16369/tid=16376] ppid=16367 vsize=293476 CPUtime=0 cores=1,3,5,7
/proc/16369/task/16376/stat : 16376 (python) S 16367 16369 16182 0 -1 4202560 27 930 0 0 0 0 0 0 19 0 2 0 869248718 300519424 7205 33554432000 4194304 5683644 140734074488624 18446744073709551615 244458768817 0 0 16781312 33554434 18446604466415254208 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 22.34
Current children cumulated vsize (KiB) 580836
[startup+22.801 s]
/proc/loadavg: 1.34 0.38 0.13 3/436 16378
/proc/meminfo: memFree=29518044/32951124 swapFree=43324008/67111528
[pid=16369] ppid=16367 vsize=293476 CPUtime=0.44 cores=1,3,5,7
/proc/16369/stat : 16369 (python) S 16367 16369 16182 0 -1 4202496 9700 930 1 0 35 9 0 0 19 0 2 0 869248662 300519424 7205 33554432000 4194304 5683644 140734074488624 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/16369/statm: 73369 7205 1862 364 0 8256 0
[pid=16375] ppid=16369 vsize=283232 CPUtime=0.06 cores=1,3,5,7
/proc/16375/stat : 16375 (python) S 16369 16369 16182 0 -1 4202560 892 0 0 0 3 3 0 0 18 0 1 0 869248717 290029568 5715 33554432000 4194304 5683644 140734074488624 18446744073709551615 244446965263 0 0 16781312 33554946 5623753486446373554 0 0 17 7 0 0 0
/proc/16375/statm: 70808 5715 376 364 0 5695 0
[pid=16377] ppid=16375 vsize=4128 CPUtime=22.25 cores=1,3,5,7
/proc/16377/stat : 16377 (clasp-1.3.7-x86) R 16375 16377 16377 0 -1 4202496 1044 0 0 0 2224 1 0 0 25 0 1 0 869248718 4227072 786 33554432000 134512640 136139019 4292347424 18446744073709551615 134612194 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/16377/statm: 1032 786 184 398 0 632 0
[pid=16369/tid=16376] ppid=16367 vsize=293476 CPUtime=0 cores=1,3,5,7
/proc/16369/task/16376/stat : 16376 (python) S 16367 16369 16182 0 -1 4202560 27 930 0 0 0 0 0 0 19 0 2 0 869248718 300519424 7205 33554432000 4194304 5683644 140734074488624 18446744073709551615 244458768817 0 0 16781312 33554434 18446604466415254208 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 22.75
Current children cumulated vsize (KiB) 580836
Child status: 0
Real time (s): 22.8604
CPU time (s): 22.8335
CPU user time (s): 22.6686
CPU system time (s): 0.164974
CPU usage (%): 99.8824
Max. virtual memory (cumulated for all children) (KiB): 580836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.6686
system time used= 0.164974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17299
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= 1029
involuntary context switches= 58
runsolver used 0.100984 second user time and 0.213967 second system time
The end