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-2665530-1276379639.opb>
10.19/10.29 c original problem has 10000 variables (10000 bin, 0 int, 0 impl, 0 cont) and 656900 constraints
10.19/10.29 c problem read
10.19/10.29 c presolving settings loaded
13.19/13.21 c presolving:
24.98/25.08 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 656900 upgd conss, 1313400 impls, 0 clqs
30.48/30.57 c (17.9s) probing: 101/10000 (1.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
30.48/30.57 c (17.9s) probing aborted: 100/100 successive totally useless probings
30.48/30.57 c presolving (2 rounds):
30.48/30.57 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
30.48/30.57 c 1313400 implications, 0 cliques
30.48/30.57 c presolved problem has 10000 variables (10000 bin, 0 int, 0 impl, 0 cont) and 656900 constraints
30.48/30.57 c 656900 constraints of type <logicor>
30.48/30.57 c transformed objective value is always integral (scale: 1)
30.48/30.57 c Presolving Time: 16.03
30.48/30.57 c - non default parameters ----------------------------------------------------------------------
30.48/30.57 c # SCIP version 1.2.1.2
30.48/30.57 c
30.48/30.57 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
30.48/30.57 c # [type: int, range: [-1,2147483647], default: -1]
30.48/30.57 c conflict/interconss = 0
30.48/30.57 c
30.48/30.57 c # should binary conflicts be preferred?
30.48/30.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
30.48/30.57 c conflict/preferbinary = TRUE
30.48/30.57 c
30.48/30.57 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
30.48/30.57 c # [type: int, range: [-1,2147483647], default: 0]
30.48/30.57 c constraints/agelimit = 1
30.48/30.57 c
30.48/30.57 c # should enforcement of pseudo solution be disabled?
30.48/30.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
30.48/30.57 c constraints/disableenfops = TRUE
30.48/30.57 c
30.48/30.57 c # frequency for displaying node information lines
30.48/30.57 c # [type: int, range: [-1,2147483647], default: 100]
30.48/30.57 c display/freq = 10000
30.48/30.57 c
30.48/30.57 c # maximal time in seconds to run
30.48/30.57 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
30.48/30.57 c limits/time = 1789.71
30.48/30.57 c
30.48/30.57 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
30.48/30.57 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
30.48/30.57 c limits/memory = 1620
30.48/30.57 c
30.48/30.57 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
30.48/30.57 c # [type: int, range: [-1,2147483647], default: 1]
30.48/30.57 c lp/solvefreq = 0
30.48/30.57 c
30.48/30.57 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)
30.48/30.57 c # [type: char, range: {lafpsqd}, default: l]
30.48/30.57 c lp/pricing = a
30.48/30.57 c
30.48/30.57 c # should presolving try to simplify inequalities
30.48/30.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
30.48/30.57 c constraints/linear/simplifyinequalities = TRUE
30.48/30.57 c
30.48/30.57 c # should presolving try to simplify knapsacks
30.48/30.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
30.48/30.57 c constraints/knapsack/simplifyinequalities = TRUE
30.48/30.57 c
30.48/30.57 c # priority of node selection rule <dfs> in standard mode
30.48/30.57 c # [type: int, range: [-536870912,536870911], default: 0]
30.48/30.57 c nodeselection/dfs/stdpriority = 1000000
30.48/30.57 c
30.48/30.57 c -----------------------------------------------------------------------------------------------
30.48/30.57 c start solving
30.58/30.63 c
47.97/48.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.97/48.07 c 34.8s| 1 | 0 | 607 | - | 735M| 0 | 269 | 10k| 656k| 10k| 656k| 0 | 0 | 0 | 1.850723e+02 | -- | Inf
173.14/173.23 c 158s| 1 | 0 | 1042 | - | 744M| 0 | 285 | 10k| 656k| 10k| 656k| 9 | 0 | 0 | 1.905115e+02 | -- | Inf
527.75/527.90 c 512s| 1 | 0 | 1332 | - | 744M| 0 | 288 | 10k| 656k| 10k| 656k| 17 | 0 | 0 | 1.938972e+02 | -- | Inf
1007.51/1007.88 c 991s| 1 | 0 | 1647 | - | 744M| 0 | 293 | 10k| 656k| 10k| 656k| 24 | 0 | 0 | 1.970154e+02 | -- | Inf
1721.03/1721.58 c 1703s| 1 | 0 | 1891 | - | 744M| 0 | 294 | 10k| 656k| 10k| 656k| 30 | 0 | 0 | 1.989630e+02 | -- | Inf
1800.11/1800.61 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-2665530-1276379639/watcher-2665530-1276379639 -o /tmp/evaluation-result-2665530-1276379639/solver-2665530-1276379639 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665530-1276379639.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.00 0.99 0.99 3/106 13035
/proc/meminfo: memFree=1849128/2059040 swapFree=4136464/4192956
[pid=13035] ppid=13033 vsize=8260 CPUtime=0
/proc/13035/stat : 13035 (pbscip.linux.x8) R 13033 13035 12942 0 -1 4202496 1009 0 0 0 0 0 0 0 20 0 1 0 13568012 8458240 930 1992294400 4194304 9819077 140734430837920 18446744073709551615 8718976 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13035/statm: 2065 930 366 1374 0 686 0
[startup+0.0938969 s]
/proc/loadavg: 1.00 0.99 0.99 3/106 13035
/proc/meminfo: memFree=1849128/2059040 swapFree=4136464/4192956
[pid=13035] ppid=13033 vsize=20244 CPUtime=0.08
/proc/13035/stat : 13035 (pbscip.linux.x8) R 13033 13035 12942 0 -1 4202496 4002 0 0 0 7 1 0 0 20 0 1 0 13568012 20729856 3917 1992294400 4194304 9819077 140734430837920 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13035/statm: 5061 3917 388 1374 0 3682 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 20244
[startup+0.100897 s]
/proc/loadavg: 1.00 0.99 0.99 3/106 13035
/proc/meminfo: memFree=1849128/2059040 swapFree=4136464/4192956
[pid=13035] ppid=13033 vsize=20376 CPUtime=0.09
/proc/13035/stat : 13035 (pbscip.linux.x8) R 13033 13035 12942 0 -1 4202496 4035 0 0 0 8 1 0 0 20 0 1 0 13568012 20865024 3950 1992294400 4194304 9819077 140734430837920 18446744073709551615 8718976 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13035/statm: 5094 3950 388 1374 0 3715 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20376
[startup+0.300921 s]
/proc/loadavg: 1.00 0.99 0.99 3/106 13035
/proc/meminfo: memFree=1849128/2059040 swapFree=4136464/4192956
[pid=13035] ppid=13033 vsize=25436 CPUtime=0.29
/proc/13035/stat : 13035 (pbscip.linux.x8) R 13033 13035 12942 0 -1 4202496 5316 0 0 0 28 1 0 0 20 0 1 0 13568012 26046464 5231 1992294400 4194304 9819077 140734430837920 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13035/statm: 6359 5231 388 1374 0 4980 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25436
[startup+0.700968 s]
/proc/loadavg: 1.00 0.99 0.99 3/106 13035
/proc/meminfo: memFree=1849128/2059040 swapFree=4136464/4192956
[pid=13035] ppid=13033 vsize=34000 CPUtime=0.69
/proc/13035/stat : 13035 (pbscip.linux.x8) R 13033 13035 12942 0 -1 4202496 7459 0 0 0 67 2 0 0 20 0 1 0 13568012 34816000 7374 1992294400 4194304 9819077 140734430837920 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13035/statm: 8500 7374 388 1374 0 7121 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34000
[startup+1.50106 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 13036
/proc/meminfo: memFree=1814276/2059040 swapFree=4136464/4192956
[pid=13035] ppid=13033 vsize=51756 CPUtime=1.49
/proc/13035/stat : 13035 (pbscip.linux.x8) R 13033 13035 12942 0 -1 4202496 11903 0 0 0 145 4 0 0 22 0 1 0 13568012 52998144 11818 1992294400 4194304 9819077 140734430837920 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13035/statm: 12939 11818 388 1374 0 11560 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 51756
[startup+3.10125 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 13036
/proc/meminfo: memFree=1790344/2059040 swapFree=4136464/4192956
[pid=13035] ppid=13033 vsize=86492 CPUtime=3.09
/proc/13035/stat : 13035 (pbscip.linux.x8) R 13033 13035 12942 0 -1 4202496 20515 0 0 0 302 7 0 0 25 0 1 0 13568012 88567808 20430 1992294400 4194304 9819077 140734430837920 18446744073709551615 8677967 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13035/statm: 21623 20430 388 1374 0 20244 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 86492
[startup+6.30063 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 13036
/proc/meminfo: memFree=1718424/2059040 swapFree=4136464/4192956
[pid=13035] ppid=13033 vsize=154868 CPUtime=6.29
/proc/13035/stat : 13035 (pbscip.linux.x8) R 13033 13035 12942 0 -1 4202496 37679 0 0 0 615 14 0 0 25 0 1 0 13568012 158584832 37594 1992294400 4194304 9819077 140734430837920 18446744073709551615 5650709 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13035/statm: 38717 37594 388 1374 0 37338 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 154868
[startup+12.7004 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 13036
/proc/meminfo: memFree=1287532/2059040 swapFree=4136464/4192956
[pid=13035] ppid=13033 vsize=627988 CPUtime=12.69
/proc/13035/stat : 13035 (pbscip.linux.x8) R 13033 13035 12942 0 -1 4202496 156170 0 0 0 1211 58 0 0 25 0 1 0 13568012 643059712 155040 1992294400 4194304 9819077 140734430837920 18446744073709551615 4965414 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13035/statm: 156997 155040 463 1374 0 155618 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 627988
[startup+25.5009 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 13036
/proc/meminfo: memFree=1254184/2059040 swapFree=4136464/4192956
[pid=13035] ppid=13033 vsize=605792 CPUtime=25.48
/proc/13035/stat : 13035 (pbscip.linux.x8) R 13033 13035 12942 0 -1 4202496 236568 0 0 0 2311 237 0 0 25 0 1 0 13568012 620331008 148710 1992294400 4194304 9819077 140734430837920 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13035/statm: 151448 148710 490 1374 0 150069 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 605792
[startup+51.1009 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 13036
/proc/meminfo: memFree=683288/2059040 swapFree=4136464/4192956
[pid=13035] ppid=13033 vsize=1457460 CPUtime=51.08
/proc/13035/stat : 13035 (pbscip.linux.x8) R 13033 13035 12942 0 -1 4202496 529285 0 0 0 4762 346 0 0 25 0 1 0 13568012 1492439040 291435 1992294400 4194304 9819077 140734430837920 18446744073709551615 7487724 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13035/statm: 364365 291446 640 1374 0 362986 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1457460
[startup+102.309 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 13038
/proc/meminfo: memFree=644476/2059040 swapFree=4136464/4192956
[pid=13035] ppid=13033 vsize=1506704 CPUtime=102.27
/proc/13035/stat : 13035 (pbscip.linux.x8) R 13033 13035 12942 0 -1 4202496 708886 0 0 0 9810 417 0 0 25 0 1 0 13568012 1542864896 301157 1992294400 4194304 9819077 140734430837920 18446744073709551615 5743107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13035/statm: 376676 301157 659 1374 0 375297 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1506704
[startup+162.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 13040
/proc/meminfo: memFree=630464/2059040 swapFree=4136464/4192956
[pid=13035] ppid=13033 vsize=1527036 CPUtime=162.24
/proc/13035/stat : 13035 (pbscip.linux.x8) R 13033 13035 12942 0 -1 4202496 773320 0 0 0 15738 486 0 0 25 0 1 0 13568012 1563684864 304675 1992294400 4194304 9819077 140734430837920 18446744073709551615 7309283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13035/statm: 381759 304675 676 1374 0 380380 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 1527036
[startup+222.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 13042
/proc/meminfo: memFree=626248/2059040 swapFree=4136464/4192956
[pid=13035] ppid=13033 vsize=1527328 CPUtime=222.23
/proc/13035/stat : 13035 (pbscip.linux.x8) R 13033 13035 12942 0 -1 4202496 818306 0 0 0 21713 510 0 0 25 0 1 0 13568012 1563983872 305537 1992294400 4194304 9819077 140734430837920 18446744073709551615 6043587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13035/statm: 381832 305537 676 1374 0 380453 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1527328
[startup+282.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 13044
/proc/meminfo: memFree=626124/2059040 swapFree=4136464/4192956
[pid=13035] ppid=13033 vsize=1527328 CPUtime=282.22
/proc/13035/stat : 13035 (pbscip.linux.x8) R 13033 13035 12942 0 -1 4202496 818306 0 0 0 27704 518 0 0 25 0 1 0 13568012 1563983872 305537 1992294400 4194304 9819077 140734430837920 18446744073709551615 6555524 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13035/statm: 381832 305537 676 1374 0 380453 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1527328
[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 13044
/proc/meminfo: memFree=626248/2059040 swapFree=4136464/4192956
[pid=13035] ppid=13033 vsize=1527328 CPUtime=342.2
/proc/13035/stat : 13035 (pbscip.linux.x8) R 13033 13035 12942 0 -1 4202496 818948 0 0 0 33693 527 0 0 25 0 1 0 13568012 1563983872 305537 1992294400 4194304 9819077 140734430837920 18446744073709551615 6054124 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13035/statm: 381832 305537 676 1374 0 380453 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1527328
[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 13046
/proc/meminfo: memFree=626124/2059040 swapFree=4136464/4192956
[pid=13035] ppid=13033 vsize=1527328 CPUtime=402.19
/proc/13035/stat : 13035 (pbscip.linux.x8) R 13033 13035 12942 0 -1 4202496 818948 0 0 0 39683 536 0 0 25 0 1 0 13568012 1563983872 305537 1992294400 4194304 9819077 140734430837920 18446744073709551615 6054124 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13035/statm: 381832 305537 676 1374 0 380453 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1527328
[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 13057
/proc/meminfo: memFree=626000/2059040 swapFree=4136464/4192956
[pid=13035] ppid=13033 vsize=1527328 CPUtime=462.16
/proc/13035/stat : 13035 (pbscip.linux.x8) R 13033 13035 12942 0 -1 4202496 818948 0 0 0 45675 541 0 0 25 0 1 0 13568012 1563983872 305537 1992294400 4194304 9819077 140734430837920 18446744073709551615 5743107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13035/statm: 381832 305537 676 1374 0 380453 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1527328
[startup+522.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 13059
/proc/meminfo: memFree=629596/2059040 swapFree=4136464/4192956
[pid=13035] ppid=13033 vsize=1527396 CPUtime=522.14
/proc/13035/stat : 13035 (pbscip.linux.x8) R 13033 13035 12942 0 -1 4202496 871943 0 0 0 51652 562 0 0 25 0 1 0 13568012 1564053504 304761 1992294400 4194304 9819077 140734430837920 18446744073709551615 6198609 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13035/statm: 381849 304761 676 1374 0 380470 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 1527396
[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 13061
/proc/meminfo: memFree=625504/2059040 swapFree=4136464/4192956
[pid=13035] ppid=13033 vsize=1527464 CPUtime=582.13
/proc/13035/stat : 13035 (pbscip.linux.x8) R 13033 13035 12942 0 -1 4202496 916553 0 0 0 57625 588 0 0 25 0 1 0 13568012 1564123136 305574 1992294400 4194304 9819077 140734430837920 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13035/statm: 381866 305574 676 1374 0 380487 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 1527464
[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 13061
/proc/meminfo: memFree=625504/2059040 swapFree=4136464/4192956
[pid=13035] ppid=13033 vsize=1527464 CPUtime=642.12
/proc/13035/stat : 13035 (pbscip.linux.x8) R 13033 13035 12942 0 -1 4202496 916553 0 0 0 63616 596 0 0 25 0 1 0 13568012 1564123136 305574 1992294400 4194304 9819077 140734430837920 18446744073709551615 6555537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13035/statm: 381866 305574 676 1374 0 380487 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 1527464
[startup+702.302 s]
################
# More data... #
################
/proc/13035/stat : 13035 (pbscip.linux.x8) R 13033 13035 12942 0 -1 4202496 1014301 0 0 0 105519 681 0 0 25 0 1 0 13568012 1566998528 306268 1992294400 4194304 9819077 140734430837920 18446744073709551615 6555524 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13035/statm: 382568 306268 676 1374 0 381189 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 1530272
[startup+1122.3 s]
/proc/loadavg: 1.14 1.03 1.01 2/107 13075
/proc/meminfo: memFree=622528/2059040 swapFree=4136464/4192956
[pid=13035] ppid=13033 vsize=1530272 CPUtime=1121.99
/proc/13035/stat : 13035 (pbscip.linux.x8) R 13033 13035 12942 0 -1 4202496 1014301 0 0 0 111510 689 0 0 25 0 1 0 13568012 1566998528 306268 1992294400 4194304 9819077 140734430837920 18446744073709551615 6555537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13035/statm: 382568 306268 676 1374 0 381189 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 1530272
[startup+1182.3 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 13080
/proc/meminfo: memFree=621784/2059040 swapFree=4136464/4192956
[pid=13035] ppid=13033 vsize=1530272 CPUtime=1181.96
/proc/13035/stat : 13035 (pbscip.linux.x8) R 13033 13035 12942 0 -1 4202496 1014301 0 0 0 117501 695 0 0 25 0 1 0 13568012 1566998528 306268 1992294400 4194304 9819077 140734430837920 18446744073709551615 6555537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13035/statm: 382568 306268 676 1374 0 381189 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 1530272
[startup+1242.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 13080
/proc/meminfo: memFree=621908/2059040 swapFree=4136464/4192956
[pid=13035] ppid=13033 vsize=1530272 CPUtime=1241.94
/proc/13035/stat : 13035 (pbscip.linux.x8) R 13033 13035 12942 0 -1 4202496 1014301 0 0 0 123491 703 0 0 25 0 1 0 13568012 1566998528 306268 1992294400 4194304 9819077 140734430837920 18446744073709551615 6043570 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13035/statm: 382568 306268 676 1374 0 381189 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 1530272
[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 13082
/proc/meminfo: memFree=622032/2059040 swapFree=4136464/4192956
[pid=13035] ppid=13033 vsize=1530272 CPUtime=1301.94
/proc/13035/stat : 13035 (pbscip.linux.x8) R 13033 13035 12942 0 -1 4202496 1014301 0 0 0 129483 711 0 0 25 0 1 0 13568012 1566998528 306268 1992294400 4194304 9819077 140734430837920 18446744073709551615 6555537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13035/statm: 382568 306268 676 1374 0 381189 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1530272
[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 13084
/proc/meminfo: memFree=622156/2059040 swapFree=4136464/4192956
[pid=13035] ppid=13033 vsize=1530272 CPUtime=1361.91
/proc/13035/stat : 13035 (pbscip.linux.x8) R 13033 13035 12942 0 -1 4202496 1014943 0 0 0 135471 720 0 0 25 0 1 0 13568012 1566998528 306268 1992294400 4194304 9819077 140734430837920 18446744073709551615 6054173 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13035/statm: 382568 306268 676 1374 0 381189 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1530272
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13086
/proc/meminfo: memFree=622156/2059040 swapFree=4136464/4192956
[pid=13035] ppid=13033 vsize=1530272 CPUtime=1421.91
/proc/13035/stat : 13035 (pbscip.linux.x8) R 13033 13035 12942 0 -1 4202496 1014943 0 0 0 141463 728 0 0 25 0 1 0 13568012 1566998528 306268 1992294400 4194304 9819077 140734430837920 18446744073709551615 6555537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13035/statm: 382568 306268 676 1374 0 381189 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1530272
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13088
/proc/meminfo: memFree=622156/2059040 swapFree=4136464/4192956
[pid=13035] ppid=13033 vsize=1530272 CPUtime=1481.88
/proc/13035/stat : 13035 (pbscip.linux.x8) R 13033 13035 12942 0 -1 4202496 1014943 0 0 0 147450 738 0 0 25 0 1 0 13568012 1566998528 306268 1992294400 4194304 9819077 140734430837920 18446744073709551615 6555537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13035/statm: 382568 306268 676 1374 0 381189 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1530272
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13088
/proc/meminfo: memFree=622280/2059040 swapFree=4136464/4192956
[pid=13035] ppid=13033 vsize=1530272 CPUtime=1541.87
/proc/13035/stat : 13035 (pbscip.linux.x8) R 13033 13035 12942 0 -1 4202496 1014943 0 0 0 153441 746 0 0 25 0 1 0 13568012 1566998528 306268 1992294400 4194304 9819077 140734430837920 18446744073709551615 6555529 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13035/statm: 382568 306268 676 1374 0 381189 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1530272
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13090
/proc/meminfo: memFree=622156/2059040 swapFree=4136464/4192956
[pid=13035] ppid=13033 vsize=1530272 CPUtime=1601.85
/proc/13035/stat : 13035 (pbscip.linux.x8) R 13033 13035 12942 0 -1 4202496 1014943 0 0 0 159430 755 0 0 25 0 1 0 13568012 1566998528 306268 1992294400 4194304 9819077 140734430837920 18446744073709551615 6054126 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13035/statm: 382568 306268 676 1374 0 381189 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1530272
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13092
/proc/meminfo: memFree=622156/2059040 swapFree=4136464/4192956
[pid=13035] ppid=13033 vsize=1530272 CPUtime=1661.84
/proc/13035/stat : 13035 (pbscip.linux.x8) R 13033 13035 12942 0 -1 4202496 1014943 0 0 0 165424 760 0 0 25 0 1 0 13568012 1566998528 306268 1992294400 4194304 9819077 140734430837920 18446744073709551615 5743107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13035/statm: 382568 306268 676 1374 0 381189 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1530272
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13094
/proc/meminfo: memFree=622528/2059040 swapFree=4136464/4192956
[pid=13035] ppid=13033 vsize=1529688 CPUtime=1721.82
/proc/13035/stat : 13035 (pbscip.linux.x8) R 13033 13035 12942 0 -1 4202496 1111683 0 0 0 171386 796 0 0 25 0 1 0 13568012 1566400512 306112 1992294400 4194304 9819077 140734430837920 18446744073709551615 6555537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13035/statm: 382422 306112 676 1374 0 381043 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1529688
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13096
/proc/meminfo: memFree=622032/2059040 swapFree=4136464/4192956
[pid=13035] ppid=13033 vsize=1530712 CPUtime=1781.8
/proc/13035/stat : 13035 (pbscip.linux.x8) R 13033 13035 12942 0 -1 4202496 1111939 0 0 0 177376 804 0 0 25 0 1 0 13568012 1567449088 306368 1992294400 4194304 9819077 140734430837920 18446744073709551615 6555537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13035/statm: 382678 306368 676 1374 0 381299 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1530712
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13096
/proc/meminfo: memFree=621412/2059040 swapFree=4136464/4192956
[pid=13035] ppid=13033 vsize=1530712 CPUtime=1800.11
/proc/13035/stat : 13035 (pbscip.linux.x8) R 13033 13035 12942 0 -1 4202496 1112581 0 0 0 179205 806 0 0 25 0 1 0 13568012 1567449088 306368 1992294400 4194304 9819077 140734430837920 18446744073709551615 6555537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13035/statm: 382678 306368 676 1374 0 381299 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 1530712
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -13035
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13096
/proc/meminfo: memFree=621412/2059040 swapFree=4136464/4192956
[pid=13035] ppid=13033 vsize=1531364 CPUtime=1800.9
/proc/13035/stat : 13035 (pbscip.linux.x8) R 13033 13035 12942 0 -1 4202496 1128285 0 0 0 179277 813 0 0 25 0 1 0 13568012 1568116736 303910 1992294400 4194304 9819077 140734430837920 18446744073709551615 6584032 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13035/statm: 382841 303910 676 1374 0 381462 0
Current children cumulated CPU time (s) 1800.9
Current children cumulated vsize (KiB) 1531364
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13097
/proc/meminfo: memFree=632688/2059040 swapFree=4136464/4192956
[pid=13035] ppid=13033 vsize=1531364 CPUtime=1801.7
/proc/13035/stat : 13035 (pbscip.linux.x8) R 13033 13035 12942 0 -1 4202496 1165864 0 0 0 179343 827 0 0 25 0 1 0 13568012 1568116736 305340 1992294400 4194304 9819077 140734430837920 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13035/statm: 382841 305340 676 1374 0 381462 0
Current children cumulated CPU time (s) 1801.7
Current children cumulated vsize (KiB) 1531364
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13097
/proc/meminfo: memFree=632688/2059040 swapFree=4136464/4192956
[pid=13035] ppid=13033 vsize=1531364 CPUtime=1802.1
/proc/13035/stat : 13035 (pbscip.linux.x8) R 13033 13035 12942 0 -1 4202496 1165888 0 0 0 179383 827 0 0 25 0 1 0 13568012 1568116736 305364 1992294400 4194304 9819077 140734430837920 18446744073709551615 7291643 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13035/statm: 382841 305364 676 1374 0 381462 0
Current children cumulated CPU time (s) 1802.1
Current children cumulated vsize (KiB) 1531364
[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13097
/proc/meminfo: memFree=632688/2059040 swapFree=4136464/4192956
[pid=13035] ppid=13033 vsize=0 CPUtime=1802.2
/proc/13035/stat : 13035 (pbscip.linux.x8) R 13033 13035 12942 0 -1 4203524 1165888 0 0 0 179385 835 0 0 25 0 1 0 13568012 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/13035/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.2
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.74
CPU time (s): 1802.24
CPU user time (s): 1793.85
CPU system time (s): 8.38972
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 1551368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.85
system time used= 8.38972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1165888
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= 2639
runsolver used 2.84457 second user time and 8.69268 second system time
The end