Trace number 1884217

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
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)? (TO) 1802.28 1803.06

General information on the benchmark

Name/PURE-SAT/SAT07/industrial/anbulagan/
medium-unsat/total-5-11-u.opb
MD5SUMf50200c9ac5466fb93f848663208aeef
Bench CategoryPURE-SAT (instances containing only clauses)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark32.826
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables156980
Total number of constraints696581
Number of constraints which are clauses696581
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint10
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 10
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

9.87/9.97	c SCIP version 1.1.0.7
9.87/9.97	c LP-Solver SoPlex 1.4.1
9.87/9.97	c user parameter file <scip.set> not found - using default parameters
9.87/9.97	c read problem <HOME/instance-1884217-1245255953.opb>
9.87/9.97	c original problem has 156980 variables (156980 bin, 0 int, 0 impl, 0 cont) and 696581 constraints
12.47/12.58	c No objective function, only one solution is needed.
12.47/12.58	c start presolving problem
12.47/12.58	c presolving:
40.74/40.80	c (round 1) 43190 del vars, 26590 del conss, 6670 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21053211 impls, 0 clqs
46.94/47.00	c (round 2) 68523 del vars, 190179 del conss, 31374 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21890548 impls, 0 clqs
52.13/52.28	c (round 3) 98632 del vars, 377934 del conss, 55395 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22729071 impls, 0 clqs
54.94/55.06	c (round 4) 113911 del vars, 459845 del conss, 69860 chg bounds, 0 chg sides, 12 chg coeffs, 0 upgd conss, 23089970 impls, 0 clqs
55.82/55.94	c (round 5) 115742 del vars, 498490 del conss, 71312 chg bounds, 0 chg sides, 24 chg coeffs, 0 upgd conss, 23258803 impls, 0 clqs
56.33/56.41	c (round 6) 116582 del vars, 507921 del conss, 72003 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23326868 impls, 0 clqs
56.63/56.75	c (round 7) 117064 del vars, 511729 del conss, 72345 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23367961 impls, 0 clqs
56.93/57.04	c (round 8) 117470 del vars, 513646 del conss, 72641 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23398272 impls, 0 clqs
57.23/57.32	c (round 9) 117849 del vars, 515208 del conss, 72908 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23428383 impls, 0 clqs
57.42/57.58	c (round 10) 118221 del vars, 516808 del conss, 73181 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23451724 impls, 0 clqs
57.73/57.84	c (round 11) 118564 del vars, 518232 del conss, 73428 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23477254 impls, 0 clqs
58.02/58.11	c (round 12) 118907 del vars, 519689 del conss, 73684 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23503287 impls, 0 clqs
58.23/58.36	c (round 13) 119217 del vars, 521005 del conss, 73909 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23528099 impls, 0 clqs
58.53/58.61	c (round 14) 119537 del vars, 522304 del conss, 74150 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23546409 impls, 0 clqs
58.73/58.85	c (round 15) 119829 del vars, 523560 del conss, 74362 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23567765 impls, 0 clqs
59.03/59.10	c (round 16) 120129 del vars, 524734 del conss, 74586 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23591932 impls, 0 clqs
59.23/59.35	c (round 17) 120424 del vars, 525933 del conss, 74801 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23615700 impls, 0 clqs
59.43/59.59	c (round 18) 120718 del vars, 527156 del conss, 75018 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23631323 impls, 0 clqs
59.73/59.82	c (round 19) 120980 del vars, 528313 del conss, 75214 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23650272 impls, 0 clqs
59.93/60.05	c (round 20) 121242 del vars, 529348 del conss, 75411 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23670159 impls, 0 clqs
60.12/60.28	c (round 21) 121479 del vars, 530336 del conss, 75586 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23687875 impls, 0 clqs
60.43/60.52	c (round 22) 121733 del vars, 531363 del conss, 75771 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23707715 impls, 0 clqs
60.62/60.74	c (round 23) 121970 del vars, 532373 del conss, 75942 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23726826 impls, 0 clqs
60.83/60.97	c (round 24) 122202 del vars, 533316 del conss, 76112 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23743853 impls, 0 clqs
61.02/61.19	c (round 25) 122433 del vars, 534336 del conss, 76282 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23760507 impls, 0 clqs
61.33/61.42	c (round 26) 122673 del vars, 535305 del conss, 76458 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23776219 impls, 0 clqs
61.53/61.64	c (round 27) 122904 del vars, 536318 del conss, 76622 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23791431 impls, 0 clqs
61.73/61.85	c (round 28) 123134 del vars, 537276 del conss, 76789 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23804573 impls, 0 clqs
61.93/62.06	c (round 29) 123325 del vars, 538096 del conss, 76930 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23818318 impls, 0 clqs
62.13/62.27	c (round 30) 123535 del vars, 538940 del conss, 77087 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23831017 impls, 0 clqs
62.33/62.48	c (round 31) 123729 del vars, 539767 del conss, 77231 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23844555 impls, 0 clqs
62.53/62.69	c (round 32) 123935 del vars, 540657 del conss, 77381 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23857748 impls, 0 clqs
62.82/62.90	c (round 33) 124130 del vars, 541501 del conss, 77522 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23868691 impls, 0 clqs
63.02/63.11	c (round 34) 124317 del vars, 542277 del conss, 77661 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23882054 impls, 0 clqs
63.23/63.31	c (round 35) 124495 del vars, 543062 del conss, 77792 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23893779 impls, 0 clqs
63.43/63.52	c (round 36) 124665 del vars, 543784 del conss, 77919 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23906762 impls, 0 clqs
63.63/63.71	c (round 37) 124824 del vars, 544503 del conss, 78037 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23916236 impls, 0 clqs
63.83/63.91	c (round 38) 124983 del vars, 545187 del conss, 78151 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23924568 impls, 0 clqs
64.02/64.10	c (round 39) 125140 del vars, 545863 del conss, 78265 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23932159 impls, 0 clqs
64.13/64.29	c (round 40) 125292 del vars, 546523 del conss, 78375 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23941753 impls, 0 clqs
64.33/64.48	c (round 41) 125433 del vars, 547124 del conss, 78483 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23948862 impls, 0 clqs
64.53/64.67	c (round 42) 125585 del vars, 547752 del conss, 78595 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23957845 impls, 0 clqs
64.73/64.86	c (round 43) 125728 del vars, 548341 del conss, 78700 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23964811 impls, 0 clqs
64.93/65.05	c (round 44) 125865 del vars, 548915 del conss, 78805 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23971063 impls, 0 clqs
65.12/65.23	c (round 45) 125991 del vars, 549487 del conss, 78895 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23979076 impls, 0 clqs
65.33/65.41	c (round 46) 126100 del vars, 550008 del conss, 78978 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23983665 impls, 0 clqs
65.43/65.58	c (round 47) 126199 del vars, 550442 del conss, 79053 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23991326 impls, 0 clqs
65.62/65.76	c (round 48) 126302 del vars, 550894 del conss, 79127 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23996954 impls, 0 clqs
65.83/65.94	c (round 49) 126391 del vars, 551241 del conss, 79191 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 24004042 impls, 0 clqs
66.03/66.11	c (round 50) 126474 del vars, 551581 del conss, 79254 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 24007808 impls, 0 clqs
66.13/66.28	c (round 51) 126551 del vars, 551902 del conss, 79313 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 24012473 impls, 0 clqs
66.33/66.45	c (round 52) 126635 del vars, 552255 del conss, 79375 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 24018248 impls, 0 clqs
66.53/66.62	c (round 53) 126723 del vars, 552667 del conss, 79438 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24024636 impls, 0 clqs
66.63/66.80	c (round 54) 126809 del vars, 553045 del conss, 79500 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24031152 impls, 0 clqs
66.82/66.97	c (round 55) 126890 del vars, 553436 del conss, 79559 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24035047 impls, 0 clqs
67.03/67.13	c (round 56) 126966 del vars, 553768 del conss, 79616 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24038379 impls, 0 clqs
67.22/67.30	c (round 57) 127048 del vars, 554113 del conss, 79678 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24042418 impls, 0 clqs
67.32/67.47	c (round 58) 127133 del vars, 554462 del conss, 79743 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24046752 impls, 0 clqs
67.52/67.65	c (round 59) 127213 del vars, 554781 del conss, 79803 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24053856 impls, 0 clqs
67.73/67.82	c (round 60) 127291 del vars, 555088 del conss, 79863 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24058755 impls, 0 clqs
67.83/67.99	c (round 61) 127363 del vars, 555390 del conss, 79916 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24064351 impls, 0 clqs
68.03/68.16	c (round 62) 127431 del vars, 555707 del conss, 79966 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24069468 impls, 0 clqs
68.22/68.33	c (round 63) 127491 del vars, 555965 del conss, 80011 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24074187 impls, 0 clqs
68.33/68.49	c (round 64) 127550 del vars, 556232 del conss, 80055 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24079541 impls, 0 clqs
68.52/68.66	c (round 65) 127606 del vars, 556455 del conss, 80097 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24083807 impls, 0 clqs
68.72/68.82	c (round 66) 127659 del vars, 556670 del conss, 80140 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24086113 impls, 0 clqs
68.83/68.98	c (round 67) 127713 del vars, 556879 del conss, 80182 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24091178 impls, 0 clqs
69.02/69.15	c (round 68) 127777 del vars, 557133 del conss, 80234 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24094884 impls, 0 clqs
69.23/69.31	c (round 69) 127844 del vars, 557392 del conss, 80285 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24099622 impls, 0 clqs
69.33/69.48	c (round 70) 127913 del vars, 557709 del conss, 80331 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24104006 impls, 0 clqs
69.52/69.64	c (round 71) 127970 del vars, 557974 del conss, 80370 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24108152 impls, 0 clqs
69.72/69.81	c (round 72) 128031 del vars, 558228 del conss, 80418 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24111323 impls, 0 clqs
69.82/69.98	c (round 73) 128101 del vars, 558563 del conss, 80464 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24117205 impls, 0 clqs
70.03/70.14	c (round 74) 128154 del vars, 558817 del conss, 80506 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24121492 impls, 0 clqs
70.22/70.31	c (round 75) 128209 del vars, 559045 del conss, 80546 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24125534 impls, 0 clqs
70.33/70.47	c (round 76) 128264 del vars, 559278 del conss, 80589 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24130440 impls, 0 clqs
70.53/70.64	c (round 77) 128321 del vars, 559559 del conss, 80630 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24136462 impls, 0 clqs
70.72/70.80	c (round 78) 128380 del vars, 559821 del conss, 80675 chg bounds, 0 chg sides, 30 chg coeffs, 0 upgd conss, 24138524 impls, 0 clqs
70.83/70.96	c (round 79) 128426 del vars, 560074 del conss, 80707 chg bounds, 0 chg sides, 30 chg coeffs, 0 upgd conss, 24144281 impls, 0 clqs
71.02/71.12	c (round 80) 128473 del vars, 560333 del conss, 80744 chg bounds, 0 chg sides, 30 chg coeffs, 0 upgd conss, 24147406 impls, 0 clqs
71.13/71.28	c (round 81) 128509 del vars, 560479 del conss, 80769 chg bounds, 0 chg sides, 30 chg coeffs, 0 upgd conss, 24150563 impls, 0 clqs
71.33/71.44	c (round 82) 128545 del vars, 560646 del conss, 80798 chg bounds, 0 chg sides, 30 chg coeffs, 0 upgd conss, 24153955 impls, 0 clqs
71.43/71.59	c (round 83) 128580 del vars, 560781 del conss, 80824 chg bounds, 0 chg sides, 30 chg coeffs, 0 upgd conss, 24158122 impls, 0 clqs
71.63/71.75	c (round 84) 128621 del vars, 560958 del conss, 80854 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24160642 impls, 0 clqs
71.82/71.91	c (round 85) 128662 del vars, 561146 del conss, 80883 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24164643 impls, 0 clqs
71.93/72.06	c (round 86) 128702 del vars, 561296 del conss, 80913 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24166627 impls, 0 clqs
72.12/72.22	c (round 87) 128741 del vars, 561462 del conss, 80940 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24171447 impls, 0 clqs
72.23/72.38	c (round 88) 128786 del vars, 561647 del conss, 80975 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24174560 impls, 0 clqs
72.43/72.54	c (round 89) 128831 del vars, 561828 del conss, 81006 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24179054 impls, 0 clqs
72.63/72.70	c (round 90) 128878 del vars, 562042 del conss, 81039 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24182432 impls, 0 clqs
72.72/72.86	c (round 91) 128924 del vars, 562215 del conss, 81073 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24188194 impls, 0 clqs
72.93/73.02	c (round 92) 128974 del vars, 562427 del conss, 81107 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24194248 impls, 0 clqs
73.02/73.18	c (round 93) 129024 del vars, 562660 del conss, 81137 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24198375 impls, 0 clqs
73.23/73.34	c (round 94) 129070 del vars, 562855 del conss, 81171 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24201983 impls, 0 clqs
73.43/73.50	c (round 95) 129112 del vars, 563027 del conss, 81200 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24207587 impls, 0 clqs
73.53/73.66	c (round 96) 129161 del vars, 563242 del conss, 81236 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24211290 impls, 0 clqs
73.72/73.82	c (round 97) 129208 del vars, 563439 del conss, 81269 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24216340 impls, 0 clqs
73.83/73.98	c (round 98) 129253 del vars, 563620 del conss, 81303 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24220582 impls, 0 clqs
74.02/74.14	c (round 99) 129303 del vars, 563826 del conss, 81337 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24224821 impls, 0 clqs
74.23/74.30	c (round 100) 129348 del vars, 564031 del conss, 81369 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24228833 impls, 0 clqs
74.33/74.45	c (round 101) 129383 del vars, 564186 del conss, 81394 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24233219 impls, 0 clqs
74.52/74.61	c (round 102) 129420 del vars, 564326 del conss, 81422 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24236265 impls, 0 clqs
74.63/74.77	c (round 103) 129461 del vars, 564488 del conss, 81450 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24242750 impls, 0 clqs
74.82/74.93	c (round 104) 129507 del vars, 564700 del conss, 81481 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24246961 impls, 0 clqs
74.93/75.09	c (round 105) 129537 del vars, 564846 del conss, 81501 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24251841 impls, 0 clqs
75.13/75.24	c (round 106) 129568 del vars, 564985 del conss, 81523 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24253468 impls, 0 clqs
75.23/75.39	c (round 107) 129594 del vars, 565087 del conss, 81542 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24257292 impls, 0 clqs
75.43/75.54	c (round 108) 129620 del vars, 565201 del conss, 81561 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24259798 impls, 0 clqs
75.53/75.69	c (round 109) 129648 del vars, 565328 del conss, 81581 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24263122 impls, 0 clqs
75.73/75.85	c (round 110) 129671 del vars, 565451 del conss, 81596 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24265733 impls, 0 clqs
75.83/75.99	c (round 111) 129688 del vars, 565532 del conss, 81608 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24266817 impls, 0 clqs
76.03/76.14	c (round 112) 129703 del vars, 565601 del conss, 81619 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24268376 impls, 0 clqs
76.13/76.29	c (round 113) 129716 del vars, 565662 del conss, 81629 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24269277 impls, 0 clqs
76.32/76.44	c (round 114) 129733 del vars, 565725 del conss, 81643 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24269874 impls, 0 clqs
76.43/76.58	c (round 115) 129752 del vars, 565789 del conss, 81657 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24271148 impls, 0 clqs
76.62/76.73	c (round 116) 129770 del vars, 565865 del conss, 81671 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24271984 impls, 0 clqs
76.72/76.88	c (round 117) 129788 del vars, 565934 del conss, 81684 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24273414 impls, 0 clqs
76.93/77.03	c (round 118) 129808 del vars, 566009 del conss, 81700 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24275165 impls, 0 clqs
77.02/77.17	c (round 119) 129835 del vars, 566118 del conss, 81717 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24276739 impls, 0 clqs
77.22/77.32	c (round 120) 129851 del vars, 566192 del conss, 81728 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24277848 impls, 0 clqs
77.32/77.47	c (round 121) 129866 del vars, 566275 del conss, 81736 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24279206 impls, 0 clqs
77.52/77.61	c (round 122) 129876 del vars, 566316 del conss, 81743 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24280822 impls, 0 clqs
77.62/77.76	c (round 123) 129886 del vars, 566354 del conss, 81750 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24281198 impls, 0 clqs
77.83/77.90	c (round 124) 129895 del vars, 566392 del conss, 81757 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24281888 impls, 0 clqs
77.93/78.05	c (round 125) 129902 del vars, 566420 del conss, 81761 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24283554 impls, 0 clqs
78.02/78.19	c (round 126) 129905 del vars, 566435 del conss, 81762 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24284365 impls, 0 clqs
78.22/78.33	c (round 127) 129908 del vars, 566465 del conss, 81762 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24284679 impls, 0 clqs
79.91/80.04	c (round 128) 129908 del vars, 570453 del conss, 81762 chg bounds, 0 chg sides, 32 chg coeffs, 126128 upgd conss, 24284679 impls, 0 clqs
80.21/80.35	c presolving (129 rounds):
80.21/80.35	c  129908 deleted vars, 570453 deleted constraints, 81762 tightened bounds, 0 added holes, 0 changed sides, 32 changed coefficients
80.21/80.35	c  24284679 implications, 0 cliques
80.21/80.35	c presolved problem has 27067 variables (27067 bin, 0 int, 0 impl, 0 cont) and 126128 constraints
80.21/80.35	c  126128 constraints of type <logicor>
80.21/80.35	c transformed objective value is always integral (scale: 1)
80.21/80.35	c Presolving Time: 59.05
80.21/80.35	c PURESAT
80.21/80.35	c -----------------------------------------------------------------------------------------------
80.21/80.35	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
80.21/80.35	c # [type: int, range: [-1,2147483647], default: 0]
80.21/80.35	c separating/flowcover/freq = c -1
80.21/80.35	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
80.21/80.35	c # [type: int, range: [-1,2147483647], default: 0]
80.21/80.35	c separating/cmir/freq = c -1
80.21/80.35	c # additional number of allowed LP iterations
80.21/80.35	c # [type: int, range: [0,2147483647], default: 1000]
80.21/80.35	c heuristics/veclendiving/maxlpiterofs = c 1500
80.21/80.35	c # maximal fraction of diving LP iterations compared to node LP iterations
80.21/80.35	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
80.21/80.35	c heuristics/veclendiving/maxlpiterquot = c 0.075
80.21/80.35	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
80.21/80.35	c # [type: int, range: [-1,2147483647], default: 10]
80.21/80.35	c heuristics/veclendiving/freq = c -1
80.21/80.35	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
80.21/80.35	c # [type: int, range: [-1,2147483647], default: 1]
80.21/80.35	c heuristics/simplerounding/freq = c -1
80.21/80.35	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
80.21/80.35	c # [type: int, range: [-1,2147483647], default: 10]
80.21/80.35	c heuristics/shifting/freq = c -1
80.21/80.35	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
80.21/80.35	c # [type: int, range: [-1,2147483647], default: 1]
80.21/80.35	c heuristics/rounding/freq = c -1
80.21/80.35	c # additional number of allowed LP iterations
80.21/80.35	c # [type: int, range: [0,2147483647], default: 1000]
80.21/80.35	c heuristics/rootsoldiving/maxlpiterofs = c 1500
80.21/80.35	c # maximal fraction of diving LP iterations compared to node LP iterations
80.21/80.35	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
80.21/80.35	c heuristics/rootsoldiving/maxlpiterquot = c 0.015
80.21/80.35	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
80.21/80.35	c # [type: int, range: [-1,2147483647], default: 20]
80.21/80.35	c heuristics/rootsoldiving/freq = c -1
80.21/80.35	c # number of nodes added to the contingent of the total nodes
80.21/80.35	c # [type: longint, range: [0,9223372036854775807], default: 500]
80.21/80.35	c heuristics/rens/nodesofs = c 2000
80.21/80.35	c # minimum percentage of integer variables that have to be fixable 
80.21/80.35	c # [type: real, range: [0,1], default: 0.5]
80.21/80.35	c heuristics/rens/minfixingrate = c 0.3
80.21/80.35	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
80.21/80.35	c # [type: int, range: [-1,2147483647], default: 0]
80.21/80.35	c heuristics/rens/freq = c -1
80.21/80.35	c # additional number of allowed LP iterations
80.21/80.35	c # [type: int, range: [0,2147483647], default: 1000]
80.21/80.35	c heuristics/pscostdiving/maxlpiterofs = c 1500
80.21/80.35	c # maximal fraction of diving LP iterations compared to node LP iterations
80.21/80.35	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
80.21/80.35	c heuristics/pscostdiving/maxlpiterquot = c 0.075
80.21/80.35	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
80.21/80.35	c # [type: int, range: [-1,2147483647], default: 10]
80.21/80.35	c heuristics/pscostdiving/freq = c -1
80.21/80.35	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
80.21/80.35	c # [type: int, range: [-1,2147483647], default: 1]
80.21/80.35	c heuristics/oneopt/freq = c -1
80.21/80.35	c # additional number of allowed LP iterations
80.21/80.35	c # [type: int, range: [0,2147483647], default: 1000]
80.21/80.35	c heuristics/objpscostdiving/maxlpiterofs = c 1500
80.21/80.35	c # maximal fraction of diving LP iterations compared to total iteration number
80.21/80.35	c # [type: real, range: [0,1], default: 0.01]
80.21/80.35	c heuristics/objpscostdiving/maxlpiterquot = c 0.015
80.21/80.35	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
80.21/80.35	c # [type: int, range: [-1,2147483647], default: 20]
80.21/80.35	c heuristics/objpscostdiving/freq = c -1
80.21/80.35	c # additional number of allowed LP iterations
80.21/80.35	c # [type: int, range: [0,2147483647], default: 1000]
80.21/80.35	c heuristics/linesearchdiving/maxlpiterofs = c 1500
80.21/80.35	c # maximal fraction of diving LP iterations compared to node LP iterations
80.21/80.35	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
80.21/80.35	c heuristics/linesearchdiving/maxlpiterquot = c 0.075
80.21/80.35	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
80.21/80.35	c # [type: int, range: [-1,2147483647], default: 10]
80.21/80.35	c heuristics/linesearchdiving/freq = c -1
80.21/80.35	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
80.21/80.35	c # [type: int, range: [-1,2147483647], default: 10]
80.21/80.35	c heuristics/intshifting/freq = c -1
80.21/80.35	c # maximal fraction of diving LP iterations compared to node LP iterations
80.21/80.35	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
80.21/80.35	c heuristics/intdiving/maxlpiterquot = c 0.075
80.21/80.35	c # additional number of allowed LP iterations
80.21/80.35	c # [type: int, range: [0,2147483647], default: 1000]
80.21/80.35	c heuristics/guideddiving/maxlpiterofs = c 1500
80.21/80.35	c # maximal fraction of diving LP iterations compared to node LP iterations
80.21/80.35	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
80.21/80.35	c heuristics/guideddiving/maxlpiterquot = c 0.075
80.21/80.35	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
80.21/80.35	c # [type: int, range: [-1,2147483647], default: 10]
80.21/80.35	c heuristics/guideddiving/freq = c -1
80.21/80.35	c # additional number of allowed LP iterations
80.21/80.35	c # [type: int, range: [0,2147483647], default: 1000]
80.21/80.35	c heuristics/fracdiving/maxlpiterofs = c 1500
80.21/80.35	c # maximal fraction of diving LP iterations compared to node LP iterations
80.21/80.35	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
80.21/80.35	c heuristics/fracdiving/maxlpiterquot = c 0.075
80.21/80.35	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
80.21/80.35	c # [type: int, range: [-1,2147483647], default: 10]
80.21/80.35	c heuristics/fracdiving/freq = c -1
80.21/80.35	c # additional number of allowed LP iterations
80.21/80.35	c # [type: int, range: [0,2147483647], default: 1000]
80.21/80.35	c heuristics/feaspump/maxlpiterofs = c 2000
80.21/80.35	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
80.21/80.35	c # [type: int, range: [-1,2147483647], default: 20]
80.21/80.35	c heuristics/feaspump/freq = c -1
80.21/80.35	c # minimum percentage of integer variables that have to be fixed 
80.21/80.35	c # [type: real, range: [0,1], default: 0.666]
80.21/80.35	c heuristics/crossover/minfixingrate = c 0.5
80.21/80.35	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
80.21/80.35	c # [type: real, range: [0,1], default: 0.1]
80.21/80.35	c heuristics/crossover/nodesquot = c 0.15
80.21/80.35	c # number of nodes without incumbent change that heuristic should wait
80.21/80.35	c # [type: longint, range: [0,9223372036854775807], default: 200]
80.21/80.35	c heuristics/crossover/nwaitingnodes = c 100
80.21/80.35	c # number of nodes added to the contingent of the total nodes
80.21/80.35	c # [type: longint, range: [0,9223372036854775807], default: 500]
80.21/80.35	c heuristics/crossover/nodesofs = c 750
80.21/80.35	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
80.21/80.35	c # [type: int, range: [-1,2147483647], default: 30]
80.21/80.35	c heuristics/crossover/freq = c -1
80.21/80.35	c # additional number of allowed LP iterations
80.21/80.35	c # [type: int, range: [0,2147483647], default: 1000]
80.21/80.35	c heuristics/coefdiving/maxlpiterofs = c 1500
80.21/80.35	c # maximal fraction of diving LP iterations compared to node LP iterations
80.21/80.35	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
80.21/80.35	c heuristics/coefdiving/maxlpiterquot = c 0.075
80.21/80.35	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
80.21/80.35	c # [type: int, range: [-1,2147483647], default: 10]
80.21/80.35	c heuristics/coefdiving/freq = c -1
80.21/80.35	c # priority of node selection rule <dfs> in standard mode
80.21/80.35	c # [type: int, range: [-536870912,536870911], default: 0]
80.21/80.35	c nodeselection/dfs/stdpriority = c 1000000
80.21/80.35	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
80.21/80.35	c # [type: int, range: [-1,2147483647], default: -1]
80.21/80.35	c presolving/probing/maxrounds = c 0
80.21/80.35	c # should presolving try to simplify knapsacks
80.21/80.35	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
80.21/80.35	c constraints/knapsack/simplifyinequalities = c TRUE
80.21/80.35	c # should disaggregation of knapsack constraints be allowed in preprocessing?
80.21/80.35	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
80.21/80.35	c constraints/knapsack/disaggregation = c FALSE
80.21/80.35	c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
80.21/80.39	c # [type: int, range: [-1,2147483647], default: -1]
80.21/80.39	c constraints/knapsack/maxnumcardlift = c 0
80.21/80.39	c # should presolving try to simplify inequalities
80.21/80.39	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
80.21/80.39	c constraints/linear/simplifyinequalities = c TRUE
80.21/80.39	c # maximal number of separation rounds in the root node (-1: unlimited)
80.21/80.39	c # [type: int, range: [-1,2147483647], default: -1]
80.21/80.39	c separating/maxroundsroot = c 5
80.21/80.39	c # maximal number of separation rounds per node (-1: unlimited)
80.21/80.39	c # [type: int, range: [-1,2147483647], default: 5]
80.21/80.39	c separating/maxrounds = c 1
80.21/80.39	c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
80.21/80.39	c # [type: char, range: {lafpsqd}, default: l]
80.21/80.39	c lp/pricing = c a
80.21/80.39	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
80.21/80.39	c # [type: int, range: [-1,2147483647], default: 1]
80.21/80.39	c lp/solvefreq = c 0
80.21/80.39	c # solving stops, if the given number of solutions were found (-1: no limit)
80.21/80.39	c # [type: int, range: [-1,2147483647], default: -1]
80.21/80.39	c limits/solutions = c 1
80.21/80.39	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
80.21/80.39	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
80.21/80.39	c limits/memory = c 1620
80.21/80.39	c # maximal time in seconds to run
80.21/80.39	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
80.21/80.39	c limits/time = c 1791
80.21/80.39	c # frequency for displaying node information lines
80.21/80.39	c # [type: int, range: [-1,2147483647], default: 100]
80.21/80.39	c display/freq = c 10000
80.21/80.39	c # should enforcement of pseudo solution be disabled?
80.21/80.39	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
80.21/80.39	c constraints/disableenfops = c TRUE
80.21/80.39	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
80.21/80.39	c # [type: int, range: [-1,2147483647], default: 0]
80.21/80.39	c constraints/agelimit = c 1
80.21/80.39	c # should binary conflicts be preferred?
80.21/80.39	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
80.21/80.39	c conflict/preferbinary = c TRUE
80.21/80.39	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
80.21/80.39	c # [type: int, range: [-1,2147483647], default: -1]
80.21/80.39	c conflict/interconss = c 0
80.21/80.39	c -----------------------------------------------------------------------------------------------
80.21/80.39	c start solving problem
80.21/80.39	c 
251.65/251.83	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
251.65/251.83	c   232s|     1 |     0 | 18288 | 698M|   0 |6610 |  27k| 126k| 126k|  27k| 126k|   0 |   0 |   0 | 3.908719e+03 |      --      |    Inf 
592.51/592.81	c   572s|     1 |     0 | 24505 | 704M|   0 |7063 |  27k| 126k| 126k|  27k| 126k|   7 |   0 |   0 | 3.910905e+03 |      --      |    Inf 
976.76/977.20	c   956s|     1 |     0 | 27144 | 711M|   0 |7048 |  27k| 126k| 126k|  27k| 126k|  11 |   0 |   0 | 3.911269e+03 |      --      |    Inf 
1581.91/1582.69	c  1561s|     1 |     0 | 31562 | 711M|   0 |6496 |  27k| 126k| 126k|  27k| 126k|  16 |   0 |   0 | 3.912009e+03 |      --      |    Inf

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1884217-1245255953/watcher-1884217-1245255953 -o /tmp/evaluation-result-1884217-1245255953/solver-1884217-1245255953 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1884217-1245255953.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.82 3/64 6367
/proc/meminfo: memFree=1760304/2055920 swapFree=4181552/4192956
[pid=6367] ppid=6365 vsize=6100 CPUtime=0
/proc/6367/stat : 6367 (pbscip.linux.x8) R 6365 6367 6296 0 -1 4194304 637 0 0 0 0 0 0 0 18 0 1 0 193195580 6246400 619 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 0 0 0
/proc/6367/statm: 1525 629 325 886 0 635 0

