runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3729051-1338713713/watcher-3729051-1338713713 -o /tmp/evaluation-result-3729051-1338713713/solver-3729051-1338713713 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3729051-1338713713.opb -seed 2132750167 -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: 1.55 1.20 1.46 3/179 2711
/proc/meminfo: memFree=31297088/32873844 swapFree=7116/7116
[pid=2711] ppid=2709 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/2711/stat : 2711 (python) D 2709 2711 2614 0 -1 4202496 634 0 0 0 0 0 0 0 20 0 1 0 337496332 15642624 527 33554432000 4194304 5683644 140735199487920 140735199473832 240565175184 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/2711/statm: 3819 527 312 364 0 261 0
[startup+0.021455 s]
/proc/loadavg: 1.55 1.20 1.46 3/179 2711
/proc/meminfo: memFree=31297088/32873844 swapFree=7116/7116
[pid=2711] ppid=2709 vsize=15576 CPUtime=0 cores=1,3,5,7
/proc/2711/stat : 2711 (python) D 2709 2711 2614 0 -1 4202496 828 0 0 0 0 0 0 0 20 0 1 0 337496332 15949824 695 33554432000 4194304 5683644 140735199487920 140735199418920 240565175184 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/2711/statm: 3894 695 334 364 0 336 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15576
[startup+0.100269 s]
/proc/loadavg: 1.55 1.20 1.46 3/179 2711
/proc/meminfo: memFree=31297088/32873844 swapFree=7116/7116
[pid=2711] ppid=2709 vsize=19084 CPUtime=0.03 cores=1,3,5,7
/proc/2711/stat : 2711 (python) R 2709 2711 2614 0 -1 4202496 1399 0 0 0 2 1 0 0 20 0 1 0 337496332 19542016 1153 33554432000 4194304 5683644 140735199487920 140735199418424 240565175184 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/2711/statm: 4771 1153 430 364 0 695 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 19084
[startup+0.300341 s]
/proc/loadavg: 1.55 1.20 1.46 3/179 2711
/proc/meminfo: memFree=31297088/32873844 swapFree=7116/7116
[pid=2711] ppid=2709 vsize=99656 CPUtime=0.12 cores=1,3,5,7
/proc/2711/stat : 2711 (python) R 2709 2711 2614 0 -1 4202496 4050 1009 1 0 9 3 0 0 20 0 1 0 337496332 102047744 2693 33554432000 4194304 5683644 140735199487920 140735199356280 240565175184 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/2711/statm: 24914 2693 850 364 0 1721 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 99656
[startup+0.700261 s]
/proc/loadavg: 1.55 1.20 1.46 3/179 2711
/proc/meminfo: memFree=31297088/32873844 swapFree=7116/7116
[pid=2711] ppid=2709 vsize=166944 CPUtime=0.25 cores=1,3,5,7
/proc/2711/stat : 2711 (python) D 2709 2711 2614 0 -1 4202496 6519 1009 1 0 16 9 0 0 20 0 1 0 337496332 170950656 4322 33554432000 4194304 5683644 140735199487920 140735199392152 240565175184 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/2711/statm: 41736 4322 1215 364 0 3289 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 166944
[startup+1.50023 s]
/proc/loadavg: 1.55 1.20 1.46 2/180 2716
/proc/meminfo: memFree=31279464/32873844 swapFree=7116/7116
[pid=2711] ppid=2709 vsize=357288 CPUtime=0.5 cores=1,3,5,7
/proc/2711/stat : 2711 (python) S 2709 2711 2614 0 -1 4202496 10534 1009 1 0 35 15 0 0 20 0 2 0 337496332 365862912 7215 33554432000 4194304 5683644 140735199487920 140735199482752 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2711/statm: 89322 7215 1900 364 0 24545 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 357288
[startup+3.10037 s]
/proc/loadavg: 1.59 1.21 1.46 3/183 2719
/proc/meminfo: memFree=31242744/32873844 swapFree=7116/7116
[pid=2711] ppid=2709 vsize=357288 CPUtime=0.5 cores=1,3,5,7
/proc/2711/stat : 2711 (python) S 2709 2711 2614 0 -1 4202496 10534 1009 1 0 35 15 0 0 20 0 2 0 337496332 365862912 7215 33554432000 4194304 5683644 140735199487920 140735199482752 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2711/statm: 89322 7215 1900 364 0 24545 0
[pid=2717] ppid=2711 vsize=281508 CPUtime=0 cores=1,3,5,7
/proc/2717/stat : 2717 (python) S 2711 2711 2614 0 -1 4202560 759 0 0 0 0 0 0 0 20 0 1 0 337496458 288264192 5650 33554432000 4194304 5683644 140735199487920 140735199479008 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 5 0 0 0 0 0
/proc/2717/statm: 70377 5650 341 364 0 5600 0
[pid=2719] ppid=2717 vsize=44036 CPUtime=1.82 cores=1,3,5,7
/proc/2719/stat : 2719 (scip-2.0.1.linu) R 2717 2719 2719 0 -1 4202496 10211 0 0 0 180 2 0 0 20 0 1 0 337496458 45092864 8849 33554432000 4194304 13684479 140734043267024 140734043260776 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/2719/statm: 11009 8849 814 2317 0 8687 0
[pid=2711/tid=2718] ppid=2709 vsize=357288 CPUtime=0 cores=1,3,5,7
/proc/2711/task/2718/stat : 2718 (python) S 2709 2711 2614 0 -1 4202560 27 1009 0 0 0 0 0 0 20 0 2 0 337496458 365862912 7215 33554432000 4194304 5683644 140735199487920 139783070122544 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 682832
heavy processes:
[startup+6.30039 s]
/proc/loadavg: 1.59 1.21 1.46 3/183 2719
/proc/meminfo: memFree=31236560/32873844 swapFree=7116/7116
[pid=2711] ppid=2709 vsize=357288 CPUtime=0.5 cores=1,3,5,7
/proc/2711/stat : 2711 (python) S 2709 2711 2614 0 -1 4202496 10534 1009 1 0 35 15 0 0 20 0 2 0 337496332 365862912 7215 33554432000 4194304 5683644 140735199487920 140735199482752 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2711/statm: 89322 7215 1900 364 0 24545 0
[pid=2717] ppid=2711 vsize=281508 CPUtime=0 cores=1,3,5,7
/proc/2717/stat : 2717 (python) S 2711 2711 2614 0 -1 4202560 880 0 0 0 0 0 0 0 20 0 1 0 337496458 288264192 5672 33554432000 4194304 5683644 140735199487920 140735199479008 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/2717/statm: 70377 5672 363 364 0 5600 0
[pid=2719] ppid=2717 vsize=44036 CPUtime=5.03 cores=1,3,5,7
/proc/2719/stat : 2719 (scip-2.0.1.linu) R 2717 2719 2719 0 -1 4202496 10215 0 0 0 494 9 0 0 20 0 1 0 337496458 45092864 8853 33554432000 4194304 13684479 140734043267024 140734043261240 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/2719/statm: 11009 8853 818 2317 0 8687 0
[pid=2711/tid=2718] ppid=2709 vsize=357288 CPUtime=0 cores=1,3,5,7
/proc/2711/task/2718/stat : 2718 (python) S 2709 2711 2614 0 -1 4202560 27 1009 0 0 0 0 0 0 20 0 2 0 337496458 365862912 7215 33554432000 4194304 5683644 140735199487920 139783070122544 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 5.53
Current children cumulated vsize (KiB) 682832
[startup+12.7004 s]
/proc/loadavg: 1.80 1.27 1.48 3/183 2719
/proc/meminfo: memFree=31241064/32873844 swapFree=7116/7116
[pid=2711] ppid=2709 vsize=357288 CPUtime=0.5 cores=1,3,5,7
/proc/2711/stat : 2711 (python) S 2709 2711 2614 0 -1 4202496 10534 1009 1 0 35 15 0 0 20 0 2 0 337496332 365862912 7215 33554432000 4194304 5683644 140735199487920 140735199482752 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2711/statm: 89322 7215 1900 364 0 24545 0
[pid=2717] ppid=2711 vsize=281508 CPUtime=0.01 cores=1,3,5,7
/proc/2717/stat : 2717 (python) S 2711 2711 2614 0 -1 4202560 992 0 0 0 1 0 0 0 20 0 1 0 337496458 288264192 5678 33554432000 4194304 5683644 140735199487920 140735199479008 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2717/statm: 70377 5678 369 364 0 5600 0
[pid=2719] ppid=2717 vsize=44036 CPUtime=11.42 cores=1,3,5,7
/proc/2719/stat : 2719 (scip-2.0.1.linu) R 2717 2719 2719 0 -1 4202496 10215 0 0 0 1110 32 0 0 20 0 1 0 337496458 45092864 8853 33554432000 4194304 13684479 140734043267024 140734043264136 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/2719/statm: 11009 8853 818 2317 0 8687 0
[pid=2711/tid=2718] ppid=2709 vsize=357288 CPUtime=0 cores=1,3,5,7
/proc/2711/task/2718/stat : 2718 (python) S 2709 2711 2614 0 -1 4202560 27 1009 0 0 0 0 0 0 20 0 2 0 337496458 365862912 7215 33554432000 4194304 5683644 140735199487920 139783070122544 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 11.93
Current children cumulated vsize (KiB) 682832
[startup+25.5004 s]
/proc/loadavg: 1.83 1.29 1.48 3/183 2719
/proc/meminfo: memFree=31241304/32873844 swapFree=7116/7116
[pid=2711] ppid=2709 vsize=357288 CPUtime=0.5 cores=1,3,5,7
/proc/2711/stat : 2711 (python) S 2709 2711 2614 0 -1 4202496 10534 1009 1 0 35 15 0 0 20 0 2 0 337496332 365862912 7215 33554432000 4194304 5683644 140735199487920 140735199482752 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2711/statm: 89322 7215 1900 364 0 24545 0
[pid=2717] ppid=2711 vsize=281640 CPUtime=0.05 cores=1,3,5,7
/proc/2717/stat : 2717 (python) S 2711 2711 2614 0 -1 4202560 1022 0 0 0 3 2 0 0 20 0 1 0 337496458 288399360 5688 33554432000 4194304 5683644 140735199487920 140735199479008 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2717/statm: 70410 5688 371 364 0 5633 0
[pid=2719] ppid=2717 vsize=44036 CPUtime=24.23 cores=1,3,5,7
/proc/2719/stat : 2719 (scip-2.0.1.linu) R 2717 2719 2719 0 -1 4202496 10215 0 0 0 2348 75 0 0 20 0 1 0 337496458 45092864 8853 33554432000 4194304 13684479 140734043267024 140734043261176 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/2719/statm: 11009 8853 818 2317 0 8687 0
[pid=2711/tid=2718] ppid=2709 vsize=357288 CPUtime=0 cores=1,3,5,7
/proc/2711/task/2718/stat : 2718 (python) S 2709 2711 2614 0 -1 4202560 27 1009 0 0 0 0 0 0 20 0 2 0 337496458 365862912 7215 33554432000 4194304 5683644 140735199487920 139783070122544 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 24.78
Current children cumulated vsize (KiB) 682964
Solver just ended. Dumping a history of the last processes samples
[startup+25.6004 s]
/proc/loadavg: 1.83 1.29 1.48 3/183 2719
/proc/meminfo: memFree=31241304/32873844 swapFree=7116/7116
[pid=2711] ppid=2709 vsize=357288 CPUtime=0.5 cores=1,3,5,7
/proc/2711/stat : 2711 (python) S 2709 2711 2614 0 -1 4202496 10534 1009 1 0 35 15 0 0 20 0 2 0 337496332 365862912 7215 33554432000 4194304 5683644 140735199487920 140735199482752 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2711/statm: 89322 7215 1900 364 0 24545 0
[pid=2717] ppid=2711 vsize=281640 CPUtime=0.05 cores=1,3,5,7
/proc/2717/stat : 2717 (python) S 2711 2711 2614 0 -1 4202560 1022 0 0 0 3 2 0 0 20 0 1 0 337496458 288399360 5688 33554432000 4194304 5683644 140735199487920 140735199479008 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2717/statm: 70410 5688 371 364 0 5633 0
[pid=2719] ppid=2717 vsize=44036 CPUtime=24.33 cores=1,3,5,7
/proc/2719/stat : 2719 (scip-2.0.1.linu) R 2717 2719 2719 0 -1 4202496 10215 0 0 0 2358 75 0 0 20 0 1 0 337496458 45092864 8853 33554432000 4194304 13684479 140734043267024 140734043261176 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/2719/statm: 11009 8853 818 2317 0 8687 0
[pid=2711/tid=2718] ppid=2709 vsize=357288 CPUtime=0 cores=1,3,5,7
/proc/2711/task/2718/stat : 2718 (python) S 2709 2711 2614 0 -1 4202560 27 1009 0 0 0 0 0 0 20 0 2 0 337496458 365862912 7215 33554432000 4194304 5683644 140735199487920 139783070122544 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 24.88
Current children cumulated vsize (KiB) 682964
[startup+38.4004 s]
/proc/loadavg: 1.94 1.34 1.49 3/183 2719
/proc/meminfo: memFree=31241040/32873844 swapFree=7116/7116
[pid=2711] ppid=2709 vsize=357288 CPUtime=0.5 cores=1,3,5,7
/proc/2711/stat : 2711 (python) S 2709 2711 2614 0 -1 4202496 10534 1009 1 0 35 15 0 0 20 0 2 0 337496332 365862912 7215 33554432000 4194304 5683644 140735199487920 140735199482752 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2711/statm: 89322 7215 1900 364 0 24545 0
[pid=2717] ppid=2711 vsize=281640 CPUtime=0.08 cores=1,3,5,7
/proc/2717/stat : 2717 (python) S 2711 2711 2614 0 -1 4202560 1038 0 0 0 5 3 0 0 20 0 1 0 337496458 288399360 5697 33554432000 4194304 5683644 140735199487920 140735199479008 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2717/statm: 70410 5697 371 364 0 5633 0
[pid=2719] ppid=2717 vsize=44036 CPUtime=37.12 cores=1,3,5,7
/proc/2719/stat : 2719 (scip-2.0.1.linu) R 2717 2719 2719 0 -1 4202496 10215 0 0 0 3598 114 0 0 20 0 1 0 337496458 45092864 8853 33554432000 4194304 13684479 140734043267024 140734043264184 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/2719/statm: 11009 8853 818 2317 0 8687 0
[pid=2711/tid=2718] ppid=2709 vsize=357288 CPUtime=0 cores=1,3,5,7
/proc/2711/task/2718/stat : 2718 (python) S 2709 2711 2614 0 -1 4202560 27 1009 0 0 0 0 0 0 20 0 2 0 337496458 365862912 7215 33554432000 4194304 5683644 140735199487920 139783070122544 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 37.7
Current children cumulated vsize (KiB) 682964
[startup+44.8004 s]
/proc/loadavg: 1.94 1.35 1.50 3/183 2719
/proc/meminfo: memFree=31241280/32873844 swapFree=7116/7116
[pid=2711] ppid=2709 vsize=357288 CPUtime=0.5 cores=1,3,5,7
/proc/2711/stat : 2711 (python) S 2709 2711 2614 0 -1 4202496 10534 1009 1 0 35 15 0 0 20 0 2 0 337496332 365862912 7215 33554432000 4194304 5683644 140735199487920 140735199482752 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2711/statm: 89322 7215 1900 364 0 24545 0
[pid=2717] ppid=2711 vsize=281640 CPUtime=0.09 cores=1,3,5,7
/proc/2717/stat : 2717 (python) S 2711 2711 2614 0 -1 4202560 1046 0 0 0 6 3 0 0 20 0 1 0 337496458 288399360 5702 33554432000 4194304 5683644 140735199487920 140735199479008 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2717/statm: 70410 5702 371 364 0 5633 0
[pid=2719] ppid=2717 vsize=44036 CPUtime=43.52 cores=1,3,5,7
/proc/2719/stat : 2719 (scip-2.0.1.linu) R 2717 2719 2719 0 -1 4202496 10215 0 0 0 4218 134 0 0 20 0 1 0 337496458 45092864 8853 33554432000 4194304 13684479 140734043267024 140734043260856 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/2719/statm: 11009 8853 818 2317 0 8687 0
[pid=2711/tid=2718] ppid=2709 vsize=357288 CPUtime=0 cores=1,3,5,7
/proc/2711/task/2718/stat : 2718 (python) S 2709 2711 2614 0 -1 4202560 27 1009 0 0 0 0 0 0 20 0 2 0 337496458 365862912 7215 33554432000 4194304 5683644 140735199487920 139783070122544 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 44.11
Current children cumulated vsize (KiB) 682964
[startup+48.0003 s]
/proc/loadavg: 1.95 1.36 1.50 3/187 2723
/proc/meminfo: memFree=31237280/32873844 swapFree=7116/7116
[pid=2711] ppid=2709 vsize=357288 CPUtime=0.5 cores=1,3,5,7
/proc/2711/stat : 2711 (python) S 2709 2711 2614 0 -1 4202496 10534 1009 1 0 35 15 0 0 20 0 2 0 337496332 365862912 7215 33554432000 4194304 5683644 140735199487920 140735199482752 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2711/statm: 89322 7215 1900 364 0 24545 0
[pid=2717] ppid=2711 vsize=281640 CPUtime=0.09 cores=1,3,5,7
/proc/2717/stat : 2717 (python) S 2711 2711 2614 0 -1 4202560 1051 0 0 0 6 3 0 0 20 0 1 0 337496458 288399360 5705 33554432000 4194304 5683644 140735199487920 140735199479008 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2717/statm: 70410 5705 371 364 0 5633 0
[pid=2719] ppid=2717 vsize=44036 CPUtime=46.72 cores=1,3,5,7
/proc/2719/stat : 2719 (scip-2.0.1.linu) R 2717 2719 2719 0 -1 4202496 10215 0 0 0 4527 145 0 0 20 0 1 0 337496458 45092864 8853 33554432000 4194304 13684479 140734043267024 140734043260856 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/2719/statm: 11009 8853 818 2317 0 8687 0
[pid=2711/tid=2718] ppid=2709 vsize=357288 CPUtime=0 cores=1,3,5,7
/proc/2711/task/2718/stat : 2718 (python) S 2709 2711 2614 0 -1 4202560 27 1009 0 0 0 0 0 0 20 0 2 0 337496458 365862912 7215 33554432000 4194304 5683644 140735199487920 139783070122544 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 47.31
Current children cumulated vsize (KiB) 682964
[startup+49.6069 s]
/proc/loadavg: 1.95 1.36 1.50 3/191 2727
/proc/meminfo: memFree=31233280/32873844 swapFree=7116/7116
[pid=2711] ppid=2709 vsize=433616 CPUtime=0.52 cores=1,3,5,7
/proc/2711/stat : 2711 (python) S 2709 2711 2614 0 -1 4202496 11398 1009 1 0 37 15 0 0 20 0 3 0 337496332 444022784 7342 33554432000 4194304 5683644 140735199487920 140735199482752 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2711/statm: 108404 7342 1903 364 0 43624 0
[pid=2717] ppid=2711 vsize=357420 CPUtime=0.11 cores=1,3,5,7
/proc/2717/stat : 2717 (python) S 2711 2711 2614 0 -1 4202560 1181 0 0 0 7 4 0 0 20 0 2 0 337496458 365998080 5741 33554432000 4194304 5683644 140735199487920 140735199479568 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2717/statm: 89355 5741 399 364 0 24578 0
[pid=2719] ppid=2717 vsize=44036 CPUtime=47.76 cores=1,3,5,7
/proc/2719/stat : 2719 (scip-2.0.1.linu) T 2717 2719 2719 0 -1 4202496 10215 0 0 0 4629 147 0 0 20 0 1 0 337496458 45092864 8853 33554432000 4194304 13684479 140734043267024 140734043261176 7154408 0 0 16781312 2 18446744071579387992 0 0 17 3 0 0 0 0 0
/proc/2719/statm: 11009 8853 818 2317 0 8687 0
[pid=2717/tid=2724] ppid=2711 vsize=357420 CPUtime=0 cores=1,3,5,7
/proc/2717/task/2724/stat : 2724 (python) S 2711 2711 2614 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 2 0 337501237 365998080 5741 33554432000 4194304 5683644 140735199487920 139783070122544 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2725] ppid=2711 vsize=357836 CPUtime=0 cores=1,3,5,7
/proc/2725/stat : 2725 (python) S 2711 2711 2614 0 -1 4202560 738 0 0 0 0 0 0 0 20 0 1 0 337501239 366424064 5766 33554432000 4194304 5683644 140735199487920 140735199479008 240565191139 0 0 16781312 33554946 18446744071580425449 0 0 17 5 0 0 0 0 0
/proc/2725/statm: 89459 5766 333 364 0 24679 0
[pid=2727] ppid=2725 vsize=2260 CPUtime=0.53 cores=1,3,5,7
/proc/2727/stat : 2727 (clasp-1.3.7-x86) R 2725 2727 2727 0 -1 4202496 548 0 0 0 53 0 0 0 20 0 1 0 337501239 2314240 295 33554432000 134512640 136139019 4290067440 4290066272 134832384 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/2727/statm: 565 295 182 398 0 165 0
[pid=2711/tid=2718] ppid=2709 vsize=433616 CPUtime=0 cores=1,3,5,7
/proc/2711/task/2718/stat : 2718 (python) S 2709 2711 2614 0 -1 4202560 27 1009 0 0 0 0 0 0 20 0 3 0 337496458 444022784 7342 33554432000 4194304 5683644 140735199487920 139783070122544 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2711/tid=2726] ppid=2709 vsize=433616 CPUtime=0 cores=1,3,5,7
/proc/2711/task/2726/stat : 2726 (python) S 2709 2711 2614 0 -1 4202560 21 1009 0 0 0 0 0 0 20 0 3 0 337501239 444022784 7342 33554432000 4194304 5683644 140735199487920 139783059632688 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 48.92
Current children cumulated vsize (KiB) 1195168
[startup+50.4004 s]
/proc/loadavg: 1.95 1.36 1.50 3/191 2727
/proc/meminfo: memFree=31233280/32873844 swapFree=7116/7116
[pid=2711] ppid=2709 vsize=433616 CPUtime=0.52 cores=1,3,5,7
/proc/2711/stat : 2711 (python) S 2709 2711 2614 0 -1 4202496 11398 1009 1 0 37 15 0 0 20 0 3 0 337496332 444022784 7342 33554432000 4194304 5683644 140735199487920 140735199482752 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2711/statm: 108404 7342 1903 364 0 43624 0
[pid=2717] ppid=2711 vsize=357420 CPUtime=0.11 cores=1,3,5,7
/proc/2717/stat : 2717 (python) S 2711 2711 2614 0 -1 4202560 1181 0 0 0 7 4 0 0 20 0 2 0 337496458 365998080 5741 33554432000 4194304 5683644 140735199487920 140735199479568 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2717/statm: 89355 5741 399 364 0 24578 0
[pid=2719] ppid=2717 vsize=44036 CPUtime=47.76 cores=1,3,5,7
/proc/2719/stat : 2719 (scip-2.0.1.linu) T 2717 2719 2719 0 -1 4202496 10215 0 0 0 4629 147 0 0 20 0 1 0 337496458 45092864 8853 33554432000 4194304 13684479 140734043267024 140734043261176 7154408 0 0 16781312 2 18446744071579387992 0 0 17 3 0 0 0 0 0
/proc/2719/statm: 11009 8853 818 2317 0 8687 0
[pid=2717/tid=2724] ppid=2711 vsize=357420 CPUtime=0 cores=1,3,5,7
/proc/2717/task/2724/stat : 2724 (python) S 2711 2711 2614 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 2 0 337501237 365998080 5741 33554432000 4194304 5683644 140735199487920 139783070122544 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2725] ppid=2711 vsize=357836 CPUtime=0 cores=1,3,5,7
/proc/2725/stat : 2725 (python) S 2711 2711 2614 0 -1 4202560 760 0 0 0 0 0 0 0 20 0 1 0 337501239 366424064 5769 33554432000 4194304 5683644 140735199487920 140735199479008 240565191139 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/2725/statm: 89459 5769 336 364 0 24679 0
[pid=2727] ppid=2725 vsize=2256 CPUtime=1.32 cores=1,3,5,7
/proc/2727/stat : 2727 (clasp-1.3.7-x86) R 2725 2727 2727 0 -1 4202496 568 0 0 0 132 0 0 0 20 0 1 0 337501239 2310144 315 33554432000 134512640 136139019 4290067440 4290066272 134831812 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/2727/statm: 564 315 182 398 0 164 0
[pid=2711/tid=2718] ppid=2709 vsize=433616 CPUtime=0 cores=1,3,5,7
/proc/2711/task/2718/stat : 2718 (python) S 2709 2711 2614 0 -1 4202560 27 1009 0 0 0 0 0 0 20 0 3 0 337496458 444022784 7342 33554432000 4194304 5683644 140735199487920 139783070122544 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2711/tid=2726] ppid=2709 vsize=433616 CPUtime=0 cores=1,3,5,7
/proc/2711/task/2726/stat : 2726 (python) S 2709 2711 2614 0 -1 4202560 21 1009 0 0 0 0 0 0 20 0 3 0 337501239 444022784 7342 33554432000 4194304 5683644 140735199487920 139783059632688 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 49.71
Current children cumulated vsize (KiB) 1195164
[startup+50.6004 s]
/proc/loadavg: 1.95 1.36 1.50 3/191 2727
/proc/meminfo: memFree=31232536/32873844 swapFree=7116/7116
[pid=2711] ppid=2709 vsize=433616 CPUtime=0.52 cores=1,3,5,7
/proc/2711/stat : 2711 (python) S 2709 2711 2614 0 -1 4202496 11398 1009 1 0 37 15 0 0 20 0 3 0 337496332 444022784 7342 33554432000 4194304 5683644 140735199487920 140735199482752 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2711/statm: 108404 7342 1903 364 0 43624 0
[pid=2717] ppid=2711 vsize=357420 CPUtime=0.11 cores=1,3,5,7
/proc/2717/stat : 2717 (python) S 2711 2711 2614 0 -1 4202560 1181 0 0 0 7 4 0 0 20 0 2 0 337496458 365998080 5741 33554432000 4194304 5683644 140735199487920 140735199479568 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2717/statm: 89355 5741 399 364 0 24578 0
[pid=2719] ppid=2717 vsize=44036 CPUtime=47.76 cores=1,3,5,7
/proc/2719/stat : 2719 (scip-2.0.1.linu) T 2717 2719 2719 0 -1 4202496 10215 0 0 0 4629 147 0 0 20 0 1 0 337496458 45092864 8853 33554432000 4194304 13684479 140734043267024 140734043261176 7154408 0 0 16781312 2 18446744071579387992 0 0 17 3 0 0 0 0 0
/proc/2719/statm: 11009 8853 818 2317 0 8687 0
[pid=2717/tid=2724] ppid=2711 vsize=357420 CPUtime=0 cores=1,3,5,7
/proc/2717/task/2724/stat : 2724 (python) S 2711 2711 2614 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 2 0 337501237 365998080 5741 33554432000 4194304 5683644 140735199487920 139783070122544 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2725] ppid=2711 vsize=357836 CPUtime=0 cores=1,3,5,7
/proc/2725/stat : 2725 (python) S 2711 2711 2614 0 -1 4202560 760 0 0 0 0 0 0 0 20 0 1 0 337501239 366424064 5769 33554432000 4194304 5683644 140735199487920 140735199479008 240565191139 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/2725/statm: 89459 5769 336 364 0 24679 0
[pid=2727] ppid=2725 vsize=2256 CPUtime=1.53 cores=1,3,5,7
/proc/2727/stat : 2727 (clasp-1.3.7-x86) R 2725 2727 2727 0 -1 4202496 571 0 0 0 153 0 0 0 20 0 1 0 337501239 2310144 318 33554432000 134512640 136139019 4290067440 4290066304 134608352 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/2727/statm: 564 318 182 398 0 164 0
[pid=2711/tid=2718] ppid=2709 vsize=433616 CPUtime=0 cores=1,3,5,7
/proc/2711/task/2718/stat : 2718 (python) S 2709 2711 2614 0 -1 4202560 27 1009 0 0 0 0 0 0 20 0 3 0 337496458 444022784 7342 33554432000 4194304 5683644 140735199487920 139783070122544 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2711/tid=2726] ppid=2709 vsize=433616 CPUtime=0 cores=1,3,5,7
/proc/2711/task/2726/stat : 2726 (python) S 2709 2711 2614 0 -1 4202560 21 1009 0 0 0 0 0 0 20 0 3 0 337501239 444022784 7342 33554432000 4194304 5683644 140735199487920 139783059632688 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 49.92
Current children cumulated vsize (KiB) 1195164
[startup+50.7065 s]
/proc/loadavg: 1.95 1.36 1.50 3/191 2727
/proc/meminfo: memFree=31232536/32873844 swapFree=7116/7116
[pid=2711] ppid=2709 vsize=433616 CPUtime=0.52 cores=1,3,5,7
/proc/2711/stat : 2711 (python) S 2709 2711 2614 0 -1 4202496 11398 1009 1 0 37 15 0 0 20 0 3 0 337496332 444022784 7342 33554432000 4194304 5683644 140735199487920 140735199482752 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2711/statm: 108404 7342 1903 364 0 43624 0
[pid=2717] ppid=2711 vsize=357420 CPUtime=0.11 cores=1,3,5,7
/proc/2717/stat : 2717 (python) S 2711 2711 2614 0 -1 4202560 1181 0 0 0 7 4 0 0 20 0 2 0 337496458 365998080 5741 33554432000 4194304 5683644 140735199487920 140735199479568 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2717/statm: 89355 5741 399 364 0 24578 0
[pid=2719] ppid=2717 vsize=44036 CPUtime=47.76 cores=1,3,5,7
/proc/2719/stat : 2719 (scip-2.0.1.linu) T 2717 2719 2719 0 -1 4202496 10215 0 0 0 4629 147 0 0 20 0 1 0 337496458 45092864 8853 33554432000 4194304 13684479 140734043267024 140734043261176 7154408 0 0 16781312 2 18446744071579387992 0 0 17 3 0 0 0 0 0
/proc/2719/statm: 11009 8853 818 2317 0 8687 0
[pid=2717/tid=2724] ppid=2711 vsize=357420 CPUtime=0 cores=1,3,5,7
/proc/2717/task/2724/stat : 2724 (python) S 2711 2711 2614 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 2 0 337501237 365998080 5741 33554432000 4194304 5683644 140735199487920 139783070122544 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2725] ppid=2711 vsize=357836 CPUtime=0 cores=1,3,5,7
/proc/2725/stat : 2725 (python) S 2711 2711 2614 0 -1 4202560 760 0 0 0 0 0 0 0 20 0 1 0 337501239 366424064 5769 33554432000 4194304 5683644 140735199487920 140735199479008 240565191139 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/2725/statm: 89459 5769 336 364 0 24679 0
[pid=2727] ppid=2725 vsize=2256 CPUtime=1.63 cores=1,3,5,7
/proc/2727/stat : 2727 (clasp-1.3.7-x86) R 2725 2727 2727 0 -1 4202496 571 0 0 0 163 0 0 0 20 0 1 0 337501239 2310144 318 33554432000 134512640 136139019 4290067440 4290066272 134832345 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/2727/statm: 564 318 182 398 0 164 0
[pid=2711/tid=2718] ppid=2709 vsize=433616 CPUtime=0 cores=1,3,5,7
/proc/2711/task/2718/stat : 2718 (python) S 2709 2711 2614 0 -1 4202560 27 1009 0 0 0 0 0 0 20 0 3 0 337496458 444022784 7342 33554432000 4194304 5683644 140735199487920 139783070122544 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2711/tid=2726] ppid=2709 vsize=433616 CPUtime=0 cores=1,3,5,7
/proc/2711/task/2726/stat : 2726 (python) S 2709 2711 2614 0 -1 4202560 21 1009 0 0 0 0 0 0 20 0 3 0 337501239 444022784 7342 33554432000 4194304 5683644 140735199487920 139783059632688 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.02
Current children cumulated vsize (KiB) 1195164
Child status: 0
Real time (s): 50.7581
CPU time (s): 50.1144
CPU user time (s): 48.4216
CPU system time (s): 1.69274
CPU usage (%): 98.7318
Max. virtual memory (cumulated for all children) (KiB): 1195168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.4216
system time used= 1.69274
maximum resident set size= 38292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29922
page faults= 1
swaps= 0
block input operations= 0
block output operations= 448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2655
involuntary context switches= 125
runsolver used 0.200969 second user time and 0.529919 second system time
The end