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-2664811-1276685614.opb>
0.49/0.52 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 29069 constraints
0.49/0.52 c problem read
0.49/0.52 c presolving settings loaded
0.59/0.62 o 0
0.59/0.62 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.59/0.62 c presolving:
0.69/0.77 c (round 1) 587 del vars, 587 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
1.00/1.02 c (round 2) 587 del vars, 4987 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 24082 upgd conss, 2340 impls, 0 clqs
1.09/1.11 c (0.5s) probing: 101/1438 (7.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.09/1.11 c (0.5s) probing aborted: 100/100 successive totally useless probings
1.09/1.11 c presolving (3 rounds):
1.09/1.11 c 587 deleted vars, 4987 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.09/1.11 c 2340 implications, 0 cliques
1.09/1.11 c presolved problem has 1438 variables (1438 bin, 0 int, 0 impl, 0 cont) and 24082 constraints
1.09/1.11 c 24082 constraints of type <logicor>
1.09/1.11 c transformed objective value is always integral (scale: 1)
1.09/1.11 c Presolving Time: 0.41
1.09/1.11 c - non default parameters ----------------------------------------------------------------------
1.09/1.11 c # SCIP version 1.2.1.2
1.09/1.11 c
1.09/1.11 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.09/1.11 c # [type: int, range: [-1,2147483647], default: -1]
1.09/1.11 c conflict/interconss = 0
1.09/1.11 c
1.09/1.11 c # should binary conflicts be preferred?
1.09/1.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.09/1.11 c conflict/preferbinary = TRUE
1.09/1.11 c
1.09/1.11 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.09/1.11 c # [type: int, range: [-1,2147483647], default: 0]
1.09/1.11 c constraints/agelimit = 1
1.09/1.11 c
1.09/1.11 c # should enforcement of pseudo solution be disabled?
1.09/1.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.09/1.11 c constraints/disableenfops = TRUE
1.09/1.11 c
1.09/1.11 c # frequency for displaying node information lines
1.09/1.11 c # [type: int, range: [-1,2147483647], default: 100]
1.09/1.11 c display/freq = 10000
1.09/1.11 c
1.09/1.11 c # maximal time in seconds to run
1.09/1.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.09/1.11 c limits/time = 1799.49
1.09/1.11 c
1.09/1.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.09/1.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.09/1.11 c limits/memory = 1620
1.09/1.11 c
1.09/1.11 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.09/1.11 c # [type: int, range: [-1,2147483647], default: 1]
1.09/1.11 c lp/solvefreq = 0
1.09/1.11 c
1.09/1.11 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)
1.09/1.11 c # [type: char, range: {lafpsqd}, default: l]
1.09/1.11 c lp/pricing = a
1.09/1.11 c
1.09/1.11 c # should presolving try to simplify inequalities
1.09/1.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.09/1.11 c constraints/linear/simplifyinequalities = TRUE
1.09/1.11 c
1.09/1.11 c # should presolving try to simplify knapsacks
1.09/1.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.09/1.11 c constraints/knapsack/simplifyinequalities = TRUE
1.09/1.11 c
1.09/1.11 c # priority of node selection rule <dfs> in standard mode
1.09/1.11 c # [type: int, range: [-536870912,536870911], default: 0]
1.09/1.11 c nodeselection/dfs/stdpriority = 1000000
1.09/1.11 c
1.09/1.11 c -----------------------------------------------------------------------------------------------
1.09/1.11 c start solving
1.09/1.12 c
65.07/65.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
65.07/65.15 c t64.0s| 1 | 0 | 13908 | - | 32M| 0 |1437 |1438 | 24k|1438 | 24k| 0 | 0 | 0 |-2.438568e+02 | 0.000000e+00 | 100.00%
65.16/65.24 o -2
65.16/65.24 c R64.1s| 1 | 0 | 13908 | - | 32M| 0 |1437 |1438 | 24k|1438 | 24k| 0 | 0 | 0 |-2.438568e+02 |-2.000000e+00 | 99.18%
65.26/65.33 o -4
65.26/65.33 c s64.2s| 1 | 0 | 13908 | - | 32M| 0 |1437 |1438 | 24k|1438 | 24k| 0 | 0 | 0 |-2.438568e+02 |-4.000000e+00 | 98.36%
237.10/237.24 c 235s| 1 | 0 | 43401 | - | 37M| 0 |1436 |1438 | 24k|1438 | 24k| 29 | 0 | 0 |-2.347053e+02 |-4.000000e+00 | 98.30%
237.10/237.25 o -8
237.10/237.25 c b 235s| 1 | 0 | 43401 | - | 37M| 0 |1436 |1438 | 24k|1438 | 24k| 29 | 0 | 0 |-2.347053e+02 |-8.000000e+00 | 96.59%
423.23/423.43 c 420s| 1 | 0 | 73618 | - | 41M| 0 |1433 |1438 | 24k|1438 | 24k| 122 | 0 | 0 |-2.322483e+02 |-8.000000e+00 | 96.56%
423.23/423.48 o -12
423.23/423.48 c b 420s| 1 | 0 | 73618 | - | 41M| 0 |1433 |1438 | 24k|1438 | 24k| 122 | 0 | 0 |-2.322483e+02 |-1.200000e+01 | 94.83%
598.75/599.03 c 595s| 1 | 0 | 99181 | - | 42M| 0 |1434 |1438 | 24k|1438 | 24k| 130 | 0 | 0 |-2.290091e+02 |-1.200000e+01 | 94.76%
756.40/756.77 c 752s| 1 | 0 |122477 | - | 46M| 0 |1432 |1438 | 24k|1438 | 24k| 223 | 0 | 0 |-2.255076e+02 |-1.200000e+01 | 94.68%
967.90/968.34 c 962s| 1 | 0 |154231 | - | 46M| 0 |1434 |1438 | 24k|1438 | 24k| 265 | 0 | 0 |-2.230353e+02 |-1.200000e+01 | 94.62%
968.00/968.43 o -13
968.00/968.43 c R 962s| 1 | 0 |154231 | - | 46M| 0 |1434 |1438 | 24k|1438 | 24k| 265 | 0 | 0 |-2.230353e+02 |-1.300000e+01 | 94.17%
1135.54/1136.04 c 1129s| 1 | 0 |179766 | - | 51M| 0 |1432 |1438 | 24k|1438 | 24k| 318 | 0 | 0 |-2.182950e+02 |-1.300000e+01 | 94.04%
1135.54/1136.05 o -17
1135.54/1136.05 c b1129s| 1 | 0 |179766 | - | 51M| 0 |1432 |1438 | 24k|1438 | 24k| 318 | 0 | 0 |-2.182950e+02 |-1.700000e+01 | 92.21%
1288.87/1289.48 c 1281s| 1 | 0 |203025 | - | 55M| 0 |1430 |1438 | 24k|1438 | 24k| 321 | 0 | 0 |-2.180750e+02 |-1.700000e+01 | 92.20%
1506.99/1507.60 c 1498s| 1 | 0 |234515 | - | 55M| 0 |1428 |1438 | 24k|1438 | 24k| 352 | 0 | 0 |-2.137427e+02 |-1.700000e+01 | 92.05%
1651.93/1652.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1651.93/1652.64 c 1643s| 1 | 0 |254790 | - | 57M| 0 |1429 |1438 | 24k|1438 | 24k| 415 | 0 | 0 |-2.118540e+02 |-1.700000e+01 | 91.98%
1800.08/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-2664811-1276685614/watcher-2664811-1276685614 -o /tmp/evaluation-result-2664811-1276685614/solver-2664811-1276685614 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2664811-1276685614.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 1.00 1.00 3/106 11588
/proc/meminfo: memFree=1763700/2059040 swapFree=4140132/4192956
[pid=11588] ppid=11586 vsize=9288 CPUtime=0
/proc/11588/stat : 11588 (pbscip.linux.x8) R 11586 11588 11136 0 -1 4202496 1049 0 0 0 0 0 0 0 19 0 1 0 44164855 9510912 969 1992294400 4194304 9819077 140734154225216 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11588/statm: 2322 979 371 1374 0 943 0
[startup+0.0643919 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11588
/proc/meminfo: memFree=1763700/2059040 swapFree=4140132/4192956
[pid=11588] ppid=11586 vsize=14104 CPUtime=0.06
/proc/11588/stat : 11588 (pbscip.linux.x8) R 11586 11588 11136 0 -1 4202496 2472 0 0 0 5 1 0 0 19 0 1 0 44164855 14442496 2392 1992294400 4194304 9819077 140734154225216 18446744073709551615 5649626 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11588/statm: 3526 2392 388 1374 0 2147 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 14104
[startup+0.101398 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11588
/proc/meminfo: memFree=1763700/2059040 swapFree=4140132/4192956
[pid=11588] ppid=11586 vsize=14824 CPUtime=0.09
/proc/11588/stat : 11588 (pbscip.linux.x8) R 11586 11588 11136 0 -1 4202496 2632 0 0 0 8 1 0 0 20 0 1 0 44164855 15179776 2552 1992294400 4194304 9819077 140734154225216 18446744073709551615 4640689 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11588/statm: 3706 2552 388 1374 0 2327 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14824
[startup+0.301435 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11588
/proc/meminfo: memFree=1763700/2059040 swapFree=4140132/4192956
[pid=11588] ppid=11586 vsize=19580 CPUtime=0.29
/proc/11588/stat : 11588 (pbscip.linux.x8) R 11586 11588 11136 0 -1 4202496 3839 0 0 0 28 1 0 0 20 0 1 0 44164855 20049920 3759 1992294400 4194304 9819077 140734154225216 18446744073709551615 8590906 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11588/statm: 4895 3759 388 1374 0 3516 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19580
[startup+0.701509 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11588
/proc/meminfo: memFree=1763700/2059040 swapFree=4140132/4192956
[pid=11588] ppid=11586 vsize=48000 CPUtime=0.69
/proc/11588/stat : 11588 (pbscip.linux.x8) R 11586 11588 11136 0 -1 4202496 11112 0 0 0 64 5 0 0 21 0 1 0 44164855 49152000 10656 1992294400 4194304 9819077 140734154225216 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11588/statm: 12000 10656 492 1374 0 10621 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48000
[startup+1.50166 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11589
/proc/meminfo: memFree=1716076/2059040 swapFree=4140132/4192956
[pid=11588] ppid=11586 vsize=91180 CPUtime=1.49
/proc/11588/stat : 11588 (pbscip.linux.x8) R 11586 11588 11136 0 -1 4202496 23750 0 0 0 132 17 0 0 23 0 1 0 44164855 93368320 18107 1992294400 4194304 9819077 140734154225216 18446744073709551615 6192320 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11588/statm: 22795 18107 630 1374 0 21416 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 91180
[startup+3.10095 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11589
/proc/meminfo: memFree=1692516/2059040 swapFree=4140132/4192956
[pid=11588] ppid=11586 vsize=87956 CPUtime=3.09
/proc/11588/stat : 11588 (pbscip.linux.x8) R 11586 11588 11136 0 -1 4202496 26091 0 0 0 290 19 0 0 25 0 1 0 44164855 90066944 18180 1992294400 4194304 9819077 140734154225216 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11588/statm: 21989 18097 632 1374 0 20610 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 87956
[startup+6.30154 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11589
/proc/meminfo: memFree=1692144/2059040 swapFree=4140132/4192956
[pid=11588] ppid=11586 vsize=97832 CPUtime=6.29
/proc/11588/stat : 11588 (pbscip.linux.x8) R 11586 11588 11136 0 -1 4202496 30598 0 0 0 607 22 0 0 25 0 1 0 44164855 100179968 18815 1992294400 4194304 9819077 140734154225216 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11588/statm: 24458 18815 632 1374 0 23079 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 97832
[startup+12.7007 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11589
/proc/meminfo: memFree=1690780/2059040 swapFree=4140132/4192956
[pid=11588] ppid=11586 vsize=98528 CPUtime=12.69
/proc/11588/stat : 11588 (pbscip.linux.x8) R 11586 11588 11136 0 -1 4202496 37249 0 0 0 1243 26 0 0 25 0 1 0 44164855 100892672 18921 1992294400 4194304 9819077 140734154225216 18446744073709551615 6190584 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11588/statm: 24632 18921 632 1374 0 23253 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 98528
[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11589
/proc/meminfo: memFree=1689664/2059040 swapFree=4140132/4192956
[pid=11588] ppid=11586 vsize=91168 CPUtime=25.48
/proc/11588/stat : 11588 (pbscip.linux.x8) R 11586 11588 11136 0 -1 4202496 49919 0 0 0 2513 35 0 0 25 0 1 0 44164855 93356032 18093 1992294400 4194304 9819077 140734154225216 18446744073709551615 7263411 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11588/statm: 22792 18093 632 1374 0 21413 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 91168
[startup+51.1008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11591
/proc/meminfo: memFree=1691152/2059040 swapFree=4140132/4192956
[pid=11588] ppid=11586 vsize=98708 CPUtime=51.06
/proc/11588/stat : 11588 (pbscip.linux.x8) R 11586 11588 11136 0 -1 4202496 73301 0 0 0 5057 49 0 0 25 0 1 0 44164855 101076992 18913 1992294400 4194304 9819077 140734154225216 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11588/statm: 24677 18913 632 1374 0 23298 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 98708
[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11591
/proc/meminfo: memFree=1682968/2059040 swapFree=4140132/4192956
[pid=11588] ppid=11586 vsize=107936 CPUtime=102.26
/proc/11588/stat : 11588 (pbscip.linux.x8) R 11586 11588 11136 0 -1 4202496 114339 0 0 0 10148 78 0 0 25 0 1 0 44164855 110526464 20681 1992294400 4194304 9819077 140734154225216 18446744073709551615 6699296 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11588/statm: 26984 20681 667 1374 0 25605 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 107936
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11593
/proc/meminfo: memFree=1681604/2059040 swapFree=4140132/4192956
[pid=11588] ppid=11586 vsize=108028 CPUtime=162.23
/proc/11588/stat : 11588 (pbscip.linux.x8) R 11586 11588 11136 0 -1 4202496 156021 0 0 0 16115 108 0 0 25 0 1 0 44164855 110620672 21168 1992294400 4194304 9819077 140734154225216 18446744073709551615 7293510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11588/statm: 27007 21168 667 1374 0 25628 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 108028
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11595
/proc/meminfo: memFree=1682348/2059040 swapFree=4140132/4192956
[pid=11588] ppid=11586 vsize=108028 CPUtime=222.2
/proc/11588/stat : 11588 (pbscip.linux.x8) R 11586 11588 11136 0 -1 4202496 197515 0 0 0 22078 142 0 0 25 0 1 0 44164855 110620672 20939 1992294400 4194304 9819077 140734154225216 18446744073709551615 7295931 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11588/statm: 27007 20939 667 1374 0 25628 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 108028
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11597
/proc/meminfo: memFree=1674660/2059040 swapFree=4140132/4192956
[pid=11588] ppid=11586 vsize=114172 CPUtime=282.19
/proc/11588/stat : 11588 (pbscip.linux.x8) R 11586 11588 11136 0 -1 4202496 232892 0 0 0 28047 172 0 0 25 0 1 0 44164855 116912128 22838 1992294400 4194304 9819077 140734154225216 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11588/statm: 28543 22838 671 1374 0 27164 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 114172
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11599
/proc/meminfo: memFree=1674288/2059040 swapFree=4140132/4192956
[pid=11588] ppid=11586 vsize=114232 CPUtime=342.15
/proc/11588/stat : 11588 (pbscip.linux.x8) R 11586 11588 11136 0 -1 4202496 276442 0 0 0 34015 200 0 0 25 0 1 0 44164855 116973568 22142 1992294400 4194304 9819077 140734154225216 18446744073709551615 7312541 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11588/statm: 28558 22143 671 1374 0 27179 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 114232
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11599
/proc/meminfo: memFree=1674784/2059040 swapFree=4140132/4192956
[pid=11588] ppid=11586 vsize=114232 CPUtime=402.14
/proc/11588/stat : 11588 (pbscip.linux.x8) R 11586 11588 11136 0 -1 4202496 318632 0 0 0 39979 235 0 0 25 0 1 0 44164855 116973568 22783 1992294400 4194304 9819077 140734154225216 18446744073709551615 7312726 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11588/statm: 28558 22783 671 1374 0 27179 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 114232
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11610
/proc/meminfo: memFree=1671312/2059040 swapFree=4140132/4192956
[pid=11588] ppid=11586 vsize=119252 CPUtime=462.1
/proc/11588/stat : 11588 (pbscip.linux.x8) R 11586 11588 11136 0 -1 4202496 344310 0 0 0 45949 261 0 0 25 0 1 0 44164855 122114048 23485 1992294400 4194304 9819077 140734154225216 18446744073709551615 7291112 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11588/statm: 29813 23485 671 1374 0 28434 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 119252
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11612
/proc/meminfo: memFree=1669452/2059040 swapFree=4140132/4192956
[pid=11588] ppid=11586 vsize=119276 CPUtime=522.09
/proc/11588/stat : 11588 (pbscip.linux.x8) R 11586 11588 11136 0 -1 4202496 385502 0 0 0 51913 296 0 0 25 0 1 0 44164855 122138624 23959 1992294400 4194304 9819077 140734154225216 18446744073709551615 7311322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11588/statm: 29819 23959 671 1374 0 28440 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 119276
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11614
/proc/meminfo: memFree=1669080/2059040 swapFree=4140132/4192956
[pid=11588] ppid=11586 vsize=119308 CPUtime=582.06
/proc/11588/stat : 11588 (pbscip.linux.x8) R 11586 11588 11136 0 -1 4202496 426938 0 0 0 57876 330 0 0 25 0 1 0 44164855 122171392 23300 1992294400 4194304 9819077 140734154225216 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11588/statm: 29827 23300 671 1374 0 28448 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 119308
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11616
/proc/meminfo: memFree=1665484/2059040 swapFree=4140132/4192956
[pid=11588] ppid=11586 vsize=124864 CPUtime=642.04
/proc/11588/stat : 11588 (pbscip.linux.x8) R 11586 11588 11136 0 -1 4202496 458929 0 0 0 63840 364 0 0 25 0 1 0 44164855 127860736 24768 1992294400 4194304 9819077 140734154225216 18446744073709551615 7291114 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11588/statm: 31216 24768 671 1374 0 29837 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 124864
[startup+702.301 s]
################
# More data... #
################
/proc/11588/stat : 11588 (pbscip.linux.x8) R 11586 11588 11136 0 -1 4202496 724494 0 0 0 105596 591 0 0 25 0 1 0 44164855 135421952 27101 1992294400 4194304 9819077 140734154225216 18446744073709551615 7311256 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11588/statm: 33062 27101 671 1374 0 31683 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 132248
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11628
/proc/meminfo: memFree=1657052/2059040 swapFree=4140132/4192956
[pid=11588] ppid=11586 vsize=132304 CPUtime=1121.84
/proc/11588/stat : 11588 (pbscip.linux.x8) R 11586 11588 11136 0 -1 4202496 764304 0 0 0 111561 623 0 0 25 0 1 0 44164855 135479296 27093 1992294400 4194304 9819077 140734154225216 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11588/statm: 33076 27093 671 1374 0 31697 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 132304
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11630
/proc/meminfo: memFree=1651100/2059040 swapFree=4140132/4192956
[pid=11588] ppid=11586 vsize=136844 CPUtime=1181.82
/proc/11588/stat : 11588 (pbscip.linux.x8) R 11586 11588 11136 0 -1 4202496 797872 0 0 0 117530 652 0 0 25 0 1 0 44164855 140128256 28165 1992294400 4194304 9819077 140734154225216 18446744073709551615 6391455 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11588/statm: 34211 28165 671 1374 0 32832 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 136844
[startup+1242.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 11635
/proc/meminfo: memFree=1652588/2059040 swapFree=4140132/4192956
[pid=11588] ppid=11586 vsize=136848 CPUtime=1241.79
/proc/11588/stat : 11588 (pbscip.linux.x8) R 11586 11588 11136 0 -1 4202496 838412 0 0 0 123498 681 0 0 25 0 1 0 44164855 140132352 28194 1992294400 4194304 9819077 140734154225216 18446744073709551615 7291715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11588/statm: 34212 28194 671 1374 0 32833 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 136848
[startup+1302.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 11635
/proc/meminfo: memFree=1653580/2059040 swapFree=4140132/4192956
[pid=11588] ppid=11586 vsize=136848 CPUtime=1301.78
/proc/11588/stat : 11588 (pbscip.linux.x8) R 11586 11588 11136 0 -1 4202496 871894 0 0 0 129468 710 0 0 25 0 1 0 44164855 140132352 27630 1992294400 4194304 9819077 140734154225216 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11588/statm: 34212 27630 671 1374 0 32833 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 136848
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11637
/proc/meminfo: memFree=1653332/2059040 swapFree=4140132/4192956
[pid=11588] ppid=11586 vsize=136784 CPUtime=1361.75
/proc/11588/stat : 11588 (pbscip.linux.x8) R 11586 11588 11136 0 -1 4202496 902232 0 0 0 135436 739 0 0 25 0 1 0 44164855 140066816 28172 1992294400 4194304 9819077 140734154225216 18446744073709551615 7309067 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11588/statm: 34196 28172 671 1374 0 32817 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 136784
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11639
/proc/meminfo: memFree=1651100/2059040 swapFree=4140132/4192956
[pid=11588] ppid=11586 vsize=136812 CPUtime=1421.73
/proc/11588/stat : 11588 (pbscip.linux.x8) R 11586 11588 11136 0 -1 4202496 942697 0 0 0 141401 772 0 0 25 0 1 0 44164855 140095488 28382 1992294400 4194304 9819077 140734154225216 18446744073709551615 7312689 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11588/statm: 34203 28382 671 1374 0 32824 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 136812
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11641
/proc/meminfo: memFree=1651844/2059040 swapFree=4140132/4192956
[pid=11588] ppid=11586 vsize=136844 CPUtime=1481.7
/proc/11588/stat : 11588 (pbscip.linux.x8) R 11586 11588 11136 0 -1 4202496 984418 0 0 0 147362 808 0 0 25 0 1 0 44164855 140128256 28297 1992294400 4194304 9819077 140734154225216 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11588/statm: 34211 28297 671 1374 0 32832 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 136844
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11643
/proc/meminfo: memFree=1650604/2059040 swapFree=4140132/4192956
[pid=11588] ppid=11586 vsize=137880 CPUtime=1541.68
/proc/11588/stat : 11588 (pbscip.linux.x8) R 11586 11588 11136 0 -1 4202496 1010485 0 0 0 153332 836 0 0 25 0 1 0 44164855 141189120 28492 1992294400 4194304 9819077 140734154225216 18446744073709551615 7290944 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11588/statm: 34470 28492 672 1374 0 33091 0
Current children cumulated CPU time (s) 1541.68
Current children cumulated vsize (KiB) 137880
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11643
/proc/meminfo: memFree=1650728/2059040 swapFree=4140132/4192956
[pid=11588] ppid=11586 vsize=137856 CPUtime=1601.65
/proc/11588/stat : 11588 (pbscip.linux.x8) R 11586 11588 11136 0 -1 4202496 1054988 0 0 0 159297 868 0 0 25 0 1 0 44164855 141164544 28564 1992294400 4194304 9819077 140734154225216 18446744073709551615 6198314 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11588/statm: 34464 28564 672 1374 0 33085 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 137856
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11645
/proc/meminfo: memFree=1652836/2059040 swapFree=4140132/4192956
[pid=11588] ppid=11586 vsize=137880 CPUtime=1661.63
/proc/11588/stat : 11588 (pbscip.linux.x8) R 11586 11588 11136 0 -1 4202496 1092774 0 0 0 165262 901 0 0 25 0 1 0 44164855 141189120 27875 1992294400 4194304 9819077 140734154225216 18446744073709551615 7326262 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11588/statm: 34470 27875 672 1374 0 33091 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 137880
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11647
/proc/meminfo: memFree=1646264/2059040 swapFree=4140132/4192956
[pid=11588] ppid=11586 vsize=141472 CPUtime=1721.61
/proc/11588/stat : 11588 (pbscip.linux.x8) R 11586 11588 11136 0 -1 4202496 1131518 0 0 0 171224 937 0 0 25 0 1 0 44164855 144867328 29184 1992294400 4194304 9819077 140734154225216 18446744073709551615 7304779 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11588/statm: 35368 29184 672 1374 0 33989 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 141472
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11649
/proc/meminfo: memFree=1647380/2059040 swapFree=4140132/4192956
[pid=11588] ppid=11586 vsize=141496 CPUtime=1781.59
/proc/11588/stat : 11588 (pbscip.linux.x8) R 11586 11588 11136 0 -1 4202496 1175654 0 0 0 177189 970 0 0 25 0 1 0 44164855 144891904 29389 1992294400 4194304 9819077 140734154225216 18446744073709551615 7290959 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11588/statm: 35374 29389 672 1374 0 33995 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 141496
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11649
/proc/meminfo: memFree=1646388/2059040 swapFree=4140132/4192956
[pid=11588] ppid=11586 vsize=141440 CPUtime=1800.08
/proc/11588/stat : 11588 (pbscip.linux.x8) R 11586 11588 11136 0 -1 4202496 1188893 0 0 0 179029 979 0 0 25 0 1 0 44164855 144834560 29449 1992294400 4194304 9819077 140734154225216 18446744073709551615 6697183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11588/statm: 35360 29449 672 1374 0 33981 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 141440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -11588
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 11649
/proc/meminfo: memFree=1646388/2059040 swapFree=4140132/4192956
[pid=11588] ppid=11586 vsize=141440 CPUtime=1800.68
/proc/11588/stat : 11588 (pbscip.linux.x8) R 11586 11588 11136 0 -1 4202496 1189769 0 0 0 179088 980 0 0 25 0 1 0 44164855 144834560 28854 1992294400 4194304 9819077 140734154225216 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11588/statm: 35360 28854 672 1374 0 33981 0
Current children cumulated CPU time (s) 1800.68
Current children cumulated vsize (KiB) 141440
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11650
/proc/meminfo: memFree=1648240/2059040 swapFree=4140132/4192956
[pid=11588] ppid=11586 vsize=141440 CPUtime=1801.47
/proc/11588/stat : 11588 (pbscip.linux.x8) R 11586 11588 11136 0 -1 4202496 1190256 0 0 0 179167 980 0 0 25 0 1 0 44164855 144834560 29341 1992294400 4194304 9819077 140734154225216 18446744073709551615 6192362 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11588/statm: 35360 29341 672 1374 0 33981 0
Current children cumulated CPU time (s) 1801.47
Current children cumulated vsize (KiB) 141440
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11650
/proc/meminfo: memFree=1648240/2059040 swapFree=4140132/4192956
[pid=11588] ppid=11586 vsize=141440 CPUtime=1801.88
/proc/11588/stat : 11588 (pbscip.linux.x8) R 11586 11588 11136 0 -1 4202496 1190322 0 0 0 179207 981 0 0 25 0 1 0 44164855 144834560 29407 1992294400 4194304 9819077 140734154225216 18446744073709551615 6192346 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11588/statm: 35360 29407 672 1374 0 33981 0
Current children cumulated CPU time (s) 1801.88
Current children cumulated vsize (KiB) 141440
[startup+1802.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11650
/proc/meminfo: memFree=1646380/2059040 swapFree=4140132/4192956
[pid=11588] ppid=11586 vsize=141440 CPUtime=1802.08
/proc/11588/stat : 11588 (pbscip.linux.x8) R 11586 11588 11136 0 -1 4202496 1190355 0 0 0 179227 981 0 0 25 0 1 0 44164855 144834560 29440 1992294400 4194304 9819077 140734154225216 18446744073709551615 7293486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11588/statm: 35360 29440 672 1374 0 33981 0
Current children cumulated CPU time (s) 1802.08
Current children cumulated vsize (KiB) 141440
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.82
CPU time (s): 1802.11
CPU user time (s): 1792.28
CPU system time (s): 9.8275
CPU usage (%): 99.9603
Max. virtual memory (cumulated for all children) (KiB): 141688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.28
system time used= 9.82751
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1190355
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= 20223
runsolver used 2.89456 second user time and 8.60569 second system time
The end