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-3481404-1307577826/watcher-3481404-1307577826 -o /tmp/evaluation-result-3481404-1307577826/solver-3481404-1307577826 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481404-1307577826.opb -seed 1067838095 -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.16 2.11 1.63 2/744 23084
/proc/meminfo: memFree=20863536/32950928 swapFree=50514916/67111528
[pid=23084] ppid=23082 vsize=16240 CPUtime=0 cores=1,3,5,7
/proc/23084/stat : 23084 (python) R 23082 23084 21667 0 -1 4202496 1034 0 0 0 0 0 0 0 20 0 1 0 948013357 16629760 905 33554432000 4194304 5683644 140734711483200 18446744073709551615 256414849360 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23084/statm: 4060 905 380 364 0 547 0
[startup+0.0237491 s]
/proc/loadavg: 2.16 2.11 1.63 2/744 23084
/proc/meminfo: memFree=20863536/32950928 swapFree=50514916/67111528
[pid=23084] ppid=23082 vsize=16244 CPUtime=0.01 cores=1,3,5,7
/proc/23084/stat : 23084 (python) R 23082 23084 21667 0 -1 4202496 1063 0 0 0 1 0 0 0 20 0 1 0 948013357 16633856 934 33554432000 4194304 5683644 140734711483200 18446744073709551615 4323330 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23084/statm: 4061 934 381 364 0 548 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16244
[startup+0.10076 s]
/proc/loadavg: 2.16 2.11 1.63 2/744 23084
/proc/meminfo: memFree=20863536/32950928 swapFree=50514916/67111528
[pid=23084] ppid=23082 vsize=85076 CPUtime=0.05 cores=1,3,5,7
/proc/23084/stat : 23084 (python) R 23082 23084 21667 0 -1 4202496 2490 0 0 0 4 1 0 0 17 0 1 0 948013357 87117824 2216 33554432000 4194304 5683644 140734711483200 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23084/statm: 21269 2219 707 364 0 1486 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85076
[startup+0.300733 s]
/proc/loadavg: 2.16 2.11 1.63 2/744 23084
/proc/meminfo: memFree=20863536/32950928 swapFree=50514916/67111528
[pid=23084] ppid=23082 vsize=123744 CPUtime=0.16 cores=1,3,5,7
/proc/23084/stat : 23084 (python) R 23082 23084 21667 0 -1 4202496 5358 932 1 0 11 5 0 0 16 0 1 0 948013357 126713856 3744 33554432000 4194304 5683644 140734711483200 18446744073709551615 256415387653 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23084/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123744
[startup+0.700662 s]
/proc/loadavg: 2.16 2.11 1.63 2/744 23084
/proc/meminfo: memFree=20863536/32950928 swapFree=50514916/67111528
[pid=23084] ppid=23082 vsize=268876 CPUtime=0.39 cores=1,3,5,7
/proc/23084/stat : 23084 (python) R 23082 23084 21667 0 -1 4202496 8654 932 1 0 29 10 0 0 15 0 1 0 948013357 275329024 6665 33554432000 4194304 5683644 140734711483200 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23084/statm: 67219 6669 1704 364 0 5367 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 268876
[startup+1.50049 s]
/proc/loadavg: 2.14 2.11 1.63 3/748 23093
/proc/meminfo: memFree=20821964/32950928 swapFree=50514916/67111528
[pid=23084] ppid=23082 vsize=293224 CPUtime=0.46 cores=1,3,5,7
/proc/23084/stat : 23084 (python) S 23082 23084 21667 0 -1 4202496 10699 1325 1 0 35 11 0 0 18 0 2 0 948013357 300261376 7157 33554432000 4194304 5683644 140734711483200 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23084/statm: 73306 7157 1871 364 0 8193 0
[pid=23091] ppid=23084 vsize=282980 CPUtime=0 cores=1,3,5,7
/proc/23091/stat : 23091 (python) S 23084 23084 21667 0 -1 4202560 818 0 0 0 0 0 0 0 16 0 1 0 948013434 289771520 5607 33554432000 4194304 5683644 140734711483200 18446744073709551615 256415411727 0 0 16781312 33554946 1696709946768359424 0 0 17 5 0 0 0
/proc/23091/statm: 70745 5607 325 364 0 5632 0
[pid=23093] ppid=23091 vsize=23684 CPUtime=0.72 cores=1,3,5,7
/proc/23093/stat : 23093 (scip-2.0.1.linu) R 23091 23093 23093 0 -1 4202496 7016 0 0 0 65 7 0 0 18 0 1 0 948013434 24252416 3718 33554432000 4194304 13684479 140735677005264 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23093/statm: 5921 3718 816 2317 0 3599 0
[pid=23084/tid=23092] ppid=23082 vsize=293224 CPUtime=0 cores=1,3,5,7
/proc/23084/task/23092/stat : 23092 (python) S 23082 23084 21667 0 -1 4202560 25 1325 0 0 0 0 0 0 18 0 2 0 948013434 300261376 7157 33554432000 4194304 5683644 140734711483200 18446744073709551615 256427215281 0 0 16781312 33554434 18446604464073532672 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 599888
[startup+3.12119 s]
/proc/loadavg: 2.14 2.11 1.63 3/748 23093
/proc/meminfo: memFree=20815144/32950928 swapFree=50514916/67111528
[pid=23084] ppid=23082 vsize=293224 CPUtime=0.46 cores=1,3,5,7
/proc/23084/stat : 23084 (python) S 23082 23084 21667 0 -1 4202496 10699 1325 1 0 35 11 0 0 18 0 2 0 948013357 300261376 7157 33554432000 4194304 5683644 140734711483200 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23084/statm: 73306 7157 1871 364 0 8193 0
[pid=23091] ppid=23084 vsize=282980 CPUtime=0 cores=1,3,5,7
/proc/23091/stat : 23091 (python) S 23084 23084 21667 0 -1 4202560 839 0 0 0 0 0 0 0 15 0 1 0 948013434 289771520 5607 33554432000 4194304 5683644 140734711483200 18446744073709551615 256415411727 0 0 16781312 33554946 2038600600639242240 0 0 17 5 0 0 0
/proc/23091/statm: 70745 5607 325 364 0 5632 0
[pid=23093] ppid=23091 vsize=25756 CPUtime=2.32 cores=1,3,5,7
/proc/23093/stat : 23093 (scip-2.0.1.linu) R 23091 23093 23093 0 -1 4202496 7535 0 0 0 208 24 0 0 21 0 1 0 948013434 26374144 4234 33554432000 4194304 13684479 140735677005264 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23093/statm: 6439 4234 817 2317 0 4117 0
[pid=23084/tid=23092] ppid=23082 vsize=293224 CPUtime=0 cores=1,3,5,7
/proc/23084/task/23092/stat : 23092 (python) S 23082 23084 21667 0 -1 4202560 25 1325 0 0 0 0 0 0 18 0 2 0 948013434 300261376 7157 33554432000 4194304 5683644 140734711483200 18446744073709551615 256427215281 0 0 16781312 33554434 18446604464073532672 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 601960
[startup+6.30057 s]
/proc/loadavg: 2.21 2.12 1.64 3/770 23115
/proc/meminfo: memFree=20504584/32950928 swapFree=50514916/67111528
[pid=23084] ppid=23082 vsize=293224 CPUtime=0.46 cores=1,3,5,7
/proc/23084/stat : 23084 (python) S 23082 23084 21667 0 -1 4202496 10699 1325 1 0 35 11 0 0 18 0 2 0 948013357 300261376 7157 33554432000 4194304 5683644 140734711483200 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23084/statm: 73306 7157 1871 364 0 8193 0
[pid=23091] ppid=23084 vsize=282980 CPUtime=0.04 cores=1,3,5,7
/proc/23091/stat : 23091 (python) S 23084 23084 21667 0 -1 4202560 973 0 0 0 3 1 0 0 15 0 1 0 948013434 289771520 5635 33554432000 4194304 5683644 140734711483200 18446744073709551615 256415411727 0 0 16781312 33554946 3002321992629092352 0 0 17 5 0 0 0
/proc/23091/statm: 70745 5635 348 364 0 5632 0
[pid=23093] ppid=23091 vsize=29680 CPUtime=5.5 cores=1,3,5,7
/proc/23093/stat : 23093 (scip-2.0.1.linu) R 23091 23093 23093 0 -1 4202496 8493 0 0 0 483 67 0 0 18 0 1 0 948013434 30392320 5191 33554432000 4194304 13684479 140735677005264 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/23093/statm: 7420 5191 818 2317 0 5098 0
[pid=23084/tid=23092] ppid=23082 vsize=293224 CPUtime=0 cores=1,3,5,7
/proc/23084/task/23092/stat : 23092 (python) S 23082 23084 21667 0 -1 4202560 25 1325 0 0 0 0 0 0 18 0 2 0 948013434 300261376 7157 33554432000 4194304 5683644 140734711483200 18446744073709551615 256427215281 0 0 16781312 33554434 18446604464073532672 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 605884
[startup+12.7004 s]
/proc/loadavg: 2.19 2.12 1.64 3/770 23115
/proc/meminfo: memFree=19717940/32950928 swapFree=50514916/67111528
[pid=23084] ppid=23082 vsize=293224 CPUtime=0.46 cores=1,3,5,7
/proc/23084/stat : 23084 (python) S 23082 23084 21667 0 -1 4202496 10699 1325 1 0 35 11 0 0 18 0 2 0 948013357 300261376 7157 33554432000 4194304 5683644 140734711483200 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23084/statm: 73306 7157 1871 364 0 8193 0
[pid=23091] ppid=23084 vsize=282980 CPUtime=0.1 cores=1,3,5,7
/proc/23091/stat : 23091 (python) S 23084 23084 21667 0 -1 4202560 978 0 0 0 6 4 0 0 15 0 1 0 948013434 289771520 5637 33554432000 4194304 5683644 140734711483200 18446744073709551615 256415411727 0 0 16781312 33554946 213971091683540992 0 0 17 7 0 0 0
/proc/23091/statm: 70745 5637 348 364 0 5632 0
[pid=23093] ppid=23091 vsize=33968 CPUtime=11.88 cores=1,3,5,7
/proc/23093/stat : 23093 (scip-2.0.1.linu) R 23091 23093 23093 0 -1 4202496 9540 0 0 0 1039 149 0 0 18 0 1 0 948013434 34783232 6237 33554432000 4194304 13684479 140735677005264 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/23093/statm: 8492 6237 818 2317 0 6170 0
[pid=23084/tid=23092] ppid=23082 vsize=293224 CPUtime=0 cores=1,3,5,7
/proc/23084/task/23092/stat : 23092 (python) S 23082 23084 21667 0 -1 4202560 25 1325 0 0 0 0 0 0 18 0 2 0 948013434 300261376 7157 33554432000 4194304 5683644 140734711483200 18446744073709551615 256427215281 0 0 16781312 33554434 18446604464073532672 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 610172
Solver just ended. Dumping a history of the last processes samples
[startup+13.6012 s]
/proc/loadavg: 2.19 2.12 1.64 3/770 23115
/proc/meminfo: memFree=19713104/32950928 swapFree=50514916/67111528
[pid=23084] ppid=23082 vsize=293224 CPUtime=0.46 cores=1,3,5,7
/proc/23084/stat : 23084 (python) S 23082 23084 21667 0 -1 4202496 10699 1325 1 0 35 11 0 0 18 0 2 0 948013357 300261376 7157 33554432000 4194304 5683644 140734711483200 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23084/statm: 73306 7157 1871 364 0 8193 0
[pid=23091] ppid=23084 vsize=282980 CPUtime=0.1 cores=1,3,5,7
/proc/23091/stat : 23091 (python) S 23084 23084 21667 0 -1 4202560 978 0 0 0 6 4 0 0 15 0 1 0 948013434 289771520 5637 33554432000 4194304 5683644 140734711483200 18446744073709551615 256415411727 0 0 16781312 33554946 4224704160773177344 0 0 17 7 0 0 0
/proc/23091/statm: 70745 5637 348 364 0 5632 0
[pid=23093] ppid=23091 vsize=34576 CPUtime=12.79 cores=1,3,5,7
/proc/23093/stat : 23093 (scip-2.0.1.linu) R 23091 23093 23093 0 -1 4202496 9708 0 0 0 1116 163 0 0 18 0 1 0 948013434 35405824 6405 33554432000 4194304 13684479 140735677005264 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/23093/statm: 8644 6405 818 2317 0 6322 0
[pid=23084/tid=23092] ppid=23082 vsize=293224 CPUtime=0 cores=1,3,5,7
/proc/23084/task/23092/stat : 23092 (python) S 23082 23084 21667 0 -1 4202560 25 1325 0 0 0 0 0 0 18 0 2 0 948013434 300261376 7157 33554432000 4194304 5683644 140734711483200 18446744073709551615 256427215281 0 0 16781312 33554434 18446604464073532672 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 13.35
Current children cumulated vsize (KiB) 610780
[startup+20.001 s]
/proc/loadavg: 2.18 2.12 1.64 3/770 23115
/proc/meminfo: memFree=18685888/32950928 swapFree=50514916/67111528
[pid=23084] ppid=23082 vsize=293224 CPUtime=0.46 cores=1,3,5,7
/proc/23084/stat : 23084 (python) S 23082 23084 21667 0 -1 4202496 10699 1325 1 0 35 11 0 0 18 0 2 0 948013357 300261376 7157 33554432000 4194304 5683644 140734711483200 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23084/statm: 73306 7157 1871 364 0 8193 0
[pid=23091] ppid=23084 vsize=282980 CPUtime=0.16 cores=1,3,5,7
/proc/23091/stat : 23091 (python) S 23084 23084 21667 0 -1 4202560 987 0 0 0 9 7 0 0 15 0 1 0 948013434 289771520 5643 33554432000 4194304 5683644 140734711483200 18446744073709551615 256415411727 0 0 16781312 33554946 4294934790 0 0 17 5 0 0 0
/proc/23091/statm: 70745 5643 348 364 0 5632 0
[pid=23093] ppid=23091 vsize=39056 CPUtime=19.19 cores=1,3,5,7
/proc/23093/stat : 23093 (scip-2.0.1.linu) R 23091 23093 23093 0 -1 4202496 10886 0 0 0 1688 231 0 0 18 0 1 0 948013434 39993344 7580 33554432000 4194304 13684479 140735677005264 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/23093/statm: 9764 7580 818 2317 0 7442 0
[pid=23084/tid=23092] ppid=23082 vsize=293224 CPUtime=0 cores=1,3,5,7
/proc/23084/task/23092/stat : 23092 (python) S 23082 23084 21667 0 -1 4202560 25 1325 0 0 0 0 0 0 18 0 2 0 948013434 300261376 7157 33554432000 4194304 5683644 140734711483200 18446744073709551615 256427215281 0 0 16781312 33554434 18446604464073532672 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 19.81
Current children cumulated vsize (KiB) 615260
[startup+21.6007 s]
/proc/loadavg: 2.16 2.12 1.64 3/770 23116
/proc/meminfo: memFree=18684896/32950928 swapFree=50514916/67111528
[pid=23084] ppid=23082 vsize=293224 CPUtime=0.46 cores=1,3,5,7
/proc/23084/stat : 23084 (python) S 23082 23084 21667 0 -1 4202496 10699 1325 1 0 35 11 0 0 18 0 2 0 948013357 300261376 7157 33554432000 4194304 5683644 140734711483200 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23084/statm: 73306 7157 1871 364 0 8193 0
[pid=23091] ppid=23084 vsize=282980 CPUtime=0.16 cores=1,3,5,7
/proc/23091/stat : 23091 (python) S 23084 23084 21667 0 -1 4202560 989 0 0 0 9 7 0 0 15 0 1 0 948013434 289771520 5645 33554432000 4194304 5683644 140734711483200 18446744073709551615 256415411727 0 0 16781312 33554946 4162315908213112832 0 0 17 5 0 0 0
/proc/23091/statm: 70745 5645 348 364 0 5632 0
[pid=23093] ppid=23091 vsize=40176 CPUtime=20.78 cores=1,3,5,7
/proc/23093/stat : 23093 (scip-2.0.1.linu) R 23091 23093 23093 0 -1 4202496 11117 0 0 0 1831 247 0 0 18 0 1 0 948013434 41140224 7811 33554432000 4194304 13684479 140735677005264 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/23093/statm: 10044 7811 818 2317 0 7722 0
[pid=23084/tid=23092] ppid=23082 vsize=293224 CPUtime=0 cores=1,3,5,7
/proc/23084/task/23092/stat : 23092 (python) S 23082 23084 21667 0 -1 4202560 25 1325 0 0 0 0 0 0 18 0 2 0 948013434 300261376 7157 33554432000 4194304 5683644 140734711483200 18446744073709551615 256427215281 0 0 16781312 33554434 18446604464073532672 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 21.4
Current children cumulated vsize (KiB) 616380
[startup+23.2004 s]
/proc/loadavg: 2.16 2.12 1.64 3/770 23116
/proc/meminfo: memFree=18674604/32950928 swapFree=50514916/67111528
[pid=23084] ppid=23082 vsize=293224 CPUtime=0.46 cores=1,3,5,7
/proc/23084/stat : 23084 (python) S 23082 23084 21667 0 -1 4202496 10699 1325 1 0 35 11 0 0 18 0 2 0 948013357 300261376 7157 33554432000 4194304 5683644 140734711483200 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23084/statm: 73306 7157 1871 364 0 8193 0
[pid=23091] ppid=23084 vsize=282980 CPUtime=0.17 cores=1,3,5,7
/proc/23091/stat : 23091 (python) S 23084 23084 21667 0 -1 4202560 992 0 0 0 10 7 0 0 15 0 1 0 948013434 289771520 5648 33554432000 4194304 5683644 140734711483200 18446744073709551615 256415411727 0 0 16781312 33554946 2554663937983381504 0 0 17 5 0 0 0
/proc/23091/statm: 70745 5648 349 364 0 5632 0
[pid=23093] ppid=23091 vsize=41328 CPUtime=22.38 cores=1,3,5,7
/proc/23093/stat : 23093 (scip-2.0.1.linu) R 23091 23093 23093 0 -1 4202496 11433 0 0 0 1973 265 0 0 18 0 1 0 948013434 42319872 8127 33554432000 4194304 13684479 140735677005264 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/23093/statm: 10332 8127 818 2317 0 8010 0
[pid=23084/tid=23092] ppid=23082 vsize=293224 CPUtime=0 cores=1,3,5,7
/proc/23084/task/23092/stat : 23092 (python) S 23082 23084 21667 0 -1 4202560 25 1325 0 0 0 0 0 0 18 0 2 0 948013434 300261376 7157 33554432000 4194304 5683644 140734711483200 18446744073709551615 256427215281 0 0 16781312 33554434 18446604464073532672 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 23.01
Current children cumulated vsize (KiB) 617532
[startup+23.6003 s]
/proc/loadavg: 2.16 2.12 1.64 3/770 23116
/proc/meminfo: memFree=18674604/32950928 swapFree=50514916/67111528
[pid=23084] ppid=23082 vsize=293224 CPUtime=0.46 cores=1,3,5,7
/proc/23084/stat : 23084 (python) S 23082 23084 21667 0 -1 4202496 10699 1325 1 0 35 11 0 0 18 0 2 0 948013357 300261376 7157 33554432000 4194304 5683644 140734711483200 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23084/statm: 73306 7157 1871 364 0 8193 0
[pid=23091] ppid=23084 vsize=282980 CPUtime=0.17 cores=1,3,5,7
/proc/23091/stat : 23091 (python) S 23084 23084 21667 0 -1 4202560 992 0 0 0 10 7 0 0 15 0 1 0 948013434 289771520 5648 33554432000 4194304 5683644 140734711483200 18446744073709551615 256415411727 0 0 16781312 33554946 4117733357406650368 0 0 17 5 0 0 0
/proc/23091/statm: 70745 5648 349 364 0 5632 0
[pid=23093] ppid=23091 vsize=41484 CPUtime=22.79 cores=1,3,5,7
/proc/23093/stat : 23093 (scip-2.0.1.linu) R 23091 23093 23093 0 -1 4202496 11455 0 0 0 2007 272 0 0 18 0 1 0 948013434 42479616 8149 33554432000 4194304 13684479 140735677005264 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/23093/statm: 10371 8149 818 2317 0 8049 0
[pid=23084/tid=23092] ppid=23082 vsize=293224 CPUtime=0 cores=1,3,5,7
/proc/23084/task/23092/stat : 23092 (python) S 23082 23084 21667 0 -1 4202560 25 1325 0 0 0 0 0 0 18 0 2 0 948013434 300261376 7157 33554432000 4194304 5683644 140734711483200 18446744073709551615 256427215281 0 0 16781312 33554434 18446604464073532672 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 23.42
Current children cumulated vsize (KiB) 617688
[startup+24.0212 s]
/proc/loadavg: 2.16 2.12 1.64 3/770 23116
/proc/meminfo: memFree=18674000/32950928 swapFree=50514916/67111528
[pid=23084] ppid=23082 vsize=293224 CPUtime=0.46 cores=1,3,5,7
/proc/23084/stat : 23084 (python) S 23082 23084 21667 0 -1 4202496 10699 1325 1 0 35 11 0 0 18 0 2 0 948013357 300261376 7157 33554432000 4194304 5683644 140734711483200 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23084/statm: 73306 7157 1871 364 0 8193 0
[pid=23091] ppid=23084 vsize=282980 CPUtime=0.19 cores=1,3,5,7
/proc/23091/stat : 23091 (python) S 23084 23084 21667 0 -1 4202560 994 0 0 0 11 8 0 0 16 0 1 0 948013434 289771520 5648 33554432000 4194304 5683644 140734711483200 18446744073709551615 256415411727 0 0 16781312 33554946 4294934790 0 0 17 5 0 0 0
/proc/23091/statm: 70745 5648 349 364 0 5632 0
[pid=23093] ppid=23091 vsize=41484 CPUtime=23.21 cores=1,3,5,7
/proc/23093/stat : 23093 (scip-2.0.1.linu) R 23091 23093 23093 0 -1 4202496 11467 0 0 0 2043 278 0 0 18 0 1 0 948013434 42479616 8161 33554432000 4194304 13684479 140735677005264 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/23093/statm: 10371 8161 818 2317 0 8049 0
[pid=23084/tid=23092] ppid=23082 vsize=293224 CPUtime=0 cores=1,3,5,7
/proc/23084/task/23092/stat : 23092 (python) S 23082 23084 21667 0 -1 4202560 25 1325 0 0 0 0 0 0 18 0 2 0 948013434 300261376 7157 33554432000 4194304 5683644 140734711483200 18446744073709551615 256427215281 0 0 16781312 33554434 18446604464073532672 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 23.86
Current children cumulated vsize (KiB) 617688
[startup+24.1012 s]
/proc/loadavg: 2.16 2.12 1.64 3/770 23116
/proc/meminfo: memFree=18674000/32950928 swapFree=50514916/67111528
[pid=23084] ppid=23082 vsize=293224 CPUtime=0.46 cores=1,3,5,7
/proc/23084/stat : 23084 (python) S 23082 23084 21667 0 -1 4202496 10699 1325 1 0 35 11 0 0 18 0 2 0 948013357 300261376 7157 33554432000 4194304 5683644 140734711483200 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23084/statm: 73306 7157 1871 364 0 8193 0
[pid=23091] ppid=23084 vsize=282980 CPUtime=0.19 cores=1,3,5,7
/proc/23091/stat : 23091 (python) S 23084 23084 21667 0 -1 4202560 994 0 0 0 11 8 0 0 15 0 1 0 948013434 289771520 5648 33554432000 4194304 5683644 140734711483200 18446744073709551615 256415411727 0 0 16781312 33554946 1982721877822406656 0 0 17 5 0 0 0
/proc/23091/statm: 70745 5648 349 364 0 5632 0
[pid=23093] ppid=23091 vsize=41484 CPUtime=23.29 cores=1,3,5,7
/proc/23093/stat : 23093 (scip-2.0.1.linu) R 23091 23093 23093 0 -1 4202496 11472 0 0 0 2050 279 0 0 18 0 1 0 948013434 42479616 8166 33554432000 4194304 13684479 140735677005264 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/23093/statm: 10371 8166 818 2317 0 8049 0
[pid=23084/tid=23092] ppid=23082 vsize=293224 CPUtime=0 cores=1,3,5,7
/proc/23084/task/23092/stat : 23092 (python) S 23082 23084 21667 0 -1 4202560 25 1325 0 0 0 0 0 0 18 0 2 0 948013434 300261376 7157 33554432000 4194304 5683644 140734711483200 18446744073709551615 256427215281 0 0 16781312 33554434 18446604464073532672 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 23.94
Current children cumulated vsize (KiB) 617688
Child status: 0
Real time (s): 24.1784
CPU time (s): 24.0543
CPU user time (s): 21.0458
CPU system time (s): 3.00854
CPU usage (%): 99.4869
Max. virtual memory (cumulated for all children) (KiB): 617688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.0458
system time used= 3.00854
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29210
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= 4813
involuntary context switches= 1225
runsolver used 0.124981 second user time and 0.318951 second system time
The end