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-3482014-1307576693/watcher-3482014-1307576693 -o /tmp/evaluation-result-3482014-1307576693/solver-3482014-1307576693 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482014-1307576693.opb -seed 683913730 -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.27 1.39 0.60 2/550 22698
/proc/meminfo: memFree=23319116/32950928 swapFree=61542368/67111528
[pid=22698] ppid=22696 vsize=15776 CPUtime=0 cores=1,3,5,7
/proc/22698/stat : 22698 (python) S 22696 22698 22387 0 -1 4202496 895 0 0 0 0 0 0 0 17 0 1 0 947900074 16154624 776 33554432000 4194304 5683644 140735615146896 18446744073709551615 260905392128 0 2147483391 16781312 2 18446744071699207358 0 0 17 1 0 0 0
/proc/22698/statm: 3945 778 343 364 0 432 0
[startup+0.113524 s]
/proc/loadavg: 2.27 1.39 0.60 2/550 22698
/proc/meminfo: memFree=23319116/32950928 swapFree=61542368/67111528
[pid=22698] ppid=22696 vsize=96128 CPUtime=0.09 cores=1,3,5,7
/proc/22698/stat : 22698 (python) R 22696 22698 22387 0 -1 4202496 3170 928 1 0 6 3 0 0 18 0 1 0 947900074 98435072 2483 33554432000 4194304 5683644 140735615146896 18446744073709551615 5177504 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/22698/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 96128
[startup+0.200542 s]
/proc/loadavg: 2.27 1.39 0.60 2/550 22698
/proc/meminfo: memFree=23319116/32950928 swapFree=61542368/67111528
[pid=22698] ppid=22696 vsize=123744 CPUtime=0.16 cores=1,3,5,7
/proc/22698/stat : 22698 (python) R 22696 22698 22387 0 -1 4202496 5358 928 1 0 11 5 0 0 17 0 1 0 947900074 126713856 3744 33554432000 4194304 5683644 140735615146896 18446744073709551615 260905390085 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/22698/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123744
[startup+0.300502 s]
/proc/loadavg: 2.27 1.39 0.60 2/550 22698
/proc/meminfo: memFree=23319116/32950928 swapFree=61542368/67111528
[pid=22698] ppid=22696 vsize=202996 CPUtime=0.23 cores=1,3,5,7
/proc/22698/stat : 22698 (python) S 22696 22698 22387 0 -1 4202496 6701 928 1 0 16 7 0 0 17 0 1 0 947900074 207867904 4981 33554432000 4194304 5683644 140735615146896 18446744073709551615 260905392128 0 2147483391 16781312 2 18446744071699207358 0 0 17 1 0 0 0
/proc/22698/statm: 50749 4981 1472 364 0 3711 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 202996
[startup+0.700417 s]
/proc/loadavg: 2.27 1.39 0.60 2/550 22698
/proc/meminfo: memFree=23319116/32950928 swapFree=61542368/67111528
[pid=22698] ppid=22696 vsize=293996 CPUtime=0.47 cores=1,3,5,7
/proc/22698/stat : 22698 (python) S 22696 22698 22387 0 -1 4202496 9827 928 1 0 36 11 0 0 19 0 2 0 947900074 301051904 7329 33554432000 4194304 5683644 140735615146896 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/22698/statm: 73499 7329 1862 364 0 8386 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 293996
[startup+1.50021 s]
/proc/loadavg: 2.27 1.39 0.60 2/528 22727
/proc/meminfo: memFree=23481608/32950928 swapFree=61542368/67111528
[pid=22698] ppid=22696 vsize=293996 CPUtime=0.47 cores=1,3,5,7
/proc/22698/stat : 22698 (python) S 22696 22698 22387 0 -1 4202496 9827 928 1 0 36 11 0 0 19 0 2 0 947900074 301051904 7329 33554432000 4194304 5683644 140735615146896 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/22698/statm: 73499 7329 1862 364 0 8386 0
[pid=22706] ppid=22698 vsize=283752 CPUtime=0 cores=1,3,5,7
/proc/22706/stat : 22706 (python) S 22698 22698 22387 0 -1 4202560 790 0 0 0 0 0 0 0 15 0 1 0 947900131 290562048 5815 33554432000 4194304 5683644 140735615146896 18446744073709551615 260905414159 0 0 16781312 33554946 3970673608472133632 0 0 17 1 0 0 0
/proc/22706/statm: 70938 5815 352 364 0 5825 0
[pid=22708] ppid=22706 vsize=45216 CPUtime=0.92 cores=1,3,5,7
/proc/22708/stat : 22708 (scip-2.0.1.linu) R 22706 22708 22708 0 -1 4202496 9681 0 0 0 84 8 0 0 21 0 1 0 947900131 46301184 8945 33554432000 4194304 13684479 140735865682144 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/22708/statm: 11304 8945 791 2317 0 8982 0
[pid=22698/tid=22707] ppid=22696 vsize=293996 CPUtime=0 cores=1,3,5,7
/proc/22698/task/22707/stat : 22707 (python) S 22696 22698 22387 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 2 0 947900131 301051904 7329 33554432000 4194304 5683644 140735615146896 18446744073709551615 260917217713 0 0 16781312 33554434 18446604467811484864 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 622964
[startup+3.10092 s]
/proc/loadavg: 2.27 1.39 0.60 3/529 22730
/proc/meminfo: memFree=23451964/32950928 swapFree=61542368/67111528
[pid=22698] ppid=22696 vsize=293996 CPUtime=0.47 cores=1,3,5,7
/proc/22698/stat : 22698 (python) S 22696 22698 22387 0 -1 4202496 9827 928 1 0 36 11 0 0 19 0 2 0 947900074 301051904 7329 33554432000 4194304 5683644 140735615146896 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/22698/statm: 73499 7329 1862 364 0 8386 0
[pid=22706] ppid=22698 vsize=283752 CPUtime=0 cores=1,3,5,7
/proc/22706/stat : 22706 (python) S 22698 22698 22387 0 -1 4202560 792 0 0 0 0 0 0 0 15 0 1 0 947900131 290562048 5815 33554432000 4194304 5683644 140735615146896 18446744073709551615 260905414159 0 0 16781312 33554946 2165545703466598400 0 0 17 1 0 0 0
/proc/22706/statm: 70938 5815 352 364 0 5825 0
[pid=22708] ppid=22706 vsize=54620 CPUtime=2.52 cores=1,3,5,7
/proc/22708/stat : 22708 (scip-2.0.1.linu) R 22706 22708 22708 0 -1 4202496 12068 0 0 0 238 14 0 0 25 0 1 0 947900131 55930880 11305 33554432000 4194304 13684479 140735865682144 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/22708/statm: 13655 11305 795 2317 0 11333 0
[pid=22698/tid=22707] ppid=22696 vsize=293996 CPUtime=0 cores=1,3,5,7
/proc/22698/task/22707/stat : 22707 (python) S 22696 22698 22387 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 2 0 947900131 301051904 7329 33554432000 4194304 5683644 140735615146896 18446744073709551615 260917217713 0 0 16781312 33554434 18446604467811484864 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 632368
[startup+6.31833 s]
/proc/loadavg: 2.25 1.40 0.60 4/536 22743
/proc/meminfo: memFree=23300004/32950928 swapFree=61542368/67111528
[pid=22698] ppid=22696 vsize=293996 CPUtime=0.47 cores=1,3,5,7
/proc/22698/stat : 22698 (python) S 22696 22698 22387 0 -1 4202496 9827 928 1 0 36 11 0 0 19 0 2 0 947900074 301051904 7329 33554432000 4194304 5683644 140735615146896 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/22698/statm: 73499 7329 1862 364 0 8386 0
[pid=22706] ppid=22698 vsize=283752 CPUtime=0.02 cores=1,3,5,7
/proc/22706/stat : 22706 (python) S 22698 22698 22387 0 -1 4202560 928 0 0 0 1 1 0 0 15 0 1 0 947900131 290562048 5839 33554432000 4194304 5683644 140735615146896 18446744073709551615 260905414159 0 0 16781312 33554946 333866856098037760 0 0 17 1 0 0 0
/proc/22706/statm: 70938 5839 376 364 0 5825 0
[pid=22708] ppid=22706 vsize=59248 CPUtime=5.74 cores=1,3,5,7
/proc/22708/stat : 22708 (scip-2.0.1.linu) R 22706 22708 22708 0 -1 4202496 14085 0 0 0 550 24 0 0 21 0 1 0 947900131 60669952 12540 33554432000 4194304 13684479 140735865682144 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/22708/statm: 14812 12540 808 2317 0 12490 0
[pid=22698/tid=22707] ppid=22696 vsize=293996 CPUtime=0 cores=1,3,5,7
/proc/22698/task/22707/stat : 22707 (python) S 22696 22698 22387 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 2 0 947900131 301051904 7329 33554432000 4194304 5683644 140735615146896 18446744073709551615 260917217713 0 0 16781312 33554434 18446604467811484864 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 636996
[startup+12.7002 s]
/proc/loadavg: 2.23 1.41 0.61 3/536 22743
/proc/meminfo: memFree=23302660/32950928 swapFree=61542368/67111528
[pid=22698] ppid=22696 vsize=293996 CPUtime=0.47 cores=1,3,5,7
/proc/22698/stat : 22698 (python) S 22696 22698 22387 0 -1 4202496 9827 928 1 0 36 11 0 0 19 0 2 0 947900074 301051904 7329 33554432000 4194304 5683644 140735615146896 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/22698/statm: 73499 7329 1862 364 0 8386 0
[pid=22706] ppid=22698 vsize=283752 CPUtime=0.05 cores=1,3,5,7
/proc/22706/stat : 22706 (python) S 22698 22698 22387 0 -1 4202560 933 0 0 0 2 3 0 0 15 0 1 0 947900131 290562048 5839 33554432000 4194304 5683644 140735615146896 18446744073709551615 260905414159 0 0 16781312 33554946 5623753486446373568 0 0 17 7 0 0 0
/proc/22706/statm: 70938 5839 376 364 0 5825 0
[pid=22708] ppid=22706 vsize=59248 CPUtime=12.12 cores=1,3,5,7
/proc/22708/stat : 22708 (scip-2.0.1.linu) R 22706 22708 22708 0 -1 4202496 14085 0 0 0 1166 46 0 0 25 0 1 0 947900131 60669952 12540 33554432000 4194304 13684479 140735865682144 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/22708/statm: 14812 12540 808 2317 0 12490 0
[pid=22698/tid=22707] ppid=22696 vsize=293996 CPUtime=0 cores=1,3,5,7
/proc/22698/task/22707/stat : 22707 (python) S 22696 22698 22387 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 2 0 947900131 301051904 7329 33554432000 4194304 5683644 140735615146896 18446744073709551615 260917217713 0 0 16781312 33554434 18446604467811484864 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 636996
[startup+25.5009 s]
/proc/loadavg: 2.18 1.44 0.63 3/536 22778
/proc/meminfo: memFree=23276800/32950928 swapFree=61542368/67111528
[pid=22698] ppid=22696 vsize=293996 CPUtime=0.47 cores=1,3,5,7
/proc/22698/stat : 22698 (python) S 22696 22698 22387 0 -1 4202496 9827 928 1 0 36 11 0 0 19 0 2 0 947900074 301051904 7329 33554432000 4194304 5683644 140735615146896 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/22698/statm: 73499 7329 1862 364 0 8386 0
[pid=22706] ppid=22698 vsize=283752 CPUtime=0.09 cores=1,3,5,7
/proc/22706/stat : 22706 (python) S 22698 22698 22387 0 -1 4202560 938 0 0 0 4 5 0 0 15 0 1 0 947900131 290562048 5839 33554432000 4194304 5683644 140735615146896 18446744073709551615 260905414159 0 0 16781312 33554946 1109850928317464576 0 0 17 7 0 0 0
/proc/22706/statm: 70938 5839 376 364 0 5825 0
[pid=22708] ppid=22706 vsize=59248 CPUtime=24.93 cores=1,3,5,7
/proc/22708/stat : 22708 (scip-2.0.1.linu) R 22706 22708 22708 0 -1 4202496 14086 0 0 0 2396 97 0 0 25 0 1 0 947900131 60669952 12541 33554432000 4194304 13684479 140735865682144 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/22708/statm: 14812 12541 809 2317 0 12490 0
[pid=22698/tid=22707] ppid=22696 vsize=293996 CPUtime=0 cores=1,3,5,7
/proc/22698/task/22707/stat : 22707 (python) S 22696 22698 22387 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 2 0 947900131 301051904 7329 33554432000 4194304 5683644 140735615146896 18446744073709551615 260917217713 0 0 16781312 33554434 18446604467811484864 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 636996
[startup+51.1011 s]
/proc/loadavg: 2.12 1.48 0.67 4/575 22853
/proc/meminfo: memFree=23242232/32950928 swapFree=61542368/67111528
[pid=22698] ppid=22696 vsize=304756 CPUtime=0.51 cores=1,3,5,7
/proc/22698/stat : 22698 (python) S 22696 22698 22387 0 -1 4202496 10675 928 1 0 39 12 0 0 20 0 3 0 947900074 312070144 7470 33554432000 4194304 5683644 140735615146896 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/22698/statm: 76189 7470 1873 364 0 11073 0
[pid=22706] ppid=22698 vsize=293996 CPUtime=0.22 cores=1,3,5,7
/proc/22706/stat : 22706 (python) S 22698 22698 22387 0 -1 4202560 1165 0 0 0 10 12 0 0 17 0 2 0 947900131 301051904 5880 33554432000 4194304 5683644 140735615146896 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/22706/statm: 73499 5880 412 364 0 8386 0
[pid=22708] ppid=22706 vsize=59808 CPUtime=49.41 cores=1,3,5,7
/proc/22708/stat : 22708 (scip-2.0.1.linu) T 22706 22708 22708 0 -1 4202496 14191 0 0 0 4738 203 0 0 25 0 1 0 947900131 61243392 12646 33554432000 4194304 13684479 140735865682144 18446744073709551615 7401003 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/22708/statm: 14952 12646 810 2317 0 12630 0
[pid=22706/tid=22833] ppid=22698 vsize=293996 CPUtime=0 cores=1,3,5,7
/proc/22706/task/22833/stat : 22833 (python) S 22698 22698 22387 0 -1 4202560 99 0 0 0 0 0 0 0 17 0 2 0 947905073 301051904 5880 33554432000 4194304 5683644 140735615146896 18446744073709551615 260917217713 0 0 16781312 33554946 18446604470949993216 0 0 -1 7 0 0 0
[pid=22834] ppid=22698 vsize=294512 CPUtime=0 cores=1,3,5,7
/proc/22834/stat : 22834 (python) S 22698 22698 22387 0 -1 4202560 891 0 0 0 0 0 0 0 15 0 1 0 947905075 301580288 5949 33554432000 4194304 5683644 140735615146896 18446744073709551615 260905414214 0 0 16781312 33554946 4294934791 0 0 17 1 0 0 0
/proc/22834/statm: 73628 5949 356 364 0 8512 0
[pid=22836] ppid=22834 vsize=8538228 CPUtime=1.65 cores=1,3,5,7
/proc/22836/stat : 22836 (java) S 22834 22836 22836 0 -1 4202496 13165 0 1 0 163 2 0 0 20 0 19 0 947905076 8743145472 11003 33554432000 1073741824 1073778376 140733214323360 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22836/statm: 2134557 11003 2227 9 0 2125298 0
[pid=22836/tid=22837] ppid=22834 vsize=8538228 CPUtime=1.06 cores=1,3,5,7
/proc/22836/task/22837/stat : 22837 (java) R 22834 22836 22836 0 -1 4202560 7020 0 1 0 105 1 0 0 25 0 19 0 947905076 8743145472 11003 33554432000 1073741824 1073778376 140733214323360 18446744073709551615 46912505792395 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22836/tid=22838] ppid=22834 vsize=8538228 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22838/stat : 22838 (java) S 22834 22836 22836 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 947905077 8743145472 11003 33554432000 1073741824 1073778376 140733214323360 18446744073709551615 260917210009 0 4 0 16800975 18446604464836123392 0 0 -1 5 0 0 0
[pid=22836/tid=22839] ppid=22834 vsize=8538228 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22839/stat : 22839 (java) S 22834 22836 22836 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 947905077 8743145472 11003 33554432000 1073741824 1073778376 140733214323360 18446744073709551615 260917210009 0 4 0 16800975 18446604464836123392 0 0 -1 5 0 0 0
[pid=22836/tid=22840] ppid=22834 vsize=8538228 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22840/stat : 22840 (java) S 22834 22836 22836 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947905077 8743145472 11003 33554432000 1073741824 1073778376 140733214323360 18446744073709551615 260917210009 0 4 0 16800975 18446604464836123392 0 0 -1 3 0 0 0
[pid=22836/tid=22841] ppid=22834 vsize=8538228 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22841/stat : 22841 (java) S 22834 22836 22836 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947905077 8743145472 11003 33554432000 1073741824 1073778376 140733214323360 18446744073709551615 260917210009 0 4 0 16800975 18446604464836123392 0 0 -1 7 0 0 0
[pid=22836/tid=22842] ppid=22834 vsize=8538228 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22842/stat : 22842 (java) S 22834 22836 22836 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947905077 8743145472 11003 33554432000 1073741824 1073778376 140733214323360 18446744073709551615 260917210009 0 4 0 16800975 18446604464836123392 0 0 -1 3 0 0 0
[pid=22836/tid=22843] ppid=22834 vsize=8538228 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22843/stat : 22843 (java) S 22834 22836 22836 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947905077 8743145472 11003 33554432000 1073741824 1073778376 140733214323360 18446744073709551615 260917210009 0 4 0 16800975 18446604464836123392 0 0 -1 7 0 0 0
[pid=22836/tid=22844] ppid=22834 vsize=8538228 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22844/stat : 22844 (java) S 22834 22836 22836 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947905077 8743145472 11003 33554432000 1073741824 1073778376 140733214323360 18446744073709551615 260917210009 0 4 0 16800975 18446604464836123392 0 0 -1 3 0 0 0
[pid=22836/tid=22845] ppid=22834 vsize=8538228 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22845/stat : 22845 (java) S 22834 22836 22836 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947905077 8743145472 11003 33554432000 1073741824 1073778376 140733214323360 18446744073709551615 260917210009 0 4 0 16800975 18446604464836123392 0 0 -1 7 0 0 0
[pid=22836/tid=22846] ppid=22834 vsize=8538228 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22846/stat : 22846 (java) S 22834 22836 22836 0 -1 4202560 6 0 0 0 0 0 0 0 21 0 19 0 947905078 8743145472 11003 33554432000 1073741824 1073778376 140733214323360 18446744073709551615 260917210624 0 0 0 16800975 18446604464836123392 0 0 -1 5 0 0 0
[pid=22836/tid=22847] ppid=22834 vsize=8538228 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22847/stat : 22847 (java) S 22834 22836 22836 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 947905078 8743145472 11003 33554432000 1073741824 1073778376 140733214323360 18446744073709551615 260917210009 0 4 0 16800975 18446604464836123392 0 0 -1 5 0 0 0
[pid=22836/tid=22848] ppid=22834 vsize=8538228 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22848/stat : 22848 (java) S 22834 22836 22836 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947905078 8743145472 11003 33554432000 1073741824 1073778376 140733214323360 18446744073709551615 260917210009 0 4 0 16800975 18446604464836123392 0 0 -1 5 0 0 0
[pid=22836/tid=22849] ppid=22834 vsize=8538228 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22849/stat : 22849 (java) S 22834 22836 22836 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947905080 8743145472 11003 33554432000 1073741824 1073778376 140733214323360 18446744073709551615 260917217713 0 4 0 16800975 18446604464836123392 0 0 -1 3 0 0 0
[pid=22836/tid=22850] ppid=22834 vsize=8538228 CPUtime=0.33 cores=1,3,5,7
/proc/22836/task/22850/stat : 22850 (java) S 22834 22836 22836 0 -1 4202560 2417 0 0 0 33 0 0 0 21 0 19 0 947905080 8743145472 11003 33554432000 1073741824 1073778376 140733214323360 18446744073709551615 260917210009 0 4 0 16800975 18446604464836123392 0 0 -1 1 0 0 0
[pid=22836/tid=22851] ppid=22834 vsize=8538228 CPUtime=0.24 cores=1,3,5,7
/proc/22836/task/22851/stat : 22851 (java) S 22834 22836 22836 0 -1 4202560 2329 0 0 0 24 0 0 0 21 0 19 0 947905080 8743145472 11003 33554432000 1073741824 1073778376 140733214323360 18446744073709551615 260917210009 0 4 0 16800975 18446604464836123392 0 0 -1 7 0 0 0
[pid=22836/tid=22852] ppid=22834 vsize=8538228 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22852/stat : 22852 (java) S 22834 22836 22836 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947905080 8743145472 11003 33554432000 1073741824 1073778376 140733214323360 18446744073709551615 260917210009 0 4 0 16800975 18446604464836123392 0 0 -1 3 0 0 0
[pid=22836/tid=22853] ppid=22834 vsize=8538228 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22853/stat : 22853 (java) S 22834 22836 22836 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 947905080 8743145472 11003 33554432000 1073741824 1073778376 140733214323360 18446744073709551615 260917210624 0 4 0 16800975 18446604464836123392 0 0 -1 7 0 0 0
[pid=22698/tid=22707] ppid=22696 vsize=304756 CPUtime=0 cores=1,3,5,7
/proc/22698/task/22707/stat : 22707 (python) S 22696 22698 22387 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 3 0 947900131 312070144 7470 33554432000 4194304 5683644 140735615146896 18446744073709551615 260917217713 0 0 16781312 33554434 18446604467811484864 0 0 -1 1 0 0 0
[pid=22698/tid=22835] ppid=22696 vsize=304756 CPUtime=0 cores=1,3,5,7
/proc/22698/task/22835/stat : 22835 (python) S 22696 22698 22387 0 -1 4202560 32 928 0 0 0 0 0 0 20 0 3 0 947905076 312070144 7470 33554432000 4194304 5683644 140735615146896 18446744073709551615 260917217713 0 0 16781312 33554434 18446604467811484864 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 51.79
Current children cumulated vsize (KiB) 9491300
Solver just ended. Dumping a history of the last processes samples
[startup+51.5011 s]
/proc/loadavg: 2.12 1.48 0.67 3/576 22854
/proc/meminfo: memFree=23221516/32950928 swapFree=61542368/67111528
[pid=22698] ppid=22696 vsize=304756 CPUtime=0.51 cores=1,3,5,7
/proc/22698/stat : 22698 (python) S 22696 22698 22387 0 -1 4202496 10675 928 1 0 39 12 0 0 20 0 3 0 947900074 312070144 7470 33554432000 4194304 5683644 140735615146896 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/22698/statm: 76189 7470 1873 364 0 11073 0
[pid=22706] ppid=22698 vsize=293996 CPUtime=0.22 cores=1,3,5,7
/proc/22706/stat : 22706 (python) S 22698 22698 22387 0 -1 4202560 1165 0 0 0 10 12 0 0 17 0 2 0 947900131 301051904 5880 33554432000 4194304 5683644 140735615146896 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/22706/statm: 73499 5880 412 364 0 8386 0
[pid=22708] ppid=22706 vsize=59808 CPUtime=49.41 cores=1,3,5,7
/proc/22708/stat : 22708 (scip-2.0.1.linu) T 22706 22708 22708 0 -1 4202496 14191 0 0 0 4738 203 0 0 25 0 1 0 947900131 61243392 12646 33554432000 4194304 13684479 140735865682144 18446744073709551615 7401003 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/22708/statm: 14952 12646 810 2317 0 12630 0
[pid=22706/tid=22833] ppid=22698 vsize=293996 CPUtime=0 cores=1,3,5,7
/proc/22706/task/22833/stat : 22833 (python) S 22698 22698 22387 0 -1 4202560 99 0 0 0 0 0 0 0 17 0 2 0 947905073 301051904 5880 33554432000 4194304 5683644 140735615146896 18446744073709551615 260917217713 0 0 16781312 33554946 18446604470949993216 0 0 -1 7 0 0 0
[pid=22834] ppid=22698 vsize=294512 CPUtime=0 cores=1,3,5,7
/proc/22834/stat : 22834 (python) S 22698 22698 22387 0 -1 4202560 896 0 0 0 0 0 0 0 16 0 1 0 947905075 301580288 5949 33554432000 4194304 5683644 140735615146896 18446744073709551615 260905414214 0 0 16781312 33554946 4257738837305851904 0 0 17 1 0 0 0
/proc/22834/statm: 73628 5949 356 364 0 8512 0
[pid=22836] ppid=22834 vsize=8539256 CPUtime=2.06 cores=1,3,5,7
/proc/22836/stat : 22836 (java) S 22834 22836 22836 0 -1 4202496 13266 0 1 0 204 2 0 0 20 0 20 0 947905076 8744198144 11103 33554432000 1073741824 1073778376 140733214323360 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22836/statm: 2134814 11103 2227 9 0 2125555 0
[pid=22836/tid=22837] ppid=22834 vsize=8539256 CPUtime=1.46 cores=1,3,5,7
/proc/22836/task/22837/stat : 22837 (java) S 22834 22836 22836 0 -1 4202560 7093 0 1 0 145 1 0 0 25 0 20 0 947905076 8744198144 11103 33554432000 1073741824 1073778376 140733214323360 18446744073709551615 260917210009 0 4 0 16800975 18446604464836123392 0 0 -1 3 0 0 0
[pid=22836/tid=22838] ppid=22834 vsize=8539256 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22838/stat : 22838 (java) S 22834 22836 22836 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 20 0 947905077 8744198144 11103 33554432000 1073741824 1073778376 140733214323360 18446744073709551615 260917210009 0 4 0 16800975 18446604464836123392 0 0 -1 5 0 0 0
[pid=22836/tid=22839] ppid=22834 vsize=8539256 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22839/stat : 22839 (java) S 22834 22836 22836 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 20 0 947905077 8744198144 11103 33554432000 1073741824 1073778376 140733214323360 18446744073709551615 260917210009 0 4 0 16800975 18446604464836123392 0 0 -1 5 0 0 0
[pid=22836/tid=22840] ppid=22834 vsize=8539256 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22840/stat : 22840 (java) S 22834 22836 22836 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 947905077 8744198144 11103 33554432000 1073741824 1073778376 140733214323360 18446744073709551615 260917210009 0 4 0 16800975 18446604464836123392 0 0 -1 3 0 0 0
[pid=22836/tid=22841] ppid=22834 vsize=8539256 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22841/stat : 22841 (java) S 22834 22836 22836 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 947905077 8744198144 11103 33554432000 1073741824 1073778376 140733214323360 18446744073709551615 260917210009 0 4 0 16800975 18446604464836123392 0 0 -1 7 0 0 0
[pid=22836/tid=22842] ppid=22834 vsize=8539256 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22842/stat : 22842 (java) S 22834 22836 22836 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 947905077 8744198144 11103 33554432000 1073741824 1073778376 140733214323360 18446744073709551615 260917210009 0 4 0 16800975 18446604464836123392 0 0 -1 3 0 0 0
[pid=22836/tid=22843] ppid=22834 vsize=8539256 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22843/stat : 22843 (java) S 22834 22836 22836 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 947905077 8744198144 11103 33554432000 1073741824 1073778376 140733214323360 18446744073709551615 260917210009 0 4 0 16800975 18446604464836123392 0 0 -1 7 0 0 0
[pid=22836/tid=22844] ppid=22834 vsize=8539256 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22844/stat : 22844 (java) S 22834 22836 22836 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 947905077 8744198144 11104 33554432000 1073741824 1073778376 140733214323360 18446744073709551615 260917210009 0 4 0 16800975 18446604464836123392 0 0 -1 3 0 0 0
[pid=22836/tid=22845] ppid=22834 vsize=8539256 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22845/stat : 22845 (java) S 22834 22836 22836 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 947905077 8744198144 11104 33554432000 1073741824 1073778376 140733214323360 18446744073709551615 260917210009 0 4 0 16800975 18446604464836123392 0 0 -1 7 0 0 0
[pid=22836/tid=22846] ppid=22834 vsize=8539256 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22846/stat : 22846 (java) S 22834 22836 22836 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 20 0 947905078 8744198144 11104 33554432000 1073741824 1073778376 140733214323360 18446744073709551615 260917210624 0 0 0 16800975 18446604464836123392 0 0 -1 5 0 0 0
[pid=22836/tid=22847] ppid=22834 vsize=8539256 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22847/stat : 22847 (java) S 22834 22836 22836 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 20 0 947905078 8744198144 11104 33554432000 1073741824 1073778376 140733214323360 18446744073709551615 260917210009 0 4 0 16800975 18446604464836123392 0 0 -1 5 0 0 0
[pid=22836/tid=22848] ppid=22834 vsize=8539256 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22848/stat : 22848 (java) S 22834 22836 22836 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 947905078 8744198144 11104 33554432000 1073741824 1073778376 140733214323360 18446744073709551615 260917210009 0 4 0 16800975 18446604464836123392 0 0 -1 5 0 0 0
[pid=22836/tid=22849] ppid=22834 vsize=8539256 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22849/stat : 22849 (java) S 22834 22836 22836 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 947905080 8744198144 11104 33554432000 1073741824 1073778376 140733214323360 18446744073709551615 260917217713 0 4 0 16800975 18446604464836123392 0 0 -1 3 0 0 0
[pid=22836/tid=22850] ppid=22834 vsize=8539256 CPUtime=0.33 cores=1,3,5,7
/proc/22836/task/22850/stat : 22850 (java) S 22834 22836 22836 0 -1 4202560 2417 0 0 0 33 0 0 0 17 0 20 0 947905080 8744198144 11104 33554432000 1073741824 1073778376 140733214323360 18446744073709551615 260917210009 0 4 0 16800975 18446604464836123392 0 0 -1 1 0 0 0
[pid=22836/tid=22851] ppid=22834 vsize=8539256 CPUtime=0.24 cores=1,3,5,7
/proc/22836/task/22851/stat : 22851 (java) S 22834 22836 22836 0 -1 4202560 2329 0 0 0 24 0 0 0 16 0 20 0 947905080 8744198144 11104 33554432000 1073741824 1073778376 140733214323360 18446744073709551615 260917210009 0 4 0 16800975 18446604464836123392 0 0 -1 7 0 0 0
[pid=22836/tid=22852] ppid=22834 vsize=8539256 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22852/stat : 22852 (java) S 22834 22836 22836 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 947905080 8744198144 11104 33554432000 1073741824 1073778376 140733214323360 18446744073709551615 260917210009 0 4 0 16800975 18446604464836123392 0 0 -1 3 0 0 0
[pid=22836/tid=22853] ppid=22834 vsize=8539256 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22853/stat : 22853 (java) S 22834 22836 22836 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 947905080 8744198144 11105 33554432000 1073741824 1073778376 140733214323360 18446744073709551615 260917210624 0 4 0 16800975 18446604464836123392 0 0 -1 5 0 0 0
[pid=22836/tid=22854] ppid=22834 vsize=8539256 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22854/stat : 22854 (java) S 22834 22836 22836 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 947905111 8744198144 11105 33554432000 1073741824 1073778376 140733214323360 18446744073709551615 260917210624 0 4 0 16800975 18446604464836123392 0 0 -1 5 0 0 0
[pid=22698/tid=22707] ppid=22696 vsize=304756 CPUtime=0 cores=1,3,5,7
/proc/22698/task/22707/stat : 22707 (python) S 22696 22698 22387 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 3 0 947900131 312070144 7470 33554432000 4194304 5683644 140735615146896 18446744073709551615 260917217713 0 0 16781312 33554434 18446604467811484864 0 0 -1 1 0 0 0
[pid=22698/tid=22835] ppid=22696 vsize=304756 CPUtime=0 cores=1,3,5,7
/proc/22698/task/22835/stat : 22835 (python) S 22696 22698 22387 0 -1 4202560 32 928 0 0 0 0 0 0 20 0 3 0 947905076 312070144 7470 33554432000 4194304 5683644 140735615146896 18446744073709551615 260917217713 0 0 16781312 33554434 18446604467811484864 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 52.2
Current children cumulated vsize (KiB) 9492328
Child status: 0
Real time (s): 51.5488
CPU time (s): 52.2831
CPU user time (s): 49.9534
CPU system time (s): 2.32965
CPU usage (%): 101.424
Max. virtual memory (cumulated for all children) (KiB): 9492328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.9534
system time used= 2.32965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46446
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1514
involuntary context switches= 148
runsolver used 0.248962 second user time and 0.582911 second system time
The end