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-3481463-1307577851/watcher-3481463-1307577851 -o /tmp/evaluation-result-3481463-1307577851/solver-3481463-1307577851 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481463-1307577851.opb -seed 1910217087 -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.12 1.64 2/766 23143
/proc/meminfo: memFree=18729876/32950928 swapFree=50514916/67111528
[pid=23143] ppid=23141 vsize=16248 CPUtime=0 cores=1,3,5,7
/proc/23143/stat : 23143 (python) R 23141 23143 21667 0 -1 4202496 1064 0 0 0 0 0 0 0 18 0 1 0 948015851 16637952 935 33554432000 4194304 5683644 140736813102416 18446744073709551615 256415391488 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/23143/statm: 4062 935 381 364 0 549 0
[startup+0.0596161 s]
/proc/loadavg: 2.16 2.12 1.64 2/766 23143
/proc/meminfo: memFree=18729876/32950928 swapFree=50514916/67111528
[pid=23143] ppid=23141 vsize=36840 CPUtime=0.04 cores=1,3,5,7
/proc/23143/stat : 23143 (python) S 23141 23143 21667 0 -1 4202496 1624 0 0 0 3 1 0 0 17 0 1 0 948015851 37724160 1453 33554432000 4194304 5683644 140736813102416 18446744073709551615 256410467975 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/23143/statm: 9210 1453 452 364 0 1027 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 36840
[startup+0.100668 s]
/proc/loadavg: 2.16 2.12 1.64 2/766 23143
/proc/meminfo: memFree=18729876/32950928 swapFree=50514916/67111528
[pid=23143] ppid=23141 vsize=96128 CPUtime=0.06 cores=1,3,5,7
/proc/23143/stat : 23143 (python) R 23141 23143 21667 0 -1 4202496 3168 928 1 0 5 1 0 0 18 0 1 0 948015851 98435072 2483 33554432000 4194304 5683644 140736813102416 18446744073709551615 5171113 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23143/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96128
[startup+0.300626 s]
/proc/loadavg: 2.16 2.12 1.64 2/766 23143
/proc/meminfo: memFree=18729876/32950928 swapFree=50514916/67111528
[pid=23143] ppid=23141 vsize=197652 CPUtime=0.21 cores=1,3,5,7
/proc/23143/stat : 23143 (python) R 23141 23143 21667 0 -1 4202496 6614 928 1 0 15 6 0 0 17 0 1 0 948015851 202395648 4903 33554432000 4194304 5683644 140736813102416 18446744073709551615 256415434887 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23143/statm: 49412 4903 1435 364 0 3677 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 197652
[startup+0.70049 s]
/proc/loadavg: 2.16 2.12 1.64 2/766 23143
/proc/meminfo: memFree=18729876/32950928 swapFree=50514916/67111528
[pid=23143] ppid=23141 vsize=293560 CPUtime=0.46 cores=1,3,5,7
/proc/23143/stat : 23143 (python) S 23141 23143 21667 0 -1 4202496 10861 1346 1 0 34 11 1 0 20 0 2 0 948015851 300605440 7244 33554432000 4194304 5683644 140736813102416 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23143/statm: 73390 7244 1871 364 0 8277 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 293560
[startup+1.50041 s]
/proc/loadavg: 2.15 2.11 1.64 3/770 23152
/proc/meminfo: memFree=18679244/32950928 swapFree=50514916/67111528
[pid=23143] ppid=23141 vsize=293560 CPUtime=0.46 cores=1,3,5,7
/proc/23143/stat : 23143 (python) S 23141 23143 21667 0 -1 4202496 10861 1346 1 0 34 11 1 0 20 0 2 0 948015851 300605440 7244 33554432000 4194304 5683644 140736813102416 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23143/statm: 73390 7244 1871 364 0 8277 0
[pid=23150] ppid=23143 vsize=283316 CPUtime=0 cores=1,3,5,7
/proc/23150/stat : 23150 (python) S 23143 23143 21667 0 -1 4202560 825 0 0 0 0 0 0 0 15 0 1 0 948015908 290115584 5694 33554432000 4194304 5683644 140736813102416 18446744073709551615 256415411727 0 0 16781312 33554946 2620908658858393600 0 0 17 5 0 0 0
/proc/23150/statm: 70829 5694 325 364 0 5716 0
[pid=23152] ppid=23150 vsize=39140 CPUtime=0.91 cores=1,3,5,7
/proc/23152/stat : 23152 (scip-2.0.1.linu) R 23150 23152 23152 0 -1 4202496 9219 0 0 0 70 21 0 0 18 0 1 0 948015909 40079360 7524 33554432000 4194304 13684479 140735501866160 18446744073709551615 6457238 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/23152/statm: 9785 7524 776 2317 0 7463 0
[pid=23143/tid=23151] ppid=23141 vsize=293560 CPUtime=0.01 cores=1,3,5,7
/proc/23143/task/23151/stat : 23151 (python) S 23141 23143 21667 0 -1 4202560 27 1346 0 0 0 0 1 0 20 0 2 0 948015908 300605440 7244 33554432000 4194304 5683644 140736813102416 18446744073709551615 256427215281 0 0 16781312 33554434 18446604459961790528 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 616016
[startup+3.10111 s]
/proc/loadavg: 2.15 2.11 1.64 3/770 23152
/proc/meminfo: memFree=18669716/32950928 swapFree=50514916/67111528
[pid=23143] ppid=23141 vsize=293560 CPUtime=0.46 cores=1,3,5,7
/proc/23143/stat : 23143 (python) S 23141 23143 21667 0 -1 4202496 10861 1346 1 0 34 11 1 0 20 0 2 0 948015851 300605440 7244 33554432000 4194304 5683644 140736813102416 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23143/statm: 73390 7244 1871 364 0 8277 0
[pid=23150] ppid=23143 vsize=283316 CPUtime=0 cores=1,3,5,7
/proc/23150/stat : 23150 (python) S 23143 23143 21667 0 -1 4202560 829 0 0 0 0 0 0 0 15 0 1 0 948015908 290115584 5694 33554432000 4194304 5683644 140736813102416 18446744073709551615 256415411727 0 0 16781312 33554946 884432288501202944 0 0 17 5 0 0 0
/proc/23150/statm: 70829 5694 325 364 0 5716 0
[pid=23152] ppid=23150 vsize=43144 CPUtime=2.51 cores=1,3,5,7
/proc/23152/stat : 23152 (scip-2.0.1.linu) R 23150 23152 23152 0 -1 4202496 10255 0 0 0 226 25 0 0 18 0 1 0 948015909 44179456 8560 33554432000 4194304 13684479 140735501866160 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/23152/statm: 10786 8560 779 2317 0 8464 0
[pid=23143/tid=23151] ppid=23141 vsize=293560 CPUtime=0.01 cores=1,3,5,7
/proc/23143/task/23151/stat : 23151 (python) S 23141 23143 21667 0 -1 4202560 27 1346 0 0 0 0 1 0 20 0 2 0 948015908 300605440 7244 33554432000 4194304 5683644 140736813102416 18446744073709551615 256427215281 0 0 16781312 33554434 18446604459961790528 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 620020
[startup+6.30048 s]
/proc/loadavg: 2.14 2.11 1.64 3/770 23152
/proc/meminfo: memFree=18667148/32950928 swapFree=50514916/67111528
[pid=23143] ppid=23141 vsize=293560 CPUtime=0.46 cores=1,3,5,7
/proc/23143/stat : 23143 (python) S 23141 23143 21667 0 -1 4202496 10861 1346 1 0 34 11 1 0 20 0 2 0 948015851 300605440 7244 33554432000 4194304 5683644 140736813102416 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23143/statm: 73390 7244 1871 364 0 8277 0
[pid=23150] ppid=23143 vsize=283316 CPUtime=0.02 cores=1,3,5,7
/proc/23150/stat : 23150 (python) S 23143 23143 21667 0 -1 4202560 969 0 0 0 1 1 0 0 15 0 1 0 948015908 290115584 5717 33554432000 4194304 5683644 140736813102416 18446744073709551615 256415411727 0 0 16781312 33554946 3716928061610917888 0 0 17 5 0 0 0
/proc/23150/statm: 70829 5717 348 364 0 5716 0
[pid=23152] ppid=23150 vsize=45444 CPUtime=5.71 cores=1,3,5,7
/proc/23152/stat : 23152 (scip-2.0.1.linu) R 23150 23152 23152 0 -1 4202496 11615 0 0 0 539 32 0 0 18 0 1 0 948015909 46534656 9181 33554432000 4194304 13684479 140735501866160 18446744073709551615 7431882 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/23152/statm: 11361 9181 793 2317 0 9039 0
[pid=23143/tid=23151] ppid=23141 vsize=293560 CPUtime=0.01 cores=1,3,5,7
/proc/23143/task/23151/stat : 23151 (python) S 23141 23143 21667 0 -1 4202560 27 1346 0 0 0 0 1 0 20 0 2 0 948015908 300605440 7244 33554432000 4194304 5683644 140736813102416 18446744073709551615 256427215281 0 0 16781312 33554434 18446604459961790528 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 622320
[startup+12.7003 s]
/proc/loadavg: 2.13 2.11 1.64 3/770 23152
/proc/meminfo: memFree=18671736/32950928 swapFree=50514916/67111528
[pid=23143] ppid=23141 vsize=293560 CPUtime=0.46 cores=1,3,5,7
/proc/23143/stat : 23143 (python) S 23141 23143 21667 0 -1 4202496 10861 1346 1 0 34 11 1 0 20 0 2 0 948015851 300605440 7244 33554432000 4194304 5683644 140736813102416 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23143/statm: 73390 7244 1871 364 0 8277 0
[pid=23150] ppid=23143 vsize=283316 CPUtime=0.04 cores=1,3,5,7
/proc/23150/stat : 23150 (python) S 23143 23143 21667 0 -1 4202560 976 0 0 0 1 3 0 0 15 0 1 0 948015908 290115584 5717 33554432000 4194304 5683644 140736813102416 18446744073709551615 256415411727 0 0 16781312 33554946 1174984618462412800 0 0 17 7 0 0 0
/proc/23150/statm: 70829 5717 348 364 0 5716 0
[pid=23152] ppid=23150 vsize=45444 CPUtime=12.11 cores=1,3,5,7
/proc/23152/stat : 23152 (scip-2.0.1.linu) R 23150 23152 23152 0 -1 4202496 11638 0 0 0 1154 57 0 0 25 0 1 0 948015909 46534656 9204 33554432000 4194304 13684479 140735501866160 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/23152/statm: 11361 9204 816 2317 0 9039 0
[pid=23143/tid=23151] ppid=23141 vsize=293560 CPUtime=0.01 cores=1,3,5,7
/proc/23143/task/23151/stat : 23151 (python) S 23141 23143 21667 0 -1 4202560 27 1346 0 0 0 0 1 0 20 0 2 0 948015908 300605440 7244 33554432000 4194304 5683644 140736813102416 18446744073709551615 256427215281 0 0 16781312 33554434 18446604459961790528 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 622320
[startup+25.5008 s]
/proc/loadavg: 2.11 2.11 1.65 3/770 23152
/proc/meminfo: memFree=18681308/32950928 swapFree=50514916/67111528
[pid=23143] ppid=23141 vsize=293560 CPUtime=0.46 cores=1,3,5,7
/proc/23143/stat : 23143 (python) S 23141 23143 21667 0 -1 4202496 10861 1346 1 0 34 11 1 0 20 0 2 0 948015851 300605440 7244 33554432000 4194304 5683644 140736813102416 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23143/statm: 73390 7244 1871 364 0 8277 0
[pid=23150] ppid=23143 vsize=283316 CPUtime=0.11 cores=1,3,5,7
/proc/23150/stat : 23150 (python) S 23143 23143 21667 0 -1 4202560 983 0 0 0 5 6 0 0 15 0 1 0 948015908 290115584 5717 33554432000 4194304 5683644 140736813102416 18446744073709551615 256415411727 0 0 16781312 33554946 4294934788 0 0 17 7 0 0 0
/proc/23150/statm: 70829 5717 348 364 0 5716 0
[pid=23152] ppid=23150 vsize=56596 CPUtime=24.91 cores=1,3,5,7
/proc/23152/stat : 23152 (scip-2.0.1.linu) R 23150 23152 23152 0 -1 4202496 13964 0 0 0 2386 105 0 0 23 0 1 0 948015909 57954304 11511 33554432000 4194304 13684479 140735501866160 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/23152/statm: 14149 11511 824 2317 0 11827 0
[pid=23143/tid=23151] ppid=23141 vsize=293560 CPUtime=0.01 cores=1,3,5,7
/proc/23143/task/23151/stat : 23151 (python) S 23141 23143 21667 0 -1 4202560 27 1346 0 0 0 0 1 0 20 0 2 0 948015908 300605440 7244 33554432000 4194304 5683644 140736813102416 18446744073709551615 256427215281 0 0 16781312 33554434 18446604459961790528 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 633472
Solver just ended. Dumping a history of the last processes samples
[startup+28.7012 s]
/proc/loadavg: 2.10 2.10 1.65 3/774 23156
/proc/meminfo: memFree=18669000/32950928 swapFree=50514916/67111528
[pid=23143] ppid=23141 vsize=293560 CPUtime=0.46 cores=1,3,5,7
/proc/23143/stat : 23143 (python) S 23141 23143 21667 0 -1 4202496 10861 1346 1 0 34 11 1 0 20 0 2 0 948015851 300605440 7244 33554432000 4194304 5683644 140736813102416 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23143/statm: 73390 7244 1871 364 0 8277 0
[pid=23150] ppid=23143 vsize=283316 CPUtime=0.14 cores=1,3,5,7
/proc/23150/stat : 23150 (python) S 23143 23143 21667 0 -1 4202560 984 0 0 0 6 8 0 0 15 0 1 0 948015908 290115584 5717 33554432000 4194304 5683644 140736813102416 18446744073709551615 256415411727 0 0 16781312 33554946 2641695497412149248 0 0 17 7 0 0 0
/proc/23150/statm: 70829 5717 348 364 0 5716 0
[pid=23152] ppid=23150 vsize=56596 CPUtime=28.11 cores=1,3,5,7
/proc/23152/stat : 23152 (scip-2.0.1.linu) R 23150 23152 23152 0 -1 4202496 13965 0 0 0 2695 116 0 0 18 0 1 0 948015909 57954304 11512 33554432000 4194304 13684479 140735501866160 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/23152/statm: 14149 11512 824 2317 0 11827 0
[pid=23143/tid=23151] ppid=23141 vsize=293560 CPUtime=0.01 cores=1,3,5,7
/proc/23143/task/23151/stat : 23151 (python) S 23141 23143 21667 0 -1 4202560 27 1346 0 0 0 0 1 0 20 0 2 0 948015908 300605440 7244 33554432000 4194304 5683644 140736813102416 18446744073709551615 256427215281 0 0 16781312 33554434 18446604459961790528 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 28.71
Current children cumulated vsize (KiB) 633472
[startup+31.9216 s]
/proc/loadavg: 2.09 2.10 1.65 3/774 23156
/proc/meminfo: memFree=18668364/32950928 swapFree=50514916/67111528
[pid=23143] ppid=23141 vsize=293560 CPUtime=0.46 cores=1,3,5,7
/proc/23143/stat : 23143 (python) S 23141 23143 21667 0 -1 4202496 10861 1346 1 0 34 11 1 0 20 0 2 0 948015851 300605440 7244 33554432000 4194304 5683644 140736813102416 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23143/statm: 73390 7244 1871 364 0 8277 0
[pid=23150] ppid=23143 vsize=283316 CPUtime=0.16 cores=1,3,5,7
/proc/23150/stat : 23150 (python) S 23143 23143 21667 0 -1 4202560 987 0 0 0 7 9 0 0 15 0 1 0 948015908 290115584 5717 33554432000 4194304 5683644 140736813102416 18446744073709551615 256415411727 0 0 16781312 33554946 2630645581646659584 0 0 17 7 0 0 0
/proc/23150/statm: 70829 5717 348 364 0 5716 0
[pid=23152] ppid=23150 vsize=56596 CPUtime=31.33 cores=1,3,5,7
/proc/23152/stat : 23152 (scip-2.0.1.linu) R 23150 23152 23152 0 -1 4202496 13966 0 0 0 3005 128 0 0 25 0 1 0 948015909 57954304 11513 33554432000 4194304 13684479 140735501866160 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/23152/statm: 14149 11513 824 2317 0 11827 0
[pid=23143/tid=23151] ppid=23141 vsize=293560 CPUtime=0.01 cores=1,3,5,7
/proc/23143/task/23151/stat : 23151 (python) S 23141 23143 21667 0 -1 4202560 27 1346 0 0 0 0 1 0 20 0 2 0 948015908 300605440 7244 33554432000 4194304 5683644 140736813102416 18446744073709551615 256427215281 0 0 16781312 33554434 18446604459961790528 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 31.95
Current children cumulated vsize (KiB) 633472
[startup+32.7004 s]
/proc/loadavg: 2.09 2.10 1.65 3/774 23156
/proc/meminfo: memFree=18668364/32950928 swapFree=50514916/67111528
[pid=23143] ppid=23141 vsize=293560 CPUtime=0.46 cores=1,3,5,7
/proc/23143/stat : 23143 (python) S 23141 23143 21667 0 -1 4202496 10861 1346 1 0 34 11 1 0 20 0 2 0 948015851 300605440 7244 33554432000 4194304 5683644 140736813102416 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23143/statm: 73390 7244 1871 364 0 8277 0
[pid=23150] ppid=23143 vsize=283316 CPUtime=0.16 cores=1,3,5,7
/proc/23150/stat : 23150 (python) S 23143 23143 21667 0 -1 4202560 987 0 0 0 7 9 0 0 16 0 1 0 948015908 290115584 5717 33554432000 4194304 5683644 140736813102416 18446744073709551615 256415411727 0 0 16781312 33554946 3291123642380845056 0 0 17 7 0 0 0
/proc/23150/statm: 70829 5717 348 364 0 5716 0
[pid=23152] ppid=23150 vsize=56596 CPUtime=32.11 cores=1,3,5,7
/proc/23152/stat : 23152 (scip-2.0.1.linu) R 23150 23152 23152 0 -1 4202496 13966 0 0 0 3079 132 0 0 18 0 1 0 948015909 57954304 11513 33554432000 4194304 13684479 140735501866160 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/23152/statm: 14149 11513 824 2317 0 11827 0
[pid=23143/tid=23151] ppid=23141 vsize=293560 CPUtime=0.01 cores=1,3,5,7
/proc/23143/task/23151/stat : 23151 (python) S 23141 23143 21667 0 -1 4202560 27 1346 0 0 0 0 1 0 20 0 2 0 948015908 300605440 7244 33554432000 4194304 5683644 140736813102416 18446744073709551615 256427215281 0 0 16781312 33554434 18446604459961790528 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 32.73
Current children cumulated vsize (KiB) 633472
[startup+33.1004 s]
/proc/loadavg: 2.09 2.10 1.65 3/774 23157
/proc/meminfo: memFree=18667744/32950928 swapFree=50514916/67111528
[pid=23143] ppid=23141 vsize=293560 CPUtime=0.46 cores=1,3,5,7
/proc/23143/stat : 23143 (python) S 23141 23143 21667 0 -1 4202496 10861 1346 1 0 34 11 1 0 20 0 2 0 948015851 300605440 7244 33554432000 4194304 5683644 140736813102416 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23143/statm: 73390 7244 1871 364 0 8277 0
[pid=23150] ppid=23143 vsize=283316 CPUtime=0.16 cores=1,3,5,7
/proc/23150/stat : 23150 (python) S 23143 23143 21667 0 -1 4202560 987 0 0 0 7 9 0 0 15 0 1 0 948015908 290115584 5717 33554432000 4194304 5683644 140736813102416 18446744073709551615 256415411727 0 0 16781312 33554946 408930626595454976 0 0 17 7 0 0 0
/proc/23150/statm: 70829 5717 348 364 0 5716 0
[pid=23152] ppid=23150 vsize=56596 CPUtime=32.51 cores=1,3,5,7
/proc/23152/stat : 23152 (scip-2.0.1.linu) R 23150 23152 23152 0 -1 4202496 13966 0 0 0 3118 133 0 0 18 0 1 0 948015909 57954304 11513 33554432000 4194304 13684479 140735501866160 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/23152/statm: 14149 11513 824 2317 0 11827 0
[pid=23143/tid=23151] ppid=23141 vsize=293560 CPUtime=0.01 cores=1,3,5,7
/proc/23143/task/23151/stat : 23151 (python) S 23141 23143 21667 0 -1 4202560 27 1346 0 0 0 0 1 0 20 0 2 0 948015908 300605440 7244 33554432000 4194304 5683644 140736813102416 18446744073709551615 256427215281 0 0 16781312 33554434 18446604459961790528 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 33.13
Current children cumulated vsize (KiB) 633472
[startup+33.5013 s]
/proc/loadavg: 2.09 2.10 1.65 3/774 23157
/proc/meminfo: memFree=18667744/32950928 swapFree=50514916/67111528
[pid=23143] ppid=23141 vsize=293560 CPUtime=0.46 cores=1,3,5,7
/proc/23143/stat : 23143 (python) S 23141 23143 21667 0 -1 4202496 10861 1346 1 0 34 11 1 0 20 0 2 0 948015851 300605440 7244 33554432000 4194304 5683644 140736813102416 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23143/statm: 73390 7244 1871 364 0 8277 0
[pid=23150] ppid=23143 vsize=283316 CPUtime=0.16 cores=1,3,5,7
/proc/23150/stat : 23150 (python) S 23143 23143 21667 0 -1 4202560 987 0 0 0 7 9 0 0 15 0 1 0 948015908 290115584 5717 33554432000 4194304 5683644 140736813102416 18446744073709551615 256415411727 0 0 16781312 33554946 3513598730655760384 0 0 17 7 0 0 0
/proc/23150/statm: 70829 5717 348 364 0 5716 0
[pid=23152] ppid=23150 vsize=56596 CPUtime=32.91 cores=1,3,5,7
/proc/23152/stat : 23152 (scip-2.0.1.linu) R 23150 23152 23152 0 -1 4202496 13966 0 0 0 3156 135 0 0 18 0 1 0 948015909 57954304 11513 33554432000 4194304 13684479 140735501866160 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/23152/statm: 14149 11513 824 2317 0 11827 0
[pid=23143/tid=23151] ppid=23141 vsize=293560 CPUtime=0.01 cores=1,3,5,7
/proc/23143/task/23151/stat : 23151 (python) S 23141 23143 21667 0 -1 4202560 27 1346 0 0 0 0 1 0 20 0 2 0 948015908 300605440 7244 33554432000 4194304 5683644 140736813102416 18446744073709551615 256427215281 0 0 16781312 33554434 18446604459961790528 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 33.53
Current children cumulated vsize (KiB) 633472
[startup+33.6002 s]
/proc/loadavg: 2.09 2.10 1.65 3/774 23157
/proc/meminfo: memFree=18667744/32950928 swapFree=50514916/67111528
[pid=23143] ppid=23141 vsize=293560 CPUtime=0.46 cores=1,3,5,7
/proc/23143/stat : 23143 (python) S 23141 23143 21667 0 -1 4202496 10861 1346 1 0 34 11 1 0 20 0 2 0 948015851 300605440 7244 33554432000 4194304 5683644 140736813102416 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23143/statm: 73390 7244 1871 364 0 8277 0
[pid=23150] ppid=23143 vsize=293560 CPUtime=33.16 cores=1,3,5,7
/proc/23150/stat : 23150 (python) S 23143 23143 21667 0 -1 4202560 1345 13971 0 0 7 9 3165 135 16 0 2 0 948015908 300605440 5809 33554432000 4194304 5683644 140736813102416 18446744073709551615 256427215281 0 0 16781824 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23150/statm: 73390 5809 434 364 0 8277 0
[pid=23143/tid=23151] ppid=23141 vsize=293560 CPUtime=0.01 cores=1,3,5,7
/proc/23143/task/23151/stat : 23151 (python) S 23141 23143 21667 0 -1 4202560 27 1346 0 0 0 0 1 0 20 0 2 0 948015908 300605440 7244 33554432000 4194304 5683644 140736813102416 18446744073709551615 256427215281 0 0 16781312 33554434 18446604459961790528 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 33.62
Current children cumulated vsize (KiB) 587120
Child status: 0
Real time (s): 33.6224
CPU time (s): 33.6929
CPU user time (s): 32.1121
CPU system time (s): 1.58076
CPU usage (%): 100.21
Max. virtual memory (cumulated for all children) (KiB): 633472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.1121
system time used= 1.58076
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31976
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= 2013
involuntary context switches= 100
runsolver used 0.179972 second user time and 0.444932 second system time
The end