[startup+0.0768299 s]
/proc/loadavg: 0.99 0.97 0.82 3/64 6367
/proc/meminfo: memFree=1760304/2055920 swapFree=4181552/4192956
[pid=6367] ppid=6365 vsize=20932 CPUtime=0.07
/proc/6367/stat : 6367 (pbscip.linux.x8) R 6365 6367 6296 0 -1 4194304 4571 0 0 0 6 1 0 0 18 0 1 0 193195580 21434368 4553 1992294400 4194304 7823515 548682068736 18446744073709551615 5542260 0 0 4096 0 0 0 0 17 0 0 0
/proc/6367/statm: 5233 4553 351 886 0 4343 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 20932

[startup+0.101831 s]
/proc/loadavg: 0.99 0.97 0.82 3/64 6367
/proc/meminfo: memFree=1760304/2055920 swapFree=4181552/4192956
[pid=6367] ppid=6365 vsize=25176 CPUtime=0.09
/proc/6367/stat : 6367 (pbscip.linux.x8) R 6365 6367 6296 0 -1 4194304 5602 0 0 0 8 1 0 0 18 0 1 0 193195580 25780224 5584 1992294400 4194304 7823515 548682068736 18446744073709551615 5879390 0 0 4096 0 0 0 0 17 0 0 0
/proc/6367/statm: 6294 5584 351 886 0 5404 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25176

