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-3740623-1338741748.opb>
1.18/1.22 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 184347 constraints
1.18/1.22 c problem read
1.18/1.22 c presolving settings loaded
1.69/1.70 c presolving:
6.98/7.02 c (round 1) 4168 del vars, 11804 del conss, 3045 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12653950 impls, 0 clqs
9.18/9.27 c (round 2) 9126 del vars, 30932 del conss, 7582 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12679526 impls, 0 clqs
9.89/9.90 c (round 3) 10753 del vars, 39029 del conss, 8575 chg bounds, 48 chg sides, 62 chg coeffs, 0 upgd conss, 12692854 impls, 0 clqs
10.18/10.29 c (round 4) 11604 del vars, 42564 del conss, 9152 chg bounds, 64 chg sides, 107 chg coeffs, 0 upgd conss, 12698143 impls, 0 clqs
10.48/10.51 c (round 5) 12180 del vars, 44862 del conss, 9468 chg bounds, 64 chg sides, 107 chg coeffs, 0 upgd conss, 12702753 impls, 0 clqs
10.58/10.66 c (round 6) 12488 del vars, 46167 del conss, 9646 chg bounds, 64 chg sides, 107 chg coeffs, 0 upgd conss, 12705932 impls, 0 clqs
10.78/10.80 c (round 7) 12720 del vars, 47047 del conss, 9794 chg bounds, 64 chg sides, 107 chg coeffs, 0 upgd conss, 12708218 impls, 0 clqs
10.89/10.91 c (round 8) 12879 del vars, 47690 del conss, 9877 chg bounds, 64 chg sides, 107 chg coeffs, 0 upgd conss, 12709918 impls, 0 clqs
10.89/11.00 c (round 9) 12975 del vars, 48086 del conss, 9936 chg bounds, 64 chg sides, 107 chg coeffs, 0 upgd conss, 12710864 impls, 0 clqs
10.99/11.07 c (round 10) 13041 del vars, 48369 del conss, 9963 chg bounds, 64 chg sides, 107 chg coeffs, 0 upgd conss, 12711348 impls, 0 clqs
11.08/11.13 c (round 11) 13063 del vars, 48499 del conss, 9977 chg bounds, 64 chg sides, 107 chg coeffs, 0 upgd conss, 12711450 impls, 0 clqs
11.08/11.19 c (round 12) 13065 del vars, 48524 del conss, 9978 chg bounds, 64 chg sides, 107 chg coeffs, 0 upgd conss, 12711466 impls, 0 clqs
11.79/11.82 c (round 13) 13065 del vars, 48527 del conss, 9978 chg bounds, 64 chg sides, 107 chg coeffs, 135820 upgd conss, 12711466 impls, 0 clqs
12.38/12.42 c (round 14) 13065 del vars, 48546 del conss, 9978 chg bounds, 173 chg sides, 413 chg coeffs, 135820 upgd conss, 12711466 impls, 0 clqs
12.59/12.62 c (round 15) 13065 del vars, 48559 del conss, 9978 chg bounds, 175 chg sides, 446 chg coeffs, 135820 upgd conss, 12711466 impls, 0 clqs
569.71/569.88 c (568.7s) probing: 1000/41717 (2.4%) - 0 fixings, 0 aggregations, 9696970 implications, 0 bound changes
1095.13/1095.31 c (1094.1s) probing: 2000/41717 (4.8%) - 0 fixings, 0 aggregations, 15921170 implications, 0 bound changes
1095.73/1095.92 c (1094.7s) probing: 2001/41717 (4.8%) - 0 fixings, 0 aggregations, 15933467 implications, 0 bound changes
1095.73/1095.92 c (1094.7s) probing aborted: 2000/2000 successive useless probings
1095.73/1095.92 c presolving (16 rounds):
1095.73/1095.92 c 13065 deleted vars, 48559 deleted constraints, 9978 tightened bounds, 0 added holes, 176 changed sides, 459 changed coefficients
1095.73/1095.92 c 68010742 implications, 0 cliques
1095.73/1095.92 c presolved problem has 41717 variables (41717 bin, 0 int, 0 impl, 0 cont) and 135853 constraints
1095.73/1095.92 c 1120 constraints of type <knapsack>
1095.73/1095.92 c 114124 constraints of type <setppc>
1095.73/1095.92 c 20609 constraints of type <logicor>
1095.73/1095.92 c transformed objective value is always integral (scale: 1)
1095.73/1095.92 c Presolving Time: 1094.37
1095.73/1095.92 c - non default parameters ----------------------------------------------------------------------
1095.73/1095.92 c # SCIP version 1.2.1.3
1095.73/1095.92 c
1095.73/1095.92 c # frequency for displaying node information lines
1095.73/1095.92 c # [type: int, range: [-1,2147483647], default: 100]
1095.73/1095.92 c display/freq = 10000
1095.73/1095.92 c
1095.73/1095.92 c # maximal time in seconds to run
1095.73/1095.92 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1095.73/1095.92 c limits/time = 1788.79
1095.73/1095.92 c
1095.73/1095.92 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1095.73/1095.92 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1095.73/1095.92 c limits/memory = 13950
1095.73/1095.92 c
1095.73/1095.92 c # default clock type (1: CPU user seconds, 2: wall clock time)
1095.73/1095.92 c # [type: int, range: [1,2], default: 1]
1095.73/1095.92 c timing/clocktype = 2
1095.73/1095.92 c
1095.73/1095.92 c # should presolving try to simplify inequalities
1095.73/1095.92 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1095.73/1095.92 c constraints/linear/simplifyinequalities = TRUE
1095.73/1095.92 c
1095.73/1095.92 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1095.73/1095.92 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1095.73/1095.92 c constraints/indicator/addCouplingCons = TRUE
1095.73/1095.92 c
1095.73/1095.92 c # should presolving try to simplify knapsacks
1095.73/1095.92 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1095.73/1095.92 c constraints/knapsack/simplifyinequalities = TRUE
1095.73/1095.92 c
1095.73/1095.92 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1095.73/1095.92 c # [type: int, range: [-1,2147483647], default: -1]
1095.73/1095.92 c separating/rapidlearning/freq = 0
1095.73/1095.92 c
1095.73/1095.92 c -----------------------------------------------------------------------------------------------
1095.73/1095.92 c start solving
1095.73/1095.95 c
1292.89/1293.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1292.89/1293.12 c 1292s| 1 | 0 | 41843 | - |2004M| 0 | 251 | 41k| 135k| 41k| 135k| 0 | 0 | 0 | 8.700000e+01 | -- | Inf
1800.01/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-3740623-1338741748/watcher-3740623-1338741748 -o /tmp/evaluation-result-3740623-1338741748/solver-3740623-1338741748 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3740623-1338741748.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
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: 2.00 2.00 2.00 3/175 26560
/proc/meminfo: memFree=25881628/32873844 swapFree=7108/7108
[pid=26560] ppid=26558 vsize=8944 CPUtime=0 cores=1,3,5,7
/proc/26560/stat : 26560 (pbscip.linux.x8) R 26558 26560 21683 0 -1 4202496 1421 0 0 0 0 0 0 0 20 0 1 0 340299400 9158656 1367 33554432000 4194304 8395647 140736291501360 140736756599768 7382157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26560/statm: 2236 1375 374 1026 0 1206 0
[startup+0.0869259 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26560
/proc/meminfo: memFree=25881628/32873844 swapFree=7108/7108
[pid=26560] ppid=26558 vsize=25976 CPUtime=0.07 cores=1,3,5,7
/proc/26560/stat : 26560 (pbscip.linux.x8) R 26558 26560 21683 0 -1 4202496 5504 0 0 0 7 0 0 0 20 0 1 0 340299400 26599424 5451 33554432000 4194304 8395647 140736291501360 140736756599768 6347101 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26560/statm: 6494 5489 393 1026 0 5464 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 25976
[startup+0.100379 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26560
/proc/meminfo: memFree=25881628/32873844 swapFree=7108/7108
[pid=26560] ppid=26558 vsize=27240 CPUtime=0.09 cores=1,3,5,7
/proc/26560/stat : 26560 (pbscip.linux.x8) R 26558 26560 21683 0 -1 4202496 6083 0 0 0 8 1 0 0 20 0 1 0 340299400 27893760 6029 33554432000 4194304 8395647 140736291501360 140736756599768 4423932 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26560/statm: 6810 6029 393 1026 0 5780 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27240
[startup+0.300308 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26560
/proc/meminfo: memFree=25881628/32873844 swapFree=7108/7108
[pid=26560] ppid=26558 vsize=47020 CPUtime=0.28 cores=1,3,5,7
/proc/26560/stat : 26560 (pbscip.linux.x8) R 26558 26560 21683 0 -1 4202496 10974 0 0 0 27 1 0 0 20 0 1 0 340299400 48148480 10920 33554432000 4194304 8395647 140736291501360 140736756599768 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26560/statm: 11755 10920 393 1026 0 10725 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 47020
[startup+0.700251 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26560
/proc/meminfo: memFree=25881628/32873844 swapFree=7108/7108
[pid=26560] ppid=26558 vsize=73636 CPUtime=0.69 cores=1,3,5,7
/proc/26560/stat : 26560 (pbscip.linux.x8) R 26558 26560 21683 0 -1 4202496 17600 0 0 0 66 3 0 0 20 0 1 0 340299400 75403264 17546 33554432000 4194304 8395647 140736291501360 140736291366568 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26560/statm: 18409 17546 393 1026 0 17379 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 73636
[startup+1.50032 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26562
/proc/meminfo: memFree=25786512/32873844 swapFree=7108/7108
[pid=26560] ppid=26558 vsize=249680 CPUtime=1.48 cores=1,3,5,7
/proc/26560/stat : 26560 (pbscip.linux.x8) R 26558 26560 21683 0 -1 4202496 61836 0 0 0 138 10 0 0 20 0 1 0 340299400 255672320 61428 33554432000 4194304 8395647 140736291501360 140736291366568 4449009 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26560/statm: 62420 61428 420 1026 0 61390 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 249680
[startup+3.10031 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26562
/proc/meminfo: memFree=25558360/32873844 swapFree=7108/7108
[pid=26560] ppid=26558 vsize=432468 CPUtime=3.09 cores=1,3,5,7
/proc/26560/stat : 26560 (pbscip.linux.x8) R 26558 26560 21683 0 -1 4202496 106663 0 0 0 292 17 0 0 20 0 1 0 340299400 442847232 106255 33554432000 4194304 8395647 140736291501360 140736291497112 6080679 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26560/statm: 108117 106255 469 1026 0 107087 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 432468
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26562
/proc/meminfo: memFree=25277128/32873844 swapFree=7108/7108
[pid=26560] ppid=26558 vsize=647960 CPUtime=6.29 cores=1,3,5,7
/proc/26560/stat : 26560 (pbscip.linux.x8) R 26558 26560 21683 0 -1 4202496 158280 0 0 0 604 25 0 0 20 0 1 0 340299400 663511040 157872 33554432000 4194304 8395647 140736291501360 140736291497112 7385355 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26560/statm: 161990 157872 475 1026 0 160960 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 647960
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26562
/proc/meminfo: memFree=25151152/32873844 swapFree=7108/7108
[pid=26560] ppid=26558 vsize=733024 CPUtime=12.69 cores=1,3,5,7
/proc/26560/stat : 26560 (pbscip.linux.x8) R 26558 26560 21683 0 -1 4202496 176386 0 0 0 1241 28 0 0 20 0 1 0 340299400 750616576 178624 33554432000 4194304 8395647 140736291501360 140736291497160 6345211 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26560/statm: 183256 178624 499 1026 0 182226 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 733024
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26562
/proc/meminfo: memFree=25049144/32873844 swapFree=7108/7108
[pid=26560] ppid=26558 vsize=786548 CPUtime=25.48 cores=1,3,5,7
/proc/26560/stat : 26560 (pbscip.linux.x8) R 26558 26560 21683 0 -1 4202496 188661 0 0 0 2519 29 0 0 20 0 1 0 340299400 805425152 190883 33554432000 4194304 8395647 140736291501360 140736291497432 6080692 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26560/statm: 196637 190883 510 1026 0 195607 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 786548
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26562
/proc/meminfo: memFree=24910712/32873844 swapFree=7108/7108
[pid=26560] ppid=26558 vsize=848092 CPUtime=51.08 cores=1,3,5,7
/proc/26560/stat : 26560 (pbscip.linux.x8) R 26558 26560 21683 0 -1 4202496 203640 0 0 0 5076 32 0 0 20 0 1 0 340299400 868446208 205862 33554432000 4194304 8395647 140736291501360 140736291497224 6080692 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26560/statm: 212023 205862 510 1026 0 210993 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 848092
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26562
/proc/meminfo: memFree=24710620/32873844 swapFree=7108/7108
[pid=26560] ppid=26558 vsize=963268 CPUtime=102.28 cores=1,3,5,7
/proc/26560/stat : 26560 (pbscip.linux.x8) R 26558 26560 21683 0 -1 4202496 232386 0 0 0 10190 38 0 0 20 0 1 0 340299400 986386432 234608 33554432000 4194304 8395647 140736291501360 140736291497224 6080353 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26560/statm: 240817 234608 510 1026 0 239787 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 963268
[startup+162.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 26562
/proc/meminfo: memFree=24395872/32873844 swapFree=7108/7108
[pid=26560] ppid=26558 vsize=1166532 CPUtime=162.26 cores=1,3,5,7
/proc/26560/stat : 26560 (pbscip.linux.x8) R 26558 26560 21683 0 -1 4202496 282944 0 0 0 16180 46 0 0 20 0 1 0 340299400 1194528768 285677 33554432000 4194304 8395647 140736291501360 140736291497224 6080379 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26560/statm: 291633 285677 510 1026 0 290603 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1166532
[startup+222.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 26562
/proc/meminfo: memFree=24123348/32873844 swapFree=7108/7108
[pid=26560] ppid=26558 vsize=1352796 CPUtime=222.26 cores=1,3,5,7
/proc/26560/stat : 26560 (pbscip.linux.x8) R 26558 26560 21683 0 -1 4202496 328946 0 0 0 22171 55 0 0 20 0 1 0 340299400 1385263104 331679 33554432000 4194304 8395647 140736291501360 140736291497224 6080705 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26560/statm: 338199 331679 510 1026 0 337169 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1352796
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 26562
/proc/meminfo: memFree=23903028/32873844 swapFree=7108/7108
[pid=26560] ppid=26558 vsize=1484412 CPUtime=282.24 cores=1,3,5,7
/proc/26560/stat : 26560 (pbscip.linux.x8) R 26558 26560 21683 0 -1 4202496 361686 0 0 0 28163 61 0 0 20 0 1 0 340299400 1520037888 364419 33554432000 4194304 8395647 140736291501360 140736291497432 6080692 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26560/statm: 371103 364419 510 1026 0 370073 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1484412
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 26563
/proc/meminfo: memFree=23703168/32873844 swapFree=7108/7108
[pid=26560] ppid=26558 vsize=1590476 CPUtime=342.23 cores=1,3,5,7
/proc/26560/stat : 26560 (pbscip.linux.x8) R 26558 26560 21683 0 -1 4202496 388836 0 0 0 34156 67 0 0 20 0 1 0 340299400 1628647424 391569 33554432000 4194304 8395647 140736291501360 140736291497432 6080688 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26560/statm: 397619 391569 510 1026 0 396589 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1590476
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 26563
/proc/meminfo: memFree=23474168/32873844 swapFree=7108/7108
[pid=26560] ppid=26558 vsize=1738760 CPUtime=402.23 cores=1,3,5,7
/proc/26560/stat : 26560 (pbscip.linux.x8) R 26558 26560 21683 0 -1 4202496 425074 0 0 0 40148 75 0 0 20 0 1 0 340299400 1780490240 427807 33554432000 4194304 8395647 140736291501360 140736291497432 4230937 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26560/statm: 434690 427807 510 1026 0 433660 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1738760
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26566
/proc/meminfo: memFree=23174632/32873844 swapFree=7108/7108
[pid=26560] ppid=26558 vsize=1910496 CPUtime=462.22 cores=1,3,5,7
/proc/26560/stat : 26560 (pbscip.linux.x8) R 26558 26560 21683 0 -1 4202496 466871 0 0 0 46140 82 0 0 20 0 1 0 340299400 1956347904 469604 33554432000 4194304 8395647 140736291501360 140736291497224 6080692 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26560/statm: 477624 469604 510 1026 0 476594 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1910496
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26566
/proc/meminfo: memFree=22883936/32873844 swapFree=7108/7108
[pid=26560] ppid=26558 vsize=1991820 CPUtime=522.21 cores=1,3,5,7
/proc/26560/stat : 26560 (pbscip.linux.x8) R 26558 26560 21683 0 -1 4202496 487581 0 0 0 52135 86 0 0 20 0 1 0 340299400 2039623680 490314 33554432000 4194304 8395647 140736291501360 140736291497224 5210321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26560/statm: 497955 490314 510 1026 0 496925 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1991820
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26566
/proc/meminfo: memFree=22815448/32873844 swapFree=7108/7108
[pid=26560] ppid=26558 vsize=2041592 CPUtime=582.2 cores=1,3,5,7
/proc/26560/stat : 26560 (pbscip.linux.x8) R 26558 26560 21683 0 -1 4202496 500115 0 0 0 58131 89 0 0 20 0 1 0 340299400 2090590208 502848 33554432000 4194304 8395647 140736291501360 140736291497432 5210321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26560/statm: 510398 502848 515 1026 0 509368 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 2041592
[startup+642.3 s]
################
# More data... #
################
/proc/26560/stat : 26560 (pbscip.linux.x8) R 26558 26560 21683 0 -1 4202496 583885 0 0 0 100104 110 0 0 20 0 1 0 340299400 2433966080 586618 33554432000 4194304 8395647 140736291501360 140736291497432 5210281 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26560/statm: 594230 586618 515 1026 0 593200 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 2376920
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26571
/proc/meminfo: memFree=22409140/32873844 swapFree=7108/7108
[pid=26560] ppid=26558 vsize=2423116 CPUtime=1062.12 cores=1,3,5,7
/proc/26560/stat : 26560 (pbscip.linux.x8) R 26558 26560 21683 0 -1 4202496 595816 0 0 0 106100 112 0 0 20 0 1 0 340299400 2481270784 598549 33554432000 4194304 8395647 140736291501360 140736291497288 5210321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26560/statm: 605779 598549 515 1026 0 604749 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 2423116
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26594
/proc/meminfo: memFree=22209740/32873844 swapFree=7108/7108
[pid=26560] ppid=26558 vsize=2640624 CPUtime=1122.12 cores=1,3,5,7
/proc/26560/stat : 26560 (pbscip.linux.x8) R 26558 26560 21683 0 -1 4202496 637734 0 0 0 112091 121 0 0 20 0 1 0 340299400 2703998976 648070 33554432000 4194304 8395647 140736291501360 140736291496488 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26560/statm: 660156 648070 586 1026 0 659126 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 2640624
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26594
/proc/meminfo: memFree=22193816/32873844 swapFree=7108/7108
[pid=26560] ppid=26558 vsize=2652396 CPUtime=1182.11 cores=1,3,5,7
/proc/26560/stat : 26560 (pbscip.linux.x8) R 26558 26560 21683 0 -1 4202496 640843 0 0 0 118086 125 0 0 20 0 1 0 340299400 2716053504 652021 33554432000 4194304 8395647 140736291501360 140736291495768 6697727 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26560/statm: 663099 652021 586 1026 0 662069 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 2652396
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26595
/proc/meminfo: memFree=22178028/32873844 swapFree=7108/7108
[pid=26560] ppid=26558 vsize=2669680 CPUtime=1242.1 cores=1,3,5,7
/proc/26560/stat : 26560 (pbscip.linux.x8) R 26558 26560 21683 0 -1 4202496 643417 0 0 0 124081 129 0 0 20 0 1 0 340299400 2733752320 655899 33554432000 4194304 8395647 140736291501360 140736291496488 6697983 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26560/statm: 667420 655899 586 1026 0 666390 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 2669680
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26595
/proc/meminfo: memFree=22159076/32873844 swapFree=7108/7108
[pid=26560] ppid=26558 vsize=2680024 CPUtime=1302.1 cores=1,3,5,7
/proc/26560/stat : 26560 (pbscip.linux.x8) R 26558 26560 21683 0 -1 4202496 646414 0 0 0 130075 135 0 0 20 0 1 0 340299400 2744344576 660502 33554432000 4194304 8395647 140736291501360 140736291496184 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26560/statm: 670006 660502 591 1026 0 668976 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 2680024
[startup+1362.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 26634
/proc/meminfo: memFree=25001128/32873844 swapFree=7108/7108
[pid=26560] ppid=26558 vsize=2680024 CPUtime=1362.08 cores=1,3,5,7
/proc/26560/stat : 26560 (pbscip.linux.x8) R 26558 26560 21683 0 -1 4202496 646470 0 0 0 136069 139 0 0 20 0 1 0 340299400 2744344576 660576 33554432000 4194304 8395647 140736291501360 140736291495880 6723502 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26560/statm: 670006 660576 591 1026 0 668976 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 2680024
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26634
/proc/meminfo: memFree=24823092/32873844 swapFree=7108/7108
[pid=26560] ppid=26558 vsize=2680024 CPUtime=1422.08 cores=1,3,5,7
/proc/26560/stat : 26560 (pbscip.linux.x8) R 26558 26560 21683 0 -1 4202496 646548 0 0 0 142061 147 0 0 20 0 1 0 340299400 2744344576 660673 33554432000 4194304 8395647 140736291501360 140736291495880 6721321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26560/statm: 670006 660673 591 1026 0 668976 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 2680024
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26634
/proc/meminfo: memFree=24712084/32873844 swapFree=7108/7108
[pid=26560] ppid=26558 vsize=2668012 CPUtime=1482.07 cores=1,3,5,7
/proc/26560/stat : 26560 (pbscip.linux.x8) R 26558 26560 21683 0 -1 4202496 647009 0 0 0 148059 148 0 0 20 0 1 0 340299400 2732044288 654695 33554432000 4194304 8395647 140736291501360 140736291496648 5792796 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26560/statm: 667003 654695 613 1026 0 665973 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 2668012
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26635
/proc/meminfo: memFree=24579184/32873844 swapFree=7108/7108
[pid=26560] ppid=26558 vsize=2668012 CPUtime=1542.06 cores=1,3,5,7
/proc/26560/stat : 26560 (pbscip.linux.x8) R 26558 26560 21683 0 -1 4202496 647009 0 0 0 154058 148 0 0 20 0 1 0 340299400 2732044288 654695 33554432000 4194304 8395647 140736291501360 140736291496648 5792689 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26560/statm: 667003 654695 613 1026 0 665973 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 2668012
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26635
/proc/meminfo: memFree=24425572/32873844 swapFree=7108/7108
[pid=26560] ppid=26558 vsize=2668012 CPUtime=1602.05 cores=1,3,5,7
/proc/26560/stat : 26560 (pbscip.linux.x8) R 26558 26560 21683 0 -1 4202496 647010 0 0 0 160057 148 0 0 20 0 1 0 340299400 2732044288 654695 33554432000 4194304 8395647 140736291501360 140736291496648 5792689 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26560/statm: 667003 654695 613 1026 0 665973 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 2668012
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26638
/proc/meminfo: memFree=24312288/32873844 swapFree=7108/7108
[pid=26560] ppid=26558 vsize=2668012 CPUtime=1662.04 cores=1,3,5,7
/proc/26560/stat : 26560 (pbscip.linux.x8) R 26558 26560 21683 0 -1 4202496 647013 0 0 0 166056 148 0 0 20 0 1 0 340299400 2732044288 654695 33554432000 4194304 8395647 140736291501360 140736291496648 5792894 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26560/statm: 667003 654695 613 1026 0 665973 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 2668012
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 26638
/proc/meminfo: memFree=24311864/32873844 swapFree=7108/7108
[pid=26560] ppid=26558 vsize=2668012 CPUtime=1722.03 cores=1,3,5,7
/proc/26560/stat : 26560 (pbscip.linux.x8) R 26558 26560 21683 0 -1 4202496 647015 0 0 0 172055 148 0 0 20 0 1 0 340299400 2732044288 654844 33554432000 4194304 8395647 140736291501360 140736291496648 5792673 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26560/statm: 667003 654844 613 1026 0 665973 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 2668012
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 26638
/proc/meminfo: memFree=24310652/32873844 swapFree=7108/7108
[pid=26560] ppid=26558 vsize=2668012 CPUtime=1782.01 cores=1,3,5,7
/proc/26560/stat : 26560 (pbscip.linux.x8) R 26558 26560 21683 0 -1 4202496 647019 0 0 0 178053 148 0 0 20 0 1 0 340299400 2732044288 655165 33554432000 4194304 8395647 140736291501360 140736291496648 5792894 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26560/statm: 667003 655165 613 1026 0 665973 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 2668012
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 26638
/proc/meminfo: memFree=24272412/32873844 swapFree=7108/7108
[pid=26560] ppid=26558 vsize=2676324 CPUtime=1800.01 cores=1,3,5,7
/proc/26560/stat : 26560 (pbscip.linux.x8) R 26558 26560 21683 0 -1 4202496 648535 0 0 0 179853 148 0 0 20 0 1 0 340299400 2740555776 657720 33554432000 4194304 8395647 140736291501360 140736291497384 5794576 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26560/statm: 669081 657720 613 1026 0 668051 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2676324
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -26560
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 26639
/proc/meminfo: memFree=24270364/32873844 swapFree=7108/7108
[pid=26560] ppid=26558 vsize=2676324 CPUtime=1801.11 cores=1,3,5,7
/proc/26560/stat : 26560 (pbscip.linux.x8) R 26558 26560 21683 0 -1 4202496 648536 0 0 0 179963 148 0 0 20 0 1 0 340299400 2740555776 658232 33554432000 4194304 8395647 140736291501360 140736291496640 5794576 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26560/statm: 669081 658232 613 1026 0 668051 0
Current children cumulated CPU time (s) 1801.11
Current children cumulated vsize (KiB) 2676324
[startup+1802.2 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 26639
/proc/meminfo: memFree=24268184/32873844 swapFree=7108/7108
[pid=26560] ppid=26558 vsize=2676324 CPUtime=1801.91 cores=1,3,5,7
/proc/26560/stat : 26560 (pbscip.linux.x8) R 26558 26560 21683 0 -1 4202496 648536 0 0 0 180043 148 0 0 20 0 1 0 340299400 2740555776 658232 33554432000 4194304 8395647 140736291501360 140736291496640 5794534 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26560/statm: 669081 658232 613 1026 0 668051 0
Current children cumulated CPU time (s) 1801.91
Current children cumulated vsize (KiB) 2676324
[startup+1802.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 26639
/proc/meminfo: memFree=24268184/32873844 swapFree=7108/7108
[pid=26560] ppid=26558 vsize=0 CPUtime=1802.1 cores=1,3,5,7
/proc/26560/stat : 26560 (pbscip.linux.x8) R 26558 26560 21683 0 -1 4203524 648536 0 0 0 180053 157 0 0 20 0 1 0 340299400 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26560/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.1
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.44
CPU time (s): 1802.15
CPU user time (s): 1800.54
CPU system time (s): 1.61475
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 2680024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.54
system time used= 1.61475
maximum resident set size= 2642696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 648536
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= 14
involuntary context switches= 1878
runsolver used 3.37849 second user time and 8.18276 second system time
The end