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-3482368-1307576642/watcher-3482368-1307576642 -o /tmp/evaluation-result-3482368-1307576642/solver-3482368-1307576642 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482368-1307576642.opb -seed 1586134773 -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: 4.42 2.70 1.14 2/510 16973
/proc/meminfo: memFree=28371032/32951132 swapFree=57925100/67111528
[pid=16973] ppid=16971 vsize=16244 CPUtime=0 cores=0,2,4,6
/proc/16973/stat : 16973 (python) R 16971 16973 16517 0 -1 4202496 1038 0 0 0 0 0 0 0 17 0 1 0 869263865 16633856 910 33554432000 4194304 5683644 140737267169456 18446744073709551615 5158248 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/16973/statm: 4061 910 380 364 0 548 0
[startup+0.0736441 s]
/proc/loadavg: 4.42 2.70 1.14 2/510 16973
/proc/meminfo: memFree=28371032/32951132 swapFree=57925100/67111528
[pid=16973] ppid=16971 vsize=54508 CPUtime=0.04 cores=0,2,4,6
/proc/16973/stat : 16973 (python) S 16971 16973 16517 0 -1 4202496 2057 0 0 0 3 1 0 0 17 0 1 0 869263865 55816192 1815 33554432000 4194304 5683644 140737267169456 18446744073709551615 210647144448 0 2147483391 16781312 2 18446744071699109054 0 0 17 4 0 0 0
/proc/16973/statm: 13627 1815 492 364 0 1277 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 54508
[startup+0.100653 s]
/proc/loadavg: 4.42 2.70 1.14 2/510 16973
/proc/meminfo: memFree=28371032/32951132 swapFree=57925100/67111528
[pid=16973] ppid=16971 vsize=96128 CPUtime=0.07 cores=0,2,4,6
/proc/16973/stat : 16973 (python) R 16971 16973 16517 0 -1 4202496 3169 929 1 0 5 2 0 0 18 0 1 0 869263865 98435072 2483 33554432000 4194304 5683644 140737267169456 18446744073709551615 5178136 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/16973/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.300673 s]
/proc/loadavg: 4.42 2.70 1.14 2/510 16973
/proc/meminfo: memFree=28371032/32951132 swapFree=57925100/67111528
[pid=16973] ppid=16971 vsize=177692 CPUtime=0.22 cores=0,2,4,6
/proc/16973/stat : 16973 (python) R 16971 16973 16517 0 -1 4202496 6257 929 1 0 16 6 0 0 17 0 1 0 869263865 181956608 4566 33554432000 4194304 5683644 140737267169456 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/16973/statm: 44423 4566 1238 364 0 3535 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 177692
[startup+0.700529 s]
/proc/loadavg: 4.42 2.70 1.14 2/510 16973
/proc/meminfo: memFree=28371032/32951132 swapFree=57925100/67111528
[pid=16973] ppid=16971 vsize=261408 CPUtime=0.33 cores=0,2,4,6
/proc/16973/stat : 16973 (python) D 16971 16973 16517 0 -1 4202496 8254 929 1 0 24 9 0 0 17 0 1 0 869263865 267681792 6351 33554432000 4194304 5683644 140737267169456 18446744073709551615 210647152183 0 0 16781312 2 18446744071562154983 0 0 17 4 0 0 0
/proc/16973/statm: 65352 6351 1677 364 0 5068 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 261408
[startup+13.5433 s]
/proc/loadavg: 4.42 2.70 1.14 2/510 16973
/proc/meminfo: memFree=28371032/32951132 swapFree=57925100/67111528
[pid=16973] ppid=16971 vsize=296720 CPUtime=0.81 cores=0,2,4,6
/proc/16973/stat : 16973 (python) S 16971 16973 16517 0 -1 4202496 12407 1379 1 0 61 11 9 0 20 0 2 0 869263865 303841280 8046 33554432000 4194304 5683644 140737267169456 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 351
/proc/16973/statm: 74180 8046 1871 364 0 9067 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 296720
heavy processes:
[startup+13.6194 s]
/proc/loadavg: 4.66 2.81 1.19 3/517 16985
/proc/meminfo: memFree=28192308/32951132 swapFree=57925100/67111528
[pid=16973] ppid=16971 vsize=296720 CPUtime=0.81 cores=0,2,4,6
/proc/16973/stat : 16973 (python) S 16971 16973 16517 0 -1 4202496 12407 1379 1 0 61 11 9 0 20 0 2 0 869263865 303841280 8046 33554432000 4194304 5683644 140737267169456 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 351
/proc/16973/statm: 74180 8046 1871 364 0 9067 0
[pid=16980] ppid=16973 vsize=286476 CPUtime=0.03 cores=0,2,4,6
/proc/16980/stat : 16980 (python) S 16973 16973 16517 0 -1 4202560 874 0 0 0 1 2 0 0 15 0 1 0 869264310 293351424 6514 33554432000 4194304 5683644 140737267169456 18446744073709551615 210647166479 0 0 16781312 33554946 72114768642583406 0 0 17 0 0 0 0
/proc/16980/statm: 71619 6514 343 364 0 6506 0
[pid=16982] ppid=16980 vsize=134360 CPUtime=9.15 cores=0,2,4,6
/proc/16982/stat : 16982 (scip-2.0.1.linu) R 16980 16982 16982 0 -1 4202496 35762 0 0 0 899 16 0 0 25 0 1 0 869264310 137584640 31180 33554432000 4194304 13684479 140735863487952 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16982/statm: 33590 31180 834 2317 0 31268 0
[pid=16973/tid=16981] ppid=16971 vsize=296720 CPUtime=0.09 cores=0,2,4,6
/proc/16973/task/16981/stat : 16981 (python) S 16971 16973 16517 0 -1 4202560 28 1379 0 0 0 0 9 0 20 0 2 0 869264310 303841280 8046 33554432000 4194304 5683644 140737267169456 18446744073709551615 210658970033 0 0 16781312 33554434 18446604448209704064 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (KiB) 717556
heavy processes:
[startup+13.7203 s]
/proc/loadavg: 4.66 2.81 1.19 3/517 16985
/proc/meminfo: memFree=28190944/32951132 swapFree=57925100/67111528
[pid=16973] ppid=16971 vsize=296720 CPUtime=0.81 cores=0,2,4,6
/proc/16973/stat : 16973 (python) S 16971 16973 16517 0 -1 4202496 12407 1379 1 0 61 11 9 0 20 0 2 0 869263865 303841280 8046 33554432000 4194304 5683644 140737267169456 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 351
/proc/16973/statm: 74180 8046 1871 364 0 9067 0
[pid=16980] ppid=16973 vsize=286476 CPUtime=0.03 cores=0,2,4,6
/proc/16980/stat : 16980 (python) S 16973 16973 16517 0 -1 4202560 874 0 0 0 1 2 0 0 15 0 1 0 869264310 293351424 6514 33554432000 4194304 5683644 140737267169456 18446744073709551615 210647166479 0 0 16781312 33554946 72114768642583406 0 0 17 0 0 0 0
/proc/16980/statm: 71619 6514 343 364 0 6506 0
[pid=16982] ppid=16980 vsize=134360 CPUtime=9.28 cores=0,2,4,6
/proc/16982/stat : 16982 (scip-2.0.1.linu) R 16980 16982 16982 0 -1 4202496 35762 0 0 0 911 17 0 0 25 0 1 0 869264310 137584640 31180 33554432000 4194304 13684479 140735863487952 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16982/statm: 33590 31180 834 2317 0 31268 0
[pid=16973/tid=16981] ppid=16971 vsize=296720 CPUtime=0.09 cores=0,2,4,6
/proc/16973/task/16981/stat : 16981 (python) S 16971 16973 16517 0 -1 4202560 28 1379 0 0 0 0 9 0 20 0 2 0 869264310 303841280 8046 33554432000 4194304 5683644 140737267169456 18446744073709551615 210658970033 0 0 16781312 33554434 18446604448209704064 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 10.12
Current children cumulated vsize (KiB) 717556
heavy processes:
[startup+13.8193 s]
/proc/loadavg: 4.66 2.81 1.19 3/517 16985
/proc/meminfo: memFree=28190944/32951132 swapFree=57925100/67111528
[pid=16973] ppid=16971 vsize=296720 CPUtime=0.81 cores=0,2,4,6
/proc/16973/stat : 16973 (python) S 16971 16973 16517 0 -1 4202496 12407 1379 1 0 61 11 9 0 20 0 2 0 869263865 303841280 8046 33554432000 4194304 5683644 140737267169456 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 351
/proc/16973/statm: 74180 8046 1871 364 0 9067 0
[pid=16980] ppid=16973 vsize=286476 CPUtime=0.03 cores=0,2,4,6
/proc/16980/stat : 16980 (python) S 16973 16973 16517 0 -1 4202560 874 0 0 0 1 2 0 0 15 0 1 0 869264310 293351424 6514 33554432000 4194304 5683644 140737267169456 18446744073709551615 210647166479 0 0 16781312 33554946 72114768642583406 0 0 17 0 0 0 0
/proc/16980/statm: 71619 6514 343 364 0 6506 0
[pid=16982] ppid=16980 vsize=134360 CPUtime=9.36 cores=0,2,4,6
/proc/16982/stat : 16982 (scip-2.0.1.linu) R 16980 16982 16982 0 -1 4202496 35762 0 0 0 919 17 0 0 25 0 1 0 869264310 137584640 31180 33554432000 4194304 13684479 140735863487952 18446744073709551615 7410919 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16982/statm: 33590 31180 834 2317 0 31268 0
[pid=16973/tid=16981] ppid=16971 vsize=296720 CPUtime=0.09 cores=0,2,4,6
/proc/16973/task/16981/stat : 16981 (python) S 16971 16973 16517 0 -1 4202560 28 1379 0 0 0 0 9 0 20 0 2 0 869264310 303841280 8046 33554432000 4194304 5683644 140737267169456 18446744073709551615 210658970033 0 0 16781312 33554434 18446604448209704064 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 10.2
Current children cumulated vsize (KiB) 717556
heavy processes:
[startup+25.5004 s]
/proc/loadavg: 4.56 2.85 1.22 3/517 16985
/proc/meminfo: memFree=28168292/32951132 swapFree=57925100/67111528
[pid=16973] ppid=16971 vsize=296720 CPUtime=0.81 cores=0,2,4,6
/proc/16973/stat : 16973 (python) S 16971 16973 16517 0 -1 4202496 12407 1379 1 0 61 11 9 0 20 0 2 0 869263865 303841280 8046 33554432000 4194304 5683644 140737267169456 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 351
/proc/16973/statm: 74180 8046 1871 364 0 9067 0
[pid=16980] ppid=16973 vsize=286476 CPUtime=0.08 cores=0,2,4,6
/proc/16980/stat : 16980 (python) S 16973 16973 16517 0 -1 4202560 975 0 0 0 3 5 0 0 15 0 1 0 869264310 293351424 6519 33554432000 4194304 5683644 140737267169456 18446744073709551615 210647166479 0 0 16781312 33554946 72114768642583406 0 0 17 0 0 0 0
/proc/16980/statm: 71619 6519 348 364 0 6506 0
[pid=16982] ppid=16980 vsize=133208 CPUtime=21.03 cores=0,2,4,6
/proc/16982/stat : 16982 (scip-2.0.1.linu) R 16980 16982 16982 0 -1 4202496 41008 0 0 0 2082 21 0 0 25 0 1 0 869264310 136404992 31049 33554432000 4194304 13684479 140735863487952 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16982/statm: 33302 31049 835 2317 0 30980 0
[pid=16973/tid=16981] ppid=16971 vsize=296720 CPUtime=0.09 cores=0,2,4,6
/proc/16973/task/16981/stat : 16981 (python) S 16971 16973 16517 0 -1 4202560 28 1379 0 0 0 0 9 0 20 0 2 0 869264310 303841280 8046 33554432000 4194304 5683644 140737267169456 18446744073709551615 210658970033 0 0 16781312 33554434 18446604448209704064 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 21.92
Current children cumulated vsize (KiB) 716404
Solver just ended. Dumping a history of the last processes samples
[startup+31.8004 s]
/proc/loadavg: 4.32 2.85 1.24 3/517 16985
/proc/meminfo: memFree=28154656/32951132 swapFree=57925100/67111528
[pid=16973] ppid=16971 vsize=296720 CPUtime=0.81 cores=0,2,4,6
/proc/16973/stat : 16973 (python) S 16971 16973 16517 0 -1 4202496 12407 1379 1 0 61 11 9 0 20 0 2 0 869263865 303841280 8046 33554432000 4194304 5683644 140737267169456 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 351
/proc/16973/statm: 74180 8046 1871 364 0 9067 0
[pid=16980] ppid=16973 vsize=286476 CPUtime=0.11 cores=0,2,4,6
/proc/16980/stat : 16980 (python) S 16973 16973 16517 0 -1 4202560 977 0 0 0 4 7 0 0 15 0 1 0 869264310 293351424 6519 33554432000 4194304 5683644 140737267169456 18446744073709551615 210647166479 0 0 16781312 33554946 72114768642583406 0 0 17 0 0 0 0
/proc/16980/statm: 71619 6519 348 364 0 6506 0
[pid=16982] ppid=16980 vsize=133136 CPUtime=27.32 cores=0,2,4,6
/proc/16982/stat : 16982 (scip-2.0.1.linu) R 16980 16982 16982 0 -1 4202496 45162 0 0 0 2709 23 0 0 25 0 1 0 869264310 136331264 30942 33554432000 4194304 13684479 140735863487952 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16982/statm: 33284 30942 835 2317 0 30962 0
[pid=16973/tid=16981] ppid=16971 vsize=296720 CPUtime=0.09 cores=0,2,4,6
/proc/16973/task/16981/stat : 16981 (python) S 16971 16973 16517 0 -1 4202560 28 1379 0 0 0 0 9 0 20 0 2 0 869264310 303841280 8046 33554432000 4194304 5683644 140737267169456 18446744073709551615 210658970033 0 0 16781312 33554434 18446604448209704064 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 28.24
Current children cumulated vsize (KiB) 716332
[startup+35.0008 s]
/proc/loadavg: 4.32 2.85 1.24 3/517 16985
/proc/meminfo: memFree=28141888/32951132 swapFree=57925100/67111528
[pid=16973] ppid=16971 vsize=296720 CPUtime=0.81 cores=0,2,4,6
/proc/16973/stat : 16973 (python) S 16971 16973 16517 0 -1 4202496 12407 1379 1 0 61 11 9 0 20 0 2 0 869263865 303841280 8046 33554432000 4194304 5683644 140737267169456 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 351
/proc/16973/statm: 74180 8046 1871 364 0 9067 0
[pid=16980] ppid=16973 vsize=286476 CPUtime=0.13 cores=0,2,4,6
/proc/16980/stat : 16980 (python) S 16973 16973 16517 0 -1 4202560 979 0 0 0 6 7 0 0 15 0 1 0 869264310 293351424 6519 33554432000 4194304 5683644 140737267169456 18446744073709551615 210647166479 0 0 16781312 33554946 72114768642583406 0 0 17 0 0 0 0
/proc/16980/statm: 71619 6519 348 364 0 6506 0
[pid=16982] ppid=16980 vsize=133264 CPUtime=30.52 cores=0,2,4,6
/proc/16982/stat : 16982 (scip-2.0.1.linu) R 16980 16982 16982 0 -1 4202496 47154 0 0 0 3028 24 0 0 25 0 1 0 869264310 136462336 31011 33554432000 4194304 13684479 140735863487952 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16982/statm: 33316 31011 835 2317 0 30994 0
[pid=16973/tid=16981] ppid=16971 vsize=296720 CPUtime=0.09 cores=0,2,4,6
/proc/16973/task/16981/stat : 16981 (python) S 16971 16973 16517 0 -1 4202560 28 1379 0 0 0 0 9 0 20 0 2 0 869264310 303841280 8046 33554432000 4194304 5683644 140737267169456 18446744073709551615 210658970033 0 0 16781312 33554434 18446604448209704064 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 31.46
Current children cumulated vsize (KiB) 716460
[startup+35.8197 s]
/proc/loadavg: 4.13 2.84 1.24 3/517 16985
/proc/meminfo: memFree=28141516/32951132 swapFree=57925100/67111528
[pid=16973] ppid=16971 vsize=296720 CPUtime=0.81 cores=0,2,4,6
/proc/16973/stat : 16973 (python) S 16971 16973 16517 0 -1 4202496 12407 1379 1 0 61 11 9 0 20 0 2 0 869263865 303841280 8046 33554432000 4194304 5683644 140737267169456 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 351
/proc/16973/statm: 74180 8046 1871 364 0 9067 0
[pid=16980] ppid=16973 vsize=286476 CPUtime=0.13 cores=0,2,4,6
/proc/16980/stat : 16980 (python) S 16973 16973 16517 0 -1 4202560 979 0 0 0 6 7 0 0 15 0 1 0 869264310 293351424 6519 33554432000 4194304 5683644 140737267169456 18446744073709551615 210647166479 0 0 16781312 33554946 72114768642583406 0 0 17 0 0 0 0
/proc/16980/statm: 71619 6519 348 364 0 6506 0
[pid=16982] ppid=16980 vsize=133264 CPUtime=31.34 cores=0,2,4,6
/proc/16982/stat : 16982 (scip-2.0.1.linu) R 16980 16982 16982 0 -1 4202496 47175 0 0 0 3110 24 0 0 25 0 1 0 869264310 136462336 31032 33554432000 4194304 13684479 140735863487952 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16982/statm: 33316 31032 835 2317 0 30994 0
[pid=16973/tid=16981] ppid=16971 vsize=296720 CPUtime=0.09 cores=0,2,4,6
/proc/16973/task/16981/stat : 16981 (python) S 16971 16973 16517 0 -1 4202560 28 1379 0 0 0 0 9 0 20 0 2 0 869264310 303841280 8046 33554432000 4194304 5683644 140737267169456 18446744073709551615 210658970033 0 0 16781312 33554434 18446604448209704064 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 32.28
Current children cumulated vsize (KiB) 716460
[startup+36.6005 s]
/proc/loadavg: 4.13 2.84 1.24 3/517 16985
/proc/meminfo: memFree=28141516/32951132 swapFree=57925100/67111528
[pid=16973] ppid=16971 vsize=296720 CPUtime=0.81 cores=0,2,4,6
/proc/16973/stat : 16973 (python) S 16971 16973 16517 0 -1 4202496 12407 1379 1 0 61 11 9 0 20 0 2 0 869263865 303841280 8046 33554432000 4194304 5683644 140737267169456 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 351
/proc/16973/statm: 74180 8046 1871 364 0 9067 0
[pid=16980] ppid=16973 vsize=286476 CPUtime=0.13 cores=0,2,4,6
/proc/16980/stat : 16980 (python) S 16973 16973 16517 0 -1 4202560 979 0 0 0 6 7 0 0 15 0 1 0 869264310 293351424 6519 33554432000 4194304 5683644 140737267169456 18446744073709551615 210647166479 0 0 16781312 33554946 72114768642583406 0 0 17 0 0 0 0
/proc/16980/statm: 71619 6519 348 364 0 6506 0
[pid=16982] ppid=16980 vsize=133136 CPUtime=32.12 cores=0,2,4,6
/proc/16982/stat : 16982 (scip-2.0.1.linu) R 16980 16982 16982 0 -1 4202496 48097 0 0 0 3188 24 0 0 25 0 1 0 869264310 136331264 30931 33554432000 4194304 13684479 140735863487952 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16982/statm: 33284 30931 835 2317 0 30962 0
[pid=16973/tid=16981] ppid=16971 vsize=296720 CPUtime=0.09 cores=0,2,4,6
/proc/16973/task/16981/stat : 16981 (python) S 16971 16973 16517 0 -1 4202560 28 1379 0 0 0 0 9 0 20 0 2 0 869264310 303841280 8046 33554432000 4194304 5683644 140737267169456 18446744073709551615 210658970033 0 0 16781312 33554434 18446604448209704064 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 33.06
Current children cumulated vsize (KiB) 716332
[startup+37.0005 s]
/proc/loadavg: 4.13 2.84 1.24 3/517 16985
/proc/meminfo: memFree=28138624/32951132 swapFree=57925100/67111528
[pid=16973] ppid=16971 vsize=296720 CPUtime=0.81 cores=0,2,4,6
/proc/16973/stat : 16973 (python) S 16971 16973 16517 0 -1 4202496 12407 1379 1 0 61 11 9 0 20 0 2 0 869263865 303841280 8046 33554432000 4194304 5683644 140737267169456 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 351
/proc/16973/statm: 74180 8046 1871 364 0 9067 0
[pid=16980] ppid=16973 vsize=286476 CPUtime=0.13 cores=0,2,4,6
/proc/16980/stat : 16980 (python) S 16973 16973 16517 0 -1 4202560 979 0 0 0 6 7 0 0 15 0 1 0 869264310 293351424 6519 33554432000 4194304 5683644 140737267169456 18446744073709551615 210647166479 0 0 16781312 33554946 72114768642583406 0 0 17 0 0 0 0
/proc/16980/statm: 71619 6519 348 364 0 6506 0
[pid=16982] ppid=16980 vsize=134432 CPUtime=32.51 cores=0,2,4,6
/proc/16982/stat : 16982 (scip-2.0.1.linu) R 16980 16982 16982 0 -1 4202496 48430 0 0 0 3227 24 0 0 25 0 1 0 869264310 137658368 31264 33554432000 4194304 13684479 140735863487952 18446744073709551615 6733152 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16982/statm: 33608 31264 836 2317 0 31286 0
[pid=16973/tid=16981] ppid=16971 vsize=296720 CPUtime=0.09 cores=0,2,4,6
/proc/16973/task/16981/stat : 16981 (python) S 16971 16973 16517 0 -1 4202560 28 1379 0 0 0 0 9 0 20 0 2 0 869264310 303841280 8046 33554432000 4194304 5683644 140737267169456 18446744073709551615 210658970033 0 0 16781312 33554434 18446604448209704064 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 33.45
Current children cumulated vsize (KiB) 717628
[startup+37.1004 s]
/proc/loadavg: 4.13 2.84 1.24 3/517 16985
/proc/meminfo: memFree=28138624/32951132 swapFree=57925100/67111528
[pid=16973] ppid=16971 vsize=296720 CPUtime=0.81 cores=0,2,4,6
/proc/16973/stat : 16973 (python) S 16971 16973 16517 0 -1 4202496 12407 1379 1 0 61 11 9 0 20 0 2 0 869263865 303841280 8046 33554432000 4194304 5683644 140737267169456 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 351
/proc/16973/statm: 74180 8046 1871 364 0 9067 0
[pid=16980] ppid=16973 vsize=286476 CPUtime=0.13 cores=0,2,4,6
/proc/16980/stat : 16980 (python) S 16973 16973 16517 0 -1 4202560 997 0 0 0 6 7 0 0 15 0 1 0 869264310 293351424 6520 33554432000 4194304 5683644 140737267169456 18446744073709551615 210647166479 0 0 16781312 33554946 178407138975023104 0 0 17 0 0 0 0
/proc/16980/statm: 71619 6520 349 364 0 6506 0
[pid=16982] ppid=16980 vsize=146772 CPUtime=32.61 cores=0,2,4,6
/proc/16982/stat : 16982 (scip-2.0.1.linu) R 16980 16982 16982 0 -1 4202496 51272 0 0 0 3236 25 0 0 18 0 1 0 869264310 150294528 34106 33554432000 4194304 13684479 140735863487952 18446744073709551615 6738070 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/16982/statm: 36693 34106 839 2317 0 34371 0
[pid=16973/tid=16981] ppid=16971 vsize=296720 CPUtime=0.09 cores=0,2,4,6
/proc/16973/task/16981/stat : 16981 (python) S 16971 16973 16517 0 -1 4202560 28 1379 0 0 0 0 9 0 20 0 2 0 869264310 303841280 8046 33554432000 4194304 5683644 140737267169456 18446744073709551615 210658970033 0 0 16781312 33554434 18446604448209704064 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 33.55
Current children cumulated vsize (KiB) 729968
Child status: 0
Real time (s): 37.1768
CPU time (s): 33.6739
CPU user time (s): 33.2079
CPU system time (s): 0.465929
CPU usage (%): 90.5777
Max. virtual memory (cumulated for all children) (KiB): 729968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.208
system time used= 0.465929
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72529
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= 7144
involuntary context switches= 279
runsolver used 0.173973 second user time and 0.314952 second system time
The end