0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2704621-1278578843.opb>
5.89/5.92 c original problem has 482998 variables (482998 bin, 0 int, 0 impl, 0 cont) and 18000 constraints
5.89/5.92 c problem read
5.89/5.92 c presolving settings loaded
10.79/10.85 c presolving:
12.89/12.98 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 15002 upgd conss, 0 impls, 15002 clqs
13.99/14.02 c (round 2) 0 del vars, 7 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 15002 upgd conss, 0 impls, 15002 clqs
125.56/125.66 c (119.7s) probing: 1000/482998 (0.2%) - 0 fixings, 0 aggregations, 1358 implications, 0 bound changes
235.04/235.13 c (229.2s) probing: 2000/482998 (0.4%) - 0 fixings, 0 aggregations, 3358 implications, 0 bound changes
235.14/235.24 c (229.3s) probing: 2001/482998 (0.4%) - 0 fixings, 0 aggregations, 3360 implications, 0 bound changes
235.14/235.24 c (229.3s) probing aborted: 2000/2000 successive useless probings
235.24/235.37 c presolving (3 rounds):
235.24/235.37 c 0 deleted vars, 7 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
235.24/235.37 c 6720 implications, 15002 cliques
235.24/235.37 c presolved problem has 482998 variables (482998 bin, 0 int, 0 impl, 0 cont) and 17993 constraints
235.24/235.37 c 14995 constraints of type <setppc>
235.24/235.37 c 2998 constraints of type <linear>
235.24/235.37 c transformed objective value is always integral (scale: 1)
235.24/235.37 c Presolving Time: 227.37
235.24/235.37 c - non default parameters ----------------------------------------------------------------------
235.24/235.37 c # SCIP version 1.2.1.3
235.24/235.37 c
235.24/235.37 c # frequency for displaying node information lines
235.24/235.37 c # [type: int, range: [-1,2147483647], default: 100]
235.24/235.37 c display/freq = 10000
235.24/235.37 c
235.24/235.37 c # maximal time in seconds to run
235.24/235.37 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
235.24/235.37 c limits/time = 1784.08
235.24/235.37 c
235.24/235.37 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
235.24/235.37 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
235.24/235.37 c limits/memory = 1620
235.24/235.37 c
235.24/235.38 c # default clock type (1: CPU user seconds, 2: wall clock time)
235.24/235.38 c # [type: int, range: [1,2], default: 1]
235.24/235.38 c timing/clocktype = 2
235.24/235.38 c
235.24/235.38 c # should presolving try to simplify inequalities
235.24/235.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
235.24/235.38 c constraints/linear/simplifyinequalities = TRUE
235.24/235.38 c
235.24/235.38 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
235.24/235.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
235.24/235.38 c constraints/indicator/addCouplingCons = TRUE
235.24/235.38 c
235.24/235.38 c # should presolving try to simplify knapsacks
235.24/235.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
235.24/235.38 c constraints/knapsack/simplifyinequalities = TRUE
235.24/235.38 c
235.24/235.38 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
235.24/235.38 c # [type: int, range: [-1,2147483647], default: -1]
235.24/235.38 c separating/rapidlearning/freq = 0
235.24/235.38 c
235.24/235.38 c -----------------------------------------------------------------------------------------------
235.24/235.38 c start solving
235.84/235.93 c
239.14/239.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
239.14/239.28 c 233s| 1 | 0 | 4 | - |1077M| 0 | 2 | 482k| 17k| 482k| 17k| 0 | 0 | 0 | 2.771400e+04 | -- | Inf
281.23/281.31 c 275s| 1 | 0 | 2080 | - |1083M| 0 | 4 | 482k| 17k| 482k| 17k| 5 | 0 | 0 | 2.910300e+04 | -- | Inf
309.82/309.98 c 304s| 1 | 0 | 2085 | - |1083M| 0 | 2 | 482k| 17k| 482k| 18k| 9 | 0 | 0 | 3.568800e+04 | -- | Inf
338.41/338.58 c 333s| 1 | 0 | 2091 | - |1084M| 0 | 2 | 482k| 17k| 482k| 18k| 14 | 0 | 0 | 4.412600e+04 | -- | Inf
367.01/367.18 c 361s| 1 | 0 | 2095 | - |1084M| 0 | 4 | 482k| 17k| 482k| 18k| 19 | 0 | 0 | 4.430600e+04 | -- | Inf
395.91/396.04 c 390s| 1 | 0 | 2100 | - |1085M| 0 | 2 | 482k| 17k| 482k| 18k| 22 | 0 | 0 | 4.502000e+04 | -- | Inf
424.59/424.76 c 419s| 1 | 0 | 2106 | - |1085M| 0 | 2 | 482k| 17k| 482k| 18k| 29 | 0 | 0 | 4.558300e+04 | -- | Inf
453.29/453.49 c 448s| 1 | 0 | 2112 | - |1085M| 0 | 2 | 482k| 17k| 482k| 18k| 34 | 0 | 0 | 4.770700e+04 | -- | Inf
482.08/482.27 c 476s| 1 | 0 | 2116 | - |1085M| 0 | 4 | 482k| 17k| 482k| 18k| 39 | 0 | 0 | 5.427400e+04 | -- | Inf
511.29/511.50 c 506s| 1 | 0 | 2121 | - |1086M| 0 | 2 | 482k| 17k| 482k| 18k| 43 | 0 | 0 | 5.712100e+04 | -- | Inf
540.27/540.48 c 535s| 1 | 0 | 2125 | - |1087M| 0 | 4 | 482k| 17k| 482k| 18k| 49 | 0 | 0 | 5.720100e+04 | -- | Inf
541.37/541.59 c 536s| 1 | 0 | 2129 | - |1087M| 0 | 2 | 482k| 17k| 482k| 18k| 51 | 0 | 0 | 5.850600e+04 | -- | Inf
542.57/542.71 c 537s| 1 | 0 | 2132 | - |1087M| 0 | 2 | 482k| 17k| 482k| 18k| 53 | 0 | 0 | 5.892200e+04 | -- | Inf
544.33/544.47 c pressed CTRL-C 1 times (5 times for forcing termination)
544.97/545.16 c [src/blockmemshell/memory.c:853] ERROR: Insufficient memory for allocation of 1048576 bytes
544.97/545.16 c [src/scip/cons_linear.c:1041] ERROR: Insufficient memory for new chunk
544.97/545.16 c [src/scip/cons_linear.c:1041] ERROR: Error <-1> in function call
544.97/545.16 c [src/scip/cons_linear.c:10249] ERROR: Error <-1> in function call
544.97/545.16 c [src/scip/heur_rens.c:210] ERROR: Error <-1> in function call
544.97/545.16 c [src/scip/heur_rens.c:341] ERROR: Error <-1> in function call
544.97/545.16 c [src/scip/heur_rens.c:654] ERROR: Error <-1> in function call
544.97/545.16 c [src/scip/heur.c:394] ERROR: Error <-1> in function call
544.97/545.16 c [src/scip/solve.c:220] ERROR: Error <-1> in function call
544.97/545.16 c [src/scip/solve.c:2682] ERROR: Error <-1> in function call
544.97/545.16 c [src/scip/solve.c:3206] ERROR: Error <-1> in function call
544.97/545.16 c [src/scip/scip.c:6312] ERROR: Error <-1> in function call
544.97/545.16 c [src/cmain.c:674] ERROR: Error <-1> in function call
544.97/545.16 c [src/cmain.c:849] ERROR: Error <-1> in function call
544.97/545.16 c [src/cmain.c:925] ERROR: Error <-1> in function call
544.97/545.16 c SCIP Error (-1): c insufficient memory errorc
544.97/545.16 c Time complete: 545.03.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2704621-1278578843/watcher-2704621-1278578843 -o /tmp/evaluation-result-2704621-1278578843/solver-2704621-1278578843 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704621-1278578843.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: 1.05 1.03 0.96 3/106 29154
/proc/meminfo: memFree=1538160/2059040 swapFree=4139744/4192956
[pid=29154] ppid=29152 vsize=7904 CPUtime=0
/proc/29154/stat : 29154 (pbscip.linux.x8) R 29152 29154 28769 0 -1 4202496 1016 0 0 0 0 0 0 0 17 0 1 0 26091987 8093696 927 1992294400 4194304 8395647 140736463974784 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29154/statm: 1976 936 365 1026 0 946 0
[startup+0.086314 s]
/proc/loadavg: 1.05 1.03 0.96 3/106 29154
/proc/meminfo: memFree=1538160/2059040 swapFree=4139744/4192956
[pid=29154] ppid=29152 vsize=25320 CPUtime=0.08
/proc/29154/stat : 29154 (pbscip.linux.x8) R 29152 29154 28769 0 -1 4202496 5617 0 0 0 6 2 0 0 17 0 1 0 26091987 25927680 5524 1992294400 4194304 8395647 140736463974784 18446744073709551615 7324750 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29154/statm: 6330 5524 389 1026 0 5300 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 25320
[startup+0.101314 s]
/proc/loadavg: 1.05 1.03 0.96 3/106 29154
/proc/meminfo: memFree=1538160/2059040 swapFree=4139744/4192956
[pid=29154] ppid=29152 vsize=28392 CPUtime=0.09
/proc/29154/stat : 29154 (pbscip.linux.x8) R 29152 29154 28769 0 -1 4202496 6403 0 0 0 7 2 0 0 17 0 1 0 26091987 29073408 6310 1992294400 4194304 8395647 140736463974784 18446744073709551615 6765655 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29154/statm: 7098 6310 389 1026 0 6068 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28392
[startup+0.301327 s]
/proc/loadavg: 1.05 1.03 0.96 3/106 29154
/proc/meminfo: memFree=1538160/2059040 swapFree=4139744/4192956
[pid=29154] ppid=29152 vsize=68956 CPUtime=0.29
/proc/29154/stat : 29154 (pbscip.linux.x8) R 29152 29154 28769 0 -1 4202496 16283 0 0 0 23 6 0 0 17 0 1 0 26091987 70610944 16190 1992294400 4194304 8395647 140736463974784 18446744073709551615 6347101 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29154/statm: 17239 16199 389 1026 0 16209 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 68956
[startup+0.701351 s]
/proc/loadavg: 1.05 1.03 0.96 3/106 29154
/proc/meminfo: memFree=1538160/2059040 swapFree=4139744/4192956
[pid=29154] ppid=29152 vsize=146440 CPUtime=0.69
/proc/29154/stat : 29154 (pbscip.linux.x8) R 29152 29154 28769 0 -1 4202496 35478 0 0 0 56 13 0 0 17 0 1 0 26091987 149954560 35385 1992294400 4194304 8395647 140736463974784 18446744073709551615 4245998 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29154/statm: 36610 35385 389 1026 0 35580 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 146440
[startup+1.5014 s]
/proc/loadavg: 1.05 1.03 0.96 2/107 29155
/proc/meminfo: memFree=1344960/2059040 swapFree=4139744/4192956
[pid=29154] ppid=29152 vsize=287636 CPUtime=1.49
/proc/29154/stat : 29154 (pbscip.linux.x8) R 29152 29154 28769 0 -1 4202496 70638 0 0 0 124 25 0 0 18 0 1 0 26091987 294539264 70545 1992294400 4194304 8395647 140736463974784 18446744073709551615 4424388 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29154/statm: 71909 70545 389 1026 0 70879 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 287636
[startup+3.10051 s]
/proc/loadavg: 1.05 1.03 0.96 2/107 29155
/proc/meminfo: memFree=1196036/2059040 swapFree=4139744/4192956
[pid=29154] ppid=29152 vsize=358796 CPUtime=3.09
/proc/29154/stat : 29154 (pbscip.linux.x8) R 29152 29154 28769 0 -1 4202496 88609 0 0 0 278 31 0 0 21 0 1 0 26091987 367407104 88514 1992294400 4194304 8395647 140736463974784 18446744073709551615 4685157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29154/statm: 89699 88514 394 1026 0 88669 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 358796
[startup+6.3007 s]
/proc/loadavg: 1.05 1.03 0.96 2/107 29155
/proc/meminfo: memFree=1164788/2059040 swapFree=4139744/4192956
[pid=29154] ppid=29152 vsize=539072 CPUtime=6.29
/proc/29154/stat : 29154 (pbscip.linux.x8) R 29152 29154 28769 0 -1 4202496 133378 0 0 0 581 48 0 0 25 0 1 0 26091987 552009728 132929 1992294400 4194304 8395647 140736463974784 18446744073709551615 4730619 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29154/statm: 134768 132929 410 1026 0 133738 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 539072
[startup+12.7011 s]
/proc/loadavg: 1.04 1.03 0.96 2/107 29155
/proc/meminfo: memFree=560908/2059040 swapFree=4139744/4192956
[pid=29154] ppid=29152 vsize=991924 CPUtime=12.69
/proc/29154/stat : 29154 (pbscip.linux.x8) R 29152 29154 28769 0 -1 4202496 246766 0 0 0 1183 86 0 0 25 0 1 0 26091987 1015730176 246317 1992294400 4194304 8395647 140736463974784 18446744073709551615 4448743 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29154/statm: 247981 246317 467 1026 0 246951 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 991924
[startup+25.5009 s]
/proc/loadavg: 1.03 1.03 0.96 2/107 29155
/proc/meminfo: memFree=525816/2059040 swapFree=4139744/4192956
[pid=29154] ppid=29152 vsize=1020904 CPUtime=25.48
/proc/29154/stat : 29154 (pbscip.linux.x8) R 29152 29154 28769 0 -1 4202496 253553 0 0 0 2460 88 0 0 25 0 1 0 26091987 1045405696 253104 1992294400 4194304 8395647 140736463974784 18446744073709551615 5604541 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29154/statm: 255226 253104 560 1026 0 254196 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1020904
[startup+51.1015 s]
/proc/loadavg: 1.02 1.02 0.96 2/107 29155
/proc/meminfo: memFree=525816/2059040 swapFree=4139744/4192956
[pid=29154] ppid=29152 vsize=1020904 CPUtime=51.08
/proc/29154/stat : 29154 (pbscip.linux.x8) R 29152 29154 28769 0 -1 4202496 253553 0 0 0 5020 88 0 0 25 0 1 0 26091987 1045405696 253104 1992294400 4194304 8395647 140736463974784 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29154/statm: 255226 253104 560 1026 0 254196 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1020904
[startup+102.309 s]
/proc/loadavg: 1.01 1.02 0.96 2/107 29157
/proc/meminfo: memFree=525816/2059040 swapFree=4139744/4192956
[pid=29154] ppid=29152 vsize=1020904 CPUtime=102.27
/proc/29154/stat : 29154 (pbscip.linux.x8) R 29152 29154 28769 0 -1 4202496 253553 0 0 0 10139 88 0 0 25 0 1 0 26091987 1045405696 253104 1992294400 4194304 8395647 140736463974784 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29154/statm: 255226 253104 560 1026 0 254196 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1020904
[startup+162.301 s]
/proc/loadavg: 1.00 1.01 0.96 2/107 29159
/proc/meminfo: memFree=525816/2059040 swapFree=4139744/4192956
[pid=29154] ppid=29152 vsize=1020904 CPUtime=162.25
/proc/29154/stat : 29154 (pbscip.linux.x8) R 29152 29154 28769 0 -1 4202496 253559 0 0 0 16137 88 0 0 25 0 1 0 26091987 1045405696 253110 1992294400 4194304 8395647 140736463974784 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29154/statm: 255226 253110 566 1026 0 254196 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1020904
[startup+222.301 s]
/proc/loadavg: 1.00 1.01 0.96 2/107 29161
/proc/meminfo: memFree=525816/2059040 swapFree=4139744/4192956
[pid=29154] ppid=29152 vsize=1020904 CPUtime=222.24
/proc/29154/stat : 29154 (pbscip.linux.x8) R 29152 29154 28769 0 -1 4202496 253564 0 0 0 22136 88 0 0 25 0 1 0 26091987 1045405696 253110 1992294400 4194304 8395647 140736463974784 18446744073709551615 5604533 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29154/statm: 255226 253110 561 1026 0 254196 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 1020904
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 29163
/proc/meminfo: memFree=110292/2059040 swapFree=4139744/4192956
[pid=29154] ppid=29152 vsize=1538688 CPUtime=282.23
/proc/29154/stat : 29154 (pbscip.linux.x8) R 29152 29154 28769 0 -1 4202496 380300 0 0 0 28095 128 0 0 25 0 1 0 26091987 1575616512 357464 1992294400 4194304 8395647 140736463974784 18446744073709551615 7382142 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29154/statm: 384672 357464 1282 1026 0 383642 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 1538688
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 29163
/proc/meminfo: memFree=109052/2059040 swapFree=4139744/4192956
[pid=29154] ppid=29152 vsize=1541160 CPUtime=342.21
/proc/29154/stat : 29154 (pbscip.linux.x8) R 29152 29154 28769 0 -1 4202496 380579 0 0 0 34093 128 0 0 25 0 1 0 26091987 1578147840 357715 1992294400 4194304 8395647 140736463974784 18446744073709551615 7382127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29154/statm: 385290 357715 1257 1026 0 384260 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1541160
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 29165
/proc/meminfo: memFree=107812/2059040 swapFree=4139744/4192956
[pid=29154] ppid=29152 vsize=1541872 CPUtime=402.2
/proc/29154/stat : 29154 (pbscip.linux.x8) R 29152 29154 28769 0 -1 4202496 380894 0 0 0 40092 128 0 0 25 0 1 0 26091987 1578876928 357998 1992294400 4194304 8395647 140736463974784 18446744073709551615 5852527 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29154/statm: 385468 357998 1229 1026 0 384438 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 1541872
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 29167
/proc/meminfo: memFree=105580/2059040 swapFree=4139744/4192956
[pid=29154] ppid=29152 vsize=1542576 CPUtime=462.18
/proc/29154/stat : 29154 (pbscip.linux.x8) R 29152 29154 28769 0 -1 4202496 381454 0 0 0 46090 128 0 0 25 0 1 0 26091987 1579597824 358520 1992294400 4194304 8395647 140736463974784 18446744073709551615 5852511 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29154/statm: 385644 358520 1191 1026 0 384614 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 1542576
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 29169
/proc/meminfo: memFree=104340/2059040 swapFree=4139744/4192956
[pid=29154] ppid=29152 vsize=1542860 CPUtime=522.18
/proc/29154/stat : 29154 (pbscip.linux.x8) R 29152 29154 28769 0 -1 4202496 381761 0 0 0 52089 129 0 0 25 0 1 0 26091987 1579888640 358818 1992294400 4194304 8395647 140736463974784 18446744073709551615 5852534 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29154/statm: 385715 358818 1182 1026 0 384685 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 1542860
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+544.401 s]
/proc/loadavg: 1.00 1.00 0.96 3/107 29169
/proc/meminfo: memFree=9612/2059040 swapFree=4139732/4192956
[pid=29154] ppid=29152 vsize=1860728 CPUtime=544.33
/proc/29154/stat : 29154 (pbscip.linux.x8) R 29152 29154 28769 0 -1 4202496 462231 0 0 0 54270 163 0 0 25 0 1 0 26091987 1905385472 439288 1992294400 4194304 8395647 140736463974784 18446744073709551615 6347101 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29154/statm: 465182 439288 1184 1026 0 464152 0
Current children cumulated CPU time (s) 544.33
Current children cumulated vsize (KiB) 1860728
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+544.601 s]
/proc/loadavg: 1.00 1.00 0.96 3/107 29169
/proc/meminfo: memFree=9612/2059040 swapFree=4139732/4192956
[pid=29154] ppid=29152 vsize=1879604 CPUtime=544.47
/proc/29154/stat : 29154 (pbscip.linux.x8) R 29152 29154 28769 0 -1 4202496 467005 0 0 0 54280 167 0 0 25 0 1 0 26091987 1924714496 444062 1992294400 4194304 8395647 140736463974784 18446744073709551615 4246033 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29154/statm: 469901 444062 1184 1026 0 468871 0
Current children cumulated CPU time (s) 544.47
Current children cumulated vsize (KiB) 1879604
[startup+545.001 s]
/proc/loadavg: 1.00 1.00 0.96 3/107 29169
/proc/meminfo: memFree=9612/2059040 swapFree=4139732/4192956
[pid=29154] ppid=29152 vsize=1879604 CPUtime=544.87
/proc/29154/stat : 29154 (pbscip.linux.x8) R 29152 29154 28769 0 -1 4202496 467007 0 0 0 54320 167 0 0 25 0 1 0 26091987 1924714496 444064 1992294400 4194304 8395647 140736463974784 18446744073709551615 5518762 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29154/statm: 469901 444064 1186 1026 0 468871 0
Current children cumulated CPU time (s) 544.87
Current children cumulated vsize (KiB) 1879604
[startup+545.201 s]
/proc/loadavg: 1.00 1.00 0.96 3/107 29169
/proc/meminfo: memFree=9612/2059040 swapFree=4139732/4192956
[pid=29154] ppid=29152 vsize=0 CPUtime=545.06
/proc/29154/stat : 29154 (pbscip.linux.x8) R 29152 29154 28769 0 -1 4202500 470519 0 0 0 54334 172 0 0 25 0 1 0 26091987 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/29154/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 545.06
Current children cumulated vsize (KiB) 0
[startup+545.301 s]
/proc/loadavg: 1.00 1.00 0.96 3/107 29169
/proc/meminfo: memFree=9612/2059040 swapFree=4139732/4192956
[pid=29154] ppid=29152 vsize=0 CPUtime=545.16
/proc/29154/stat : 29154 (pbscip.linux.x8) R 29152 29154 28769 0 -1 4202500 470519 0 0 0 54334 182 0 0 25 0 1 0 26091987 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/29154/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 545.16
Current children cumulated vsize (KiB) 0
Child status: 255
Real time (s): 545.339
CPU time (s): 545.21
CPU user time (s): 543.345
CPU system time (s): 1.86472
CPU usage (%): 99.9764
Max. virtual memory (cumulated for all children) (KiB): 1888008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 543.345
system time used= 1.86472
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 470519
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= 2
involuntary context switches= 1042
runsolver used 0.880866 second user time and 2.6136 second system time
The end