[startup+0.301852 s]
/proc/loadavg: 0.99 0.97 0.82 3/64 6367
/proc/meminfo: memFree=1760304/2055920 swapFree=4181552/4192956
[pid=6367] ppid=6365 vsize=31248 CPUtime=0.29
/proc/6367/stat : 6367 (pbscip.linux.x8) R 6365 6367 6296 0 -1 4194304 7144 0 0 0 27 2 0 0 19 0 1 0 193195580 31997952 7126 1992294400 4194304 7823515 548682068736 18446744073709551615 6908057 0 0 4096 0 0 0 0 17 0 0 0
/proc/6367/statm: 7812 7126 351 886 0 6922 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31248

[startup+0.701894 s]
/proc/loadavg: 0.99 0.97 0.82 3/64 6367
/proc/meminfo: memFree=1760304/2055920 swapFree=4181552/4192956
[pid=6367] ppid=6365 vsize=42168 CPUtime=0.69
/proc/6367/stat : 6367 (pbscip.linux.x8) R 6365 6367 6296 0 -1 4194304 9840 0 0 0 66 3 0 0 23 0 1 0 193195580 43180032 9822 1992294400 4194304 7823515 548682068736 18446744073709551615 6830472 0 0 4096 0 0 0 0 17 0 0 0
/proc/6367/statm: 10542 9822 351 886 0 9652 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42168

