Trace number 3741602

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 NameAnswerobjective functionCPU timeWall clock time
PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (TO) 1800.27 1800.62

General information on the benchmark

Name/OPT-BIGINT-LIN/heinz/
normalized-ns1663818.opb
MD5SUMca0e75c55c65b2e375ac748ac3a932d9
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark285
Best CPU time to get the best result obtained on this benchmark1800.22
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables124626
Total number of constraints172017
Number of constraints which are clauses58800
Number of constraints which are cardinality constraints (but not clauses)3930
Number of constraints which are nor clauses,nor cardinality constraints109287
Minimum length of a constraint1
Maximum length of a constraint15602
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 2000
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 2351800
Number of bits of the biggest sum of numbers22
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.01	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.01	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-3741602-1338757423.opb>
19.58/19.67	c original problem has 124626 variables (124626 bin, 0 int, 0 impl, 0 cont) and 172017 constraints
19.58/19.67	c problem read
19.58/19.67	c presolving settings loaded
24.78/24.84	c presolving:
32.37/32.43	c (round 1) 2 del vars, 2 del conss, 2 chg bounds, 108951 chg sides, 108951 chg coeffs, 0 upgd conss, 602 impls, 3934 clqs
32.57/32.62	c (round 2) 102 del vars, 17 del conss, 102 chg bounds, 108951 chg sides, 108951 chg coeffs, 0 upgd conss, 602 impls, 3932 clqs
32.77/32.81	c (round 3) 198 del vars, 404 del conss, 198 chg bounds, 108953 chg sides, 108953 chg coeffs, 0 upgd conss, 1104 impls, 3932 clqs
38.77/38.89	c (round 4) 434 del vars, 778 del conss, 434 chg bounds, 108956 chg sides, 108956 chg coeffs, 0 upgd conss, 1898 impls, 3932 clqs
44.67/44.70	c (round 5) 660 del vars, 1136 del conss, 660 chg bounds, 108960 chg sides, 108960 chg coeffs, 0 upgd conss, 2674 impls, 3932 clqs
50.36/50.44	c (round 6) 876 del vars, 1478 del conss, 876 chg bounds, 108965 chg sides, 108965 chg coeffs, 0 upgd conss, 3432 impls, 3932 clqs
55.97/56.09	c (round 7) 1082 del vars, 1804 del conss, 1082 chg bounds, 108971 chg sides, 108971 chg coeffs, 0 upgd conss, 4170 impls, 3932 clqs
61.57/61.66	c (round 8) 1278 del vars, 2114 del conss, 1278 chg bounds, 108978 chg sides, 108978 chg coeffs, 0 upgd conss, 4890 impls, 3932 clqs
67.07/67.15	c (round 9) 1464 del vars, 2408 del conss, 1464 chg bounds, 108986 chg sides, 108986 chg coeffs, 0 upgd conss, 5590 impls, 3932 clqs
72.47/72.56	c (round 10) 1640 del vars, 2686 del conss, 1640 chg bounds, 108995 chg sides, 108995 chg coeffs, 0 upgd conss, 6272 impls, 3932 clqs
77.76/77.88	c (round 11) 1806 del vars, 2948 del conss, 1806 chg bounds, 109005 chg sides, 109005 chg coeffs, 0 upgd conss, 6936 impls, 3932 clqs
83.06/83.10	c (round 12) 1962 del vars, 3194 del conss, 1962 chg bounds, 109016 chg sides, 109016 chg coeffs, 0 upgd conss, 7582 impls, 3932 clqs
88.16/88.28	c (round 13) 2108 del vars, 3424 del conss, 2108 chg bounds, 109028 chg sides, 109028 chg coeffs, 0 upgd conss, 8210 impls, 3932 clqs
93.26/93.39	c (round 14) 2244 del vars, 3638 del conss, 2244 chg bounds, 109041 chg sides, 109041 chg coeffs, 0 upgd conss, 8820 impls, 3932 clqs
98.26/98.39	c (round 15) 2370 del vars, 3836 del conss, 2370 chg bounds, 109055 chg sides, 109055 chg coeffs, 0 upgd conss, 9410 impls, 3932 clqs
103.27/103.35	c (round 16) 2486 del vars, 4018 del conss, 2486 chg bounds, 109070 chg sides, 109070 chg coeffs, 0 upgd conss, 9982 impls, 3932 clqs
108.15/108.27	c (round 17) 2592 del vars, 4184 del conss, 2592 chg bounds, 109086 chg sides, 109086 chg coeffs, 0 upgd conss, 10536 impls, 3932 clqs
113.06/113.11	c (round 18) 2688 del vars, 4334 del conss, 2688 chg bounds, 109103 chg sides, 109103 chg coeffs, 0 upgd conss, 11072 impls, 3932 clqs
117.86/117.90	c (round 19) 2774 del vars, 4468 del conss, 2774 chg bounds, 109121 chg sides, 109121 chg coeffs, 0 upgd conss, 11590 impls, 3932 clqs
122.56/122.61	c (round 20) 2850 del vars, 4586 del conss, 2850 chg bounds, 109140 chg sides, 109140 chg coeffs, 0 upgd conss, 12090 impls, 3932 clqs
127.15/127.24	c (round 21) 2916 del vars, 4688 del conss, 2916 chg bounds, 109160 chg sides, 109160 chg coeffs, 0 upgd conss, 12572 impls, 3932 clqs
131.75/131.81	c (round 22) 2972 del vars, 4774 del conss, 2972 chg bounds, 109181 chg sides, 109181 chg coeffs, 0 upgd conss, 13036 impls, 3932 clqs
136.15/136.29	c (round 23) 3018 del vars, 4844 del conss, 3018 chg bounds, 109203 chg sides, 109203 chg coeffs, 0 upgd conss, 13482 impls, 3932 clqs
140.66/140.72	c (round 24) 3054 del vars, 4898 del conss, 3054 chg bounds, 109226 chg sides, 109226 chg coeffs, 0 upgd conss, 13910 impls, 3932 clqs
144.95/145.03	c (round 25) 3080 del vars, 4936 del conss, 3080 chg bounds, 109250 chg sides, 109250 chg coeffs, 0 upgd conss, 14320 impls, 3932 clqs
149.25/149.33	c (round 26) 3096 del vars, 4958 del conss, 3096 chg bounds, 109275 chg sides, 109275 chg coeffs, 0 upgd conss, 14712 impls, 3932 clqs
162.25/162.31	c (round 27) 3102 del vars, 4970 del conss, 3102 chg bounds, 109275 chg sides, 109275 chg coeffs, 167047 upgd conss, 14988 impls, 3932 clqs
357.52/357.63	c (round 28) 3102 del vars, 19381 del conss, 3102 chg bounds, 138415 chg sides, 609487 chg coeffs, 167047 upgd conss, 812550 impls, 18474 clqs
408.61/408.70	c (round 29) 4002 del vars, 19387 del conss, 3102 chg bounds, 138415 chg sides, 609487 chg coeffs, 167047 upgd conss, 812550 impls, 18478 clqs
438.31/438.48	c (round 30) 4002 del vars, 20334 del conss, 3102 chg bounds, 138415 chg sides, 609487 chg coeffs, 167047 upgd conss, 812550 impls, 18478 clqs
441.11/441.24	c (round 31) 4902 del vars, 20334 del conss, 3102 chg bounds, 138415 chg sides, 609487 chg coeffs, 167047 upgd conss, 812550 impls, 18432 clqs
469.90/470.07	c (round 32) 4902 del vars, 21281 del conss, 3102 chg bounds, 138415 chg sides, 609487 chg coeffs, 167047 upgd conss, 812550 impls, 18479 clqs
472.60/472.71	c (round 33) 5802 del vars, 21281 del conss, 3102 chg bounds, 138415 chg sides, 609487 chg coeffs, 167047 upgd conss, 812550 impls, 18433 clqs
500.50/500.69	c (round 34) 5802 del vars, 22228 del conss, 3102 chg bounds, 138415 chg sides, 609487 chg coeffs, 167047 upgd conss, 812550 impls, 18480 clqs
514.79/514.96	c (round 35) 5852 del vars, 22228 del conss, 3102 chg bounds, 138415 chg sides, 609487 chg coeffs, 167047 upgd conss, 812550 impls, 18478 clqs
528.89/529.02	c (round 36) 5902 del vars, 22238 del conss, 3102 chg bounds, 138415 chg sides, 609537 chg coeffs, 167047 upgd conss, 812550 impls, 18478 clqs
544.09/544.20	c (round 37) 5952 del vars, 22240 del conss, 3102 chg bounds, 138415 chg sides, 609537 chg coeffs, 167047 upgd conss, 814362 impls, 18467 clqs
544.69/544.80	c (round 38) 5952 del vars, 22284 del conss, 3102 chg bounds, 138415 chg sides, 609537 chg coeffs, 167047 upgd conss, 814362 impls, 18467 clqs
558.99/559.13	c (round 39) 6002 del vars, 22284 del conss, 3102 chg bounds, 138415 chg sides, 609537 chg coeffs, 167047 upgd conss, 814362 impls, 18464 clqs
559.59/559.74	c (round 40) 6002 del vars, 22338 del conss, 3102 chg bounds, 138415 chg sides, 609537 chg coeffs, 167047 upgd conss, 814362 impls, 18464 clqs
574.69/574.80	c (round 41) 6052 del vars, 22338 del conss, 3102 chg bounds, 138415 chg sides, 609537 chg coeffs, 167047 upgd conss, 815916 impls, 18461 clqs
575.29/575.46	c (round 42) 6052 del vars, 22390 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 815916 impls, 18461 clqs
590.59/590.75	c (round 43) 6102 del vars, 22390 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 817580 impls, 18459 clqs
591.29/591.41	c (round 44) 6102 del vars, 22442 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 817580 impls, 18459 clqs
606.28/606.49	c (round 45) 6152 del vars, 22442 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 819532 impls, 18458 clqs
606.99/607.16	c (round 46) 6152 del vars, 22493 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 819532 impls, 18458 clqs
621.68/621.85	c (round 47) 6202 del vars, 22493 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 820456 impls, 18457 clqs
622.39/622.51	c (round 48) 6202 del vars, 22544 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 820456 impls, 18457 clqs
637.08/637.20	c (round 49) 6252 del vars, 22544 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 821424 impls, 18456 clqs
637.68/637.86	c (round 50) 6252 del vars, 22595 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 821424 impls, 18456 clqs
652.27/652.47	c (round 51) 6302 del vars, 22595 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 822440 impls, 18455 clqs
652.97/653.12	c (round 52) 6302 del vars, 22646 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 822440 impls, 18455 clqs
667.47/667.67	c (round 53) 6352 del vars, 22646 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 823508 impls, 18454 clqs
668.16/668.31	c (round 54) 6352 del vars, 22697 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 823508 impls, 18454 clqs
682.97/683.10	c (round 55) 6402 del vars, 22697 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 825758 impls, 18453 clqs
683.56/683.75	c (round 56) 6402 del vars, 22747 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 825758 impls, 18453 clqs
698.16/698.40	c (round 57) 6452 del vars, 22747 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 828126 impls, 18453 clqs
698.86/699.04	c (round 58) 6452 del vars, 22797 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 828126 impls, 18453 clqs
713.55/713.79	c (round 59) 6502 del vars, 22797 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 830622 impls, 18453 clqs
714.25/714.44	c (round 60) 6502 del vars, 22847 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 830622 impls, 18453 clqs
728.45/728.63	c (round 61) 6552 del vars, 22847 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 830622 impls, 18453 clqs
729.75/729.95	c (round 62) 6552 del vars, 22897 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 830622 impls, 18453 clqs
743.85/744.04	c (round 63) 6602 del vars, 22897 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 833254 impls, 18453 clqs
744.45/744.68	c (round 64) 6602 del vars, 22947 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 833254 impls, 18453 clqs
759.14/759.38	c (round 65) 6652 del vars, 22947 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 836030 impls, 18453 clqs
759.85/760.02	c (round 66) 6652 del vars, 22997 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 836030 impls, 18453 clqs
773.84/774.04	c (round 67) 6702 del vars, 22997 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 836030 impls, 18453 clqs
774.44/774.66	c (round 68) 6702 del vars, 23047 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 836030 impls, 18453 clqs
789.14/789.30	c (round 69) 6752 del vars, 23047 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 838958 impls, 18453 clqs
789.74/789.94	c (round 70) 6752 del vars, 23097 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 838958 impls, 18453 clqs
796.64/796.86	c    (777.2s) probing: 1000/121524 (0.8%) - 3673 fixings, 0 aggregations, 13177 implications, 0 bound changes
804.34/804.54	c (round 71) 6802 del vars, 23097 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 842046 impls, 18453 clqs
804.94/805.18	c (round 72) 6802 del vars, 23147 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 842046 impls, 18453 clqs
818.93/819.18	c (round 73) 6852 del vars, 23147 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 842046 impls, 18453 clqs
820.23/820.48	c (round 74) 6852 del vars, 23197 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 842046 impls, 18453 clqs
834.23/834.43	c (round 75) 6902 del vars, 23197 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 845302 impls, 18453 clqs
835.53/835.75	c (round 76) 6902 del vars, 23247 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 845302 impls, 18453 clqs
849.43/849.68	c (round 77) 6952 del vars, 23247 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 848734 impls, 18453 clqs
850.73/850.99	c (round 78) 6952 del vars, 23297 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 848734 impls, 18453 clqs
864.13/864.39	c (round 79) 7002 del vars, 23297 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 848734 impls, 18453 clqs
865.43/865.69	c (round 80) 7002 del vars, 23347 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 848734 impls, 18453 clqs
879.32/879.57	c (round 81) 7052 del vars, 23347 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 852350 impls, 18453 clqs
880.62/880.87	c (round 82) 7052 del vars, 23397 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 852350 impls, 18453 clqs
893.92/894.18	c (round 83) 7102 del vars, 23397 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 852350 impls, 18453 clqs
895.23/895.48	c (round 84) 7102 del vars, 23447 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 852350 impls, 18453 clqs
909.22/909.41	c (round 85) 7152 del vars, 23447 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 856158 impls, 18453 clqs
910.42/910.70	c (round 86) 7152 del vars, 23497 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 856158 impls, 18453 clqs
923.91/924.16	c (round 87) 7202 del vars, 23497 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 856158 impls, 18453 clqs
925.22/925.45	c (round 88) 7202 del vars, 23547 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 856158 impls, 18453 clqs
939.22/939.47	c (round 89) 7252 del vars, 23547 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 860166 impls, 18453 clqs
940.51/940.76	c (round 90) 7252 del vars, 23597 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 860166 impls, 18453 clqs
954.01/954.22	c (round 91) 7302 del vars, 23597 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 860166 impls, 18453 clqs
955.31/955.50	c (round 92) 7302 del vars, 23647 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 860166 impls, 18453 clqs
969.41/969.60	c (round 93) 7352 del vars, 23647 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 864374 impls, 18453 clqs
970.61/970.90	c (round 94) 7352 del vars, 23697 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 864374 impls, 18453 clqs
984.10/984.34	c (round 95) 7402 del vars, 23697 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 864374 impls, 18453 clqs
985.41/985.61	c (round 96) 7402 del vars, 23747 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 864374 impls, 18453 clqs
1002.30/1002.57	c (round 97) 7452 del vars, 23750 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 868782 impls, 18453 clqs
1003.60/1003.84	c (round 98) 7452 del vars, 23800 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 868782 impls, 18453 clqs
1020.60/1020.89	c (round 99) 7502 del vars, 23800 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 868782 impls, 18453 clqs
1021.89/1022.16	c (round 100) 7502 del vars, 23850 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 868782 impls, 18453 clqs
1040.79/1041.02	c (round 101) 7552 del vars, 23855 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 873390 impls, 18453 clqs
1041.99/1042.29	c (round 102) 7552 del vars, 23905 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 873390 impls, 18453 clqs
1057.29/1057.59	c (round 103) 7602 del vars, 23905 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 873390 impls, 18453 clqs
1058.59/1058.85	c (round 104) 7602 del vars, 23955 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 873390 impls, 18453 clqs
1075.88/1076.16	c (round 105) 7652 del vars, 23955 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 878198 impls, 18453 clqs
1077.18/1077.41	c (round 106) 7652 del vars, 24005 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 878198 impls, 18453 clqs
1096.88/1097.16	c (round 107) 7702 del vars, 24016 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 878198 impls, 18453 clqs
1098.18/1098.42	c (round 108) 7702 del vars, 24066 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 878198 impls, 18453 clqs
1114.18/1114.49	c (round 109) 7752 del vars, 24066 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 883206 impls, 18453 clqs
1115.48/1115.76	c (round 110) 7752 del vars, 24116 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 883206 impls, 18453 clqs
1119.78/1120.00	c    (1100.3s) probing: 2000/121524 (1.6%) - 4651 fixings, 0 aggregations, 35301 implications, 0 bound changes
1132.27/1132.54	c (round 111) 7802 del vars, 24116 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 883206 impls, 18453 clqs
1133.47/1133.78	c (round 112) 7802 del vars, 24166 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 883206 impls, 18453 clqs
1150.47/1150.72	c (round 113) 7852 del vars, 24166 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 888414 impls, 18453 clqs
1151.67/1151.97	c (round 114) 7852 del vars, 24216 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 888414 impls, 18453 clqs
1165.57/1165.84	c (round 115) 7902 del vars, 24216 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 888414 impls, 18453 clqs
1166.77/1167.09	c (round 116) 7902 del vars, 24266 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 888414 impls, 18453 clqs
1182.37/1182.60	c (round 117) 7952 del vars, 24266 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 893822 impls, 18453 clqs
1183.57/1183.84	c (round 118) 7952 del vars, 24316 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 893822 impls, 18453 clqs
1199.36/1199.61	c (round 119) 8002 del vars, 24316 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 893822 impls, 18453 clqs
1200.57/1200.85	c (round 120) 8002 del vars, 24366 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 893822 impls, 18453 clqs
1217.77/1218.04	c (round 121) 8052 del vars, 24366 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 899430 impls, 18453 clqs
1218.97/1219.29	c (round 122) 8052 del vars, 24416 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 899430 impls, 18453 clqs
1223.37/1223.64	c (round 123) 8102 del vars, 24472 del conss, 3102 chg bounds, 138415 chg sides, 609587 chg coeffs, 167047 upgd conss, 899430 impls, 18452 clqs
1270.46/1270.71	c (round 124) 8102 del vars, 24476 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 899438 impls, 18456 clqs
1295.46/1295.77	c (round 125) 8152 del vars, 24476 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 899438 impls, 18456 clqs
1296.75/1297.00	c (round 126) 8152 del vars, 24526 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 899438 impls, 18456 clqs
1311.15/1311.46	c (round 127) 8202 del vars, 24526 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 905246 impls, 18456 clqs
1312.45/1312.70	c (round 128) 8202 del vars, 24576 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 905246 impls, 18456 clqs
1326.14/1326.41	c (round 129) 8252 del vars, 24576 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 905246 impls, 18456 clqs
1327.35/1327.63	c (round 130) 8252 del vars, 24626 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 905246 impls, 18456 clqs
1341.75/1342.09	c (round 131) 8302 del vars, 24626 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 911254 impls, 18456 clqs
1343.04/1343.33	c (round 132) 8302 del vars, 24676 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 911254 impls, 18456 clqs
1356.74/1357.06	c (round 133) 8352 del vars, 24676 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 911254 impls, 18456 clqs
1357.94/1358.28	c (round 134) 8352 del vars, 24726 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 911254 impls, 18456 clqs
1372.24/1372.55	c (round 135) 8402 del vars, 24726 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 917462 impls, 18456 clqs
1373.44/1373.76	c (round 136) 8402 del vars, 24776 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 917462 impls, 18456 clqs
1387.03/1387.38	c (round 137) 8452 del vars, 24776 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 917462 impls, 18456 clqs
1388.23/1388.59	c (round 138) 8452 del vars, 24826 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 917462 impls, 18456 clqs
1402.53/1402.85	c (round 139) 8502 del vars, 24826 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 923870 impls, 18456 clqs
1403.73/1404.07	c (round 140) 8502 del vars, 24876 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 923870 impls, 18456 clqs
1417.43/1417.71	c (round 141) 8552 del vars, 24876 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 923870 impls, 18456 clqs
1418.63/1418.92	c (round 142) 8552 del vars, 24926 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 923870 impls, 18456 clqs
1432.72/1433.07	c (round 143) 8602 del vars, 24926 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 930478 impls, 18456 clqs
1433.92/1434.29	c (round 144) 8602 del vars, 24976 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 930478 impls, 18456 clqs
1447.52/1447.84	c (round 145) 8652 del vars, 24976 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 930478 impls, 18456 clqs
1448.72/1449.04	c (round 146) 8652 del vars, 25026 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 930478 impls, 18456 clqs
1462.62/1463.00	c (round 147) 8702 del vars, 25026 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 937286 impls, 18456 clqs
1463.92/1464.21	c (round 148) 8702 del vars, 25076 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 937286 impls, 18456 clqs
1477.02/1477.30	c (round 149) 8752 del vars, 25076 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 937286 impls, 18456 clqs
1478.12/1478.49	c (round 150) 8752 del vars, 25126 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 937286 impls, 18456 clqs
1487.21/1487.57	c    (1467.9s) probing: 3000/121524 (2.5%) - 5631 fixings, 0 aggregations, 65841 implications, 0 bound changes
1491.71/1492.06	c (round 151) 8802 del vars, 25126 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 944294 impls, 18456 clqs
1492.91/1493.25	c (round 152) 8802 del vars, 25176 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 944294 impls, 18456 clqs
1505.81/1506.16	c (round 153) 8852 del vars, 25176 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 944294 impls, 18456 clqs
1507.01/1507.35	c (round 154) 8852 del vars, 25226 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 944294 impls, 18456 clqs
1520.60/1520.94	c (round 155) 8902 del vars, 25226 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 951502 impls, 18456 clqs
1521.80/1522.14	c (round 156) 8902 del vars, 25276 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 951502 impls, 18456 clqs
1534.60/1534.93	c (round 157) 8952 del vars, 25276 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 951502 impls, 18456 clqs
1535.80/1536.10	c (round 158) 8952 del vars, 25326 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 951502 impls, 18456 clqs
1549.10/1549.42	c (round 159) 9002 del vars, 25326 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 958910 impls, 18456 clqs
1550.20/1550.59	c (round 160) 9002 del vars, 25376 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 958910 impls, 18456 clqs
1563.09/1563.42	c (round 161) 9052 del vars, 25376 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 958910 impls, 18456 clqs
1564.29/1564.60	c (round 162) 9052 del vars, 25426 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 958910 impls, 18456 clqs
1577.69/1578.03	c (round 163) 9102 del vars, 25426 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 966518 impls, 18456 clqs
1578.89/1579.21	c (round 164) 9102 del vars, 25476 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 966518 impls, 18456 clqs
1591.49/1591.86	c (round 165) 9152 del vars, 25476 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 966518 impls, 18456 clqs
1592.69/1593.01	c (round 166) 9152 del vars, 25526 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 966518 impls, 18456 clqs
1605.78/1606.18	c (round 167) 9202 del vars, 25526 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 974326 impls, 18456 clqs
1606.98/1607.34	c (round 168) 9202 del vars, 25576 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 974326 impls, 18456 clqs
1619.58/1619.93	c (round 169) 9252 del vars, 25576 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 974326 impls, 18456 clqs
1620.68/1621.08	c (round 170) 9252 del vars, 25626 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 974326 impls, 18456 clqs
1633.98/1634.39	c (round 171) 9302 del vars, 25626 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 982334 impls, 18456 clqs
1635.18/1635.57	c (round 172) 9302 del vars, 25676 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 982334 impls, 18456 clqs
1647.77/1648.18	c (round 173) 9352 del vars, 25676 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 982334 impls, 18456 clqs
1648.97/1649.34	c (round 174) 9352 del vars, 25726 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 982334 impls, 18456 clqs
1661.87/1662.24	c (round 175) 9402 del vars, 25726 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 990542 impls, 18456 clqs
1662.97/1663.37	c (round 176) 9402 del vars, 25776 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 990542 impls, 18456 clqs
1675.57/1675.94	c (round 177) 9452 del vars, 25776 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 990542 impls, 18456 clqs
1676.77/1677.10	c (round 178) 9452 del vars, 25826 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 990542 impls, 18456 clqs
1689.76/1690.19	c (round 179) 9502 del vars, 25826 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 998950 impls, 18456 clqs
1690.96/1691.35	c (round 180) 9502 del vars, 25876 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 998950 impls, 18456 clqs
1703.36/1703.76	c (round 181) 9552 del vars, 25876 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 998950 impls, 18456 clqs
1704.57/1704.90	c (round 182) 9552 del vars, 25926 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 998950 impls, 18456 clqs
1717.46/1717.87	c (round 183) 9602 del vars, 25926 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 1007558 impls, 18456 clqs
1718.66/1719.02	c (round 184) 9602 del vars, 25976 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 1007558 impls, 18456 clqs
1730.96/1731.38	c (round 185) 9652 del vars, 25976 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 1007558 impls, 18456 clqs
1732.16/1732.53	c (round 186) 9652 del vars, 26026 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 1007558 impls, 18456 clqs
1745.05/1745.47	c (round 187) 9702 del vars, 26026 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 1016366 impls, 18456 clqs
1746.25/1746.61	c (round 188) 9702 del vars, 26076 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 1016366 impls, 18456 clqs
1758.46/1758.87	c (round 189) 9752 del vars, 26076 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 1016366 impls, 18456 clqs
1759.66/1760.00	c (round 190) 9752 del vars, 26126 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 1016366 impls, 18456 clqs
1763.75/1764.17	c    (1744.5s) probing: 4000/121524 (3.3%) - 6613 fixings, 0 aggregations, 101877 implications, 0 bound changes
1772.54/1772.96	c (round 191) 9802 del vars, 26126 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 1025374 impls, 18456 clqs
1773.74/1774.15	c (round 192) 9802 del vars, 26176 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 1025374 impls, 18456 clqs
1786.64/1787.03	c (round 193) 9852 del vars, 26176 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 1025374 impls, 18456 clqs
1787.84/1788.21	c (round 194) 9852 del vars, 26226 del conss, 3102 chg bounds, 138527 chg sides, 609711 chg coeffs, 167047 upgd conss, 1025374 impls, 18456 clqs
1789.64/1790.07	c    (1770.4s) probing: 4091/121524 (3.4%) - 6702 fixings, 0 aggregations, 106381 implications, 0 bound changes
1789.64/1790.07	c    (1770.4s) probing aborted: solving stopped
1789.74/1790.14	c presolving (195 rounds):
1789.74/1790.14	c  9854 deleted vars, 26226 deleted constraints, 3102 tightened bounds, 0 added holes, 138527 changed sides, 609711 changed coefficients
1789.74/1790.14	c  1025374 implications, 18456 cliques
1789.74/1790.14	c presolved problem has 114772 variables (114772 bin, 0 int, 0 impl, 0 cont) and 160357 constraints
1789.74/1790.14	c     312 constraints of type <knapsack>
1789.74/1790.14	c   18747 constraints of type <setppc>
1789.74/1790.14	c  141298 constraints of type <logicor>
1789.74/1790.14	c transformed objective value is always integral (scale: 1)
1789.74/1790.14	c Presolving Time: 1765.54
1789.74/1790.14	c - non default parameters ----------------------------------------------------------------------
1789.74/1790.14	c # SCIP version 1.2.1.3
1789.74/1790.14	c 
1789.74/1790.14	c # frequency for displaying node information lines
1789.74/1790.14	c # [type: int, range: [-1,2147483647], default: 100]
1789.74/1790.14	c display/freq = 10000
1789.74/1790.14	c 
1789.74/1790.14	c # maximal time in seconds to run
1789.74/1790.14	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.74/1790.14	c limits/time = 1770.35
1789.74/1790.14	c 
1789.74/1790.14	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1789.74/1790.14	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.74/1790.14	c limits/memory = 13950
1789.74/1790.14	c 
1789.74/1790.14	c # default clock type (1: CPU user seconds, 2: wall clock time)
1789.74/1790.14	c # [type: int, range: [1,2], default: 1]
1789.74/1790.14	c timing/clocktype = 2
1789.74/1790.14	c 
1789.74/1790.14	c # should presolving try to simplify inequalities
1789.74/1790.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.74/1790.14	c constraints/linear/simplifyinequalities = TRUE
1789.74/1790.14	c 
1789.74/1790.14	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1789.74/1790.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.74/1790.14	c constraints/indicator/addCouplingCons = TRUE
1789.74/1790.14	c 
1789.74/1790.14	c # should presolving try to simplify knapsacks
1789.74/1790.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.74/1790.14	c constraints/knapsack/simplifyinequalities = TRUE
1789.74/1790.14	c 
1789.74/1790.14	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1789.74/1790.14	c # [type: int, range: [-1,2147483647], default: -1]
1789.74/1790.14	c separating/rapidlearning/freq = 0
1789.74/1790.14	c 
1789.74/1790.14	c -----------------------------------------------------------------------------------------------
1789.74/1790.14	c start solving
1789.74/1790.17	c 
1789.74/1790.17	c 
1789.74/1790.17	c SCIP Status        : solving was interrupted [time limit reached]
1789.74/1790.17	c Solving Time (sec) : 1770.50
1789.74/1790.17	c Solving Nodes      : 0
1789.74/1790.17	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1789.74/1790.17	c Dual Bound         : -1.00000000000000e+20
1789.74/1790.17	c Gap                : infinite
1789.74/1790.17	s UNKNOWN
1789.74/1790.17	c SCIP Status        : solving was interrupted [time limit reached]
1789.74/1790.17	c Solving Time       :    1770.50
1789.74/1790.17	c Original Problem   :
1789.74/1790.17	c   Problem name     : HOME/instance-3741602-1338757423.opb
1789.74/1790.17	c   Variables        : 124626 (124626 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.74/1790.17	c   Constraints      : 172017 initial, 172017 maximal
1789.74/1790.17	c Presolved Problem  :
1789.74/1790.17	c   Problem name     : t_HOME/instance-3741602-1338757423.opb
1789.74/1790.17	c   Variables        : 114772 (114772 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.74/1790.17	c   Constraints      : 160357 initial, 160357 maximal
1789.74/1790.17	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1789.74/1790.17	c   trivial          :       1.09          0          0          0          0          0          0          0          0
1789.74/1790.17	c   dualfix          :       0.95          0          0          0          0          0          0          0          0
1789.74/1790.17	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1789.74/1790.17	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1789.74/1790.17	c   implics          :       0.62          0          0          0          0          0          0          0          0
1789.74/1790.17	c   probing          :    1024.70       6702          0          0          0          0          0          0          0
1789.74/1790.17	c   knapsack         :     395.83          0          0          0          0          0      14411      29252     500436
1789.74/1790.17	c   setppc           :     163.63         50          0          0          0          0       2117          0          0
1789.74/1790.17	c   linear           :      97.43       3102          0          0       3102          0       4970     109275     109275
1789.74/1790.17	c   logicor          :      24.30          0          0          0          0          0       4728          0          0
1789.74/1790.17	c   root node        :          -          0          -          -          0          -          -          -          -
1789.74/1790.17	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1789.74/1790.17	c   integral         :          0          0          0          0          0          0          0          0          0          0
1789.74/1790.17	c   knapsack         :        312          0       8293          0          0          0          0          0          0          0
1789.74/1790.17	c   setppc           :      18747          0       8293          0          0       4002          0          0          0          0
1789.74/1790.17	c   logicor          :     141298          0       4134          0          0          0          0          0          0          0
1789.74/1790.17	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1789.74/1790.17	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1789.74/1790.17	c   integral         :       0.00       0.00       0.00       0.00       0.00
1789.74/1790.17	c   knapsack         :     207.78       0.00     207.78       0.00       0.00
1789.74/1790.17	c   setppc           :       4.05       0.00       4.05       0.00       0.00
1789.74/1790.17	c   logicor          :       0.40       0.00       0.40       0.00       0.00
1789.74/1790.17	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1789.74/1790.17	c Propagators        :       Time      Calls    Cutoffs    DomReds
1789.74/1790.17	c   vbounds          :       0.01          1          0          0
1789.74/1790.17	c   rootredcost      :       0.01          0          0          0
1789.74/1790.17	c   pseudoobj        :       0.01          0          0          0
1789.74/1790.17	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1789.74/1790.17	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1789.74/1790.17	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1789.74/1790.17	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1789.74/1790.17	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1789.74/1790.17	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1789.74/1790.17	c   applied globally :          -          -          -          0        0.0          -          -          -
1789.74/1790.17	c   applied locally  :          -          -          -          0        0.0          -          -          -
1789.74/1790.17	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1789.74/1790.17	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1789.74/1790.17	c   redcost          :       0.00          0          0          0          0          0
1789.74/1790.17	c   impliedbounds    :       0.00          0          0          0          0          0
1789.74/1790.17	c   intobj           :       0.00          0          0          0          0          0
1789.74/1790.17	c   cgmip            :       0.00          0          0          0          0          0
1789.74/1790.17	c   gomory           :       0.00          0          0          0          0          0
1789.74/1790.17	c   strongcg         :       0.00          0          0          0          0          0
1789.74/1790.17	c   cmir             :       0.00          0          0          0          0          0
1789.74/1790.17	c   flowcover        :       0.00          0          0          0          0          0
1789.74/1790.17	c   clique           :       0.00          0          0          0          0          0
1789.74/1790.17	c   zerohalf         :       0.00          0          0          0          0          0
1789.74/1790.17	c   mcf              :       0.00          0          0          0          0          0
1789.74/1790.17	c   rapidlearning    :       0.00          0          0          0          0          0
1789.74/1790.17	c Pricers            :       Time      Calls       Vars
1789.74/1790.17	c   problem variables:       0.00          0          0
1789.74/1790.17	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1789.74/1790.17	c   pscost           :       0.00          0          0          0          0          0          0
1789.74/1790.17	c   inference        :       0.00          0          0          0          0          0          0
1789.74/1790.17	c   mostinf          :       0.00          0          0          0          0          0          0
1789.74/1790.17	c   leastinf         :       0.00          0          0          0          0          0          0
1789.74/1790.17	c   fullstrong       :       0.00          0          0          0          0          0          0
1789.74/1790.17	c   allfullstrong    :       0.00          0          0          0          0          0          0
1789.74/1790.17	c   random           :       0.00          0          0          0          0          0          0
1789.74/1790.17	c   relpscost        :       0.00          0          0          0          0          0          0
1789.74/1790.17	c Primal Heuristics  :       Time      Calls      Found
1789.74/1790.17	c   LP solutions     :       0.00          -          0
1789.74/1790.17	c   pseudo solutions :       0.00          -          0
1789.74/1790.17	c   trivial          :       0.08          1          0
1789.74/1790.17	c   simplerounding   :       0.00          0          0
1789.74/1790.17	c   zirounding       :       0.00          0          0
1789.74/1790.17	c   rounding         :       0.00          0          0
1789.74/1790.17	c   shifting         :       0.00          0          0
1789.74/1790.17	c   intshifting      :       0.00          0          0
1789.74/1790.17	c   oneopt           :       0.00          0          0
1789.74/1790.17	c   twoopt           :       0.00          0          0
1789.74/1790.17	c   fixandinfer      :       0.00          0          0
1789.74/1790.17	c   feaspump         :       0.00          0          0
1789.74/1790.17	c   coefdiving       :       0.00          0          0
1789.74/1790.17	c   pscostdiving     :       0.00          0          0
1789.74/1790.17	c   fracdiving       :       0.00          0          0
1789.74/1790.17	c   veclendiving     :       0.00          0          0
1789.74/1790.17	c   intdiving        :       0.00          0          0
1789.74/1790.17	c   actconsdiving    :       0.00          0          0
1789.74/1790.17	c   objpscostdiving  :       0.00          0          0
1789.74/1790.17	c   rootsoldiving    :       0.00          0          0
1789.74/1790.17	c   linesearchdiving :       0.00          0          0
1789.74/1790.17	c   guideddiving     :       0.00          0          0
1789.74/1790.17	c   octane           :       0.00          0          0
1789.74/1790.17	c   rens             :       0.00          0          0
1789.74/1790.17	c   rins             :       0.00          0          0
1789.74/1790.17	c   localbranching   :       0.00          0          0
1789.74/1790.17	c   mutation         :       0.00          0          0
1789.74/1790.17	c   crossover        :       0.00          0          0
1789.74/1790.17	c   dins             :       0.00          0          0
1789.74/1790.17	c   undercover       :       0.00          0          0
1789.74/1790.17	c   nlp              :       0.00          0          0
1789.74/1790.17	c   trysol           :       0.00          0          0
1789.74/1790.17	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1789.74/1790.17	c   primal LP        :       0.00          0          0       0.00          -
1789.74/1790.17	c   dual LP          :       0.00          0          0       0.00          -
1789.74/1790.17	c   lex dual LP      :       0.00          0          0       0.00          -
1789.74/1790.17	c   barrier LP       :       0.00          0          0       0.00          -
1789.74/1790.17	c   diving/probing LP:       0.00          0          0       0.00          -
1789.74/1790.17	c   strong branching :       0.00          0          0       0.00          -
1789.74/1790.17	c     (at root node) :          -          0          0       0.00          -
1789.74/1790.17	c   conflict analysis:       0.00          0          0       0.00          -
1789.74/1790.17	c B&B Tree           :
1789.74/1790.17	c   number of runs   :          1
1789.74/1790.17	c   nodes            :          0
1789.74/1790.17	c   nodes (total)    :          0
1789.74/1790.17	c   nodes left       :          1
1789.74/1790.17	c   max depth        :         -1
1789.74/1790.17	c   max depth (total):         -1
1789.74/1790.17	c   backtracks       :          0 (0.0%)
1789.74/1790.17	c   delayed cutoffs  :          0
1789.74/1790.17	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1789.74/1790.17	c   avg switch length:       0.00
1789.74/1790.17	c   switching time   :       0.00
1789.74/1790.17	c Solution           :
1789.74/1790.17	c   Solutions found  :          0 (0 improvements)
1789.74/1790.17	c   Primal Bound     :          -
1789.74/1790.17	c   Dual Bound       :          -
1789.74/1790.17	c   Gap              :   infinite
1789.74/1790.17	c   Root Dual Bound  :          -
1789.74/1790.17	c   Root Iterations  :          0

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-3741602-1338757423/watcher-3741602-1338757423 -o /tmp/evaluation-result-3741602-1338757423/solver-3741602-1338757423 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3741602-1338757423.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.00 2.00 3/176 19493
/proc/meminfo: memFree=24104448/32873844 swapFree=7632/7632
[pid=19493] ppid=19491 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/19493/stat : 19493 (runsolver) D 19491 19493 18846 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 341868368 12095488 50 33554432000 4194304 5436572 140737447206528 140737447202824 4883175 0 0 4096 24578 18446744071579943789 0 0 17 4 0 0 0 0 0
/proc/19493/statm: 2953 50 31 304 0 2645 0

[startup+0.0114601 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 19493
/proc/meminfo: memFree=24104448/32873844 swapFree=7632/7632
[pid=19493] ppid=19491 vsize=7912 CPUtime=0 cores=0,2,4,6
/proc/19493/stat : 19493 (pbscip.linux.x8) R 19491 19493 18846 0 -1 4202496 1140 0 0 0 0 0 0 0 20 0 1 0 341868368 8101888 1086 33554432000 4194304 8395647 140734025033168 140734024965224 7382157 0 0 4096 0 0 0 0 17 6 0 0 0 0 0
/proc/19493/statm: 1978 1086 365 1026 0 948 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7912

[startup+0.100189 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 19493
/proc/meminfo: memFree=24104448/32873844 swapFree=7632/7632
[pid=19493] ppid=19491 vsize=34276 CPUtime=0.09 cores=0,2,4,6
/proc/19493/stat : 19493 (pbscip.linux.x8) R 19491 19493 18846 0 -1 4202496 7692 0 0 0 8 1 0 0 20 0 1 0 341868368 35098624 7633 33554432000 4194304 8395647 140734025033168 140734024898376 7301536 0 0 4096 0 0 0 0 17 6 0 0 0 0 0
/proc/19493/statm: 8569 7633 394 1026 0 7539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34276

[startup+0.300161 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 19493
/proc/meminfo: memFree=24104448/32873844 swapFree=7632/7632
[pid=19493] ppid=19491 vsize=87008 CPUtime=0.28 cores=0,2,4,6
/proc/19493/stat : 19493 (pbscip.linux.x8) R 19491 19493 18846 0 -1 4202496 20833 0 0 0 26 2 0 0 20 0 1 0 341868368 89096192 20774 33554432000 4194304 8395647 140734025033168 140734024898376 5758814 0 0 4096 0 0 0 0 17 6 0 0 0 0 0
/proc/19493/statm: 21752 20774 394 1026 0 20722 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 87008

[startup+0.700154 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 19493
/proc/meminfo: memFree=24104448/32873844 swapFree=7632/7632
[pid=19493] ppid=19491 vsize=110272 CPUtime=0.68 cores=0,2,4,6
/proc/19493/stat : 19493 (pbscip.linux.x8) R 19491 19493 18846 0 -1 4202496 26615 0 0 0 65 3 0 0 20 0 1 0 341868368 112918528 26556 33554432000 4194304 8395647 140734025033168 140734024898376 4437231 0 0 4096 0 0 0 0 17 6 0 0 0 0 0
/proc/19493/statm: 27568 26556 394 1026 0 26538 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 110272

[startup+1.50019 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 19494
/proc/meminfo: memFree=23976084/32873844 swapFree=7632/7632
[pid=19493] ppid=19491 vsize=148092 CPUtime=1.48 cores=0,2,4,6
/proc/19493/stat : 19493 (pbscip.linux.x8) R 19491 19493 18846 0 -1 4202496 35459 0 0 0 143 5 0 0 20 0 1 0 341868368 151646208 35400 33554432000 4194304 8395647 140734025033168 140734024898376 7370168 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19493/statm: 37023 35400 394 1026 0 35993 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 148092

[startup+3.10019 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 19494
/proc/meminfo: memFree=23951284/32873844 swapFree=7632/7632
[pid=19493] ppid=19491 vsize=190104 CPUtime=3.08 cores=0,2,4,6
/proc/19493/stat : 19493 (pbscip.linux.x8) R 19491 19493 18846 0 -1 4202496 42558 0 0 0 302 6 0 0 20 0 1 0 341868368 194666496 42499 33554432000 4194304 8395647 140734025033168 140734024898376 7278653 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19493/statm: 47526 42499 394 1026 0 46496 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 190104

[startup+6.30018 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 19494
/proc/meminfo: memFree=23894120/32873844 swapFree=7632/7632
[pid=19493] ppid=19491 vsize=266052 CPUtime=6.28 cores=0,2,4,6
/proc/19493/stat : 19493 (pbscip.linux.x8) R 19491 19493 18846 0 -1 4202496 56438 0 0 0 619 9 0 0 20 0 1 0 341868368 272437248 56379 33554432000 4194304 8395647 140734025033168 140734024898344 7301554 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19493/statm: 66513 56379 394 1026 0 65483 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 266052

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19494
/proc/meminfo: memFree=23756720/32873844 swapFree=7632/7632
[pid=19493] ppid=19491 vsize=395480 CPUtime=12.68 cores=0,2,4,6
/proc/19493/stat : 19493 (pbscip.linux.x8) R 19491 19493 18846 0 -1 4202496 83823 0 0 0 1254 14 0 0 20 0 1 0 341868368 404971520 83764 33554432000 4194304 8395647 140734025033168 140734024898376 7276008 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19493/statm: 98870 83764 394 1026 0 97840 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 395480

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19494
/proc/meminfo: memFree=21958464/32873844 swapFree=7632/7632
[pid=19493] ppid=19491 vsize=2405084 CPUtime=25.48 cores=0,2,4,6
/proc/19493/stat : 19493 (pbscip.linux.x8) R 19491 19493 18846 0 -1 4202496 531437 0 0 0 2469 79 0 0 20 0 1 0 341868368 2462806016 531024 33554432000 4194304 8395647 140734025033168 140734025029640 6078673 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19493/statm: 601271 531025 460 1026 0 600241 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2405084

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19494
/proc/meminfo: memFree=20996548/32873844 swapFree=7632/7632
[pid=19493] ppid=19491 vsize=3384800 CPUtime=51.06 cores=0,2,4,6
/proc/19493/stat : 19493 (pbscip.linux.x8) R 19491 19493 18846 0 -1 4202496 756535 0 0 0 4994 112 0 0 20 0 1 0 341868368 3466035200 756122 33554432000 4194304 8395647 140734025033168 140734025028968 7386268 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19493/statm: 846200 756122 471 1026 0 845170 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 3384800

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19494
/proc/meminfo: memFree=19983884/32873844 swapFree=7632/7632
[pid=19493] ppid=19491 vsize=4452896 CPUtime=102.27 cores=0,2,4,6
/proc/19493/stat : 19493 (pbscip.linux.x8) R 19491 19493 18846 0 -1 4202496 979241 0 0 0 10080 147 0 0 20 0 1 0 341868368 4559765504 978828 33554432000 4194304 8395647 140734025033168 140734025030680 6086134 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19493/statm: 1113224 978828 471 1026 0 1112194 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 4452896

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19494
/proc/meminfo: memFree=18673116/32873844 swapFree=7632/7632
[pid=19493] ppid=19491 vsize=5659884 CPUtime=162.25 cores=0,2,4,6
/proc/19493/stat : 19493 (pbscip.linux.x8) R 19491 19493 18846 0 -1 4202496 1285615 0 0 0 16032 193 0 0 20 0 1 0 341868368 5795721216 1284846 33554432000 4194304 8395647 140734025033168 140734025029144 6074417 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19493/statm: 1414971 1284846 479 1026 0 1413941 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 5659884

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19495
/proc/meminfo: memFree=18528988/32873844 swapFree=7632/7632
[pid=19493] ppid=19491 vsize=5659884 CPUtime=222.24 cores=0,2,4,6
/proc/19493/stat : 19493 (pbscip.linux.x8) R 19491 19493 18846 0 -1 4202496 1285872 0 0 0 22031 193 0 0 20 0 1 0 341868368 5795721216 1284989 33554432000 4194304 8395647 140734025033168 140734025028968 6074100 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19493/statm: 1414971 1284989 490 1026 0 1413941 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 5659884

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19495
/proc/meminfo: memFree=18410892/32873844 swapFree=7632/7632
[pid=19493] ppid=19491 vsize=5659884 CPUtime=282.23 cores=0,2,4,6
/proc/19493/stat : 19493 (pbscip.linux.x8) R 19491 19493 18846 0 -1 4202496 1286270 0 0 0 28030 193 0 0 20 0 1 0 341868368 5795721216 1285188 33554432000 4194304 8395647 140734025033168 140734025028968 6074190 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19493/statm: 1414971 1285188 490 1026 0 1413941 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 5659884

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19495
/proc/meminfo: memFree=18281100/32873844 swapFree=7632/7632
[pid=19493] ppid=19491 vsize=5659884 CPUtime=342.22 cores=0,2,4,6
/proc/19493/stat : 19493 (pbscip.linux.x8) R 19491 19493 18846 0 -1 4202496 1286556 0 0 0 34029 193 0 0 20 0 1 0 341868368 5795721216 1285332 33554432000 4194304 8395647 140734025033168 140734025028968 4501434 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19493/statm: 1414971 1285332 492 1026 0 1413941 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 5659884

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19498
/proc/meminfo: memFree=18082092/32873844 swapFree=7632/7632
[pid=19493] ppid=19491 vsize=5715204 CPUtime=402.21 cores=0,2,4,6
/proc/19493/stat : 19493 (pbscip.linux.x8) R 19491 19493 18846 0 -1 4202496 1301517 0 0 0 40024 197 0 0 20 0 1 0 341868368 5852368896 1303359 33554432000 4194304 8395647 140734025033168 140734025028968 6074072 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19493/statm: 1428801 1303359 495 1026 0 1427771 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 5715204

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19499
/proc/meminfo: memFree=17901712/32873844 swapFree=7632/7632
[pid=19493] ppid=19491 vsize=5724460 CPUtime=462.2 cores=0,2,4,6
/proc/19493/stat : 19493 (pbscip.linux.x8) R 19491 19493 18846 0 -1 4202496 1301808 0 0 0 46023 197 0 0 20 0 1 0 341868368 5861847040 1305694 33554432000 4194304 8395647 140734025033168 140734025028968 6074148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19493/statm: 1431115 1305694 505 1026 0 1430085 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 5724460

[startup+522.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 19500
/proc/meminfo: memFree=17790484/32873844 swapFree=7632/7632
[pid=19493] ppid=19491 vsize=5742520 CPUtime=522.19 cores=0,2,4,6
/proc/19493/stat : 19493 (pbscip.linux.x8) R 19491 19493 18846 0 -1 4202496 1303768 0 0 0 52022 197 0 0 20 0 1 0 341868368 5880340480 1310209 33554432000 4194304 8395647 140734025033168 140734025029192 6068889 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19493/statm: 1435630 1310209 505 1026 0 1434600 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 5742520

[startup+582.3 s]
/proc/loadavg: 2.21 2.06 2.02 3/177 19538
/proc/meminfo: memFree=21738576/32873844 swapFree=7632/7632
[pid=19493] ppid=19491 vsize=5742520 CPUtime=582.19 cores=0,2,4,6
/proc/19493/stat : 19493 (pbscip.linux.x8) R 19491 19493 18846 0 -1 4202496 1303769 0 0 0 58021 198 0 0 20 0 1 0 341868368 5880340480 1310209 33554432000 4194304 8395647 140734025033168 140734025028968 6068924 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19493/statm: 1435630 1310209 505 1026 0 1434600 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 5742520

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 19539
/proc/meminfo: memFree=21734004/32873844 swapFree=7632/7632
[pid=19493] ppid=19491 vsize=5743540 CPUtime=882.12 cores=0,2,4,6
/proc/19493/stat : 19493 (pbscip.linux.x8) R 19491 19493 18846 0 -1 4202496 1304050 0 0 0 88014 198 0 0 20 0 1 0 341868368 5881384960 1311416 33554432000 4194304 8395647 140734025033168 140734025028968 6068950 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19493/statm: 1435885 1311416 510 1026 0 1434855 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 5743540

[startup+942.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 19539
/proc/meminfo: memFree=21449396/32873844 swapFree=7632/7632
[pid=19493] ppid=19491 vsize=5743540 CPUtime=942.11 cores=0,2,4,6
/proc/19493/stat : 19493 (pbscip.linux.x8) R 19491 19493 18846 0 -1 4202496 1304056 0 0 0 94013 198 0 0 20 0 1 0 341868368 5881384960 1311422 33554432000 4194304 8395647 140734025033168 140734025028968 6068889 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19493/statm: 1435885 1311422 510 1026 0 1434855 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 5743540

[startup+1002.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 19542
/proc/meminfo: memFree=21419164/32873844 swapFree=7632/7632
[pid=19493] ppid=19491 vsize=5743540 CPUtime=1002.1 cores=0,2,4,6
/proc/19493/stat : 19493 (pbscip.linux.x8) R 19491 19493 18846 0 -1 4202496 1304061 0 0 0 100012 198 0 0 20 0 1 0 341868368 5881384960 1311586 33554432000 4194304 8395647 140734025033168 140734025028968 6068889 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19493/statm: 1435885 1311586 510 1026 0 1434855 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 5743540

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 19542
/proc/meminfo: memFree=21405928/32873844 swapFree=7632/7632
[pid=19493] ppid=19491 vsize=5743540 CPUtime=1062.08 cores=0,2,4,6
/proc/19493/stat : 19493 (pbscip.linux.x8) R 19491 19493 18846 0 -1 4202496 1304064 0 0 0 106010 198 0 0 20 0 1 0 341868368 5881384960 1311586 33554432000 4194304 8395647 140734025033168 140734025028968 5220469 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19493/statm: 1435885 1311586 510 1026 0 1434855 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 5743540

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 19543
/proc/meminfo: memFree=21389332/32873844 swapFree=7632/7632
[pid=19493] ppid=19491 vsize=5743540 CPUtime=1122.07 cores=0,2,4,6
/proc/19493/stat : 19493 (pbscip.linux.x8) R 19491 19493 18846 0 -1 4202496 1304067 0 0 0 112009 198 0 0 20 0 1 0 341868368 5881384960 1311589 33554432000 4194304 8395647 140734025033168 140734025028104 5604422 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19493/statm: 1435885 1311589 510 1026 0 1434855 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 5743540

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19543
/proc/meminfo: memFree=21379124/32873844 swapFree=7632/7632
[pid=19493] ppid=19491 vsize=5743540 CPUtime=1182.07 cores=0,2,4,6
/proc/19493/stat : 19493 (pbscip.linux.x8) R 19491 19493 18846 0 -1 4202496 1304072 0 0 0 118009 198 0 0 20 0 1 0 341868368 5881384960 1311592 33554432000 4194304 8395647 140734025033168 140734025028968 5215878 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19493/statm: 1435885 1311592 510 1026 0 1434855 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 5743540

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19543
/proc/meminfo: memFree=21372264/32873844 swapFree=7632/7632
[pid=19493] ppid=19491 vsize=5743540 CPUtime=1242.06 cores=0,2,4,6
/proc/19493/stat : 19493 (pbscip.linux.x8) R 19491 19493 18846 0 -1 4202496 1304074 0 0 0 124007 199 0 0 20 0 1 0 341868368 5881384960 1311592 33554432000 4194304 8395647 140734025033168 140734025028968 6074097 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19493/statm: 1435885 1311592 510 1026 0 1434855 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 5743540

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19543
/proc/meminfo: memFree=21368756/32873844 swapFree=7632/7632
[pid=19493] ppid=19491 vsize=5743540 CPUtime=1302.06 cores=0,2,4,6
/proc/19493/stat : 19493 (pbscip.linux.x8) R 19491 19493 18846 0 -1 4202496 1304083 0 0 0 130007 199 0 0 20 0 1 0 341868368 5881384960 1311592 33554432000 4194304 8395647 140734025033168 140734025028968 4705172 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19493/statm: 1435885 1311592 510 1026 0 1434855 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 5743540

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19543
/proc/meminfo: memFree=21324800/32873844 swapFree=7632/7632
[pid=19493] ppid=19491 vsize=5744564 CPUtime=1362.04 cores=0,2,4,6
/proc/19493/stat : 19493 (pbscip.linux.x8) R 19491 19493 18846 0 -1 4202496 1304347 0 0 0 136005 199 0 0 20 0 1 0 341868368 5882433536 1311853 33554432000 4194304 8395647 140734025033168 140734025028968 6068953 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19493/statm: 1436141 1311853 510 1026 0 1435111 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 5744564

[startup+1422.31 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 19544
/proc/meminfo: memFree=21319680/32873844 swapFree=7632/7632
[pid=19493] ppid=19491 vsize=5744564 CPUtime=1422.03 cores=0,2,4,6
/proc/19493/stat : 19493 (pbscip.linux.x8) R 19491 19493 18846 0 -1 4202496 1304351 0 0 0 142004 199 0 0 20 0 1 0 341868368 5882433536 1312625 33554432000 4194304 8395647 140734025033168 140734025028968 7385934 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19493/statm: 1436141 1312625 510 1026 0 1435111 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 5744564

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 19544
/proc/meminfo: memFree=21317724/32873844 swapFree=7632/7632
[pid=19493] ppid=19491 vsize=5744564 CPUtime=1482.01 cores=0,2,4,6
/proc/19493/stat : 19493 (pbscip.linux.x8) R 19491 19493 18846 0 -1 4202496 1304356 0 0 0 148002 199 0 0 20 0 1 0 341868368 5882433536 1312625 33554432000 4194304 8395647 140734025033168 140734025028968 4737477 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19493/statm: 1436141 1312625 510 1026 0 1435111 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 5744564

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19544
/proc/meminfo: memFree=21317752/32873844 swapFree=7632/7632
[pid=19493] ppid=19491 vsize=5744564 CPUtime=1542 cores=0,2,4,6
/proc/19493/stat : 19493 (pbscip.linux.x8) R 19491 19493 18846 0 -1 4202496 1304376 0 0 0 154001 199 0 0 20 0 1 0 341868368 5882433536 1312635 33554432000 4194304 8395647 140734025033168 140734025028968 5215780 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19493/statm: 1436141 1312635 510 1026 0 1435111 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 5744564

[startup+1602.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 19547
/proc/meminfo: memFree=21317656/32873844 swapFree=7632/7632
[pid=19493] ppid=19491 vsize=5745588 CPUtime=1601.98 cores=0,2,4,6
/proc/19493/stat : 19493 (pbscip.linux.x8) R 19491 19493 18846 0 -1 4202496 1304637 0 0 0 159999 199 0 0 20 0 1 0 341868368 5883482112 1312891 33554432000 4194304 8395647 140734025033168 140734025028968 5604422 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19493/statm: 1436397 1312891 510 1026 0 1435367 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 5745588

[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 19548
/proc/meminfo: memFree=21316428/32873844 swapFree=7632/7632
[pid=19493] ppid=19491 vsize=5745588 CPUtime=1661.97 cores=0,2,4,6
/proc/19493/stat : 19493 (pbscip.linux.x8) R 19491 19493 18846 0 -1 4202496 1304643 0 0 0 165998 199 0 0 20 0 1 0 341868368 5883482112 1313138 33554432000 4194304 8395647 140734025033168 140734025028968 4914499 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19493/statm: 1436397 1313138 510 1026 0 1435367 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 5745588

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 19549
/proc/meminfo: memFree=21305304/32873844 swapFree=7632/7632
[pid=19493] ppid=19491 vsize=5745588 CPUtime=1721.96 cores=0,2,4,6
/proc/19493/stat : 19493 (pbscip.linux.x8) R 19491 19493 18846 0 -1 4202496 1304655 0 0 0 171997 199 0 0 20 0 1 0 341868368 5883482112 1315906 33554432000 4194304 8395647 140734025033168 140734025028968 7386641 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19493/statm: 1436397 1315906 510 1026 0 1435367 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 5745588

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19549
/proc/meminfo: memFree=21273960/32873844 swapFree=7632/7632
[pid=19493] ppid=19491 vsize=5745588 CPUtime=1781.94 cores=0,2,4,6
/proc/19493/stat : 19493 (pbscip.linux.x8) R 19491 19493 18846 0 -1 4202496 1304658 0 0 0 177995 199 0 0 20 0 1 0 341868368 5883482112 1323532 33554432000 4194304 8395647 140734025033168 140734025028968 4663631 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19493/statm: 1436397 1323532 510 1026 0 1435367 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 5745588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 19549
/proc/meminfo: memFree=21272208/32873844 swapFree=7632/7632
[pid=19493] ppid=19491 vsize=5745588 CPUtime=1800.04 cores=0,2,4,6
/proc/19493/stat : 19493 (pbscip.linux.x8) R 19491 19493 18846 0 -1 4202496 1304680 0 0 0 179805 199 0 0 20 0 1 0 341868368 5883482112 1324077 33554432000 4194304 8395647 140734025033168 140734025029000 6063836 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19493/statm: 1436397 1324077 532 1026 0 1435367 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 5745588

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.6 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 19550
/proc/meminfo: memFree=26196460/32873844 swapFree=7632/7632
[pid=19493] ppid=19491 vsize=0 CPUtime=1800.24 cores=0,2,4,6
/proc/19493/stat : 19493 (pbscip.linux.x8) R 19491 19493 18846 0 -1 4203524 1304680 0 0 0 179805 219 0 0 20 0 1 0 341868368 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19493/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.62
CPU time (s): 1800.27
CPU user time (s): 1798.06
CPU system time (s): 2.21566
CPU usage (%): 99.9806
Max. virtual memory (cumulated for all children) (KiB): 5745588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.06
system time used= 2.21566
maximum resident set size= 5296308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1304680
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= 76
involuntary context switches= 2207

runsolver used 4.10038 second user time and 8.47471 second system time

The end

Launcher Data 

Begin job on node130 at 2012-06-03 23:03:48
IDJOB=3741602
IDBENCH=89883
IDSOLVER=2326
FILE ID=node130/3741602-1338757423
RUNJOBID= node130-1338748441-18862
PBS_JOBID= 14636787
Free space on /tmp= 70760 MiB

SOLVER NAME= PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-ns1663818.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741602-1338757423/watcher-3741602-1338757423 -o /tmp/evaluation-result-3741602-1338757423/solver-3741602-1338757423 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3741602-1338757423.opb -t 1800 -m 15500

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

MD5SUM BENCH= ca0e75c55c65b2e375ac748ac3a932d9
RANDOM SEED=864833112

node130.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.875
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.75
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.875
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.875
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.91
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.875
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.86
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.875
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.875
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.92
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.875
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.875
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	: 5228.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        24104076 kB
Buffers:         1694424 kB
Cached:          2679460 kB
SwapCached:         4316 kB
Active:          6131008 kB
Inactive:        1750064 kB
Active(anon):    3495604 kB
Inactive(anon):     8188 kB
Active(file):    2635404 kB
Inactive(file):  1741876 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67099288 kB
Dirty:            211720 kB
Writeback:             0 kB
AnonPages:       3494016 kB
Mapped:            11420 kB
Shmem:                 4 kB
Slab:             740160 kB
SReclaimable:     177276 kB
SUnreclaim:       562884 kB
KernelStack:        1448 kB
PageTables:        10856 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    3646072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1921024 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= 70756 MiB
End job on node130 at 2012-06-03 23:33:50