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-3482132-1307577317/watcher-3482132-1307577317 -o /tmp/evaluation-result-3482132-1307577317/solver-3482132-1307577317 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482132-1307577317.opb -seed 58639514 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.50 2.13 1.35 2/540 2408
/proc/meminfo: memFree=21470036/32951124 swapFree=43359760/67111528
[pid=2408] ppid=2406 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/2408/stat : 2408 (python) R 2406 2408 1406 0 -1 4202496 809 0 0 0 0 0 0 0 25 0 1 0 869329973 15749120 694 33554432000 4194304 5683644 140734383420016 18446744073709551615 4433760 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/2408/statm: 3845 694 334 364 0 332 0
[startup+0.039806 s]
/proc/loadavg: 2.50 2.13 1.35 2/540 2408
/proc/meminfo: memFree=21470036/32951124 swapFree=43359760/67111528
[pid=2408] ppid=2406 vsize=18884 CPUtime=0.03 cores=0,2,4,6
/proc/2408/stat : 2408 (python) R 2406 2408 1406 0 -1 4202496 1288 0 0 0 3 0 0 0 25 0 1 0 869329973 19337216 1140 33554432000 4194304 5683644 140734383420016 18446744073709551615 4876479 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/2408/statm: 4721 1140 421 364 0 690 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 18884
[startup+0.106855 s]
/proc/loadavg: 2.50 2.13 1.35 2/540 2408
/proc/meminfo: memFree=21470036/32951124 swapFree=43359760/67111528
[pid=2408] ppid=2406 vsize=96124 CPUtime=0.07 cores=0,2,4,6
/proc/2408/stat : 2408 (python) R 2406 2408 1406 0 -1 4202496 3169 928 1 0 6 1 0 0 18 0 1 0 869329973 98430976 2483 33554432000 4194304 5683644 140734383420016 18446744073709551615 5170248 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/2408/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.301918 s]
/proc/loadavg: 2.50 2.13 1.35 2/540 2408
/proc/meminfo: memFree=21470036/32951124 swapFree=43359760/67111528
[pid=2408] ppid=2406 vsize=203272 CPUtime=0.23 cores=0,2,4,6
/proc/2408/stat : 2408 (python) S 2406 2408 1406 0 -1 4202496 6713 928 1 0 17 6 0 0 17 0 1 0 869329973 208150528 4991 33554432000 4194304 5683644 140734383420016 18446744073709551615 246516832256 0 2147483391 16781312 2 18446744071699453118 0 0 17 6 0 0 0
/proc/2408/statm: 50818 4991 1472 364 0 3780 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 203272
[startup+0.700708 s]
/proc/loadavg: 2.50 2.13 1.35 2/540 2408
/proc/meminfo: memFree=21470036/32951124 swapFree=43359760/67111528
[pid=2408] ppid=2406 vsize=293068 CPUtime=0.4 cores=0,2,4,6
/proc/2408/stat : 2408 (python) S 2406 2408 1406 0 -1 4202496 9628 928 1 0 31 9 0 0 19 0 2 0 869329973 300101632 7137 33554432000 4194304 5683644 140734383420016 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/2408/statm: 73267 7137 1870 364 0 8154 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 293068
[startup+1.50054 s]
/proc/loadavg: 2.50 2.13 1.35 4/544 2418
/proc/meminfo: memFree=21428888/32951124 swapFree=43359760/67111528
[pid=2408] ppid=2406 vsize=293068 CPUtime=0.4 cores=0,2,4,6
/proc/2408/stat : 2408 (python) S 2406 2408 1406 0 -1 4202496 9628 928 1 0 31 9 0 0 19 0 2 0 869329973 300101632 7137 33554432000 4194304 5683644 140734383420016 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/2408/statm: 73267 7137 1870 364 0 8154 0
[pid=2415] ppid=2408 vsize=282824 CPUtime=0 cores=0,2,4,6
/proc/2415/stat : 2415 (python) S 2408 2408 1406 0 -1 4202560 862 0 0 0 0 0 0 0 15 0 1 0 869330023 289611776 5621 33554432000 4194304 5683644 140734383420016 18446744073709551615 246516854287 0 0 16781312 33554946 3527911451471642624 0 0 17 6 0 0 0
/proc/2415/statm: 70706 5621 358 364 0 5593 0
[pid=2418] ppid=2415 vsize=29580 CPUtime=0.98 cores=0,2,4,6
/proc/2418/stat : 2418 (scip-2.0.1.linu) R 2415 2418 2418 0 -1 4202496 5566 0 0 0 88 10 0 0 18 0 1 0 869330024 30289920 4952 33554432000 4194304 13684479 140734797642464 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/2418/statm: 7395 4952 808 2317 0 5073 0
[pid=2408/tid=2417] ppid=2406 vsize=293068 CPUtime=0 cores=0,2,4,6
/proc/2408/task/2417/stat : 2417 (python) S 2406 2408 1406 0 -1 4202560 25 928 0 0 0 0 0 0 19 0 2 0 869330023 300101632 7137 33554432000 4194304 5683644 140734383420016 18446744073709551615 246528657841 0 0 16781312 33554434 18446604441801070720 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 605472
[startup+3.11624 s]
/proc/loadavg: 2.62 2.16 1.36 3/544 2418
/proc/meminfo: memFree=21424672/32951124 swapFree=43359760/67111528
[pid=2408] ppid=2406 vsize=293068 CPUtime=0.4 cores=0,2,4,6
/proc/2408/stat : 2408 (python) S 2406 2408 1406 0 -1 4202496 9628 928 1 0 31 9 0 0 19 0 2 0 869329973 300101632 7137 33554432000 4194304 5683644 140734383420016 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/2408/statm: 73267 7137 1870 364 0 8154 0
[pid=2415] ppid=2408 vsize=282824 CPUtime=0 cores=0,2,4,6
/proc/2415/stat : 2415 (python) S 2408 2408 1406 0 -1 4202560 880 0 0 0 0 0 0 0 15 0 1 0 869330023 289611776 5622 33554432000 4194304 5683644 140734383420016 18446744073709551615 246516854287 0 0 16781312 33554946 1864498225780621312 0 0 17 4 0 0 0
/proc/2415/statm: 70706 5622 359 364 0 5593 0
[pid=2418] ppid=2415 vsize=29580 CPUtime=2.6 cores=0,2,4,6
/proc/2418/stat : 2418 (scip-2.0.1.linu) R 2415 2418 2418 0 -1 4202496 5674 0 0 0 239 21 0 0 18 0 1 0 869330024 30289920 5060 33554432000 4194304 13684479 140734797642464 18446744073709551615 5563319 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/2418/statm: 7395 5060 808 2317 0 5073 0
[pid=2408/tid=2417] ppid=2406 vsize=293068 CPUtime=0 cores=0,2,4,6
/proc/2408/task/2417/stat : 2417 (python) S 2406 2408 1406 0 -1 4202560 25 928 0 0 0 0 0 0 19 0 2 0 869330023 300101632 7137 33554432000 4194304 5683644 140734383420016 18446744073709551615 246528657841 0 0 16781312 33554434 18446604441801070720 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 605472
[startup+6.30071 s]
/proc/loadavg: 2.62 2.16 1.36 3/544 2418
/proc/meminfo: memFree=21428284/32951124 swapFree=43359760/67111528
[pid=2408] ppid=2406 vsize=293068 CPUtime=0.4 cores=0,2,4,6
/proc/2408/stat : 2408 (python) S 2406 2408 1406 0 -1 4202496 9628 928 1 0 31 9 0 0 19 0 2 0 869329973 300101632 7137 33554432000 4194304 5683644 140734383420016 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/2408/statm: 73267 7137 1870 364 0 8154 0
[pid=2415] ppid=2408 vsize=282956 CPUtime=0.03 cores=0,2,4,6
/proc/2415/stat : 2415 (python) S 2408 2408 1406 0 -1 4202560 1012 0 0 0 2 1 0 0 15 0 1 0 869330023 289746944 5661 33554432000 4194304 5683644 140734383420016 18446744073709551615 246516854287 0 0 16781312 33554946 2669460021439365120 0 0 17 4 0 0 0
/proc/2415/statm: 70739 5661 384 364 0 5626 0
[pid=2418] ppid=2415 vsize=29580 CPUtime=5.78 cores=0,2,4,6
/proc/2418/stat : 2418 (scip-2.0.1.linu) R 2415 2418 2418 0 -1 4202496 5689 0 0 0 537 41 0 0 18 0 1 0 869330024 30289920 5075 33554432000 4194304 13684479 140734797642464 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/2418/statm: 7395 5075 808 2317 0 5073 0
[pid=2408/tid=2417] ppid=2406 vsize=293068 CPUtime=0 cores=0,2,4,6
/proc/2408/task/2417/stat : 2417 (python) S 2406 2408 1406 0 -1 4202560 25 928 0 0 0 0 0 0 19 0 2 0 869330023 300101632 7137 33554432000 4194304 5683644 140734383420016 18446744073709551615 246528657841 0 0 16781312 33554434 18446604441801070720 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 605604
[startup+12.7005 s]
/proc/loadavg: 2.57 2.16 1.37 3/544 2418
/proc/meminfo: memFree=21427676/32951124 swapFree=43359760/67111528
[pid=2408] ppid=2406 vsize=293068 CPUtime=0.4 cores=0,2,4,6
/proc/2408/stat : 2408 (python) S 2406 2408 1406 0 -1 4202496 9628 928 1 0 31 9 0 0 19 0 2 0 869329973 300101632 7137 33554432000 4194304 5683644 140734383420016 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/2408/statm: 73267 7137 1870 364 0 8154 0
[pid=2415] ppid=2408 vsize=282956 CPUtime=0.08 cores=0,2,4,6
/proc/2415/stat : 2415 (python) S 2408 2408 1406 0 -1 4202560 1028 0 0 0 5 3 0 0 15 0 1 0 869330023 289746944 5673 33554432000 4194304 5683644 140734383420016 18446744073709551615 246516854287 0 0 16781312 33554946 35946544100278272 0 0 17 6 0 0 0
/proc/2415/statm: 70739 5673 384 364 0 5626 0
[pid=2418] ppid=2415 vsize=30100 CPUtime=12.19 cores=0,2,4,6
/proc/2418/stat : 2418 (scip-2.0.1.linu) R 2415 2418 2418 0 -1 4202496 5785 0 0 0 1138 81 0 0 18 0 1 0 869330024 30822400 5171 33554432000 4194304 13684479 140734797642464 18446744073709551615 4512898 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/2418/statm: 7525 5171 808 2317 0 5203 0
[pid=2408/tid=2417] ppid=2406 vsize=293068 CPUtime=0 cores=0,2,4,6
/proc/2408/task/2417/stat : 2417 (python) S 2406 2408 1406 0 -1 4202560 25 928 0 0 0 0 0 0 19 0 2 0 869330023 300101632 7137 33554432000 4194304 5683644 140734383420016 18446744073709551615 246528657841 0 0 16781312 33554434 18446604441801070720 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 606124
[startup+25.5012 s]
/proc/loadavg: 2.51 2.16 1.38 3/544 2418
/proc/meminfo: memFree=21423852/32951124 swapFree=43359760/67111528
[pid=2408] ppid=2406 vsize=293068 CPUtime=0.4 cores=0,2,4,6
/proc/2408/stat : 2408 (python) S 2406 2408 1406 0 -1 4202496 9628 928 1 0 31 9 0 0 19 0 2 0 869329973 300101632 7137 33554432000 4194304 5683644 140734383420016 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/2408/statm: 73267 7137 1870 364 0 8154 0
[pid=2415] ppid=2408 vsize=283212 CPUtime=0.16 cores=0,2,4,6
/proc/2415/stat : 2415 (python) S 2408 2408 1406 0 -1 4202560 1087 0 0 0 10 6 0 0 15 0 1 0 869330023 290009088 5728 33554432000 4194304 5683644 140734383420016 18446744073709551615 246516854287 0 0 16781312 33554946 3500562302321557504 0 0 17 4 0 0 0
/proc/2415/statm: 70803 5728 384 364 0 5690 0
[pid=2418] ppid=2415 vsize=34256 CPUtime=24.99 cores=0,2,4,6
/proc/2418/stat : 2418 (scip-2.0.1.linu) R 2415 2418 2418 0 -1 4202496 6742 0 0 0 2353 146 0 0 18 0 1 0 869330024 35078144 6128 33554432000 4194304 13684479 140734797642464 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/2418/statm: 8564 6128 808 2317 0 6242 0
[pid=2408/tid=2417] ppid=2406 vsize=293068 CPUtime=0 cores=0,2,4,6
/proc/2408/task/2417/stat : 2417 (python) S 2406 2408 1406 0 -1 4202560 25 928 0 0 0 0 0 0 19 0 2 0 869330023 300101632 7137 33554432000 4194304 5683644 140734383420016 18446744073709551615 246528657841 0 0 16781312 33554434 18446604441801070720 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 610536
[startup+51.1005 s]
/proc/loadavg: 2.33 2.15 1.39 3/544 2419
/proc/meminfo: memFree=21422664/32951124 swapFree=43359760/67111528
[pid=2408] ppid=2406 vsize=293068 CPUtime=0.4 cores=0,2,4,6
/proc/2408/stat : 2408 (python) S 2406 2408 1406 0 -1 4202496 9628 928 1 0 31 9 0 0 19 0 2 0 869329973 300101632 7137 33554432000 4194304 5683644 140734383420016 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/2408/statm: 73267 7137 1870 364 0 8154 0
[pid=2415] ppid=2408 vsize=283572 CPUtime=0.31 cores=0,2,4,6
/proc/2415/stat : 2415 (python) S 2408 2408 1406 0 -1 4202560 1131 0 0 0 19 12 0 0 15 0 1 0 869330023 290377728 5761 33554432000 4194304 5683644 140734383420016 18446744073709551615 246516854287 0 0 16781312 33554946 1766858054181060608 0 0 17 2 0 0 0
/proc/2415/statm: 70893 5761 384 364 0 5780 0
[pid=2418] ppid=2415 vsize=35852 CPUtime=50.59 cores=0,2,4,6
/proc/2418/stat : 2418 (scip-2.0.1.linu) R 2415 2418 2418 0 -1 4202496 7115 0 0 0 4797 262 0 0 18 0 1 0 869330024 36712448 6501 33554432000 4194304 13684479 140734797642464 18446744073709551615 5563822 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/2418/statm: 8963 6501 808 2317 0 6641 0
[pid=2408/tid=2417] ppid=2406 vsize=293068 CPUtime=0 cores=0,2,4,6
/proc/2408/task/2417/stat : 2417 (python) S 2406 2408 1406 0 -1 4202560 25 928 0 0 0 0 0 0 19 0 2 0 869330023 300101632 7137 33554432000 4194304 5683644 140734383420016 18446744073709551615 246528657841 0 0 16781312 33554434 18446604441801070720 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 51.3
Current children cumulated vsize (KiB) 612492
Solver just ended. Dumping a history of the last processes samples
[startup+52.0004 s]
/proc/loadavg: 2.33 2.15 1.39 3/544 2419
/proc/meminfo: memFree=21422788/32951124 swapFree=43359760/67111528
[pid=2408] ppid=2406 vsize=303856 CPUtime=0.43 cores=0,2,4,6
/proc/2408/stat : 2408 (python) S 2406 2408 1406 0 -1 4202496 10497 928 1 0 34 9 0 0 20 0 3 0 869329973 311148544 7262 33554432000 4194304 5683644 140734383420016 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/2408/statm: 75964 7262 1873 364 0 10848 0
[pid=2415] ppid=2408 vsize=293816 CPUtime=0.33 cores=0,2,4,6
/proc/2415/stat : 2415 (python) S 2408 2408 1406 0 -1 4202560 1266 0 0 0 20 13 0 0 17 0 2 0 869330023 300867584 5797 33554432000 4194304 5683644 140734383420016 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/2415/statm: 73454 5797 414 364 0 8341 0
[pid=2418] ppid=2415 vsize=35996 CPUtime=51.38 cores=0,2,4,6
/proc/2418/stat : 2418 (scip-2.0.1.linu) T 2415 2418 2418 0 -1 4202496 7136 0 0 0 4873 265 0 0 18 0 1 0 869330024 36859904 6522 33554432000 4194304 13684479 140734797642464 18446744073709551615 4773363 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/2418/statm: 8999 6522 808 2317 0 6677 0
[pid=2408/tid=2417] ppid=2406 vsize=303856 CPUtime=0 cores=0,2,4,6
/proc/2408/task/2417/stat : 2417 (python) S 2406 2408 1406 0 -1 4202560 25 928 0 0 0 0 0 0 19 0 3 0 869330023 311148544 7262 33554432000 4194304 5683644 140734383420016 18446744073709551615 246528657841 0 0 16781312 33554434 18446604441801070720 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 52.14
Current children cumulated vsize (KiB) 633668
[startup+53.6011 s]
/proc/loadavg: 2.31 2.15 1.40 3/548 2423
/proc/meminfo: memFree=21418540/32951124 swapFree=43359760/67111528
[pid=2408] ppid=2406 vsize=303856 CPUtime=0.43 cores=0,2,4,6
/proc/2408/stat : 2408 (python) S 2406 2408 1406 0 -1 4202496 10497 928 1 0 34 9 0 0 20 0 3 0 869329973 311148544 7262 33554432000 4194304 5683644 140734383420016 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/2408/statm: 75964 7262 1873 364 0 10848 0
[pid=2415] ppid=2408 vsize=293816 CPUtime=0.33 cores=0,2,4,6
/proc/2415/stat : 2415 (python) S 2408 2408 1406 0 -1 4202560 1266 0 0 0 20 13 0 0 17 0 2 0 869330023 300867584 5797 33554432000 4194304 5683644 140734383420016 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/2415/statm: 73454 5797 414 364 0 8341 0
[pid=2418] ppid=2415 vsize=35996 CPUtime=51.38 cores=0,2,4,6
/proc/2418/stat : 2418 (scip-2.0.1.linu) T 2415 2418 2418 0 -1 4202496 7136 0 0 0 4873 265 0 0 18 0 1 0 869330024 36859904 6522 33554432000 4194304 13684479 140734797642464 18446744073709551615 4773363 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/2418/statm: 8999 6522 808 2317 0 6677 0
[pid=2415/tid=2420] ppid=2408 vsize=293816 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2420/stat : 2420 (python) S 2408 2408 1406 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 869335163 300867584 5797 33554432000 4194304 5683644 140734383420016 18446744073709551615 246528657841 0 0 16781312 33554946 18446604450142405824 0 0 -1 6 0 0 0
[pid=2421] ppid=2408 vsize=293612 CPUtime=0 cores=0,2,4,6
/proc/2421/stat : 2421 (python) S 2408 2408 1406 0 -1 4202560 753 0 0 0 0 0 0 0 18 0 1 0 869335165 300658688 5734 33554432000 4194304 5683644 140734383420016 18446744073709551615 246516854342 0 0 16781312 33554946 6579736554254598402 0 0 17 6 0 0 0
/proc/2421/statm: 73403 5734 349 364 0 8287 0
[pid=2423] ppid=2421 vsize=1860 CPUtime=1.67 cores=0,2,4,6
/proc/2423/stat : 2423 (clasp-1.3.7-x86) R 2421 2423 2423 0 -1 4202496 465 0 0 0 167 0 0 0 25 0 1 0 869335166 1904640 203 33554432000 134512640 136139019 4289765808 18446744073709551615 134832144 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/2423/statm: 465 203 183 398 0 65 0
[pid=2408/tid=2417] ppid=2406 vsize=303856 CPUtime=0 cores=0,2,4,6
/proc/2408/task/2417/stat : 2417 (python) S 2406 2408 1406 0 -1 4202560 25 928 0 0 0 0 0 0 19 0 3 0 869330023 311148544 7262 33554432000 4194304 5683644 140734383420016 18446744073709551615 246528657841 0 0 16781312 33554434 18446604441801070720 0 0 -1 4 0 0 0
[pid=2408/tid=2422] ppid=2406 vsize=303856 CPUtime=0 cores=0,2,4,6
/proc/2408/task/2422/stat : 2422 (python) S 2406 2408 1406 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 3 0 869335166 311148544 7262 33554432000 4194304 5683644 140734383420016 18446744073709551615 246528657841 0 0 16781312 33554434 18446604441801070720 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 53.81
Current children cumulated vsize (KiB) 929140
[startup+55.2008 s]
/proc/loadavg: 2.31 2.15 1.40 3/552 2427
/proc/meminfo: memFree=21411688/32951124 swapFree=43359760/67111528
[pid=2408] ppid=2406 vsize=303856 CPUtime=0.43 cores=0,2,4,6
/proc/2408/stat : 2408 (python) S 2406 2408 1406 0 -1 4202496 10497 928 1 0 34 9 0 0 20 0 3 0 869329973 311148544 7262 33554432000 4194304 5683644 140734383420016 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/2408/statm: 75964 7262 1873 364 0 10848 0
[pid=2415] ppid=2408 vsize=293816 CPUtime=0.33 cores=0,2,4,6
/proc/2415/stat : 2415 (python) S 2408 2408 1406 0 -1 4202560 1266 0 0 0 20 13 0 0 17 0 2 0 869330023 300867584 5797 33554432000 4194304 5683644 140734383420016 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/2415/statm: 73454 5797 414 364 0 8341 0
[pid=2418] ppid=2415 vsize=35996 CPUtime=51.38 cores=0,2,4,6
/proc/2418/stat : 2418 (scip-2.0.1.linu) T 2415 2418 2418 0 -1 4202496 7136 0 0 0 4873 265 0 0 18 0 1 0 869330024 36859904 6522 33554432000 4194304 13684479 140734797642464 18446744073709551615 4773363 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/2418/statm: 8999 6522 808 2317 0 6677 0
[pid=2415/tid=2420] ppid=2408 vsize=293816 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2420/stat : 2420 (python) S 2408 2408 1406 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 869335163 300867584 5797 33554432000 4194304 5683644 140734383420016 18446744073709551615 246528657841 0 0 16781312 33554946 18446604450142405824 0 0 -1 6 0 0 0
[pid=2421] ppid=2408 vsize=293612 CPUtime=0.01 cores=0,2,4,6
/proc/2421/stat : 2421 (python) S 2408 2408 1406 0 -1 4202560 905 0 0 0 1 0 0 0 18 0 1 0 869335165 300658688 5757 33554432000 4194304 5683644 140734383420016 18446744073709551615 246516854342 0 0 16781312 33554946 6579739577911574786 0 0 17 6 0 0 0
/proc/2421/statm: 73403 5757 372 364 0 8287 0
[pid=2423] ppid=2421 vsize=1860 CPUtime=3.27 cores=0,2,4,6
/proc/2423/stat : 2423 (clasp-1.3.7-x86) R 2421 2423 2423 0 -1 4202496 465 0 0 0 327 0 0 0 25 0 1 0 869335166 1904640 203 33554432000 134512640 136139019 4289765808 18446744073709551615 134831568 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/2423/statm: 465 203 183 398 0 65 0
[pid=2408/tid=2417] ppid=2406 vsize=303856 CPUtime=0 cores=0,2,4,6
/proc/2408/task/2417/stat : 2417 (python) S 2406 2408 1406 0 -1 4202560 25 928 0 0 0 0 0 0 19 0 3 0 869330023 311148544 7262 33554432000 4194304 5683644 140734383420016 18446744073709551615 246528657841 0 0 16781312 33554434 18446604441801070720 0 0 -1 4 0 0 0
[pid=2408/tid=2422] ppid=2406 vsize=303856 CPUtime=0 cores=0,2,4,6
/proc/2408/task/2422/stat : 2422 (python) S 2406 2408 1406 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 3 0 869335166 311148544 7262 33554432000 4194304 5683644 140734383420016 18446744073709551615 246528657841 0 0 16781312 33554434 18446604441801070720 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 55.42
Current children cumulated vsize (KiB) 929140
[startup+56.0007 s]
/proc/loadavg: 2.31 2.15 1.40 3/552 2427
/proc/meminfo: memFree=21406852/32951124 swapFree=43359760/67111528
[pid=2408] ppid=2406 vsize=303856 CPUtime=0.43 cores=0,2,4,6
/proc/2408/stat : 2408 (python) S 2406 2408 1406 0 -1 4202496 10497 928 1 0 34 9 0 0 20 0 3 0 869329973 311148544 7262 33554432000 4194304 5683644 140734383420016 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/2408/statm: 75964 7262 1873 364 0 10848 0
[pid=2415] ppid=2408 vsize=293816 CPUtime=0.33 cores=0,2,4,6
/proc/2415/stat : 2415 (python) S 2408 2408 1406 0 -1 4202560 1266 0 0 0 20 13 0 0 17 0 2 0 869330023 300867584 5797 33554432000 4194304 5683644 140734383420016 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/2415/statm: 73454 5797 414 364 0 8341 0
[pid=2418] ppid=2415 vsize=35996 CPUtime=51.38 cores=0,2,4,6
/proc/2418/stat : 2418 (scip-2.0.1.linu) T 2415 2418 2418 0 -1 4202496 7136 0 0 0 4873 265 0 0 18 0 1 0 869330024 36859904 6522 33554432000 4194304 13684479 140734797642464 18446744073709551615 4773363 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/2418/statm: 8999 6522 808 2317 0 6677 0
[pid=2415/tid=2420] ppid=2408 vsize=293816 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2420/stat : 2420 (python) S 2408 2408 1406 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 869335163 300867584 5797 33554432000 4194304 5683644 140734383420016 18446744073709551615 246528657841 0 0 16781312 33554946 18446604450142405824 0 0 -1 6 0 0 0
[pid=2421] ppid=2408 vsize=293612 CPUtime=0.01 cores=0,2,4,6
/proc/2421/stat : 2421 (python) S 2408 2408 1406 0 -1 4202560 905 0 0 0 1 0 0 0 18 0 1 0 869335165 300658688 5757 33554432000 4194304 5683644 140734383420016 18446744073709551615 246516854342 0 0 16781312 33554946 6579739577911574786 0 0 17 6 0 0 0
/proc/2421/statm: 73403 5757 372 364 0 8287 0
[pid=2423] ppid=2421 vsize=1860 CPUtime=4.07 cores=0,2,4,6
/proc/2423/stat : 2423 (clasp-1.3.7-x86) R 2421 2423 2423 0 -1 4202496 466 0 0 0 407 0 0 0 25 0 1 0 869335166 1904640 204 33554432000 134512640 136139019 4289765808 18446744073709551615 134632440 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/2423/statm: 465 204 183 398 0 65 0
[pid=2408/tid=2417] ppid=2406 vsize=303856 CPUtime=0 cores=0,2,4,6
/proc/2408/task/2417/stat : 2417 (python) S 2406 2408 1406 0 -1 4202560 25 928 0 0 0 0 0 0 19 0 3 0 869330023 311148544 7262 33554432000 4194304 5683644 140734383420016 18446744073709551615 246528657841 0 0 16781312 33554434 18446604441801070720 0 0 -1 4 0 0 0
[pid=2408/tid=2422] ppid=2406 vsize=303856 CPUtime=0 cores=0,2,4,6
/proc/2408/task/2422/stat : 2422 (python) S 2406 2408 1406 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 3 0 869335166 311148544 7262 33554432000 4194304 5683644 140734383420016 18446744073709551615 246528657841 0 0 16781312 33554434 18446604441801070720 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 56.22
Current children cumulated vsize (KiB) 929140
[startup+56.2006 s]
/proc/loadavg: 2.31 2.15 1.40 3/552 2427
/proc/meminfo: memFree=21406852/32951124 swapFree=43359760/67111528
[pid=2408] ppid=2406 vsize=303856 CPUtime=0.43 cores=0,2,4,6
/proc/2408/stat : 2408 (python) S 2406 2408 1406 0 -1 4202496 10497 928 1 0 34 9 0 0 20 0 3 0 869329973 311148544 7262 33554432000 4194304 5683644 140734383420016 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/2408/statm: 75964 7262 1873 364 0 10848 0
[pid=2415] ppid=2408 vsize=293816 CPUtime=0.33 cores=0,2,4,6
/proc/2415/stat : 2415 (python) S 2408 2408 1406 0 -1 4202560 1266 0 0 0 20 13 0 0 17 0 2 0 869330023 300867584 5797 33554432000 4194304 5683644 140734383420016 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/2415/statm: 73454 5797 414 364 0 8341 0
[pid=2418] ppid=2415 vsize=35996 CPUtime=51.38 cores=0,2,4,6
/proc/2418/stat : 2418 (scip-2.0.1.linu) T 2415 2418 2418 0 -1 4202496 7136 0 0 0 4873 265 0 0 18 0 1 0 869330024 36859904 6522 33554432000 4194304 13684479 140734797642464 18446744073709551615 4773363 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/2418/statm: 8999 6522 808 2317 0 6677 0
[pid=2415/tid=2420] ppid=2408 vsize=293816 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2420/stat : 2420 (python) S 2408 2408 1406 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 869335163 300867584 5797 33554432000 4194304 5683644 140734383420016 18446744073709551615 246528657841 0 0 16781312 33554946 18446604450142405824 0 0 -1 6 0 0 0
[pid=2421] ppid=2408 vsize=293612 CPUtime=0.01 cores=0,2,4,6
/proc/2421/stat : 2421 (python) S 2408 2408 1406 0 -1 4202560 905 0 0 0 1 0 0 0 18 0 1 0 869335165 300658688 5757 33554432000 4194304 5683644 140734383420016 18446744073709551615 246516854342 0 0 16781312 33554946 6579739577911574786 0 0 17 6 0 0 0
/proc/2421/statm: 73403 5757 372 364 0 8287 0
[pid=2423] ppid=2421 vsize=1860 CPUtime=4.27 cores=0,2,4,6
/proc/2423/stat : 2423 (clasp-1.3.7-x86) R 2421 2423 2423 0 -1 4202496 466 0 0 0 427 0 0 0 25 0 1 0 869335166 1904640 204 33554432000 134512640 136139019 4289765808 18446744073709551615 134871216 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/2423/statm: 465 204 183 398 0 65 0
[pid=2408/tid=2417] ppid=2406 vsize=303856 CPUtime=0 cores=0,2,4,6
/proc/2408/task/2417/stat : 2417 (python) S 2406 2408 1406 0 -1 4202560 25 928 0 0 0 0 0 0 19 0 3 0 869330023 311148544 7262 33554432000 4194304 5683644 140734383420016 18446744073709551615 246528657841 0 0 16781312 33554434 18446604441801070720 0 0 -1 4 0 0 0
[pid=2408/tid=2422] ppid=2406 vsize=303856 CPUtime=0 cores=0,2,4,6
/proc/2408/task/2422/stat : 2422 (python) S 2406 2408 1406 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 3 0 869335166 311148544 7262 33554432000 4194304 5683644 140734383420016 18446744073709551615 246528657841 0 0 16781312 33554434 18446604441801070720 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 56.42
Current children cumulated vsize (KiB) 929140
Child status: 0
Real time (s): 56.2403
CPU time (s): 56.5074
CPU user time (s): 53.6108
CPU system time (s): 2.89656
CPU usage (%): 100.475
Max. virtual memory (cumulated for all children) (KiB): 929140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 53.6108
system time used= 2.89656
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25870
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= 4645
involuntary context switches= 181
runsolver used 0.263959 second user time and 0.548916 second system time
The end