[startup+1.50199 s]
/proc/loadavg: 0.99 0.97 0.82 2/65 6368
/proc/meminfo: memFree=1703656/2055920 swapFree=4181552/4192956
[pid=6367] ppid=6365 vsize=95416 CPUtime=1.49
/proc/6367/stat : 6367 (pbscip.linux.x8) R 6365 6367 6296 0 -1 4194304 23130 0 0 0 140 9 0 0 25 0 1 0 193195580 97705984 23112 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0
/proc/6367/statm: 23854 23112 351 886 0 22964 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 95416

[startup+3.10116 s]
/proc/loadavg: 0.99 0.97 0.82 2/65 6368
/proc/meminfo: memFree=1635624/2055920 swapFree=4181552/4192956
[pid=6367] ppid=6365 vsize=172032 CPUtime=3.08
/proc/6367/stat : 6367 (pbscip.linux.x8) R 6365 6367 6296 0 -1 4194304 42220 0 0 0 291 17 0 0 25 0 1 0 193195580 176160768 42202 1992294400 4194304 7823515 548682068736 18446744073709551615 6908036 0 0 4096 0 0 0 0 17 1 0 0
/proc/6367/statm: 43008 42202 351 886 0 42118 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 172032

[startup+6.30149 s]
/proc/loadavg: 0.99 0.97 0.82 2/65 6368
/proc/meminfo: memFree=1535784/2055920 swapFree=4181552/4192956
[pid=6367] ppid=6365 vsize=250952 CPUtime=6.26
/proc/6367/stat : 6367 (pbscip.linux.x8) R 6365 6367 6296 0 -1 4194304 61905 0 0 0 602 24 0 0 25 0 1 0 193195580 256974848 61887 1992294400 4194304 7823515 548682068736 18446744073709551615 6908036 0 0 4096 0 0 0 0 17 0 0 0
/proc/6367/statm: 62738 61887 351 886 0 61848 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 250952

