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-2704681-1278579736.opb>
3.49/3.53 c original problem has 320998 variables (320998 bin, 0 int, 0 impl, 0 cont) and 6000 constraints
3.49/3.53 c problem read
3.49/3.53 c presolving settings loaded
6.69/6.77 c presolving:
8.29/8.33 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 5002 upgd conss, 0 impls, 5002 clqs
83.08/83.14 c (79.6s) probing: 1000/320998 (0.3%) - 0 fixings, 0 aggregations, 1166 implications, 0 bound changes
156.36/156.43 c (152.9s) probing: 2000/320998 (0.6%) - 0 fixings, 0 aggregations, 3166 implications, 0 bound changes
156.46/156.50 c (153.0s) probing: 2001/320998 (0.6%) - 0 fixings, 0 aggregations, 3168 implications, 0 bound changes
156.46/156.50 c (153.0s) probing aborted: 2000/2000 successive useless probings
156.46/156.58 c presolving (2 rounds):
156.46/156.58 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
156.46/156.58 c 6336 implications, 5002 cliques
156.46/156.58 c presolved problem has 320998 variables (320998 bin, 0 int, 0 impl, 0 cont) and 6000 constraints
156.46/156.58 c 5002 constraints of type <setppc>
156.46/156.58 c 998 constraints of type <linear>
156.46/156.58 c transformed objective value is always integral (scale: 1)
156.46/156.58 c Presolving Time: 151.68
156.46/156.58 c - non default parameters ----------------------------------------------------------------------
156.46/156.58 c # SCIP version 1.2.1.3
156.46/156.58 c
156.46/156.58 c # frequency for displaying node information lines
156.46/156.58 c # [type: int, range: [-1,2147483647], default: 100]
156.46/156.58 c display/freq = 10000
156.46/156.58 c
156.46/156.58 c # maximal time in seconds to run
156.46/156.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
156.46/156.58 c limits/time = 1786.48
156.46/156.58 c
156.46/156.58 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
156.46/156.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
156.46/156.58 c limits/memory = 1620
156.46/156.58 c
156.46/156.58 c # default clock type (1: CPU user seconds, 2: wall clock time)
156.46/156.58 c # [type: int, range: [1,2], default: 1]
156.46/156.58 c timing/clocktype = 2
156.46/156.58 c
156.46/156.58 c # should presolving try to simplify inequalities
156.46/156.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
156.46/156.58 c constraints/linear/simplifyinequalities = TRUE
156.46/156.58 c
156.46/156.58 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
156.46/156.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
156.46/156.58 c constraints/indicator/addCouplingCons = TRUE
156.46/156.58 c
156.46/156.58 c # should presolving try to simplify knapsacks
156.46/156.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
156.46/156.58 c constraints/knapsack/simplifyinequalities = TRUE
156.46/156.58 c
156.46/156.58 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
156.46/156.58 c # [type: int, range: [-1,2147483647], default: -1]
156.46/156.58 c separating/rapidlearning/freq = 0
156.46/156.58 c
156.46/156.58 c -----------------------------------------------------------------------------------------------
156.46/156.58 c start solving
156.85/156.95 c
159.06/159.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
159.06/159.10 c 156s| 1 | 0 | 4 | - | 712M| 0 | 2 | 320k|6000 | 320k|6000 | 0 | 0 | 0 | 1.569300e+04 | -- | Inf
174.75/174.87 c 171s| 1 | 0 | 737 | - | 715M| 0 | 4 | 320k|6000 | 320k|6009 | 9 | 0 | 0 | 3.112000e+04 | -- | Inf
183.56/183.62 c 180s| 1 | 0 | 742 | - | 723M| 0 | 4 | 320k|6000 | 320k|6020 | 20 | 0 | 0 | 3.760300e+04 | -- | Inf
192.25/192.31 c 189s| 1 | 0 | 748 | - | 724M| 0 | 2 | 320k|6000 | 320k|6024 | 24 | 0 | 0 | 4.136100e+04 | -- | Inf
200.65/200.77 c 197s| 1 | 0 | 752 | - | 725M| 0 | 6 | 320k|6000 | 320k|6028 | 28 | 0 | 0 | 4.601400e+04 | -- | Inf
210.05/210.19 c 207s| 1 | 0 | 758 | - | 726M| 0 | 2 | 320k|6000 | 320k|6037 | 37 | 0 | 0 | 4.776500e+04 | -- | Inf
218.64/218.75 c 215s| 1 | 0 | 764 | - | 728M| 0 | 2 | 320k|6000 | 320k|6043 | 43 | 0 | 0 | 4.813100e+04 | -- | Inf
227.24/227.32 c 224s| 1 | 0 | 766 | - | 728M| 0 | 6 | 320k|6000 | 320k|6047 | 47 | 0 | 0 | 4.813100e+04 | -- | Inf
237.14/237.24 c 234s| 1 | 0 | 768 | - | 728M| 0 | 6 | 320k|6000 | 320k|6048 | 48 | 0 | 0 | 4.880500e+04 | -- | Inf
246.14/246.30 c 243s| 1 | 0 | 770 | - | 728M| 0 | 6 | 320k|6000 | 320k|6050 | 50 | 0 | 0 | 4.961000e+04 | -- | Inf
256.24/256.36 c 253s| 1 | 0 | 775 | - | 731M| 0 | 4 | 320k|6000 | 320k|6057 | 57 | 0 | 0 | 5.020300e+04 | -- | Inf
263.74/263.86 c 260s| 1 | 2 | 775 | - | 731M| 0 | 4 | 320k|6000 | 320k|6057 | 57 | 0 | 4 | 5.020300e+04 | -- | Inf
333.82/333.90 o 1549828
333.82/333.90 c c 330s| 6 | 7 | 1225 | 90.0 | 794M| 5 | - | 320k|6168 | 320k|6032 | 57 | 168 | 14 | 5.262300e+04 | 1.549828e+06 |2845.15%
514.38/514.52 o 1311979
514.38/514.52 c S 511s| 51 | 52 | 4373 | 72.0 | 783M| 13 | 0 | 320k|6168 | 320k|6032 | 57 | 168 | 137 | 5.776900e+04 | 1.311979e+06 |2171.08%
542.18/542.34 o 827527
542.18/542.34 c l 539s| 60 | 61 | 4625 | 65.3 | 794M| 13 | - | 320k|6168 | 320k|6032 | 57 | 168 | 146 | 5.776900e+04 | 8.275270e+05 |1332.48%
821.52/821.73 o 209683
821.52/821.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
821.52/821.73 c * 818s| 214 | 190 | 6596 | 27.3 | 826M| 37 | - | 320k|6271 | 320k|6032 | 57 | 279 | 391 | 6.058800e+04 | 2.096830e+05 | 246.08%
871.60/871.81 o 128893
871.60/871.81 c S 868s| 257 | 233 | 6886 | 23.9 | 836M| 37 | 0 | 320k|6271 | 320k|6032 | 57 | 279 | 444 | 6.161800e+04 | 1.288930e+05 | 109.18%
879.40/879.64 o 126104
879.40/879.64 c c 876s| 261 | 165 | 6910 | 23.6 | 841M| 37 | - | 320k|6075 | 320k|6032 | 57 | 279 | 448 | 6.161800e+04 | 1.261040e+05 | 104.65%
1322.81/1323.10 c pressed CTRL-C 1 times (5 times for forcing termination)
1322.81/1323.18 c [src/blockmemshell/memory.c:853] ERROR: Insufficient memory for allocation of 1048528 bytes
1322.81/1323.18 c [src/scip/history.c:46] ERROR: Insufficient memory for new chunk
1322.81/1323.18 c [src/scip/history.c:46] ERROR: No memory in function call
1322.81/1323.18 c [src/scip/var.c:1725] ERROR: Error <-1> in function call
1322.81/1323.18 c [src/scip/var.c:1798] ERROR: Error <-1> in function call
1322.81/1323.18 c [src/scip/var.c:2730] ERROR: Error <-1> in function call
1322.81/1323.18 c [src/scip/prob.c:388] ERROR: Error <-1> in function call
1322.81/1323.18 c [src/scip/scip.c:5148] ERROR: Error <-1> in function call
1322.81/1323.18 c [src/scip/scip.c:6115] ERROR: Error <-1> in function call
1322.81/1323.18 c [src/scip/scip.c:6290] ERROR: Error <-1> in function call
1322.81/1323.18 c [src/scip/heur_crossover.c:923] Warning: Error while solving subMIP in crossover heuristic; subSCIP terminated with code <-1>
1322.81/1323.18 c [src/scip/scip.c:6482] ERROR: invalid SCIP stage <2>
1322.81/1323.18 c [src/scip/heur_crossover.c:993] ERROR: Error <0> in function call
1322.81/1323.18 c [src/scip/heur.c:394] ERROR: Error <0> in function call
1322.81/1323.18 c [src/scip/solve.c:220] ERROR: Error <0> in function call
1322.81/1323.18 c [src/scip/solve.c:3303] ERROR: Error <0> in function call
1322.81/1323.18 c [src/scip/scip.c:6312] ERROR: Error <0> in function call
1322.81/1323.18 c [src/cmain.c:674] ERROR: Error <0> in function call
1322.81/1323.18 c [src/cmain.c:849] ERROR: Error <0> in function call
1322.81/1323.18 c [src/cmain.c:925] ERROR: Error <0> in function call
1322.81/1323.18 c SCIP Error (0): c unspecified errorc
1322.81/1323.18 c Time complete: 1322.89.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2704681-1278579736/watcher-2704681-1278579736 -o /tmp/evaluation-result-2704681-1278579736/solver-2704681-1278579736 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704681-1278579736.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.97 0.95 3/106 29399
/proc/meminfo: memFree=1894136/2059040 swapFree=4136968/4192956
[pid=29399] ppid=29397 vsize=7904 CPUtime=0
/proc/29399/stat : 29399 (pbscip.linux.x8) R 29397 29399 28769 0 -1 4202496 1064 0 0 0 0 0 0 0 20 0 1 0 26181218 8093696 976 1992294400 4194304 8395647 140736560807296 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29399/statm: 1976 985 365 1026 0 946 0
[startup+0.091578 s]
/proc/loadavg: 0.92 0.97 0.95 3/106 29399
/proc/meminfo: memFree=1894136/2059040 swapFree=4136968/4192956
[pid=29399] ppid=29397 vsize=26344 CPUtime=0.08
/proc/29399/stat : 29399 (pbscip.linux.x8) R 29397 29399 28769 0 -1 4202496 5729 0 0 0 7 1 0 0 20 0 1 0 26181218 26976256 5637 1992294400 4194304 8395647 140736560807296 18446744073709551615 6347101 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29399/statm: 6586 5651 389 1026 0 5556 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 26344
[startup+0.101579 s]
/proc/loadavg: 0.92 0.97 0.95 3/106 29399
/proc/meminfo: memFree=1894136/2059040 swapFree=4136968/4192956
[pid=29399] ppid=29397 vsize=28392 CPUtime=0.09
/proc/29399/stat : 29399 (pbscip.linux.x8) R 29397 29399 28769 0 -1 4202496 6402 0 0 0 8 1 0 0 20 0 1 0 26181218 29073408 6310 1992294400 4194304 8395647 140736560807296 18446744073709551615 7324710 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29399/statm: 7098 6310 389 1026 0 6068 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28392
[startup+0.301593 s]
/proc/loadavg: 0.92 0.97 0.95 3/106 29399
/proc/meminfo: memFree=1894136/2059040 swapFree=4136968/4192956
[pid=29399] ppid=29397 vsize=68764 CPUtime=0.29
/proc/29399/stat : 29399 (pbscip.linux.x8) R 29397 29399 28769 0 -1 4202496 16237 0 0 0 24 5 0 0 20 0 1 0 26181218 70414336 16145 1992294400 4194304 8395647 140736560807296 18446744073709551615 7385008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29399/statm: 17191 16145 389 1026 0 16161 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 68764
[startup+0.700617 s]
/proc/loadavg: 0.92 0.97 0.95 3/106 29399
/proc/meminfo: memFree=1894136/2059040 swapFree=4136968/4192956
[pid=29399] ppid=29397 vsize=144392 CPUtime=0.69
/proc/29399/stat : 29399 (pbscip.linux.x8) R 29397 29399 28769 0 -1 4202496 34917 0 0 0 57 12 0 0 21 0 1 0 26181218 147857408 34825 1992294400 4194304 8395647 140736560807296 18446744073709551615 6347101 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29399/statm: 36098 34835 389 1026 0 35068 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 144392
[startup+1.50067 s]
/proc/loadavg: 0.92 0.97 0.95 2/107 29400
/proc/meminfo: memFree=1700936/2059040 swapFree=4136968/4192956
[pid=29399] ppid=29397 vsize=239672 CPUtime=1.49
/proc/29399/stat : 29399 (pbscip.linux.x8) R 29397 29399 28769 0 -1 4202496 58240 0 0 0 129 20 0 0 23 0 1 0 26181218 245424128 58146 1992294400 4194304 8395647 140736560807296 18446744073709551615 5758034 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29399/statm: 59918 58146 394 1026 0 58888 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 239672
[startup+3.10077 s]
/proc/loadavg: 0.92 0.97 0.95 2/107 29400
/proc/meminfo: memFree=1655552/2059040 swapFree=4136968/4192956
[pid=29399] ppid=29397 vsize=258072 CPUtime=3.09
/proc/29399/stat : 29399 (pbscip.linux.x8) R 29397 29399 28769 0 -1 4202496 62522 0 0 0 287 22 0 0 25 0 1 0 26181218 264265728 62428 1992294400 4194304 8395647 140736560807296 18446744073709551615 7301433 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29399/statm: 64518 62428 394 1026 0 63488 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 258072
[startup+6.30097 s]
/proc/loadavg: 0.93 0.97 0.95 2/107 29400
/proc/meminfo: memFree=1304880/2059040 swapFree=4136968/4192956
[pid=29399] ppid=29397 vsize=621052 CPUtime=6.29
/proc/29399/stat : 29399 (pbscip.linux.x8) R 29397 29399 28769 0 -1 4202496 152820 0 0 0 575 54 0 0 25 0 1 0 26181218 635957248 152372 1992294400 4194304 8395647 140736560807296 18446744073709551615 4285929 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29399/statm: 155263 152372 442 1026 0 154233 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 621052
[startup+12.7014 s]
/proc/loadavg: 0.93 0.97 0.95 2/107 29400
/proc/meminfo: memFree=1220436/2059040 swapFree=4136968/4192956
[pid=29399] ppid=29397 vsize=687484 CPUtime=12.69
/proc/29399/stat : 29399 (pbscip.linux.x8) R 29397 29399 28769 0 -1 4202496 168992 0 0 0 1209 60 0 0 25 0 1 0 26181218 703983616 168544 1992294400 4194304 8395647 140736560807296 18446744073709551615 5604533 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29399/statm: 171871 168544 560 1026 0 170841 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 687484
[startup+25.5012 s]
/proc/loadavg: 0.95 0.97 0.95 2/107 29400
/proc/meminfo: memFree=1220436/2059040 swapFree=4136968/4192956
[pid=29399] ppid=29397 vsize=687484 CPUtime=25.49
/proc/29399/stat : 29399 (pbscip.linux.x8) R 29397 29399 28769 0 -1 4202496 168992 0 0 0 2488 61 0 0 25 0 1 0 26181218 703983616 168544 1992294400 4194304 8395647 140736560807296 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29399/statm: 171871 168544 560 1026 0 170841 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 687484
[startup+51.1018 s]
/proc/loadavg: 0.96 0.97 0.95 2/107 29400
/proc/meminfo: memFree=1220436/2059040 swapFree=4136968/4192956
[pid=29399] ppid=29397 vsize=687484 CPUtime=51.08
/proc/29399/stat : 29399 (pbscip.linux.x8) R 29397 29399 28769 0 -1 4202496 168992 0 0 0 5047 61 0 0 25 0 1 0 26181218 703983616 168544 1992294400 4194304 8395647 140736560807296 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29399/statm: 171871 168544 560 1026 0 170841 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 687484
[startup+102.309 s]
/proc/loadavg: 0.98 0.97 0.95 2/107 29402
/proc/meminfo: memFree=1220560/2059040 swapFree=4136968/4192956
[pid=29399] ppid=29397 vsize=687484 CPUtime=102.28
/proc/29399/stat : 29399 (pbscip.linux.x8) R 29397 29399 28769 0 -1 4202496 168998 0 0 0 10167 61 0 0 25 0 1 0 26181218 703983616 168550 1992294400 4194304 8395647 140736560807296 18446744073709551615 5604529 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29399/statm: 171871 168550 566 1026 0 170841 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 687484
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/107 29404
/proc/meminfo: memFree=981984/2059040 swapFree=4136968/4192956
[pid=29399] ppid=29397 vsize=952476 CPUtime=162.26
/proc/29399/stat : 29399 (pbscip.linux.x8) R 29397 29399 28769 0 -1 4202496 240697 0 0 0 16140 86 0 0 25 0 1 0 26181218 975335424 228167 1992294400 4194304 8395647 140736560807296 18446744073709551615 6003097 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29399/statm: 238119 228167 677 1026 0 237089 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 952476
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/107 29406
/proc/meminfo: memFree=926060/2059040 swapFree=4136968/4192956
[pid=29399] ppid=29397 vsize=1050628 CPUtime=222.24
/proc/29399/stat : 29399 (pbscip.linux.x8) R 29397 29399 28769 0 -1 4202496 255754 0 0 0 22134 90 0 0 25 0 1 0 26181218 1075843072 242424 1992294400 4194304 8395647 140736560807296 18446744073709551615 5852537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29399/statm: 262657 242424 978 1026 0 261627 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 1050628
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/107 29406
/proc/meminfo: memFree=904980/2059040 swapFree=4136968/4192956
[pid=29399] ppid=29397 vsize=1067432 CPUtime=282.23
/proc/29399/stat : 29399 (pbscip.linux.x8) R 29397 29399 28769 0 -1 4202496 415765 0 0 0 28072 151 0 0 25 0 1 0 26181218 1093050368 247988 1992294400 4194304 8395647 140736560807296 18446744073709551615 6003054 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29399/statm: 266858 247988 978 1026 0 265828 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 1067432
[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/107 29408
/proc/meminfo: memFree=847940/2059040 swapFree=4136968/4192956
[pid=29399] ppid=29397 vsize=1122892 CPUtime=342.22
/proc/29399/stat : 29399 (pbscip.linux.x8) R 29397 29399 28769 0 -1 4202496 429660 0 0 0 34066 156 0 0 25 0 1 0 26181218 1149841408 261883 1992294400 4194304 8395647 140736560807296 18446744073709551615 5614823 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29399/statm: 280723 261883 978 1026 0 279693 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 1122892
[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/107 29410
/proc/meminfo: memFree=847196/2059040 swapFree=4136968/4192956
[pid=29399] ppid=29397 vsize=1123616 CPUtime=402.21
/proc/29399/stat : 29399 (pbscip.linux.x8) R 29397 29399 28769 0 -1 4202496 429842 0 0 0 40063 158 0 0 25 0 1 0 26181218 1150582784 262065 1992294400 4194304 8395647 140736560807296 18446744073709551615 5614823 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29399/statm: 280904 262065 978 1026 0 279874 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 1123616
[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/107 29412
/proc/meminfo: memFree=845956/2059040 swapFree=4136968/4192956
[pid=29399] ppid=29397 vsize=1125064 CPUtime=462.19
/proc/29399/stat : 29399 (pbscip.linux.x8) R 29397 29399 28769 0 -1 4202496 430178 0 0 0 46060 159 0 0 25 0 1 0 26181218 1152065536 262401 1992294400 4194304 8395647 140736560807296 18446744073709551615 6119850 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29399/statm: 281266 262401 978 1026 0 280236 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 1125064
[startup+522.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/107 29414
/proc/meminfo: memFree=840996/2059040 swapFree=4136968/4192956
[pid=29399] ppid=29397 vsize=1129772 CPUtime=522.18
/proc/29399/stat : 29399 (pbscip.linux.x8) R 29397 29399 28769 0 -1 4202496 431381 0 0 0 52057 161 0 0 25 0 1 0 26181218 1156886528 263604 1992294400 4194304 8395647 140736560807296 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29399/statm: 282443 263604 978 1026 0 281413 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 1129772
[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/107 29414
/proc/meminfo: memFree=833432/2059040 swapFree=4136968/4192956
[pid=29399] ppid=29397 vsize=1138672 CPUtime=582.17
/proc/29399/stat : 29399 (pbscip.linux.x8) R 29397 29399 28769 0 -1 4202496 433581 0 0 0 58054 163 0 0 25 0 1 0 26181218 1166000128 265804 1992294400 4194304 8395647 140736560807296 18446744073709551615 6652348 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29399/statm: 284668 265804 978 1026 0 283638 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 1138672
[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/107 29416
/proc/meminfo: memFree=821280/2059040 swapFree=4136968/4192956
[pid=29399] ppid=29397 vsize=1149484 CPUtime=642.16
/proc/29399/stat : 29399 (pbscip.linux.x8) R 29397 29399 28769 0 -1 4202496 436288 0 0 0 64051 165 0 0 25 0 1 0 26181218 1177071616 268511 1992294400 4194304 8395647 140736560807296 18446744073709551615 5614817 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29399/statm: 287371 268511 978 1026 0 286341 0
Current children cumulated CPU time (s) 642.16
Current children cumulated vsize (KiB) 1149484
[startup+702.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/107 29418
/proc/meminfo: memFree=818428/2059040 swapFree=4136968/4192956
[pid=29399] ppid=29397 vsize=1152296 CPUtime=702.14
/proc/29399/stat : 29399 (pbscip.linux.x8) R 29397 29399 28769 0 -1 4202496 437001 0 0 0 70047 167 0 0 25 0 1 0 26181218 1179951104 269224 1992294400 4194304 8395647 140736560807296 18446744073709551615 6470944 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29399/statm: 288074 269224 978 1026 0 287044 0
Current children cumulated CPU time (s) 702.14
Current children cumulated vsize (KiB) 1152296
[startup+762.308 s]
/proc/loadavg: 0.99 0.97 0.95 2/107 29420
/proc/meminfo: memFree=813964/2059040 swapFree=4136968/4192956
[pid=29399] ppid=29397 vsize=1156616 CPUtime=762.13
/proc/29399/stat : 29399 (pbscip.linux.x8) R 29397 29399 28769 0 -1 4202496 438069 0 0 0 76045 168 0 0 25 0 1 0 26181218 1184374784 270292 1992294400 4194304 8395647 140736560807296 18446744073709551615 4729215 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29399/statm: 289154 270292 978 1026 0 288124 0
Current children cumulated CPU time (s) 762.13
Current children cumulated vsize (KiB) 1156616
[startup+822.301 s]
/proc/loadavg: 1.05 0.99 0.95 2/107 29422
/proc/meminfo: memFree=804292/2059040 swapFree=4136968/4192956
[pid=29399] ppid=29397 vsize=1166864 CPUtime=822.11
/proc/29399/stat : 29399 (pbscip.linux.x8) R 29397 29399 28769 0 -1 4202496 440570 0 0 0 82041 170 0 0 25 0 1 0 26181218 1194868736 272793 1992294400 4194304 8395647 140736560807296 18446744073709551615 6652339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29399/statm: 291716 272793 979 1026 0 290686 0
Current children cumulated CPU time (s) 822.11
Current children cumulated vsize (KiB) 1166864
[startup+882.301 s]
/proc/loadavg: 1.02 0.99 0.95 2/107 29422
/proc/meminfo: memFree=777756/2059040 swapFree=4136968/4192956
[pid=29399] ppid=29397 vsize=1195464 CPUtime=882.1
/proc/29399/stat : 29399 (pbscip.linux.x8) R 29397 29399 28769 0 -1 4202496 447720 0 0 0 88036 174 0 0 25 0 1 0 26181218 1224155136 279943 1992294400 4194304 8395647 140736560807296 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29399/statm: 298866 279943 979 1026 0 297836 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 1195464
[startup+942.301 s]
/proc/loadavg: 1.00 0.99 0.95 2/107 29424
/proc/meminfo: memFree=687112/2059040 swapFree=4136968/4192956
[pid=29399] ppid=29397 vsize=1282880 CPUtime=942.09
/proc/29399/stat : 29399 (pbscip.linux.x8) R 29397 29399 28769 0 -1 4202496 469714 0 0 0 94027 182 0 0 25 0 1 0 26181218 1313669120 301937 1992294400 4194304 8395647 140736560807296 18446744073709551615 6586935 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29399/statm: 320720 301937 979 1026 0 319690 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 1282880
[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.95 2/107 29426
/proc/meminfo: memFree=657724/2059040 swapFree=4136968/4192956
[pid=29399] ppid=29397 vsize=1312224 CPUtime=1002.07
/proc/29399/stat : 29399 (pbscip.linux.x8) R 29397 29399 28769 0 -1 4202496 477052 0 0 0 100022 185 0 0 25 0 1 0 26181218 1343717376 309275 1992294400 4194304 8395647 140736560807296 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29399/statm: 328056 309275 979 1026 0 327026 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 1312224
[startup+1062.3 s]
/proc/loadavg: 1.07 1.00 0.96 2/107 29431
/proc/meminfo: memFree=604976/2059040 swapFree=4136972/4192956
[pid=29399] ppid=29397 vsize=1313940 CPUtime=1062.06
/proc/29399/stat : 29399 (pbscip.linux.x8) R 29397 29399 28769 0 -1 4202496 478151 0 0 0 106019 187 0 0 25 0 1 0 26181218 1345474560 310321 1992294400 4194304 8395647 140736560807296 18446744073709551615 4601619 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29399/statm: 328485 310321 926 1026 0 327455 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 1313940
[startup+1122.3 s]
/proc/loadavg: 1.02 1.00 0.96 2/107 29433
/proc/meminfo: memFree=591088/2059040 swapFree=4136972/4192956
[pid=29399] ppid=29397 vsize=1327444 CPUtime=1122.05
/proc/29399/stat : 29399 (pbscip.linux.x8) R 29397 29399 28769 0 -1 4202496 481662 0 0 0 112014 191 0 0 25 0 1 0 26181218 1359302656 313698 1992294400 4194304 8395647 140736560807296 18446744073709551615 6594149 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29399/statm: 331861 313698 792 1026 0 330831 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 1327444
[startup+1182.3 s]
/proc/loadavg: 1.01 1.00 0.96 2/107 29433
/proc/meminfo: memFree=540248/2059040 swapFree=4136972/4192956
[pid=29399] ppid=29397 vsize=1378088 CPUtime=1182.03
/proc/29399/stat : 29399 (pbscip.linux.x8) R 29397 29399 28769 0 -1 4202496 494393 0 0 0 118008 195 0 0 25 0 1 0 26181218 1411162112 326429 1992294400 4194304 8395647 140736560807296 18446744073709551615 6586884 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29399/statm: 344522 326429 792 1026 0 343492 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 1378088
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 29435
/proc/meminfo: memFree=474652/2059040 swapFree=4136972/4192956
[pid=29399] ppid=29397 vsize=1443968 CPUtime=1242.02
/proc/29399/stat : 29399 (pbscip.linux.x8) R 29397 29399 28769 0 -1 4202496 510759 0 0 0 124001 201 0 0 25 0 1 0 26181218 1478623232 342795 1992294400 4194304 8395647 140736560807296 18446744073709551615 4706201 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29399/statm: 360992 342795 792 1026 0 359962 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 1443968
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 29437
/proc/meminfo: memFree=425052/2059040 swapFree=4136972/4192956
[pid=29399] ppid=29397 vsize=1493552 CPUtime=1302.01
/proc/29399/stat : 29399 (pbscip.linux.x8) R 29397 29399 28769 0 -1 4202496 523161 0 0 0 129996 205 0 0 25 0 1 0 26181218 1529397248 355196 1992294400 4194304 8395647 140736560807296 18446744073709551615 6644040 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29399/statm: 373388 355196 791 1026 0 372358 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 1493552
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1323.1 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 29437
/proc/meminfo: memFree=61484/2059040 swapFree=4136972/4192956
[pid=29399] ppid=29397 vsize=1863160 CPUtime=1322.81
/proc/29399/stat : 29399 (pbscip.linux.x8) R 29397 29399 28769 0 -1 4202496 614655 0 0 0 132044 237 0 0 25 0 1 0 26181218 1907875840 446690 1992294400 4194304 8395647 140736560807296 18446744073709551615 6347101 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29399/statm: 465790 446702 792 1026 0 464760 0
Current children cumulated CPU time (s) 1322.81
Current children cumulated vsize (KiB) 1863160
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1323.21 s]
/proc/loadavg: 1.00 1.00 0.96 2/108 29438
/proc/meminfo: memFree=275748/2059040 swapFree=4136972/4192956
[pid=29399] ppid=29397 vsize=0 CPUtime=1322.92
/proc/29399/stat : 29399 (pbscip.linux.x8) R 29397 29399 28769 0 -1 4202500 622637 0 0 0 132049 243 0 0 25 0 1 0 26181218 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/29399/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1322.92
Current children cumulated vsize (KiB) 0
[startup+1323.31 s]
/proc/loadavg: 1.00 1.00 0.96 2/108 29438
/proc/meminfo: memFree=275748/2059040 swapFree=4136972/4192956
[pid=29399] ppid=29397 vsize=0 CPUtime=1323.01
/proc/29399/stat : 29399 (pbscip.linux.x8) R 29397 29399 28769 0 -1 4202500 622637 0 0 0 132049 252 0 0 25 0 1 0 26181218 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/29399/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1323.01
Current children cumulated vsize (KiB) 0
Child status: 255
Real time (s): 1323.35
CPU time (s): 1323.07
CPU user time (s): 1320.49
CPU system time (s): 2.57361
CPU usage (%): 99.9783
Max. virtual memory (cumulated for all children) (KiB): 1863160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1320.49
system time used= 2.57361
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 622637
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= 7769
runsolver used 2.16067 second user time and 6.29204 second system time
The end