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-3482015-1307576693/watcher-3482015-1307576693 -o /tmp/evaluation-result-3482015-1307576693/solver-3482015-1307576693 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482015-1307576693.opb -seed 965477168 -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.15 1.34 0.58 2/621 30817
/proc/meminfo: memFree=29895352/32950928 swapFree=43925852/67111528
[pid=30817] ppid=30815 vsize=16400 CPUtime=0.01 cores=1,3,5,7
/proc/30817/stat : 30817 (python) R 30815 30817 30488 0 -1 4202496 1117 0 0 0 1 0 0 0 20 0 1 0 869268266 16793600 985 33554432000 4194304 5683644 140737323144064 18446744073709551615 268272687104 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/30817/statm: 4100 985 409 364 0 587 0
[startup+0.070401 s]
/proc/loadavg: 2.15 1.34 0.58 2/621 30817
/proc/meminfo: memFree=29895352/32950928 swapFree=43925852/67111528
[pid=30817] ppid=30815 vsize=54508 CPUtime=0.05 cores=1,3,5,7
/proc/30817/stat : 30817 (python) S 30815 30817 30488 0 -1 4202496 2057 0 0 0 4 1 0 0 17 0 1 0 869268266 55816192 1815 33554432000 4194304 5683644 140737323144064 18446744073709551615 268272687104 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/30817/statm: 13660 1829 492 364 0 1310 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 54508
[startup+0.115769 s]
/proc/loadavg: 2.15 1.34 0.58 2/621 30817
/proc/meminfo: memFree=29895352/32950928 swapFree=43925852/67111528
[pid=30817] ppid=30815 vsize=96128 CPUtime=0.08 cores=1,3,5,7
/proc/30817/stat : 30817 (python) S 30815 30817 30488 0 -1 4202496 3245 932 1 0 7 1 0 0 18 0 1 0 869268266 98435072 2483 33554432000 4194304 5683644 140737323144064 18446744073709551615 268272687104 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/30817/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96128
[startup+0.300455 s]
/proc/loadavg: 2.15 1.34 0.58 2/621 30817
/proc/meminfo: memFree=29895352/32950928 swapFree=43925852/67111528
[pid=30817] ppid=30815 vsize=123884 CPUtime=0.19 cores=1,3,5,7
/proc/30817/stat : 30817 (python) S 30815 30817 30488 0 -1 4202496 5393 932 1 0 14 5 0 0 17 0 1 0 869268266 126857216 3764 33554432000 4194304 5683644 140737323144064 18446744073709551615 268272687104 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/30817/statm: 30971 3764 987 364 0 2803 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 123884
[startup+0.700263 s]
/proc/loadavg: 2.15 1.34 0.58 2/621 30817
/proc/meminfo: memFree=29895352/32950928 swapFree=43925852/67111528
[pid=30817] ppid=30815 vsize=293916 CPUtime=0.49 cores=1,3,5,7
/proc/30817/stat : 30817 (python) S 30815 30817 30488 0 -1 4202496 9833 932 1 0 40 9 0 0 17 0 2 0 869268266 300969984 7338 33554432000 4194304 5683644 140737323144064 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/30817/statm: 73479 7338 1870 364 0 8366 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 293916
[startup+1.50112 s]
/proc/loadavg: 2.15 1.34 0.58 3/625 30825
/proc/meminfo: memFree=29845212/32950928 swapFree=43925852/67111528
[pid=30817] ppid=30815 vsize=293916 CPUtime=0.49 cores=1,3,5,7
/proc/30817/stat : 30817 (python) S 30815 30817 30488 0 -1 4202496 9833 932 1 0 40 9 0 0 17 0 2 0 869268266 300969984 7338 33554432000 4194304 5683644 140737323144064 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/30817/statm: 73479 7338 1870 364 0 8366 0
[pid=30823] ppid=30817 vsize=283672 CPUtime=0 cores=1,3,5,7
/proc/30823/stat : 30823 (python) S 30817 30817 30488 0 -1 4202560 787 0 0 0 0 0 0 0 15 0 1 0 869268330 290480128 5816 33554432000 4194304 5683644 140737323144064 18446744073709551615 268272709135 0 0 16781312 33554946 3000880657439129600 0 0 17 3 0 0 0
/proc/30823/statm: 70918 5816 352 364 0 5805 0
[pid=30825] ppid=30823 vsize=42072 CPUtime=0.84 cores=1,3,5,7
/proc/30825/stat : 30825 (scip-2.0.1.linu) R 30823 30825 30825 0 -1 4202496 8916 0 0 0 76 8 0 0 21 0 1 0 869268330 43081728 8197 33554432000 4194304 13684479 140734501872112 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/30825/statm: 10518 8197 787 2317 0 8196 0
[pid=30817/tid=30824] ppid=30815 vsize=293916 CPUtime=0 cores=1,3,5,7
/proc/30817/task/30824/stat : 30824 (python) S 30815 30817 30488 0 -1 4202560 29 932 0 0 0 0 0 0 18 0 2 0 869268330 300969984 7338 33554432000 4194304 5683644 140737323144064 18446744073709551615 268284512689 0 0 16781312 33554434 18446604470075736256 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 619660
[startup+3.10083 s]
/proc/loadavg: 2.14 1.36 0.59 3/625 30825
/proc/meminfo: memFree=29831820/32950928 swapFree=43925852/67111528
[pid=30817] ppid=30815 vsize=293916 CPUtime=0.49 cores=1,3,5,7
/proc/30817/stat : 30817 (python) S 30815 30817 30488 0 -1 4202496 9833 932 1 0 40 9 0 0 17 0 2 0 869268266 300969984 7338 33554432000 4194304 5683644 140737323144064 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/30817/statm: 73479 7338 1870 364 0 8366 0
[pid=30823] ppid=30817 vsize=283672 CPUtime=0 cores=1,3,5,7
/proc/30823/stat : 30823 (python) S 30817 30817 30488 0 -1 4202560 790 0 0 0 0 0 0 0 15 0 1 0 869268330 290480128 5816 33554432000 4194304 5683644 140737323144064 18446744073709551615 268272709135 0 0 16781312 33554946 1092722229373829120 0 0 17 3 0 0 0
/proc/30823/statm: 70918 5816 352 364 0 5805 0
[pid=30825] ppid=30823 vsize=54304 CPUtime=2.45 cores=1,3,5,7
/proc/30825/stat : 30825 (scip-2.0.1.linu) R 30823 30825 30825 0 -1 4202496 12049 0 0 0 230 15 0 0 25 0 1 0 869268330 55607296 11293 33554432000 4194304 13684479 140734501872112 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/30825/statm: 13576 11293 833 2317 0 11254 0
[pid=30817/tid=30824] ppid=30815 vsize=293916 CPUtime=0 cores=1,3,5,7
/proc/30817/task/30824/stat : 30824 (python) S 30815 30817 30488 0 -1 4202560 29 932 0 0 0 0 0 0 18 0 2 0 869268330 300969984 7338 33554432000 4194304 5683644 140737323144064 18446744073709551615 268284512689 0 0 16781312 33554434 18446604470075736256 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 631892
[startup+6.30026 s]
/proc/loadavg: 2.14 1.36 0.59 3/625 30825
/proc/meminfo: memFree=29821688/32950928 swapFree=43925852/67111528
[pid=30817] ppid=30815 vsize=293916 CPUtime=0.49 cores=1,3,5,7
/proc/30817/stat : 30817 (python) S 30815 30817 30488 0 -1 4202496 9833 932 1 0 40 9 0 0 17 0 2 0 869268266 300969984 7338 33554432000 4194304 5683644 140737323144064 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/30817/statm: 73479 7338 1870 364 0 8366 0
[pid=30823] ppid=30817 vsize=283672 CPUtime=0.02 cores=1,3,5,7
/proc/30823/stat : 30823 (python) S 30817 30817 30488 0 -1 4202560 930 0 0 0 1 1 0 0 15 0 1 0 869268330 290480128 5840 33554432000 4194304 5683644 140737323144064 18446744073709551615 268272709135 0 0 16781312 33554946 1412487243255250944 0 0 17 3 0 0 0
/proc/30823/statm: 70918 5840 376 364 0 5805 0
[pid=30825] ppid=30823 vsize=59696 CPUtime=5.65 cores=1,3,5,7
/proc/30825/stat : 30825 (scip-2.0.1.linu) R 30823 30825 30825 0 -1 4202496 13509 0 0 0 537 28 0 0 20 0 1 0 869268330 61128704 12708 33554432000 4194304 13684479 140734501872112 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/30825/statm: 14924 12708 808 2317 0 12602 0
[pid=30817/tid=30824] ppid=30815 vsize=293916 CPUtime=0 cores=1,3,5,7
/proc/30817/task/30824/stat : 30824 (python) S 30815 30817 30488 0 -1 4202560 29 932 0 0 0 0 0 0 18 0 2 0 869268330 300969984 7338 33554432000 4194304 5683644 140737323144064 18446744073709551615 268284512689 0 0 16781312 33554434 18446604470075736256 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 637284
[startup+12.7011 s]
/proc/loadavg: 2.11 1.38 0.61 3/625 30826
/proc/meminfo: memFree=29810572/32950928 swapFree=43925852/67111528
[pid=30817] ppid=30815 vsize=293916 CPUtime=0.49 cores=1,3,5,7
/proc/30817/stat : 30817 (python) S 30815 30817 30488 0 -1 4202496 9833 932 1 0 40 9 0 0 17 0 2 0 869268266 300969984 7338 33554432000 4194304 5683644 140737323144064 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/30817/statm: 73479 7338 1870 364 0 8366 0
[pid=30823] ppid=30817 vsize=283672 CPUtime=0.04 cores=1,3,5,7
/proc/30823/stat : 30823 (python) S 30817 30817 30488 0 -1 4202560 934 0 0 0 2 2 0 0 15 0 1 0 869268330 290480128 5840 33554432000 4194304 5683644 140737323144064 18446744073709551615 268272709135 0 0 16781312 33554946 5623458817330129680 0 0 17 3 0 0 0
/proc/30823/statm: 70918 5840 376 364 0 5805 0
[pid=30825] ppid=30823 vsize=59696 CPUtime=12.05 cores=1,3,5,7
/proc/30825/stat : 30825 (scip-2.0.1.linu) R 30823 30825 30825 0 -1 4202496 13509 0 0 0 1154 51 0 0 25 0 1 0 869268330 61128704 12708 33554432000 4194304 13684479 140734501872112 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/30825/statm: 14924 12708 808 2317 0 12602 0
[pid=30817/tid=30824] ppid=30815 vsize=293916 CPUtime=0 cores=1,3,5,7
/proc/30817/task/30824/stat : 30824 (python) S 30815 30817 30488 0 -1 4202560 29 932 0 0 0 0 0 0 18 0 2 0 869268330 300969984 7338 33554432000 4194304 5683644 140737323144064 18446744073709551615 268284512689 0 0 16781312 33554434 18446604470075736256 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 637284
[startup+25.5008 s]
/proc/loadavg: 2.10 1.40 0.62 3/625 30826
/proc/meminfo: memFree=29809572/32950928 swapFree=43925852/67111528
[pid=30817] ppid=30815 vsize=293916 CPUtime=0.49 cores=1,3,5,7
/proc/30817/stat : 30817 (python) S 30815 30817 30488 0 -1 4202496 9833 932 1 0 40 9 0 0 17 0 2 0 869268266 300969984 7338 33554432000 4194304 5683644 140737323144064 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/30817/statm: 73479 7338 1870 364 0 8366 0
[pid=30823] ppid=30817 vsize=283672 CPUtime=0.12 cores=1,3,5,7
/proc/30823/stat : 30823 (python) S 30817 30817 30488 0 -1 4202560 939 0 0 0 6 6 0 0 15 0 1 0 869268330 290480128 5840 33554432000 4194304 5683644 140737323144064 18446744073709551615 268272709135 0 0 16781312 33554946 2387119879401504768 0 0 17 7 0 0 0
/proc/30823/statm: 70918 5840 376 364 0 5805 0
[pid=30825] ppid=30823 vsize=59696 CPUtime=24.84 cores=1,3,5,7
/proc/30825/stat : 30825 (scip-2.0.1.linu) R 30823 30825 30825 0 -1 4202496 13511 0 0 0 2383 101 0 0 25 0 1 0 869268330 61128704 12710 33554432000 4194304 13684479 140734501872112 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/30825/statm: 14924 12710 810 2317 0 12602 0
[pid=30817/tid=30824] ppid=30815 vsize=293916 CPUtime=0 cores=1,3,5,7
/proc/30817/task/30824/stat : 30824 (python) S 30815 30817 30488 0 -1 4202560 29 932 0 0 0 0 0 0 18 0 2 0 869268330 300969984 7338 33554432000 4194304 5683644 140737323144064 18446744073709551615 268284512689 0 0 16781312 33554434 18446604470075736256 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 637284
[startup+51.1028 s]
/proc/loadavg: 2.06 1.44 0.66 5/647 30884
/proc/meminfo: memFree=29676644/32950928 swapFree=43925852/67111528
[pid=30817] ppid=30815 vsize=304764 CPUtime=0.53 cores=1,3,5,7
/proc/30817/stat : 30817 (python) S 30815 30817 30488 0 -1 4202496 10688 932 1 0 43 10 0 0 20 0 3 0 869268266 312078336 7472 33554432000 4194304 5683644 140737323144064 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/30817/statm: 76191 7472 1873 364 0 11075 0
[pid=30823] ppid=30817 vsize=293916 CPUtime=0.26 cores=1,3,5,7
/proc/30823/stat : 30823 (python) S 30817 30817 30488 0 -1 4202560 1167 0 0 0 13 13 0 0 16 0 2 0 869268330 300969984 5881 33554432000 4194304 5683644 140737323144064 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/30823/statm: 73479 5881 412 364 0 8366 0
[pid=30825] ppid=30823 vsize=59696 CPUtime=48.83 cores=1,3,5,7
/proc/30825/stat : 30825 (scip-2.0.1.linu) T 30823 30825 30825 0 -1 4202496 13515 0 0 0 4689 194 0 0 25 0 1 0 869268330 61128704 12714 33554432000 4194304 13684479 140734501872112 18446744073709551615 7450200 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/30825/statm: 14924 12714 810 2317 0 12602 0
[pid=30823/tid=30863] ppid=30817 vsize=293916 CPUtime=0 cores=1,3,5,7
/proc/30823/task/30863/stat : 30863 (python) S 30817 30817 30488 0 -1 4202560 98 0 0 0 0 0 0 0 16 0 2 0 869273215 300969984 5881 33554432000 4194304 5683644 140737323144064 18446744073709551615 268284512689 0 0 16781312 33554946 18446604462203323712 0 0 -1 7 0 0 0
[pid=30864] ppid=30817 vsize=294520 CPUtime=0 cores=1,3,5,7
/proc/30864/stat : 30864 (python) S 30817 30817 30488 0 -1 4202560 893 0 0 0 0 0 0 0 15 0 1 0 869273218 301588480 5951 33554432000 4194304 5683644 140737323144064 18446744073709551615 268272709190 0 0 16781312 33554946 3001961296980606976 0 0 17 3 0 0 0
/proc/30864/statm: 73630 5951 356 364 0 8514 0
[pid=30866] ppid=30864 vsize=8539120 CPUtime=2.15 cores=1,3,5,7
/proc/30866/stat : 30866 (java) S 30864 30866 30866 0 -1 4202496 12359 0 1 0 213 2 0 0 20 0 19 0 869273218 8744058880 10990 33554432000 1073741824 1073778376 140736862679008 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/30866/statm: 2134780 10990 2231 9 0 2125521 0
[pid=30866/tid=30867] ppid=30864 vsize=8539120 CPUtime=1.56 cores=1,3,5,7
/proc/30866/task/30867/stat : 30867 (java) R 30864 30866 30866 0 -1 4202560 7143 0 1 0 155 1 0 0 25 0 19 0 869273219 8744058880 10990 33554432000 1073741824 1073778376 140736862679008 18446744073709551615 46912505761158 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=30866/tid=30868] ppid=30864 vsize=8539120 CPUtime=0 cores=1,3,5,7
/proc/30866/task/30868/stat : 30868 (java) S 30864 30866 30866 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869273219 8744058880 10990 33554432000 1073741824 1073778376 140736862679008 18446744073709551615 268284504985 0 4 0 16800975 18446604470075738944 0 0 -1 7 0 0 0
[pid=30866/tid=30869] ppid=30864 vsize=8539120 CPUtime=0 cores=1,3,5,7
/proc/30866/task/30869/stat : 30869 (java) S 30864 30866 30866 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869273219 8744058880 10990 33554432000 1073741824 1073778376 140736862679008 18446744073709551615 268284504985 0 4 0 16800975 18446604470075738944 0 0 -1 7 0 0 0
[pid=30866/tid=30870] ppid=30864 vsize=8539120 CPUtime=0 cores=1,3,5,7
/proc/30866/task/30870/stat : 30870 (java) S 30864 30866 30866 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869273219 8744058880 10990 33554432000 1073741824 1073778376 140736862679008 18446744073709551615 268284504985 0 4 0 16800975 18446604470075738944 0 0 -1 7 0 0 0
[pid=30866/tid=30871] ppid=30864 vsize=8539120 CPUtime=0 cores=1,3,5,7
/proc/30866/task/30871/stat : 30871 (java) S 30864 30866 30866 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869273219 8744058880 10990 33554432000 1073741824 1073778376 140736862679008 18446744073709551615 268284504985 0 4 0 16800975 18446604470075738944 0 0 -1 5 0 0 0
[pid=30866/tid=30872] ppid=30864 vsize=8539120 CPUtime=0 cores=1,3,5,7
/proc/30866/task/30872/stat : 30872 (java) S 30864 30866 30866 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869273219 8744058880 10990 33554432000 1073741824 1073778376 140736862679008 18446744073709551615 268284504985 0 4 0 16800975 18446604470075738944 0 0 -1 5 0 0 0
[pid=30866/tid=30873] ppid=30864 vsize=8539120 CPUtime=0 cores=1,3,5,7
/proc/30866/task/30873/stat : 30873 (java) S 30864 30866 30866 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869273219 8744058880 10990 33554432000 1073741824 1073778376 140736862679008 18446744073709551615 268284504985 0 4 0 16800975 18446604470075738944 0 0 -1 5 0 0 0
[pid=30866/tid=30874] ppid=30864 vsize=8539120 CPUtime=0 cores=1,3,5,7
/proc/30866/task/30874/stat : 30874 (java) S 30864 30866 30866 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869273219 8744058880 10990 33554432000 1073741824 1073778376 140736862679008 18446744073709551615 268284504985 0 4 0 16800975 18446604470075738944 0 0 -1 5 0 0 0
[pid=30866/tid=30875] ppid=30864 vsize=8539120 CPUtime=0 cores=1,3,5,7
/proc/30866/task/30875/stat : 30875 (java) S 30864 30866 30866 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869273219 8744058880 10990 33554432000 1073741824 1073778376 140736862679008 18446744073709551615 268284504985 0 4 0 16800975 18446604470075738944 0 0 -1 5 0 0 0
[pid=30866/tid=30876] ppid=30864 vsize=8539120 CPUtime=0 cores=1,3,5,7
/proc/30866/task/30876/stat : 30876 (java) S 30864 30866 30866 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 869273220 8744058880 10990 33554432000 1073741824 1073778376 140736862679008 18446744073709551615 268284505600 0 0 0 16800975 18446604470075738944 0 0 -1 7 0 0 0
[pid=30866/tid=30877] ppid=30864 vsize=8539120 CPUtime=0 cores=1,3,5,7
/proc/30866/task/30877/stat : 30877 (java) S 30864 30866 30866 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869273221 8744058880 10990 33554432000 1073741824 1073778376 140736862679008 18446744073709551615 268284504985 0 4 0 16800975 18446604470075738944 0 0 -1 7 0 0 0
[pid=30866/tid=30878] ppid=30864 vsize=8539120 CPUtime=0 cores=1,3,5,7
/proc/30866/task/30878/stat : 30878 (java) S 30864 30866 30866 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869273221 8744058880 10990 33554432000 1073741824 1073778376 140736862679008 18446744073709551615 268284504985 0 4 0 16800975 18446604470075738944 0 0 -1 7 0 0 0
[pid=30866/tid=30879] ppid=30864 vsize=8539120 CPUtime=0 cores=1,3,5,7
/proc/30866/task/30879/stat : 30879 (java) S 30864 30866 30866 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869273223 8744058880 10990 33554432000 1073741824 1073778376 140736862679008 18446744073709551615 268284512689 0 4 0 16800975 18446604470075738944 0 0 -1 5 0 0 0
[pid=30866/tid=30880] ppid=30864 vsize=8539120 CPUtime=0.28 cores=1,3,5,7
/proc/30866/task/30880/stat : 30880 (java) S 30864 30866 30866 0 -1 4202560 1540 0 0 0 28 0 0 0 15 0 19 0 869273223 8744058880 10990 33554432000 1073741824 1073778376 140736862679008 18446744073709551615 268284504985 0 4 0 16800975 18446604470075738944 0 0 -1 7 0 0 0
[pid=30866/tid=30881] ppid=30864 vsize=8539120 CPUtime=0.29 cores=1,3,5,7
/proc/30866/task/30881/stat : 30881 (java) R 30864 30866 30866 0 -1 4202560 2275 0 0 0 29 0 0 0 16 0 19 0 869273223 8744058880 10990 33554432000 1073741824 1073778376 140736862679008 18446744073709551615 47518974238048 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30866/tid=30882] ppid=30864 vsize=8539120 CPUtime=0 cores=1,3,5,7
/proc/30866/task/30882/stat : 30882 (java) S 30864 30866 30866 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869273223 8744058880 10990 33554432000 1073741824 1073778376 140736862679008 18446744073709551615 268284504985 0 4 0 16800975 18446604470075738944 0 0 -1 5 0 0 0
[pid=30866/tid=30883] ppid=30864 vsize=8539120 CPUtime=0 cores=1,3,5,7
/proc/30866/task/30883/stat : 30883 (java) S 30864 30866 30866 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869273223 8744058880 10990 33554432000 1073741824 1073778376 140736862679008 18446744073709551615 268284505600 0 4 0 16800975 18446604470075738944 0 0 -1 7 0 0 0
[pid=30866/tid=30884] ppid=30864 vsize=8539120 CPUtime=0 cores=1,3,5,7
/proc/30866/task/30884/stat : 30884 (java) S 30864 30866 30866 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869273254 8744058880 10990 33554432000 1073741824 1073778376 140736862679008 18446744073709551615 268284505600 0 4 0 16800975 18446604470075738944 0 0 -1 7 0 0 0
[pid=30817/tid=30824] ppid=30815 vsize=304764 CPUtime=0 cores=1,3,5,7
/proc/30817/task/30824/stat : 30824 (python) S 30815 30817 30488 0 -1 4202560 29 932 0 0 0 0 0 0 18 0 3 0 869268330 312078336 7472 33554432000 4194304 5683644 140737323144064 18446744073709551615 268284512689 0 0 16781312 33554434 18446604470075736256 0 0 -1 3 0 0 0
[pid=30817/tid=30865] ppid=30815 vsize=304764 CPUtime=0 cores=1,3,5,7
/proc/30817/task/30865/stat : 30865 (python) S 30815 30817 30488 0 -1 4202560 26 932 0 0 0 0 0 0 20 0 3 0 869273218 312078336 7472 33554432000 4194304 5683644 140737323144064 18446744073709551615 268284512689 0 0 16781312 33554434 18446604470075736256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.77
Current children cumulated vsize (KiB) 9492016
Solver just ended. Dumping a history of the last processes samples
[startup+51.3012 s]
/proc/loadavg: 2.06 1.44 0.66 5/647 30884
/proc/meminfo: memFree=29676644/32950928 swapFree=43925852/67111528
[pid=30817] ppid=30815 vsize=304764 CPUtime=0.53 cores=1,3,5,7
/proc/30817/stat : 30817 (python) S 30815 30817 30488 0 -1 4202496 10688 932 1 0 43 10 0 0 20 0 3 0 869268266 312078336 7472 33554432000 4194304 5683644 140737323144064 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/30817/statm: 76191 7472 1873 364 0 11075 0
[pid=30823] ppid=30817 vsize=293916 CPUtime=0.26 cores=1,3,5,7
/proc/30823/stat : 30823 (python) S 30817 30817 30488 0 -1 4202560 1167 0 0 0 13 13 0 0 16 0 2 0 869268330 300969984 5881 33554432000 4194304 5683644 140737323144064 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/30823/statm: 73479 5881 412 364 0 8366 0
[pid=30825] ppid=30823 vsize=59696 CPUtime=48.83 cores=1,3,5,7
/proc/30825/stat : 30825 (scip-2.0.1.linu) T 30823 30825 30825 0 -1 4202496 13515 0 0 0 4689 194 0 0 25 0 1 0 869268330 61128704 12714 33554432000 4194304 13684479 140734501872112 18446744073709551615 7450200 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/30825/statm: 14924 12714 810 2317 0 12602 0
[pid=30823/tid=30863] ppid=30817 vsize=293916 CPUtime=0 cores=1,3,5,7
/proc/30823/task/30863/stat : 30863 (python) S 30817 30817 30488 0 -1 4202560 98 0 0 0 0 0 0 0 16 0 2 0 869273215 300969984 5881 33554432000 4194304 5683644 140737323144064 18446744073709551615 268284512689 0 0 16781312 33554946 18446604462203323712 0 0 -1 7 0 0 0
[pid=30864] ppid=30817 vsize=294520 CPUtime=0 cores=1,3,5,7
/proc/30864/stat : 30864 (python) S 30817 30817 30488 0 -1 4202560 893 0 0 0 0 0 0 0 15 0 1 0 869273218 301588480 5951 33554432000 4194304 5683644 140737323144064 18446744073709551615 268272709190 0 0 16781312 33554946 4294934791 0 0 17 3 0 0 0
/proc/30864/statm: 73630 5951 356 364 0 8514 0
[pid=30866] ppid=30864 vsize=8539120 CPUtime=2.38 cores=1,3,5,7
/proc/30866/stat : 30866 (java) S 30864 30866 30866 0 -1 4202496 13232 0 1 0 236 2 0 0 20 0 19 0 869273218 8744058880 11841 33554432000 1073741824 1073778376 140736862679008 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/30866/statm: 2134780 11841 2253 9 0 2125521 0
[pid=30866/tid=30867] ppid=30864 vsize=8539120 CPUtime=1.75 cores=1,3,5,7
/proc/30866/task/30867/stat : 30867 (java) R 30864 30866 30866 0 -1 4202560 7147 0 1 0 174 1 0 0 25 0 19 0 869273219 8744058880 11841 33554432000 1073741824 1073778376 140736862679008 18446744073709551615 46912505228255 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=30866/tid=30868] ppid=30864 vsize=8539120 CPUtime=0 cores=1,3,5,7
/proc/30866/task/30868/stat : 30868 (java) S 30864 30866 30866 0 -1 4202560 229 0 0 0 0 0 0 0 18 0 19 0 869273219 8744058880 11841 33554432000 1073741824 1073778376 140736862679008 18446744073709551615 268284504985 0 4 0 16800975 18446604470075738944 0 0 -1 5 0 0 0
[pid=30866/tid=30869] ppid=30864 vsize=8539120 CPUtime=0 cores=1,3,5,7
/proc/30866/task/30869/stat : 30869 (java) S 30864 30866 30866 0 -1 4202560 163 0 0 0 0 0 0 0 18 0 19 0 869273219 8744058880 11841 33554432000 1073741824 1073778376 140736862679008 18446744073709551615 268284504985 0 4 0 16800975 18446604470075738944 0 0 -1 5 0 0 0
[pid=30866/tid=30870] ppid=30864 vsize=8539120 CPUtime=0 cores=1,3,5,7
/proc/30866/task/30870/stat : 30870 (java) S 30864 30866 30866 0 -1 4202560 35 0 0 0 0 0 0 0 18 0 19 0 869273219 8744058880 11841 33554432000 1073741824 1073778376 140736862679008 18446744073709551615 268284504985 0 4 0 16800975 18446604470075738944 0 0 -1 5 0 0 0
[pid=30866/tid=30871] ppid=30864 vsize=8539120 CPUtime=0 cores=1,3,5,7
/proc/30866/task/30871/stat : 30871 (java) S 30864 30866 30866 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869273219 8744058880 11841 33554432000 1073741824 1073778376 140736862679008 18446744073709551615 268284504985 0 4 0 16800975 18446604470075738944 0 0 -1 5 0 0 0
[pid=30866/tid=30872] ppid=30864 vsize=8539120 CPUtime=0 cores=1,3,5,7
/proc/30866/task/30872/stat : 30872 (java) S 30864 30866 30866 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869273219 8744058880 11841 33554432000 1073741824 1073778376 140736862679008 18446744073709551615 268284504985 0 4 0 16800975 18446604470075738944 0 0 -1 5 0 0 0
[pid=30866/tid=30873] ppid=30864 vsize=8539120 CPUtime=0 cores=1,3,5,7
/proc/30866/task/30873/stat : 30873 (java) S 30864 30866 30866 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869273219 8744058880 11841 33554432000 1073741824 1073778376 140736862679008 18446744073709551615 268284504985 0 4 0 16800975 18446604470075738944 0 0 -1 5 0 0 0
[pid=30866/tid=30874] ppid=30864 vsize=8539120 CPUtime=0 cores=1,3,5,7
/proc/30866/task/30874/stat : 30874 (java) S 30864 30866 30866 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869273219 8744058880 11841 33554432000 1073741824 1073778376 140736862679008 18446744073709551615 268284504985 0 4 0 16800975 18446604470075738944 0 0 -1 5 0 0 0
[pid=30866/tid=30875] ppid=30864 vsize=8539120 CPUtime=0 cores=1,3,5,7
/proc/30866/task/30875/stat : 30875 (java) S 30864 30866 30866 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869273219 8744058880 11841 33554432000 1073741824 1073778376 140736862679008 18446744073709551615 268284504985 0 4 0 16800975 18446604470075738944 0 0 -1 5 0 0 0
[pid=30866/tid=30876] ppid=30864 vsize=8539120 CPUtime=0 cores=1,3,5,7
/proc/30866/task/30876/stat : 30876 (java) S 30864 30866 30866 0 -1 4202560 422 0 0 0 0 0 0 0 15 0 19 0 869273220 8744058880 11841 33554432000 1073741824 1073778376 140736862679008 18446744073709551615 268284505600 0 0 0 16800975 18446604470075738944 0 0 -1 7 0 0 0
[pid=30866/tid=30877] ppid=30864 vsize=8539120 CPUtime=0 cores=1,3,5,7
/proc/30866/task/30877/stat : 30877 (java) S 30864 30866 30866 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869273221 8744058880 11841 33554432000 1073741824 1073778376 140736862679008 18446744073709551615 268284504985 0 4 0 16800975 18446604470075738944 0 0 -1 7 0 0 0
[pid=30866/tid=30878] ppid=30864 vsize=8539120 CPUtime=0 cores=1,3,5,7
/proc/30866/task/30878/stat : 30878 (java) S 30864 30866 30866 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869273221 8744058880 11841 33554432000 1073741824 1073778376 140736862679008 18446744073709551615 268284504985 0 4 0 16800975 18446604470075738944 0 0 -1 7 0 0 0
[pid=30866/tid=30879] ppid=30864 vsize=8539120 CPUtime=0 cores=1,3,5,7
/proc/30866/task/30879/stat : 30879 (java) S 30864 30866 30866 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869273223 8744058880 11841 33554432000 1073741824 1073778376 140736862679008 18446744073709551615 268284512689 0 4 0 16800975 18446604470075738944 0 0 -1 5 0 0 0
[pid=30866/tid=30880] ppid=30864 vsize=8539120 CPUtime=0.28 cores=1,3,5,7
/proc/30866/task/30880/stat : 30880 (java) S 30864 30866 30866 0 -1 4202560 1540 0 0 0 28 0 0 0 15 0 19 0 869273223 8744058880 11841 33554432000 1073741824 1073778376 140736862679008 18446744073709551615 268284504985 0 4 0 16800975 18446604470075738944 0 0 -1 7 0 0 0
[pid=30866/tid=30881] ppid=30864 vsize=8539120 CPUtime=0.32 cores=1,3,5,7
/proc/30866/task/30881/stat : 30881 (java) R 30864 30866 30866 0 -1 4202560 2300 0 0 0 32 0 0 0 15 0 19 0 869273223 8744058880 11841 33554432000 1073741824 1073778376 140736862679008 18446744073709551615 47518976112496 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30866/tid=30882] ppid=30864 vsize=8539120 CPUtime=0 cores=1,3,5,7
/proc/30866/task/30882/stat : 30882 (java) S 30864 30866 30866 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869273223 8744058880 11841 33554432000 1073741824 1073778376 140736862679008 18446744073709551615 268284504985 0 4 0 16800975 18446604470075738944 0 0 -1 5 0 0 0
[pid=30866/tid=30883] ppid=30864 vsize=8539120 CPUtime=0 cores=1,3,5,7
/proc/30866/task/30883/stat : 30883 (java) S 30864 30866 30866 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869273223 8744058880 11841 33554432000 1073741824 1073778376 140736862679008 18446744073709551615 268284505600 0 4 0 16800975 18446604470075738944 0 0 -1 7 0 0 0
[pid=30866/tid=30884] ppid=30864 vsize=8539120 CPUtime=0 cores=1,3,5,7
/proc/30866/task/30884/stat : 30884 (java) S 30864 30866 30866 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869273254 8744058880 11841 33554432000 1073741824 1073778376 140736862679008 18446744073709551615 268284505600 0 4 0 16800975 18446604470075738944 0 0 -1 7 0 0 0
[pid=30817/tid=30824] ppid=30815 vsize=304764 CPUtime=0 cores=1,3,5,7
/proc/30817/task/30824/stat : 30824 (python) S 30815 30817 30488 0 -1 4202560 29 932 0 0 0 0 0 0 18 0 3 0 869268330 312078336 7472 33554432000 4194304 5683644 140737323144064 18446744073709551615 268284512689 0 0 16781312 33554434 18446604470075736256 0 0 -1 3 0 0 0
[pid=30817/tid=30865] ppid=30815 vsize=304764 CPUtime=0 cores=1,3,5,7
/proc/30817/task/30865/stat : 30865 (python) S 30815 30817 30488 0 -1 4202560 26 932 0 0 0 0 0 0 20 0 3 0 869273218 312078336 7472 33554432000 4194304 5683644 140737323144064 18446744073709551615 268284512689 0 0 16781312 33554434 18446604470075736256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 52
Current children cumulated vsize (KiB) 9492016
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30817 and gives
# childrusage.ru_utime.tv_sec=47
# childrusage.ru_utime.tv_usec=487780
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=204664
# CPU time returned by wait4() is 49.6924
# while last known CPU time is 52
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 51.3732
CPU time (s): 52
CPU user time (s): 49.81
CPU system time (s): 2.19
CPU usage (%): 101.22
Max. virtual memory (cumulated for all children) (KiB): 9493328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 47.4878
system time used= 2.20466
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32505
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= 1996
involuntary context switches= 164
runsolver used 0.274958 second user time and 0.714891 second system time
The end