Trace number 40666

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, and are wall clock time (not CPU 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
bsolo 2006/05SAT0 1800.04 1800.73

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-kb2.opb
MD5SUM7bb51fb18714f8fdd98e0de4fc62f6d8
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1800.04
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of variables1096
Total number of constraints52
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints52
Minimum length of a constraint13
Maximum length of a constraint300
Number of terms in the objective function 48
Biggest coefficient in the objective function 4325376
Number of bits for the biggest coefficient in the objective function 23
Sum of the numbers in the objective function 12058535
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 5715913739337728
Number of bits of the biggest number in a constraint 53
Biggest sum of numbers in a constraint 75299293548900036
Number of bits of the biggest sum of numbers57
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c Time Limit set via PBTIMEOUT to 1800
0.03	c INFO: OSL Context initialized.
0.03	c BIG Int formula...
0.08	c Initial problem consists of 1096 variables and 68 constraints.
0.08	c No problem reductions applied in OPT. instance.
0.08	c	preprocess terminated. Elapsed time: 0.053
0.08	c After prepocess the problem consists of 682 variables and 68 constraints.
0.08	c Initial Lower Bound: -8650719
0.10	c Restart #1 #Var: 682 LB: -8650719 @ 0.077
0.15	c Restart #2 #Var: 682 LB: -8650719 @ 0.125
0.22	c Restart #3 #Var: 682 LB: -8650719 @ 0.197
0.33	c Restart #4 #Var: 682 LB: -8650719 @ 0.305
0.46	c Restart #5 #Var: 682 LB: -8650719 @ 0.439
0.63	c Restart #6 #Var: 682 LB: -8650719 @ 0.602
0.83	c Restart #7 #Var: 682 LB: -8650719 @ 0.801
1.04	c Restart #8 #Var: 682 LB: -8650719 @ 1.012
1.29	c Restart #9 #Var: 682 LB: -8650719 @ 1.266
1.70	c Restart #10 #Var: 682 LB: -8650719 @ 1.673
2.02	c Restart #11 #Var: 682 LB: -8650719 @ 1.985
2.24	c Restart #12 #Var: 682 LB: -8650719 @ 2.21
2.51	c Restart #13 #Var: 682 LB: -8650719 @ 2.479
2.78	c Restart #14 #Var: 682 LB: -8650719 @ 2.745
2.99	c Restart #15 #Var: 682 LB: -8650719 @ 2.958
3.22	c Restart #16 #Var: 682 LB: -8650719 @ 3.194
3.85	c Restart #17 #Var: 682 LB: -8650719 @ 3.816
4.09	c Restart #18 #Var: 682 LB: -8650719 @ 4.056
4.36	c Restart #19 #Var: 682 LB: -8650719 @ 4.328
4.66	c Restart #20 #Var: 682 LB: -8650719 @ 4.629
5.09	c Restart #21 #Var: 682 LB: -8650719 @ 5.054
5.69	c Restart #22 #Var: 682 LB: -8650719 @ 5.657
6.13	c Restart #23 #Var: 682 LB: -8650719 @ 6.102
7.43	c Restart #24 #Var: 682 LB: -8650719 @ 7.392
8.03	c Restart #25 #Var: 682 LB: -8650719 @ 7.992
8.41	c Restart #26 #Var: 682 LB: -8650719 @ 8.377
8.78	c Restart #27 #Var: 682 LB: -8650719 @ 8.744
9.18	c Restart #28 #Var: 682 LB: -8650719 @ 9.143
9.70	c Restart #29 #Var: 682 LB: -8650719 @ 9.664
10.09	c Restart #30 #Var: 682 LB: -8650719 @ 10.051
12.12	c Restart #31 #Var: 682 LB: -8650719 @ 12.085
12.94	c Restart #32 #Var: 678 LB: -8650719 @ 12.906
14.07	c Restart #33 #Var: 678 LB: -8650719 @ 14.034
15.07	c Restart #34 #Var: 678 LB: -8650719 @ 15.032
16.23	c Restart #35 #Var: 678 LB: -8650719 @ 16.196
17.35	c Restart #36 #Var: 678 LB: -8650719 @ 17.312
18.70	c Restart #37 #Var: 678 LB: -8650719 @ 18.659
19.77	c Restart #38 #Var: 678 LB: -8650719 @ 19.734
20.88	c Restart #39 #Var: 678 LB: -8650719 @ 20.842
22.21	c Restart #40 #Var: 678 LB: -8650719 @ 22.173
23.15	c Restart #41 #Var: 678 LB: -8650719 @ 23.107
24.52	c Restart #42 #Var: 678 LB: -8650719 @ 24.477
25.69	c Restart #43 #Var: 678 LB: -8650719 @ 25.654
26.83	c Restart #44 #Var: 678 LB: -8650719 @ 26.791
28.27	c Restart #45 #Var: 678 LB: -8650719 @ 28.227
29.85	c Restart #46 #Var: 678 LB: -8650719 @ 29.809
32.28	c Restart #47 #Var: 678 LB: -8650719 @ 32.235
33.79	c Restart #48 #Var: 678 LB: -8650719 @ 33.746
35.19	c Restart #49 #Var: 678 LB: -8650719 @ 35.142
36.37	c Restart #50 #Var: 678 LB: -8650719 @ 36.327
37.75	c Restart #51 #Var: 678 LB: -8650719 @ 37.703
39.54	c Restart #52 #Var: 678 LB: -8650719 @ 39.494
41.03	c Restart #53 #Var: 678 LB: -8650719 @ 40.984
42.65	c Restart #54 #Var: 678 LB: -8650719 @ 42.609
44.48	c Restart #55 #Var: 678 LB: -8650719 @ 44.432
46.39	c Restart #56 #Var: 678 LB: -8650719 @ 46.345
48.89	c Restart #57 #Var: 678 LB: -8650719 @ 48.843
50.48	c Restart #58 #Var: 678 LB: -8650719 @ 50.434
52.23	c Restart #59 #Var: 678 LB: -8650719 @ 52.181
54.75	c Restart #60 #Var: 678 LB: -8650719 @ 54.703
67.28	c Restart #61 #Var: 678 LB: -8650719 @ 67.22
69.34	c Restart #62 #Var: 678 LB: -8650719 @ 69.281
71.67	c Restart #63 #Var: 678 LB: -8650719 @ 71.617
73.59	c Restart #64 #Var: 678 LB: -8650719 @ 73.537
75.65	c Restart #65 #Var: 678 LB: -8650719 @ 75.588
78.01	c Restart #66 #Var: 678 LB: -8650719 @ 77.957
81.18	c Restart #67 #Var: 678 LB: -8650719 @ 81.116
83.53	c Restart #68 #Var: 678 LB: -8650719 @ 83.474
85.90	c Restart #69 #Var: 678 LB: -8650719 @ 85.843
88.41	c Restart #70 #Var: 678 LB: -8650719 @ 88.345
91.02	c Restart #71 #Var: 678 LB: -8650719 @ 90.958
93.22	c Restart #72 #Var: 678 LB: -8650719 @ 93.157
96.17	c Restart #73 #Var: 678 LB: -8650719 @ 96.109
98.91	c Restart #74 #Var: 678 LB: -8650719 @ 98.846
101.63	c Restart #75 #Var: 678 LB: -8650719 @ 101.56
104.17	c Restart #76 #Var: 678 LB: -8650719 @ 104.1
109.69	c Restart #77 #Var: 678 LB: -8650719 @ 109.62
112.23	c Restart #78 #Var: 678 LB: -8650719 @ 112.16
130.37	c Restart #79 #Var: 678 LB: -8650719 @ 130.29
132.98	c Restart #80 #Var: 678 LB: -8650719 @ 132.9
146.56	c Restart #81 #Var: 678 LB: -8650719 @ 146.48
152.82	c Restart #82 #Var: 678 LB: -8650719 @ 152.73
163.16	c Restart #83 #Var: 678 LB: -8650719 @ 163.07
176.09	c Restart #84 #Var: 678 LB: -8650719 @ 175.99
188.49	c Restart #85 #Var: 678 LB: -8650719 @ 188.39
198.69	c Restart #86 #Var: 678 LB: -8650719 @ 198.58
210.00	c Restart #87 #Var: 678 LB: -8650719 @ 209.89
219.00	c Restart #88 #Var: 678 LB: -8650719 @ 218.89
232.83	c Restart #89 #Var: 678 LB: -8650719 @ 232.71
239.80	c Restart #90 #Var: 678 LB: -8650719 @ 239.69
252.11	c Restart #91 #Var: 678 LB: -8650719 @ 251.99
276.68	c Restart #92 #Var: 678 LB: -8650719 @ 276.55
302.56	c Restart #93 #Var: 678 LB: -8650719 @ 302.43
315.98	c Restart #94 #Var: 678 LB: -8650719 @ 315.84
329.67	c Restart #95 #Var: 678 LB: -8650719 @ 329.52
343.73	c Restart #96 #Var: 678 LB: -8650719 @ 343.57
353.52	c Restart #97 #Var: 678 LB: -8650719 @ 353.36
365.83	c Restart #98 #Var: 678 LB: -8650719 @ 365.67
376.39	c Restart #99 #Var: 678 LB: -8650719 @ 376.22
379.78	c Restart #100 #Var: 674 LB: -8650719 @ 379.62
413.00	c Restart #101 #Var: 674 LB: -8650719 @ 412.81
433.21	c Restart #102 #Var: 674 LB: -8650719 @ 433.02
449.14	c Restart #103 #Var: 674 LB: -8650719 @ 448.95
452.16	c Restart #104 #Var: 674 LB: -8650719 @ 451.96
462.11	c Restart #105 #Var: 674 LB: -8650719 @ 461.91
476.69	c Restart #106 #Var: 674 LB: -8650719 @ 476.48
482.15	c Restart #107 #Var: 674 LB: -8650719 @ 481.94
497.35	c Restart #108 #Var: 674 LB: -8650719 @ 497.14
503.42	c Restart #109 #Var: 674 LB: -8650719 @ 503.2
513.26	c Restart #110 #Var: 674 LB: -8650719 @ 513.04
529.68	c Restart #111 #Var: 674 LB: -8650719 @ 529.45
548.55	c Restart #112 #Var: 674 LB: -8650719 @ 548.32
554.62	c Restart #113 #Var: 674 LB: -8650719 @ 554.39
572.19	c Restart #114 #Var: 674 LB: -8650719 @ 571.95
579.67	c Restart #115 #Var: 674 LB: -8650719 @ 579.42
595.46	c Restart #116 #Var: 674 LB: -8650719 @ 595.21
605.77	c Restart #117 #Var: 674 LB: -8650719 @ 605.51
621.12	c Restart #118 #Var: 674 LB: -8650719 @ 620.87
629.62	c Restart #119 #Var: 674 LB: -8650719 @ 629.36
649.01	c Restart #120 #Var: 674 LB: -8650719 @ 648.75
658.38	c Restart #121 #Var: 674 LB: -8650719 @ 658.11
684.65	c Restart #122 #Var: 674 LB: -8650719 @ 684.37
714.78	c Restart #123 #Var: 674 LB: -8650719 @ 714.49
745.37	c Restart #124 #Var: 674 LB: -8650719 @ 745.07
768.93	c Restart #125 #Var: 674 LB: -8650719 @ 768.62
772.56	c Restart #126 #Var: 674 LB: -8650719 @ 772.25
821.37	c Restart #127 #Var: 674 LB: -8650719 @ 821.04
832.80	c Restart #128 #Var: 674 LB: -8650719 @ 832.47
868.27	c Restart #129 #Var: 674 LB: -8650719 @ 867.92
871.89	c Restart #130 #Var: 674 LB: -8650719 @ 871.54
879.99	c Restart #131 #Var: 674 LB: -8650719 @ 879.64
998.50	c CHANGE Heuristic... 
998.50	c Restart #0 #Var: 674 LB: -8650719 @ 998.11
998.54	c Restart #1 #Var: 674 LB: -8650719 @ 998.14
998.87	c Restart #2 #Var: 674 LB: -8650719 @ 998.47
999.86	c Restart #3 #Var: 674 LB: -8650719 @ 999.47
1000.45	c Restart #4 #Var: 674 LB: -8650719 @ 1000.1
1001.62	c Restart #5 #Var: 674 LB: -8650719 @ 1001.2
1005.53	c Sol. found (all assignments made)...
1005.53	o 0
1005.53	c NEW SOLUTION FOUND: 0 @ 1005.1
1007.50	c Restart #6 #Var: 674 LB: -8650719 @ 1007.1
1008.05	c Restart #7 #Var: 674 LB: -8650719 @ 1007.7
1009.77	c Restart #8 #Var: 674 LB: -8650719 @ 1009.4
1010.25	c Restart #9 #Var: 674 LB: -8650719 @ 1009.9
1015.23	c CHANGE to MIS mode... 	UB: 0	MIS: -8650686	LPR: -2147483648 (0)	Diff: 0.0040283
1015.23	c Restart #0 #Var: 674 LB: -8650719 @ 1014.8
1015.33	c Restart #1 #Var: 674 LB: -8650686 @ 1014.9
1018.30	c Restart #2 #Var: 673 LB: -8650686 @ 1017.9
1022.86	c Restart #3 #Var: 673 LB: -8650686 @ 1022.5
1023.66	c Restart #4 #Var: 673 LB: -8650686 @ 1023.3
1026.35	c Restart #5 #Var: 673 LB: -8650686 @ 1025.9
1027.27	c Restart #6 #Var: 673 LB: -8650686 @ 1026.9
1031.58	c Restart #7 #Var: 673 LB: -8650686 @ 1031.2
1034.11	c Restart #8 #Var: 673 LB: -8650686 @ 1033.7
1039.82	c Restart #9 #Var: 673 LB: -8650686 @ 1039.4
1043.68	c Restart #10 #Var: 673 LB: -8650686 @ 1043.3
1045.46	c Restart #11 #Var: 673 LB: -8650686 @ 1045.1
1047.51	c Restart #12 #Var: 673 LB: -8650686 @ 1047.1
1058.96	c Restart #13 #Var: 673 LB: -8650686 @ 1058.5
1060.30	c Restart #14 #Var: 673 LB: -8650686 @ 1059.9
1061.16	c Restart #15 #Var: 673 LB: -8650686 @ 1060.7
1071.36	c Restart #16 #Var: 673 LB: -8650686 @ 1070.9
1072.60	c Restart #17 #Var: 673 LB: -8650686 @ 1072.2
1086.41	c Restart #18 #Var: 673 LB: -8650686 @ 1086
1087.37	c Restart #19 #Var: 673 LB: -8650686 @ 1086.9
1111.77	c Restart #20 #Var: 673 LB: -8650686 @ 1111.3
1118.17	c Restart #21 #Var: 673 LB: -8650686 @ 1117.7
1119.19	c Restart #22 #Var: 673 LB: -8650686 @ 1118.8
1139.67	c Restart #23 #Var: 673 LB: -8650686 @ 1139.2
1140.49	c Restart #24 #Var: 673 LB: -8650686 @ 1140
1145.92	c Restart #25 #Var: 673 LB: -8650686 @ 1145.5
1147.37	c Restart #26 #Var: 673 LB: -8650686 @ 1146.9
1170.94	c Restart #27 #Var: 673 LB: -8650686 @ 1170.5
1173.65	c Restart #28 #Var: 673 LB: -8650686 @ 1173.2
1181.23	c Restart #29 #Var: 673 LB: -8650686 @ 1180.8
1184.94	c Restart #30 #Var: 673 LB: -8650686 @ 1184.5
1221.35	c Restart #31 #Var: 673 LB: -8650686 @ 1220.9
1222.77	c Restart #32 #Var: 673 LB: -8650686 @ 1222.3
1262.68	c Restart #33 #Var: 673 LB: -8650686 @ 1262.2
1266.81	c Restart #34 #Var: 673 LB: -8650686 @ 1266.3
1301.80	c Restart #35 #Var: 673 LB: -8650686 @ 1301.3
1304.71	c Restart #36 #Var: 673 LB: -8650686 @ 1304.2
1309.88	c Restart #37 #Var: 673 LB: -8650686 @ 1309.4
1348.10	c Restart #38 #Var: 673 LB: -8650686 @ 1347.6
1350.78	c Restart #39 #Var: 673 LB: -8650686 @ 1350.3
1354.36	c Restart #40 #Var: 673 LB: -8650686 @ 1353.8
1360.26	c Restart #41 #Var: 673 LB: -8650686 @ 1359.7
1362.61	c Restart #42 #Var: 673 LB: -8650686 @ 1362.1
1364.29	c Restart #43 #Var: 673 LB: -8650686 @ 1363.8
1420.92	c Restart #44 #Var: 673 LB: -8650686 @ 1420.4
1452.54	c Restart #45 #Var: 673 LB: -8650686 @ 1452
1462.66	c Restart #46 #Var: 673 LB: -8650686 @ 1462.1
1471.56	c Restart #47 #Var: 673 LB: -8650686 @ 1471
1475.67	c Restart #48 #Var: 673 LB: -8650686 @ 1475.1
1477.58	c Restart #49 #Var: 673 LB: -8650686 @ 1477
1528.18	c Restart #50 #Var: 673 LB: -8650686 @ 1527.6
1530.35	c Restart #51 #Var: 673 LB: -8650686 @ 1529.8
1532.69	c Restart #52 #Var: 673 LB: -8650686 @ 1532.1
1537.87	c Restart #53 #Var: 673 LB: -8650686 @ 1537.3
1548.32	c Restart #54 #Var: 673 LB: -8650686 @ 1547.7
1550.65	c Restart #55 #Var: 673 LB: -8650686 @ 1550
1553.31	c Restart #56 #Var: 673 LB: -8650686 @ 1552.7
1555.58	c Restart #57 #Var: 673 LB: -8650686 @ 1555
1562.58	c Restart #58 #Var: 673 LB: -8650686 @ 1562
1636.62	c Restart #59 #Var: 673 LB: -8650686 @ 1636
1639.03	c Restart #60 #Var: 673 LB: -8650686 @ 1638.4
1650.84	c Restart #61 #Var: 673 LB: -8650686 @ 1650.2
1665.63	c Restart #62 #Var: 673 LB: -8650686 @ 1665
1668.28	c Restart #63 #Var: 673 LB: -8650686 @ 1667.6
1673.15	c Restart #64 #Var: 673 LB: -8650686 @ 1672.5
1733.69	c Restart #65 #Var: 673 LB: -8650686 @ 1733
1740.34	c Restart #66 #Var: 673 LB: -8650686 @ 1739.7
1747.52	c Restart #67 #Var: 673 LB: -8650686 @ 1746.8
1766.63	c Restart #68 #Var: 673 LB: -8650686 @ 1766
1795.75	c Restart #69 #Var: 673 LB: -8650686 @ 1795.1
1800.69	s SATISFIABLE
1800.69	c Cost: 0
1800.69	v -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x691 -x692 -x693
1800.69	v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x724 -x725 -x726 -x727 -x728 -x729 -x730
1800.69	v -x731 -x732 -x733 -x734 -x735 -x736 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x633 -x634
1800.69	v -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655
1800.69	v -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676
1800.69	v -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x708 -x709 -x710 -x711 -x712 -x713 -x714
1800.69	v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748
1800.69	v -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x827 -x828 -x829
1800.69	v -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850
1800.69	v -x851 -x852 -x853 -x854 -x855 -x856 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
1800.69	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177
1800.69	v -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x255 -x256 -x257 -x258
1800.69	v -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279
1800.69	v -x280 -x281 -x282 -x283 -x284 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360
1800.69	v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x435 -x436 -x437 -x438 -x439 -x440 -x441
1800.69	v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462
1800.69	v -x463 -x464 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543
1800.69	v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866
1800.69	v -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x31
1800.69	v -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57
1800.69	v -x58 -x59 -x60 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122
1800.69	v -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203
1800.69	v -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224
1800.69	v -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305
1800.69	v -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386
1800.69	v -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x465 -x466 -x467
1800.69	v -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488
1800.69	v -x489 -x490 -x491 -x492 -x493 -x494 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569
1800.69	v -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x887 -x888 -x889 -x890 -x891 -x892
1800.69	v -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913
1800.69	v -x914 -x915 -x916 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82
1800.69	v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148
1800.69	v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x225 -x226 -x227 -x228 -x229
1800.69	v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
1800.69	v -x251 -x252 -x253 -x254 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331
1800.69	v -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412
1800.69	v -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433
1800.69	v -x434 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514
1800.69	v -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595
1800.69	v -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x767 -x768
1800.69	v -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789
1800.69	v -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930
1800.69	v -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x797 -x798 -x799 -x800 -x801
1800.69	v -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822
1800.69	v -x823 -x824 -x825 -x826 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993
1800.69	v -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011
1800.69	v -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028
1800.69	v -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075
1800.69	v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092
1800.69	v -x1093 -x1094 -x1095 -x1096 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962
1800.69	v -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042
1800.69	v -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059
1800.69	v -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066
1800.69	c Exit Code: 10
1800.69	c Total time: 1800 s

Verifier Data (download as text)

OK	0

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node37/watcher-40666-1149311042 -o ROOT/results/node37/solver-40666-1149311042 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node37/40666-1149311042/instance-40666-1149311042.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.79 0.95 0.98 2/64 31252
/proc/meminfo: memFree=1623256/2055920 swapFree=4181380/4192956
[pid=31252] ppid=31250 vsize=4928 CPUtime=0
/proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 290 0 0 0 0 0 0 0 18 0 1 0 196770401 5046272 259 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31252/statm: 1232 259 169 55 0 124 0

[startup+10.0015 s]
/proc/loadavg: 0.82 0.95 0.98 2/64 31252
/proc/meminfo: memFree=1497136/2055920 swapFree=4181380/4192956
[pid=31252] ppid=31250 vsize=130532 CPUtime=9.96
/proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 31880 0 0 0 970 26 0 0 25 0 1 0 196770401 133664768 31794 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31252/statm: 32633 31794 297 55 0 31525 0
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 130532

[startup+20.0074 s]
/proc/loadavg: 0.85 0.95 0.98 2/64 31252
/proc/meminfo: memFree=1495408/2055920 swapFree=4181380/4192956
[pid=31252] ppid=31250 vsize=132352 CPUtime=19.96
/proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 32334 0 0 0 1967 29 0 0 25 0 1 0 196770401 135528448 32248 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603845 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31252/statm: 33088 32248 297 55 0 31980 0
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (Kb) 132352

[startup+30.0133 s]
/proc/loadavg: 0.87 0.96 0.98 2/64 31252
/proc/meminfo: memFree=1494512/2055920 swapFree=4181380/4192956
[pid=31252] ppid=31250 vsize=133400 CPUtime=29.97
/proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 32572 0 0 0 2965 32 0 0 25 0 1 0 196770401 136601600 32486 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31252/statm: 33350 32486 297 55 0 32242 0
Current children cumulated CPU time (s) 29.97
Current children cumulated vsize (Kb) 133400

[startup+40.0192 s]
/proc/loadavg: 0.89 0.96 0.98 2/64 31252
/proc/meminfo: memFree=1493552/2055920 swapFree=4181380/4192956
[pid=31252] ppid=31250 vsize=134328 CPUtime=39.96
/proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 32823 0 0 0 3962 34 0 0 25 0 1 0 196770401 137551872 32735 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604175 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31252/statm: 33582 32735 297 55 0 32474 0
Current children cumulated CPU time (s) 39.96
Current children cumulated vsize (Kb) 134328

[startup+50.0251 s]
/proc/loadavg: 0.91 0.96 0.98 2/64 31252
/proc/meminfo: memFree=1490416/2055920 swapFree=4181380/4192956
[pid=31252] ppid=31250 vsize=137432 CPUtime=49.96
/proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 33605 0 0 0 4959 37 0 0 25 0 1 0 196770401 140730368 33517 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31252/statm: 34358 33517 297 55 0 33250 0
Current children cumulated CPU time (s) 49.96
Current children cumulated vsize (Kb) 137432

[startup+60.0309 s]
/proc/loadavg: 0.92 0.96 0.98 2/64 31252
/proc/meminfo: memFree=1490416/2055920 swapFree=4181380/4192956
[pid=31252] ppid=31250 vsize=137432 CPUtime=59.97
/proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 33605 0 0 0 5958 39 0 0 25 0 1 0 196770401 140730368 33517 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31252/statm: 34358 33517 297 55 0 33250 0
Current children cumulated CPU time (s) 59.97
Current children cumulated vsize (Kb) 137432

[startup+70.0378 s]
/proc/loadavg: 0.93 0.96 0.98 2/64 31252
/proc/meminfo: memFree=1489264/2055920 swapFree=4181380/4192956
[pid=31252] ppid=31250 vsize=138620 CPUtime=69.97
/proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 33892 0 0 0 6957 40 0 0 25 0 1 0 196770401 141946880 33804 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31252/statm: 34655 33804 297 55 0 33547 0
Current children cumulated CPU time (s) 69.97
Current children cumulated vsize (Kb) 138620

[startup+80.0447 s]
/proc/loadavg: 0.94 0.96 0.98 2/64 31252
/proc/meminfo: memFree=1488752/2055920 swapFree=4181380/4192956
[pid=31252] ppid=31250 vsize=139144 CPUtime=79.98
/proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 34027 0 0 0 7955 43 0 0 25 0 1 0 196770401 142483456 33939 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31252/statm: 34786 33939 297 55 0 33678 0
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 139144

[startup+90.0506 s]
/proc/loadavg: 0.95 0.96 0.98 2/64 31252
/proc/meminfo: memFree=1487472/2055920 swapFree=4181380/4192956
[pid=31252] ppid=31250 vsize=140476 CPUtime=89.97
/proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 34355 0 0 0 8952 45 0 0 25 0 1 0 196770401 143847424 34267 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31252/statm: 35119 34267 297 55 0 34011 0
Current children cumulated CPU time (s) 89.97
Current children cumulated vsize (Kb) 140476

[startup+100.056 s]
/proc/loadavg: 0.96 0.96 0.98 2/64 31252
/proc/meminfo: memFree=1483312/2055920 swapFree=4181380/4192956
[pid=31252] ppid=31250 vsize=144548 CPUtime=99.98
/proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 35381 0 0 0 9948 50 0 0 25 0 1 0 196770401 148017152 35293 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31252/statm: 36137 35293 297 55 0 35029 0
Current children cumulated CPU time (s) 99.98
Current children cumulated vsize (Kb) 144548

[startup+110.063 s]
/proc/loadavg: 0.96 0.96 0.98 2/64 31252
/proc/meminfo: memFree=1480688/2055920 swapFree=4181380/4192956
[pid=31252] ppid=31250 vsize=147196 CPUtime=109.98
/proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 36040 0 0 0 10946 52 0 0 25 0 1 0 196770401 150728704 35952 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31252/statm: 36799 35952 297 55 0 35691 0
Current children cumulated CPU time (s) 109.98
Current children cumulated vsize (Kb) 147196

[startup+120.07 s]
/proc/loadavg: 0.97 0.96 0.98 2/64 31252
/proc/meminfo: memFree=1479152/2055920 swapFree=4181380/4192956
[pid=31252] ppid=31250 vsize=148760 CPUtime=119.98
/proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 36414 0 0 0 11945 53 0 0 25 0 1 0 196770401 152330240 36326 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534790 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31252/statm: 37190 36326 297 55 0 36082 0
Current children cumulated CPU time (s) 119.98
Current children cumulated vsize (Kb) 148760

[startup+130.076 s]
/proc/loadavg: 0.97 0.97 0.98 2/64 31252
/proc/meminfo: memFree=1478384/2055920 swapFree=4181380/4192956
[pid=31252] ppid=31250 vsize=149548 CPUtime=129.99
/proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 36615 0 0 0 12945 54 0 0 25 0 1 0 196770401 153137152 36527 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603830 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31252/statm: 37387 36527 297 55 0 36279 0
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 149548

[startup+140.082 s]
/proc/loadavg: 0.98 0.97 0.98 2/64 31252
/proc/meminfo: memFree=1476720/2055920 swapFree=4181380/4192956
[pid=31252] ppid=31250 vsize=151124 CPUtime=139.99
/proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 37016 0 0 0 13944 55 0 0 25 0 1 0 196770401 154750976 36928 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31252/statm: 37781 36928 297 55 0 36673 0
Current children cumulated CPU time (s) 139.99
Current children cumulated vsize (Kb) 151124

[startup+150.089 s]
/proc/loadavg: 0.98 0.97 0.98 2/64 31252
/proc/meminfo: memFree=1474992/2055920 swapFree=4181380/4192956
[pid=31252] ppid=31250 vsize=152760 CPUtime=150
/proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 37443 0 0 0 14943 57 0 0 25 0 1 0 196770401 156426240 37355 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31252/statm: 38190 37355 297 55 0 37082 0
Current children cumulated CPU time (s) 150
Current children cumulated vsize (Kb) 152760

[startup+160.095 s]
/proc/loadavg: 0.98 0.97 0.98 2/64 31252
/proc/meminfo: memFree=1474416/2055920 swapFree=4181380/4192956
[pid=31252] ppid=31250 vsize=153428 CPUtime=159.99
/proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 37584 0 0 0 15941 58 0 0 25 0 1 0 196770401 157110272 37496 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31252/statm: 38357 37496 297 55 0 37249 0
Current children cumulated CPU time (s) 159.99
Current children cumulated vsize (Kb) 153428

[startup+170.101 s]
/proc/loadavg: 0.98 0.97 0.98 2/64 31252
/proc/meminfo: memFree=1472368/2055920 swapFree=4181380/4192956
[pid=31252] ppid=31250 vsize=155408 CPUtime=170
/proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 38095 0 0 0 16940 60 0 0 25 0 1 0 196770401 159137792 38007 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718468 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31252/statm: 38852 38007 297 55 0 37744 0
Current children cumulated CPU time (s) 170
Current children cumulated vsize (Kb) 155408

[startup+180.107 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 31252
/proc/meminfo: memFree=1470960/2055920 swapFree=4181380/4192956
[pid=31252] ppid=31250 vsize=156988 CPUtime=180.01
/proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 38472 0 0 0 17940 61 0 0 25 0 1 0 196770401 160755712 38384 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31252/statm: 39247 38384 297 55 0 38139 0
Current children cumulated CPU time (s) 180.01
Current children cumulated vsize (Kb) 156988

[startup+190.112 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 31252
/proc/meminfo: memFree=1470320/2055920 swapFree=4181380/4192956
[pid=31252] ppid=31250 vsize=157468 CPUtime=190
/proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 38616 0 0 0 18939 61 0 0 25 0 1 0 196770401 161247232 38528 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158103513 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31252/statm: 39367 38528 297 55 0 38259 0
Current children cumulated CPU time (s) 190
Current children cumulated vsize (Kb) 157468

[startup+200.118 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 31252
/proc/meminfo: memFree=1469360/2055920 swapFree=4181380/4192956
[pid=31252] ppid=31250 vsize=158516 CPUtime=200.01
/proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 38856 0 0 0 19938 63 0 0 25 0 1 0 196770401 162320384 38768 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31252/statm: 39629 38768 297 55 0 38521 0
Current children cumulated CPU time (s) 200.01
Current children cumulated vsize (Kb) 158516

[startup+210.124 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 31252
/proc/meminfo: memFree=1469296/2055920 swapFree=4181380/4192956

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

/proc/31252/statm: 57907 57051 298 55 0 56799 0
Current children cumulated CPU time (s) 1760.38
Current children cumulated vsize (Kb) 231628

[startup+1771.07 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 31252
/proc/meminfo: memFree=1395696/2055920 swapFree=4181380/4192956
[pid=31252] ppid=31250 vsize=231744 CPUtime=1770.38
/proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 57179 0 0 0 176853 185 0 0 25 0 1 0 196770401 237305856 57069 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31252/statm: 57936 57069 298 55 0 56828 0
Current children cumulated CPU time (s) 1770.38
Current children cumulated vsize (Kb) 231744

[startup+1781.07 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 31252
/proc/meminfo: memFree=1395376/2055920 swapFree=4181380/4192956
[pid=31252] ppid=31250 vsize=232008 CPUtime=1780.38
/proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 57248 0 0 0 177853 185 0 0 25 0 1 0 196770401 237576192 57138 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31252/statm: 58002 57138 298 55 0 56894 0
Current children cumulated CPU time (s) 1780.38
Current children cumulated vsize (Kb) 232008

[startup+1782.08 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 31252
/proc/meminfo: memFree=1395376/2055920 swapFree=4181380/4192956
[pid=31252] ppid=31250 vsize=232008 CPUtime=1781.38
/proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 57253 0 0 0 177953 185 0 0 25 0 1 0 196770401 237576192 57143 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31252/statm: 58002 57143 298 55 0 56894 0
Current children cumulated CPU time (s) 1781.38
Current children cumulated vsize (Kb) 232008

[startup+1783.08 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 31252
/proc/meminfo: memFree=1395376/2055920 swapFree=4181380/4192956
[pid=31252] ppid=31250 vsize=232008 CPUtime=1782.39
/proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 57256 0 0 0 178054 185 0 0 25 0 1 0 196770401 237576192 57146 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31252/statm: 58002 57146 298 55 0 56894 0
Current children cumulated CPU time (s) 1782.39
Current children cumulated vsize (Kb) 232008

[startup+1784.09 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 31252
/proc/meminfo: memFree=1395376/2055920 swapFree=4181380/4192956
[pid=31252] ppid=31250 vsize=232008 CPUtime=1783.39
/proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 57256 0 0 0 178154 185 0 0 25 0 1 0 196770401 237576192 57146 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31252/statm: 58002 57146 298 55 0 56894 0
Current children cumulated CPU time (s) 1783.39
Current children cumulated vsize (Kb) 232008

[startup+1785.09 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 31252
/proc/meminfo: memFree=1395312/2055920 swapFree=4181380/4192956
[pid=31252] ppid=31250 vsize=232008 CPUtime=1784.4
/proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 57258 0 0 0 178255 185 0 0 25 0 1 0 196770401 237576192 57148 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31252/statm: 58002 57148 298 55 0 56894 0
Current children cumulated CPU time (s) 1784.4
Current children cumulated vsize (Kb) 232008

[startup+1786.1 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 31252
/proc/meminfo: memFree=1395312/2055920 swapFree=4181380/4192956
[pid=31252] ppid=31250 vsize=232008 CPUtime=1785.4
/proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 57262 0 0 0 178355 185 0 0 25 0 1 0 196770401 237576192 57152 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534858 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31252/statm: 58002 57152 298 55 0 56894 0
Current children cumulated CPU time (s) 1785.4
Current children cumulated vsize (Kb) 232008

[startup+1787.1 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 31252
/proc/meminfo: memFree=1395312/2055920 swapFree=4181380/4192956
[pid=31252] ppid=31250 vsize=232008 CPUtime=1786.4
/proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 57263 0 0 0 178455 185 0 0 25 0 1 0 196770401 237576192 57153 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31252/statm: 58002 57153 298 55 0 56894 0
Current children cumulated CPU time (s) 1786.4
Current children cumulated vsize (Kb) 232008

[startup+1788.1 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 31252
/proc/meminfo: memFree=1395312/2055920 swapFree=4181380/4192956
[pid=31252] ppid=31250 vsize=232008 CPUtime=1787.41
/proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 57266 0 0 0 178556 185 0 0 25 0 1 0 196770401 237576192 57156 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31252/statm: 58002 57156 298 55 0 56894 0
Current children cumulated CPU time (s) 1787.41
Current children cumulated vsize (Kb) 232008

[startup+1789.11 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 31252
/proc/meminfo: memFree=1395312/2055920 swapFree=4181380/4192956
[pid=31252] ppid=31250 vsize=232008 CPUtime=1788.42
/proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 57266 0 0 0 178656 186 0 0 25 0 1 0 196770401 237576192 57156 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11964568 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31252/statm: 58002 57156 298 55 0 56894 0
Current children cumulated CPU time (s) 1788.42
Current children cumulated vsize (Kb) 232008

[startup+1790.11 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 31252
/proc/meminfo: memFree=1395312/2055920 swapFree=4181380/4192956
[pid=31252] ppid=31250 vsize=232008 CPUtime=1789.43
/proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 57268 0 0 0 178757 186 0 0 25 0 1 0 196770401 237576192 57158 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551604 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31252/statm: 58002 57158 298 55 0 56894 0
Current children cumulated CPU time (s) 1789.43
Current children cumulated vsize (Kb) 232008

[startup+1791.12 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 31252
/proc/meminfo: memFree=1395312/2055920 swapFree=4181380/4192956
[pid=31252] ppid=31250 vsize=232140 CPUtime=1790.43
/proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 57272 0 0 0 178857 186 0 0 25 0 1 0 196770401 237711360 57162 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31252/statm: 58035 57162 298 55 0 56927 0
Current children cumulated CPU time (s) 1790.43
Current children cumulated vsize (Kb) 232140

[startup+1792.12 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 31252
/proc/meminfo: memFree=1395312/2055920 swapFree=4181380/4192956
[pid=31252] ppid=31250 vsize=232128 CPUtime=1791.43
/proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 57272 0 0 0 178957 186 0 0 25 0 1 0 196770401 237699072 57162 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548421 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31252/statm: 58032 57162 298 55 0 56924 0
Current children cumulated CPU time (s) 1791.43
Current children cumulated vsize (Kb) 232128

[startup+1793.13 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 31252
/proc/meminfo: memFree=1395312/2055920 swapFree=4181380/4192956
[pid=31252] ppid=31250 vsize=232128 CPUtime=1792.44
/proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 57272 0 0 0 179058 186 0 0 25 0 1 0 196770401 237699072 57162 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718716 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31252/statm: 58032 57162 298 55 0 56924 0
Current children cumulated CPU time (s) 1792.44
Current children cumulated vsize (Kb) 232128

[startup+1794.13 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 31252
/proc/meminfo: memFree=1395312/2055920 swapFree=4181380/4192956
[pid=31252] ppid=31250 vsize=232128 CPUtime=1793.44
/proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 57272 0 0 0 179158 186 0 0 25 0 1 0 196770401 237699072 57162 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548233 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31252/statm: 58032 57162 298 55 0 56924 0
Current children cumulated CPU time (s) 1793.44
Current children cumulated vsize (Kb) 232128

[startup+1795.14 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 31252
/proc/meminfo: memFree=1395248/2055920 swapFree=4181380/4192956
[pid=31252] ppid=31250 vsize=232128 CPUtime=1794.45
/proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 57277 0 0 0 179259 186 0 0 25 0 1 0 196770401 237699072 57167 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548421 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31252/statm: 58032 57167 298 55 0 56924 0
Current children cumulated CPU time (s) 1794.45
Current children cumulated vsize (Kb) 232128

[startup+1796.14 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 31252
/proc/meminfo: memFree=1395248/2055920 swapFree=4181380/4192956
[pid=31252] ppid=31250 vsize=232120 CPUtime=1795.45
/proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 57277 0 0 0 179359 186 0 0 25 0 1 0 196770401 237690880 57167 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31252/statm: 58030 57167 298 55 0 56922 0
Current children cumulated CPU time (s) 1795.45
Current children cumulated vsize (Kb) 232120

[startup+1797.15 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 31252
/proc/meminfo: memFree=1395248/2055920 swapFree=4181380/4192956
[pid=31252] ppid=31250 vsize=232120 CPUtime=1796.45
/proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 57277 0 0 0 179459 186 0 0 25 0 1 0 196770401 237690880 57167 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551624 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31252/statm: 58030 57167 298 55 0 56922 0
Current children cumulated CPU time (s) 1796.45
Current children cumulated vsize (Kb) 232120

[startup+1798.15 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 31252
/proc/meminfo: memFree=1395248/2055920 swapFree=4181380/4192956
[pid=31252] ppid=31250 vsize=232120 CPUtime=1797.46
/proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 57277 0 0 0 179560 186 0 0 25 0 1 0 196770401 237690880 57167 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533548 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31252/statm: 58030 57167 298 55 0 56922 0
Current children cumulated CPU time (s) 1797.46
Current children cumulated vsize (Kb) 232120

[startup+1799.16 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 31252
/proc/meminfo: memFree=1395248/2055920 swapFree=4181380/4192956
[pid=31252] ppid=31250 vsize=232120 CPUtime=1798.46
/proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 57278 0 0 0 179660 186 0 0 25 0 1 0 196770401 237690880 57168 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134547755 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31252/statm: 58030 57168 298 55 0 56922 0
Current children cumulated CPU time (s) 1798.46
Current children cumulated vsize (Kb) 232120

[startup+1800.16 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 31252
/proc/meminfo: memFree=1395248/2055920 swapFree=4181380/4192956
[pid=31252] ppid=31250 vsize=232120 CPUtime=1799.46
/proc/31252/stat : 31252 (bsolo) R 31250 31252 31206 0 -1 0 57278 0 0 0 179760 186 0 0 25 0 1 0 196770401 237690880 57168 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31252/statm: 58030 57168 298 55 0 56922 0
Current children cumulated CPU time (s) 1799.46
Current children cumulated vsize (Kb) 232120

Child status: 10
Real time (s): 1800.73
CPU time (s): 1800.04
CPU user time (s): 1798.13
CPU system time (s): 1.90571
CPU usage (%): 99.9616
Max. virtual memory (cumulated for all children) (Kb): 232140

Launcher Data (download as text)

Begin job on node37 on Sat Jun  3 05:04:02 UTC 2006


FILE ID= 40666-1149311042

PBS_JOBID= 307977

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-kb2.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node37/40666-1149311042/instance-40666-1149311042.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node37/watcher-40666-1149311042 -o ROOT/results/node37/solver-40666-1149311042 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node37/40666-1149311042/instance-40666-1149311042.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  7bb51fb18714f8fdd98e0de4fc62f6d8

RANDOM SEED= 905471982


/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.281
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.281
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:       1623528 kB
Buffers:         23328 kB
Cached:         338864 kB
SwapCached:       3308 kB
Active:          54824 kB
Inactive:       316140 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1623528 kB
SwapTotal:     4192956 kB
SwapFree:      4181380 kB
Dirty:             316 kB
Writeback:           0 kB
Mapped:          14932 kB
Slab:            47484 kB
Committed_AS:   262516 kB
PageTables:       1416 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node37 on Sat Jun  3 05:34:03 UTC 2006