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-3481369-1307577820/watcher-3481369-1307577820 -o /tmp/evaluation-result-3481369-1307577820/solver-3481369-1307577820 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481369-1307577820.opb -seed 1389788609 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.37 2.13 1.65 2/702 16840
/proc/meminfo: memFree=14090048/32950940 swapFree=67111360/67111528
[pid=16840] ppid=16838 vsize=16236 CPUtime=0 cores=1,3,5,7
/proc/16840/stat : 16840 (python) R 16838 16840 14716 0 -1 4202496 995 0 0 0 0 0 0 0 21 0 1 0 948012877 16625664 868 33554432000 4194304 5683644 140735186033600 18446744073709551615 4540096 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/16840/statm: 4059 868 368 364 0 546 0
[startup+0.084978 s]
/proc/loadavg: 2.37 2.13 1.65 2/702 16840
/proc/meminfo: memFree=14090048/32950940 swapFree=67111360/67111528
[pid=16840] ppid=16838 vsize=87828 CPUtime=0.06 cores=1,3,5,7
/proc/16840/stat : 16840 (python) S 16838 16840 14716 0 -1 4202496 2691 0 0 0 5 1 0 0 18 0 1 0 948012877 89935872 2407 33554432000 4194304 5683644 140735186033600 18446744073709551615 215988590592 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/16840/statm: 21957 2407 735 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 87828
[startup+0.109843 s]
/proc/loadavg: 2.37 2.13 1.65 2/702 16840
/proc/meminfo: memFree=14090048/32950940 swapFree=67111360/67111528
[pid=16840] ppid=16838 vsize=96124 CPUtime=0.08 cores=1,3,5,7
/proc/16840/stat : 16840 (python) R 16838 16840 14716 0 -1 4202496 3169 931 1 0 7 1 0 0 18 0 1 0 948012877 98430976 2483 33554432000 4194304 5683644 140735186033600 18446744073709551615 5170261 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/16840/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96124
[startup+0.300719 s]
/proc/loadavg: 2.37 2.13 1.65 2/702 16840
/proc/meminfo: memFree=14090048/32950940 swapFree=67111360/67111528
[pid=16840] ppid=16838 vsize=197644 CPUtime=0.23 cores=1,3,5,7
/proc/16840/stat : 16840 (python) S 16838 16840 14716 0 -1 4202496 6597 931 1 0 18 5 0 0 18 0 1 0 948012877 202387456 4887 33554432000 4194304 5683644 140735186033600 18446744073709551615 215988590592 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/16840/statm: 49411 4887 1435 364 0 3676 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 197644
[startup+0.700641 s]
/proc/loadavg: 2.37 2.13 1.65 2/702 16840
/proc/meminfo: memFree=14090048/32950940 swapFree=67111360/67111528
[pid=16840] ppid=16838 vsize=293232 CPUtime=0.42 cores=1,3,5,7
/proc/16840/stat : 16840 (python) S 16838 16840 14716 0 -1 4202496 10704 1324 1 0 34 8 0 0 21 0 2 0 948012877 300269568 7159 33554432000 4194304 5683644 140735186033600 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/16840/statm: 73308 7159 1871 364 0 8195 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 293232
[startup+1.5005 s]
/proc/loadavg: 2.34 2.13 1.65 3/706 16851
/proc/meminfo: memFree=14052316/32950940 swapFree=67111360/67111528
[pid=16840] ppid=16838 vsize=293232 CPUtime=0.42 cores=1,3,5,7
/proc/16840/stat : 16840 (python) S 16838 16840 14716 0 -1 4202496 10704 1324 1 0 34 8 0 0 21 0 2 0 948012877 300269568 7159 33554432000 4194304 5683644 140735186033600 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/16840/statm: 73308 7159 1871 364 0 8195 0
[pid=16848] ppid=16840 vsize=282988 CPUtime=0 cores=1,3,5,7
/proc/16848/stat : 16848 (python) S 16840 16840 14716 0 -1 4202560 821 0 0 0 0 0 0 0 17 0 1 0 948012930 289779712 5609 33554432000 4194304 5683644 140735186033600 18446744073709551615 215988612623 0 0 16781312 33554946 1936243859163971584 0 0 17 7 0 0 0
/proc/16848/statm: 70747 5609 325 364 0 5634 0
[pid=16850] ppid=16848 vsize=24704 CPUtime=0.96 cores=1,3,5,7
/proc/16850/stat : 16850 (scip-2.0.1.linu) R 16848 16850 16850 0 -1 4202496 7337 0 0 0 86 10 0 0 25 0 1 0 948012930 25296896 3966 33554432000 4194304 13684479 140735715928544 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/16850/statm: 6176 3966 816 2317 0 3854 0
[pid=16840/tid=16849] ppid=16838 vsize=293232 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16849/stat : 16849 (python) S 16838 16840 14716 0 -1 4202560 26 1324 0 0 0 0 0 0 21 0 2 0 948012930 300269568 7159 33554432000 4194304 5683644 140735186033600 18446744073709551615 216000416177 0 0 16781312 33554434 18446604463286485184 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 600924
[startup+3.10022 s]
/proc/loadavg: 2.34 2.13 1.65 3/706 16851
/proc/meminfo: memFree=14050920/32950940 swapFree=67111360/67111528
[pid=16840] ppid=16838 vsize=293232 CPUtime=0.42 cores=1,3,5,7
/proc/16840/stat : 16840 (python) S 16838 16840 14716 0 -1 4202496 10704 1324 1 0 34 8 0 0 21 0 2 0 948012877 300269568 7159 33554432000 4194304 5683644 140735186033600 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/16840/statm: 73308 7159 1871 364 0 8195 0
[pid=16848] ppid=16840 vsize=282988 CPUtime=0 cores=1,3,5,7
/proc/16848/stat : 16848 (python) S 16840 16840 14716 0 -1 4202560 826 0 0 0 0 0 0 0 15 0 1 0 948012930 289779712 5609 33554432000 4194304 5683644 140735186033600 18446744073709551615 215988612623 0 0 16781312 33554946 2445750778606911488 0 0 17 7 0 0 0
/proc/16848/statm: 70747 5609 325 364 0 5634 0
[pid=16850] ppid=16848 vsize=25360 CPUtime=2.56 cores=1,3,5,7
/proc/16850/stat : 16850 (scip-2.0.1.linu) R 16848 16850 16850 0 -1 4202496 7542 0 0 0 233 23 0 0 25 0 1 0 948012930 25968640 4151 33554432000 4194304 13684479 140735715928544 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/16850/statm: 6340 4151 816 2317 0 4018 0
[pid=16840/tid=16849] ppid=16838 vsize=293232 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16849/stat : 16849 (python) S 16838 16840 14716 0 -1 4202560 26 1324 0 0 0 0 0 0 21 0 2 0 948012930 300269568 7159 33554432000 4194304 5683644 140735186033600 18446744073709551615 216000416177 0 0 16781312 33554434 18446604463286485184 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 601580
[startup+6.30066 s]
/proc/loadavg: 2.47 2.16 1.66 3/706 16851
/proc/meminfo: memFree=14045476/32950940 swapFree=67111360/67111528
[pid=16840] ppid=16838 vsize=293232 CPUtime=0.42 cores=1,3,5,7
/proc/16840/stat : 16840 (python) S 16838 16840 14716 0 -1 4202496 10704 1324 1 0 34 8 0 0 21 0 2 0 948012877 300269568 7159 33554432000 4194304 5683644 140735186033600 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/16840/statm: 73308 7159 1871 364 0 8195 0
[pid=16848] ppid=16840 vsize=282988 CPUtime=0.02 cores=1,3,5,7
/proc/16848/stat : 16848 (python) S 16840 16840 14716 0 -1 4202560 952 0 0 0 1 1 0 0 16 0 1 0 948012930 289779712 5632 33554432000 4194304 5683644 140735186033600 18446744073709551615 215988612623 0 0 16781312 33554946 3409692154526695424 0 0 17 7 0 0 0
/proc/16848/statm: 70747 5632 348 364 0 5634 0
[pid=16850] ppid=16848 vsize=29764 CPUtime=5.77 cores=1,3,5,7
/proc/16850/stat : 16850 (scip-2.0.1.linu) R 16848 16850 16850 0 -1 4202496 8633 0 0 0 521 56 0 0 25 0 1 0 948012930 30478336 5237 33554432000 4194304 13684479 140735715928544 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/16850/statm: 7441 5237 817 2317 0 5119 0
[pid=16840/tid=16849] ppid=16838 vsize=293232 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16849/stat : 16849 (python) S 16838 16840 14716 0 -1 4202560 26 1324 0 0 0 0 0 0 21 0 2 0 948012930 300269568 7159 33554432000 4194304 5683644 140735186033600 18446744073709551615 216000416177 0 0 16781312 33554434 18446604463286485184 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 605984
[startup+12.7005 s]
/proc/loadavg: 2.44 2.16 1.66 3/706 16851
/proc/meminfo: memFree=14042280/32950940 swapFree=67111360/67111528
[pid=16840] ppid=16838 vsize=293232 CPUtime=0.42 cores=1,3,5,7
/proc/16840/stat : 16840 (python) S 16838 16840 14716 0 -1 4202496 10704 1324 1 0 34 8 0 0 21 0 2 0 948012877 300269568 7159 33554432000 4194304 5683644 140735186033600 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/16840/statm: 73308 7159 1871 364 0 8195 0
[pid=16848] ppid=16840 vsize=282988 CPUtime=0.08 cores=1,3,5,7
/proc/16848/stat : 16848 (python) S 16840 16840 14716 0 -1 4202560 970 0 0 0 4 4 0 0 15 0 1 0 948012930 289779712 5632 33554432000 4194304 5683644 140735186033600 18446744073709551615 215988612623 0 0 16781312 33554946 965311745365114880 0 0 17 5 0 0 0
/proc/16848/statm: 70747 5632 348 364 0 5634 0
[pid=16850] ppid=16848 vsize=35044 CPUtime=12.16 cores=1,3,5,7
/proc/16850/stat : 16850 (scip-2.0.1.linu) R 16848 16850 16850 0 -1 4202496 9997 0 0 0 1090 126 0 0 25 0 1 0 948012930 35885056 6590 33554432000 4194304 13684479 140735715928544 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/16850/statm: 8761 6590 817 2317 0 6439 0
[pid=16840/tid=16849] ppid=16838 vsize=293232 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16849/stat : 16849 (python) S 16838 16840 14716 0 -1 4202560 26 1324 0 0 0 0 0 0 21 0 2 0 948012930 300269568 7159 33554432000 4194304 5683644 140735186033600 18446744073709551615 216000416177 0 0 16781312 33554434 18446604463286485184 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 611264
Solver just ended. Dumping a history of the last processes samples
[startup+19.1004 s]
/proc/loadavg: 2.40 2.16 1.66 3/706 16851
/proc/meminfo: memFree=14039872/32950940 swapFree=67111360/67111528
[pid=16840] ppid=16838 vsize=293232 CPUtime=0.42 cores=1,3,5,7
/proc/16840/stat : 16840 (python) S 16838 16840 14716 0 -1 4202496 10704 1324 1 0 34 8 0 0 21 0 2 0 948012877 300269568 7159 33554432000 4194304 5683644 140735186033600 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/16840/statm: 73308 7159 1871 364 0 8195 0
[pid=16848] ppid=16840 vsize=282988 CPUtime=0.11 cores=1,3,5,7
/proc/16848/stat : 16848 (python) S 16840 16840 14716 0 -1 4202560 981 0 0 0 6 5 0 0 15 0 1 0 948012930 289779712 5640 33554432000 4194304 5683644 140735186033600 18446744073709551615 215988612623 0 0 16781312 33554946 2622658948225826816 0 0 17 7 0 0 0
/proc/16848/statm: 70747 5640 349 364 0 5634 0
[pid=16850] ppid=16848 vsize=38856 CPUtime=18.57 cores=1,3,5,7
/proc/16850/stat : 16850 (scip-2.0.1.linu) R 16848 16850 16850 0 -1 4202496 10986 0 0 0 1661 196 0 0 25 0 1 0 948012930 39788544 7572 33554432000 4194304 13684479 140735715928544 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/16850/statm: 9714 7572 817 2317 0 7392 0
[pid=16840/tid=16849] ppid=16838 vsize=293232 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16849/stat : 16849 (python) S 16838 16840 14716 0 -1 4202560 26 1324 0 0 0 0 0 0 21 0 2 0 948012930 300269568 7159 33554432000 4194304 5683644 140735186033600 18446744073709551615 216000416177 0 0 16781312 33554434 18446604463286485184 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 19.1
Current children cumulated vsize (KiB) 615076
[startup+22.3009 s]
/proc/loadavg: 2.37 2.15 1.66 3/706 16851
/proc/meminfo: memFree=14037636/32950940 swapFree=67111360/67111528
[pid=16840] ppid=16838 vsize=293232 CPUtime=0.42 cores=1,3,5,7
/proc/16840/stat : 16840 (python) S 16838 16840 14716 0 -1 4202496 10704 1324 1 0 34 8 0 0 21 0 2 0 948012877 300269568 7159 33554432000 4194304 5683644 140735186033600 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/16840/statm: 73308 7159 1871 364 0 8195 0
[pid=16848] ppid=16840 vsize=282988 CPUtime=0.13 cores=1,3,5,7
/proc/16848/stat : 16848 (python) S 16840 16840 14716 0 -1 4202560 986 0 0 0 7 6 0 0 15 0 1 0 948012930 289779712 5644 33554432000 4194304 5683644 140735186033600 18446744073709551615 215988612623 0 0 16781312 33554946 3337535853550370816 0 0 17 7 0 0 0
/proc/16848/statm: 70747 5644 349 364 0 5634 0
[pid=16850] ppid=16848 vsize=42000 CPUtime=21.76 cores=1,3,5,7
/proc/16850/stat : 16850 (scip-2.0.1.linu) R 16848 16850 16850 0 -1 4202496 11710 0 0 0 1947 229 0 0 25 0 1 0 948012930 43008000 8296 33554432000 4194304 13684479 140735715928544 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/16850/statm: 10500 8296 817 2317 0 8178 0
[pid=16840/tid=16849] ppid=16838 vsize=293232 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16849/stat : 16849 (python) S 16838 16840 14716 0 -1 4202560 26 1324 0 0 0 0 0 0 21 0 2 0 948012930 300269568 7159 33554432000 4194304 5683644 140735186033600 18446744073709551615 216000416177 0 0 16781312 33554434 18446604463286485184 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 22.31
Current children cumulated vsize (KiB) 618220
[startup+23.9006 s]
/proc/loadavg: 2.37 2.15 1.66 3/706 16851
/proc/meminfo: memFree=14035652/32950940 swapFree=67111360/67111528
[pid=16840] ppid=16838 vsize=293232 CPUtime=0.42 cores=1,3,5,7
/proc/16840/stat : 16840 (python) S 16838 16840 14716 0 -1 4202496 10704 1324 1 0 34 8 0 0 21 0 2 0 948012877 300269568 7159 33554432000 4194304 5683644 140735186033600 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/16840/statm: 73308 7159 1871 364 0 8195 0
[pid=16848] ppid=16840 vsize=282988 CPUtime=0.13 cores=1,3,5,7
/proc/16848/stat : 16848 (python) S 16840 16840 14716 0 -1 4202560 989 0 0 0 7 6 0 0 15 0 1 0 948012930 289779712 5647 33554432000 4194304 5683644 140735186033600 18446744073709551615 215988612623 0 0 16781312 33554946 1867409672441430016 0 0 17 7 0 0 0
/proc/16848/statm: 70747 5647 349 364 0 5634 0
[pid=16850] ppid=16848 vsize=43264 CPUtime=23.37 cores=1,3,5,7
/proc/16850/stat : 16850 (scip-2.0.1.linu) R 16848 16850 16850 0 -1 4202496 12034 0 0 0 2089 248 0 0 25 0 1 0 948012930 44302336 8619 33554432000 4194304 13684479 140735715928544 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/16850/statm: 10816 8619 818 2317 0 8494 0
[pid=16840/tid=16849] ppid=16838 vsize=293232 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16849/stat : 16849 (python) S 16838 16840 14716 0 -1 4202560 26 1324 0 0 0 0 0 0 21 0 2 0 948012930 300269568 7159 33554432000 4194304 5683644 140735186033600 18446744073709551615 216000416177 0 0 16781312 33554434 18446604463286485184 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 23.92
Current children cumulated vsize (KiB) 619484
[startup+24.3005 s]
/proc/loadavg: 2.37 2.15 1.66 3/706 16851
/proc/meminfo: memFree=14035652/32950940 swapFree=67111360/67111528
[pid=16840] ppid=16838 vsize=293232 CPUtime=0.42 cores=1,3,5,7
/proc/16840/stat : 16840 (python) S 16838 16840 14716 0 -1 4202496 10704 1324 1 0 34 8 0 0 21 0 2 0 948012877 300269568 7159 33554432000 4194304 5683644 140735186033600 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/16840/statm: 73308 7159 1871 364 0 8195 0
[pid=16848] ppid=16840 vsize=282988 CPUtime=0.15 cores=1,3,5,7
/proc/16848/stat : 16848 (python) S 16840 16840 14716 0 -1 4202560 991 0 0 0 8 7 0 0 15 0 1 0 948012930 289779712 5647 33554432000 4194304 5683644 140735186033600 18446744073709551615 215988612623 0 0 16781312 33554946 3494917147631550464 0 0 17 7 0 0 0
/proc/16848/statm: 70747 5647 349 364 0 5634 0
[pid=16850] ppid=16848 vsize=43264 CPUtime=23.77 cores=1,3,5,7
/proc/16850/stat : 16850 (scip-2.0.1.linu) R 16848 16850 16850 0 -1 4202496 12035 0 0 0 2123 254 0 0 25 0 1 0 948012930 44302336 8620 33554432000 4194304 13684479 140735715928544 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/16850/statm: 10816 8620 818 2317 0 8494 0
[pid=16840/tid=16849] ppid=16838 vsize=293232 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16849/stat : 16849 (python) S 16838 16840 14716 0 -1 4202560 26 1324 0 0 0 0 0 0 21 0 2 0 948012930 300269568 7159 33554432000 4194304 5683644 140735186033600 18446744073709551615 216000416177 0 0 16781312 33554434 18446604463286485184 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.34
Current children cumulated vsize (KiB) 619484
[startup+24.5005 s]
/proc/loadavg: 2.37 2.15 1.66 3/706 16851
/proc/meminfo: memFree=14035652/32950940 swapFree=67111360/67111528
[pid=16840] ppid=16838 vsize=293232 CPUtime=0.42 cores=1,3,5,7
/proc/16840/stat : 16840 (python) S 16838 16840 14716 0 -1 4202496 10704 1324 1 0 34 8 0 0 21 0 2 0 948012877 300269568 7159 33554432000 4194304 5683644 140735186033600 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/16840/statm: 73308 7159 1871 364 0 8195 0
[pid=16848] ppid=16840 vsize=282988 CPUtime=0.15 cores=1,3,5,7
/proc/16848/stat : 16848 (python) S 16840 16840 14716 0 -1 4202560 992 0 0 0 8 7 0 0 15 0 1 0 948012930 289779712 5648 33554432000 4194304 5683644 140735186033600 18446744073709551615 215988612623 0 0 16781312 33554946 148971357273587712 0 0 17 7 0 0 0
/proc/16848/statm: 70747 5648 349 364 0 5634 0
[pid=16850] ppid=16848 vsize=43264 CPUtime=23.96 cores=1,3,5,7
/proc/16850/stat : 16850 (scip-2.0.1.linu) R 16848 16850 16850 0 -1 4202496 12053 0 0 0 2140 256 0 0 25 0 1 0 948012930 44302336 8638 33554432000 4194304 13684479 140735715928544 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/16850/statm: 10816 8638 818 2317 0 8494 0
[pid=16840/tid=16849] ppid=16838 vsize=293232 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16849/stat : 16849 (python) S 16838 16840 14716 0 -1 4202560 26 1324 0 0 0 0 0 0 21 0 2 0 948012930 300269568 7159 33554432000 4194304 5683644 140735186033600 18446744073709551615 216000416177 0 0 16781312 33554434 18446604463286485184 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.53
Current children cumulated vsize (KiB) 619484
[startup+24.6005 s]
/proc/loadavg: 2.37 2.15 1.66 3/706 16851
/proc/meminfo: memFree=14035652/32950940 swapFree=67111360/67111528
[pid=16840] ppid=16838 vsize=293232 CPUtime=0.42 cores=1,3,5,7
/proc/16840/stat : 16840 (python) S 16838 16840 14716 0 -1 4202496 10704 1324 1 0 34 8 0 0 21 0 2 0 948012877 300269568 7159 33554432000 4194304 5683644 140735186033600 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/16840/statm: 73308 7159 1871 364 0 8195 0
[pid=16848] ppid=16840 vsize=282988 CPUtime=0.16 cores=1,3,5,7
/proc/16848/stat : 16848 (python) S 16840 16840 14716 0 -1 4202560 998 0 0 0 9 7 0 0 16 0 1 0 948012930 289779712 5654 33554432000 4194304 5683644 140735186033600 18446744073709551615 215988612623 0 0 16781312 33554946 685748226669674496 0 0 17 7 0 0 0
/proc/16848/statm: 70747 5654 349 364 0 5634 0
[pid=16850] ppid=16848 vsize=43264 CPUtime=24.06 cores=1,3,5,7
/proc/16850/stat : 16850 (scip-2.0.1.linu) R 16848 16850 16850 0 -1 4202496 12056 0 0 0 2150 256 0 0 25 0 1 0 948012930 44302336 8641 33554432000 4194304 13684479 140735715928544 18446744073709551615 5095424 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/16850/statm: 10816 8641 819 2317 0 8494 0
[pid=16840/tid=16849] ppid=16838 vsize=293232 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16849/stat : 16849 (python) S 16838 16840 14716 0 -1 4202560 26 1324 0 0 0 0 0 0 21 0 2 0 948012930 300269568 7159 33554432000 4194304 5683644 140735186033600 18446744073709551615 216000416177 0 0 16781312 33554434 18446604463286485184 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.64
Current children cumulated vsize (KiB) 619484
Child status: 0
Real time (s): 24.6282
CPU time (s): 24.7152
CPU user time (s): 21.9747
CPU system time (s): 2.74058
CPU usage (%): 100.354
Max. virtual memory (cumulated for all children) (KiB): 619484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.9747
system time used= 2.74058
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29825
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= 1730
involuntary context switches= 57
runsolver used 0.139978 second user time and 0.321951 second system time
The end