0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
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-2664144-1276397939.opb>
0.09/0.10 c original problem has 540 variables (540 bin, 0 int, 0 impl, 0 cont) and 4476 constraints
0.09/0.10 c problem read
0.09/0.10 c presolving settings loaded
0.09/0.10 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.09/0.12 c presolving:
0.19/0.20 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 4476 upgd conss, 1260 impls, 210 clqs
0.29/0.30 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 3360 chg sides, 5040 chg coeffs, 4476 upgd conss, 1260 impls, 210 clqs
0.59/0.69 c (0.5s) probing: 401/540 (74.3%) - 0 fixings, 0 aggregations, 1590 implications, 0 bound changes
0.59/0.69 c (0.5s) probing aborted: 100/100 successive totally useless probings
0.59/0.69 c presolving (3 rounds):
0.59/0.69 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 3360 changed sides, 5040 changed coefficients
0.59/0.69 c 4440 implications, 210 cliques
0.59/0.69 c presolved problem has 540 variables (540 bin, 0 int, 0 impl, 0 cont) and 4476 constraints
0.59/0.69 c 1734 constraints of type <knapsack>
0.59/0.69 c 210 constraints of type <setppc>
0.59/0.69 c 2532 constraints of type <logicor>
0.59/0.69 c transformed objective value is always integral (scale: 1)
0.59/0.69 c Presolving Time: 0.53
0.59/0.69 c - non default parameters ----------------------------------------------------------------------
0.59/0.69 c # SCIP version 1.2.1.2
0.59/0.69 c
0.59/0.69 c # frequency for displaying node information lines
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.69 c display/freq = 10000
0.59/0.69 c
0.59/0.69 c # maximal time in seconds to run
0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.69 c limits/time = 1799.91
0.59/0.69 c
0.59/0.69 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.69 c limits/memory = 1620
0.59/0.69 c
0.59/0.69 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.69 c lp/solvefreq = -1
0.59/0.69 c
0.59/0.69 c # should presolving try to simplify inequalities
0.59/0.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.69 c constraints/linear/simplifyinequalities = TRUE
0.59/0.69 c
0.59/0.69 c # should presolving try to simplify knapsacks
0.59/0.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.69 c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.69 c
0.59/0.69 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.69 c separating/rapidlearning/freq = 0
0.59/0.69 c
0.59/0.69 c -----------------------------------------------------------------------------------------------
0.59/0.69 c start solving
0.59/0.69 c
0.59/0.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.69 c 0.6s| 1 | 2 | 0 | - |6341k| 0 | - | 540 |4476 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.49/1.58 o 86
1.49/1.58 c * 1.4s| 876 | 764 | 0 | 0.0 |6928k| 70 | - | 540 |4656 | 0 | 0 | 0 | 181 | 0 | 0.000000e+00 | 8.600000e+01 | Inf
11.39/11.40 c 11.0s| 10000 | 9312 | 0 | 0.0 | 14M| 70 | - | 540 |4844 | 0 | 0 | 0 |1307 | 0 | 0.000000e+00 | 8.600000e+01 | Inf
11.79/11.81 o 76
11.79/11.81 c *11.4s| 10315 | 9587 | 0 | 0.0 | 14M| 70 | - | 540 |4868 | 0 | 0 | 0 |1381 | 0 | 0.000000e+00 | 7.600000e+01 | Inf
23.59/23.63 c 22.9s| 20000 | 18735 | 0 | 0.0 | 21M| 77 | - | 540 |4661 | 0 | 0 | 0 |2608 | 0 | 0.000000e+00 | 7.600000e+01 | Inf
34.79/34.86 c 33.9s| 30000 | 28447 | 0 | 0.0 | 29M| 77 | - | 540 |4664 | 0 | 0 | 0 |3206 | 0 | 0.000000e+00 | 7.600000e+01 | Inf
35.68/35.75 o 74
35.68/35.75 c *34.8s| 30776 | 29211 | 0 | 0.0 | 30M| 77 | - | 540 |4637 | 0 | 0 | 0 |3216 | 0 | 0.000000e+00 | 7.400000e+01 | Inf
46.48/46.59 c 45.4s| 40000 | 38074 | 0 | 0.0 | 37M| 77 | - | 540 |4763 | 0 | 0 | 0 |3910 | 0 | 0.000000e+00 | 7.400000e+01 | Inf
59.67/59.74 c 58.2s| 50000 | 47511 | 0 | 0.0 | 46M| 77 | - | 540 |4878 | 0 | 0 | 0 |5079 | 0 | 0.000000e+00 | 7.400000e+01 | Inf
73.47/73.58 c 71.8s| 60000 | 56581 | 0 | 0.0 | 56M| 77 | - | 540 |5185 | 0 | 0 | 0 |7419 | 0 | 0.000000e+00 | 7.400000e+01 | Inf
89.17/89.29 c 87.2s| 70000 | 64810 | 0 | 0.0 | 65M| 77 | - | 540 |5691 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
106.46/106.54 c 104s| 80000 | 72597 | 0 | 0.0 | 74M| 77 | - | 540 |5914 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
121.35/121.49 c 119s| 90000 | 80368 | 0 | 0.0 | 83M| 77 | - | 540 |6009 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
135.94/136.00 c 133s|100000 | 88314 | 0 | 0.0 | 92M| 82 | - | 540 |5825 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
149.34/149.43 c 146s|110000 | 96627 | 0 | 0.0 | 100M| 82 | - | 540 |5844 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
163.04/163.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
163.04/163.14 c 159s|120000 |105063 | 0 | 0.0 | 109M| 82 | - | 540 |5818 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
176.63/176.78 c 173s|130000 |113706 | 0 | 0.0 | 117M| 82 | - | 540 |5306 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
189.73/189.81 c 186s|140000 |122340 | 0 | 0.0 | 126M| 82 | - | 540 |5557 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
203.33/203.40 c 199s|150000 |130965 | 0 | 0.0 | 134M| 82 | - | 540 |5498 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
216.72/216.80 c 212s|160000 |139490 | 0 | 0.0 | 143M| 82 | - | 540 |5725 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
232.51/232.64 c 228s|170000 |147961 | 0 | 0.0 | 151M| 82 | - | 540 |5580 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
248.70/248.84 c 243s|180000 |156596 | 0 | 0.0 | 160M| 82 | - | 540 |5519 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
262.00/262.19 c 256s|190000 |165313 | 0 | 0.0 | 169M| 82 | - | 540 |5558 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
277.10/277.28 c 271s|200000 |173918 | 0 | 0.0 | 178M| 82 | - | 540 |5428 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
294.00/294.14 c 288s|210000 |182908 | 0 | 0.0 | 187M| 82 | - | 540 |5478 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
308.89/309.07 c 302s|220000 |191570 | 0 | 0.0 | 197M| 82 | - | 540 |5546 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
323.59/323.73 c 317s|230000 |200199 | 0 | 0.0 | 207M| 82 | - | 540 |5538 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
340.18/340.31 c 333s|240000 |208633 | 0 | 0.0 | 216M| 82 | - | 540 |5868 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
356.77/356.95 c 349s|250000 |216903 | 0 | 0.0 | 226M| 82 | - | 540 |5819 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
373.47/373.67 c 366s|260000 |224754 | 0 | 0.0 | 236M| 82 | - | 540 |6378 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
390.46/390.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
390.46/390.68 c 382s|270000 |232410 | 0 | 0.0 | 246M| 82 | - | 540 |6156 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
404.95/405.18 c 397s|280000 |241381 | 0 | 0.0 | 256M| 82 | - | 540 |5782 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
420.45/420.61 c 412s|290000 |249754 | 0 | 0.0 | 266M| 82 | - | 540 |5911 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
436.15/436.35 c 427s|300000 |258062 | 0 | 0.0 | 275M| 82 | - | 540 |5919 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
452.34/452.53 c 443s|310000 |265969 | 0 | 0.0 | 284M| 82 | - | 540 |6316 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
469.73/469.98 c 460s|320000 |272906 | 0 | 0.0 | 293M| 82 | - | 540 |7025 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
489.13/489.34 c 479s|330000 |279437 | 0 | 0.0 | 302M| 82 | - | 540 |7202 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
507.22/507.49 c 497s|340000 |286130 | 0 | 0.0 | 311M| 82 | - | 540 |6350 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
521.72/521.97 c 511s|350000 |294261 | 0 | 0.0 | 319M| 82 | - | 540 |6119 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
538.83/539.05 c 528s|360000 |302277 | 0 | 0.0 | 328M| 82 | - | 540 |6338 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
555.51/555.70 c 544s|370000 |310285 | 0 | 0.0 | 337M| 82 | - | 540 |6467 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
572.81/573.04 c 561s|380000 |317875 | 0 | 0.0 | 346M| 82 | - | 540 |6663 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
589.80/590.04 c 578s|390000 |325447 | 0 | 0.0 | 354M| 82 | - | 540 |6624 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
607.20/607.43 c 595s|400000 |333050 | 0 | 0.0 | 363M| 82 | - | 540 |6761 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
626.89/627.12 c 614s|410000 |340005 | 0 | 0.0 | 372M| 82 | - | 540 |7354 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
645.40/645.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
645.40/645.66 c 632s|420000 |346910 | 0 | 0.0 | 382M| 82 | - | 540 |7224 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
665.19/665.49 c 652s|430000 |353362 | 0 | 0.0 | 391M| 82 | - | 540 |7802 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
684.38/684.65 c 671s|440000 |359829 | 0 | 0.0 | 400M| 82 | - | 540 |6371 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
701.07/701.37 c 687s|450000 |368357 | 0 | 0.0 | 409M| 82 | - | 540 |6012 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
717.26/717.58 c 703s|460000 |376481 | 0 | 0.0 | 418M| 82 | - | 540 |6551 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
732.86/733.14 c 718s|470000 |384742 | 0 | 0.0 | 428M| 82 | - | 540 |6002 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
749.56/749.83 c 734s|480000 |392748 | 0 | 0.0 | 438M| 82 | - | 540 |6448 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
767.85/768.12 c 752s|490000 |400129 | 0 | 0.0 | 447M| 82 | - | 540 |7044 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
786.65/786.95 c 771s|500000 |407437 | 0 | 0.0 | 456M| 82 | - | 540 |7062 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
807.44/807.71 c 791s|510000 |413972 | 0 | 0.0 | 466M| 82 | - | 540 |7813 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
827.24/827.59 c 811s|520000 |420117 | 0 | 0.0 | 474M| 82 | - | 540 |7699 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
841.83/842.15 c 825s|530000 |428156 | 0 | 0.0 | 482M| 82 | - | 540 |6981 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
857.23/857.58 c 840s|540000 |436207 | 0 | 0.0 | 491M| 82 | - | 540 |7089 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
871.62/871.93 c 854s|550000 |444309 | 0 | 0.0 | 499M| 82 | - | 540 |6965 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
887.12/887.44 c 869s|560000 |451990 | 0 | 0.0 | 507M| 82 | - | 540 |6809 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
903.22/903.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
903.22/903.58 c 885s|570000 |459482 | 0 | 0.0 | 516M| 82 | - | 540 |7045 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
919.61/919.90 c 901s|580000 |467002 | 0 | 0.0 | 524M| 82 | - | 540 |6816 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
934.90/935.26 c 916s|590000 |474815 | 0 | 0.0 | 533M| 82 | - | 540 |7067 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
952.31/952.67 c 933s|600000 |482463 | 0 | 0.0 | 542M| 82 | - | 540 |6450 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
968.40/968.79 c 949s|610000 |490165 | 0 | 0.0 | 551M| 82 | - | 540 |6537 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
984.99/985.30 c 965s|620000 |497753 | 0 | 0.0 | 560M| 82 | - | 540 |6859 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
1001.88/1002.28 c 982s|630000 |505451 | 0 | 0.0 | 569M| 82 | - | 540 |7006 | 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
1018.79/1019.12 c 998s|640000 |513282 | 0 | 0.0 | 578M| 82 | - | 540 |6927 | 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
1035.88/1036.27 c 1015s|650000 |520878 | 0 | 0.0 | 587M| 82 | - | 540 |6184 | 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
1053.17/1053.50 c 1032s|660000 |528240 | 0 | 0.0 | 596M| 82 | - | 540 |6631 | 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
1070.07/1070.46 c 1049s|670000 |535876 | 0 | 0.0 | 606M| 82 | - | 540 |6607 | 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
1087.57/1087.92 c 1066s|680000 |543444 | 0 | 0.0 | 615M| 82 | - | 540 |6887 | 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
1105.96/1106.33 c 1084s|690000 |550856 | 0 | 0.0 | 624M| 82 | - | 540 |6849 | 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
1122.95/1123.30 c 1101s|700000 |558358 | 0 | 0.0 | 634M| 82 | - | 540 |6833 | 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
1140.15/1140.52 c 1117s|710000 |565751 | 0 | 0.0 | 643M| 82 | - | 540 |7018 | 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
1157.54/1157.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1157.54/1157.92 c 1135s|720000 |573124 | 0 | 0.0 | 652M| 82 | - | 540 |6884 | 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
1175.14/1175.50 c 1152s|730000 |580601 | 0 | 0.0 | 661M| 82 | - | 540 |6561 | 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
1192.54/1192.91 c 1169s|740000 |588084 | 0 | 0.0 | 670M| 82 | - | 540 |6643 | 0 | 0 | 0 | 417k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
1210.33/1210.71 c 1186s|750000 |595317 | 0 | 0.0 | 679M| 82 | - | 540 |6745 | 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
1228.43/1228.81 c 1204s|760000 |602506 | 0 | 0.0 | 688M| 82 | - | 540 |6550 | 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
1246.61/1247.04 c 1222s|770000 |609691 | 0 | 0.0 | 698M| 82 | - | 540 |7129 | 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
1267.11/1267.53 c 1242s|780000 |616684 | 0 | 0.0 | 707M| 82 | - | 540 |7077 | 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
1286.90/1287.33 c 1261s|790000 |623701 | 0 | 0.0 | 717M| 82 | - | 540 |7380 | 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
1307.51/1307.91 c 1282s|800000 |630355 | 0 | 0.0 | 727M| 82 | - | 540 |7756 | 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
1325.49/1325.94 c 1299s|810000 |637356 | 0 | 0.0 | 736M| 82 | - | 540 |6873 | 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
1340.59/1341.08 c 1314s|820000 |645262 | 0 | 0.0 | 744M| 82 | - | 540 |6615 | 0 | 0 | 0 | 479k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
1357.27/1357.76 c 1331s|830000 |652944 | 0 | 0.0 | 753M| 82 | - | 540 |6782 | 0 | 0 | 0 | 485k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
1373.07/1373.50 c 1346s|840000 |660606 | 0 | 0.0 | 761M| 82 | - | 540 |6784 | 0 | 0 | 0 | 492k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
1390.97/1391.44 c 1364s|850000 |668370 | 0 | 0.0 | 770M| 82 | - | 540 |6668 | 0 | 0 | 0 | 498k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
1408.26/1408.75 c 1381s|860000 |675990 | 0 | 0.0 | 779M| 82 | - | 540 |6573 | 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
1424.26/1424.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1424.26/1424.78 c 1396s|870000 |683922 | 0 | 0.0 | 788M| 82 | - | 540 |6688 | 0 | 0 | 0 | 510k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
1440.35/1440.89 c 1412s|880000 |691676 | 0 | 0.0 | 797M| 82 | - | 540 |6722 | 0 | 0 | 0 | 517k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
1456.84/1457.32 c 1428s|890000 |699268 | 0 | 0.0 | 806M| 82 | - | 540 |7141 | 0 | 0 | 0 | 524k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
1473.44/1473.99 c 1444s|900000 |706846 | 0 | 0.0 | 815M| 82 | - | 540 |6878 | 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
1491.43/1491.99 c 1462s|910000 |714209 | 0 | 0.0 | 824M| 82 | - | 540 |7191 | 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
1508.13/1508.61 c 1478s|920000 |721891 | 0 | 0.0 | 833M| 82 | - | 540 |7140 | 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
1526.33/1526.88 c 1496s|930000 |729524 | 0 | 0.0 | 843M| 82 | - | 540 |7095 | 0 | 0 | 0 | 552k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
1544.22/1544.73 c 1514s|940000 |737085 | 0 | 0.0 | 852M| 82 | - | 540 |6766 | 0 | 0 | 0 | 559k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
1562.31/1562.89 c 1532s|950000 |744550 | 0 | 0.0 | 861M| 82 | - | 540 |6921 | 0 | 0 | 0 | 566k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
1579.02/1579.52 c 1548s|960000 |752163 | 0 | 0.0 | 870M| 82 | - | 540 |6856 | 0 | 0 | 0 | 573k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
1596.70/1597.21 c 1565s|970000 |759529 | 0 | 0.0 | 879M| 82 | - | 540 |6849 | 0 | 0 | 0 | 580k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
1613.89/1614.50 c 1582s|980000 |767011 | 0 | 0.0 | 889M| 82 | - | 540 |6628 | 0 | 0 | 0 | 587k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
1632.69/1633.23 c 1601s|990000 |774067 | 0 | 0.0 | 897M| 82 | - | 540 |6632 | 0 | 0 | 0 | 595k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
1651.78/1652.32 c 1619s| 1000k|781163 | 0 | 0.0 | 907M| 82 | - | 540 |7665 | 0 | 0 | 0 | 604k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
1670.68/1671.26 c 1638s| 1010k|788416 | 0 | 0.0 | 916M| 82 | - | 540 |7313 | 0 | 0 | 0 | 612k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
1675.98/1676.52 o 70
1675.98/1676.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1675.98/1676.52 c *1643s| 1012k|789911 | 0 | 0.0 | 918M| 82 | - | 540 |7457 | 0 | 0 | 0 | 614k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
1690.97/1691.59 c 1658s| 1020k|794964 | 0 | 0.0 | 924M| 82 | - | 540 |7461 | 0 | 0 | 0 | 621k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
1710.86/1711.43 c 1678s| 1030k|801866 | 0 | 0.0 | 933M| 82 | - | 540 |7397 | 0 | 0 | 0 | 629k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
1730.35/1730.90 c 1697s| 1040k|808764 | 0 | 0.0 | 942M| 82 | - | 540 |7260 | 0 | 0 | 0 | 638k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
1749.95/1750.58 c 1716s| 1050k|815460 | 0 | 0.0 | 952M| 82 | - | 540 |7461 | 0 | 0 | 0 | 647k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
1770.14/1770.76 c 1736s| 1060k|822052 | 0 | 0.0 | 961M| 82 | - | 540 |7610 | 0 | 0 | 0 | 655k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
1791.74/1792.36 c 1757s| 1070k|828446 | 0 | 0.0 | 970M| 82 | - | 540 |7679 | 0 | 0 | 0 | 665k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
1800.05/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.62 c
1800.05/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.62 c Solving Time (sec) : 1765.18
1800.05/1800.62 c Solving Nodes : 1073777
1800.05/1800.62 c Primal Bound : +7.00000000000000e+01 (4 solutions)
1800.05/1800.62 c Dual Bound : +0.00000000000000e+00
1800.05/1800.62 c Gap : infinite
1800.05/1800.62 s SATISFIABLE
1800.05/1800.62 v x325 x289 x253 -x217 -x181 -x145 x109 x73 -x37 -x1 x360 x324 -x288 x252 -x216 -x180 -x144 x108 x72 -x36 -x353 x317 x281 -x245 x209
1800.05/1800.62 v x173 -x137 -x101 -x65 x29 x346 -x310 -x274 -x238 x202 x166 x130 -x94 x58 -x22 -x339 -x303 -x267 x231 -x195 x159 x123 x87
1800.05/1800.62 v -x51 x15 -x332 -x296 x260 x224 x188 -x152 -x116 -x80 x44 x8 -x359 -x323 x287 -x251 -x215 -x179 -x143 -x107 -x71 -x35 -x358 -x322
1800.05/1800.62 v -x286 -x250 x214 -x178 -x142 -x106 -x70 -x34 -x357 -x321 -x285 -x249 -x213 x177 -x141 -x105 -x69 -x33 -x356 -x320 -x284 -x248
1800.05/1800.62 v -x212 -x176 -x140 -x104 -x68 x32 -x355 -x319 -x283 -x247 -x211 -x175 x139 -x103 -x67 -x31 -x354 -x318 -x282 -x246 -x210
1800.05/1800.62 v -x174 -x138 -x102 x66 -x30 x352 -x316 -x280 -x244 -x208 -x172 -x136 -x100 -x64 -x28 -x351 -x315 -x279 -x243 -x207 -x171 x135
1800.05/1800.62 v -x99 -x63 -x27 -x350 -x314 -x278 x242 -x206 -x170 -x134 -x98 -x62 -x26 -x349 -x313 -x277 -x241 -x205 -x169 -x133 x97 -x61 -x25
1800.05/1800.62 v -x348 -x312 -x276 -x240 -x204 -x168 -x132 x96 -x60 -x24 -x347 -x311 -x275 -x239 -x203 -x167 -x131 -x95 -x59 x23 -x345 -x309
1800.05/1800.62 v -x273 x237 -x201 -x165 -x129 -x93 -x57 -x21 -x344 -x308 x272 -x236 -x200 -x164 -x128 -x92 -x56 -x20 -x343 x307 -x271 -x235 -x199
1800.05/1800.62 v -x163 -x127 -x91 -x55 -x19 x342 -x306 -x270 -x234 -x198 -x162 -x126 -x90 -x54 -x18 -x341 x305 -x269 -x233 -x197 -x161 -x125
1800.05/1800.62 v -x89 -x53 -x17 -x340 -x304 -x268 -x232 -x196 -x160 -x124 -x88 x52 -x16 -x338 -x302 -x266 -x230 x194 -x158 -x122 -x86 -x50
1800.05/1800.62 v -x14 -x337 -x301 x265 -x229 -x193 -x157 -x121 -x85 -x49 -x13 -x336 x300 -x264 -x228 -x192 -x156 -x120 -x84 -x48 -x12 -x335 -x299
1800.05/1800.62 v -x263 -x227 -x191 x155 -x119 -x83 -x47 -x11 -x334 -x298 -x262 -x226 -x190 -x154 x118 -x82 -x46 -x10 -x333 -x297 -x261 -x225
1800.05/1800.62 v -x189 -x153 -x117 x81 -x45 -x9 x331 -x295 -x259 -x223 -x187 -x151 -x115 -x79 -x43 -x7 -x330 -x294 -x258 x222 -x186 -x150
1800.05/1800.62 v -x114 -x78 -x42 -x6 -x329 -x293 -x257 -x221 x185 -x149 -x113 -x77 -x41 -x5 -x328 -x292 -x256 -x220 -x184 x148 -x112 -x76 -x40
1800.05/1800.62 v -x4 -x327 -x291 -x255 -x219 -x183 -x147 -x111 -x75 -x39 x3 -x326 -x290 -x254 -x218 -x182 -x146 -x110 -x74 x38 -x2 x540 -x539
1800.05/1800.62 v -x538 x537 x536 x535 -x534 -x533 -x532 -x531 x530 -x529 -x528 -x527 -x526 -x525 -x524 x523 -x522 -x521 x520 -x519 -x518 -x517
1800.05/1800.62 v -x516 -x515 -x514 -x513 x512 -x511 -x510 -x509 -x508 -x507 x506 x505 x504 -x503 x502 -x501 -x500 x499 -x498 -x497 -x496 -x495
1800.05/1800.62 v x494 -x493 -x492 -x491 -x490 x489 -x488 -x487 -x486 -x485 -x484 -x483 x482 -x481 -x480 x479 -x478 -x477 -x476 -x475 x474 -x473
1800.05/1800.62 v -x472 -x471 x470 x469 x468 -x467 -x466 -x465 -x464 -x463 x462 -x461 -x460 -x459 -x458 -x457 x456 -x455 -x454 x453 -x452
1800.05/1800.62 v -x451 -x450 -x449 x448 -x447 -x446 x445 -x444 -x443 -x442 -x441 -x440 -x439 x438 -x437 -x436 -x435 -x434 x433 x432 x431 -x430
1800.05/1800.62 v -x429 -x428 x427 -x426 -x425 x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 x416 -x415 -x414 -x413 x412 -x411 -x410 x409 -x408
1800.05/1800.62 v -x407 -x406 -x405 -x404 x403 -x402 -x401 x400 -x399 -x398 x397 -x396 -x395 -x394 -x393 -x392 x391 -x390 -x389 -x388 -x387
1800.05/1800.62 v x386 x385 -x384 -x383 -x382 -x381 -x380 x379 -x378 -x377 -x376 -x375 -x374 -x373 x372 -x371 -x370 -x369 -x368 -x367 x366 -x365
1800.05/1800.62 v -x364 x363 x362 -x361
1800.05/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.62 c Solving Time : 1765.18
1800.05/1800.62 c Original Problem :
1800.05/1800.62 c Problem name : HOME/instance-2664144-1276397939.opb
1800.05/1800.62 c Variables : 540 (540 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.62 c Constraints : 4476 initial, 4476 maximal
1800.05/1800.62 c Presolved Problem :
1800.05/1800.62 c Problem name : t_HOME/instance-2664144-1276397939.opb
1800.05/1800.62 c Variables : 540 (540 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.62 c Constraints : 4476 initial, 8777 maximal
1800.05/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c probing : 0.31 0 0 0 0 0 0 0 0
1800.05/1800.62 c knapsack : 0.13 0 0 0 0 0 0 3360 5040
1800.05/1800.62 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.62 c root node : - 0 - - 0 - - - -
1800.05/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.62 c knapsack : 1734 0 3080318 0 970381 4072 1632003 0 0 0
1800.05/1800.62 c setppc : 210 0 3076242 0 970377 105338 12193005 0 0 0
1800.05/1800.62 c logicor : 2532+ 0 2267497 0 970381 26066 5981532 0 0 0
1800.05/1800.62 c countsols : 0 0 0 0 970381 0 0 0 0 0
1800.05/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.62 c knapsack : 641.79 0.00 523.62 0.00 118.17
1800.05/1800.62 c setppc : 139.19 0.00 91.71 0.00 47.48
1800.05/1800.62 c logicor : 517.95 0.00 197.77 0.00 320.18
1800.05/1800.62 c countsols : 0.45 0.00 0.00 0.00 0.45
1800.05/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.62 c vbounds : 1.65 2 0 0
1800.05/1800.62 c rootredcost : 1.67 0 0 0
1800.05/1800.62 c pseudoobj : 40.39 3082113 2874 19732
1800.05/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.62 c propagation : 19.41 138350 138315 1269075 35.7 7921 17.5 -
1800.05/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.62 c applied globally : - - - 670077 25.2 - - -
1800.05/1800.62 c applied locally : - - - 113 69.0 - - -
1800.05/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.62 c redcost : 0.00 0 0 0 0 0
1800.05/1800.62 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.62 c intobj : 0.00 0 0 0 0 0
1800.05/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.62 c gomory : 0.00 0 0 0 0 0
1800.05/1800.62 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.62 c cmir : 0.00 0 0 0 0 0
1800.05/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.62 c clique : 0.00 0 0 0 0 0
1800.05/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.62 c mcf : 0.00 0 0 0 0 0
1800.05/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.62 c Pricers : Time Calls Vars
1800.05/1800.62 c problem variables: 0.00 0 0
1800.05/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.62 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.62 c inference : 99.72 970377 0 0 0 0 1940754
1800.05/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.62 c random : 0.00 0 0 0 0 0 0
1800.05/1800.62 c Primal Heuristics : Time Calls Found
1800.05/1800.62 c LP solutions : 0.00 - 0
1800.05/1800.62 c pseudo solutions : 0.03 - 4
1800.05/1800.62 c oneopt : 1.43 0 0
1800.05/1800.62 c trivial : 0.00 2 0
1800.05/1800.62 c simplerounding : 0.00 0 0
1800.05/1800.62 c zirounding : 0.00 0 0
1800.05/1800.62 c rounding : 0.00 0 0
1800.05/1800.62 c shifting : 0.00 0 0
1800.05/1800.62 c intshifting : 0.00 0 0
1800.05/1800.62 c twoopt : 0.00 0 0
1800.05/1800.62 c fixandinfer : 0.00 0 0
1800.05/1800.62 c feaspump : 0.00 0 0
1800.05/1800.62 c coefdiving : 0.00 0 0
1800.05/1800.62 c pscostdiving : 0.00 0 0
1800.05/1800.62 c fracdiving : 0.00 0 0
1800.05/1800.62 c veclendiving : 0.00 0 0
1800.05/1800.62 c intdiving : 0.00 0 0
1800.05/1800.62 c actconsdiving : 0.00 0 0
1800.05/1800.62 c objpscostdiving : 0.00 0 0
1800.05/1800.62 c rootsoldiving : 0.00 0 0
1800.05/1800.62 c linesearchdiving : 0.00 0 0
1800.05/1800.62 c guideddiving : 0.00 0 0
1800.05/1800.62 c octane : 0.00 0 0
1800.05/1800.62 c rens : 0.00 0 0
1800.05/1800.62 c rins : 0.00 0 0
1800.05/1800.62 c localbranching : 0.00 0 0
1800.05/1800.62 c mutation : 0.00 0 0
1800.05/1800.62 c crossover : 0.00 0 0
1800.05/1800.62 c dins : 0.00 0 0
1800.05/1800.62 c undercover : 0.00 0 0
1800.05/1800.62 c nlp : 0.60 0 0
1800.05/1800.62 c trysol : 0.73 0 0
1800.05/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.62 c (at root node) : - 0 0 0.00 -
1800.05/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.62 c B&B Tree :
1800.05/1800.62 c number of runs : 1
1800.05/1800.62 c nodes : 1073777
1800.05/1800.62 c nodes (total) : 1073777
1800.05/1800.62 c nodes left : 830594
1800.05/1800.62 c max depth : 82
1800.05/1800.62 c max depth (total): 82
1800.05/1800.62 c backtracks : 77683 (7.2%)
1800.05/1800.62 c delayed cutoffs : 36274
1800.05/1800.62 c repropagations : 159909 (2542593 domain reductions, 34954 cutoffs)
1800.05/1800.62 c avg switch length: 5.69
1800.05/1800.62 c switching time : 229.97
1800.05/1800.62 c Solution :
1800.05/1800.62 c Solutions found : 4 (4 improvements)
1800.05/1800.62 c First Solution : +8.60000000000000e+01 (in run 1, after 876 nodes, 1.41 seconds, depth 45, found by <relaxation>)
1800.05/1800.62 c Primal Bound : +7.00000000000000e+01 (in run 1, after 1012597 nodes, 1643.20 seconds, depth 49, found by <relaxation>)
1800.05/1800.62 c Dual Bound : +0.00000000000000e+00
1800.05/1800.62 c Gap : infinite
1800.05/1800.62 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.62 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664144-1276397939/watcher-2664144-1276397939 -o /tmp/evaluation-result-2664144-1276397939/solver-2664144-1276397939 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664144-1276397939.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.92 1.00 1.04 3/106 21680
/proc/meminfo: memFree=1789980/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=6584 CPUtime=0
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 993 0 0 0 0 0 0 0 20 0 1 0 13450264 6742016 915 1992294400 4194304 7136930 140736382226208 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21680/statm: 1646 923 254 719 0 925 0
[startup+0.0870211 s]
/proc/loadavg: 0.92 1.00 1.04 3/106 21680
/proc/meminfo: memFree=1789980/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=10368 CPUtime=0.07
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 2084 0 0 0 7 0 0 0 20 0 1 0 13450264 10616832 2006 1992294400 4194304 7136930 140736382226208 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21680/statm: 2592 2006 271 719 0 1871 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10368
[startup+0.101022 s]
/proc/loadavg: 0.92 1.00 1.04 3/106 21680
/proc/meminfo: memFree=1789980/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=10500 CPUtime=0.09
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 2099 0 0 0 9 0 0 0 20 0 1 0 13450264 10752000 2020 1992294400 4194304 7136930 140736382226208 18446744073709551615 4333573 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21680/statm: 2625 2020 272 719 0 1904 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10500
[startup+0.301041 s]
/proc/loadavg: 0.92 1.00 1.04 3/106 21680
/proc/meminfo: memFree=1789980/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=21124 CPUtime=0.29
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 6494 0 0 0 26 3 0 0 20 0 1 0 13450264 21630976 4520 1992294400 4194304 7136930 140736382226208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 5281 4520 361 719 0 4560 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21124
[startup+0.701079 s]
/proc/loadavg: 0.92 1.00 1.04 3/106 21680
/proc/meminfo: memFree=1789980/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=22828 CPUtime=0.69
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 7713 0 0 0 64 5 0 0 21 0 1 0 13450264 23375872 4968 1992294400 4194304 7136930 140736382226208 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 5707 4968 393 719 0 4986 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22828
[startup+1.50116 s]
/proc/loadavg: 0.92 1.00 1.04 2/107 21681
/proc/meminfo: memFree=1771496/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=23240 CPUtime=1.49
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 7823 0 0 0 142 7 0 0 23 0 1 0 13450264 23797760 5078 1992294400 4194304 7136930 140736382226208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 5810 5078 397 719 0 5089 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23240
[startup+3.10131 s]
/proc/loadavg: 0.92 1.00 1.04 2/107 21681
/proc/meminfo: memFree=1770504/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=24676 CPUtime=3.09
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 8211 0 0 0 298 11 0 0 25 0 1 0 13450264 25268224 5466 1992294400 4194304 7136930 140736382226208 18446744073709551615 6166784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 6169 5466 397 719 0 5448 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24676
[startup+6.30062 s]
/proc/loadavg: 0.93 1.00 1.04 2/107 21681
/proc/meminfo: memFree=1767528/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=27264 CPUtime=6.29
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 8842 0 0 0 608 21 0 0 25 0 1 0 13450264 27918336 6097 1992294400 4194304 7136930 140736382226208 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 6816 6097 397 719 0 6095 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27264
[startup+12.7012 s]
/proc/loadavg: 0.93 1.00 1.04 2/107 21683
/proc/meminfo: memFree=1761080/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=32908 CPUtime=12.69
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 10269 0 0 0 1233 36 0 0 25 0 1 0 13450264 33697792 7524 1992294400 4194304 7136930 140736382226208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 8227 7524 397 719 0 7506 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32908
[startup+25.5005 s]
/proc/loadavg: 0.95 1.00 1.03 2/107 21683
/proc/meminfo: memFree=1750292/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=43328 CPUtime=25.49
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 12886 0 0 0 2483 66 0 0 25 0 1 0 13450264 44367872 10141 1992294400 4194304 7136930 140736382226208 18446744073709551615 4677433 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 10832 10141 397 719 0 10111 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 43328
[startup+51.1009 s]
/proc/loadavg: 0.96 1.00 1.03 2/107 21683
/proc/meminfo: memFree=1726608/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=66828 CPUtime=51.07
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 18811 0 0 0 4985 122 0 0 25 0 1 0 13450264 68431872 16066 1992294400 4194304 7136930 140736382226208 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 16707 16066 397 719 0 15986 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 66828
[startup+102.308 s]
/proc/loadavg: 0.98 1.00 1.03 2/107 21685
/proc/meminfo: memFree=1687548/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=107884 CPUtime=102.27
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 28510 0 0 0 10002 225 0 0 25 0 1 0 13450264 110473216 25765 1992294400 4194304 7136930 140736382226208 18446744073709551615 4853804 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 26971 25765 397 719 0 26250 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 107884
[startup+162.301 s]
/proc/loadavg: 0.99 1.00 1.02 2/107 21696
/proc/meminfo: memFree=1638692/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=156632 CPUtime=162.23
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 40746 0 0 0 15874 349 0 0 25 0 1 0 13450264 160391168 38001 1992294400 4194304 7136930 140736382226208 18446744073709551615 5005177 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 39158 38001 397 719 0 38437 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 156632
[startup+222.301 s]
/proc/loadavg: 0.99 1.00 1.02 2/107 21696
/proc/meminfo: memFree=1596780/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=197720 CPUtime=222.22
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 51013 0 0 0 21746 476 0 0 25 0 1 0 13450264 202465280 48268 1992294400 4194304 7136930 140736382226208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 49430 48268 397 719 0 48709 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 197720
[startup+282.301 s]
/proc/loadavg: 0.99 1.00 1.01 2/107 21698
/proc/meminfo: memFree=1548048/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=245836 CPUtime=282.19
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 63142 0 0 0 27628 591 0 0 25 0 1 0 13450264 251736064 60397 1992294400 4194304 7136930 140736382226208 18446744073709551615 4858933 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 61459 60397 397 719 0 60738 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 245836
[startup+342.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 21700
/proc/meminfo: memFree=1512088/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=285764 CPUtime=342.18
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 72144 0 0 0 33507 711 0 0 25 0 1 0 13450264 292622336 69399 1992294400 4194304 7136930 140736382226208 18446744073709551615 5955595 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 71441 69399 397 719 0 70720 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 285764
[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 21702
/proc/meminfo: memFree=1471664/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=327952 CPUtime=402.15
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 82597 0 0 0 39381 834 0 0 25 0 1 0 13450264 335822848 79852 1992294400 4194304 7136930 140736382226208 18446744073709551615 4414774 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 81988 79852 397 719 0 81267 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 327952
[startup+462.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 21704
/proc/meminfo: memFree=1430868/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=367300 CPUtime=462.14
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 92368 0 0 0 45257 957 0 0 25 0 1 0 13450264 376115200 89623 1992294400 4194304 7136930 140736382226208 18446744073709551615 4392915 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 91825 89623 397 719 0 91104 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 367300
[startup+522.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 21704
/proc/meminfo: memFree=1404456/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=393792 CPUtime=522.12
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 98993 0 0 0 51136 1076 0 0 25 0 1 0 13450264 403243008 96248 1992294400 4194304 7136930 140736382226208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 98448 96248 397 719 0 97727 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 393792
[startup+582.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 21706
/proc/meminfo: memFree=1360436/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=437280 CPUtime=582.11
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 109967 0 0 0 57019 1192 0 0 25 0 1 0 13450264 447774720 107222 1992294400 4194304 7136930 140736382226208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 109320 107222 397 719 0 108599 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 437280
[startup+642.301 s]
/proc/loadavg: 0.99 1.00 1.00 3/107 21708
/proc/meminfo: memFree=1333032/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=464784 CPUtime=642.1
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 116809 0 0 0 62910 1300 0 0 25 0 1 0 13450264 475938816 114064 1992294400 4194304 7136930 140736382226208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 116196 114064 397 719 0 115475 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 464784
[startup+702.301 s]
################
# More data... #
################
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 172654 0 0 0 104090 2107 0 0 25 0 1 0 13450264 713728000 169909 1992294400 4194304 7136930 140736382226208 18446744073709551615 4862062 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 174250 169909 397 719 0 173529 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 697000
[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 21720
/proc/meminfo: memFree=1071268/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=734536 CPUtime=1121.95
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 181968 0 0 0 109970 2225 0 0 25 0 1 0 13450264 752164864 179223 1992294400 4194304 7136930 140736382226208 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 183634 179223 397 719 0 182913 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 734536
[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 21722
/proc/meminfo: memFree=1041756/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=763216 CPUtime=1181.94
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 189470 0 0 0 115853 2341 0 0 25 0 1 0 13450264 781533184 186725 1992294400 4194304 7136930 140736382226208 18446744073709551615 4212290 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 190804 186725 397 719 0 190083 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 763216
[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 21724
/proc/meminfo: memFree=1010136/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=793888 CPUtime=1241.92
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 197152 0 0 0 121736 2456 0 0 25 0 1 0 13450264 812941312 194407 1992294400 4194304 7136930 140736382226208 18446744073709551615 4221536 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 198472 194407 397 719 0 197751 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 793888
[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 21726
/proc/meminfo: memFree=982236/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=821756 CPUtime=1301.91
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 204118 0 0 0 127627 2564 0 0 25 0 1 0 13450264 841478144 201373 1992294400 4194304 7136930 140736382226208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 205439 201373 397 719 0 204718 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 821756
[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 21728
/proc/meminfo: memFree=952228/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=852664 CPUtime=1361.87
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 211729 0 0 0 133511 2676 0 0 25 0 1 0 13450264 873127936 208984 1992294400 4194304 7136930 140736382226208 18446744073709551615 5922977 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 213166 208984 397 719 0 212445 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 852664
[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 21728
/proc/meminfo: memFree=913044/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=891372 CPUtime=1421.86
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 221369 0 0 0 139391 2795 0 0 25 0 1 0 13450264 912764928 218624 1992294400 4194304 7136930 140736382226208 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 222843 218624 397 719 0 222122 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 891372
[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 21730
/proc/meminfo: memFree=885764/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=919388 CPUtime=1481.83
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 228408 0 0 0 145271 2912 0 0 25 0 1 0 13450264 941453312 225663 1992294400 4194304 7136930 140736382226208 18446744073709551615 5001212 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 229847 225663 397 719 0 229126 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 919388
[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 21732
/proc/meminfo: memFree=854516/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=950768 CPUtime=1541.82
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 236240 0 0 0 151159 3023 0 0 25 0 1 0 13450264 973586432 233495 1992294400 4194304 7136930 140736382226208 18446744073709551615 4227480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 237692 233495 397 719 0 236971 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 950768
[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 21734
/proc/meminfo: memFree=815952/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=988268 CPUtime=1601.8
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 245671 0 0 0 157041 3139 0 0 25 0 1 0 13450264 1011986432 242926 1992294400 4194304 7136930 140736382226208 18446744073709551615 4862110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 247067 242926 397 719 0 246346 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 988268
[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 21736
/proc/meminfo: memFree=785944/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=1017892 CPUtime=1661.79
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 253023 0 0 0 162936 3243 0 0 25 0 1 0 13450264 1042321408 250278 1992294400 4194304 7136930 140736382226208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 254473 250278 397 719 0 253752 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1017892
[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 21736
/proc/meminfo: memFree=756556/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=1048148 CPUtime=1721.76
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 260582 0 0 0 168828 3348 0 0 25 0 1 0 13450264 1073303552 257837 1992294400 4194304 7136930 140736382226208 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 262037 257837 397 719 0 261316 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1048148
[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 21738
/proc/meminfo: memFree=733244/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=1069720 CPUtime=1781.75
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 266065 0 0 0 174725 3450 0 0 25 0 1 0 13450264 1095393280 263320 1992294400 4194304 7136930 140736382226208 18446744073709551615 4854249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 267430 263320 397 719 0 266709 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1069720
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 21738
/proc/meminfo: memFree=727788/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=1075032 CPUtime=1800.05
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 267407 0 0 0 176526 3479 0 0 25 0 1 0 13450264 1100832768 264662 1992294400 4194304 7136930 140736382226208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 268758 264662 397 719 0 268037 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1075032
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -21680
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 21738
/proc/meminfo: memFree=727788/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=1075032 CPUtime=1800.84
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 267412 0 0 0 176605 3479 0 0 25 0 1 0 13450264 1100832768 264667 1992294400 4194304 7136930 140736382226208 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21680/statm: 268758 264667 402 719 0 268037 0
Current children cumulated CPU time (s) 1800.84
Current children cumulated vsize (KiB) 1075032
[startup+1802.2 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 21739
/proc/meminfo: memFree=727780/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=1075032 CPUtime=1801.64
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 267412 0 0 0 176685 3479 0 0 25 0 1 0 13450264 1100832768 264667 1992294400 4194304 7136930 140736382226208 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21680/statm: 268758 264667 402 719 0 268037 0
Current children cumulated CPU time (s) 1801.64
Current children cumulated vsize (KiB) 1075032
[startup+1802.6 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 21739
/proc/meminfo: memFree=727780/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=1075032 CPUtime=1802.04
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 267412 0 0 0 176725 3479 0 0 25 0 1 0 13450264 1100832768 264667 1992294400 4194304 7136930 140736382226208 18446744073709551615 6165654 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21680/statm: 268758 264667 402 719 0 268037 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 1075032
[startup+1802.7 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 21739
/proc/meminfo: memFree=727780/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=0 CPUtime=1802.14
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4203524 267412 0 0 0 176727 3487 0 0 25 0 1 0 13450264 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/21680/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.14
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.72
CPU time (s): 1802.17
CPU user time (s): 1767.27
CPU system time (s): 34.8947
CPU usage (%): 99.9693
Max. virtual memory (cumulated for all children) (KiB): 1075032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1767.27
system time used= 34.8947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267412
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= 4057
runsolver used 3.03454 second user time and 8.46871 second system time
The end