[startup+12.7012 s]
/proc/loadavg: 0.99 0.97 0.82 2/65 6368
/proc/meminfo: memFree=939688/2055920 swapFree=4181552/4192956
[pid=6367] ppid=6365 vsize=834296 CPUtime=12.67
/proc/6367/stat : 6367 (pbscip.linux.x8) R 6365 6367 6296 0 -1 4194304 207890 0 0 0 1185 82 0 0 25 0 1 0 193195580 854319104 207518 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6367/statm: 208574 207518 417 886 0 207684 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 834296

[startup+25.5016 s]
/proc/loadavg: 0.99 0.97 0.82 2/65 6368
/proc/meminfo: memFree=270952/2055920 swapFree=4181552/4192956
[pid=6367] ppid=6365 vsize=1508960 CPUtime=25.46
/proc/6367/stat : 6367 (pbscip.linux.x8) R 6365 6367 6296 0 -1 4194304 376565 0 0 0 2370 176 0 0 25 0 1 0 193195580 1545175040 376193 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6367/statm: 377240 376193 426 886 0 376350 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 1508960

[startup+51.1013 s]
/proc/loadavg: 0.99 0.97 0.82 2/65 6368
/proc/meminfo: memFree=15016/2055920 swapFree=4181552/4192956
[pid=6367] ppid=6365 vsize=1767132 CPUtime=51.03
/proc/6367/stat : 6367 (pbscip.linux.x8) R 6365 6367 6296 0 -1 4194304 441137 0 0 0 4820 283 0 0 25 0 1 0 193195580 1809543168 440765 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6367/statm: 441783 440765 432 886 0 440893 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 1767132

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.83 2/65 6368
/proc/meminfo: memFree=35176/2055920 swapFree=4181552/4192956
[pid=6367] ppid=6365 vsize=1761684 CPUtime=102.21
/proc/6367/stat : 6367 (pbscip.linux.x8) R 6365 6367 6296 0 -1 4194304 446442 0 0 0 9220 1001 0 0 25 0 1 0 193195580 1803964416 439576 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6367/statm: 440421 439576 515 886 0 439531 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 1761684

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.84 2/65 6368
/proc/meminfo: memFree=35176/2055920 swapFree=4181552/4192956
[pid=6367] ppid=6365 vsize=1761684 CPUtime=162.18
/proc/6367/stat : 6367 (pbscip.linux.x8) R 6365 6367 6296 0 -1 4194304 446442 0 0 0 15211 1007 0 0 25 0 1 0 193195580 1803964416 439576 1992294400 4194304 7823515 548682068736 18446744073709551615 6212544 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6367/statm: 440421 439576 515 886 0 439531 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 1761684

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.84 2/65 6368
/proc/meminfo: memFree=35112/2055920 swapFree=4181552/4192956
[pid=6367] ppid=6365 vsize=1761684 CPUtime=222.16
/proc/6367/stat : 6367 (pbscip.linux.x8) R 6365 6367 6296 0 -1 4194304 446442 0 0 0 21206 1010 0 0 25 0 1 0 193195580 1803964416 439576 1992294400 4194304 7823515 548682068736 18446744073709551615 6212552 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6367/statm: 440421 439576 515 886 0 439531 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 1761684

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.85 2/65 6368
/proc/meminfo: memFree=35112/2055920 swapFree=4181552/4192956
[pid=6367] ppid=6365 vsize=1761684 CPUtime=282.13
/proc/6367/stat : 6367 (pbscip.linux.x8) R 6365 6367 6296 0 -1 4194304 446458 0 0 0 27201 1012 0 0 25 0 1 0 193195580 1803964416 439592 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6367/statm: 440421 439592 531 886 0 439531 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 1761684

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.85 2/65 6368
/proc/meminfo: memFree=35048/2055920 swapFree=4181552/4192956
[pid=6367] ppid=6365 vsize=1761684 CPUtime=342.1
/proc/6367/stat : 6367 (pbscip.linux.x8) R 6365 6367 6296 0 -1 4194304 446458 0 0 0 33196 1014 0 0 25 0 1 0 193195580 1803964416 439592 1992294400 4194304 7823515 548682068736 18446744073709551615 5965385 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6367/statm: 440421 439592 531 886 0 439531 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 1761684

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.86 2/65 6368
/proc/meminfo: memFree=34984/2055920 swapFree=4181552/4192956
[pid=6367] ppid=6365 vsize=1761684 CPUtime=402.08
/proc/6367/stat : 6367 (pbscip.linux.x8) R 6365 6367 6296 0 -1 4194304 446458 0 0 0 39191 1017 0 0 25 0 1 0 193195580 1803964416 439592 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6367/statm: 440421 439592 531 886 0 439531 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 1761684

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.86 2/65 6368
/proc/meminfo: memFree=34984/2055920 swapFree=4181552/4192956
[pid=6367] ppid=6365 vsize=1761684 CPUtime=462.06
/proc/6367/stat : 6367 (pbscip.linux.x8) R 6365 6367 6296 0 -1 4194304 446459 0 0 0 45186 1020 0 0 25 0 1 0 193195580 1803964416 439593 1992294400 4194304 7823515 548682068736 18446744073709551615 4277408 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6367/statm: 440421 439593 532 886 0 439531 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 1761684

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.87 2/65 6368
/proc/meminfo: memFree=34984/2055920 swapFree=4181552/4192956
[pid=6367] ppid=6365 vsize=1761684 CPUtime=522.04
/proc/6367/stat : 6367 (pbscip.linux.x8) R 6365 6367 6296 0 -1 4194304 446490 0 0 0 51147 1057 0 0 25 0 1 0 193195580 1803964416 439624 1992294400 4194304 7823515 548682068736 18446744073709551615 6212404 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6367/statm: 440421 439624 544 886 0 439531 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 1761684

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.88 2/65 6368
/proc/meminfo: memFree=34984/2055920 swapFree=4181552/4192956
[pid=6367] ppid=6365 vsize=1761684 CPUtime=582.01
/proc/6367/stat : 6367 (pbscip.linux.x8) R 6365 6367 6296 0 -1 4194304 446490 0 0 0 57141 1060 0 0 25 0 1 0 193195580 1803964416 439624 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6367/statm: 440421 439624 544 886 0 439531 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 1761684

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.88 2/65 6368
/proc/meminfo: memFree=34984/2055920 swapFree=4181552/4192956
[pid=6367] ppid=6365 vsize=1761684 CPUtime=641.99
/proc/6367/stat : 6367 (pbscip.linux.x8) R 6365 6367 6296 0 -1 4194304 446491 0 0 0 63137 1062 0 0 25 0 1 0 193195580 1803964416 439625 1992294400 4194304 7823515 548682068736 18446744073709551615 4386345 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6367/statm: 440421 439625 545 886 0 439531 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 1761684

