Trace number 3692832

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed? 1797.66 1798.06

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb
MD5SUMef8e8b075ca1490a3beab796ebfb3e9f
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.553915
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables76091
Total number of constraints218262
Number of constraints which are clauses207610
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints10652
Minimum length of a constraint2
Maximum length of a constraint15
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 131
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 513
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00	c Copyright (c) 2002-2012 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-3692832-1338026561.opb>
0.59/0.64	c original problem has 76091 variables (76091 bin, 0 int, 0 impl, 0 cont) and 218262 constraints
0.59/0.64	c problem read in 0.64
1.39/1.48	c presolving:
3.49/3.57	c (round 1) 5248 del vars, 7994 del conss, 0 add conss, 2494 chg bounds, 5326 chg sides, 11276 chg coeffs, 0 upgd conss, 4255519 impls, 0 clqs
3.69/3.71	c (round 2) 5346 del vars, 13989 del conss, 0 add conss, 2509 chg bounds, 5326 chg sides, 11276 chg coeffs, 0 upgd conss, 4255717 impls, 0 clqs
3.69/3.76	c (round 3) 5346 del vars, 14043 del conss, 0 add conss, 2509 chg bounds, 5326 chg sides, 11276 chg coeffs, 0 upgd conss, 4255717 impls, 0 clqs
4.69/4.70	c (round 4) 5346 del vars, 14189 del conss, 0 add conss, 2509 chg bounds, 5326 chg sides, 11276 chg coeffs, 202338 upgd conss, 4255717 impls, 0 clqs
4.99/5.06	c (round 5) 5346 del vars, 14216 del conss, 0 add conss, 2509 chg bounds, 5326 chg sides, 11276 chg coeffs, 204142 upgd conss, 4255717 impls, 0 clqs
5.99/6.00	c (round 6) 5429 del vars, 207230 del conss, 64338 add conss, 2521 chg bounds, 5326 chg sides, 11276 chg coeffs, 204142 upgd conss, 4272805 impls, 0 clqs
6.89/6.92	c (round 7) 5453 del vars, 207280 del conss, 64338 add conss, 2521 chg bounds, 5326 chg sides, 11300 chg coeffs, 204178 upgd conss, 4272837 impls, 0 clqs
7.89/7.90	c (round 8) 5490 del vars, 210609 del conss, 67667 add conss, 2521 chg bounds, 5326 chg sides, 11300 chg coeffs, 204178 upgd conss, 4274635 impls, 0 clqs
8.79/8.89	c (round 9) 5491 del vars, 210647 del conss, 67704 add conss, 2521 chg bounds, 5326 chg sides, 11300 chg coeffs, 204178 upgd conss, 4274785 impls, 3328 clqs
9.79/9.88	c (round 10) 5491 del vars, 210659 del conss, 67704 add conss, 2521 chg bounds, 5326 chg sides, 11300 chg coeffs, 204178 upgd conss, 4274785 impls, 3329 clqs
11.08/11.17	c (round 11) 5664 del vars, 210659 del conss, 67704 add conss, 2589 chg bounds, 5326 chg sides, 11300 chg coeffs, 204178 upgd conss, 4301739 impls, 3329 clqs
12.00/12.01	c (round 12) 5715 del vars, 210764 del conss, 67704 add conss, 2589 chg bounds, 5326 chg sides, 11351 chg coeffs, 204256 upgd conss, 4303179 impls, 3329 clqs
12.89/12.93	c (round 13) 5741 del vars, 210765 del conss, 67705 add conss, 2589 chg bounds, 5326 chg sides, 11351 chg coeffs, 204256 upgd conss, 4313577 impls, 3329 clqs
13.89/13.92	c (round 14) 5741 del vars, 210791 del conss, 67731 add conss, 2589 chg bounds, 5326 chg sides, 11351 chg coeffs, 204256 upgd conss, 4313577 impls, 3329 clqs
14.89/14.90	c (round 15) 5741 del vars, 210817 del conss, 67731 add conss, 2589 chg bounds, 5326 chg sides, 11351 chg coeffs, 204256 upgd conss, 4313577 impls, 3330 clqs
16.28/16.39	c (round 16) 5824 del vars, 210817 del conss, 67731 add conss, 2604 chg bounds, 5326 chg sides, 11351 chg coeffs, 204256 upgd conss, 4359606 impls, 3330 clqs
17.18/17.22	c (round 17) 5859 del vars, 210856 del conss, 67731 add conss, 2604 chg bounds, 5326 chg sides, 11386 chg coeffs, 204280 upgd conss, 4361192 impls, 3330 clqs
18.69/18.75	c (round 18) 5907 del vars, 210856 del conss, 67731 add conss, 2608 chg bounds, 5326 chg sides, 11386 chg coeffs, 204280 upgd conss, 4419646 impls, 3330 clqs
19.48/19.58	c (round 19) 5920 del vars, 210873 del conss, 67731 add conss, 2608 chg bounds, 5326 chg sides, 11399 chg coeffs, 204302 upgd conss, 4419666 impls, 3330 clqs
20.49/20.56	c (round 20) 5920 del vars, 210879 del conss, 67737 add conss, 2608 chg bounds, 5326 chg sides, 11399 chg coeffs, 204302 upgd conss, 4419666 impls, 3330 clqs
21.78/21.86	c (round 21) 6020 del vars, 210879 del conss, 67737 add conss, 2631 chg bounds, 5326 chg sides, 11399 chg coeffs, 204302 upgd conss, 4443687 impls, 3330 clqs
22.58/22.69	c (round 22) 6062 del vars, 210921 del conss, 67737 add conss, 2631 chg bounds, 5326 chg sides, 11441 chg coeffs, 204362 upgd conss, 4443931 impls, 3330 clqs
23.59/23.67	c (round 23) 6062 del vars, 210925 del conss, 67741 add conss, 2631 chg bounds, 5326 chg sides, 11441 chg coeffs, 204362 upgd conss, 4443931 impls, 3330 clqs
24.99/25.04	c (round 24) 6113 del vars, 210925 del conss, 67741 add conss, 2636 chg bounds, 5326 chg sides, 11441 chg coeffs, 204362 upgd conss, 4481198 impls, 3333 clqs
25.78/25.87	c (round 25) 6134 del vars, 210956 del conss, 67741 add conss, 2636 chg bounds, 5326 chg sides, 11462 chg coeffs, 204390 upgd conss, 4481332 impls, 3333 clqs
26.98/27.08	c (round 26) 6168 del vars, 210958 del conss, 67743 add conss, 2654 chg bounds, 5326 chg sides, 11462 chg coeffs, 204390 upgd conss, 4507450 impls, 3334 clqs
27.88/27.90	c (round 27) 6182 del vars, 210974 del conss, 67743 add conss, 2654 chg bounds, 5326 chg sides, 11476 chg coeffs, 204400 upgd conss, 4508008 impls, 3334 clqs
28.78/28.81	c (round 28) 6183 del vars, 210982 del conss, 67751 add conss, 2654 chg bounds, 5326 chg sides, 11476 chg coeffs, 204400 upgd conss, 4508008 impls, 3335 clqs
29.88/29.95	c (round 29) 6226 del vars, 210984 del conss, 67752 add conss, 2685 chg bounds, 5326 chg sides, 11476 chg coeffs, 204400 upgd conss, 4524957 impls, 3337 clqs
30.69/30.77	c (round 30) 6239 del vars, 210997 del conss, 67752 add conss, 2685 chg bounds, 5326 chg sides, 11489 chg coeffs, 204422 upgd conss, 4526553 impls, 3337 clqs
31.79/31.88	c (round 31) 6273 del vars, 210998 del conss, 67753 add conss, 2685 chg bounds, 5326 chg sides, 11489 chg coeffs, 204422 upgd conss, 4541501 impls, 3337 clqs
32.68/32.70	c (round 32) 6284 del vars, 211027 del conss, 67753 add conss, 2685 chg bounds, 5326 chg sides, 11500 chg coeffs, 204422 upgd conss, 4541501 impls, 3337 clqs
33.88/33.91	c (round 33) 6357 del vars, 211028 del conss, 67754 add conss, 2729 chg bounds, 5326 chg sides, 11500 chg coeffs, 204422 upgd conss, 4557231 impls, 3337 clqs
34.69/34.73	c (round 34) 6388 del vars, 211069 del conss, 67754 add conss, 2729 chg bounds, 5326 chg sides, 11531 chg coeffs, 204430 upgd conss, 4557803 impls, 3338 clqs
36.58/36.65	c (round 35) 6462 del vars, 211069 del conss, 67754 add conss, 2779 chg bounds, 5326 chg sides, 11531 chg coeffs, 204430 upgd conss, 4639491 impls, 3339 clqs
37.39/37.47	c (round 36) 6499 del vars, 211106 del conss, 67754 add conss, 2779 chg bounds, 5326 chg sides, 11568 chg coeffs, 204440 upgd conss, 4640265 impls, 3339 clqs
40.48/40.52	c (round 37) 6538 del vars, 211108 del conss, 67756 add conss, 2801 chg bounds, 5326 chg sides, 11568 chg coeffs, 204440 upgd conss, 4823337 impls, 3339 clqs
41.28/41.34	c (round 38) 6553 del vars, 211123 del conss, 67756 add conss, 2801 chg bounds, 5326 chg sides, 11583 chg coeffs, 204464 upgd conss, 4824141 impls, 3339 clqs
42.89/42.98	c (round 39) 6584 del vars, 211124 del conss, 67757 add conss, 2803 chg bounds, 5326 chg sides, 11583 chg coeffs, 204464 upgd conss, 4877425 impls, 3339 clqs
43.78/43.80	c (round 40) 6604 del vars, 211144 del conss, 67757 add conss, 2803 chg bounds, 5326 chg sides, 11603 chg coeffs, 204486 upgd conss, 4877467 impls, 3339 clqs
46.88/46.90	c (round 41) 6644 del vars, 211144 del conss, 67757 add conss, 2807 chg bounds, 5326 chg sides, 11603 chg coeffs, 204486 upgd conss, 5048837 impls, 3340 clqs
47.68/47.71	c (round 42) 6663 del vars, 211164 del conss, 67757 add conss, 2807 chg bounds, 5326 chg sides, 11622 chg coeffs, 204502 upgd conss, 5050053 impls, 3340 clqs
50.08/50.10	c (round 43) 6746 del vars, 211166 del conss, 67759 add conss, 2811 chg bounds, 5326 chg sides, 11622 chg coeffs, 204502 upgd conss, 5176679 impls, 3340 clqs
50.88/50.92	c (round 44) 6780 del vars, 211200 del conss, 67759 add conss, 2811 chg bounds, 5326 chg sides, 11656 chg coeffs, 204520 upgd conss, 5177381 impls, 3340 clqs
51.78/51.89	c (round 45) 6780 del vars, 211204 del conss, 67763 add conss, 2811 chg bounds, 5326 chg sides, 11656 chg coeffs, 204520 upgd conss, 5177381 impls, 3340 clqs
54.08/54.15	c (round 46) 6818 del vars, 211204 del conss, 67763 add conss, 2827 chg bounds, 5326 chg sides, 11656 chg coeffs, 204520 upgd conss, 5297911 impls, 3340 clqs
54.88/54.96	c (round 47) 6835 del vars, 211221 del conss, 67763 add conss, 2827 chg bounds, 5326 chg sides, 11673 chg coeffs, 204542 upgd conss, 5298543 impls, 3340 clqs
62.38/62.42	c (round 48) 6885 del vars, 211221 del conss, 67763 add conss, 2863 chg bounds, 5326 chg sides, 11673 chg coeffs, 204542 upgd conss, 5971111 impls, 3340 clqs
63.17/63.25	c (round 49) 6915 del vars, 211251 del conss, 67763 add conss, 2863 chg bounds, 5326 chg sides, 11703 chg coeffs, 204550 upgd conss, 5971749 impls, 3340 clqs
64.08/64.15	c (round 50) 6916 del vars, 211258 del conss, 67770 add conss, 2863 chg bounds, 5326 chg sides, 11703 chg coeffs, 204550 upgd conss, 5971749 impls, 3340 clqs
72.08/72.12	c (round 51) 6980 del vars, 211259 del conss, 67770 add conss, 2897 chg bounds, 5326 chg sides, 11704 chg coeffs, 204550 upgd conss, 6668003 impls, 3340 clqs
72.88/72.93	c (round 52) 7011 del vars, 211290 del conss, 67770 add conss, 2897 chg bounds, 5326 chg sides, 11735 chg coeffs, 204568 upgd conss, 6668199 impls, 3340 clqs
73.77/73.89	c (round 53) 7011 del vars, 211295 del conss, 67775 add conss, 2897 chg bounds, 5326 chg sides, 11735 chg coeffs, 204568 upgd conss, 6668199 impls, 3340 clqs
77.58/77.61	c (round 54) 7105 del vars, 211295 del conss, 67775 add conss, 2924 chg bounds, 5326 chg sides, 11735 chg coeffs, 204568 upgd conss, 6959846 impls, 3344 clqs
78.37/78.43	c (round 55) 7163 del vars, 211353 del conss, 67775 add conss, 2924 chg bounds, 5326 chg sides, 11793 chg coeffs, 204594 upgd conss, 6963666 impls, 3344 clqs
79.27/79.33	c (round 56) 7164 del vars, 211359 del conss, 67781 add conss, 2924 chg bounds, 5326 chg sides, 11793 chg coeffs, 204594 upgd conss, 6963666 impls, 3345 clqs
81.67/81.75	c (round 57) 7304 del vars, 211360 del conss, 67781 add conss, 2984 chg bounds, 5326 chg sides, 11794 chg coeffs, 204594 upgd conss, 7046920 impls, 3345 clqs
82.58/82.63	c (round 58) 7363 del vars, 211421 del conss, 67781 add conss, 2984 chg bounds, 5326 chg sides, 11853 chg coeffs, 204626 upgd conss, 7047984 impls, 3345 clqs
83.88/83.98	c (round 59) 7477 del vars, 211421 del conss, 67781 add conss, 3038 chg bounds, 5326 chg sides, 11853 chg coeffs, 204626 upgd conss, 7075622 impls, 3345 clqs
84.77/84.84	c (round 60) 7529 del vars, 211473 del conss, 67781 add conss, 3038 chg bounds, 5326 chg sides, 11905 chg coeffs, 204654 upgd conss, 7076352 impls, 3345 clqs
87.28/87.39	c (round 61) 7554 del vars, 211474 del conss, 67782 add conss, 3056 chg bounds, 5326 chg sides, 11905 chg coeffs, 204654 upgd conss, 7282130 impls, 3345 clqs
88.17/88.20	c (round 62) 7564 del vars, 211485 del conss, 67782 add conss, 3056 chg bounds, 5326 chg sides, 11916 chg coeffs, 204654 upgd conss, 7282602 impls, 3345 clqs
88.98/89.10	c (round 63) 7565 del vars, 211497 del conss, 67794 add conss, 3056 chg bounds, 5326 chg sides, 11916 chg coeffs, 204654 upgd conss, 7282602 impls, 3345 clqs
91.47/91.55	c (round 64) 7685 del vars, 211498 del conss, 67794 add conss, 3105 chg bounds, 5326 chg sides, 11917 chg coeffs, 204654 upgd conss, 7357745 impls, 3348 clqs
92.28/92.38	c (round 65) 7738 del vars, 211551 del conss, 67794 add conss, 3105 chg bounds, 5326 chg sides, 11970 chg coeffs, 204678 upgd conss, 7359395 impls, 3348 clqs
95.17/95.23	c (round 66) 7792 del vars, 211554 del conss, 67797 add conss, 3149 chg bounds, 5326 chg sides, 11970 chg coeffs, 204678 upgd conss, 7564277 impls, 3348 clqs
95.97/96.07	c (round 67) 7822 del vars, 211584 del conss, 67797 add conss, 3149 chg bounds, 5326 chg sides, 12000 chg coeffs, 204686 upgd conss, 7564343 impls, 3348 clqs
98.07/98.16	c (round 68) 7915 del vars, 211584 del conss, 67797 add conss, 3197 chg bounds, 5326 chg sides, 12000 chg coeffs, 204686 upgd conss, 7706399 impls, 3348 clqs
98.88/98.98	c (round 69) 7950 del vars, 211625 del conss, 67797 add conss, 3197 chg bounds, 5326 chg sides, 12035 chg coeffs, 204692 upgd conss, 7706399 impls, 3348 clqs
100.47/100.57	c (round 70) 7984 del vars, 211627 del conss, 67799 add conss, 3224 chg bounds, 5326 chg sides, 12035 chg coeffs, 204692 upgd conss, 7782450 impls, 3348 clqs
101.27/101.37	c (round 71) 7995 del vars, 211638 del conss, 67799 add conss, 3224 chg bounds, 5326 chg sides, 12046 chg coeffs, 204710 upgd conss, 7783542 impls, 3348 clqs
102.87/102.92	c (round 72) 8022 del vars, 211639 del conss, 67800 add conss, 3246 chg bounds, 5326 chg sides, 12046 chg coeffs, 204710 upgd conss, 7997148 impls, 3348 clqs
103.67/103.73	c (round 73) 8037 del vars, 211654 del conss, 67800 add conss, 3246 chg bounds, 5326 chg sides, 12061 chg coeffs, 204714 upgd conss, 7997148 impls, 3348 clqs
105.68/105.72	c (round 74) 8116 del vars, 211655 del conss, 67801 add conss, 3261 chg bounds, 5326 chg sides, 12061 chg coeffs, 204714 upgd conss, 8122895 impls, 3349 clqs
106.47/106.51	c (round 75) 8162 del vars, 211701 del conss, 67801 add conss, 3261 chg bounds, 5326 chg sides, 12107 chg coeffs, 204740 upgd conss, 8126049 impls, 3349 clqs
107.78/107.84	c (round 76) 8205 del vars, 211704 del conss, 67804 add conss, 3294 chg bounds, 5326 chg sides, 12107 chg coeffs, 204740 upgd conss, 8162920 impls, 3350 clqs
108.57/108.64	c (round 77) 8225 del vars, 211724 del conss, 67804 add conss, 3294 chg bounds, 5326 chg sides, 12127 chg coeffs, 204746 upgd conss, 8162986 impls, 3352 clqs
110.07/110.18	c (round 78) 8258 del vars, 211724 del conss, 67804 add conss, 3327 chg bounds, 5326 chg sides, 12127 chg coeffs, 204746 upgd conss, 8255843 impls, 3353 clqs
110.87/110.99	c (round 79) 8288 del vars, 211754 del conss, 67804 add conss, 3327 chg bounds, 5326 chg sides, 12157 chg coeffs, 204750 upgd conss, 8255843 impls, 3353 clqs
111.97/112.09	c (round 80) 8313 del vars, 211757 del conss, 67807 add conss, 3350 chg bounds, 5326 chg sides, 12157 chg coeffs, 204750 upgd conss, 8270600 impls, 3353 clqs
112.77/112.87	c (round 81) 8329 del vars, 211773 del conss, 67807 add conss, 3350 chg bounds, 5326 chg sides, 12173 chg coeffs, 204758 upgd conss, 8271122 impls, 3354 clqs
118.37/118.46	c (round 82) 8386 del vars, 211774 del conss, 67808 add conss, 3402 chg bounds, 5326 chg sides, 12173 chg coeffs, 204758 upgd conss, 9141504 impls, 3355 clqs
119.17/119.28	c (round 83) 8424 del vars, 211812 del conss, 67808 add conss, 3402 chg bounds, 5326 chg sides, 12211 chg coeffs, 204766 upgd conss, 9143800 impls, 3355 clqs
120.07/120.14	c (round 84) 8425 del vars, 211830 del conss, 67826 add conss, 3402 chg bounds, 5326 chg sides, 12211 chg coeffs, 204766 upgd conss, 9143800 impls, 3355 clqs
127.57/127.68	c (round 85) 8460 del vars, 211831 del conss, 67826 add conss, 3430 chg bounds, 5326 chg sides, 12212 chg coeffs, 204766 upgd conss, 10934366 impls, 3365 clqs
128.37/128.48	c (round 86) 8475 del vars, 211846 del conss, 67826 add conss, 3430 chg bounds, 5326 chg sides, 12227 chg coeffs, 204776 upgd conss, 10936870 impls, 3365 clqs
129.27/129.35	c (round 87) 8477 del vars, 211856 del conss, 67836 add conss, 3430 chg bounds, 5326 chg sides, 12227 chg coeffs, 204776 upgd conss, 10936870 impls, 3366 clqs
136.07/136.12	c (round 88) 8524 del vars, 211858 del conss, 67836 add conss, 3460 chg bounds, 5326 chg sides, 12229 chg coeffs, 204776 upgd conss, 13183166 impls, 3369 clqs
136.87/136.90	c (round 89) 8555 del vars, 211889 del conss, 67836 add conss, 3460 chg bounds, 5326 chg sides, 12260 chg coeffs, 204788 upgd conss, 13187480 impls, 3369 clqs
137.66/137.77	c (round 90) 8558 del vars, 211908 del conss, 67854 add conss, 3460 chg bounds, 5326 chg sides, 12260 chg coeffs, 204788 upgd conss, 13187480 impls, 3369 clqs
143.27/143.30	c (round 91) 8614 del vars, 211910 del conss, 67854 add conss, 3489 chg bounds, 5326 chg sides, 12262 chg coeffs, 204788 upgd conss, 14610553 impls, 3380 clqs
143.97/144.09	c (round 92) 8636 del vars, 211932 del conss, 67854 add conss, 3489 chg bounds, 5326 chg sides, 12284 chg coeffs, 204812 upgd conss, 14611591 impls, 3380 clqs
145.07/145.10	c (round 93) 8642 del vars, 211966 del conss, 67883 add conss, 3489 chg bounds, 5326 chg sides, 12284 chg coeffs, 204812 upgd conss, 14644131 impls, 3381 clqs
145.96/146.03	c (round 94) 8652 del vars, 211980 del conss, 67883 add conss, 3489 chg bounds, 5326 chg sides, 12286 chg coeffs, 204812 upgd conss, 14649891 impls, 3407 clqs
175.87/175.98	c (round 95) 8701 del vars, 211980 del conss, 67883 add conss, 3523 chg bounds, 5326 chg sides, 12286 chg coeffs, 204812 upgd conss, 23859887 impls, 3407 clqs
176.66/176.78	c (round 96) 8738 del vars, 212017 del conss, 67883 add conss, 3523 chg bounds, 5326 chg sides, 12323 chg coeffs, 204830 upgd conss, 23863761 impls, 3407 clqs
177.56/177.66	c (round 97) 8739 del vars, 212183 del conss, 68049 add conss, 3523 chg bounds, 5326 chg sides, 12323 chg coeffs, 204830 upgd conss, 23863761 impls, 3408 clqs
216.85/216.93	c (round 98) 8766 del vars, 212184 del conss, 68049 add conss, 3523 chg bounds, 5326 chg sides, 12324 chg coeffs, 204830 upgd conss, 39449453 impls, 3571 clqs
217.76/217.80	c (round 99) 8768 del vars, 212196 del conss, 68049 add conss, 3523 chg bounds, 5326 chg sides, 12327 chg coeffs, 204830 upgd conss, 39452009 impls, 3571 clqs
218.65/218.74	c (round 100) 8771 del vars, 212424 del conss, 68277 add conss, 3523 chg bounds, 5326 chg sides, 12327 chg coeffs, 204830 upgd conss, 39452009 impls, 3571 clqs
236.46/236.51	c    (236.5s) probing: 1000/70745 (1.4%) - 2235 fixings, 43 aggregations, 4543323 implications, 1014 bound changes
470.27/470.41	c (round 101) 8802 del vars, 212428 del conss, 68277 add conss, 3523 chg bounds, 5326 chg sides, 12330 chg coeffs, 204830 upgd conss, 116802045 impls, 3786 clqs
471.27/471.44	c (round 102) 8804 del vars, 213439 del conss, 69285 add conss, 3523 chg bounds, 5326 chg sides, 12332 chg coeffs, 204830 upgd conss, 116802045 impls, 3786 clqs
472.37/472.51	c (round 103) 8806 del vars, 213449 del conss, 69285 add conss, 3523 chg bounds, 5326 chg sides, 12332 chg coeffs, 204830 upgd conss, 116802045 impls, 4774 clqs
477.87/478.06	c    (478.1s) probing: 2000/70745 (2.8%) - 2235 fixings, 66 aggregations, 8369141 implications, 1014 bound changes
500.76/500.90	c (round 104) 8854 del vars, 213479 del conss, 69285 add conss, 3530 chg bounds, 5326 chg sides, 12334 chg coeffs, 204830 upgd conss, 118079690 impls, 4774 clqs
501.56/501.78	c (round 105) 8866 del vars, 213494 del conss, 69285 add conss, 3530 chg bounds, 5326 chg sides, 12346 chg coeffs, 204830 upgd conss, 118098198 impls, 4774 clqs
502.66/502.82	c (round 106) 8867 del vars, 213540 del conss, 69326 add conss, 3530 chg bounds, 5326 chg sides, 12346 chg coeffs, 204830 upgd conss, 118098292 impls, 4774 clqs
604.02/604.24	c    (604.2s) probing: 3000/70745 (4.2%) - 2250 fixings, 93 aggregations, 11492767 implications, 1021 bound changes
655.21/655.50	c (round 107) 8892 del vars, 213541 del conss, 69326 add conss, 3530 chg bounds, 5326 chg sides, 12346 chg coeffs, 204830 upgd conss, 134915672 impls, 4812 clqs
656.31/656.59	c (round 108) 8893 del vars, 214020 del conss, 69794 add conss, 3530 chg bounds, 5326 chg sides, 12346 chg coeffs, 204830 upgd conss, 134916162 impls, 4812 clqs
783.66/783.92	c    (783.9s) probing: 4000/70745 (5.7%) - 2252 fixings, 102 aggregations, 13827878 implications, 1021 bound changes
924.02/924.32	c    (924.3s) probing: 4489/70745 (6.3%) - 2252 fixings, 102 aggregations, 15299158 implications, 1021 bound changes
924.02/924.32	c    (924.3s) probing aborted: 1000/1000 successive useless probings
924.12/924.44	c presolving (109 rounds):
924.12/924.44	c  8897 deleted vars, 214020 deleted constraints, 69794 added constraints, 3530 tightened bounds, 0 added holes, 5326 changed sides, 12346 changed coefficients
924.12/924.44	c  183073394 implications, 5270 cliques
924.12/924.44	c presolved problem has 67194 variables (67194 bin, 0 int, 0 impl, 0 cont) and 72245 constraints
924.12/924.44	c   10652 constraints of type <knapsack>
924.12/924.44	c    5977 constraints of type <setppc>
924.12/924.44	c   55616 constraints of type <and>
924.12/924.44	c transformed objective value is always integral (scale: 1)
924.12/924.44	c Presolving Time: 923.55
924.12/924.44	c - non default parameters ----------------------------------------------------------------------
924.12/924.44	c # SCIP version 2.1.1.4
924.12/924.44	c 
924.12/924.44	c # maximal time in seconds to run
924.12/924.44	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
924.12/924.44	c limits/time = 1797
924.12/924.44	c 
924.12/924.44	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
924.12/924.44	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
924.12/924.44	c limits/memory = 13950
924.12/924.44	c 
924.12/924.44	c # default clock type (1: CPU user seconds, 2: wall clock time)
924.12/924.44	c # [type: int, range: [1,2], default: 1]
924.12/924.44	c timing/clocktype = 2
924.12/924.44	c 
924.12/924.44	c # belongs reading time to solving time?
924.12/924.44	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
924.12/924.44	c timing/reading = TRUE
924.12/924.44	c 
924.12/924.44	c -----------------------------------------------------------------------------------------------
924.12/924.44	c start solving
924.12/924.47	c 
964.11/964.44	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
964.11/964.44	c   964s|     1 |     0 | 12633 |     - |5255M|   0 |7345 |  67k|  72k|  67k| 127k|   0 |  17 |   0 | 0.000000e+00 |      --      |    Inf 
1102.29/1102.65	c  1103s|     1 |     0 | 66478 |     - |5269M|   0 |  12k|  67k|  72k|  67k| 129k|2000 |  36 |   0 | 0.000000e+00 |      --      |    Inf 
1140.79/1141.15	c  1141s|     1 |     0 | 81156 |     - |5269M|   0 |  15k|  67k|  72k|  67k| 131k|4000 |  36 |   0 | 0.000000e+00 |      --      |    Inf 
1198.18/1198.55	c  1199s|     1 |     0 | 97726 |     - |5269M|   0 |  19k|  67k|  72k|  67k| 133k|6000 |  36 |   0 | 0.000000e+00 |      --      |    Inf 
1248.67/1249.04	c  1249s|     1 |     0 |112515 |     - |5269M|   0 |  20k|  67k|  72k|  67k| 135k|8000 |  36 |   0 | 0.000000e+00 |      --      |    Inf 
1291.97/1292.34	c  1292s|     1 |     0 |125902 |     - |5269M|   0 |  21k|  67k|  72k|  67k| 137k|  10k|  36 |   0 | 0.000000e+00 |      --      |    Inf 
1349.36/1349.75	c  1350s|     1 |     0 |141406 |     - |5270M|   0 |  23k|  67k|  72k|  67k| 139k|  12k|  36 |   0 | 0.000000e+00 |      --      |    Inf 
1402.55/1402.99	c  1403s|     1 |     2 |141406 |     - |5270M|   0 |  23k|  67k|  72k|  67k| 139k|  12k|  36 |  17 | 0.000000e+00 |      --      |    Inf 
1796.58/1797.04	c 
1796.58/1797.04	c SCIP Status        : solving was interrupted [time limit reached]
1796.58/1797.04	c Solving Time (sec) : 1797.03
1796.58/1797.04	c Solving Nodes      : 4
1796.58/1797.04	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1796.58/1797.04	c Dual Bound         : +0.00000000000000e+00
1796.58/1797.04	c Gap                : infinite
1796.58/1797.04	s UNKNOWN
1796.58/1797.04	c SCIP Status        : solving was interrupted [time limit reached]
1796.58/1797.04	c Total Time         :    1797.03
1796.58/1797.04	c   solving          :    1797.03
1796.58/1797.04	c   presolving       :     923.55 (included in solving)
1796.58/1797.04	c   reading          :       0.64 (included in solving)
1796.58/1797.04	c   copying          :       0.17 (1 #copies) (minimal 0.17, maximal 0.17, average 0.17)
1796.58/1797.04	c Original Problem   :
1796.58/1797.04	c   Problem name     : HOME/instance-3692832-1338026561.opb
1796.58/1797.04	c   Variables        : 76091 (76091 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.58/1797.04	c   Constraints      : 218262 initial, 218262 maximal
1796.58/1797.04	c   Objective sense  : minimize
1796.58/1797.04	c Presolved Problem  :
1796.58/1797.04	c   Problem name     : t_HOME/instance-3692832-1338026561.opb
1796.58/1797.04	c   Variables        : 67194 (67194 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.58/1797.04	c   Constraints      : 72245 initial, 72277 maximal
1796.58/1797.04	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1796.58/1797.04	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.58/1797.04	c   trivial          :       0.43       0.00         56          0          0          0          0          0          0          0          0
1796.58/1797.04	c   dualfix          :       0.30       0.00          0          0          0          0          0          0          0          0          0
1796.58/1797.04	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.58/1797.04	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.58/1797.04	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.58/1797.04	c   gateextraction   :       0.53       0.00          0          0          0          0          0     193014      64338          0          0
1796.58/1797.04	c   implics          :       3.11       0.00          0       2763          0          0          0          0          0          0          0
1796.58/1797.04	c   components       :       0.08       0.00          0          0          0          0          0          0          0          0          0
1796.58/1797.04	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.58/1797.04	c   probing          :     818.76       0.00       2252        102          0       1021          0          0          0          0          0
1796.58/1797.04	c   knapsack         :       0.71       0.00          0          0          0          0          0          0          0          0          0
1796.58/1797.04	c   setppc           :       0.82       0.00          0          0          0          0          0        230          0          0          0
1796.58/1797.04	c   and              :      94.99       0.00         28       1167          0          0          0       6587       5456          0       1070
1796.58/1797.04	c   linear           :       2.55       0.00       2509         20          0       2509          0      14189          0       5326      11276
1796.58/1797.04	c   logicor          :       0.27       0.04          0          0          0          0          0          0          0          0          0
1796.58/1797.04	c   root node        :          -          -          0          -          -          0          -          -          -          -          -
1796.58/1797.04	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1796.58/1797.04	c   integral         :          0          0          0          0          3          0          4          0          0          0          0          0          6
1796.58/1797.04	c   knapsack         :      10652      10652          1      87891          0          1          3          0          0          0        200          0          0
1796.58/1797.04	c   setppc           :       5977       5977          1      87891          0          1          0         58          1         47          0          0          0
1796.58/1797.04	c   and              :      55616      55616         18      87890          0          1          0        469         18       4934     150164          0          0
1796.58/1797.04	c   logicor          :          0+        36          1         44          0          0          0         26          7          0          7          0          0
1796.58/1797.04	c   countsols        :          0          0          0          0          0          1          0          0          0          0          0          0          0
1796.58/1797.04	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1796.58/1797.04	c   integral         :     163.51       0.00       0.00       0.00     163.50       0.00       0.01       0.00
1796.58/1797.04	c   knapsack         :      26.59       0.00       0.00      26.58       0.00       0.00       0.00       0.00
1796.58/1797.04	c   setppc           :      14.94       0.00       0.00      14.94       0.00       0.00       0.00       0.00
1796.58/1797.04	c   and              :     228.26       0.00       0.51     227.75       0.00       0.00       0.00       0.00
1796.58/1797.04	c   logicor          :       0.04       0.04       0.00       0.00       0.00       0.00       0.00       0.00
1796.58/1797.04	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.58/1797.04	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1796.58/1797.04	c   rootredcost      :          0          0          0          0
1796.58/1797.04	c   pseudoobj        :          0          0          0          0
1796.58/1797.04	c   vbounds          :          0          0          0          0
1796.58/1797.04	c   redcost          :         21          0          0          0
1796.58/1797.04	c   probing          :          0          0          0          0
1796.58/1797.04	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1796.58/1797.04	c   rootredcost      :       0.04       0.00       0.00       0.04       0.00
1796.58/1797.04	c   pseudoobj        :       0.04       0.00       0.00       0.04       0.00
1796.58/1797.04	c   vbounds          :       0.05       0.01       0.00       0.04       0.00
1796.58/1797.04	c   redcost          :       0.08       0.00       0.00       0.08       0.00
1796.58/1797.04	c   probing          :     818.76       0.00     818.76       0.00       0.00
1796.58/1797.04	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.58/1797.04	c   propagation      :       0.00         26         26         33        6.7          4        5.5          -
1796.58/1797.04	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1796.58/1797.04	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.58/1797.04	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.58/1797.04	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.58/1797.04	c   applied globally :          -          -          -         36        6.2          -          -          -
1796.58/1797.04	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.58/1797.04	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1796.58/1797.04	c   cut pool         :       0.00                     5          -          -       4259          -    (maximal pool size: 11701)
1796.58/1797.04	c   closecuts        :       0.00       0.00          0          0          0          0          0
1796.58/1797.04	c   impliedbounds    :       0.20       0.00          1          0          0      17627          0
1796.58/1797.04	c   intobj           :       0.00       0.00          0          0          0          0          0
1796.58/1797.04	c   gomory           :       0.00       0.00          0          0          0          0          0
1796.58/1797.04	c   cgmip            :       0.00       0.00          0          0          0          0          0
1796.58/1797.04	c   strongcg         :       0.00       0.00          0          0          0          0          0
1796.58/1797.04	c   cmir             :       0.00       0.00          0          0          0          0          0
1796.58/1797.04	c   flowcover        :       0.00       0.00          0          0          0          0          0
1796.58/1797.04	c   clique           :       0.00       0.00          0          0          0          0          0
1796.58/1797.04	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1796.58/1797.04	c   mcf              :       0.00       0.00          0          0          0          0          0
1796.58/1797.04	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1796.58/1797.04	c   rapidlearning    :       0.00       0.00          0          0          0          0          0
1796.58/1797.04	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1796.58/1797.04	c   problem variables:       0.00          -          0          0
1796.58/1797.04	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.58/1797.04	c   relpscost        :     163.50       0.00          3          0          0          0          0          6
1796.58/1797.04	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1796.58/1797.04	c   inference        :       0.01       0.00          1          0          0          0          0          2
1796.58/1797.04	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1796.58/1797.04	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1796.58/1797.04	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1796.58/1797.04	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1796.58/1797.04	c   random           :       0.00       0.00          0          0          0          0          0          0
1796.58/1797.04	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1796.58/1797.04	c   LP solutions     :       0.00          -          -          0
1796.58/1797.04	c   pseudo solutions :       0.00          -          -          0
1796.58/1797.04	c   oneopt           :       0.00       0.00          0          0
1796.58/1797.04	c   crossover        :       0.00       0.00          0          0
1796.58/1797.04	c   coefdiving       :       0.00       0.00          0          0
1796.58/1797.04	c   pscostdiving     :       0.00       0.00          0          0
1796.58/1797.04	c   smallcard        :       0.00       0.00          0          0
1796.58/1797.04	c   trivial          :       0.07       0.00          2          0
1796.58/1797.04	c   shiftandpropagate:      29.22       0.00          1          0
1796.58/1797.04	c   simplerounding   :       0.00       0.00          0          0
1796.58/1797.04	c   zirounding       :       0.04       0.00          0          0
1796.58/1797.04	c   rounding         :       0.30       0.00         21          0
1796.58/1797.04	c   shifting         :      55.61       0.00          7          0
1796.58/1797.04	c   intshifting      :       0.00       0.00          0          0
1796.58/1797.04	c   twoopt           :       0.00       0.00          0          0
1796.58/1797.04	c   indtwoopt        :       0.00       0.00          0          0
1796.58/1797.04	c   indoneopt        :       0.00       0.00          0          0
1796.58/1797.04	c   fixandinfer      :       0.00       0.00          0          0
1796.58/1797.04	c   feaspump         :      87.63       0.00          1          0
1796.58/1797.04	c   clique           :       0.00       0.00          0          0
1796.58/1797.04	c   indrounding      :       0.00       0.00          0          0
1796.58/1797.04	c   indcoefdiving    :       0.00       0.00          0          0
1796.58/1797.04	c   fracdiving       :       0.00       0.00          0          0
1796.58/1797.04	c   nlpdiving        :       0.00       0.00          0          0
1796.58/1797.04	c   veclendiving     :       0.00       0.00          0          0
1796.58/1797.04	c   intdiving        :       0.00       0.00          0          0
1796.58/1797.04	c   actconsdiving    :       0.00       0.00          0          0
1796.58/1797.04	c   objpscostdiving  :       0.00       0.00          0          0
1796.58/1797.04	c   rootsoldiving    :       0.00       0.00          0          0
1796.58/1797.04	c   linesearchdiving :       0.00       0.00          0          0
1796.58/1797.04	c   guideddiving     :       0.00       0.00          0          0
1796.58/1797.04	c   octane           :       0.00       0.00          0          0
1796.58/1797.04	c   rens             :       1.02       0.00          1          0
1796.58/1797.04	c   rins             :       0.00       0.00          0          0
1796.58/1797.04	c   localbranching   :       0.00       0.00          0          0
1796.58/1797.04	c   mutation         :       0.00       0.00          0          0
1796.58/1797.04	c   dins             :       0.00       0.00          0          0
1796.58/1797.04	c   vbounds          :       0.00       0.00          0          0
1796.58/1797.04	c   undercover       :      21.22       0.00          1          0
1796.58/1797.04	c   subnlp           :       0.00       0.00          0          0
1796.58/1797.04	c   trysol           :       0.00       0.00          0          0
1796.58/1797.04	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1796.58/1797.04	c   primal LP        :       0.10          1          0       0.00       0.00       0.10          1
1796.58/1797.04	c   dual LP          :     507.59         23     190508    8659.45     375.32       0.04          1
1796.58/1797.04	c   lex dual LP      :       0.00          0          0       0.00          -
1796.58/1797.04	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1796.58/1797.04	c   diving/probing LP:      87.34          4      41203   10300.75     471.75
1796.58/1797.04	c   strong branching :     163.44         51      42350     830.39     259.11
1796.58/1797.04	c     (at root node) :          -         17      13907     818.06          -
1796.58/1797.04	c   conflict analysis:       0.00          0          0       0.00          -
1796.58/1797.04	c B&B Tree           :
1796.58/1797.04	c   number of runs   :          1
1796.58/1797.04	c   nodes            :          4
1796.58/1797.04	c   nodes (total)    :          4
1796.58/1797.04	c   nodes left       :          5
1796.58/1797.04	c   max depth        :          2
1796.58/1797.04	c   max depth (total):          2
1796.58/1797.04	c   backtracks       :          0 (0.0%)
1796.58/1797.04	c   delayed cutoffs  :          0
1796.58/1797.04	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1796.58/1797.04	c   avg switch length:       1.25
1796.58/1797.04	c   switching time   :       0.13
1796.58/1797.04	c Solution           :
1796.58/1797.04	c   Solutions found  :          0 (0 improvements)
1796.58/1797.04	c   Primal Bound     :          -
1796.58/1797.04	c   Dual Bound       : +0.00000000000000e+00
1796.58/1797.04	c   Gap              :   infinite
1796.58/1797.04	c   Root Dual Bound  : +0.00000000000000e+00
1796.58/1797.04	c   Root Iterations  :     141406
1797.59/1798.06	c Time complete: 1797.65.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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-3692832-1338026561/watcher-3692832-1338026561 -o /tmp/evaluation-result-3692832-1338026561/solver-3692832-1338026561 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692832-1338026561.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: 2.01 2.01 2.00 3/176 8743
/proc/meminfo: memFree=28611808/32873844 swapFree=7900/7900
[pid=8743] ppid=8741 vsize=9964 CPUtime=0 cores=0,2,4,6
/proc/8743/stat : 8743 (scip-2.1.1.4sfi) R 8741 8743 6871 0 -1 4202496 1252 0 0 0 0 0 0 0 20 0 1 0 268780697 10203136 1206 33554432000 4194304 10169799 140736151639952 140737335573704 8982256 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8743/statm: 2491 1206 409 1459 0 1023 0

[startup+0.0341171 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 8743
/proc/meminfo: memFree=28611808/32873844 swapFree=7900/7900
[pid=8743] ppid=8741 vsize=17288 CPUtime=0.02 cores=0,2,4,6
/proc/8743/stat : 8743 (scip-2.1.1.4sfi) R 8741 8743 6871 0 -1 4202496 3083 0 0 0 2 0 0 0 20 0 1 0 268780697 17702912 3037 33554432000 4194304 10169799 140736151639952 140737335573704 8821380 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8743/statm: 4322 3037 409 1459 0 2854 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17288

[startup+0.100249 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 8743
/proc/meminfo: memFree=28611808/32873844 swapFree=7900/7900
[pid=8743] ppid=8741 vsize=31036 CPUtime=0.09 cores=0,2,4,6
/proc/8743/stat : 8743 (scip-2.1.1.4sfi) R 8741 8743 6871 0 -1 4202496 6479 0 0 0 8 1 0 0 20 0 1 0 268780697 31780864 6433 33554432000 4194304 10169799 140736151639952 140737335573704 8725337 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8743/statm: 7759 6434 409 1459 0 6291 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31036

[startup+0.300216 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 8743
/proc/meminfo: memFree=28611808/32873844 swapFree=7900/7900
[pid=8743] ppid=8741 vsize=69832 CPUtime=0.29 cores=0,2,4,6
/proc/8743/stat : 8743 (scip-2.1.1.4sfi) R 8741 8743 6871 0 -1 4202496 16199 0 0 0 26 3 0 0 20 0 1 0 268780697 71507968 16153 33554432000 4194304 10169799 140736151639952 140737335573704 8860155 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8743/statm: 17458 16153 409 1459 0 15990 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 69832

[startup+0.700225 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 8743
/proc/meminfo: memFree=28611808/32873844 swapFree=7900/7900
[pid=8743] ppid=8741 vsize=174488 CPUtime=0.69 cores=0,2,4,6
/proc/8743/stat : 8743 (scip-2.1.1.4sfi) R 8741 8743 6871 0 -1 4202496 42252 0 0 0 62 7 0 0 20 0 1 0 268780697 178675712 42196 33554432000 4194304 10169799 140736151639952 140737335573704 7543003 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8743/statm: 43622 42205 454 1459 0 42154 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 174488

[startup+1.50023 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8744
/proc/meminfo: memFree=28340828/32873844 swapFree=7900/7900
[pid=8743] ppid=8741 vsize=396064 CPUtime=1.49 cores=0,2,4,6
/proc/8743/stat : 8743 (scip-2.1.1.4sfi) R 8741 8743 6871 0 -1 4202496 107488 0 0 0 132 17 0 0 20 0 1 0 268780697 405569536 95837 33554432000 4194304 10169799 140736151639952 140736151636936 8961143 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8743/statm: 99016 95837 551 1459 0 97548 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 396064

[startup+3.10023 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8744
/proc/meminfo: memFree=28173676/32873844 swapFree=7900/7900
[pid=8743] ppid=8741 vsize=536184 CPUtime=3.08 cores=0,2,4,6
/proc/8743/stat : 8743 (scip-2.1.1.4sfi) R 8741 8743 6871 0 -1 4202496 141368 0 0 0 279 29 0 0 20 0 1 0 268780697 549052416 129717 33554432000 4194304 10169799 140736151639952 140736151638104 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8743/statm: 134046 129717 561 1459 0 132578 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 536184

[startup+6.30027 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8744
/proc/meminfo: memFree=28012772/32873844 swapFree=7900/7900
[pid=8743] ppid=8741 vsize=642304 CPUtime=6.29 cores=0,2,4,6
/proc/8743/stat : 8743 (scip-2.1.1.4sfi) R 8741 8743 6871 0 -1 4202496 177871 0 0 0 572 57 0 0 20 0 1 0 268780697 657719296 156395 33554432000 4194304 10169799 140736151639952 140736151637592 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8743/statm: 160576 156395 620 1459 0 159108 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 642304

[startup+12.7003 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8744
/proc/meminfo: memFree=27979552/32873844 swapFree=7900/7900
[pid=8743] ppid=8741 vsize=648588 CPUtime=12.68 cores=0,2,4,6
/proc/8743/stat : 8743 (scip-2.1.1.4sfi) R 8741 8743 6871 0 -1 4202496 178459 0 0 0 1193 75 0 0 20 0 1 0 268780697 664154112 158005 33554432000 4194304 10169799 140736151639952 140736151637592 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8743/statm: 162147 158005 622 1459 0 160679 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 648588

[startup+25.5003 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8744
/proc/meminfo: memFree=27972844/32873844 swapFree=7900/7900
[pid=8743] ppid=8741 vsize=657960 CPUtime=25.49 cores=0,2,4,6
/proc/8743/stat : 8743 (scip-2.1.1.4sfi) R 8741 8743 6871 0 -1 4202496 179838 0 0 0 2432 117 0 0 20 0 1 0 268780697 673751040 160406 33554432000 4194304 10169799 140736151639952 140736151637592 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8743/statm: 164490 160406 622 1459 0 163022 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 657960

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8744
/proc/meminfo: memFree=27953756/32873844 swapFree=7900/7900
[pid=8743] ppid=8741 vsize=673648 CPUtime=51.08 cores=0,2,4,6
/proc/8743/stat : 8743 (scip-2.1.1.4sfi) R 8741 8743 6871 0 -1 4202496 182557 0 0 0 4937 171 0 0 20 0 1 0 268780697 689815552 164658 33554432000 4194304 10169799 140736151639952 140736151637592 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8743/statm: 168412 164658 622 1459 0 166944 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 673648

[startup+102.306 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 8744
/proc/meminfo: memFree=27882488/32873844 swapFree=7900/7900
[pid=8743] ppid=8741 vsize=747868 CPUtime=102.28 cores=0,2,4,6
/proc/8743/stat : 8743 (scip-2.1.1.4sfi) R 8741 8743 6871 0 -1 4202496 197009 0 0 0 9977 251 0 0 20 0 1 0 268780697 765816832 182687 33554432000 4194304 10169799 140736151639952 140736151638360 6895385 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8743/statm: 186967 182687 622 1459 0 185499 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 747868

[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8744
/proc/meminfo: memFree=27523460/32873844 swapFree=7900/7900
[pid=8743] ppid=8741 vsize=1115788 CPUtime=162.26 cores=0,2,4,6
/proc/8743/stat : 8743 (scip-2.1.1.4sfi) R 8741 8743 6871 0 -1 4202496 284012 0 0 0 15900 326 0 0 20 0 1 0 268780697 1142566912 272756 33554432000 4194304 10169799 140736151639952 140736151636216 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8743/statm: 278947 272756 622 1459 0 277479 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1115788

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8744
/proc/meminfo: memFree=26931516/32873844 swapFree=7900/7900
[pid=8743] ppid=8741 vsize=1691788 CPUtime=222.26 cores=0,2,4,6
/proc/8743/stat : 8743 (scip-2.1.1.4sfi) R 8741 8743 6871 0 -1 4202496 428599 0 0 0 21864 362 0 0 20 0 1 0 268780697 1732390912 417343 33554432000 4194304 10169799 140736151639952 140736151637480 5295886 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8743/statm: 422947 417343 622 1459 0 421479 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1691788

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8745
/proc/meminfo: memFree=26268596/32873844 swapFree=7900/7900
[pid=8743] ppid=8741 vsize=2359564 CPUtime=282.24 cores=0,2,4,6
/proc/8743/stat : 8743 (scip-2.1.1.4sfi) R 8741 8743 6871 0 -1 4202496 594352 0 0 0 27835 389 0 0 20 0 1 0 268780697 2416193536 583810 33554432000 4194304 10169799 140736151639952 140736151637480 8918722 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8743/statm: 589891 583810 622 1459 0 588423 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 2359564

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8745
/proc/meminfo: memFree=25702564/32873844 swapFree=7900/7900
[pid=8743] ppid=8741 vsize=2915716 CPUtime=342.2 cores=0,2,4,6
/proc/8743/stat : 8743 (scip-2.1.1.4sfi) R 8741 8743 6871 0 -1 4202496 732720 0 0 0 33810 410 0 0 20 0 1 0 268780697 2985693184 722164 33554432000 4194304 10169799 140736151639952 140736151637480 8920258 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8743/statm: 728929 722164 622 1459 0 727461 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 2915716

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8745
/proc/meminfo: memFree=25233452/32873844 swapFree=7900/7900
[pid=8743] ppid=8741 vsize=3391864 CPUtime=402.18 cores=0,2,4,6
/proc/8743/stat : 8743 (scip-2.1.1.4sfi) R 8741 8743 6871 0 -1 4202496 850661 0 0 0 39787 431 0 0 20 0 1 0 268780697 3473268736 840201 33554432000 4194304 10169799 140736151639952 140736151637960 8918680 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8743/statm: 847966 840201 622 1459 0 846498 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 3391864

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8748
/proc/meminfo: memFree=24681880/32873844 swapFree=7900/7900
[pid=8743] ppid=8741 vsize=3940660 CPUtime=462.17 cores=0,2,4,6
/proc/8743/stat : 8743 (scip-2.1.1.4sfi) R 8741 8743 6871 0 -1 4202496 986945 0 0 0 45766 451 0 0 20 0 1 0 268780697 4035235840 976617 33554432000 4194304 10169799 140736151639952 140736151636216 8920332 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8743/statm: 985165 976617 622 1459 0 983697 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 3940660

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8748
/proc/meminfo: memFree=24596552/32873844 swapFree=7900/7900
[pid=8743] ppid=8741 vsize=4019040 CPUtime=522.15 cores=0,2,4,6
/proc/8743/stat : 8743 (scip-2.1.1.4sfi) R 8741 8743 6871 0 -1 4202496 1005506 0 0 0 51739 476 0 0 20 0 1 0 268780697 4115496960 996756 33554432000 4194304 10169799 140736151639952 140736151637480 6361325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8743/statm: 1004760 996756 622 1459 0 1003292 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 4019040

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8749
/proc/meminfo: memFree=24467496/32873844 swapFree=7900/7900
[pid=8743] ppid=8741 vsize=4148552 CPUtime=582.14 cores=0,2,4,6
/proc/8743/stat : 8743 (scip-2.1.1.4sfi) R 8741 8743 6871 0 -1 4202496 1037037 0 0 0 57727 487 0 0 20 0 1 0 268780697 4248117248 1028287 33554432000 4194304 10169799 140736151639952 140736151637464 6124221 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8743/statm: 1037138 1028287 622 1459 0 1035670 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 4148552

[startup+642.3 s]

################
# More data... #
################

/proc/meminfo: memFree=20749188/32873844 swapFree=7900/7900
[pid=8743] ppid=8741 vsize=6480936 CPUtime=1121.99 cores=0,2,4,6
/proc/8743/stat : 8743 (scip-2.1.1.4sfi) R 8741 8743 6871 0 -1 4202496 1579668 0 0 0 111555 644 0 0 20 0 1 0 268780697 6636478464 1603210 33554432000 4194304 10169799 140736151639952 140736151634728 8010450 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8743/statm: 1620234 1603210 854 1459 0 1618766 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 6480936

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8830
/proc/meminfo: memFree=20507040/32873844 swapFree=7900/7900
[pid=8743] ppid=8741 vsize=6480936 CPUtime=1181.98 cores=0,2,4,6
/proc/8743/stat : 8743 (scip-2.1.1.4sfi) R 8741 8743 6871 0 -1 4202496 1579682 0 0 0 117550 648 0 0 20 0 1 0 268780697 6636478464 1603228 33554432000 4194304 10169799 140736151639952 140736151634280 8010537 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8743/statm: 1620234 1603228 854 1459 0 1618766 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 6480936

[startup+1242.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 8830
/proc/meminfo: memFree=20284856/32873844 swapFree=7900/7900
[pid=8743] ppid=8741 vsize=6480936 CPUtime=1241.97 cores=0,2,4,6
/proc/8743/stat : 8743 (scip-2.1.1.4sfi) R 8741 8743 6871 0 -1 4202496 1579685 0 0 0 123545 652 0 0 20 0 1 0 268780697 6636478464 1603295 33554432000 4194304 10169799 140736151639952 140736151634280 8010753 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8743/statm: 1620234 1603295 854 1459 0 1618766 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 6480936

[startup+1302.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 8830
/proc/meminfo: memFree=20080404/32873844 swapFree=7900/7900
[pid=8743] ppid=8741 vsize=6480936 CPUtime=1301.97 cores=0,2,4,6
/proc/8743/stat : 8743 (scip-2.1.1.4sfi) R 8741 8743 6871 0 -1 4202496 1579721 0 0 0 129541 656 0 0 20 0 1 0 268780697 6636478464 1603338 33554432000 4194304 10169799 140736151639952 140736151637560 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8743/statm: 1620234 1603338 854 1459 0 1618766 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 6480936

[startup+1362.3 s]
/proc/loadavg: 2.16 2.05 2.01 3/177 8830
/proc/meminfo: memFree=19827224/32873844 swapFree=7900/7900
[pid=8743] ppid=8741 vsize=6480936 CPUtime=1361.95 cores=0,2,4,6
/proc/8743/stat : 8743 (scip-2.1.1.4sfi) R 8741 8743 6871 0 -1 4202496 1582082 0 0 0 135534 661 0 0 20 0 1 0 268780697 6636478464 1605816 33554432000 4194304 10169799 140736151639952 140736151633816 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8743/statm: 1620234 1605816 859 1459 0 1618766 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 6480936

[startup+1422.31 s]
/proc/loadavg: 2.12 2.06 2.01 3/177 8830
/proc/meminfo: memFree=19702752/32873844 swapFree=7900/7900
[pid=8743] ppid=8741 vsize=6480936 CPUtime=1421.95 cores=0,2,4,6
/proc/8743/stat : 8743 (scip-2.1.1.4sfi) R 8741 8743 6871 0 -1 4202496 1582082 0 0 0 141529 666 0 0 20 0 1 0 268780697 6636478464 1605858 33554432000 4194304 10169799 140736151639952 140736151634360 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8743/statm: 1620234 1605858 859 1459 0 1618766 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 6480936

[startup+1482.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/177 8831
/proc/meminfo: memFree=19532648/32873844 swapFree=7900/7900
[pid=8743] ppid=8741 vsize=6480936 CPUtime=1481.94 cores=0,2,4,6
/proc/8743/stat : 8743 (scip-2.1.1.4sfi) R 8741 8743 6871 0 -1 4202496 1582082 0 0 0 147523 671 0 0 20 0 1 0 268780697 6636478464 1605863 33554432000 4194304 10169799 140736151639952 140736151634456 7981728 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8743/statm: 1620234 1605863 859 1459 0 1618766 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 6480936

[startup+1542.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 8831
/proc/meminfo: memFree=19301044/32873844 swapFree=7900/7900
[pid=8743] ppid=8741 vsize=6480936 CPUtime=1541.92 cores=0,2,4,6
/proc/8743/stat : 8743 (scip-2.1.1.4sfi) R 8741 8743 6871 0 -1 4202496 1582082 0 0 0 153516 676 0 0 20 0 1 0 268780697 6636478464 1605873 33554432000 4194304 10169799 140736151639952 140736151634600 8030290 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8743/statm: 1620234 1605873 859 1459 0 1618766 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 6480936

[startup+1602.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 8831
/proc/meminfo: memFree=19100316/32873844 swapFree=7900/7900
[pid=8743] ppid=8741 vsize=6480936 CPUtime=1601.92 cores=0,2,4,6
/proc/8743/stat : 8743 (scip-2.1.1.4sfi) R 8741 8743 6871 0 -1 4202496 1582082 0 0 0 159509 683 0 0 20 0 1 0 268780697 6636478464 1605896 33554432000 4194304 10169799 140736151639952 140736151634360 8004347 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8743/statm: 1620234 1605896 859 1459 0 1618766 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 6480936

[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/178 8834
/proc/meminfo: memFree=18928844/32873844 swapFree=7900/7900
[pid=8743] ppid=8741 vsize=6480936 CPUtime=1661.91 cores=0,2,4,6
/proc/8743/stat : 8743 (scip-2.1.1.4sfi) R 8741 8743 6871 0 -1 4202496 1582082 0 0 0 165503 688 0 0 20 0 1 0 268780697 6636478464 1605981 33554432000 4194304 10169799 140736151639952 140736151634360 7981712 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8743/statm: 1620234 1605981 859 1459 0 1618766 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 6480936

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 8834
/proc/meminfo: memFree=18793624/32873844 swapFree=7900/7900
[pid=8743] ppid=8741 vsize=6480936 CPUtime=1721.9 cores=0,2,4,6
/proc/8743/stat : 8743 (scip-2.1.1.4sfi) R 8741 8743 6871 0 -1 4202496 1582082 0 0 0 171496 694 0 0 20 0 1 0 268780697 6636478464 1606048 33554432000 4194304 10169799 140736151639952 140736151634600 8009306 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8743/statm: 1620234 1606048 859 1459 0 1618766 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 6480936

[startup+1782.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 8835
/proc/meminfo: memFree=18663588/32873844 swapFree=7900/7900
[pid=8743] ppid=8741 vsize=6480936 CPUtime=1781.89 cores=0,2,4,6
/proc/8743/stat : 8743 (scip-2.1.1.4sfi) R 8741 8743 6871 0 -1 4202496 1582082 0 0 0 177490 699 0 0 20 0 1 0 268780697 6636478464 1606169 33554432000 4194304 10169799 140736151639952 140736151633624 7981728 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8743/statm: 1620234 1606169 859 1459 0 1618766 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 6480936

Solver just ended. Dumping a history of the last processes samples

[startup+1785.5 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 8835
/proc/meminfo: memFree=18663588/32873844 swapFree=7900/7900
[pid=8743] ppid=8741 vsize=6480936 CPUtime=1785.08 cores=0,2,4,6
/proc/8743/stat : 8743 (scip-2.1.1.4sfi) R 8741 8743 6871 0 -1 4202496 1582082 0 0 0 177809 699 0 0 20 0 1 0 268780697 6636478464 1606169 33554432000 4194304 10169799 140736151639952 140736151634456 8021470 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8743/statm: 1620234 1606169 859 1459 0 1618766 0
Current children cumulated CPU time (s) 1785.08
Current children cumulated vsize (KiB) 6480936

[startup+1791.91 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 8835
/proc/meminfo: memFree=18663076/32873844 swapFree=7900/7900
[pid=8743] ppid=8741 vsize=6480936 CPUtime=1791.5 cores=0,2,4,6
/proc/8743/stat : 8743 (scip-2.1.1.4sfi) R 8741 8743 6871 0 -1 4202496 1582082 0 0 0 178450 700 0 0 20 0 1 0 268780697 6636478464 1606169 33554432000 4194304 10169799 140736151639952 140736151633624 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8743/statm: 1620234 1606169 859 1459 0 1618766 0
Current children cumulated CPU time (s) 1791.5
Current children cumulated vsize (KiB) 6480936

[startup+1795.1 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 8835
/proc/meminfo: memFree=18663076/32873844 swapFree=7900/7900
[pid=8743] ppid=8741 vsize=6480936 CPUtime=1794.69 cores=0,2,4,6
/proc/8743/stat : 8743 (scip-2.1.1.4sfi) R 8741 8743 6871 0 -1 4202496 1582082 0 0 0 178769 700 0 0 20 0 1 0 268780697 6636478464 1606169 33554432000 4194304 10169799 140736151639952 140736151634408 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8743/statm: 1620234 1606169 859 1459 0 1618766 0
Current children cumulated CPU time (s) 1794.69
Current children cumulated vsize (KiB) 6480936

[startup+1796.7 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 8835
/proc/meminfo: memFree=18662952/32873844 swapFree=7900/7900
[pid=8743] ppid=8741 vsize=6480936 CPUtime=1796.28 cores=0,2,4,6
/proc/8743/stat : 8743 (scip-2.1.1.4sfi) R 8741 8743 6871 0 -1 4202496 1582082 0 0 0 178928 700 0 0 20 0 1 0 268780697 6636478464 1606169 33554432000 4194304 10169799 140736151639952 140736151634408 7593000 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8743/statm: 1620234 1606169 859 1459 0 1618766 0
Current children cumulated CPU time (s) 1796.28
Current children cumulated vsize (KiB) 6480936

[startup+1797.5 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 8835
/proc/meminfo: memFree=18662952/32873844 swapFree=7900/7900
[pid=8743] ppid=8741 vsize=6476216 CPUtime=1797.08 cores=0,2,4,6
/proc/8743/stat : 8743 (scip-2.1.1.4sfi) R 8741 8743 6871 0 -1 4202496 1582084 0 0 0 179008 700 0 0 20 0 1 0 268780697 6631645184 1604991 33554432000 4194304 10169799 140736151639952 140736151634744 6108310 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8743/statm: 1619054 1604991 861 1459 0 1617586 0
Current children cumulated CPU time (s) 1797.08
Current children cumulated vsize (KiB) 6476216

[startup+1797.9 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 8835
/proc/meminfo: memFree=18662952/32873844 swapFree=7900/7900
[pid=8743] ppid=8741 vsize=5424788 CPUtime=1797.49 cores=0,2,4,6
/proc/8743/stat : 8743 (scip-2.1.1.4sfi) R 8741 8743 6871 0 -1 4202496 1582084 0 0 0 179040 709 0 0 20 0 1 0 268780697 5554982912 639631 33554432000 4194304 10169799 140736151639952 140736151639016 9174538 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8743/statm: 1356197 639631 861 1459 0 1354729 0
Current children cumulated CPU time (s) 1797.49
Current children cumulated vsize (KiB) 5424788

[startup+1798 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 8835
/proc/meminfo: memFree=18662952/32873844 swapFree=7900/7900
[pid=8743] ppid=8741 vsize=5424788 CPUtime=1797.59 cores=0,2,4,6
/proc/8743/stat : 8743 (scip-2.1.1.4sfi) R 8741 8743 6871 0 -1 4202496 1582084 0 0 0 179040 719 0 0 20 0 1 0 268780697 5554982912 245388 33554432000 4194304 10169799 140736151639952 140736151639016 9174538 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8743/statm: 1356197 245090 861 1459 0 1354729 0
Current children cumulated CPU time (s) 1797.59
Current children cumulated vsize (KiB) 5424788

Child status: 0
Real time (s): 1798.06
CPU time (s): 1797.66
CPU user time (s): 1790.4
CPU system time (s): 7.2539
CPU usage (%): 99.9776
Max. virtual memory (cumulated for all children) (KiB): 6480936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.4
system time used= 7.2539
maximum resident set size= 6424684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1582086
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= 143
involuntary context switches= 2105

runsolver used 3.85041 second user time and 13.123 second system time

The end

Launcher Data 

Begin job on node137 at 2012-05-26 12:02:42
IDJOB=3692832
IDBENCH=1473
IDSOLVER=2272
FILE ID=node137/3692832-1338026561
RUNJOBID= node137-1338017245-7420
PBS_JOBID= 14624260
Free space on /tmp= 71260 MiB

SOLVER NAME= SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb
COMMAND LINE= HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3692832-1338026561/watcher-3692832-1338026561 -o /tmp/evaluation-result-3692832-1338026561/solver-3692832-1338026561 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692832-1338026561.opb -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= ef8e8b075ca1490a3beab796ebfb3e9f
RANDOM SEED=230589688

node137.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28611808 kB
Buffers:          249520 kB
Cached:          2790216 kB
SwapCached:        22060 kB
Active:          1359584 kB
Inactive:        2115080 kB
Active(anon):     414568 kB
Inactive(anon):    22680 kB
Active(file):     945016 kB
Inactive(file):  2092400 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67081504 kB
Dirty:             21160 kB
Writeback:             0 kB
AnonPages:        422484 kB
Mapped:            13192 kB
Shmem:                 0 kB
Slab:             645780 kB
SReclaimable:      87284 kB
SUnreclaim:       558496 kB
KernelStack:        1448 kB
PageTables:         4832 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     544716 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71244 MiB
End job on node137 at 2012-05-26 12:32:40