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-3482064-1307576835/watcher-3482064-1307576835 -o /tmp/evaluation-result-3482064-1307576835/solver-3482064-1307576835 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482064-1307576835.opb -seed 1319652202 -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.12 1.66 0.81 2/619 19821
/proc/meminfo: memFree=26504056/32950928 swapFree=26914392/67111528
[pid=19821] ppid=19819 vsize=16240 CPUtime=0 cores=0,2,4,6
/proc/19821/stat : 19821 (python) S 19819 19821 19061 0 -1 4202496 1051 0 0 0 0 0 0 0 17 0 1 0 869280269 16629760 922 33554432000 4194304 5683644 140735631746976 18446744073709551615 254500689920 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/19821/statm: 4060 922 381 364 0 547 0
[startup+0.0867371 s]
/proc/loadavg: 2.12 1.66 0.81 2/619 19821
/proc/meminfo: memFree=26504056/32950928 swapFree=26914392/67111528
[pid=19821] ppid=19819 vsize=87840 CPUtime=0.06 cores=0,2,4,6
/proc/19821/stat : 19821 (python) S 19819 19821 19061 0 -1 4202496 2707 0 1 0 5 1 0 0 17 0 1 0 869280269 89948160 2419 33554432000 4194304 5683644 140735631746976 18446744073709551615 254500689920 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/19821/statm: 21960 2419 746 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 87840
[startup+0.105508 s]
/proc/loadavg: 2.12 1.66 0.81 2/619 19821
/proc/meminfo: memFree=26504056/32950928 swapFree=26914392/67111528
[pid=19821] ppid=19819 vsize=96124 CPUtime=0.07 cores=0,2,4,6
/proc/19821/stat : 19821 (python) R 19819 19821 19061 0 -1 4202496 3169 929 1 0 6 1 0 0 18 0 1 0 869280269 98430976 2483 33554432000 4194304 5683644 140735631746976 18446744073709551615 5170261 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19821/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.300422 s]
/proc/loadavg: 2.12 1.66 0.81 2/619 19821
/proc/meminfo: memFree=26504056/32950928 swapFree=26914392/67111528
[pid=19821] ppid=19819 vsize=195524 CPUtime=0.23 cores=0,2,4,6
/proc/19821/stat : 19821 (python) S 19819 19821 19061 0 -1 4202496 6589 929 1 0 17 6 0 0 17 0 1 0 869280269 200216576 4878 33554432000 4194304 5683644 140735631746976 18446744073709551615 254500689920 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/19821/statm: 48881 4878 1427 364 0 3676 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 195524
[startup+0.700393 s]
/proc/loadavg: 2.12 1.66 0.81 2/619 19821
/proc/meminfo: memFree=26504056/32950928 swapFree=26914392/67111528
[pid=19821] ppid=19819 vsize=293312 CPUtime=0.44 cores=0,2,4,6
/proc/19821/stat : 19821 (python) S 19819 19821 19061 0 -1 4202496 9684 929 1 0 35 9 0 0 19 0 2 0 869280269 300351488 7187 33554432000 4194304 5683644 140735631746976 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/19821/statm: 73328 7187 1862 364 0 8215 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 293312
[startup+1.50123 s]
/proc/loadavg: 2.12 1.66 0.81 3/623 19829
/proc/meminfo: memFree=26462660/32950928 swapFree=26914392/67111528
[pid=19821] ppid=19819 vsize=293312 CPUtime=0.44 cores=0,2,4,6
/proc/19821/stat : 19821 (python) S 19819 19821 19061 0 -1 4202496 9684 929 1 0 35 9 0 0 19 0 2 0 869280269 300351488 7187 33554432000 4194304 5683644 140735631746976 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/19821/statm: 73328 7187 1862 364 0 8215 0
[pid=19827] ppid=19821 vsize=283068 CPUtime=0 cores=0,2,4,6
/proc/19827/stat : 19827 (python) S 19821 19821 19061 0 -1 4202560 752 0 0 0 0 0 0 0 16 0 1 0 869280323 289861632 5673 33554432000 4194304 5683644 140735631746976 18446744073709551615 254500711951 0 0 16781312 33554946 871639788539609088 0 0 17 6 0 0 0
/proc/19827/statm: 70767 5673 352 364 0 5654 0
[pid=19829] ppid=19827 vsize=28224 CPUtime=0.96 cores=0,2,4,6
/proc/19829/stat : 19829 (scip-2.0.1.linu) R 19827 19829 19829 0 -1 4202496 5276 0 0 0 94 2 0 0 18 0 1 0 869280323 28901376 4621 33554432000 4194304 13684479 140736750062800 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19829/statm: 7056 4621 756 2317 0 4734 0
[pid=19821/tid=19828] ppid=19819 vsize=293312 CPUtime=0 cores=0,2,4,6
/proc/19821/task/19828/stat : 19828 (python) S 19819 19821 19061 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 2 0 869280323 300351488 7187 33554432000 4194304 5683644 140735631746976 18446744073709551615 254512515505 0 0 16781312 33554434 18446604452340167744 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 604604
[startup+3.10091 s]
/proc/loadavg: 2.11 1.67 0.81 3/623 19829
/proc/meminfo: memFree=26457452/32950928 swapFree=26914392/67111528
[pid=19821] ppid=19819 vsize=293312 CPUtime=0.44 cores=0,2,4,6
/proc/19821/stat : 19821 (python) S 19819 19821 19061 0 -1 4202496 9684 929 1 0 35 9 0 0 19 0 2 0 869280269 300351488 7187 33554432000 4194304 5683644 140735631746976 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/19821/statm: 73328 7187 1862 364 0 8215 0
[pid=19827] ppid=19821 vsize=283068 CPUtime=0 cores=0,2,4,6
/proc/19827/stat : 19827 (python) S 19821 19821 19061 0 -1 4202560 754 0 0 0 0 0 0 0 16 0 1 0 869280323 289861632 5673 33554432000 4194304 5683644 140735631746976 18446744073709551615 254500711951 0 0 16781312 33554946 822688770661810176 0 0 17 6 0 0 0
/proc/19827/statm: 70767 5673 352 364 0 5654 0
[pid=19829] ppid=19827 vsize=48612 CPUtime=2.55 cores=0,2,4,6
/proc/19829/stat : 19829 (scip-2.0.1.linu) R 19827 19829 19829 0 -1 4202496 10481 0 0 0 252 3 0 0 18 0 1 0 869280323 49778688 9810 33554432000 4194304 13684479 140736750062800 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19829/statm: 12153 9810 787 2317 0 9831 0
[pid=19821/tid=19828] ppid=19819 vsize=293312 CPUtime=0 cores=0,2,4,6
/proc/19821/task/19828/stat : 19828 (python) S 19819 19821 19061 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 2 0 869280323 300351488 7187 33554432000 4194304 5683644 140735631746976 18446744073709551615 254512515505 0 0 16781312 33554434 18446604452340167744 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 624992
[startup+6.30127 s]
/proc/loadavg: 2.11 1.67 0.81 3/623 19829
/proc/meminfo: memFree=26411392/32950928 swapFree=26914392/67111528
[pid=19821] ppid=19819 vsize=293312 CPUtime=0.44 cores=0,2,4,6
/proc/19821/stat : 19821 (python) S 19819 19821 19061 0 -1 4202496 9684 929 1 0 35 9 0 0 19 0 2 0 869280269 300351488 7187 33554432000 4194304 5683644 140735631746976 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/19821/statm: 73328 7187 1862 364 0 8215 0
[pid=19827] ppid=19821 vsize=283068 CPUtime=0.02 cores=0,2,4,6
/proc/19827/stat : 19827 (python) S 19821 19821 19061 0 -1 4202560 893 0 0 0 1 1 0 0 15 0 1 0 869280323 289861632 5697 33554432000 4194304 5683644 140735631746976 18446744073709551615 254500711951 0 0 16781312 33554946 717056420838637568 0 0 17 6 0 0 0
/proc/19827/statm: 70767 5697 376 364 0 5654 0
[pid=19829] ppid=19827 vsize=87652 CPUtime=5.76 cores=0,2,4,6
/proc/19829/stat : 19829 (scip-2.0.1.linu) R 19827 19829 19829 0 -1 4202496 20336 0 0 0 570 6 0 0 20 0 1 0 869280323 89755648 19642 33554432000 4194304 13684479 140736750062800 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19829/statm: 21913 19642 785 2317 0 19591 0
[pid=19821/tid=19828] ppid=19819 vsize=293312 CPUtime=0 cores=0,2,4,6
/proc/19821/task/19828/stat : 19828 (python) S 19819 19821 19061 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 2 0 869280323 300351488 7187 33554432000 4194304 5683644 140735631746976 18446744073709551615 254512515505 0 0 16781312 33554434 18446604452340167744 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 664032
[startup+12.7011 s]
/proc/loadavg: 2.09 1.68 0.82 3/623 19829
/proc/meminfo: memFree=26366036/32950928 swapFree=26914392/67111528
[pid=19821] ppid=19819 vsize=293312 CPUtime=0.44 cores=0,2,4,6
/proc/19821/stat : 19821 (python) S 19819 19821 19061 0 -1 4202496 9684 929 1 0 35 9 0 0 19 0 2 0 869280269 300351488 7187 33554432000 4194304 5683644 140735631746976 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/19821/statm: 73328 7187 1862 364 0 8215 0
[pid=19827] ppid=19821 vsize=283068 CPUtime=0.04 cores=0,2,4,6
/proc/19827/stat : 19827 (python) S 19821 19821 19061 0 -1 4202560 898 0 0 0 2 2 0 0 15 0 1 0 869280323 289861632 5697 33554432000 4194304 5683644 140735631746976 18446744073709551615 254500711951 0 0 16781312 33554946 1167084567287300096 0 0 17 6 0 0 0
/proc/19827/statm: 70767 5697 376 364 0 5654 0
[pid=19829] ppid=19827 vsize=121264 CPUtime=12.16 cores=0,2,4,6
/proc/19829/stat : 19829 (scip-2.0.1.linu) R 19827 19829 19829 0 -1 4202496 29447 0 0 0 1204 12 0 0 25 0 1 0 869280323 124174336 28012 33554432000 4194304 13684479 140736750062800 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19829/statm: 30316 28012 801 2317 0 27994 0
[pid=19821/tid=19828] ppid=19819 vsize=293312 CPUtime=0 cores=0,2,4,6
/proc/19821/task/19828/stat : 19828 (python) S 19819 19821 19061 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 2 0 869280323 300351488 7187 33554432000 4194304 5683644 140735631746976 18446744073709551615 254512515505 0 0 16781312 33554434 18446604452340167744 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 697644
[startup+25.5004 s]
/proc/loadavg: 2.08 1.69 0.84 3/623 19830
/proc/meminfo: memFree=26365056/32950928 swapFree=26914392/67111528
[pid=19821] ppid=19819 vsize=293312 CPUtime=0.44 cores=0,2,4,6
/proc/19821/stat : 19821 (python) S 19819 19821 19061 0 -1 4202496 9684 929 1 0 35 9 0 0 19 0 2 0 869280269 300351488 7187 33554432000 4194304 5683644 140735631746976 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/19821/statm: 73328 7187 1862 364 0 8215 0
[pid=19827] ppid=19821 vsize=283068 CPUtime=0.11 cores=0,2,4,6
/proc/19827/stat : 19827 (python) S 19821 19821 19061 0 -1 4202560 905 0 0 0 6 5 0 0 15 0 1 0 869280323 289861632 5697 33554432000 4194304 5683644 140735631746976 18446744073709551615 254500711951 0 0 16781312 33554946 72556772316949371 0 0 17 6 0 0 0
/proc/19827/statm: 70767 5697 376 364 0 5654 0
[pid=19829] ppid=19827 vsize=121264 CPUtime=24.96 cores=0,2,4,6
/proc/19829/stat : 19829 (scip-2.0.1.linu) R 19827 19829 19829 0 -1 4202496 29470 0 0 0 2476 20 0 0 25 0 1 0 869280323 124174336 28035 33554432000 4194304 13684479 140736750062800 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19829/statm: 30316 28035 802 2317 0 27994 0
[pid=19821/tid=19828] ppid=19819 vsize=293312 CPUtime=0 cores=0,2,4,6
/proc/19821/task/19828/stat : 19828 (python) S 19819 19821 19061 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 2 0 869280323 300351488 7187 33554432000 4194304 5683644 140735631746976 18446744073709551615 254512515505 0 0 16781312 33554434 18446604452340167744 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 697644
Solver just ended. Dumping a history of the last processes samples
[startup+38.3009 s]
/proc/loadavg: 2.06 1.70 0.85 3/623 19830
/proc/meminfo: memFree=26364056/32950928 swapFree=26914392/67111528
[pid=19821] ppid=19819 vsize=293312 CPUtime=0.44 cores=0,2,4,6
/proc/19821/stat : 19821 (python) S 19819 19821 19061 0 -1 4202496 9684 929 1 0 35 9 0 0 19 0 2 0 869280269 300351488 7187 33554432000 4194304 5683644 140735631746976 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/19821/statm: 73328 7187 1862 364 0 8215 0
[pid=19827] ppid=19821 vsize=283068 CPUtime=0.17 cores=0,2,4,6
/proc/19827/stat : 19827 (python) S 19821 19821 19061 0 -1 4202560 911 0 0 0 9 8 0 0 15 0 1 0 869280323 289861632 5697 33554432000 4194304 5683644 140735631746976 18446744073709551615 254500711951 0 0 16781312 33554946 72556772316949371 0 0 17 6 0 0 0
/proc/19827/statm: 70767 5697 376 364 0 5654 0
[pid=19829] ppid=19827 vsize=121816 CPUtime=37.76 cores=0,2,4,6
/proc/19829/stat : 19829 (scip-2.0.1.linu) R 19827 19829 19829 0 -1 4202496 29491 0 0 0 3744 32 0 0 25 0 1 0 869280323 124739584 28056 33554432000 4194304 13684479 140736750062800 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19829/statm: 30454 28056 805 2317 0 28132 0
[pid=19821/tid=19828] ppid=19819 vsize=293312 CPUtime=0 cores=0,2,4,6
/proc/19821/task/19828/stat : 19828 (python) S 19819 19821 19061 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 2 0 869280323 300351488 7187 33554432000 4194304 5683644 140735631746976 18446744073709551615 254512515505 0 0 16781312 33554434 18446604452340167744 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 38.37
Current children cumulated vsize (KiB) 698196
[startup+44.7006 s]
/proc/loadavg: 2.05 1.71 0.86 4/612 19888
/proc/meminfo: memFree=26304676/32950928 swapFree=26914392/67111528
[pid=19821] ppid=19819 vsize=293312 CPUtime=0.44 cores=0,2,4,6
/proc/19821/stat : 19821 (python) S 19819 19821 19061 0 -1 4202496 9684 929 1 0 35 9 0 0 19 0 2 0 869280269 300351488 7187 33554432000 4194304 5683644 140735631746976 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/19821/statm: 73328 7187 1862 364 0 8215 0
[pid=19827] ppid=19821 vsize=283068 CPUtime=0.19 cores=0,2,4,6
/proc/19827/stat : 19827 (python) S 19821 19821 19061 0 -1 4202560 913 0 0 0 10 9 0 0 15 0 1 0 869280323 289861632 5697 33554432000 4194304 5683644 140735631746976 18446744073709551615 254500711951 0 0 16781312 33554946 72556772316949371 0 0 17 6 0 0 0
/proc/19827/statm: 70767 5697 376 364 0 5654 0
[pid=19829] ppid=19827 vsize=121816 CPUtime=44.16 cores=0,2,4,6
/proc/19829/stat : 19829 (scip-2.0.1.linu) R 19827 19829 19829 0 -1 4202496 29494 0 0 0 4380 36 0 0 25 0 1 0 869280323 124739584 28059 33554432000 4194304 13684479 140736750062800 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19829/statm: 30454 28059 805 2317 0 28132 0
[pid=19821/tid=19828] ppid=19819 vsize=293312 CPUtime=0 cores=0,2,4,6
/proc/19821/task/19828/stat : 19828 (python) S 19819 19821 19061 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 2 0 869280323 300351488 7187 33554432000 4194304 5683644 140735631746976 18446744073709551615 254512515505 0 0 16781312 33554434 18446604452340167744 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 44.79
Current children cumulated vsize (KiB) 698196
[startup+46.3013 s]
/proc/loadavg: 2.05 1.71 0.86 4/612 19888
/proc/meminfo: memFree=26296860/32950928 swapFree=26914392/67111528
[pid=19821] ppid=19819 vsize=293312 CPUtime=0.44 cores=0,2,4,6
/proc/19821/stat : 19821 (python) S 19819 19821 19061 0 -1 4202496 9684 929 1 0 35 9 0 0 19 0 2 0 869280269 300351488 7187 33554432000 4194304 5683644 140735631746976 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/19821/statm: 73328 7187 1862 364 0 8215 0
[pid=19827] ppid=19821 vsize=283068 CPUtime=0.19 cores=0,2,4,6
/proc/19827/stat : 19827 (python) S 19821 19821 19061 0 -1 4202560 913 0 0 0 10 9 0 0 15 0 1 0 869280323 289861632 5697 33554432000 4194304 5683644 140735631746976 18446744073709551615 254500711951 0 0 16781312 33554946 72556772316949371 0 0 17 6 0 0 0
/proc/19827/statm: 70767 5697 376 364 0 5654 0
[pid=19829] ppid=19827 vsize=121816 CPUtime=45.76 cores=0,2,4,6
/proc/19829/stat : 19829 (scip-2.0.1.linu) R 19827 19829 19829 0 -1 4202496 29494 0 0 0 4539 37 0 0 25 0 1 0 869280323 124739584 28059 33554432000 4194304 13684479 140736750062800 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19829/statm: 30454 28059 805 2317 0 28132 0
[pid=19821/tid=19828] ppid=19819 vsize=293312 CPUtime=0 cores=0,2,4,6
/proc/19821/task/19828/stat : 19828 (python) S 19819 19821 19061 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 2 0 869280323 300351488 7187 33554432000 4194304 5683644 140735631746976 18446744073709551615 254512515505 0 0 16781312 33554434 18446604452340167744 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 46.39
Current children cumulated vsize (KiB) 698196
[startup+47.1011 s]
/proc/loadavg: 2.05 1.71 0.86 4/612 19888
/proc/meminfo: memFree=26296860/32950928 swapFree=26914392/67111528
[pid=19821] ppid=19819 vsize=293312 CPUtime=0.44 cores=0,2,4,6
/proc/19821/stat : 19821 (python) S 19819 19821 19061 0 -1 4202496 9684 929 1 0 35 9 0 0 19 0 2 0 869280269 300351488 7187 33554432000 4194304 5683644 140735631746976 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/19821/statm: 73328 7187 1862 364 0 8215 0
[pid=19827] ppid=19821 vsize=283068 CPUtime=0.19 cores=0,2,4,6
/proc/19827/stat : 19827 (python) S 19821 19821 19061 0 -1 4202560 913 0 0 0 10 9 0 0 15 0 1 0 869280323 289861632 5697 33554432000 4194304 5683644 140735631746976 18446744073709551615 254500711951 0 0 16781312 33554946 72556772316949371 0 0 17 6 0 0 0
/proc/19827/statm: 70767 5697 376 364 0 5654 0
[pid=19829] ppid=19827 vsize=121816 CPUtime=46.56 cores=0,2,4,6
/proc/19829/stat : 19829 (scip-2.0.1.linu) R 19827 19829 19829 0 -1 4202496 29494 0 0 0 4618 38 0 0 25 0 1 0 869280323 124739584 28059 33554432000 4194304 13684479 140736750062800 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19829/statm: 30454 28059 805 2317 0 28132 0
[pid=19821/tid=19828] ppid=19819 vsize=293312 CPUtime=0 cores=0,2,4,6
/proc/19821/task/19828/stat : 19828 (python) S 19819 19821 19061 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 2 0 869280323 300351488 7187 33554432000 4194304 5683644 140735631746976 18446744073709551615 254512515505 0 0 16781312 33554434 18446604452340167744 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 47.19
Current children cumulated vsize (KiB) 698196
[startup+47.501 s]
/proc/loadavg: 2.13 1.73 0.87 3/612 19888
/proc/meminfo: memFree=26297696/32950928 swapFree=26914392/67111528
[pid=19821] ppid=19819 vsize=293312 CPUtime=0.44 cores=0,2,4,6
/proc/19821/stat : 19821 (python) S 19819 19821 19061 0 -1 4202496 9684 929 1 0 35 9 0 0 19 0 2 0 869280269 300351488 7187 33554432000 4194304 5683644 140735631746976 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/19821/statm: 73328 7187 1862 364 0 8215 0
[pid=19827] ppid=19821 vsize=283068 CPUtime=0.19 cores=0,2,4,6
/proc/19827/stat : 19827 (python) S 19821 19821 19061 0 -1 4202560 913 0 0 0 10 9 0 0 15 0 1 0 869280323 289861632 5697 33554432000 4194304 5683644 140735631746976 18446744073709551615 254500711951 0 0 16781312 33554946 72556772316949371 0 0 17 6 0 0 0
/proc/19827/statm: 70767 5697 376 364 0 5654 0
[pid=19829] ppid=19827 vsize=121816 CPUtime=46.96 cores=0,2,4,6
/proc/19829/stat : 19829 (scip-2.0.1.linu) R 19827 19829 19829 0 -1 4202496 29494 0 0 0 4658 38 0 0 25 0 1 0 869280323 124739584 28059 33554432000 4194304 13684479 140736750062800 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19829/statm: 30454 28059 805 2317 0 28132 0
[pid=19821/tid=19828] ppid=19819 vsize=293312 CPUtime=0 cores=0,2,4,6
/proc/19821/task/19828/stat : 19828 (python) S 19819 19821 19061 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 2 0 869280323 300351488 7187 33554432000 4194304 5683644 140735631746976 18446744073709551615 254512515505 0 0 16781312 33554434 18446604452340167744 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 47.59
Current children cumulated vsize (KiB) 698196
[startup+47.9009 s]
/proc/loadavg: 2.13 1.73 0.87 3/612 19888
/proc/meminfo: memFree=26297696/32950928 swapFree=26914392/67111528
[pid=19821] ppid=19819 vsize=304076 CPUtime=0.46 cores=0,2,4,6
/proc/19821/stat : 19821 (python) S 19819 19821 19061 0 -1 4202496 10524 929 1 0 37 9 0 0 20 0 3 0 869280269 311373824 7317 33554432000 4194304 5683644 140735631746976 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/19821/statm: 76019 7317 1873 364 0 10903 0
[pid=19827] ppid=19821 vsize=293312 CPUtime=0.22 cores=0,2,4,6
/proc/19827/stat : 19827 (python) S 19821 19821 19061 0 -1 4202560 1075 0 0 0 12 10 0 0 17 0 2 0 869280323 300351488 5733 33554432000 4194304 5683644 140735631746976 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/19827/statm: 73328 5733 407 364 0 8215 0
[pid=19829] ppid=19827 vsize=121816 CPUtime=47.03 cores=0,2,4,6
/proc/19829/stat : 19829 (scip-2.0.1.linu) T 19827 19829 19829 0 -1 4202496 29494 0 0 0 4665 38 0 0 25 0 1 0 869280323 124739584 28059 33554432000 4194304 13684479 140736750062800 18446744073709551615 7154434 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/19829/statm: 30454 28059 805 2317 0 28132 0
[pid=19821/tid=19828] ppid=19819 vsize=304076 CPUtime=0 cores=0,2,4,6
/proc/19821/task/19828/stat : 19828 (python) S 19819 19821 19061 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 3 0 869280323 311373824 7317 33554432000 4194304 5683644 140735631746976 18446744073709551615 254512515505 0 0 16781312 33554434 18446604452340167744 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 47.71
Current children cumulated vsize (KiB) 719204
Child status: 0
Real time (s): 47.9918
CPU time (s): 48.3706
CPU user time (s): 47.7447
CPU system time (s): 0.625904
CPU usage (%): 100.789
Max. virtual memory (cumulated for all children) (KiB): 719204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 47.7447
system time used= 0.625904
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56073
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1354
involuntary context switches= 183
runsolver used 0.249962 second user time and 0.59191 second system time
The end