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-2703282-1278578189.opb>
0.39/0.44 c original problem has 38460 variables (38460 bin, 0 int, 0 impl, 0 cont) and 38961 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.20/2.21 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1500 upgd conss, 298608 impls, 1000 clqs
4.40/4.46 c (4.0s) probing: 101/38460 (0.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
4.40/4.46 c (4.0s) probing aborted: 100/100 successive totally useless probings
4.40/4.47 c presolving (2 rounds):
4.40/4.47 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
4.40/4.47 c 298608 implications, 1000 cliques
4.40/4.47 c presolved problem has 38460 variables (38460 bin, 0 int, 0 impl, 0 cont) and 38961 constraints
4.40/4.47 c 1500 constraints of type <setppc>
4.40/4.47 c 37460 constraints of type <and>
4.40/4.47 c 1 constraints of type <linear>
4.40/4.47 c transformed objective value is always integral (scale: 1)
4.40/4.47 c Presolving Time: 3.78
4.40/4.47 c - non default parameters ----------------------------------------------------------------------
4.40/4.47 c # SCIP version 1.2.1.3
4.40/4.47 c
4.40/4.47 c # frequency for displaying node information lines
4.40/4.47 c # [type: int, range: [-1,2147483647], default: 100]
4.40/4.47 c display/freq = 10000
4.40/4.47 c
4.40/4.47 c # maximal time in seconds to run
4.40/4.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.40/4.47 c limits/time = 1789.57
4.40/4.47 c
4.40/4.47 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.40/4.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.40/4.47 c limits/memory = 1620
4.40/4.47 c
4.40/4.47 c # default clock type (1: CPU user seconds, 2: wall clock time)
4.40/4.47 c # [type: int, range: [1,2], default: 1]
4.40/4.47 c timing/clocktype = 2
4.40/4.47 c
4.40/4.47 c # should presolving try to simplify inequalities
4.40/4.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.40/4.47 c constraints/linear/simplifyinequalities = TRUE
4.40/4.47 c
4.40/4.47 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
4.40/4.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.40/4.47 c constraints/indicator/addCouplingCons = TRUE
4.40/4.47 c
4.40/4.47 c # should presolving try to simplify knapsacks
4.40/4.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.40/4.47 c constraints/knapsack/simplifyinequalities = TRUE
4.40/4.47 c
4.40/4.47 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
4.40/4.47 c # [type: int, range: [-1,2147483647], default: -1]
4.40/4.47 c heuristics/undercover/freq = 0
4.40/4.47 c
4.40/4.47 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
4.40/4.47 c # [type: int, range: [-1,2147483647], default: -1]
4.40/4.47 c separating/rapidlearning/freq = 0
4.40/4.47 c
4.40/4.47 c -----------------------------------------------------------------------------------------------
4.40/4.47 c start solving
4.49/4.51 c
616.63/616.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
616.63/616.85 c t 616s| 1 | 0 | 24117 | - | 175M| 0 | 19k| 38k| 38k| 38k| 76k| 0 | 0 | 0 |-2.500000e+02 | 0.000000e+00 | 100.00%
616.94/617.18 o -7
616.94/617.18 c s 617s| 1 | 0 | 24117 | - | 177M| 0 | 19k| 38k| 38k| 38k| 76k| 0 | 0 | 0 |-2.500000e+02 |-7.000000e+00 | 97.20%
734.89/735.11 c 735s| 1 | 0 | 26031 | - | 185M| 0 | 19k| 38k| 38k| 38k| 76k| 36 | 1 | 0 |-2.500000e+02 |-7.000000e+00 | 97.20%
735.39/735.62 o -8
735.39/735.62 c s 735s| 1 | 0 | 26031 | - | 186M| 0 | 19k| 38k| 38k| 38k| 76k| 36 | 1 | 0 |-2.500000e+02 |-8.000000e+00 | 96.80%
831.67/831.91 c 831s| 1 | 0 | 27743 | - | 186M| 0 | 19k| 38k| 38k| 38k| 76k| 47 | 1 | 0 |-2.500000e+02 |-8.000000e+00 | 96.80%
934.44/934.78 c 934s| 1 | 0 | 29656 | - | 186M| 0 | 19k| 38k| 38k| 38k| 76k| 55 | 1 | 0 |-2.500000e+02 |-8.000000e+00 | 96.80%
1049.71/1050.03 c 1050s| 1 | 0 | 31885 | - | 187M| 0 | 19k| 38k| 38k| 38k| 76k| 62 | 1 | 0 |-2.500000e+02 |-8.000000e+00 | 96.80%
1127.21/1127.53 c 1127s| 1 | 0 | 32886 | - | 187M| 0 | 19k| 38k| 38k| 38k| 76k| 71 | 1 | 0 |-2.500000e+02 |-8.000000e+00 | 96.80%
1127.60/1127.98 o -9
1127.60/1127.98 c s1128s| 1 | 0 | 32886 | - | 188M| 0 | 19k| 38k| 38k| 38k| 76k| 71 | 1 | 0 |-2.500000e+02 |-9.000000e+00 | 96.40%
1284.96/1285.31 c 1285s| 1 | 0 | 36356 | - | 188M| 0 | 19k| 38k| 38k| 38k| 76k| 77 | 1 | 0 |-2.500000e+02 |-9.000000e+00 | 96.40%
1800.02/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-2703282-1278578189/watcher-2703282-1278578189 -o /tmp/evaluation-result-2703282-1278578189/solver-2703282-1278578189 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703282-1278578189.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 0.92 3/106 30129
/proc/meminfo: memFree=1826996/2059040 swapFree=4122420/4192956
[pid=30129] ppid=30127 vsize=7904 CPUtime=0
/proc/30129/stat : 30129 (pbscip.linux.x8) R 30127 30129 29651 0 -1 4202496 1028 0 0 0 0 0 0 0 20 0 1 0 26031917 8093696 939 1992294400 4194304 8395647 140734248809808 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30129/statm: 1976 947 365 1026 0 946 0
[startup+0.0438441 s]
/proc/loadavg: 1.00 1.00 0.92 3/106 30129
/proc/meminfo: memFree=1826996/2059040 swapFree=4122420/4192956
[pid=30129] ppid=30127 vsize=16648 CPUtime=0.03
/proc/30129/stat : 30129 (pbscip.linux.x8) R 30127 30129 29651 0 -1 4202496 3394 0 0 0 3 0 0 0 20 0 1 0 26031917 17047552 3305 1992294400 4194304 8395647 140734248809808 18446744073709551615 5758126 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30129/statm: 4162 3305 393 1026 0 3132 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 16648
[startup+0.100848 s]
/proc/loadavg: 1.00 1.00 0.92 3/106 30129
/proc/meminfo: memFree=1826996/2059040 swapFree=4122420/4192956
[pid=30129] ppid=30127 vsize=24116 CPUtime=0.09
/proc/30129/stat : 30129 (pbscip.linux.x8) R 30127 30129 29651 0 -1 4202496 5283 0 0 0 8 1 0 0 20 0 1 0 26031917 24694784 5194 1992294400 4194304 8395647 140734248809808 18446744073709551615 6348906 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30129/statm: 6029 5194 393 1026 0 4999 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24116
[startup+0.300868 s]
/proc/loadavg: 1.00 1.00 0.92 3/106 30129
/proc/meminfo: memFree=1826996/2059040 swapFree=4122420/4192956
[pid=30129] ppid=30127 vsize=44904 CPUtime=0.29
/proc/30129/stat : 30129 (pbscip.linux.x8) R 30127 30129 29651 0 -1 4202496 10503 0 0 0 26 3 0 0 20 0 1 0 26031917 45981696 10414 1992294400 4194304 8395647 140734248809808 18446744073709551615 6765573 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30129/statm: 11226 10414 393 1026 0 10196 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44904
[startup+0.700907 s]
/proc/loadavg: 1.00 1.00 0.92 3/106 30129
/proc/meminfo: memFree=1826996/2059040 swapFree=4122420/4192956
[pid=30129] ppid=30127 vsize=106260 CPUtime=0.69
/proc/30129/stat : 30129 (pbscip.linux.x8) R 30127 30129 29651 0 -1 4202496 26165 0 0 0 61 8 0 0 21 0 1 0 26031917 108810240 25648 1992294400 4194304 8395647 140734248809808 18446744073709551615 4604681 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30129/statm: 26565 25648 430 1026 0 25535 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 106260
[startup+1.50099 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30130
/proc/meminfo: memFree=1720472/2059040 swapFree=4122420/4192956
[pid=30129] ppid=30127 vsize=122296 CPUtime=1.49
/proc/30129/stat : 30129 (pbscip.linux.x8) R 30127 30129 29651 0 -1 4202496 29955 0 0 0 140 9 0 0 23 0 1 0 26031917 125231104 29438 1992294400 4194304 8395647 140734248809808 18446744073709551615 18446744073699066034 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30129/statm: 30574 29438 461 1026 0 29544 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 122296
[startup+3.10115 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30130
/proc/meminfo: memFree=1697160/2059040 swapFree=4122420/4192956
[pid=30129] ppid=30127 vsize=144544 CPUtime=3.09
/proc/30129/stat : 30129 (pbscip.linux.x8) R 30127 30129 29651 0 -1 4202496 36412 0 0 0 298 11 0 0 25 0 1 0 26031917 148013056 35141 1992294400 4194304 8395647 140734248809808 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30129/statm: 36136 35141 602 1026 0 35106 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 144544
[startup+6.30046 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30130
/proc/meminfo: memFree=1561008/2059040 swapFree=4122420/4192956
[pid=30129] ppid=30127 vsize=292676 CPUtime=6.29
/proc/30129/stat : 30129 (pbscip.linux.x8) R 30127 30129 29651 0 -1 4202496 70769 0 0 0 606 23 0 0 25 0 1 0 26031917 299700224 67305 1992294400 4194304 8395647 140734248809808 18446744073709551615 6696700 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30129/statm: 73169 67305 658 1026 0 72139 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 292676
[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30130
/proc/meminfo: memFree=1539184/2059040 swapFree=4122420/4192956
[pid=30129] ppid=30127 vsize=309524 CPUtime=12.69
/proc/30129/stat : 30129 (pbscip.linux.x8) R 30127 30129 29651 0 -1 4202496 76469 0 0 0 1242 27 0 0 25 0 1 0 26031917 316952576 72692 1992294400 4194304 8395647 140734248809808 18446744073709551615 6697974 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30129/statm: 77381 72692 1051 1026 0 76351 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 309524
[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30130
/proc/meminfo: memFree=1527032/2059040 swapFree=4122420/4192956
[pid=30129] ppid=30127 vsize=317512 CPUtime=25.49
/proc/30129/stat : 30129 (pbscip.linux.x8) R 30127 30129 29651 0 -1 4202496 79816 0 0 0 2518 31 0 0 25 0 1 0 26031917 325132288 75418 1992294400 4194304 8395647 140734248809808 18446744073709551615 6700384 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30129/statm: 79378 75418 717 1026 0 78348 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 317512
[startup+51.1009 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30130
/proc/meminfo: memFree=1513888/2059040 swapFree=4122420/4192956
[pid=30129] ppid=30127 vsize=328020 CPUtime=51.07
/proc/30129/stat : 30129 (pbscip.linux.x8) R 30127 30129 29651 0 -1 4202496 83210 0 0 0 5073 34 0 0 25 0 1 0 26031917 335892480 78638 1992294400 4194304 8395647 140734248809808 18446744073709551615 6697359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30129/statm: 82005 78638 685 1026 0 80975 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 328020
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30132
/proc/meminfo: memFree=1506696/2059040 swapFree=4122420/4192956
[pid=30129] ppid=30127 vsize=334220 CPUtime=102.26
/proc/30129/stat : 30129 (pbscip.linux.x8) R 30127 30129 29651 0 -1 4202496 85000 0 0 0 10189 37 0 0 25 0 1 0 26031917 342241280 80421 1992294400 4194304 8395647 140734248809808 18446744073709551615 6697279 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30129/statm: 83555 80421 685 1026 0 82525 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 334220
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30134
/proc/meminfo: memFree=1506572/2059040 swapFree=4122420/4192956
[pid=30129] ppid=30127 vsize=334220 CPUtime=162.24
/proc/30129/stat : 30129 (pbscip.linux.x8) R 30127 30129 29651 0 -1 4202496 85043 0 0 0 16181 43 0 0 25 0 1 0 26031917 342241280 80432 1992294400 4194304 8395647 140734248809808 18446744073709551615 6663843 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30129/statm: 83555 80432 653 1026 0 82525 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 334220
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30136
/proc/meminfo: memFree=1516120/2059040 swapFree=4122420/4192956
[pid=30129] ppid=30127 vsize=329556 CPUtime=222.23
/proc/30129/stat : 30129 (pbscip.linux.x8) R 30127 30129 29651 0 -1 4202496 89437 0 0 0 22175 48 0 0 25 0 1 0 26031917 337465344 77970 1992294400 4194304 8395647 140734248809808 18446744073709551615 6697246 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30129/statm: 82389 77970 612 1026 0 81359 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 329556
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30136
/proc/meminfo: memFree=1514260/2059040 swapFree=4122420/4192956
[pid=30129] ppid=30127 vsize=337256 CPUtime=282.21
/proc/30129/stat : 30129 (pbscip.linux.x8) R 30127 30129 29651 0 -1 4202496 89913 0 0 0 28169 52 0 0 25 0 1 0 26031917 345350144 78426 1992294400 4194304 8395647 140734248809808 18446744073709551615 6697351 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30129/statm: 84314 78426 592 1026 0 83284 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 337256
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30138
/proc/meminfo: memFree=1514136/2059040 swapFree=4122420/4192956
[pid=30129] ppid=30127 vsize=337256 CPUtime=342.19
/proc/30129/stat : 30129 (pbscip.linux.x8) R 30127 30129 29651 0 -1 4202496 89940 0 0 0 34165 54 0 0 25 0 1 0 26031917 345350144 78453 1992294400 4194304 8395647 140734248809808 18446744073709551615 6636342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30129/statm: 84314 78453 592 1026 0 83284 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 337256
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30140
/proc/meminfo: memFree=1500868/2059040 swapFree=4122420/4192956
[pid=30129] ppid=30127 vsize=340944 CPUtime=402.18
/proc/30129/stat : 30129 (pbscip.linux.x8) R 30127 30129 29651 0 -1 4202496 93388 0 0 0 40159 59 0 0 25 0 1 0 26031917 349126656 81828 1992294400 4194304 8395647 140734248809808 18446744073709551615 6696066 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30129/statm: 85236 81828 642 1026 0 84206 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 340944
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30142
/proc/meminfo: memFree=1500744/2059040 swapFree=4122420/4192956
[pid=30129] ppid=30127 vsize=340944 CPUtime=462.16
/proc/30129/stat : 30129 (pbscip.linux.x8) R 30127 30129 29651 0 -1 4202496 93430 0 0 0 46154 62 0 0 25 0 1 0 26031917 349126656 81831 1992294400 4194304 8395647 140734248809808 18446744073709551615 6696991 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30129/statm: 85236 81831 603 1026 0 84206 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 340944
[startup+522.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30143
/proc/meminfo: memFree=1500620/2059040 swapFree=4122420/4192956
[pid=30129] ppid=30127 vsize=340944 CPUtime=522.15
/proc/30129/stat : 30129 (pbscip.linux.x8) R 30127 30129 29651 0 -1 4202496 93436 0 0 0 52149 66 0 0 25 0 1 0 26031917 349126656 81833 1992294400 4194304 8395647 140734248809808 18446744073709551615 6698051 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30129/statm: 85236 81833 599 1026 0 84206 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 340944
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30144
/proc/meminfo: memFree=1500620/2059040 swapFree=4122420/4192956
[pid=30129] ppid=30127 vsize=340944 CPUtime=582.14
/proc/30129/stat : 30129 (pbscip.linux.x8) R 30127 30129 29651 0 -1 4202496 93444 0 0 0 58144 70 0 0 25 0 1 0 26031917 349126656 81834 1992294400 4194304 8395647 140734248809808 18446744073709551615 6670348 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30129/statm: 85236 81834 592 1026 0 84206 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 340944
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30146
/proc/meminfo: memFree=1355912/2059040 swapFree=4122420/4192956
[pid=30129] ppid=30127 vsize=487460 CPUtime=642.12
/proc/30129/stat : 30129 (pbscip.linux.x8) R 30127 30129 29651 0 -1 4202496 138536 0 0 0 64113 99 0 0 25 0 1 0 26031917 499159040 117941 1992294400 4194304 8395647 140734248809808 18446744073709551615 6440954 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30129/statm: 121865 117941 613 1026 0 120835 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 487460
[startup+702.301 s]
################
# More data... #
################
/proc/30129/stat : 30129 (pbscip.linux.x8) R 30127 30129 29651 0 -1 4202496 139894 0 0 0 106080 121 0 0 25 0 1 0 26031917 499159040 119096 1992294400 4194304 8395647 140734248809808 18446744073709551615 6440602 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30129/statm: 121865 119096 636 1026 0 120835 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 487460
[startup+1122.3 s]
/proc/loadavg: 1.07 1.03 0.94 2/107 30160
/proc/meminfo: memFree=1351076/2059040 swapFree=4122420/4192956
[pid=30129] ppid=30127 vsize=487460 CPUtime=1121.99
/proc/30129/stat : 30129 (pbscip.linux.x8) R 30127 30129 29651 0 -1 4202496 139896 0 0 0 112075 124 0 0 25 0 1 0 26031917 499159040 119098 1992294400 4194304 8395647 140734248809808 18446744073709551615 6702097 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30129/statm: 121865 119098 636 1026 0 120835 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 487460
[startup+1182.3 s]
/proc/loadavg: 1.07 1.04 0.94 2/107 30160
/proc/meminfo: memFree=1350828/2059040 swapFree=4122420/4192956
[pid=30129] ppid=30127 vsize=487460 CPUtime=1181.98
/proc/30129/stat : 30129 (pbscip.linux.x8) R 30127 30129 29651 0 -1 4202496 139965 0 0 0 118070 128 0 0 25 0 1 0 26031917 499159040 119167 1992294400 4194304 8395647 140734248809808 18446744073709551615 6693776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30129/statm: 121865 119167 636 1026 0 120835 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 487460
[startup+1242.3 s]
/proc/loadavg: 1.06 1.04 0.95 2/107 30162
/proc/meminfo: memFree=1350704/2059040 swapFree=4122420/4192956
[pid=30129] ppid=30127 vsize=487460 CPUtime=1241.97
/proc/30129/stat : 30129 (pbscip.linux.x8) R 30127 30129 29651 0 -1 4202496 139965 0 0 0 124065 132 0 0 25 0 1 0 26031917 499159040 119167 1992294400 4194304 8395647 140734248809808 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30129/statm: 121865 119167 636 1026 0 120835 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 487460
[startup+1302.3 s]
/proc/loadavg: 1.06 1.04 0.95 2/107 30164
/proc/meminfo: memFree=1350580/2059040 swapFree=4122420/4192956
[pid=30129] ppid=30127 vsize=487460 CPUtime=1301.96
/proc/30129/stat : 30129 (pbscip.linux.x8) R 30127 30129 29651 0 -1 4202496 139967 0 0 0 130061 135 0 0 25 0 1 0 26031917 499159040 119169 1992294400 4194304 8395647 140734248809808 18446744073709551615 6702012 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30129/statm: 121865 119169 638 1026 0 120835 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 487460
[startup+1362.3 s]
/proc/loadavg: 1.06 1.05 0.96 2/107 30166
/proc/meminfo: memFree=1350456/2059040 swapFree=4122420/4192956
[pid=30129] ppid=30127 vsize=487460 CPUtime=1361.93
/proc/30129/stat : 30129 (pbscip.linux.x8) R 30127 30129 29651 0 -1 4202496 139967 0 0 0 136056 137 0 0 25 0 1 0 26031917 499159040 119169 1992294400 4194304 8395647 140734248809808 18446744073709551615 6741236 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30129/statm: 121865 119169 638 1026 0 120835 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 487460
[startup+1422.31 s]
/proc/loadavg: 1.10 1.07 0.97 2/107 30168
/proc/meminfo: memFree=1350456/2059040 swapFree=4122420/4192956
[pid=30129] ppid=30127 vsize=487460 CPUtime=1421.93
/proc/30129/stat : 30129 (pbscip.linux.x8) R 30127 30129 29651 0 -1 4202496 139967 0 0 0 142052 141 0 0 25 0 1 0 26031917 499159040 119169 1992294400 4194304 8395647 140734248809808 18446744073709551615 6693026 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30129/statm: 121865 119169 638 1026 0 120835 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 487460
[startup+1482.3 s]
/proc/loadavg: 1.03 1.05 0.97 2/107 30177
/proc/meminfo: memFree=1349820/2059040 swapFree=4122420/4192956
[pid=30129] ppid=30127 vsize=487460 CPUtime=1481.89
/proc/30129/stat : 30129 (pbscip.linux.x8) R 30127 30129 29651 0 -1 4202496 139967 0 0 0 148044 145 0 0 25 0 1 0 26031917 499159040 119169 1992294400 4194304 8395647 140734248809808 18446744073709551615 6636387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30129/statm: 121865 119169 638 1026 0 120835 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 487460
[startup+1542.3 s]
/proc/loadavg: 1.01 1.04 0.97 2/107 30179
/proc/meminfo: memFree=1349836/2059040 swapFree=4122420/4192956
[pid=30129] ppid=30127 vsize=487460 CPUtime=1541.88
/proc/30129/stat : 30129 (pbscip.linux.x8) R 30127 30129 29651 0 -1 4202496 139967 0 0 0 154040 148 0 0 25 0 1 0 26031917 499159040 119169 1992294400 4194304 8395647 140734248809808 18446744073709551615 6636387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30129/statm: 121865 119169 638 1026 0 120835 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 487460
[startup+1602.3 s]
/proc/loadavg: 1.00 1.03 0.97 2/107 30181
/proc/meminfo: memFree=1349836/2059040 swapFree=4122420/4192956
[pid=30129] ppid=30127 vsize=487460 CPUtime=1601.86
/proc/30129/stat : 30129 (pbscip.linux.x8) R 30127 30129 29651 0 -1 4202496 139967 0 0 0 160035 151 0 0 25 0 1 0 26031917 499159040 119169 1992294400 4194304 8395647 140734248809808 18446744073709551615 6670348 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30129/statm: 121865 119169 638 1026 0 120835 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 487460
[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 0.97 2/107 30183
/proc/meminfo: memFree=1349960/2059040 swapFree=4122420/4192956
[pid=30129] ppid=30127 vsize=487460 CPUtime=1661.85
/proc/30129/stat : 30129 (pbscip.linux.x8) R 30127 30129 29651 0 -1 4202496 139967 0 0 0 166032 153 0 0 25 0 1 0 26031917 499159040 119169 1992294400 4194304 8395647 140734248809808 18446744073709551615 6702080 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30129/statm: 121865 119169 638 1026 0 120835 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 487460
[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 0.97 2/107 30184
/proc/meminfo: memFree=1349836/2059040 swapFree=4122420/4192956
[pid=30129] ppid=30127 vsize=487460 CPUtime=1721.83
/proc/30129/stat : 30129 (pbscip.linux.x8) R 30127 30129 29651 0 -1 4202496 139967 0 0 0 172027 156 0 0 25 0 1 0 26031917 499159040 119169 1992294400 4194304 8395647 140734248809808 18446744073709551615 6702063 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30129/statm: 121865 119169 638 1026 0 120835 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 487460
[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 0.97 2/107 30185
/proc/meminfo: memFree=1349588/2059040 swapFree=4122420/4192956
[pid=30129] ppid=30127 vsize=487460 CPUtime=1781.81
/proc/30129/stat : 30129 (pbscip.linux.x8) R 30127 30129 29651 0 -1 4202496 139967 0 0 0 178022 159 0 0 25 0 1 0 26031917 499159040 119169 1992294400 4194304 8395647 140734248809808 18446744073709551615 6664892 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30129/statm: 121865 119169 638 1026 0 120835 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 487460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.01 0.97 2/107 30187
/proc/meminfo: memFree=1349588/2059040 swapFree=4122420/4192956
[pid=30129] ppid=30127 vsize=487460 CPUtime=1800.02
/proc/30129/stat : 30129 (pbscip.linux.x8) R 30127 30129 29651 0 -1 4202496 139967 0 0 0 179842 160 0 0 25 0 1 0 26031917 499159040 119169 1992294400 4194304 8395647 140734248809808 18446744073709551615 6754703 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30129/statm: 121865 119169 638 1026 0 120835 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 487460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -30129
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.01 0.97 2/108 30188
/proc/meminfo: memFree=1349580/2059040 swapFree=4122420/4192956
[pid=30129] ppid=30127 vsize=487460 CPUtime=1800.91
/proc/30129/stat : 30129 (pbscip.linux.x8) R 30127 30129 29651 0 -1 4202496 139967 0 0 0 179931 160 0 0 25 0 1 0 26031917 499159040 119169 1992294400 4194304 8395647 140734248809808 18446744073709551615 6746628 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30129/statm: 121865 119169 638 1026 0 120835 0
Current children cumulated CPU time (s) 1800.91
Current children cumulated vsize (KiB) 487460
[startup+1802.2 s]
/proc/loadavg: 1.00 1.01 0.97 2/108 30188
/proc/meminfo: memFree=1349580/2059040 swapFree=4122420/4192956
[pid=30129] ppid=30127 vsize=487460 CPUtime=1801.71
/proc/30129/stat : 30129 (pbscip.linux.x8) R 30127 30129 29651 0 -1 4202496 139967 0 0 0 180011 160 0 0 25 0 1 0 26031917 499159040 119169 1992294400 4194304 8395647 140734248809808 18446744073709551615 6697268 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30129/statm: 121865 119169 638 1026 0 120835 0
Current children cumulated CPU time (s) 1801.71
Current children cumulated vsize (KiB) 487460
[startup+1802.4 s]
/proc/loadavg: 1.00 1.01 0.97 2/108 30188
/proc/meminfo: memFree=1349580/2059040 swapFree=4122420/4192956
[pid=30129] ppid=30127 vsize=487460 CPUtime=1801.91
/proc/30129/stat : 30129 (pbscip.linux.x8) R 30127 30129 29651 0 -1 4202496 139967 0 0 0 180031 160 0 0 25 0 1 0 26031917 499159040 119169 1992294400 4194304 8395647 140734248809808 18446744073709551615 6652543 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30129/statm: 121865 119169 638 1026 0 120835 0
Current children cumulated CPU time (s) 1801.91
Current children cumulated vsize (KiB) 487460
[startup+1802.5 s]
/proc/loadavg: 1.00 1.01 0.97 2/108 30188
/proc/meminfo: memFree=1349580/2059040 swapFree=4122420/4192956
[pid=30129] ppid=30127 vsize=487460 CPUtime=1802.01
/proc/30129/stat : 30129 (pbscip.linux.x8) R 30127 30129 29651 0 -1 4202496 139967 0 0 0 180041 160 0 0 25 0 1 0 26031917 499159040 119169 1992294400 4194304 8395647 140734248809808 18446744073709551615 6697250 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30129/statm: 121865 119169 638 1026 0 120835 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 487460
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.56
CPU time (s): 1802.08
CPU user time (s): 1800.42
CPU system time (s): 1.65275
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 525836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.42
system time used= 1.65275
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139967
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= 3223
runsolver used 3.13652 second user time and 8.35173 second system time
The end