[startup+702.301 s]

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

/proc/6367/stat : 6367 (pbscip.linux.x8) R 6365 6367 6296 0 -1 4194304 446491 0 0 0 105103 1079 0 0 25 0 1 0 193195580 1803964416 439625 1992294400 4194304 7823515 548682068736 18446744073709551615 4338438 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6367/statm: 440421 439625 545 886 0 439531 0
Current children cumulated CPU time (s) 1061.82
Current children cumulated vsize (KiB) 1761684

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6368
/proc/meminfo: memFree=34856/2055920 swapFree=4181552/4192956
[pid=6367] ppid=6365 vsize=1761684 CPUtime=1121.79
/proc/6367/stat : 6367 (pbscip.linux.x8) R 6365 6367 6296 0 -1 4194304 446491 0 0 0 111098 1081 0 0 25 0 1 0 193195580 1803964416 439625 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6367/statm: 440421 439625 545 886 0 439531 0
Current children cumulated CPU time (s) 1121.79
Current children cumulated vsize (KiB) 1761684

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6368
/proc/meminfo: memFree=34856/2055920 swapFree=4181552/4192956
[pid=6367] ppid=6365 vsize=1761684 CPUtime=1181.77
/proc/6367/stat : 6367 (pbscip.linux.x8) R 6365 6367 6296 0 -1 4194304 446491 0 0 0 117093 1084 0 0 25 0 1 0 193195580 1803964416 439625 1992294400 4194304 7823515 548682068736 18446744073709551615 4338488 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6367/statm: 440421 439625 545 886 0 439531 0
Current children cumulated CPU time (s) 1181.77
Current children cumulated vsize (KiB) 1761684

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6368
/proc/meminfo: memFree=34664/2055920 swapFree=4181552/4192956
[pid=6367] ppid=6365 vsize=1761684 CPUtime=1241.74
/proc/6367/stat : 6367 (pbscip.linux.x8) R 6365 6367 6296 0 -1 4194304 446491 0 0 0 123088 1086 0 0 25 0 1 0 193195580 1803964416 439625 1992294400 4194304 7823515 548682068736 18446744073709551615 4272784 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6367/statm: 440421 439625 545 886 0 439531 0
Current children cumulated CPU time (s) 1241.74
Current children cumulated vsize (KiB) 1761684

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6368
/proc/meminfo: memFree=34664/2055920 swapFree=4181552/4192956
[pid=6367] ppid=6365 vsize=1761684 CPUtime=1301.73
/proc/6367/stat : 6367 (pbscip.linux.x8) R 6365 6367 6296 0 -1 4194304 446491 0 0 0 129083 1090 0 0 25 0 1 0 193195580 1803964416 439625 1992294400 4194304 7823515 548682068736 18446744073709551615 4272784 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6367/statm: 440421 439625 545 886 0 439531 0
Current children cumulated CPU time (s) 1301.73
Current children cumulated vsize (KiB) 1761684

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6368
/proc/meminfo: memFree=34664/2055920 swapFree=4181552/4192956
[pid=6367] ppid=6365 vsize=1761684 CPUtime=1361.7
/proc/6367/stat : 6367 (pbscip.linux.x8) R 6365 6367 6296 0 -1 4194304 446491 0 0 0 135077 1093 0 0 25 0 1 0 193195580 1803964416 439625 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6367/statm: 440421 439625 545 886 0 439531 0
Current children cumulated CPU time (s) 1361.7
Current children cumulated vsize (KiB) 1761684

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6368
/proc/meminfo: memFree=34600/2055920 swapFree=4181552/4192956
[pid=6367] ppid=6365 vsize=1761684 CPUtime=1421.67
/proc/6367/stat : 6367 (pbscip.linux.x8) R 6365 6367 6296 0 -1 4194304 446491 0 0 0 141071 1096 0 0 25 0 1 0 193195580 1803964416 439625 1992294400 4194304 7823515 548682068736 18446744073709551615 4508160 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6367/statm: 440421 439625 545 886 0 439531 0
Current children cumulated CPU time (s) 1421.67
Current children cumulated vsize (KiB) 1761684

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6368
/proc/meminfo: memFree=34664/2055920 swapFree=4181552/4192956
[pid=6367] ppid=6365 vsize=1761684 CPUtime=1481.65
/proc/6367/stat : 6367 (pbscip.linux.x8) R 6365 6367 6296 0 -1 4194304 446491 0 0 0 147067 1098 0 0 25 0 1 0 193195580 1803964416 439625 1992294400 4194304 7823515 548682068736 18446744073709551615 4273488 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6367/statm: 440421 439625 545 886 0 439531 0
Current children cumulated CPU time (s) 1481.65
Current children cumulated vsize (KiB) 1761684

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6368
/proc/meminfo: memFree=34600/2055920 swapFree=4181552/4192956
[pid=6367] ppid=6365 vsize=1761684 CPUtime=1541.63
/proc/6367/stat : 6367 (pbscip.linux.x8) R 6365 6367 6296 0 -1 4194304 446491 0 0 0 153063 1100 0 0 25 0 1 0 193195580 1803964416 439625 1992294400 4194304 7823515 548682068736 18446744073709551615 6908067 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6367/statm: 440421 439625 545 886 0 439531 0
Current children cumulated CPU time (s) 1541.63
Current children cumulated vsize (KiB) 1761684

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6370
/proc/meminfo: memFree=34536/2055920 swapFree=4181552/4192956
[pid=6367] ppid=6365 vsize=1761684 CPUtime=1601.6
/proc/6367/stat : 6367 (pbscip.linux.x8) R 6365 6367 6296 0 -1 4194304 446491 0 0 0 159058 1102 0 0 25 0 1 0 193195580 1803964416 439625 1992294400 4194304 7823515 548682068736 18446744073709551615 5965922 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6367/statm: 440421 439625 545 886 0 439531 0
Current children cumulated CPU time (s) 1601.6
Current children cumulated vsize (KiB) 1761684

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6370
/proc/meminfo: memFree=34536/2055920 swapFree=4181552/4192956
[pid=6367] ppid=6365 vsize=1761684 CPUtime=1661.57
/proc/6367/stat : 6367 (pbscip.linux.x8) R 6365 6367 6296 0 -1 4194304 446491 0 0 0 165053 1104 0 0 25 0 1 0 193195580 1803964416 439625 1992294400 4194304 7823515 548682068736 18446744073709551615 5965825 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6367/statm: 440421 439625 545 886 0 439531 0
Current children cumulated CPU time (s) 1661.57
Current children cumulated vsize (KiB) 1761684

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6370
/proc/meminfo: memFree=34536/2055920 swapFree=4181552/4192956
[pid=6367] ppid=6365 vsize=1761684 CPUtime=1721.55
/proc/6367/stat : 6367 (pbscip.linux.x8) R 6365 6367 6296 0 -1 4194304 446491 0 0 0 171048 1107 0 0 25 0 1 0 193195580 1803964416 439625 1992294400 4194304 7823515 548682068736 18446744073709551615 4338482 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6367/statm: 440421 439625 545 886 0 439531 0
Current children cumulated CPU time (s) 1721.55
Current children cumulated vsize (KiB) 1761684

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6370
/proc/meminfo: memFree=34408/2055920 swapFree=4181552/4192956
[pid=6367] ppid=6365 vsize=1761684 CPUtime=1781.53
/proc/6367/stat : 6367 (pbscip.linux.x8) R 6365 6367 6296 0 -1 4194304 446491 0 0 0 177042 1111 0 0 25 0 1 0 193195580 1803964416 439625 1992294400 4194304 7823515 548682068736 18446744073709551615 4339031 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6367/statm: 440421 439625 545 886 0 439531 0
Current children cumulated CPU time (s) 1781.53
Current children cumulated vsize (KiB) 1761684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6370
/proc/meminfo: memFree=34408/2055920 swapFree=4181552/4192956
[pid=6367] ppid=6365 vsize=1761684 CPUtime=1800.03
/proc/6367/stat : 6367 (pbscip.linux.x8) R 6365 6367 6296 0 -1 4194304 446491 0 0 0 178891 1112 0 0 25 0 1 0 193195580 1803964416 439625 1992294400 4194304 7823515 548682068736 18446744073709551615 4338420 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6367/statm: 440421 439625 545 886 0 439531 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1761684

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -6367

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

