0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2665541-1276476689.opb>
0.19/0.25 c original problem has 10000 variables (10000 bin, 0 int, 0 impl, 0 cont) and 10000 constraints
0.19/0.25 c problem read
0.19/0.25 c presolving settings loaded
0.29/0.40 o 10000
0.29/0.40 c feasible solution found by trivial heuristic, objective value 1.000000e+04
0.29/0.40 c presolving:
0.49/0.54 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 10000 upgd conss, 0 impls, 0 clqs
0.69/0.73 c (0.4s) probing: 101/10000 (1.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.69/0.73 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.69/0.74 c presolving (2 rounds):
0.69/0.74 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.69/0.74 c 0 implications, 0 cliques
0.69/0.74 c presolved problem has 10000 variables (10000 bin, 0 int, 0 impl, 0 cont) and 10000 constraints
0.69/0.74 c 10000 constraints of type <logicor>
0.69/0.74 c transformed objective value is always integral (scale: 1)
0.69/0.74 c Presolving Time: 0.38
0.69/0.74 c - non default parameters ----------------------------------------------------------------------
0.69/0.74 c # SCIP version 1.2.1.2
0.69/0.74 c
0.69/0.74 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.69/0.74 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.74 c conflict/interconss = 0
0.69/0.74 c
0.69/0.74 c # should binary conflicts be preferred?
0.69/0.74 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.74 c conflict/preferbinary = TRUE
0.69/0.74 c
0.69/0.74 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.69/0.74 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.74 c constraints/agelimit = 1
0.69/0.74 c
0.69/0.74 c # should enforcement of pseudo solution be disabled?
0.69/0.74 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.74 c constraints/disableenfops = TRUE
0.69/0.74 c
0.69/0.74 c # frequency for displaying node information lines
0.69/0.74 c # [type: int, range: [-1,2147483647], default: 100]
0.69/0.74 c display/freq = 10000
0.69/0.74 c
0.69/0.74 c # maximal time in seconds to run
0.69/0.74 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.74 c limits/time = 1799.76
0.69/0.74 c
0.69/0.74 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.69/0.74 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.74 c limits/memory = 1620
0.69/0.74 c
0.69/0.74 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.69/0.74 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.74 c lp/solvefreq = 0
0.69/0.74 c
0.69/0.74 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.69/0.74 c # [type: char, range: {lafpsqd}, default: l]
0.69/0.74 c lp/pricing = a
0.69/0.74 c
0.69/0.74 c # should presolving try to simplify inequalities
0.69/0.74 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.74 c constraints/linear/simplifyinequalities = TRUE
0.69/0.74 c
0.69/0.74 c # should presolving try to simplify knapsacks
0.69/0.74 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.74 c constraints/knapsack/simplifyinequalities = TRUE
0.69/0.74 c
0.69/0.74 c # priority of node selection rule <dfs> in standard mode
0.69/0.74 c # [type: int, range: [-536870912,536870911], default: 0]
0.69/0.74 c nodeselection/dfs/stdpriority = 1000000
0.69/0.74 c
0.69/0.74 c -----------------------------------------------------------------------------------------------
0.69/0.74 c start solving
0.69/0.75 c
1800.05/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665541-1276476689/watcher-2665541-1276476689 -o /tmp/evaluation-result-2665541-1276476689/solver-2665541-1276476689 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665541-1276476689.opb -t 1800 -m 1800
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 27946
/proc/meminfo: memFree=1852016/2059040 swapFree=4140220/4192956
[pid=27946] ppid=27944 vsize=8260 CPUtime=0
/proc/27946/stat : 27946 (pbscip.linux.x8) R 27944 27946 27542 0 -1 4202496 1010 0 0 0 0 0 0 0 19 0 1 0 23270558 8458240 931 1992294400 4194304 9819077 140736796965952 18446744073709551615 8718976 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27946/statm: 2065 931 366 1374 0 686 0
[startup+0.035611 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 27946
/proc/meminfo: memFree=1852016/2059040 swapFree=4140220/4192956
[pid=27946] ppid=27944 vsize=16444 CPUtime=0.02
/proc/27946/stat : 27946 (pbscip.linux.x8) R 27944 27946 27542 0 -1 4202496 2885 0 0 0 2 0 0 0 19 0 1 0 23270558 16838656 2805 1992294400 4194304 9819077 140736796965952 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27946/statm: 4111 2819 384 1374 0 2732 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16444
[startup+0.101623 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 27946
/proc/meminfo: memFree=1852016/2059040 swapFree=4140220/4192956
[pid=27946] ppid=27944 vsize=20396 CPUtime=0.09
/proc/27946/stat : 27946 (pbscip.linux.x8) R 27944 27946 27542 0 -1 4202496 4066 0 0 0 8 1 0 0 19 0 1 0 23270558 20885504 3981 1992294400 4194304 9819077 140736796965952 18446744073709551615 8718976 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27946/statm: 5099 3981 388 1374 0 3720 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20396
[startup+0.301665 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 27946
/proc/meminfo: memFree=1852016/2059040 swapFree=4140220/4192956
[pid=27946] ppid=27944 vsize=39456 CPUtime=0.29
/proc/27946/stat : 27946 (pbscip.linux.x8) R 27944 27946 27542 0 -1 4202496 9083 0 0 0 26 3 0 0 19 0 1 0 23270558 40402944 8645 1992294400 4194304 9819077 140736796965952 18446744073709551615 6179008 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27946/statm: 9864 8661 429 1374 0 8485 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39456
[startup+0.70175 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 27946
/proc/meminfo: memFree=1852016/2059040 swapFree=4140220/4192956
[pid=27946] ppid=27944 vsize=48160 CPUtime=0.69
/proc/27946/stat : 27946 (pbscip.linux.x8) R 27944 27946 27542 0 -1 4202496 12419 0 0 0 62 7 0 0 19 0 1 0 23270558 49315840 10638 1992294400 4194304 9819077 140736796965952 18446744073709551615 5502780 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27946/statm: 12040 10638 538 1374 0 10661 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48160
[startup+1.50092 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 27947
/proc/meminfo: memFree=1793232/2059040 swapFree=4140220/4192956
[pid=27946] ppid=27944 vsize=74068 CPUtime=1.49
/proc/27946/stat : 27946 (pbscip.linux.x8) R 27944 27946 27542 0 -1 4202496 22520 0 0 0 138 11 0 0 21 0 1 0 23270558 75845632 15396 1992294400 4194304 9819077 140736796965952 18446744073709551615 7291749 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27946/statm: 18517 15396 627 1374 0 17138 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 74068
[startup+3.10026 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 27947
/proc/meminfo: memFree=1792116/2059040 swapFree=4140220/4192956
[pid=27946] ppid=27944 vsize=75228 CPUtime=3.09
/proc/27946/stat : 27946 (pbscip.linux.x8) R 27944 27946 27542 0 -1 4202496 27169 0 0 0 295 14 0 0 25 0 1 0 23270558 77033472 15544 1992294400 4194304 9819077 140736796965952 18446744073709551615 6198314 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27946/statm: 18807 15544 627 1374 0 17428 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 75228
[startup+6.30094 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 27947
/proc/meminfo: memFree=1790876/2059040 swapFree=4140220/4192956
[pid=27946] ppid=27944 vsize=75536 CPUtime=6.29
/proc/27946/stat : 27946 (pbscip.linux.x8) R 27944 27946 27542 0 -1 4202496 31248 0 0 0 612 17 0 0 25 0 1 0 23270558 77348864 15621 1992294400 4194304 9819077 140736796965952 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27946/statm: 18884 15621 627 1374 0 17505 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 75536
[startup+12.7003 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 27947
/proc/meminfo: memFree=1790256/2059040 swapFree=4140220/4192956
[pid=27946] ppid=27944 vsize=75712 CPUtime=12.68
/proc/27946/stat : 27946 (pbscip.linux.x8) R 27944 27946 27542 0 -1 4202496 36637 0 0 0 1247 21 0 0 25 0 1 0 23270558 77529088 15836 1992294400 4194304 9819077 140736796965952 18446744073709551615 6191141 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27946/statm: 18928 15836 627 1374 0 17549 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 75712
[startup+25.501 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 27947
/proc/meminfo: memFree=1790504/2059040 swapFree=4140220/4192956
[pid=27946] ppid=27944 vsize=75924 CPUtime=25.48
/proc/27946/stat : 27946 (pbscip.linux.x8) R 27944 27946 27542 0 -1 4202496 46622 0 0 0 2520 28 0 0 25 0 1 0 23270558 77746176 15958 1992294400 4194304 9819077 140736796965952 18446744073709551615 7301610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27946/statm: 18981 15958 627 1374 0 17602 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 75924
[startup+51.1015 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 27949
/proc/meminfo: memFree=1790132/2059040 swapFree=4140220/4192956
[pid=27946] ppid=27944 vsize=79744 CPUtime=51.08
/proc/27946/stat : 27946 (pbscip.linux.x8) R 27944 27946 27542 0 -1 4202496 69468 0 0 0 5065 43 0 0 25 0 1 0 23270558 81657856 15920 1992294400 4194304 9819077 140736796965952 18446744073709551615 7292017 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27946/statm: 19936 15920 627 1374 0 18557 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 79744
[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 27949
/proc/meminfo: memFree=1789884/2059040 swapFree=4140220/4192956
[pid=27946] ppid=27944 vsize=84932 CPUtime=102.26
/proc/27946/stat : 27946 (pbscip.linux.x8) R 27944 27946 27542 0 -1 4202496 128633 0 0 0 10151 75 0 0 25 0 1 0 23270558 86970368 16260 1992294400 4194304 9819077 140736796965952 18446744073709551615 7293419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27946/statm: 21233 16260 627 1374 0 19854 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 84932
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27951
/proc/meminfo: memFree=1784924/2059040 swapFree=4140220/4192956
[pid=27946] ppid=27944 vsize=87300 CPUtime=162.23
/proc/27946/stat : 27946 (pbscip.linux.x8) R 27944 27946 27542 0 -1 4202496 214272 0 0 0 16102 121 0 0 25 0 1 0 23270558 89395200 16637 1992294400 4194304 9819077 140736796965952 18446744073709551615 7318419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27946/statm: 21825 16637 627 1374 0 20446 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 87300
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27953
/proc/meminfo: memFree=1783312/2059040 swapFree=4140220/4192956
[pid=27946] ppid=27944 vsize=87592 CPUtime=222.21
/proc/27946/stat : 27946 (pbscip.linux.x8) R 27944 27946 27542 0 -1 4202496 321797 0 0 0 22047 174 0 0 25 0 1 0 23270558 89694208 17620 1992294400 4194304 9819077 140736796965952 18446744073709551615 6198600 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27946/statm: 21898 17620 627 1374 0 20519 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 87592
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27955
/proc/meminfo: memFree=1784800/2059040 swapFree=4140220/4192956
[pid=27946] ppid=27944 vsize=92680 CPUtime=282.18
/proc/27946/stat : 27946 (pbscip.linux.x8) R 27944 27946 27542 0 -1 4202496 426409 0 0 0 27993 225 0 0 25 0 1 0 23270558 94904320 17791 1992294400 4194304 9819077 140736796965952 18446744073709551615 6198389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27946/statm: 23170 17791 627 1374 0 21791 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 92680
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27957
/proc/meminfo: memFree=1782692/2059040 swapFree=4140220/4192956
[pid=27946] ppid=27944 vsize=92896 CPUtime=342.15
/proc/27946/stat : 27946 (pbscip.linux.x8) R 27944 27946 27542 0 -1 4202496 528371 0 0 0 33941 274 0 0 25 0 1 0 23270558 95125504 17827 1992294400 4194304 9819077 140736796965952 18446744073709551615 7290981 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27946/statm: 23224 17827 627 1374 0 21845 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 92896
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27957
/proc/meminfo: memFree=1782320/2059040 swapFree=4140220/4192956
[pid=27946] ppid=27944 vsize=93064 CPUtime=402.13
/proc/27946/stat : 27946 (pbscip.linux.x8) R 27944 27946 27542 0 -1 4202496 633362 0 0 0 39888 325 0 0 25 0 1 0 23270558 95297536 17957 1992294400 4194304 9819077 140736796965952 18446744073709551615 7312697 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27946/statm: 23266 17957 627 1374 0 21887 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 93064
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27959
/proc/meminfo: memFree=1779716/2059040 swapFree=4140220/4192956
[pid=27946] ppid=27944 vsize=84692 CPUtime=462.1
/proc/27946/stat : 27946 (pbscip.linux.x8) R 27944 27946 27542 0 -1 4202496 739388 0 0 0 45835 375 0 0 25 0 1 0 23270558 86724608 17366 1992294400 4194304 9819077 140736796965952 18446744073709551615 7284106 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27946/statm: 21173 17366 627 1374 0 19794 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 84692
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27961
/proc/meminfo: memFree=1779468/2059040 swapFree=4140220/4192956
[pid=27946] ppid=27944 vsize=93316 CPUtime=522.08
/proc/27946/stat : 27946 (pbscip.linux.x8) R 27944 27946 27542 0 -1 4202496 840084 0 0 0 51785 423 0 0 25 0 1 0 23270558 95555584 18676 1992294400 4194304 9819077 140736796965952 18446744073709551615 7318505 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27946/statm: 23329 18676 627 1374 0 21950 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 93316
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27972
/proc/meminfo: memFree=1777732/2059040 swapFree=4140220/4192956
[pid=27946] ppid=27944 vsize=93448 CPUtime=582.05
/proc/27946/stat : 27946 (pbscip.linux.x8) R 27944 27946 27542 0 -1 4202496 947169 0 0 0 57729 476 0 0 25 0 1 0 23270558 95690752 18853 1992294400 4194304 9819077 140736796965952 18446744073709551615 7318497 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27946/statm: 23362 18853 627 1374 0 21983 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 93448
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27974
/proc/meminfo: memFree=1778848/2059040 swapFree=4140220/4192956
[pid=27946] ppid=27944 vsize=93512 CPUtime=642.02
/proc/27946/stat : 27946 (pbscip.linux.x8) R 27944 27946 27542 0 -1 4202496 1047552 0 0 0 63681 521 0 0 25 0 1 0 23270558 95756288 18618 1992294400 4194304 9819077 140736796965952 18446744073709551615 7293500 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27946/statm: 23378 18618 627 1374 0 21999 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 93512
[startup+702.301 s]
################
# More data... #
################
/proc/27946/stat : 27946 (pbscip.linux.x8) R 27944 27946 27542 0 -1 4202496 1697939 0 0 0 105356 829 0 0 25 0 1 0 23270558 87216128 17836 1992294400 4194304 9819077 140736796965952 18446744073709551615 7284064 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27946/statm: 21293 17836 627 1374 0 19914 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 85172
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27986
/proc/meminfo: memFree=1773640/2059040 swapFree=4140220/4192956
[pid=27946] ppid=27944 vsize=93960 CPUtime=1121.83
/proc/27946/stat : 27946 (pbscip.linux.x8) R 27944 27946 27542 0 -1 4202496 1787363 0 0 0 111313 870 0 0 25 0 1 0 23270558 96215040 19911 1992294400 4194304 9819077 140736796965952 18446744073709551615 7309299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27946/statm: 23490 19911 627 1374 0 22111 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 93960
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27988
/proc/meminfo: memFree=1778352/2059040 swapFree=4140220/4192956
[pid=27946] ppid=27944 vsize=93984 CPUtime=1181.8
/proc/27946/stat : 27946 (pbscip.linux.x8) R 27944 27946 27542 0 -1 4202496 1882674 0 0 0 117268 912 0 0 25 0 1 0 23270558 96239616 19926 1992294400 4194304 9819077 140736796965952 18446744073709551615 7293596 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27946/statm: 23496 19926 627 1374 0 22117 0
Current children cumulated CPU time (s) 1181.8
Current children cumulated vsize (KiB) 93984
[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27990
/proc/meminfo: memFree=1774880/2059040 swapFree=4140220/4192956
[pid=27946] ppid=27944 vsize=94048 CPUtime=1241.77
/proc/27946/stat : 27946 (pbscip.linux.x8) R 27944 27946 27542 0 -1 4202496 1972643 0 0 0 123224 953 0 0 25 0 1 0 23270558 96305152 19966 1992294400 4194304 9819077 140736796965952 18446744073709551615 6198274 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27946/statm: 23512 19966 627 1374 0 22133 0
Current children cumulated CPU time (s) 1241.77
Current children cumulated vsize (KiB) 94048
[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27990
/proc/meminfo: memFree=1772400/2059040 swapFree=4140220/4192956
[pid=27946] ppid=27944 vsize=94084 CPUtime=1301.76
/proc/27946/stat : 27946 (pbscip.linux.x8) R 27944 27946 27542 0 -1 4202496 2057216 0 0 0 129182 994 0 0 25 0 1 0 23270558 96342016 20133 1992294400 4194304 9819077 140736796965952 18446744073709551615 7296888 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27946/statm: 23521 20133 627 1374 0 22142 0
Current children cumulated CPU time (s) 1301.76
Current children cumulated vsize (KiB) 94084
[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27995
/proc/meminfo: memFree=1779592/2059040 swapFree=4140220/4192956
[pid=27946] ppid=27944 vsize=85172 CPUtime=1361.72
/proc/27946/stat : 27946 (pbscip.linux.x8) R 27944 27946 27542 0 -1 4202496 2146245 0 0 0 135136 1036 0 0 25 0 1 0 23270558 87216128 18752 1992294400 4194304 9819077 140736796965952 18446744073709551615 7234719 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27946/statm: 21293 18752 627 1374 0 19914 0
Current children cumulated CPU time (s) 1361.72
Current children cumulated vsize (KiB) 85172
[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27997
/proc/meminfo: memFree=1778104/2059040 swapFree=4140220/4192956
[pid=27946] ppid=27944 vsize=94176 CPUtime=1421.7
/proc/27946/stat : 27946 (pbscip.linux.x8) R 27944 27946 27542 0 -1 4202496 2233415 0 0 0 141094 1076 0 0 25 0 1 0 23270558 96436224 19757 1992294400 4194304 9819077 140736796965952 18446744073709551615 7293475 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27946/statm: 23544 19757 627 1374 0 22165 0
Current children cumulated CPU time (s) 1421.7
Current children cumulated vsize (KiB) 94176
[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27999
/proc/meminfo: memFree=1771284/2059040 swapFree=4140220/4192956
[pid=27946] ppid=27944 vsize=94180 CPUtime=1481.67
/proc/27946/stat : 27946 (pbscip.linux.x8) R 27944 27946 27542 0 -1 4202496 2325182 0 0 0 147047 1120 0 0 25 0 1 0 23270558 96440320 20495 1992294400 4194304 9819077 140736796965952 18446744073709551615 7291979 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27946/statm: 23545 20495 627 1374 0 22166 0
Current children cumulated CPU time (s) 1481.67
Current children cumulated vsize (KiB) 94180
[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28001
/proc/meminfo: memFree=1770044/2059040 swapFree=4140220/4192956
[pid=27946] ppid=27944 vsize=94276 CPUtime=1541.64
/proc/27946/stat : 27946 (pbscip.linux.x8) R 27944 27946 27542 0 -1 4202496 2413646 0 0 0 153002 1162 0 0 25 0 1 0 23270558 96538624 20694 1992294400 4194304 9819077 140736796965952 18446744073709551615 7301603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27946/statm: 23569 20694 627 1374 0 22190 0
Current children cumulated CPU time (s) 1541.64
Current children cumulated vsize (KiB) 94276
[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28001
/proc/meminfo: memFree=1771160/2059040 swapFree=4140220/4192956
[pid=27946] ppid=27944 vsize=85436 CPUtime=1601.62
/proc/27946/stat : 27946 (pbscip.linux.x8) R 27944 27946 27542 0 -1 4202496 2500025 0 0 0 158961 1201 0 0 25 0 1 0 23270558 87486464 17993 1992294400 4194304 9819077 140736796965952 18446744073709551615 7287963 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27946/statm: 21359 17993 627 1374 0 19980 0
Current children cumulated CPU time (s) 1601.62
Current children cumulated vsize (KiB) 85436
[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28003
/proc/meminfo: memFree=1777980/2059040 swapFree=4140220/4192956
[pid=27946] ppid=27944 vsize=85460 CPUtime=1661.6
/proc/27946/stat : 27946 (pbscip.linux.x8) R 27944 27946 27542 0 -1 4202496 2590085 0 0 0 164915 1245 0 0 25 0 1 0 23270558 87511040 18781 1992294400 4194304 9819077 140736796965952 18446744073709551615 7287852 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27946/statm: 21365 18781 627 1374 0 19986 0
Current children cumulated CPU time (s) 1661.6
Current children cumulated vsize (KiB) 85460
[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28005
/proc/meminfo: memFree=1770540/2059040 swapFree=4140220/4192956
[pid=27946] ppid=27944 vsize=94368 CPUtime=1721.57
/proc/27946/stat : 27946 (pbscip.linux.x8) R 27944 27946 27542 0 -1 4202496 2666372 0 0 0 170878 1279 0 0 25 0 1 0 23270558 96632832 20664 1992294400 4194304 9819077 140736796965952 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27946/statm: 23592 20664 627 1374 0 22213 0
Current children cumulated CPU time (s) 1721.57
Current children cumulated vsize (KiB) 94368
[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28007
/proc/meminfo: memFree=1770168/2059040 swapFree=4140220/4192956
[pid=27946] ppid=27944 vsize=85508 CPUtime=1781.55
/proc/27946/stat : 27946 (pbscip.linux.x8) R 27944 27946 27542 0 -1 4202496 2748817 0 0 0 176836 1319 0 0 25 0 1 0 23270558 87560192 16569 1992294400 4194304 9819077 140736796965952 18446744073709551615 7287922 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27946/statm: 21377 16569 627 1374 0 19998 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (KiB) 85508
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28007
/proc/meminfo: memFree=1785544/2059040 swapFree=4140220/4192956
[pid=27946] ppid=27944 vsize=85508 CPUtime=1800.05
/proc/27946/stat : 27946 (pbscip.linux.x8) R 27944 27946 27542 0 -1 4202496 2772715 0 0 0 178675 1330 0 0 25 0 1 0 23270558 87560192 16870 1992294400 4194304 9819077 140736796965952 18446744073709551615 7228640 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27946/statm: 21377 16870 627 1374 0 19998 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 85508
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -27946
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28007
/proc/meminfo: memFree=1785544/2059040 swapFree=4140220/4192956
[pid=27946] ppid=27944 vsize=85508 CPUtime=1800.63
/proc/27946/stat : 27946 (pbscip.linux.x8) R 27944 27946 27542 0 -1 4202496 2774731 0 0 0 178732 1331 0 0 25 0 1 0 23270558 87560192 18764 1992294400 4194304 9819077 140736796965952 18446744073709551615 7287778 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27946/statm: 21377 18764 627 1374 0 19998 0
Current children cumulated CPU time (s) 1800.63
Current children cumulated vsize (KiB) 85508
[startup+1802.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 28008
/proc/meminfo: memFree=1776980/2059040 swapFree=4140220/4192956
[pid=27946] ppid=27944 vsize=94408 CPUtime=1801.44
/proc/27946/stat : 27946 (pbscip.linux.x8) R 27944 27946 27542 0 -1 4202496 2776210 0 0 0 178812 1332 0 0 25 0 1 0 23270558 96673792 20236 1992294400 4194304 9819077 140736796965952 18446744073709551615 7309073 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27946/statm: 23602 20236 627 1374 0 22223 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 94408
[startup+1802.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 28008
/proc/meminfo: memFree=1776980/2059040 swapFree=4140220/4192956
[pid=27946] ppid=27944 vsize=94408 CPUtime=1801.84
/proc/27946/stat : 27946 (pbscip.linux.x8) R 27944 27946 27542 0 -1 4202496 2776292 0 0 0 178852 1332 0 0 25 0 1 0 23270558 96673792 20318 1992294400 4194304 9819077 140736796965952 18446744073709551615 6198639 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27946/statm: 23602 20318 627 1374 0 22223 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 94408
[startup+1802.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 28008
/proc/meminfo: memFree=1771152/2059040 swapFree=4140220/4192956
[pid=27946] ppid=27944 vsize=94408 CPUtime=1802.05
/proc/27946/stat : 27946 (pbscip.linux.x8) R 27944 27946 27542 0 -1 4202496 2776315 0 0 0 178873 1332 0 0 25 0 1 0 23270558 96673792 20341 1992294400 4194304 9819077 140736796965952 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27946/statm: 23602 20341 627 1374 0 22223 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 94408
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.82
CPU time (s): 1802.07
CPU user time (s): 1788.73
CPU system time (s): 13.334
CPU usage (%): 99.9582
Max. virtual memory (cumulated for all children) (KiB): 94408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.73
system time used= 13.334
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2776315
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 3865
runsolver used 3.01454 second user time and 8.48271 second system time
The end