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-2703298-1278572898.opb>
0.39/0.45 c original problem has 38500 variables (38500 bin, 0 int, 0 impl, 0 cont) and 39001 constraints
0.39/0.45 c problem read
0.39/0.45 c presolving settings loaded
0.89/0.97 o 0
0.89/0.97 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.89/0.97 c presolving:
2.20/2.23 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1500 upgd conss, 300136 impls, 1000 clqs
4.40/4.49 c (4.0s) probing: 101/38500 (0.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
4.40/4.49 c (4.0s) probing aborted: 100/100 successive totally useless probings
4.40/4.49 c presolving (2 rounds):
4.40/4.49 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
4.40/4.49 c 300136 implications, 1000 cliques
4.40/4.49 c presolved problem has 38500 variables (38500 bin, 0 int, 0 impl, 0 cont) and 39001 constraints
4.40/4.49 c 1500 constraints of type <setppc>
4.40/4.49 c 37500 constraints of type <and>
4.40/4.49 c 1 constraints of type <linear>
4.40/4.49 c transformed objective value is always integral (scale: 1)
4.40/4.49 c Presolving Time: 3.80
4.40/4.49 c - non default parameters ----------------------------------------------------------------------
4.40/4.49 c # SCIP version 1.2.1.3
4.40/4.49 c
4.40/4.49 c # frequency for displaying node information lines
4.40/4.49 c # [type: int, range: [-1,2147483647], default: 100]
4.40/4.49 c display/freq = 10000
4.40/4.49 c
4.40/4.49 c # maximal time in seconds to run
4.40/4.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.40/4.49 c limits/time = 1789.56
4.40/4.49 c
4.40/4.49 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.40/4.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.40/4.49 c limits/memory = 1620
4.40/4.49 c
4.40/4.49 c # default clock type (1: CPU user seconds, 2: wall clock time)
4.40/4.49 c # [type: int, range: [1,2], default: 1]
4.40/4.49 c timing/clocktype = 2
4.40/4.49 c
4.40/4.49 c # should presolving try to simplify inequalities
4.40/4.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.40/4.49 c constraints/linear/simplifyinequalities = TRUE
4.40/4.49 c
4.40/4.49 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
4.40/4.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.40/4.49 c constraints/indicator/addCouplingCons = TRUE
4.40/4.49 c
4.40/4.49 c # should presolving try to simplify knapsacks
4.40/4.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.40/4.49 c constraints/knapsack/simplifyinequalities = TRUE
4.40/4.49 c
4.40/4.49 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
4.40/4.49 c # [type: int, range: [-1,2147483647], default: -1]
4.40/4.49 c heuristics/undercover/freq = 0
4.40/4.49 c
4.40/4.49 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
4.40/4.49 c # [type: int, range: [-1,2147483647], default: -1]
4.40/4.49 c separating/rapidlearning/freq = 0
4.40/4.49 c
4.40/4.49 c -----------------------------------------------------------------------------------------------
4.40/4.49 c start solving
4.49/4.53 c
730.13/730.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
730.13/730.33 c t 730s| 1 | 0 | 30749 | - | 176M| 0 | 19k| 38k| 39k| 38k| 76k| 0 | 0 | 0 |-2.500000e+02 | 0.000000e+00 | 100.00%
730.52/730.73 o -6
730.52/730.73 c s 730s| 1 | 0 | 30749 | - | 177M| 0 | 19k| 38k| 39k| 38k| 76k| 0 | 0 | 0 |-2.500000e+02 |-6.000000e+00 | 97.60%
896.88/897.19 c 897s| 1 | 0 | 34501 | - | 185M| 0 | 19k| 38k| 39k| 38k| 76k| 64 | 1 | 0 |-2.500000e+02 |-6.000000e+00 | 97.60%
1050.34/1050.69 c 1050s| 1 | 0 | 38189 | - | 185M| 0 | 19k| 38k| 39k| 38k| 76k| 81 | 1 | 0 |-2.500000e+02 |-6.000000e+00 | 97.60%
1161.02/1161.37 c 1161s| 1 | 0 | 40356 | - | 186M| 0 | 19k| 38k| 39k| 38k| 76k| 91 | 1 | 0 |-2.500000e+02 |-6.000000e+00 | 97.60%
1161.42/1161.76 o -6
1161.42/1161.76 c s1161s| 1 | 0 | 40356 | - | 186M| 0 | 19k| 38k| 39k| 38k| 76k| 91 | 1 | 0 |-2.500000e+02 |-6.000000e+00 | 97.60%
1415.55/1415.99 c 1416s| 1 | 0 | 46989 | - | 186M| 0 | 19k| 38k| 39k| 38k| 76k| 99 | 1 | 0 |-2.500000e+02 |-6.000000e+00 | 97.60%
1533.04/1533.45 c 1533s| 1 | 0 | 49261 | - | 186M| 0 | 19k| 38k| 39k| 38k| 76k| 113 | 1 | 0 |-2.500000e+02 |-6.000000e+00 | 97.60%
1652.60/1653.01 c 1653s| 1 | 0 | 51543 | - | 186M| 0 | 19k| 38k| 39k| 38k| 76k| 120 | 1 | 0 |-2.500000e+02 |-6.000000e+00 | 97.60%
1800.07/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-2703298-1278572898/watcher-2703298-1278572898 -o /tmp/evaluation-result-2703298-1278572898/solver-2703298-1278572898 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703298-1278572898.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.44 3/106 29953
/proc/meminfo: memFree=1815732/2059040 swapFree=4139724/4192956
[pid=29953] ppid=29951 vsize=7904 CPUtime=0
/proc/29953/stat : 29953 (pbscip.linux.x8) R 29951 29953 29926 0 -1 4202496 1051 0 0 0 0 0 0 0 20 0 1 0 25500485 8093696 962 1992294400 4194304 8395647 140737202219936 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29953/statm: 1976 972 365 1026 0 946 0
[startup+0.035825 s]
/proc/loadavg: 0.00 0.08 0.44 3/106 29953
/proc/meminfo: memFree=1815732/2059040 swapFree=4139724/4192956
[pid=29953] ppid=29951 vsize=15380 CPUtime=0.03
/proc/29953/stat : 29953 (pbscip.linux.x8) R 29951 29953 29926 0 -1 4202496 3070 0 0 0 2 1 0 0 20 0 1 0 25500485 15749120 2981 1992294400 4194304 8395647 140737202219936 18446744073709551615 4245989 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29953/statm: 3845 2981 393 1026 0 2815 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 15380
[startup+0.10083 s]
/proc/loadavg: 0.00 0.08 0.44 3/106 29953
/proc/meminfo: memFree=1815732/2059040 swapFree=4139724/4192956
[pid=29953] ppid=29951 vsize=24120 CPUtime=0.09
/proc/29953/stat : 29953 (pbscip.linux.x8) R 29951 29953 29926 0 -1 4202496 5281 0 0 0 8 1 0 0 20 0 1 0 25500485 24698880 5192 1992294400 4194304 8395647 140737202219936 18446744073709551615 4327576 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29953/statm: 6030 5192 393 1026 0 5000 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24120
[startup+0.300847 s]
/proc/loadavg: 0.00 0.08 0.44 3/106 29953
/proc/meminfo: memFree=1815732/2059040 swapFree=4139724/4192956
[pid=29953] ppid=29951 vsize=43964 CPUtime=0.29
/proc/29953/stat : 29953 (pbscip.linux.x8) R 29951 29953 29926 0 -1 4202496 10266 0 0 0 26 3 0 0 20 0 1 0 25500485 45019136 10177 1992294400 4194304 8395647 140737202219936 18446744073709551615 4327542 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29953/statm: 10991 10177 393 1026 0 9961 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43964
[startup+0.700882 s]
/proc/loadavg: 0.00 0.08 0.44 3/106 29953
/proc/meminfo: memFree=1815732/2059040 swapFree=4139724/4192956
[pid=29953] ppid=29951 vsize=105860 CPUtime=0.69
/proc/29953/stat : 29953 (pbscip.linux.x8) R 29951 29953 29926 0 -1 4202496 26065 0 0 0 60 9 0 0 21 0 1 0 25500485 108400640 25548 1992294400 4194304 8395647 140737202219936 18446744073709551615 4449039 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29953/statm: 26465 25548 420 1026 0 25435 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 105860
[startup+1.50095 s]
/proc/loadavg: 0.00 0.08 0.44 2/107 29954
/proc/meminfo: memFree=1709332/2059040 swapFree=4139724/4192956
[pid=29953] ppid=29951 vsize=122112 CPUtime=1.49
/proc/29953/stat : 29953 (pbscip.linux.x8) R 29951 29953 29926 0 -1 4202496 29911 0 0 0 139 10 0 0 23 0 1 0 25500485 125042688 29394 1992294400 4194304 8395647 140737202219936 18446744073709551615 4440217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29953/statm: 30528 29394 461 1026 0 29498 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 122112
[startup+3.10109 s]
/proc/loadavg: 0.00 0.08 0.44 2/107 29954
/proc/meminfo: memFree=1688004/2059040 swapFree=4139724/4192956
[pid=29953] ppid=29951 vsize=142876 CPUtime=3.09
/proc/29953/stat : 29953 (pbscip.linux.x8) R 29951 29953 29926 0 -1 4202496 36013 0 0 0 297 12 0 0 25 0 1 0 25500485 146305024 34726 1992294400 4194304 8395647 140737202219936 18446744073709551615 5026483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29953/statm: 35719 34726 586 1026 0 34689 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 142876
[startup+6.30136 s]
/proc/loadavg: 0.08 0.09 0.44 2/107 29954
/proc/meminfo: memFree=1550488/2059040 swapFree=4139724/4192956
[pid=29953] ppid=29951 vsize=291908 CPUtime=6.29
/proc/29953/stat : 29953 (pbscip.linux.x8) R 29951 29953 29926 0 -1 4202496 70538 0 0 0 606 23 0 0 25 0 1 0 25500485 298913792 67071 1992294400 4194304 8395647 140737202219936 18446744073709551615 6752903 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29953/statm: 72977 67071 653 1026 0 71947 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 291908
[startup+12.7009 s]
/proc/loadavg: 0.15 0.11 0.45 2/107 29954
/proc/meminfo: memFree=1528416/2059040 swapFree=4139724/4192956
[pid=29953] ppid=29951 vsize=309304 CPUtime=12.69
/proc/29953/stat : 29953 (pbscip.linux.x8) R 29951 29953 29926 0 -1 4202496 76457 0 0 0 1242 27 0 0 25 0 1 0 25500485 316727296 72597 1992294400 4194304 8395647 140737202219936 18446744073709551615 6700739 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29953/statm: 77326 72597 1009 1026 0 76296 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 309304
[startup+25.501 s]
/proc/loadavg: 0.34 0.15 0.45 3/107 29955
/proc/meminfo: memFree=1515768/2059040 swapFree=4139724/4192956
[pid=29953] ppid=29951 vsize=314988 CPUtime=25.48
/proc/29953/stat : 29953 (pbscip.linux.x8) R 29951 29953 29926 0 -1 4202496 79580 0 0 0 2517 31 0 0 25 0 1 0 25500485 322547712 75354 1992294400 4194304 8395647 140737202219936 18446744073709551615 6669657 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29953/statm: 78747 75354 706 1026 0 77717 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 314988
[startup+51.1012 s]
/proc/loadavg: 0.56 0.22 0.47 2/107 29956
/proc/meminfo: memFree=1508824/2059040 swapFree=4139724/4192956
[pid=29953] ppid=29951 vsize=320892 CPUtime=51.08
/proc/29953/stat : 29953 (pbscip.linux.x8) R 29951 29953 29926 0 -1 4202496 81483 0 0 0 5073 35 0 0 25 0 1 0 25500485 328593408 77054 1992294400 4194304 8395647 140737202219936 18446744073709551615 6698034 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29953/statm: 80223 77054 665 1026 0 79193 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 320892
[startup+102.309 s]
/proc/loadavg: 0.81 0.34 0.49 2/107 29957
/proc/meminfo: memFree=1503368/2059040 swapFree=4139724/4192956
[pid=29953] ppid=29951 vsize=325852 CPUtime=102.27
/proc/29953/stat : 29953 (pbscip.linux.x8) R 29951 29953 29926 0 -1 4202496 82833 0 0 0 10188 39 0 0 25 0 1 0 25500485 333672448 78330 1992294400 4194304 8395647 140737202219936 18446744073709551615 6696991 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29953/statm: 81463 78330 591 1026 0 80433 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 325852
[startup+162.301 s]
/proc/loadavg: 0.93 0.45 0.52 2/107 29958
/proc/meminfo: memFree=1503368/2059040 swapFree=4139724/4192956
[pid=29953] ppid=29951 vsize=325852 CPUtime=162.25
/proc/29953/stat : 29953 (pbscip.linux.x8) R 29951 29953 29926 0 -1 4202496 82837 0 0 0 16182 43 0 0 25 0 1 0 25500485 333672448 78334 1992294400 4194304 8395647 140737202219936 18446744073709551615 6635652 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29953/statm: 81463 78334 591 1026 0 80433 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 325852
[startup+222.301 s]
/proc/loadavg: 0.97 0.55 0.55 2/107 29960
/proc/meminfo: memFree=1503368/2059040 swapFree=4139724/4192956
[pid=29953] ppid=29951 vsize=325852 CPUtime=222.24
/proc/29953/stat : 29953 (pbscip.linux.x8) R 29951 29953 29926 0 -1 4202496 82840 0 0 0 22177 47 0 0 25 0 1 0 25500485 333672448 78337 1992294400 4194304 8395647 140737202219936 18446744073709551615 6721240 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29953/statm: 81463 78337 591 1026 0 80433 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 325852
[startup+282.301 s]
/proc/loadavg: 0.99 0.63 0.57 2/107 29962
/proc/meminfo: memFree=1503244/2059040 swapFree=4139724/4192956
[pid=29953] ppid=29951 vsize=325852 CPUtime=282.23
/proc/29953/stat : 29953 (pbscip.linux.x8) R 29951 29953 29926 0 -1 4202496 82859 0 0 0 28172 51 0 0 25 0 1 0 25500485 333672448 78340 1992294400 4194304 8395647 140737202219936 18446744073709551615 6698051 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29953/statm: 81463 78340 575 1026 0 80433 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 325852
[startup+342.301 s]
/proc/loadavg: 0.99 0.69 0.60 2/107 29964
/proc/meminfo: memFree=1490968/2059040 swapFree=4139724/4192956
[pid=29953] ppid=29951 vsize=340380 CPUtime=342.21
/proc/29953/stat : 29953 (pbscip.linux.x8) R 29951 29953 29926 0 -1 4202496 85969 0 0 0 34165 56 0 0 25 0 1 0 25500485 348549120 81450 1992294400 4194304 8395647 140737202219936 18446744073709551615 6670348 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29953/statm: 85095 81450 604 1026 0 84065 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 340380
[startup+402.301 s]
/proc/loadavg: 0.99 0.75 0.62 2/107 29965
/proc/meminfo: memFree=1482536/2059040 swapFree=4139724/4192956
[pid=29953] ppid=29951 vsize=346660 CPUtime=402.19
/proc/29953/stat : 29953 (pbscip.linux.x8) R 29951 29953 29926 0 -1 4202496 88093 0 0 0 40159 60 0 0 25 0 1 0 25500485 354979840 83545 1992294400 4194304 8395647 140737202219936 18446744073709551615 6663825 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29953/statm: 86665 83545 605 1026 0 85635 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 346660
[startup+462.302 s]
/proc/loadavg: 0.99 0.79 0.64 2/107 29966
/proc/meminfo: memFree=1482412/2059040 swapFree=4139724/4192956
[pid=29953] ppid=29951 vsize=346660 CPUtime=462.18
/proc/29953/stat : 29953 (pbscip.linux.x8) R 29951 29953 29926 0 -1 4202496 88095 0 0 0 46155 63 0 0 25 0 1 0 25500485 354979840 83547 1992294400 4194304 8395647 140737202219936 18446744073709551615 6697970 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29953/statm: 86665 83547 605 1026 0 85635 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 346660
[startup+522.301 s]
/proc/loadavg: 0.99 0.83 0.66 2/107 29968
/proc/meminfo: memFree=1482412/2059040 swapFree=4139724/4192956
[pid=29953] ppid=29951 vsize=346660 CPUtime=522.16
/proc/29953/stat : 29953 (pbscip.linux.x8) R 29951 29953 29926 0 -1 4202496 88097 0 0 0 52148 68 0 0 25 0 1 0 25500485 354979840 83549 1992294400 4194304 8395647 140737202219936 18446744073709551615 6741718 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29953/statm: 86665 83549 605 1026 0 85635 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 346660
[startup+582.301 s]
/proc/loadavg: 0.99 0.85 0.68 2/107 29970
/proc/meminfo: memFree=1482412/2059040 swapFree=4139724/4192956
[pid=29953] ppid=29951 vsize=346660 CPUtime=582.15
/proc/29953/stat : 29953 (pbscip.linux.x8) R 29951 29953 29926 0 -1 4202496 88099 0 0 0 58143 72 0 0 25 0 1 0 25500485 354979840 83551 1992294400 4194304 8395647 140737202219936 18446744073709551615 6698038 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29953/statm: 86665 83551 605 1026 0 85635 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 346660
[startup+642.301 s]
/proc/loadavg: 0.99 0.88 0.70 2/107 29972
/proc/meminfo: memFree=1482288/2059040 swapFree=4139724/4192956
[pid=29953] ppid=29951 vsize=346660 CPUtime=642.15
/proc/29953/stat : 29953 (pbscip.linux.x8) R 29951 29953 29926 0 -1 4202496 88101 0 0 0 64139 76 0 0 25 0 1 0 25500485 354979840 83553 1992294400 4194304 8395647 140737202219936 18446744073709551615 6390516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29953/statm: 86665 83553 605 1026 0 85635 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 346660
[startup+702.301 s]
################
# More data... #
################
/proc/29953/stat : 29953 (pbscip.linux.x8) R 29951 29953 29926 0 -1 4202496 131180 0 0 0 106075 129 0 0 25 0 1 0 25500485 494931968 117139 1992294400 4194304 8395647 140737202219936 18446744073709551615 6440896 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29953/statm: 120833 117139 636 1026 0 119803 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 483332
[startup+1122.3 s]
/proc/loadavg: 0.99 0.96 0.80 2/107 29987
/proc/meminfo: memFree=1347376/2059040 swapFree=4139724/4192956
[pid=29953] ppid=29951 vsize=483332 CPUtime=1122.02
/proc/29953/stat : 29953 (pbscip.linux.x8) R 29951 29953 29926 0 -1 4202496 131182 0 0 0 112071 131 0 0 25 0 1 0 25500485 494931968 117141 1992294400 4194304 8395647 140737202219936 18446744073709551615 6696991 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29953/statm: 120833 117141 636 1026 0 119803 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 483332
[startup+1182.3 s]
/proc/loadavg: 1.03 0.98 0.82 2/107 29989
/proc/meminfo: memFree=1347376/2059040 swapFree=4139724/4192956
[pid=29953] ppid=29951 vsize=483332 CPUtime=1182.01
/proc/29953/stat : 29953 (pbscip.linux.x8) R 29951 29953 29926 0 -1 4202496 131182 0 0 0 118065 136 0 0 25 0 1 0 25500485 494931968 117141 1992294400 4194304 8395647 140737202219936 18446744073709551615 5827857 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29953/statm: 120833 117141 636 1026 0 119803 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 483332
[startup+1242.3 s]
/proc/loadavg: 1.01 0.98 0.82 2/107 29991
/proc/meminfo: memFree=1347252/2059040 swapFree=4139724/4192956
[pid=29953] ppid=29951 vsize=483332 CPUtime=1242
/proc/29953/stat : 29953 (pbscip.linux.x8) R 29951 29953 29926 0 -1 4202496 131184 0 0 0 124062 138 0 0 25 0 1 0 25500485 494931968 117143 1992294400 4194304 8395647 140737202219936 18446744073709551615 6702012 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29953/statm: 120833 117143 636 1026 0 119803 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 483332
[startup+1302.3 s]
/proc/loadavg: 1.00 0.98 0.83 2/107 29992
/proc/meminfo: memFree=1347252/2059040 swapFree=4139724/4192956
[pid=29953] ppid=29951 vsize=483332 CPUtime=1301.99
/proc/29953/stat : 29953 (pbscip.linux.x8) R 29951 29953 29926 0 -1 4202496 131184 0 0 0 130058 141 0 0 25 0 1 0 25500485 494931968 117143 1992294400 4194304 8395647 140737202219936 18446744073709551615 6693729 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29953/statm: 120833 117143 636 1026 0 119803 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 483332
[startup+1362.3 s]
/proc/loadavg: 1.00 0.98 0.83 2/107 29993
/proc/meminfo: memFree=1347252/2059040 swapFree=4139724/4192956
[pid=29953] ppid=29951 vsize=483332 CPUtime=1361.96
/proc/29953/stat : 29953 (pbscip.linux.x8) R 29951 29953 29926 0 -1 4202496 131184 0 0 0 136052 144 0 0 25 0 1 0 25500485 494931968 117143 1992294400 4194304 8395647 140737202219936 18446744073709551615 6664542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29953/statm: 120833 117143 636 1026 0 119803 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 483332
[startup+1422.31 s]
/proc/loadavg: 1.00 0.98 0.84 2/107 29995
/proc/meminfo: memFree=1347252/2059040 swapFree=4139724/4192956
[pid=29953] ppid=29951 vsize=483332 CPUtime=1421.96
/proc/29953/stat : 29953 (pbscip.linux.x8) R 29951 29953 29926 0 -1 4202496 131184 0 0 0 142048 148 0 0 25 0 1 0 25500485 494931968 117143 1992294400 4194304 8395647 140737202219936 18446744073709551615 6197370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29953/statm: 120833 117143 636 1026 0 119803 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 483332
[startup+1482.3 s]
/proc/loadavg: 1.00 0.98 0.85 2/107 29997
/proc/meminfo: memFree=1347252/2059040 swapFree=4139724/4192956
[pid=29953] ppid=29951 vsize=483332 CPUtime=1481.94
/proc/29953/stat : 29953 (pbscip.linux.x8) R 29951 29953 29926 0 -1 4202496 131186 0 0 0 148043 151 0 0 25 0 1 0 25500485 494931968 117145 1992294400 4194304 8395647 140737202219936 18446744073709551615 6697955 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29953/statm: 120833 117145 636 1026 0 119803 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 483332
[startup+1542.3 s]
/proc/loadavg: 1.00 0.98 0.85 2/107 29999
/proc/meminfo: memFree=1347252/2059040 swapFree=4139724/4192956
[pid=29953] ppid=29951 vsize=483332 CPUtime=1541.93
/proc/29953/stat : 29953 (pbscip.linux.x8) R 29951 29953 29926 0 -1 4202496 131186 0 0 0 154038 155 0 0 25 0 1 0 25500485 494931968 117145 1992294400 4194304 8395647 140737202219936 18446744073709551615 6440946 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29953/statm: 120833 117145 636 1026 0 119803 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 483332
[startup+1602.3 s]
/proc/loadavg: 1.00 0.98 0.86 2/107 30000
/proc/meminfo: memFree=1347128/2059040 swapFree=4139724/4192956
[pid=29953] ppid=29951 vsize=483332 CPUtime=1601.91
/proc/29953/stat : 29953 (pbscip.linux.x8) R 29951 29953 29926 0 -1 4202496 131188 0 0 0 160034 157 0 0 25 0 1 0 25500485 494931968 117147 1992294400 4194304 8395647 140737202219936 18446744073709551615 6390516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29953/statm: 120833 117147 636 1026 0 119803 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 483332
[startup+1662.3 s]
/proc/loadavg: 1.00 0.98 0.86 2/107 30001
/proc/meminfo: memFree=1347128/2059040 swapFree=4139724/4192956
[pid=29953] ppid=29951 vsize=483332 CPUtime=1661.9
/proc/29953/stat : 29953 (pbscip.linux.x8) R 29951 29953 29926 0 -1 4202496 131190 0 0 0 166029 161 0 0 25 0 1 0 25500485 494931968 117149 1992294400 4194304 8395647 140737202219936 18446744073709551615 6693729 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29953/statm: 120833 117149 638 1026 0 119803 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 483332
[startup+1722.3 s]
/proc/loadavg: 1.00 0.98 0.87 2/107 30003
/proc/meminfo: memFree=1347004/2059040 swapFree=4139724/4192956
[pid=29953] ppid=29951 vsize=483332 CPUtime=1721.88
/proc/29953/stat : 29953 (pbscip.linux.x8) R 29951 29953 29926 0 -1 4202496 131190 0 0 0 172024 164 0 0 25 0 1 0 25500485 494931968 117149 1992294400 4194304 8395647 140737202219936 18446744073709551615 6719490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29953/statm: 120833 117149 638 1026 0 119803 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 483332
[startup+1782.3 s]
/proc/loadavg: 1.00 0.98 0.88 2/107 30005
/proc/meminfo: memFree=1346756/2059040 swapFree=4139724/4192956
[pid=29953] ppid=29951 vsize=483332 CPUtime=1781.86
/proc/29953/stat : 29953 (pbscip.linux.x8) R 29951 29953 29926 0 -1 4202496 131190 0 0 0 178019 167 0 0 25 0 1 0 25500485 494931968 117149 1992294400 4194304 8395647 140737202219936 18446744073709551615 6698059 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29953/statm: 120833 117149 638 1026 0 119803 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 483332
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 0.98 0.88 2/107 30005
/proc/meminfo: memFree=1346756/2059040 swapFree=4139724/4192956
[pid=29953] ppid=29951 vsize=483332 CPUtime=1800.07
/proc/29953/stat : 29953 (pbscip.linux.x8) R 29951 29953 29926 0 -1 4202496 131190 0 0 0 179838 169 0 0 25 0 1 0 25500485 494931968 117149 1992294400 4194304 8395647 140737202219936 18446744073709551615 6390525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29953/statm: 120833 117149 638 1026 0 119803 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 483332
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -29953
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 0.98 0.88 2/108 30006
/proc/meminfo: memFree=1346748/2059040 swapFree=4139724/4192956
[pid=29953] ppid=29951 vsize=483332 CPUtime=1800.96
/proc/29953/stat : 29953 (pbscip.linux.x8) R 29951 29953 29926 0 -1 4202496 131190 0 0 0 179927 169 0 0 25 0 1 0 25500485 494931968 117149 1992294400 4194304 8395647 140737202219936 18446744073709551615 6663841 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29953/statm: 120833 117149 638 1026 0 119803 0
Current children cumulated CPU time (s) 1800.96
Current children cumulated vsize (KiB) 483332
[startup+1802.2 s]
/proc/loadavg: 1.00 0.98 0.88 2/108 30006
/proc/meminfo: memFree=1346748/2059040 swapFree=4139724/4192956
[pid=29953] ppid=29951 vsize=483332 CPUtime=1801.76
/proc/29953/stat : 29953 (pbscip.linux.x8) R 29951 29953 29926 0 -1 4202496 131190 0 0 0 180007 169 0 0 25 0 1 0 25500485 494931968 117149 1992294400 4194304 8395647 140737202219936 18446744073709551615 6721235 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29953/statm: 120833 117149 638 1026 0 119803 0
Current children cumulated CPU time (s) 1801.76
Current children cumulated vsize (KiB) 483332
[startup+1802.4 s]
/proc/loadavg: 1.00 0.98 0.88 2/108 30006
/proc/meminfo: memFree=1346748/2059040 swapFree=4139724/4192956
[pid=29953] ppid=29951 vsize=483332 CPUtime=1801.96
/proc/29953/stat : 29953 (pbscip.linux.x8) R 29951 29953 29926 0 -1 4202496 131190 0 0 0 180027 169 0 0 25 0 1 0 25500485 494931968 117149 1992294400 4194304 8395647 140737202219936 18446744073709551615 6741705 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29953/statm: 120833 117149 638 1026 0 119803 0
Current children cumulated CPU time (s) 1801.96
Current children cumulated vsize (KiB) 483332
[startup+1802.5 s]
/proc/loadavg: 1.00 0.98 0.88 2/108 30006
/proc/meminfo: memFree=1346748/2059040 swapFree=4139724/4192956
[pid=29953] ppid=29951 vsize=483332 CPUtime=1802.06
/proc/29953/stat : 29953 (pbscip.linux.x8) R 29951 29953 29926 0 -1 4202496 131190 0 0 0 180037 169 0 0 25 0 1 0 25500485 494931968 117149 1992294400 4194304 8395647 140737202219936 18446744073709551615 6741384 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29953/statm: 120833 117149 638 1026 0 119803 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 483332
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.56
CPU time (s): 1802.13
CPU user time (s): 1800.39
CPU system time (s): 1.74073
CPU usage (%): 99.9762
Max. virtual memory (cumulated for all children) (KiB): 522864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.39
system time used= 1.74073
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131190
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= 18241
runsolver used 3.06653 second user time and 8.43172 second system time
The end