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-2703300-1278572903.opb>
0.39/0.44 c original problem has 38366 variables (38366 bin, 0 int, 0 impl, 0 cont) and 38867 constraints
0.39/0.44 c problem read
0.39/0.44 c presolving settings loaded
0.89/0.96 o 0
0.89/0.96 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.89/0.96 c presolving:
2.19/2.21 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1500 upgd conss, 298296 impls, 1000 clqs
4.40/4.45 c (4.0s) probing: 101/38366 (0.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
4.40/4.45 c (4.0s) probing aborted: 100/100 successive totally useless probings
4.40/4.46 c presolving (2 rounds):
4.40/4.46 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
4.40/4.46 c 298296 implications, 1000 cliques
4.40/4.46 c presolved problem has 38366 variables (38366 bin, 0 int, 0 impl, 0 cont) and 38867 constraints
4.40/4.46 c 1500 constraints of type <setppc>
4.40/4.46 c 37366 constraints of type <and>
4.40/4.46 c 1 constraints of type <linear>
4.40/4.46 c transformed objective value is always integral (scale: 1)
4.40/4.46 c Presolving Time: 3.77
4.40/4.46 c - non default parameters ----------------------------------------------------------------------
4.40/4.46 c # SCIP version 1.2.1.3
4.40/4.46 c
4.40/4.46 c # frequency for displaying node information lines
4.40/4.46 c # [type: int, range: [-1,2147483647], default: 100]
4.40/4.46 c display/freq = 10000
4.40/4.46 c
4.40/4.46 c # maximal time in seconds to run
4.40/4.46 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.40/4.46 c limits/time = 1789.57
4.40/4.46 c
4.40/4.46 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.40/4.46 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.40/4.46 c limits/memory = 1620
4.40/4.46 c
4.40/4.46 c # default clock type (1: CPU user seconds, 2: wall clock time)
4.40/4.46 c # [type: int, range: [1,2], default: 1]
4.40/4.46 c timing/clocktype = 2
4.40/4.46 c
4.40/4.46 c # should presolving try to simplify inequalities
4.40/4.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.40/4.46 c constraints/linear/simplifyinequalities = TRUE
4.40/4.46 c
4.40/4.46 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
4.40/4.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.40/4.46 c constraints/indicator/addCouplingCons = TRUE
4.40/4.46 c
4.40/4.46 c # should presolving try to simplify knapsacks
4.40/4.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.40/4.46 c constraints/knapsack/simplifyinequalities = TRUE
4.40/4.46 c
4.40/4.46 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
4.40/4.46 c # [type: int, range: [-1,2147483647], default: -1]
4.40/4.46 c heuristics/undercover/freq = 0
4.40/4.46 c
4.40/4.46 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
4.40/4.46 c # [type: int, range: [-1,2147483647], default: -1]
4.40/4.46 c separating/rapidlearning/freq = 0
4.40/4.46 c
4.40/4.46 c -----------------------------------------------------------------------------------------------
4.40/4.46 c start solving
4.40/4.49 c
764.42/764.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
764.42/764.63 c t 764s| 1 | 0 | 31489 | - | 175M| 0 | 19k| 38k| 38k| 38k| 76k| 0 | 0 | 0 |-2.500000e+02 | 0.000000e+00 | 100.00%
764.81/765.00 o -9
764.81/765.00 c s 765s| 1 | 0 | 31489 | - | 177M| 0 | 19k| 38k| 38k| 38k| 76k| 0 | 0 | 0 |-2.500000e+02 |-9.000000e+00 | 96.40%
967.06/967.36 c 967s| 1 | 0 | 36478 | - | 185M| 0 | 19k| 38k| 38k| 38k| 76k| 72 | 1 | 0 |-2.500000e+02 |-9.000000e+00 | 96.40%
1123.52/1123.85 c 1123s| 1 | 0 | 40364 | - | 185M| 0 | 19k| 38k| 38k| 38k| 76k| 93 | 1 | 0 |-2.500000e+02 |-9.000000e+00 | 96.40%
1297.17/1297.52 c 1297s| 1 | 0 | 44813 | - | 186M| 0 | 19k| 38k| 38k| 38k| 76k| 107 | 1 | 0 |-2.500000e+02 |-9.000000e+00 | 96.40%
1297.47/1297.82 o -10
1297.47/1297.82 c s1297s| 1 | 0 | 44813 | - | 186M| 0 | 19k| 38k| 38k| 38k| 76k| 107 | 1 | 0 |-2.500000e+02 |-1.000000e+01 | 96.00%
1425.84/1426.20 c 1426s| 1 | 0 | 47653 | - | 186M| 0 | 19k| 38k| 38k| 38k| 76k| 123 | 1 | 0 |-2.500000e+02 |-1.000000e+01 | 96.00%
1550.42/1550.87 c 1550s| 1 | 0 | 50297 | - | 186M| 0 | 19k| 38k| 38k| 38k| 76k| 136 | 1 | 0 |-2.500000e+02 |-1.000000e+01 | 96.00%
1685.89/1686.34 c 1686s| 1 | 0 | 53277 | - | 186M| 0 | 19k| 38k| 38k| 38k| 76k| 145 | 1 | 0 |-2.500000e+02 |-1.000000e+01 | 96.00%
1800.05/1800.50 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-2703300-1278572903/watcher-2703300-1278572903 -o /tmp/evaluation-result-2703300-1278572903/solver-2703300-1278572903 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703300-1278572903.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.00 0.08 0.43 3/106 781
/proc/meminfo: memFree=1784240/2059040 swapFree=4139712/4192956
[pid=781] ppid=779 vsize=5692 CPUtime=0
/proc/781/stat : 781 (pbscip.linux.x8) R 779 781 754 0 -1 4202496 748 0 0 0 0 0 0 0 20 0 1 0 25497827 5828608 663 1992294400 4194304 8395647 140736014865904 18446744073709551615 6347101 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/781/statm: 1423 673 313 1026 0 393 0
[startup+0.108189 s]
/proc/loadavg: 0.00 0.08 0.43 3/106 781
/proc/meminfo: memFree=1784240/2059040 swapFree=4139712/4192956
[pid=781] ppid=779 vsize=25380 CPUtime=0.09
/proc/781/stat : 781 (pbscip.linux.x8) R 779 781 754 0 -1 4202496 5575 0 0 0 8 1 0 0 22 0 1 0 25497827 25989120 5486 1992294400 4194304 8395647 140736014865904 18446744073709551615 4730400 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/781/statm: 6345 5487 393 1026 0 5315 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25380
[startup+0.201198 s]
/proc/loadavg: 0.00 0.08 0.43 3/106 781
/proc/meminfo: memFree=1784240/2059040 swapFree=4139712/4192956
[pid=781] ppid=779 vsize=35748 CPUtime=0.2
/proc/781/stat : 781 (pbscip.linux.x8) R 779 781 754 0 -1 4202496 8169 0 0 0 17 3 0 0 22 0 1 0 25497827 36605952 8080 1992294400 4194304 8395647 140736014865904 18446744073709551615 6347101 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/781/statm: 8937 8092 393 1026 0 7907 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 35748
[startup+0.301207 s]
/proc/loadavg: 0.00 0.08 0.43 3/106 781
/proc/meminfo: memFree=1784240/2059040 swapFree=4139712/4192956
[pid=781] ppid=779 vsize=44932 CPUtime=0.29
/proc/781/stat : 781 (pbscip.linux.x8) R 779 781 754 0 -1 4202496 10513 0 0 0 25 4 0 0 22 0 1 0 25497827 46010368 10424 1992294400 4194304 8395647 140736014865904 18446744073709551615 4327586 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/781/statm: 11233 10424 393 1026 0 10203 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44932
[startup+0.701241 s]
/proc/loadavg: 0.00 0.08 0.43 3/106 781
/proc/meminfo: memFree=1784240/2059040 swapFree=4139712/4192956
[pid=781] ppid=779 vsize=106212 CPUtime=0.69
/proc/781/stat : 781 (pbscip.linux.x8) R 779 781 754 0 -1 4202496 26135 0 0 0 59 10 0 0 24 0 1 0 25497827 108761088 25619 1992294400 4194304 8395647 140736014865904 18446744073709551615 4601501 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/781/statm: 26553 25619 430 1026 0 25523 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 106212
[startup+1.50131 s]
/proc/loadavg: 0.00 0.08 0.43 2/107 782
/proc/meminfo: memFree=1675236/2059040 swapFree=4139712/4192956
[pid=781] ppid=779 vsize=120756 CPUtime=1.49
/proc/781/stat : 781 (pbscip.linux.x8) R 779 781 754 0 -1 4202496 29566 0 0 0 138 11 0 0 25 0 1 0 25497827 123654144 29050 1992294400 4194304 8395647 140736014865904 18446744073709551615 7382056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/781/statm: 30189 29050 461 1026 0 29159 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 120756
[startup+3.10145 s]
/proc/loadavg: 0.00 0.08 0.43 2/107 782
/proc/meminfo: memFree=1648948/2059040 swapFree=4139712/4192956
[pid=781] ppid=779 vsize=144096 CPUtime=3.09
/proc/781/stat : 781 (pbscip.linux.x8) R 779 781 754 0 -1 4202496 36296 0 0 0 296 13 0 0 25 0 1 0 25497827 147554304 35026 1992294400 4194304 8395647 140736014865904 18446744073709551615 4827899 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/781/statm: 36024 35026 602 1026 0 34994 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 144096
[startup+6.30073 s]
/proc/loadavg: 0.08 0.09 0.44 2/107 782
/proc/meminfo: memFree=1518376/2059040 swapFree=4139712/4192956
[pid=781] ppid=779 vsize=281608 CPUtime=6.29
/proc/781/stat : 781 (pbscip.linux.x8) R 779 781 754 0 -1 4202496 70500 0 0 0 603 26 0 0 25 0 1 0 25497827 288366592 67060 1992294400 4194304 8395647 140736014865904 18446744073709551615 6752391 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/781/statm: 70402 67060 681 1026 0 69372 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 281608
[startup+12.7013 s]
/proc/loadavg: 0.15 0.11 0.44 2/107 784
/proc/meminfo: memFree=1494320/2059040 swapFree=4139712/4192956
[pid=781] ppid=779 vsize=309768 CPUtime=12.69
/proc/781/stat : 781 (pbscip.linux.x8) R 779 781 754 0 -1 4202496 77250 0 0 0 1239 30 0 0 25 0 1 0 25497827 317202432 72855 1992294400 4194304 8395647 140736014865904 18446744073709551615 6697974 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/781/statm: 77442 72855 742 1026 0 76412 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 309768
[startup+25.5014 s]
/proc/loadavg: 0.34 0.15 0.45 2/107 784
/proc/meminfo: memFree=1484276/2059040 swapFree=4139712/4192956
[pid=781] ppid=779 vsize=316572 CPUtime=25.49
/proc/781/stat : 781 (pbscip.linux.x8) R 779 781 754 0 -1 4202496 79930 0 0 0 2515 34 0 0 25 0 1 0 25497827 324169728 75323 1992294400 4194304 8395647 140736014865904 18446744073709551615 6697978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/781/statm: 79143 75323 673 1026 0 78113 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 316572
[startup+51.1007 s]
/proc/loadavg: 0.56 0.22 0.46 2/107 784
/proc/meminfo: memFree=1481424/2059040 swapFree=4139712/4192956
[pid=781] ppid=779 vsize=320880 CPUtime=51.08
/proc/781/stat : 781 (pbscip.linux.x8) R 779 781 754 0 -1 4202496 81218 0 0 0 5071 37 0 0 25 0 1 0 25497827 328581120 76536 1992294400 4194304 8395647 140736014865904 18446744073709551615 6697250 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/781/statm: 80220 76536 649 1026 0 79190 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 320880
[startup+102.301 s]
/proc/loadavg: 0.81 0.33 0.49 2/107 786
/proc/meminfo: memFree=1474976/2059040 swapFree=4139712/4192956
[pid=781] ppid=779 vsize=322616 CPUtime=102.27
/proc/781/stat : 781 (pbscip.linux.x8) R 779 781 754 0 -1 4202496 82323 0 0 0 10186 41 0 0 25 0 1 0 25497827 330358784 77619 1992294400 4194304 8395647 140736014865904 18446744073709551615 6697246 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/781/statm: 80654 77619 657 1026 0 79624 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 322616
[startup+162.301 s]
/proc/loadavg: 0.93 0.45 0.52 2/107 788
/proc/meminfo: memFree=1457988/2059040 swapFree=4139712/4192956
[pid=781] ppid=779 vsize=339916 CPUtime=162.25
/proc/781/stat : 781 (pbscip.linux.x8) R 779 781 754 0 -1 4202496 86586 0 0 0 16178 47 0 0 25 0 1 0 25497827 348073984 81841 1992294400 4194304 8395647 140736014865904 18446744073709551615 6636373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/781/statm: 84979 81841 651 1026 0 83949 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 339916
[startup+222.309 s]
/proc/loadavg: 1.02 0.56 0.55 2/107 788
/proc/meminfo: memFree=1456872/2059040 swapFree=4139712/4192956
[pid=781] ppid=779 vsize=340572 CPUtime=222.25
/proc/781/stat : 781 (pbscip.linux.x8) R 779 781 754 0 -1 4202496 86916 0 0 0 22174 51 0 0 25 0 1 0 25497827 348745728 82135 1992294400 4194304 8395647 140736014865904 18446744073709551615 6696964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/781/statm: 85143 82135 671 1026 0 84113 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 340572
[startup+282.301 s]
/proc/loadavg: 1.00 0.64 0.57 2/107 790
/proc/meminfo: memFree=1456872/2059040 swapFree=4139712/4192956
[pid=781] ppid=779 vsize=340572 CPUtime=282.22
/proc/781/stat : 781 (pbscip.linux.x8) R 779 781 754 0 -1 4202496 86919 0 0 0 28167 55 0 0 25 0 1 0 25497827 348745728 82138 1992294400 4194304 8395647 140736014865904 18446744073709551615 6663825 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/781/statm: 85143 82138 671 1026 0 84113 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 340572
[startup+342.301 s]
/proc/loadavg: 1.00 0.70 0.60 2/107 792
/proc/meminfo: memFree=1456748/2059040 swapFree=4139712/4192956
[pid=781] ppid=779 vsize=340572 CPUtime=342.21
/proc/781/stat : 781 (pbscip.linux.x8) R 779 781 754 0 -1 4202496 86922 0 0 0 34162 59 0 0 25 0 1 0 25497827 348745728 82141 1992294400 4194304 8395647 140736014865904 18446744073709551615 6723058 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/781/statm: 85143 82141 671 1026 0 84113 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 340572
[startup+402.301 s]
/proc/loadavg: 1.04 0.77 0.63 2/107 794
/proc/meminfo: memFree=1456748/2059040 swapFree=4139712/4192956
[pid=781] ppid=779 vsize=340572 CPUtime=402.2
/proc/781/stat : 781 (pbscip.linux.x8) R 779 781 754 0 -1 4202496 86925 0 0 0 40157 63 0 0 25 0 1 0 25497827 348745728 82144 1992294400 4194304 8395647 140736014865904 18446744073709551615 6635683 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/781/statm: 85143 82144 671 1026 0 84113 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 340572
[startup+462.301 s]
/proc/loadavg: 1.05 0.82 0.65 2/107 796
/proc/meminfo: memFree=1456624/2059040 swapFree=4139712/4192956
[pid=781] ppid=779 vsize=340572 CPUtime=462.17
/proc/781/stat : 781 (pbscip.linux.x8) R 779 781 754 0 -1 4202496 86926 0 0 0 46151 66 0 0 25 0 1 0 25497827 348745728 82145 1992294400 4194304 8395647 140736014865904 18446744073709551615 6390464 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/781/statm: 85143 82145 671 1026 0 84113 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 340572
[startup+522.301 s]
/proc/loadavg: 1.13 0.88 0.68 2/107 796
/proc/meminfo: memFree=1456624/2059040 swapFree=4139712/4192956
[pid=781] ppid=779 vsize=340572 CPUtime=522.16
/proc/781/stat : 781 (pbscip.linux.x8) R 779 781 754 0 -1 4202496 86928 0 0 0 52147 69 0 0 25 0 1 0 25497827 348745728 82147 1992294400 4194304 8395647 140736014865904 18446744073709551615 6696991 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/781/statm: 85143 82147 671 1026 0 84113 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 340572
[startup+582.301 s]
/proc/loadavg: 1.12 0.92 0.70 2/107 798
/proc/meminfo: memFree=1456624/2059040 swapFree=4139712/4192956
[pid=781] ppid=779 vsize=340572 CPUtime=582.15
/proc/781/stat : 781 (pbscip.linux.x8) R 779 781 754 0 -1 4202496 86930 0 0 0 58142 73 0 0 25 0 1 0 25497827 348745728 82149 1992294400 4194304 8395647 140736014865904 18446744073709551615 6636373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/781/statm: 85143 82149 671 1026 0 84113 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 340572
[startup+642.302 s]
/proc/loadavg: 1.08 0.94 0.72 2/107 800
/proc/meminfo: memFree=1456624/2059040 swapFree=4139712/4192956
[pid=781] ppid=779 vsize=340572 CPUtime=642.14
/proc/781/stat : 781 (pbscip.linux.x8) R 779 781 754 0 -1 4202496 86931 0 0 0 64138 76 0 0 25 0 1 0 25497827 348745728 82150 1992294400 4194304 8395647 140736014865904 18446744073709551615 6663849 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/781/statm: 85143 82150 671 1026 0 84113 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 340572
[startup+702.301 s]
################
# More data... #
################
/proc/781/stat : 781 (pbscip.linux.x8) R 779 781 754 0 -1 4202496 132967 0 0 0 100080 125 0 0 25 0 1 0 25497827 462684160 110275 1992294400 4194304 8395647 140736014865904 18446744073709551615 5834315 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/781/statm: 112960 110275 684 1026 0 111930 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 451840
[startup+1062.3 s]
/proc/loadavg: 1.00 0.97 0.81 2/107 815
/proc/meminfo: memFree=1343412/2059040 swapFree=4139712/4192956
[pid=781] ppid=779 vsize=451840 CPUtime=1062.04
/proc/781/stat : 781 (pbscip.linux.x8) R 779 781 754 0 -1 4202496 132969 0 0 0 106076 128 0 0 25 0 1 0 25497827 462684160 110277 1992294400 4194304 8395647 140736014865904 18446744073709551615 6697367 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/781/statm: 112960 110277 684 1026 0 111930 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 451840
[startup+1122.3 s]
/proc/loadavg: 1.00 0.97 0.82 2/107 815
/proc/meminfo: memFree=1343412/2059040 swapFree=4139712/4192956
[pid=781] ppid=779 vsize=451840 CPUtime=1122.02
/proc/781/stat : 781 (pbscip.linux.x8) R 779 781 754 0 -1 4202496 132969 0 0 0 112069 133 0 0 25 0 1 0 25497827 462684160 110277 1992294400 4194304 8395647 140736014865904 18446744073709551615 6697250 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/781/statm: 112960 110277 684 1026 0 111930 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 451840
[startup+1182.3 s]
/proc/loadavg: 1.00 0.97 0.83 2/107 817
/proc/meminfo: memFree=1343288/2059040 swapFree=4139712/4192956
[pid=781] ppid=779 vsize=451840 CPUtime=1182
/proc/781/stat : 781 (pbscip.linux.x8) R 779 781 754 0 -1 4202496 132973 0 0 0 118064 136 0 0 25 0 1 0 25497827 462684160 110280 1992294400 4194304 8395647 140736014865904 18446744073709551615 6741240 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/781/statm: 112960 110280 683 1026 0 111930 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 451840
[startup+1242.3 s]
/proc/loadavg: 1.00 0.97 0.83 2/107 819
/proc/meminfo: memFree=1343288/2059040 swapFree=4139712/4192956
[pid=781] ppid=779 vsize=451840 CPUtime=1241.99
/proc/781/stat : 781 (pbscip.linux.x8) R 779 781 754 0 -1 4202496 132973 0 0 0 124059 140 0 0 25 0 1 0 25497827 462684160 110280 1992294400 4194304 8395647 140736014865904 18446744073709551615 6670369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/781/statm: 112960 110280 683 1026 0 111930 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 451840
[startup+1302.3 s]
/proc/loadavg: 1.00 0.97 0.84 2/107 821
/proc/meminfo: memFree=1343288/2059040 swapFree=4139712/4192956
[pid=781] ppid=779 vsize=451840 CPUtime=1301.97
/proc/781/stat : 781 (pbscip.linux.x8) R 779 781 754 0 -1 4202496 132973 0 0 0 130052 145 0 0 25 0 1 0 25497827 462684160 110280 1992294400 4194304 8395647 140736014865904 18446744073709551615 6440610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/781/statm: 112960 110280 683 1026 0 111930 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 451840
[startup+1362.3 s]
/proc/loadavg: 1.00 0.97 0.85 2/107 823
/proc/meminfo: memFree=1343164/2059040 swapFree=4139712/4192956
[pid=781] ppid=779 vsize=451840 CPUtime=1361.96
/proc/781/stat : 781 (pbscip.linux.x8) R 779 781 754 0 -1 4202496 132976 0 0 0 136047 149 0 0 25 0 1 0 25497827 462684160 110283 1992294400 4194304 8395647 140736014865904 18446744073709551615 6698051 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/781/statm: 112960 110283 683 1026 0 111930 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 451840
[startup+1422.3 s]
/proc/loadavg: 1.00 0.97 0.85 2/107 823
/proc/meminfo: memFree=1343164/2059040 swapFree=4139712/4192956
[pid=781] ppid=779 vsize=451840 CPUtime=1421.95
/proc/781/stat : 781 (pbscip.linux.x8) R 779 781 754 0 -1 4202496 132976 0 0 0 142042 153 0 0 25 0 1 0 25497827 462684160 110283 1992294400 4194304 8395647 140736014865904 18446744073709551615 6697359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/781/statm: 112960 110283 683 1026 0 111930 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 451840
[startup+1482.3 s]
/proc/loadavg: 1.00 0.97 0.86 2/107 825
/proc/meminfo: memFree=1343164/2059040 swapFree=4139712/4192956
[pid=781] ppid=779 vsize=451840 CPUtime=1481.93
/proc/781/stat : 781 (pbscip.linux.x8) R 779 781 754 0 -1 4202496 132978 0 0 0 148037 156 0 0 25 0 1 0 25497827 462684160 110285 1992294400 4194304 8395647 140736014865904 18446744073709551615 6635648 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/781/statm: 112960 110285 683 1026 0 111930 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 451840
[startup+1542.31 s]
/proc/loadavg: 1.00 0.97 0.86 2/107 828
/proc/meminfo: memFree=1343164/2059040 swapFree=4139712/4192956
[pid=781] ppid=779 vsize=451840 CPUtime=1541.92
/proc/781/stat : 781 (pbscip.linux.x8) R 779 781 754 0 -1 4202496 132978 0 0 0 154030 162 0 0 25 0 1 0 25497827 462684160 110285 1992294400 4194304 8395647 140736014865904 18446744073709551615 6692864 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/781/statm: 112960 110285 683 1026 0 111930 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 451840
[startup+1602.3 s]
/proc/loadavg: 1.00 0.97 0.87 2/107 830
/proc/meminfo: memFree=1343040/2059040 swapFree=4139712/4192956
[pid=781] ppid=779 vsize=451840 CPUtime=1601.9
/proc/781/stat : 781 (pbscip.linux.x8) R 779 781 754 0 -1 4202496 132980 0 0 0 160024 166 0 0 25 0 1 0 25497827 462684160 110287 1992294400 4194304 8395647 140736014865904 18446744073709551615 6502774 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/781/statm: 112960 110287 683 1026 0 111930 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 451840
[startup+1662.3 s]
/proc/loadavg: 1.00 0.97 0.87 2/107 832
/proc/meminfo: memFree=1343040/2059040 swapFree=4139712/4192956
[pid=781] ppid=779 vsize=451840 CPUtime=1661.88
/proc/781/stat : 781 (pbscip.linux.x8) R 779 781 754 0 -1 4202496 132980 0 0 0 166018 170 0 0 25 0 1 0 25497827 462684160 110287 1992294400 4194304 8395647 140736014865904 18446744073709551615 6701816 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/781/statm: 112960 110287 683 1026 0 111930 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 451840
[startup+1722.3 s]
/proc/loadavg: 1.00 0.97 0.88 2/107 832
/proc/meminfo: memFree=1343040/2059040 swapFree=4139712/4192956
[pid=781] ppid=779 vsize=451840 CPUtime=1721.88
/proc/781/stat : 781 (pbscip.linux.x8) R 779 781 754 0 -1 4202496 132982 0 0 0 172014 174 0 0 25 0 1 0 25497827 462684160 110289 1992294400 4194304 8395647 140736014865904 18446744073709551615 6697342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/781/statm: 112960 110289 685 1026 0 111930 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 451840
[startup+1782.3 s]
/proc/loadavg: 1.00 0.97 0.89 2/107 834
/proc/meminfo: memFree=1342792/2059040 swapFree=4139712/4192956
[pid=781] ppid=779 vsize=451840 CPUtime=1781.86
/proc/781/stat : 781 (pbscip.linux.x8) R 779 781 754 0 -1 4202496 132982 0 0 0 178009 177 0 0 25 0 1 0 25497827 462684160 110289 1992294400 4194304 8395647 140736014865904 18446744073709551615 6702059 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/781/statm: 112960 110289 685 1026 0 111930 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 451840
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 0.97 0.89 2/107 834
/proc/meminfo: memFree=1342792/2059040 swapFree=4139712/4192956
[pid=781] ppid=779 vsize=451840 CPUtime=1800.05
/proc/781/stat : 781 (pbscip.linux.x8) R 779 781 754 0 -1 4202496 132982 0 0 0 179827 178 0 0 25 0 1 0 25497827 462684160 110289 1992294400 4194304 8395647 140736014865904 18446744073709551615 6697959 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/781/statm: 112960 110289 685 1026 0 111930 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 451840
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -781
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 1.00 0.97 0.89 2/108 835
/proc/meminfo: memFree=1342784/2059040 swapFree=4139712/4192956
[pid=781] ppid=779 vsize=451840 CPUtime=1801.06
/proc/781/stat : 781 (pbscip.linux.x8) R 779 781 754 0 -1 4202496 132982 0 0 0 179927 179 0 0 25 0 1 0 25497827 462684160 110289 1992294400 4194304 8395647 140736014865904 18446744073709551615 6741401 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/781/statm: 112960 110289 685 1026 0 111930 0
Current children cumulated CPU time (s) 1801.06
Current children cumulated vsize (KiB) 451840
[startup+1802.3 s]
/proc/loadavg: 1.00 0.97 0.89 2/108 835
/proc/meminfo: memFree=1342784/2059040 swapFree=4139712/4192956
[pid=781] ppid=779 vsize=451840 CPUtime=1801.86
/proc/781/stat : 781 (pbscip.linux.x8) R 779 781 754 0 -1 4202496 132982 0 0 0 180007 179 0 0 25 0 1 0 25497827 462684160 110289 1992294400 4194304 8395647 140736014865904 18446744073709551615 6741786 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/781/statm: 112960 110289 685 1026 0 111930 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 451840
[startup+1802.5 s]
/proc/loadavg: 1.00 0.97 0.89 2/108 835
/proc/meminfo: memFree=1342784/2059040 swapFree=4139712/4192956
[pid=781] ppid=779 vsize=451840 CPUtime=1802.06
/proc/781/stat : 781 (pbscip.linux.x8) R 779 781 754 0 -1 4202496 132982 0 0 0 180027 179 0 0 25 0 1 0 25497827 462684160 110289 1992294400 4194304 8395647 140736014865904 18446744073709551615 6585873 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/781/statm: 112960 110289 685 1026 0 111930 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 451840
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.56
CPU time (s): 1802.12
CPU user time (s): 1800.28
CPU system time (s): 1.83672
CPU usage (%): 99.9758
Max. virtual memory (cumulated for all children) (KiB): 521908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.28
system time used= 1.83672
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132982
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 11856
runsolver used 3.04854 second user time and 8.44671 second system time
The end