0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2666248-1276686756.opb>
0.49/0.53 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 30070 constraints
0.49/0.53 c problem read
0.49/0.53 c presolving settings loaded
0.59/0.64 o 0
0.59/0.64 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.59/0.64 c presolving:
0.79/0.80 c (round 1) 583 del vars, 583 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
0.99/1.06 c (round 2) 583 del vars, 5026 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 25044 upgd conss, 2340 impls, 0 clqs
1.10/1.15 c (0.5s) probing: 101/1442 (7.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.10/1.15 c (0.5s) probing aborted: 100/100 successive totally useless probings
1.10/1.16 c presolving (3 rounds):
1.10/1.16 c 583 deleted vars, 5026 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.10/1.16 c 2340 implications, 0 cliques
1.10/1.16 c presolved problem has 1442 variables (1442 bin, 0 int, 0 impl, 0 cont) and 25044 constraints
1.10/1.16 c 25044 constraints of type <logicor>
1.10/1.16 c transformed objective value is always integral (scale: 1)
1.10/1.16 c Presolving Time: 0.43
1.10/1.16 c - non default parameters ----------------------------------------------------------------------
1.10/1.16 c # SCIP version 1.2.1.2
1.10/1.16 c
1.10/1.16 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.10/1.16 c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.16 c conflict/interconss = 0
1.10/1.16 c
1.10/1.16 c # should binary conflicts be preferred?
1.10/1.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.16 c conflict/preferbinary = TRUE
1.10/1.16 c
1.10/1.16 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.10/1.16 c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.16 c constraints/agelimit = 1
1.10/1.16 c
1.10/1.16 c # should enforcement of pseudo solution be disabled?
1.10/1.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.16 c constraints/disableenfops = TRUE
1.10/1.16 c
1.10/1.16 c # frequency for displaying node information lines
1.10/1.16 c # [type: int, range: [-1,2147483647], default: 100]
1.10/1.16 c display/freq = 10000
1.10/1.16 c
1.10/1.16 c # maximal time in seconds to run
1.10/1.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.16 c limits/time = 1799.47
1.10/1.16 c
1.10/1.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.16 c limits/memory = 1620
1.10/1.16 c
1.10/1.16 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.10/1.16 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.16 c lp/solvefreq = 0
1.10/1.16 c
1.10/1.16 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.10/1.16 c # [type: char, range: {lafpsqd}, default: l]
1.10/1.16 c lp/pricing = a
1.10/1.16 c
1.10/1.16 c # should presolving try to simplify inequalities
1.10/1.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.16 c constraints/linear/simplifyinequalities = TRUE
1.10/1.16 c
1.10/1.16 c # should presolving try to simplify knapsacks
1.10/1.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.16 c constraints/knapsack/simplifyinequalities = TRUE
1.10/1.16 c
1.10/1.16 c # priority of node selection rule <dfs> in standard mode
1.10/1.16 c # [type: int, range: [-536870912,536870911], default: 0]
1.10/1.16 c nodeselection/dfs/stdpriority = 1000000
1.10/1.16 c
1.10/1.16 c -----------------------------------------------------------------------------------------------
1.10/1.16 c start solving
1.10/1.16 c
9.38/9.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.38/9.47 c t 8.7s| 1 | 0 | 3720 | - | 33M| 0 |1432 |1442 | 25k|1442 | 25k| 0 | 0 | 0 |-2.497302e+02 | 0.000000e+00 | 100.00%
9.59/9.61 o -4
9.59/9.61 c R 8.9s| 1 | 0 | 3720 | - | 33M| 0 |1432 |1442 | 25k|1442 | 25k| 0 | 0 | 0 |-2.497302e+02 |-4.000000e+00 | 98.40%
9.69/9.76 o -7
9.69/9.76 c s 9.0s| 1 | 0 | 3720 | - | 33M| 0 |1432 |1442 | 25k|1442 | 25k| 0 | 0 | 0 |-2.497302e+02 |-7.000000e+00 | 97.20%
32.18/32.22 c 31.1s| 1 | 0 | 10040 | - | 34M| 0 |1438 |1442 | 25k|1442 | 25k| 6 | 0 | 0 |-2.447391e+02 |-7.000000e+00 | 97.14%
32.18/32.23 o -13
32.18/32.23 c b31.1s| 1 | 0 | 10040 | - | 34M| 0 |1438 |1442 | 25k|1442 | 25k| 6 | 0 | 0 |-2.447391e+02 |-1.300000e+01 | 94.69%
126.25/126.35 c 125s| 1 | 0 | 26376 | - | 35M| 0 |1441 |1442 | 25k|1442 | 25k| 14 | 0 | 0 |-2.413969e+02 |-1.300000e+01 | 94.61%
126.46/126.52 o -17
126.46/126.52 c b 125s| 1 | 0 | 26376 | - | 35M| 0 |1441 |1442 | 25k|1442 | 25k| 14 | 0 | 0 |-2.413969e+02 |-1.700000e+01 | 92.96%
218.73/218.85 c 212s| 1 | 0 | 37762 | - | 35M| 0 |1442 |1442 | 25k|1442 | 25k| 18 | 0 | 0 |-2.406347e+02 |-1.700000e+01 | 92.94%
414.27/414.47 c 405s| 1 | 0 | 65211 | - | 36M| 0 |1436 |1442 | 25k|1442 | 25k| 23 | 0 | 0 |-2.396286e+02 |-1.700000e+01 | 92.91%
659.19/659.44 c 642s| 1 | 0 | 92870 | - | 36M| 0 |1441 |1442 | 25k|1442 | 25k| 60 | 0 | 0 |-2.351272e+02 |-1.700000e+01 | 92.77%
876.73/877.00 c 851s| 1 | 0 |116971 | - | 36M| 0 |1439 |1442 | 25k|1442 | 25k| 68 | 0 | 0 |-2.325497e+02 |-1.700000e+01 | 92.69%
1028.78/1029.14 c 997s| 1 | 0 |133452 | - | 36M| 0 |1437 |1442 | 25k|1442 | 25k| 88 | 0 | 0 |-2.283352e+02 |-1.700000e+01 | 92.55%
1242.03/1242.41 c 1202s| 1 | 0 |156833 | - | 36M| 0 |1439 |1442 | 25k|1442 | 25k| 93 | 0 | 0 |-2.274020e+02 |-1.700000e+01 | 92.52%
1472.36/1472.86 c 1424s| 1 | 0 |181846 | - | 36M| 0 |1439 |1442 | 25k|1442 | 25k| 98 | 0 | 0 |-2.257701e+02 |-1.700000e+01 | 92.47%
1668.21/1668.72 c 1613s| 1 | 0 |203992 | - | 36M| 0 |1437 |1442 | 25k|1442 | 25k| 128 | 0 | 0 |-2.240269e+02 |-1.700000e+01 | 92.41%
1800.08/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-2666248-1276686756/watcher-2666248-1276686756 -o /tmp/evaluation-result-2666248-1276686756/solver-2666248-1276686756 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666248-1276686756.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.04 1.00 1.00 3/106 15986
/proc/meminfo: memFree=1735500/2059040 swapFree=4192956/4192956
[pid=15986] ppid=15984 vsize=7724 CPUtime=0
/proc/15986/stat : 15986 (pbscip.linux.x8) R 15984 15986 15530 0 -1 4202496 1050 0 0 0 0 0 0 0 18 0 1 0 9967845 7909376 969 1992294400 4194304 8223781 140737065512320 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15986/statm: 1931 978 348 984 0 944 0
[startup+0.0345751 s]
/proc/loadavg: 1.04 1.00 1.00 3/106 15986
/proc/meminfo: memFree=1735500/2059040 swapFree=4192956/4192956
[pid=15986] ppid=15984 vsize=11160 CPUtime=0.02
/proc/15986/stat : 15986 (pbscip.linux.x8) R 15984 15986 15530 0 -1 4202496 2046 0 0 0 2 0 0 0 18 0 1 0 9967845 11427840 1965 1992294400 4194304 8223781 140737065512320 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15986/statm: 2790 1976 365 984 0 1803 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11160
[startup+0.10058 s]
/proc/loadavg: 1.04 1.00 1.00 3/106 15986
/proc/meminfo: memFree=1735500/2059040 swapFree=4192956/4192956
[pid=15986] ppid=15984 vsize=13264 CPUtime=0.09
/proc/15986/stat : 15986 (pbscip.linux.x8) R 15984 15986 15530 0 -1 4202496 2613 0 0 0 8 1 0 0 21 0 1 0 9967845 13582336 2532 1992294400 4194304 8223781 140737065512320 18446744073709551615 5651282 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15986/statm: 3316 2532 365 984 0 2329 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13264
[startup+0.300601 s]
/proc/loadavg: 1.04 1.00 1.00 3/106 15986
/proc/meminfo: memFree=1735500/2059040 swapFree=4192956/4192956
[pid=15986] ppid=15984 vsize=18020 CPUtime=0.29
/proc/15986/stat : 15986 (pbscip.linux.x8) R 15984 15986 15530 0 -1 4202496 3821 0 0 0 28 1 0 0 21 0 1 0 9967845 18452480 3740 1992294400 4194304 8223781 140737065512320 18446744073709551615 7189540 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15986/statm: 4505 3740 365 984 0 3518 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18020
[startup+0.700641 s]
/proc/loadavg: 1.04 1.00 1.00 3/106 15986
/proc/meminfo: memFree=1735500/2059040 swapFree=4192956/4192956
[pid=15986] ppid=15984 vsize=46684 CPUtime=0.69
/proc/15986/stat : 15986 (pbscip.linux.x8) R 15984 15986 15530 0 -1 4202496 11034 0 0 0 63 6 0 0 22 0 1 0 9967845 47804416 10589 1992294400 4194304 8223781 140737065512320 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15986/statm: 11671 10589 446 984 0 10684 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46684
[startup+1.50072 s]
/proc/loadavg: 1.04 1.00 1.00 2/107 15987
/proc/meminfo: memFree=1687628/2059040 swapFree=4192956/4192956
[pid=15986] ppid=15984 vsize=83864 CPUtime=1.49
/proc/15986/stat : 15986 (pbscip.linux.x8) R 15984 15986 15530 0 -1 4202496 23726 0 0 0 132 17 0 0 25 0 1 0 9967845 85876736 18896 1992294400 4194304 8223781 140737065512320 18446744073709551615 6612636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15986/statm: 20966 18896 546 984 0 19979 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83864
[startup+3.10088 s]
/proc/loadavg: 1.04 1.00 1.00 2/107 15987
/proc/meminfo: memFree=1659108/2059040 swapFree=4192956/4192956
[pid=15986] ppid=15984 vsize=90912 CPUtime=3.09
/proc/15986/stat : 15986 (pbscip.linux.x8) R 15984 15986 15530 0 -1 4202496 25174 0 0 0 290 19 0 0 25 0 1 0 9967845 93093888 19610 1992294400 4194304 8223781 140737065512320 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15986/statm: 22728 19610 553 984 0 21741 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 90912
[startup+6.30121 s]
/proc/loadavg: 1.04 1.00 1.00 2/107 15987
/proc/meminfo: memFree=1658240/2059040 swapFree=4192956/4192956
[pid=15986] ppid=15984 vsize=92400 CPUtime=6.29
/proc/15986/stat : 15986 (pbscip.linux.x8) R 15984 15986 15530 0 -1 4202496 26463 0 0 0 609 20 0 0 25 0 1 0 9967845 94617600 19683 1992294400 4194304 8223781 140737065512320 18446744073709551615 6568021 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15986/statm: 23100 19683 553 984 0 22113 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 92400
[startup+12.7009 s]
/proc/loadavg: 1.03 1.00 1.00 2/107 15987
/proc/meminfo: memFree=1656256/2059040 swapFree=4192956/4192956
[pid=15986] ppid=15984 vsize=95356 CPUtime=12.69
/proc/15986/stat : 15986 (pbscip.linux.x8) R 15984 15986 15530 0 -1 4202496 123168 0 0 0 1219 50 0 0 25 0 1 0 9967845 97644544 20281 1992294400 4194304 8223781 140737065512320 18446744073709551615 6450707 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15986/statm: 23839 20281 575 984 0 22852 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 95356
[startup+25.5012 s]
/proc/loadavg: 1.02 1.00 1.00 2/107 15987
/proc/meminfo: memFree=1655760/2059040 swapFree=4192956/4192956
[pid=15986] ppid=15984 vsize=95544 CPUtime=25.49
/proc/15986/stat : 15986 (pbscip.linux.x8) R 15984 15986 15530 0 -1 4202496 128730 0 0 0 2493 56 0 0 25 0 1 0 9967845 97837056 20289 1992294400 4194304 8223781 140737065512320 18446744073709551615 6502720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15986/statm: 23886 20289 575 984 0 22899 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 95544
[startup+51.1008 s]
/proc/loadavg: 1.02 1.00 1.00 2/107 15989
/proc/meminfo: memFree=1652288/2059040 swapFree=4192956/4192956
[pid=15986] ppid=15984 vsize=98268 CPUtime=51.07
/proc/15986/stat : 15986 (pbscip.linux.x8) R 15984 15986 15530 0 -1 4202496 232178 0 0 0 5014 93 0 0 25 0 1 0 9967845 100626432 21187 1992294400 4194304 8223781 140737065512320 18446744073709551615 6560183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15986/statm: 24567 21187 576 984 0 23580 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 98268
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15989
/proc/meminfo: memFree=1651668/2059040 swapFree=4192956/4192956
[pid=15986] ppid=15984 vsize=98440 CPUtime=102.26
/proc/15986/stat : 15986 (pbscip.linux.x8) R 15984 15986 15530 0 -1 4202496 253345 0 0 0 10115 111 0 0 25 0 1 0 9967845 100802560 21315 1992294400 4194304 8223781 140737065512320 18446744073709551615 6564433 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15986/statm: 24610 21315 576 984 0 23623 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 98440
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15991
/proc/meminfo: memFree=1650800/2059040 swapFree=4192956/4192956
[pid=15986] ppid=15984 vsize=99336 CPUtime=162.24
/proc/15986/stat : 15986 (pbscip.linux.x8) R 15984 15986 15530 0 -1 4202496 1751414 0 0 0 15634 590 0 0 25 0 1 0 9967845 101720064 21503 1992294400 4194304 8223781 140737065512320 18446744073709551615 6539240 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15986/statm: 24834 21503 573 984 0 23847 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 99336
[startup+222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15993
/proc/meminfo: memFree=1650056/2059040 swapFree=4192956/4192956
[pid=15986] ppid=15984 vsize=99612 CPUtime=222.22
/proc/15986/stat : 15986 (pbscip.linux.x8) R 15984 15986 15530 0 -1 4202496 1931787 0 0 0 21564 658 0 0 25 0 1 0 9967845 102002688 21701 1992294400 4194304 8223781 140737065512320 18446744073709551615 6299574 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15986/statm: 24903 21701 573 984 0 23916 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 99612
[startup+282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15995
/proc/meminfo: memFree=1649312/2059040 swapFree=4192956/4192956
[pid=15986] ppid=15984 vsize=99776 CPUtime=282.2
/proc/15986/stat : 15986 (pbscip.linux.x8) R 15984 15986 15530 0 -1 4202496 2283562 0 0 0 27434 786 0 0 25 0 1 0 9967845 102170624 21824 1992294400 4194304 8223781 140737065512320 18446744073709551615 6569990 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15986/statm: 24944 21824 573 984 0 23957 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 99776
[startup+342.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15995
/proc/meminfo: memFree=1648816/2059040 swapFree=4192956/4192956
[pid=15986] ppid=15984 vsize=99776 CPUtime=342.18
/proc/15986/stat : 15986 (pbscip.linux.x8) R 15984 15986 15530 0 -1 4202496 2309385 0 0 0 33411 807 0 0 25 0 1 0 9967845 102170624 21991 1992294400 4194304 8223781 140737065512320 18446744073709551615 6568490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15986/statm: 24944 21991 573 984 0 23957 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 99776
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15997
/proc/meminfo: memFree=1648692/2059040 swapFree=4192956/4192956
[pid=15986] ppid=15984 vsize=99776 CPUtime=402.17
/proc/15986/stat : 15986 (pbscip.linux.x8) R 15984 15986 15530 0 -1 4202496 2334788 0 0 0 39388 829 0 0 25 0 1 0 9967845 102170624 22032 1992294400 4194304 8223781 140737065512320 18446744073709551615 6502689 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15986/statm: 24944 22032 573 984 0 23957 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 99776
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15999
/proc/meminfo: memFree=1648320/2059040 swapFree=4192956/4192956
[pid=15986] ppid=15984 vsize=99660 CPUtime=462.15
/proc/15986/stat : 15986 (pbscip.linux.x8) R 15984 15986 15530 0 -1 4202496 4242518 0 0 0 44715 1500 0 0 25 0 1 0 9967845 102051840 22004 1992294400 4194304 8223781 140737065512320 18446744073709551615 6055754 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15986/statm: 24915 22004 573 984 0 23928 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 99660
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16001
/proc/meminfo: memFree=1648692/2059040 swapFree=4192956/4192956
[pid=15986] ppid=15984 vsize=100144 CPUtime=522.13
/proc/15986/stat : 15986 (pbscip.linux.x8) R 15984 15986 15530 0 -1 4202496 4587211 0 0 0 50583 1630 0 0 25 0 1 0 9967845 102547456 21963 1992294400 4194304 8223781 140737065512320 18446744073709551615 6539240 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15986/statm: 25036 21963 573 984 0 24049 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 100144
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16003
/proc/meminfo: memFree=1648444/2059040 swapFree=4192956/4192956
[pid=15986] ppid=15984 vsize=100348 CPUtime=582.12
/proc/15986/stat : 15986 (pbscip.linux.x8) R 15984 15986 15530 0 -1 4202496 4612555 0 0 0 56562 1650 0 0 25 0 1 0 9967845 102756352 22063 1992294400 4194304 8223781 140737065512320 18446744073709551615 6559804 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15986/statm: 25087 22063 573 984 0 24100 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 100348
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16003
/proc/meminfo: memFree=1647824/2059040 swapFree=4192956/4192956
[pid=15986] ppid=15984 vsize=100348 CPUtime=642.11
/proc/15986/stat : 15986 (pbscip.linux.x8) R 15984 15986 15530 0 -1 4202496 4638028 0 0 0 62538 1673 0 0 25 0 1 0 9967845 102756352 22166 1992294400 4194304 8223781 140737065512320 18446744073709551615 6569946 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15986/statm: 25087 22166 573 984 0 24100 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 100348
[startup+702.301 s]
################
# More data... #
################
/proc/15986/stat : 15986 (pbscip.linux.x8) R 15984 15986 15530 0 -1 4202496 8768010 0 0 0 97080 3119 0 0 25 0 1 0 9967845 102887424 22193 1992294400 4194304 8223781 140737065512320 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15986/statm: 25119 22193 575 984 0 24132 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 100476
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16015
/proc/meminfo: memFree=1647452/2059040 swapFree=4192956/4192956
[pid=15986] ppid=15984 vsize=100748 CPUtime=1061.98
/proc/15986/stat : 15986 (pbscip.linux.x8) R 15984 15986 15530 0 -1 4202496 10115385 0 0 0 102633 3565 0 0 25 0 1 0 9967845 103165952 22236 1992294400 4194304 8223781 140737065512320 18446744073709551615 6299574 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15986/statm: 25187 22236 575 984 0 24200 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 100748
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16017
/proc/meminfo: memFree=1647576/2059040 swapFree=4192956/4192956
[pid=15986] ppid=15984 vsize=101084 CPUtime=1121.96
/proc/15986/stat : 15986 (pbscip.linux.x8) R 15984 15986 15530 0 -1 4202496 11014381 0 0 0 108312 3884 0 0 25 0 1 0 9967845 103510016 22133 1992294400 4194304 8223781 140737065512320 18446744073709551615 6569626 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15986/statm: 25271 22133 575 984 0 24284 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 101084
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16022
/proc/meminfo: memFree=1646708/2059040 swapFree=4192956/4192956
[pid=15986] ppid=15984 vsize=101272 CPUtime=1181.94
/proc/15986/stat : 15986 (pbscip.linux.x8) R 15984 15986 15530 0 -1 4202496 11040273 0 0 0 114288 3906 0 0 25 0 1 0 9967845 103702528 22223 1992294400 4194304 8223781 140737065512320 18446744073709551615 6502734 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15986/statm: 25318 22223 575 984 0 24331 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 101272
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16022
/proc/meminfo: memFree=1646212/2059040 swapFree=4192956/4192956
[pid=15986] ppid=15984 vsize=101272 CPUtime=1241.92
/proc/15986/stat : 15986 (pbscip.linux.x8) R 15984 15986 15530 0 -1 4202496 11065544 0 0 0 120265 3927 0 0 25 0 1 0 9967845 103702528 22331 1992294400 4194304 8223781 140737065512320 18446744073709551615 6502706 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15986/statm: 25318 22331 575 984 0 24331 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 101272
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16024
/proc/meminfo: memFree=1645220/2059040 swapFree=4192956/4192956
[pid=15986] ppid=15984 vsize=101452 CPUtime=1301.91
/proc/15986/stat : 15986 (pbscip.linux.x8) R 15984 15986 15530 0 -1 4202496 13341438 0 0 0 125509 4682 0 0 25 0 1 0 9967845 103886848 22577 1992294400 4194304 8223781 140737065512320 18446744073709551615 6612636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15986/statm: 25363 22577 575 984 0 24376 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 101452
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16026
/proc/meminfo: memFree=1644848/2059040 swapFree=4192956/4192956
[pid=15986] ppid=15984 vsize=101452 CPUtime=1361.89
/proc/15986/stat : 15986 (pbscip.linux.x8) R 15984 15986 15530 0 -1 4202496 13367928 0 0 0 131486 4703 0 0 25 0 1 0 9967845 103886848 22620 1992294400 4194304 8223781 140737065512320 18446744073709551615 6560187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15986/statm: 25363 22620 575 984 0 24376 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 101452
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16028
/proc/meminfo: memFree=1644972/2059040 swapFree=4192956/4192956
[pid=15986] ppid=15984 vsize=101452 CPUtime=1421.88
/proc/15986/stat : 15986 (pbscip.linux.x8) R 15984 15986 15530 0 -1 4202496 13392501 0 0 0 137465 4723 0 0 25 0 1 0 9967845 103886848 22631 1992294400 4194304 8223781 140737065512320 18446744073709551615 6568486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15986/statm: 25363 22631 575 984 0 24376 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 101452
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16030
/proc/meminfo: memFree=1644848/2059040 swapFree=4192956/4192956
[pid=15986] ppid=15984 vsize=101856 CPUtime=1481.85
/proc/15986/stat : 15986 (pbscip.linux.x8) R 15984 15986 15530 0 -1 4202496 13787348 0 0 0 143317 4868 0 0 25 0 1 0 9967845 104300544 22663 1992294400 4194304 8223781 140737065512320 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15986/statm: 25464 22663 575 984 0 24477 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 101856
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16030
/proc/meminfo: memFree=1644848/2059040 swapFree=4192956/4192956
[pid=15986] ppid=15984 vsize=102020 CPUtime=1541.83
/proc/15986/stat : 15986 (pbscip.linux.x8) R 15984 15986 15530 0 -1 4202496 15571859 0 0 0 148712 5471 0 0 25 0 1 0 9967845 104468480 22657 1992294400 4194304 8223781 140737065512320 18446744073709551615 6503879 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15986/statm: 25505 22657 575 984 0 24518 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 102020
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16032
/proc/meminfo: memFree=1644600/2059040 swapFree=4192956/4192956
[pid=15986] ppid=15984 vsize=102020 CPUtime=1601.82
/proc/15986/stat : 15986 (pbscip.linux.x8) R 15984 15986 15530 0 -1 4202496 15598671 0 0 0 154687 5495 0 0 25 0 1 0 9967845 104468480 22676 1992294400 4194304 8223781 140737065512320 18446744073709551615 6569710 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15986/statm: 25505 22676 575 984 0 24518 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 102020
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16034
/proc/meminfo: memFree=1644848/2059040 swapFree=4192956/4192956
[pid=15986] ppid=15984 vsize=102020 CPUtime=1661.8
/proc/15986/stat : 15986 (pbscip.linux.x8) R 15984 15986 15530 0 -1 4202496 15623631 0 0 0 160664 5516 0 0 25 0 1 0 9967845 104468480 22697 1992294400 4194304 8223781 140737065512320 18446744073709551615 6571303 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15986/statm: 25505 22697 575 984 0 24518 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 102020
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16036
/proc/meminfo: memFree=1644600/2059040 swapFree=4192956/4192956
[pid=15986] ppid=15984 vsize=102220 CPUtime=1721.78
/proc/15986/stat : 15986 (pbscip.linux.x8) R 15984 15986 15530 0 -1 4202496 17722375 0 0 0 165935 6243 0 0 25 0 1 0 9967845 104673280 22738 1992294400 4194304 8223781 140737065512320 18446744073709551615 6299587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15986/statm: 25555 22738 575 984 0 24568 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 102220
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16038
/proc/meminfo: memFree=1645840/2059040 swapFree=4192956/4192956
[pid=15986] ppid=15984 vsize=102020 CPUtime=1781.76
/proc/15986/stat : 15986 (pbscip.linux.x8) R 15984 15986 15530 0 -1 4202496 17832055 0 0 0 171886 6290 0 0 25 0 1 0 9967845 104468480 22418 1992294400 4194304 8223781 140737065512320 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15986/statm: 25505 22418 575 984 0 24518 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 102020
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16038
/proc/meminfo: memFree=1645716/2059040 swapFree=4192956/4192956
[pid=15986] ppid=15984 vsize=102216 CPUtime=1800.08
/proc/15986/stat : 15986 (pbscip.linux.x8) R 15984 15986 15530 0 -1 4202496 17839718 0 0 0 173711 6297 0 0 25 0 1 0 9967845 104669184 22438 1992294400 4194304 8223781 140737065512320 18446744073709551615 6568380 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15986/statm: 25554 22438 575 984 0 24567 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 102216
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -15986
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 16038
/proc/meminfo: memFree=1645716/2059040 swapFree=4192956/4192956
[pid=15986] ppid=15984 vsize=102216 CPUtime=1800.86
/proc/15986/stat : 15986 (pbscip.linux.x8) R 15984 15986 15530 0 -1 4202496 17840310 0 0 0 173789 6297 0 0 25 0 1 0 9967845 104669184 22429 1992294400 4194304 8223781 140737065512320 18446744073709551615 6564760 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15986/statm: 25554 22429 575 984 0 24567 0
Current children cumulated CPU time (s) 1800.86
Current children cumulated vsize (KiB) 102216
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 16039
/proc/meminfo: memFree=1645832/2059040 swapFree=4192956/4192956
[pid=15986] ppid=15984 vsize=102216 CPUtime=1801.66
/proc/15986/stat : 15986 (pbscip.linux.x8) R 15984 15986 15530 0 -1 4202496 17840322 0 0 0 173869 6297 0 0 25 0 1 0 9967845 104669184 22441 1992294400 4194304 8223781 140737065512320 18446744073709551615 6611694 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15986/statm: 25554 22441 575 984 0 24567 0
Current children cumulated CPU time (s) 1801.66
Current children cumulated vsize (KiB) 102216
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 16039
/proc/meminfo: memFree=1645832/2059040 swapFree=4192956/4192956
[pid=15986] ppid=15984 vsize=102216 CPUtime=1802.06
/proc/15986/stat : 15986 (pbscip.linux.x8) R 15984 15986 15530 0 -1 4202496 17840328 0 0 0 173909 6297 0 0 25 0 1 0 9967845 104669184 22447 1992294400 4194304 8223781 140737065512320 18446744073709551615 6502686 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15986/statm: 25554 22447 575 984 0 24567 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 102216
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.63
CPU time (s): 1802.1
CPU user time (s): 1739.11
CPU system time (s): 62.9864
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (KiB): 105172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1739.11
system time used= 62.9864
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17840328
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= 5572
runsolver used 2.88056 second user time and 8.61169 second system time
The end