0.00/0.01 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-3744821-1338810857.opb>
22.98/23.00 c original problem has 214997 variables (214997 bin, 0 int, 0 impl, 0 cont) and 3677941 constraints
22.98/23.00 c problem read
22.98/23.00 c presolving settings loaded
27.07/27.18 c presolving:
42.78/42.85 c (round 1) 117998 del vars, 2364861 del conss, 116661 chg bounds, 245 chg sides, 312 chg coeffs, 0 upgd conss, 16816056 impls, 0 clqs
44.77/44.86 c (round 2) 119245 del vars, 2614142 del conss, 117077 chg bounds, 248 chg sides, 316 chg coeffs, 0 upgd conss, 16878531 impls, 0 clqs
45.27/45.39 c (round 3) 121490 del vars, 2635935 del conss, 117291 chg bounds, 253 chg sides, 328 chg coeffs, 0 upgd conss, 16914823 impls, 0 clqs
45.58/45.65 c (round 4) 121980 del vars, 2640939 del conss, 117295 chg bounds, 253 chg sides, 328 chg coeffs, 0 upgd conss, 16919339 impls, 0 clqs
54.27/54.31 c (31.3s) probing: 101/93011 (0.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
54.27/54.31 c (31.3s) probing aborted: 100/100 successive totally useless probings
58.87/58.94 c (round 5) 121986 del vars, 2640964 del conss, 117295 chg bounds, 253 chg sides, 328 chg coeffs, 1034794 upgd conss, 16919339 impls, 0 clqs
60.17/60.21 c (round 6) 121986 del vars, 2640964 del conss, 117295 chg bounds, 253 chg sides, 328 chg coeffs, 1036977 upgd conss, 16919339 impls, 0 clqs
61.57/61.61 c (38.6s) probing: 111/93011 (0.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
61.57/61.61 c (38.6s) probing aborted: 100/100 successive totally useless probings
61.57/61.61 c presolving (7 rounds):
61.57/61.61 c 121986 deleted vars, 2640964 deleted constraints, 117295 tightened bounds, 0 added holes, 253 changed sides, 328 changed coefficients
61.57/61.61 c 16919339 implications, 0 cliques
61.57/61.61 c presolved problem has 93011 variables (93011 bin, 0 int, 0 impl, 0 cont) and 1036977 constraints
61.57/61.61 c 727587 constraints of type <setppc>
61.57/61.61 c 309390 constraints of type <logicor>
61.57/61.61 c transformed objective value is always integral (scale: 1)
61.57/61.61 c Presolving Time: 34.83
61.57/61.61 c - non default parameters ----------------------------------------------------------------------
61.57/61.61 c # SCIP version 1.2.1.3
61.57/61.61 c
61.57/61.61 c # frequency for displaying node information lines
61.57/61.61 c # [type: int, range: [-1,2147483647], default: 100]
61.57/61.61 c display/freq = 10000
61.57/61.61 c
61.57/61.61 c # maximal time in seconds to run
61.57/61.61 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
61.57/61.61 c limits/time = 1767.02
61.57/61.61 c
61.57/61.61 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
61.57/61.61 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
61.57/61.61 c limits/memory = 13950
61.57/61.61 c
61.57/61.61 c # default clock type (1: CPU user seconds, 2: wall clock time)
61.57/61.61 c # [type: int, range: [1,2], default: 1]
61.57/61.61 c timing/clocktype = 2
61.57/61.61 c
61.57/61.61 c # should presolving try to simplify inequalities
61.57/61.61 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
61.57/61.61 c constraints/linear/simplifyinequalities = TRUE
61.57/61.61 c
61.57/61.61 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
61.57/61.61 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
61.57/61.61 c constraints/indicator/addCouplingCons = TRUE
61.57/61.61 c
61.57/61.61 c # should presolving try to simplify knapsacks
61.57/61.61 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
61.57/61.61 c constraints/knapsack/simplifyinequalities = TRUE
61.57/61.61 c
61.57/61.61 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
61.57/61.61 c # [type: int, range: [-1,2147483647], default: -1]
61.57/61.61 c separating/rapidlearning/freq = 0
61.57/61.61 c
61.57/61.61 c -----------------------------------------------------------------------------------------------
61.57/61.61 c start solving
61.57/61.66 c
1800.02/1800.30 c pressed CTRL-C 1 times (5 times for forcing termination)
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3744821-1338810857/watcher-3744821-1338810857 -o /tmp/evaluation-result-3744821-1338810857/solver-3744821-1338810857 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3744821-1338810857.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.85 1.97 1.99 3/176 4807
/proc/meminfo: memFree=26614800/32873648 swapFree=6860/6860
[pid=4807] ppid=4805 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/4807/stat : 4807 (runsolver) D 4805 4807 4763 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 347212121 12095488 51 33554432000 4194304 5436572 140735147236512 140735147232808 4883175 0 0 4096 24578 18446744071579943789 0 0 17 4 0 0 0 0 0
/proc/4807/statm: 2953 51 31 304 0 2645 0
[startup+0.0210279 s]
/proc/loadavg: 1.85 1.97 1.99 3/176 4807
/proc/meminfo: memFree=26614800/32873648 swapFree=6860/6860
[pid=4807] ppid=4805 vsize=14968 CPUtime=0 cores=0,2,4,6
/proc/4807/stat : 4807 (pbscip.linux.x8) R 4805 4807 4763 0 -1 4202496 2905 0 0 0 0 0 0 0 20 0 1 0 347212121 15327232 2850 33554432000 4194304 8395647 140736816362848 140736816225352 6347101 0 0 4096 0 0 0 0 17 6 0 0 0 0 0
/proc/4807/statm: 3742 2850 387 1026 0 2712 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14968
[startup+0.100185 s]
/proc/loadavg: 1.85 1.97 1.99 3/176 4807
/proc/meminfo: memFree=26614800/32873648 swapFree=6860/6860
[pid=4807] ppid=4805 vsize=31916 CPUtime=0.09 cores=0,2,4,6
/proc/4807/stat : 4807 (pbscip.linux.x8) R 4805 4807 4763 0 -1 4202496 7195 0 0 0 8 1 0 0 20 0 1 0 347212121 32681984 7135 33554432000 4194304 8395647 140736816362848 140736816228056 6349013 0 0 4096 0 0 0 0 17 6 0 0 0 0 0
/proc/4807/statm: 7979 7135 394 1026 0 6949 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31916
[startup+0.300147 s]
/proc/loadavg: 1.85 1.97 1.99 3/176 4807
/proc/meminfo: memFree=26614800/32873648 swapFree=6860/6860
[pid=4807] ppid=4805 vsize=53044 CPUtime=0.28 cores=0,2,4,6
/proc/4807/stat : 4807 (pbscip.linux.x8) R 4805 4807 4763 0 -1 4202496 12469 0 0 0 27 1 0 0 20 0 1 0 347212121 54317056 12409 33554432000 4194304 8395647 140736816362848 140736816228056 5755180 0 0 4096 0 0 0 0 17 6 0 0 0 0 0
/proc/4807/statm: 13261 12409 394 1026 0 12231 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 53044
[startup+0.700143 s]
/proc/loadavg: 1.85 1.97 1.99 3/176 4807
/proc/meminfo: memFree=26614800/32873648 swapFree=6860/6860
[pid=4807] ppid=4805 vsize=79992 CPUtime=0.68 cores=0,2,4,6
/proc/4807/stat : 4807 (pbscip.linux.x8) R 4805 4807 4763 0 -1 4202496 19181 0 0 0 66 2 0 0 20 0 1 0 347212121 81911808 19121 33554432000 4194304 8395647 140736816362848 140736816228056 7279488 0 0 4096 0 0 0 0 17 6 0 0 0 0 0
/proc/4807/statm: 19998 19121 394 1026 0 18968 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 79992
[startup+1.50021 s]
/proc/loadavg: 1.85 1.97 1.99 3/177 4808
/proc/meminfo: memFree=26458620/32873648 swapFree=6860/6860
[pid=4807] ppid=4805 vsize=128960 CPUtime=1.48 cores=0,2,4,6
/proc/4807/stat : 4807 (pbscip.linux.x8) R 4805 4807 4763 0 -1 4202496 31482 0 0 0 144 4 0 0 20 0 1 0 347212121 132055040 31422 33554432000 4194304 8395647 140736816362848 140736816228056 7382046 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4807/statm: 32240 31422 394 1026 0 31210 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 128960
[startup+3.10015 s]
/proc/loadavg: 1.85 1.97 1.99 3/177 4808
/proc/meminfo: memFree=26322888/32873648 swapFree=6860/6860
[pid=4807] ppid=4805 vsize=228336 CPUtime=3.07 cores=0,2,4,6
/proc/4807/stat : 4807 (pbscip.linux.x8) R 4805 4807 4763 0 -1 4202496 56138 0 0 0 299 8 0 0 20 0 1 0 347212121 233816064 56078 33554432000 4194304 8395647 140736816362848 140736816228056 4423932 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4807/statm: 57084 56078 394 1026 0 56054 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 228336
[startup+6.30021 s]
/proc/loadavg: 1.94 1.98 1.99 3/177 4808
/proc/meminfo: memFree=25858444/32873648 swapFree=6860/6860
[pid=4807] ppid=4805 vsize=423104 CPUtime=6.27 cores=0,2,4,6
/proc/4807/stat : 4807 (pbscip.linux.x8) R 4805 4807 4763 0 -1 4202496 104630 0 0 0 612 15 0 0 20 0 1 0 347212121 433258496 104570 33554432000 4194304 8395647 140736816362848 140736816228056 7430272 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4807/statm: 105776 104570 394 1026 0 104746 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 423104
[startup+12.7003 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 4808
/proc/meminfo: memFree=25045416/32873648 swapFree=6860/6860
[pid=4807] ppid=4805 vsize=812912 CPUtime=12.68 cores=0,2,4,6
/proc/4807/stat : 4807 (pbscip.linux.x8) R 4805 4807 4763 0 -1 4202496 202340 0 0 0 1237 31 0 0 20 0 1 0 347212121 832421888 202280 33554432000 4194304 8395647 140736816362848 140736816228056 4423932 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4807/statm: 203228 202280 394 1026 0 202198 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 812912
[startup+25.5003 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 4808
/proc/meminfo: memFree=21255260/32873648 swapFree=6860/6860
[pid=4807] ppid=4805 vsize=3113896 CPUtime=25.47 cores=0,2,4,6
/proc/4807/stat : 4807 (pbscip.linux.x8) R 4805 4807 4763 0 -1 4202496 755459 0 0 0 2439 108 0 0 20 0 1 0 347212121 3188629504 769353 33554432000 4194304 8395647 140736816362848 140736816360472 6347101 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4807/statm: 778474 769353 421 1026 0 777444 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 3113896
[startup+51.1065 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 4808
/proc/meminfo: memFree=19437324/32873648 swapFree=6860/6860
[pid=4807] ppid=4805 vsize=4008832 CPUtime=51.07 cores=0,2,4,6
/proc/4807/stat : 4807 (pbscip.linux.x8) R 4805 4807 4763 0 -1 4202496 976494 0 0 0 4970 137 0 0 20 0 1 0 347212121 4105043968 990847 33554432000 4194304 8395647 140736816362848 140736816359032 5031115 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4807/statm: 1002208 990847 484 1026 0 1001178 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 4008832
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4808
/proc/meminfo: memFree=18817836/32873648 swapFree=6860/6860
[pid=4807] ppid=4805 vsize=4518480 CPUtime=102.26 cores=0,2,4,6
/proc/4807/stat : 4807 (pbscip.linux.x8) R 4805 4807 4763 0 -1 4202496 1038466 0 0 0 10072 154 0 0 20 0 1 0 347212121 4626923520 1098221 33554432000 4194304 8395647 140736816362848 140736816357976 6636387 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4807/statm: 1129620 1098221 575 1026 0 1128590 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 4518480
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4809
/proc/meminfo: memFree=18769480/32873648 swapFree=6860/6860
[pid=4807] ppid=4805 vsize=4588224 CPUtime=162.26 cores=0,2,4,6
/proc/4807/stat : 4807 (pbscip.linux.x8) R 4805 4807 4763 0 -1 4202496 1051009 0 0 0 16065 161 0 0 20 0 1 0 347212121 4698341376 1110242 33554432000 4194304 8395647 140736816362848 140736816358312 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4807/statm: 1147056 1110242 575 1026 0 1146026 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 4588224
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4809
/proc/meminfo: memFree=18745380/32873648 swapFree=6860/6860
[pid=4807] ppid=4805 vsize=4613260 CPUtime=222.24 cores=0,2,4,6
/proc/4807/stat : 4807 (pbscip.linux.x8) R 4805 4807 4763 0 -1 4202496 1060141 0 0 0 22056 168 0 0 20 0 1 0 347212121 4723978240 1113912 33554432000 4194304 8395647 140736816362848 140736816356824 7382157 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4807/statm: 1153315 1113912 575 1026 0 1152285 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 4613260
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4809
/proc/meminfo: memFree=18735008/32873648 swapFree=6860/6860
[pid=4807] ppid=4805 vsize=4630992 CPUtime=282.23 cores=0,2,4,6
/proc/4807/stat : 4807 (pbscip.linux.x8) R 4805 4807 4763 0 -1 4202496 1069090 0 0 0 28047 176 0 0 20 0 1 0 347212121 4742135808 1116396 33554432000 4194304 8395647 140736816362848 140736816357976 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4807/statm: 1157748 1116396 575 1026 0 1156718 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 4630992
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4812
/proc/meminfo: memFree=18709188/32873648 swapFree=6860/6860
[pid=4807] ppid=4805 vsize=4651336 CPUtime=342.22 cores=0,2,4,6
/proc/4807/stat : 4807 (pbscip.linux.x8) R 4805 4807 4763 0 -1 4202496 1078052 0 0 0 34039 183 0 0 20 0 1 0 347212121 4762968064 1120238 33554432000 4194304 8395647 140736816362848 140736816357976 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4807/statm: 1162834 1120238 576 1026 0 1161804 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 4651336
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4835
/proc/meminfo: memFree=18692268/32873648 swapFree=6860/6860
[pid=4807] ppid=4805 vsize=4666200 CPUtime=402.22 cores=0,2,4,6
/proc/4807/stat : 4807 (pbscip.linux.x8) R 4805 4807 4763 0 -1 4202496 1086441 0 0 0 40030 192 0 0 20 0 1 0 347212121 4778188800 1122688 33554432000 4194304 8395647 140736816362848 140736816357016 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4807/statm: 1166550 1122688 576 1026 0 1165520 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 4666200
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4836
/proc/meminfo: memFree=18685676/32873648 swapFree=6860/6860
[pid=4807] ppid=4805 vsize=4680472 CPUtime=462.21 cores=0,2,4,6
/proc/4807/stat : 4807 (pbscip.linux.x8) R 4805 4807 4763 0 -1 4202496 1093974 0 0 0 46021 200 0 0 20 0 1 0 347212121 4792803328 1124543 33554432000 4194304 8395647 140736816362848 140736816358408 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4807/statm: 1170118 1124543 576 1026 0 1169088 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 4680472
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4836
/proc/meminfo: memFree=18678884/32873648 swapFree=6860/6860
[pid=4807] ppid=4805 vsize=4725752 CPUtime=522.2 cores=0,2,4,6
/proc/4807/stat : 4807 (pbscip.linux.x8) R 4805 4807 4763 0 -1 4202496 1101333 0 0 0 52011 209 0 0 20 0 1 0 347212121 4839170048 1133591 33554432000 4194304 8395647 140736816362848 140736816358312 6636354 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4807/statm: 1181438 1133591 576 1026 0 1180408 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 4725752
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4836
/proc/meminfo: memFree=18678920/32873648 swapFree=6860/6860
[pid=4807] ppid=4805 vsize=4773616 CPUtime=582.2 cores=0,2,4,6
/proc/4807/stat : 4807 (pbscip.linux.x8) R 4805 4807 4763 0 -1 4202496 1107859 0 0 0 58003 217 0 0 20 0 1 0 347212121 4888182784 1133704 33554432000 4194304 8395647 140736816362848 140736816357976 6746580 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4807/statm: 1193404 1133704 577 1026 0 1192374 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 4773616
[startup+642.3 s]
################
# More data... #
################
/proc/4807/stat : 4807 (pbscip.linux.x8) R 4805 4807 4763 0 -1 4202496 1146028 0 0 0 99916 297 0 0 20 0 1 0 347212121 4861394944 1130047 33554432000 4194304 8395647 140736816362848 140736816357976 6697808 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4807/statm: 1186864 1130047 577 1026 0 1185834 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 4747456
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4841
/proc/meminfo: memFree=18685120/32873648 swapFree=6860/6860
[pid=4807] ppid=4805 vsize=4748324 CPUtime=1062.12 cores=0,2,4,6
/proc/4807/stat : 4807 (pbscip.linux.x8) R 4805 4807 4763 0 -1 4202496 1147712 0 0 0 105902 310 0 0 20 0 1 0 347212121 4862283776 1130164 33554432000 4194304 8395647 140736816362848 140736816357016 6698349 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4807/statm: 1187081 1130164 577 1026 0 1186051 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 4748324
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4841
/proc/meminfo: memFree=18684404/32873648 swapFree=6860/6860
[pid=4807] ppid=4805 vsize=4748944 CPUtime=1122.1 cores=0,2,4,6
/proc/4807/stat : 4807 (pbscip.linux.x8) R 4805 4807 4763 0 -1 4202496 1149929 0 0 0 111888 322 0 0 20 0 1 0 347212121 4862918656 1130264 33554432000 4194304 8395647 140736816362848 140736816358312 6697672 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4807/statm: 1187236 1130264 577 1026 0 1186206 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 4748944
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4841
/proc/meminfo: memFree=18684564/32873648 swapFree=6860/6860
[pid=4807] ppid=4805 vsize=4749296 CPUtime=1182.1 cores=0,2,4,6
/proc/4807/stat : 4807 (pbscip.linux.x8) R 4805 4807 4763 0 -1 4202496 1152326 0 0 0 117877 333 0 0 20 0 1 0 347212121 4863279104 1130319 33554432000 4194304 8395647 140736816362848 140736816358312 6636391 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4807/statm: 1187324 1130319 577 1026 0 1186294 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 4749296
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4841
/proc/meminfo: memFree=18683228/32873648 swapFree=6860/6860
[pid=4807] ppid=4805 vsize=4749424 CPUtime=1242.1 cores=0,2,4,6
/proc/4807/stat : 4807 (pbscip.linux.x8) R 4805 4807 4763 0 -1 4202496 1154232 0 0 0 123868 342 0 0 20 0 1 0 347212121 4863410176 1130351 33554432000 4194304 8395647 140736816362848 140736816357976 6752765 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4807/statm: 1187356 1130351 577 1026 0 1186326 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 4749424
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4841
/proc/meminfo: memFree=18682576/32873648 swapFree=6860/6860
[pid=4807] ppid=4805 vsize=4749664 CPUtime=1302.08 cores=0,2,4,6
/proc/4807/stat : 4807 (pbscip.linux.x8) R 4805 4807 4763 0 -1 4202496 1156280 0 0 0 129858 350 0 0 20 0 1 0 347212121 4863655936 1130397 33554432000 4194304 8395647 140736816362848 140736816357976 6697941 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4807/statm: 1187416 1130397 577 1026 0 1186386 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 4749664
[startup+1362.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4842
/proc/meminfo: memFree=18681692/32873648 swapFree=6860/6860
[pid=4807] ppid=4805 vsize=4750040 CPUtime=1362.07 cores=0,2,4,6
/proc/4807/stat : 4807 (pbscip.linux.x8) R 4805 4807 4763 0 -1 4202496 1158553 0 0 0 135848 359 0 0 20 0 1 0 347212121 4864040960 1130459 33554432000 4194304 8395647 140736816362848 140736816357976 6698214 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4807/statm: 1187510 1130459 577 1026 0 1186480 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 4750040
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4842
/proc/meminfo: memFree=18678492/32873648 swapFree=6860/6860
[pid=4807] ppid=4805 vsize=4750648 CPUtime=1422.06 cores=0,2,4,6
/proc/4807/stat : 4807 (pbscip.linux.x8) R 4805 4807 4763 0 -1 4202496 1161423 0 0 0 141837 369 0 0 20 0 1 0 347212121 4864663552 1131060 33554432000 4194304 8395647 140736816362848 140736816357976 6698068 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4807/statm: 1187662 1131060 577 1026 0 1186632 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 4750648
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4842
/proc/meminfo: memFree=18677860/32873648 swapFree=6860/6860
[pid=4807] ppid=4805 vsize=4750768 CPUtime=1482.05 cores=0,2,4,6
/proc/4807/stat : 4807 (pbscip.linux.x8) R 4805 4807 4763 0 -1 4202496 1163799 0 0 0 147826 379 0 0 20 0 1 0 347212121 4864786432 1131081 33554432000 4194304 8395647 140736816362848 140736816358408 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4807/statm: 1187692 1131081 577 1026 0 1186662 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 4750768
[startup+1542.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/178 4845
/proc/meminfo: memFree=18677936/32873648 swapFree=6860/6860
[pid=4807] ppid=4805 vsize=4750784 CPUtime=1542.04 cores=0,2,4,6
/proc/4807/stat : 4807 (pbscip.linux.x8) R 4805 4807 4763 0 -1 4202496 1166943 0 0 0 153815 389 0 0 20 0 1 0 347212121 4864802816 1131101 33554432000 4194304 8395647 140736816362848 140736816357080 6636387 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4807/statm: 1187696 1131101 577 1026 0 1186666 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 4750784
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 4845
/proc/meminfo: memFree=18678236/32873648 swapFree=6860/6860
[pid=4807] ppid=4805 vsize=4751008 CPUtime=1602.03 cores=0,2,4,6
/proc/4807/stat : 4807 (pbscip.linux.x8) R 4805 4807 4763 0 -1 4202496 1169441 0 0 0 159806 397 0 0 20 0 1 0 347212121 4865032192 1131130 33554432000 4194304 8395647 140736816362848 140736816357976 6697359 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4807/statm: 1187752 1131130 577 1026 0 1186722 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 4751008
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4846
/proc/meminfo: memFree=18678604/32873648 swapFree=6860/6860
[pid=4807] ppid=4805 vsize=4751320 CPUtime=1662.02 cores=0,2,4,6
/proc/4807/stat : 4807 (pbscip.linux.x8) R 4805 4807 4763 0 -1 4202496 1172841 0 0 0 165794 408 0 0 20 0 1 0 347212121 4865351680 1131180 33554432000 4194304 8395647 140736816362848 140736816357976 6636327 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4807/statm: 1187830 1131180 577 1026 0 1186800 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 4751320
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4846
/proc/meminfo: memFree=18677820/32873648 swapFree=6860/6860
[pid=4807] ppid=4805 vsize=4751560 CPUtime=1722.02 cores=0,2,4,6
/proc/4807/stat : 4807 (pbscip.linux.x8) R 4805 4807 4763 0 -1 4202496 1176814 0 0 0 171783 419 0 0 20 0 1 0 347212121 4865597440 1131224 33554432000 4194304 8395647 140736816362848 140736816357976 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4807/statm: 1187890 1131224 577 1026 0 1186860 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 4751560
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4846
/proc/meminfo: memFree=18677740/32873648 swapFree=6860/6860
[pid=4807] ppid=4805 vsize=4751704 CPUtime=1782.01 cores=0,2,4,6
/proc/4807/stat : 4807 (pbscip.linux.x8) R 4805 4807 4763 0 -1 4202496 1180520 0 0 0 177772 429 0 0 20 0 1 0 347212121 4865744896 1131255 33554432000 4194304 8395647 140736816362848 140736816357976 6697955 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4807/statm: 1187926 1131255 577 1026 0 1186896 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 4751704
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 1.85 1.97 1.99 2/171 4870
/proc/meminfo: memFree=22268412/32873648 swapFree=6860/6860
[pid=4807] ppid=4805 vsize=4751716 CPUtime=1800.02 cores=0,2,4,6
/proc/4807/stat : 4807 (pbscip.linux.x8) R 4805 4807 4763 0 -1 4202496 1181345 0 0 0 179570 432 0 0 20 0 1 0 347212121 4865757184 1131260 33554432000 4194304 8395647 140736816362848 140736816357976 6697959 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4807/statm: 1187929 1131260 577 1026 0 1186899 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 4751716
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -4807
Solver just ended. Dumping a history of the last processes samples
[startup+1801.9 s]
/proc/loadavg: 1.85 1.97 1.99 2/172 4871
/proc/meminfo: memFree=22268628/32873648 swapFree=6860/6860
[pid=4807] ppid=4805 vsize=4751716 CPUtime=1801.61 cores=0,2,4,6
/proc/4807/stat : 4807 (pbscip.linux.x8) R 4805 4807 4763 0 -1 4202496 1181345 0 0 0 179729 432 0 0 20 0 1 0 347212121 4865757184 1131260 33554432000 4194304 8395647 140736816362848 140736816357976 6698063 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4807/statm: 1187929 1131260 577 1026 0 1186899 0
Current children cumulated CPU time (s) 1801.61
Current children cumulated vsize (KiB) 4751716
[startup+1802.31 s]
/proc/loadavg: 1.85 1.97 1.99 2/172 4871
/proc/meminfo: memFree=22268504/32873648 swapFree=6860/6860
[pid=4807] ppid=4805 vsize=4751716 CPUtime=1802.01 cores=0,2,4,6
/proc/4807/stat : 4807 (pbscip.linux.x8) R 4805 4807 4763 0 -1 4202496 1181345 0 0 0 179769 432 0 0 20 0 1 0 347212121 4865757184 1131260 33554432000 4194304 8395647 140736816362848 140736816357976 6698051 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4807/statm: 1187929 1131260 577 1026 0 1186899 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 4751716
[startup+1802.5 s]
/proc/loadavg: 1.85 1.97 1.99 2/172 4871
/proc/meminfo: memFree=22268504/32873648 swapFree=6860/6860
[pid=4807] ppid=4805 vsize=0 CPUtime=1802.21 cores=0,2,4,6
/proc/4807/stat : 4807 (pbscip.linux.x8) R 4805 4807 4763 0 -1 4203524 1181345 0 0 0 179770 451 0 0 20 0 1 0 347212121 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4807/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.21
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.54
CPU time (s): 1802.26
CPU user time (s): 1797.7
CPU system time (s): 4.55731
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 4848552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.7
system time used= 4.55731
maximum resident set size= 4573784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1181345
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= 3
involuntary context switches= 1959
runsolver used 2.96155 second user time and 7.47286 second system time
The end