[startup+1801.4 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6370
/proc/meminfo: memFree=34408/2055920 swapFree=4181552/4192956
[pid=6367] ppid=6365 vsize=1761684 CPUtime=1800.62
/proc/6367/stat : 6367 (pbscip.linux.x8) R 6365 6367 6296 0 -1 4194304 446491 0 0 0 178950 1112 0 0 25 0 1 0 193195580 1803964416 439625 1992294400 4194304 7823515 548682068736 18446744073709551615 5727361 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6367/statm: 440421 439625 545 886 0 439531 0
Current children cumulated CPU time (s) 1800.62
Current children cumulated vsize (KiB) 1761684

[startup+1802.2 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 6371
/proc/meminfo: memFree=34400/2055920 swapFree=4181552/4192956
[pid=6367] ppid=6365 vsize=1761684 CPUtime=1801.42
/proc/6367/stat : 6367 (pbscip.linux.x8) R 6365 6367 6296 0 -1 4194304 446491 0 0 0 179030 1112 0 0 25 0 1 0 193195580 1803964416 439625 1992294400 4194304 7823515 548682068736 18446744073709551615 5727319 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6367/statm: 440421 439625 545 886 0 439531 0
Current children cumulated CPU time (s) 1801.42
Current children cumulated vsize (KiB) 1761684

[startup+1802.6 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 6371
/proc/meminfo: memFree=34400/2055920 swapFree=4181552/4192956
[pid=6367] ppid=6365 vsize=1761684 CPUtime=1801.82
/proc/6367/stat : 6367 (pbscip.linux.x8) R 6365 6367 6296 0 -1 4194304 446491 0 0 0 179070 1112 0 0 25 0 1 0 193195580 1803964416 439625 1992294400 4194304 7823515 548682068736 18446744073709551615 5728480 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6367/statm: 440421 439625 545 886 0 439531 0
Current children cumulated CPU time (s) 1801.82
Current children cumulated vsize (KiB) 1761684

[startup+1803 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 6371
/proc/meminfo: memFree=34400/2055920 swapFree=4181552/4192956
[pid=6367] ppid=6365 vsize=0 CPUtime=1802.22
/proc/6367/stat : 6367 (pbscip.linux.x8) R 6365 6367 6296 0 -1 4195332 446491 0 0 0 179091 1131 0 0 25 0 1 0 193195580 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6367/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.22
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1803.06
CPU time (s): 1802.28
CPU user time (s): 1790.91
CPU system time (s): 11.3723
CPU usage (%): 99.9571
Max. virtual memory (cumulated for all children) (KiB): 1780748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.91
system time used= 11.3723
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 446491
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= 5
involuntary context switches= 5617

runsolver used 1.59176 second user time and 4.98324 second system time

The end

Launcher Data 

Begin job on node19 at 2009-06-17 18:25:55
IDJOB=1884217
IDBENCH=71935
IDSOLVER=683
FILE ID=node19/1884217-1245255953
PBS_JOBID= 9372434
Free space on /tmp= 66116 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT07/industrial/anbulagan/medium-unsat/total-5-11-u.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1884217-1245255953/watcher-1884217-1245255953 -o /tmp/evaluation-result-1884217-1245255953/solver-1884217-1245255953 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1884217-1245255953.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= f50200c9ac5466fb93f848663208aeef
RANDOM SEED=1686218991

node19.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1760784 kB
Buffers:         43812 kB
Cached:         184144 kB
SwapCached:       6236 kB
Active:          86208 kB
Inactive:       150668 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1760784 kB
SwapTotal:     4192956 kB
SwapFree:      4181552 kB
Dirty:           30752 kB
Writeback:           0 kB
Mapped:          13636 kB
Slab:            44208 kB
Committed_AS:   212820 kB
PageTables:       1456 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66104 MiB
End job on node19 at 2009-06-17 18:55:58