Trace number 50317

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/05SAT420 1800.13 1800.73

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_3.opb
MD5SUM0278ee4f163393ac33163ff791a7f96d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark1782.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved NO
Number of variables198
Total number of constraints16
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 constraints16
Minimum length of a constraint82
Maximum length of a constraint86
Number of terms in the objective function 128
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 4080
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1782
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5856
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00	c Time Limit set via PBTIMEOUT to 1800
0.02	c INFO: OSL Context initialized.
0.02	c Initial problem consists of 198 variables and 16 constraints.
0.02	c No problem reductions applied in OPT. instance.
0.02	c	preprocess terminated. Elapsed time: 0.015
0.02	c After prepocess the problem consists of 198 variables and 16 constraints.
0.02	c Initial Lower Bound: 0
0.04	c Restart #1 #Var: 198 LB: 0 @ 0.03
0.07	c Restart #2 #Var: 198 LB: 0 @ 0.063
0.12	c Restart #3 #Var: 198 LB: 0 @ 0.11
0.19	c Restart #4 #Var: 198 LB: 0 @ 0.179
0.26	c Restart #5 #Var: 198 LB: 0 @ 0.252
0.33	c Restart #6 #Var: 198 LB: 0 @ 0.317
0.41	c Restart #7 #Var: 198 LB: 0 @ 0.397
0.49	c Restart #8 #Var: 198 LB: 0 @ 0.483
0.62	c Restart #9 #Var: 198 LB: 0 @ 0.611
0.75	c Restart #10 #Var: 198 LB: 0 @ 0.739
0.86	c Restart #11 #Var: 198 LB: 0 @ 0.854
0.96	c Sol. found (all assignments made)...
0.96	o 2018
0.96	c NEW SOLUTION FOUND: 2018 @ 0.954
0.96	c Sol. found (all assignments made)...
0.96	c Sol. found (all assignments made)...
0.96	o 1890
0.96	c NEW SOLUTION FOUND: 1890 @ 0.954
0.96	c Sol. found (all assignments made)...
0.96	o 1826
0.96	c NEW SOLUTION FOUND: 1826 @ 0.955
0.96	c Sol. found (all assignments made)...
0.96	o 1794
0.96	c NEW SOLUTION FOUND: 1794 @ 0.956
1.09	c Restart #12 #Var: 198 LB: 0 @ 1.085
1.25	c Restart #13 #Var: 198 LB: 0 @ 1.241
1.40	c Restart #14 #Var: 198 LB: 0 @ 1.396
1.58	c Restart #15 #Var: 198 LB: 0 @ 1.568
1.69	c Sol. found (all assignments made)...
1.69	o 1605
1.69	c NEW SOLUTION FOUND: 1605 @ 1.679
1.69	c Sol. found (all assignments made)...
1.69	o 1517
1.69	c NEW SOLUTION FOUND: 1517 @ 1.685
1.69	c Sol. found (all assignments made)...
1.69	o 1509
1.69	c NEW SOLUTION FOUND: 1509 @ 1.686
1.70	c Sol. found (all assignments made)...
1.70	o 1453
1.70	c NEW SOLUTION FOUND: 1453 @ 1.689
1.70	c Sol. found (all assignments made)...
1.70	o 1441
1.70	c NEW SOLUTION FOUND: 1441 @ 1.69
1.70	c Sol. found (all assignments made)...
1.70	o 1439
1.70	c NEW SOLUTION FOUND: 1439 @ 1.69
1.70	c Sol. found (all assignments made)...
1.70	o 1437
1.70	c NEW SOLUTION FOUND: 1437 @ 1.69
1.70	c Sol. found (all assignments made)...
1.70	o 1433
1.70	c NEW SOLUTION FOUND: 1433 @ 1.691
1.70	c Sol. found (all assignments made)...
1.70	o 1431
1.70	c NEW SOLUTION FOUND: 1431 @ 1.692
1.90	c Sol. found (all assignments made)...
1.90	o 1429
1.90	c NEW SOLUTION FOUND: 1429 @ 1.893
1.92	c Sol. found (all assignments made)...
1.92	o 1427
1.92	c NEW SOLUTION FOUND: 1427 @ 1.907
1.94	c Sol. found (all assignments made)...
1.94	o 1425
1.94	c NEW SOLUTION FOUND: 1425 @ 1.933
1.94	c Sol. found (all assignments made)...
1.94	o 1423
1.94	c NEW SOLUTION FOUND: 1423 @ 1.934
1.95	c Sol. found (all assignments made)...
1.95	o 1419
1.95	c NEW SOLUTION FOUND: 1419 @ 1.94
1.96	c Sol. found (all assignments made)...
1.96	o 1417
1.96	c NEW SOLUTION FOUND: 1417 @ 1.951
1.97	c Sol. found (all assignments made)...
1.97	o 1415
1.97	c NEW SOLUTION FOUND: 1415 @ 1.959
2.22	c Sol. found (all assignments made)...
2.22	o 1413
2.22	c NEW SOLUTION FOUND: 1413 @ 2.216
2.24	c Sol. found (all assignments made)...
2.24	o 1411
2.24	c NEW SOLUTION FOUND: 1411 @ 2.236
2.29	c Sol. found (all assignments made)...
2.29	o 1409
2.29	c NEW SOLUTION FOUND: 1409 @ 2.286
2.31	c Sol. found (all assignments made)...
2.31	o 1407
2.31	c NEW SOLUTION FOUND: 1407 @ 2.3
2.48	c Sol. found (all assignments made)...
2.48	o 1405
2.48	c NEW SOLUTION FOUND: 1405 @ 2.477
2.80	c Sol. found (all assignments made)...
2.80	o 1403
2.80	c NEW SOLUTION FOUND: 1403 @ 2.795
3.84	c Restart #16 #Var: 198 LB: 0 @ 3.832
3.88	c Sol. found (all assignments made)...
3.90	c Sol. found (all assignments made)...
3.90	o 1357
3.90	c NEW SOLUTION FOUND: 1357 @ 3.89
3.91	c Sol. found (all assignments made)...
3.91	o 1351
3.91	c NEW SOLUTION FOUND: 1351 @ 3.9
3.91	c Sol. found (all assignments made)...
3.91	o 1349
3.91	c NEW SOLUTION FOUND: 1349 @ 3.901
3.93	c Sol. found (all assignments made)...
3.93	o 1347
3.93	c NEW SOLUTION FOUND: 1347 @ 3.924
3.93	c Sol. found (all assignments made)...
3.93	o 1341
3.93	c NEW SOLUTION FOUND: 1341 @ 3.925
3.93	c Sol. found (all assignments made)...
3.93	o 1339
3.93	c NEW SOLUTION FOUND: 1339 @ 3.926
3.94	c Sol. found (all assignments made)...
3.94	o 1325
3.94	c NEW SOLUTION FOUND: 1325 @ 3.933
3.99	c Sol. found (all assignments made)...
3.99	o 1315
3.99	c NEW SOLUTION FOUND: 1315 @ 3.982
3.99	c Sol. found (all assignments made)...
3.99	o 1299
3.99	c NEW SOLUTION FOUND: 1299 @ 3.984
4.01	c Sol. found (all assignments made)...
4.01	o 1295
4.01	c NEW SOLUTION FOUND: 1295 @ 3.998
4.02	c Sol. found (all assignments made)...
4.02	o 1283
4.02	c NEW SOLUTION FOUND: 1283 @ 4.012
4.02	c Sol. found (all assignments made)...
4.02	o 1281
4.02	c NEW SOLUTION FOUND: 1281 @ 4.013
4.03	c Sol. found (all assignments made)...
4.03	o 1279
4.03	c NEW SOLUTION FOUND: 1279 @ 4.019
4.03	c Sol. found (all assignments made)...
4.03	o 1277
4.03	c NEW SOLUTION FOUND: 1277 @ 4.02
4.03	c Sol. found (all assignments made)...
4.03	o 1273
4.03	c NEW SOLUTION FOUND: 1273 @ 4.022
4.17	c Sol. found (all assignments made)...
4.17	o 1269
4.17	c NEW SOLUTION FOUND: 1269 @ 4.16
4.72	c Sol. found (all assignments made)...
4.72	o 1126
4.72	c NEW SOLUTION FOUND: 1126 @ 4.707
4.72	c Sol. found (all assignments made)...
4.72	o 1118
4.72	c NEW SOLUTION FOUND: 1118 @ 4.708
4.73	c Sol. found (all assignments made)...
4.73	o 1112
4.73	c NEW SOLUTION FOUND: 1112 @ 4.72
4.73	c Sol. found (all assignments made)...
4.73	o 1110
4.73	c NEW SOLUTION FOUND: 1110 @ 4.72
4.73	c Sol. found (all assignments made)...
4.73	o 1106
4.73	c NEW SOLUTION FOUND: 1106 @ 4.722
4.73	c Sol. found (all assignments made)...
4.73	o 1102
4.73	c NEW SOLUTION FOUND: 1102 @ 4.723
4.73	c Sol. found (all assignments made)...
4.73	o 1086
4.73	c NEW SOLUTION FOUND: 1086 @ 4.724
4.74	c Sol. found (all assignments made)...
4.74	o 1062
4.74	c NEW SOLUTION FOUND: 1062 @ 4.731
4.74	c Sol. found (all assignments made)...
4.74	o 1054
4.74	c NEW SOLUTION FOUND: 1054 @ 4.733
4.74	c Sol. found (all assignments made)...
4.74	o 1046
4.74	c NEW SOLUTION FOUND: 1046 @ 4.734
4.74	c Sol. found (all assignments made)...
4.74	o 1038
4.74	c NEW SOLUTION FOUND: 1038 @ 4.735
4.75	c Sol. found (all assignments made)...
4.75	o 1030
4.75	c NEW SOLUTION FOUND: 1030 @ 4.737
4.75	c Sol. found (all assignments made)...
4.75	o 1022
4.75	c NEW SOLUTION FOUND: 1022 @ 4.738
4.75	c Sol. found (all assignments made)...
4.75	o 1018
4.75	c NEW SOLUTION FOUND: 1018 @ 4.742
4.75	c Sol. found (all assignments made)...
4.75	o 1014
4.75	c NEW SOLUTION FOUND: 1014 @ 4.744
5.08	c Sol. found (all assignments made)...
5.08	o 1000
5.08	c NEW SOLUTION FOUND: 1000 @ 5.067
5.10	c Sol. found (all assignments made)...
5.10	o 998
5.10	c NEW SOLUTION FOUND: 998 @ 5.094
5.14	c Sol. found (all assignments made)...
5.14	o 996
5.14	c NEW SOLUTION FOUND: 996 @ 5.133
5.14	c Sol. found (all assignments made)...
5.14	o 988
5.14	c NEW SOLUTION FOUND: 988 @ 5.136
6.18	c Restart #17 #Var: 198 LB: 0 @ 6.167
7.70	c Restart #18 #Var: 198 LB: 0 @ 7.695
8.62	c Restart #19 #Var: 198 LB: 0 @ 8.608
10.67	c Sol. found (all assignments made)...
10.67	o 972
10.67	c NEW SOLUTION FOUND: 972 @ 10.655
10.67	c Sol. found (all assignments made)...
10.67	o 948
10.67	c NEW SOLUTION FOUND: 948 @ 10.655
10.70	c Sol. found (all assignments made)...
10.70	o 946
10.70	c NEW SOLUTION FOUND: 946 @ 10.685
10.70	c Sol. found (all assignments made)...
10.70	o 944
10.70	c NEW SOLUTION FOUND: 944 @ 10.686
10.72	c Sol. found (all assignments made)...
10.72	o 942
10.72	c NEW SOLUTION FOUND: 942 @ 10.702
10.95	c Sol. found (all assignments made)...
10.95	o 940
10.95	c NEW SOLUTION FOUND: 940 @ 10.936
10.96	c Sol. found (all assignments made)...
10.96	o 938
10.96	c NEW SOLUTION FOUND: 938 @ 10.942
12.68	c Restart #20 #Var: 198 LB: 0 @ 12.664
14.63	c Sol. found (all assignments made)...
14.63	o 929
14.63	c NEW SOLUTION FOUND: 929 @ 14.613
14.63	c Sol. found (all assignments made)...
14.63	o 873
14.63	c NEW SOLUTION FOUND: 873 @ 14.617
15.66	c Sol. found (all assignments made)...
15.66	o 865
15.66	c NEW SOLUTION FOUND: 865 @ 15.645
16.46	c Restart #21 #Var: 198 LB: 0 @ 16.441
19.32	c Restart #22 #Var: 198 LB: 0 @ 19.303
21.73	c Sol. found (all assignments made)...
21.73	o 861
21.73	c NEW SOLUTION FOUND: 861 @ 21.709
22.45	c Sol. found (all assignments made)...
22.45	o 859
22.45	c NEW SOLUTION FOUND: 859 @ 22.43
22.47	c Sol. found (all assignments made)...
22.47	o 855
22.47	c NEW SOLUTION FOUND: 855 @ 22.447
22.48	c Sol. found (all assignments made)...
22.48	o 853
22.48	c NEW SOLUTION FOUND: 853 @ 22.46
24.63	c Restart #23 #Var: 198 LB: 0 @ 24.611
26.90	c Restart #24 #Var: 198 LB: 0 @ 26.884
29.05	c Sol. found (all assignments made)...
29.05	o 845
29.05	c NEW SOLUTION FOUND: 845 @ 29.03
29.07	c Sol. found (all assignments made)...
29.07	o 843
29.07	c NEW SOLUTION FOUND: 843 @ 29.045
29.18	c Sol. found (all assignments made)...
29.18	o 841
29.18	c NEW SOLUTION FOUND: 841 @ 29.156
29.19	c Sol. found (all assignments made)...
29.19	o 839
29.19	c NEW SOLUTION FOUND: 839 @ 29.173
32.66	c Restart #25 #Var: 198 LB: 0 @ 32.642
34.18	c Sol. found (all assignments made)...
34.18	o 838
34.18	c NEW SOLUTION FOUND: 838 @ 34.154
36.56	c Restart #26 #Var: 198 LB: 0 @ 36.535
38.22	c Sol. found (all assignments made)...
38.22	o 837
38.22	c NEW SOLUTION FOUND: 837 @ 38.195
39.26	c Sol. found (all assignments made)...
39.26	o 833
39.26	c NEW SOLUTION FOUND: 833 @ 39.24
39.36	c Sol. found (all assignments made)...
39.36	o 831
39.36	c NEW SOLUTION FOUND: 831 @ 39.338
39.38	c Sol. found (all assignments made)...
39.38	o 829
39.38	c NEW SOLUTION FOUND: 829 @ 39.355
43.17	c Restart #27 #Var: 198 LB: 0 @ 43.148
47.52	c Restart #28 #Var: 198 LB: 0 @ 47.489
53.71	c Restart #29 #Var: 198 LB: 0 @ 53.682
56.82	c Restart #30 #Var: 198 LB: 0 @ 56.796
63.60	c CHANGE to MIS mode... 	UB: 829	MIS: 0	LPR: 0 (0.021)	Diff: nan
63.60	c Restart #0 #Var: 198 LB: 0 @ 63.568
63.89	c Restart #1 #Var: 198 LB: 0 @ 63.859
64.33	c Restart #2 #Var: 198 LB: 0 @ 64.293
64.63	c Restart #3 #Var: 198 LB: 0 @ 64.594
66.30	c Restart #4 #Var: 198 LB: 0 @ 66.266
68.90	c Sol. found (all assignments made)...
68.90	o 823
68.90	c NEW SOLUTION FOUND: 823 @ 68.865
69.02	c Sol. found (all assignments made)...
69.02	o 821
69.02	c NEW SOLUTION FOUND: 821 @ 68.986
69.13	c Sol. found (all assignments made)...
69.13	o 795
69.13	c NEW SOLUTION FOUND: 795 @ 69.097
69.14	c Sol. found (all assignments made)...
69.14	o 793
69.14	c NEW SOLUTION FOUND: 793 @ 69.099
69.33	c Sol. found (all assignments made)...
69.33	o 789
69.33	c NEW SOLUTION FOUND: 789 @ 69.287
69.65	c Sol. found (all assignments made)...
69.65	o 785
69.65	c NEW SOLUTION FOUND: 785 @ 69.61
70.27	c Restart #5 #Var: 198 LB: 0 @ 70.232
70.73	c Sol. found (all assignments made)...
70.73	o 772
70.73	c NEW SOLUTION FOUND: 772 @ 70.695
72.64	c Restart #6 #Var: 198 LB: 0 @ 72.606
74.09	c Sol. found (all assignments made)...
74.09	o 771
74.09	c NEW SOLUTION FOUND: 771 @ 74.053
74.24	c Sol. found (all assignments made)...
74.24	o 769
74.24	c NEW SOLUTION FOUND: 769 @ 74.199
74.84	c Sol. found (all assignments made)...
74.84	o 767
74.84	c NEW SOLUTION FOUND: 767 @ 74.805
75.10	c Sol. found (all assignments made)...
75.10	o 765
75.10	c NEW SOLUTION FOUND: 765 @ 75.064
77.98	c Sol. found (all assignments made)...
77.98	o 761
77.98	c NEW SOLUTION FOUND: 761 @ 77.937
78.50	c Sol. found (all assignments made)...
78.50	o 757
78.50	c NEW SOLUTION FOUND: 757 @ 78.456
80.52	c Restart #7 #Var: 198 LB: 0 @ 80.48
82.21	c Restart #8 #Var: 198 LB: 0 @ 82.17
85.64	c Restart #9 #Var: 198 LB: 0 @ 85.595
91.85	c Restart #10 #Var: 198 LB: 0 @ 91.807
95.57	c Restart #11 #Var: 198 LB: 0 @ 95.518
99.57	c Restart #12 #Var: 198 LB: 0 @ 99.52
103.72	c Restart #13 #Var: 198 LB: 0 @ 103.67
110.51	c Restart #14 #Var: 198 LB: 0 @ 110.46
113.19	c Sol. found (all assignments made)...
113.19	o 755
113.19	c NEW SOLUTION FOUND: 755 @ 113.14
113.27	c Sol. found (all assignments made)...
113.27	o 753
113.27	c NEW SOLUTION FOUND: 753 @ 113.21
114.76	c Sol. found (all assignments made)...
114.76	o 751
114.76	c NEW SOLUTION FOUND: 751 @ 114.71
117.41	c Sol. found (all assignments made)...
117.41	o 749
117.41	c NEW SOLUTION FOUND: 749 @ 117.36
117.43	c Sol. found (all assignments made)...
117.43	o 747
117.43	c NEW SOLUTION FOUND: 747 @ 117.38
117.55	c Sol. found (all assignments made)...
117.55	o 743
117.55	c NEW SOLUTION FOUND: 743 @ 117.49
117.56	c Sol. found (all assignments made)...
117.56	o 741
117.56	c NEW SOLUTION FOUND: 741 @ 117.51
117.58	c Sol. found (all assignments made)...
117.58	o 739
117.58	c NEW SOLUTION FOUND: 739 @ 117.53
117.63	c Sol. found (all assignments made)...
117.63	o 737
117.63	c NEW SOLUTION FOUND: 737 @ 117.58
119.86	c Restart #15 #Var: 198 LB: 0 @ 119.8
127.87	c Restart #16 #Var: 198 LB: 0 @ 127.82
135.19	c Restart #17 #Var: 198 LB: 0 @ 135.13
137.76	c Sol. found (all assignments made)...
137.76	o 734
137.76	c NEW SOLUTION FOUND: 734 @ 137.69
138.45	c Sol. found (all assignments made)...
138.45	o 732
138.45	c NEW SOLUTION FOUND: 732 @ 138.39
140.10	c Sol. found (all assignments made)...
140.10	o 706
140.10	c NEW SOLUTION FOUND: 706 @ 140.03
140.13	c Sol. found (all assignments made)...
140.13	o 698
140.13	c NEW SOLUTION FOUND: 698 @ 140.06
140.15	c Sol. found (all assignments made)...
140.15	o 696
140.15	c NEW SOLUTION FOUND: 696 @ 140.09
140.17	c Sol. found (all assignments made)...
140.17	o 694
140.17	c NEW SOLUTION FOUND: 694 @ 140.11
140.29	c Sol. found (all assignments made)...
140.29	o 692
140.29	c NEW SOLUTION FOUND: 692 @ 140.23
140.37	c Sol. found (all assignments made)...
140.37	o 690
140.37	c NEW SOLUTION FOUND: 690 @ 140.31
140.44	c Sol. found (all assignments made)...
140.44	o 688
140.44	c NEW SOLUTION FOUND: 688 @ 140.37
140.76	c Sol. found (all assignments made)...
140.76	o 674
140.76	c NEW SOLUTION FOUND: 674 @ 140.69
140.79	c Sol. found (all assignments made)...
140.79	o 662
140.79	c NEW SOLUTION FOUND: 662 @ 140.72
140.82	c Sol. found (all assignments made)...
140.82	o 630
140.82	c NEW SOLUTION FOUND: 630 @ 140.75
141.01	c Sol. found (all assignments made)...
141.01	o 628
141.01	c NEW SOLUTION FOUND: 628 @ 140.95
141.17	c Sol. found (all assignments made)...
141.17	o 626
141.17	c NEW SOLUTION FOUND: 626 @ 141.1
141.22	c Sol. found (all assignments made)...
141.22	o 624
141.22	c NEW SOLUTION FOUND: 624 @ 141.15
146.62	c Sol. found (all assignments made)...
146.62	o 620
146.62	c NEW SOLUTION FOUND: 620 @ 146.56
146.66	c Sol. found (all assignments made)...
146.66	o 618
146.66	c NEW SOLUTION FOUND: 618 @ 146.6
146.97	c Sol. found (all assignments made)...
146.97	o 616
146.97	c NEW SOLUTION FOUND: 616 @ 146.91
148.86	c Sol. found (all assignments made)...
148.86	o 608
148.86	c NEW SOLUTION FOUND: 608 @ 148.8
149.25	c Sol. found (all assignments made)...
149.25	o 606
149.25	c NEW SOLUTION FOUND: 606 @ 149.19
149.30	c Sol. found (all assignments made)...
149.30	o 602
149.30	c NEW SOLUTION FOUND: 602 @ 149.23
159.37	c Restart #18 #Var: 198 LB: 0 @ 159.3
167.78	c Restart #19 #Var: 198 LB: 0 @ 167.71
175.70	c Restart #20 #Var: 198 LB: 0 @ 175.62
181.22	c Restart #21 #Var: 198 LB: 0 @ 181.15
186.13	c Restart #22 #Var: 198 LB: 0 @ 186.05
202.29	c Restart #23 #Var: 198 LB: 0 @ 202.21
213.80	c Restart #24 #Var: 198 LB: 0 @ 213.71
231.85	c Restart #25 #Var: 198 LB: 0 @ 231.76
248.26	c Restart #26 #Var: 198 LB: 0 @ 248.16
283.69	c Restart #27 #Var: 198 LB: 0 @ 283.58
301.00	c Restart #28 #Var: 198 LB: 0 @ 300.89
313.28	c Restart #29 #Var: 198 LB: 0 @ 313.16
321.85	c Restart #30 #Var: 198 LB: 0 @ 321.74
342.52	c Restart #31 #Var: 198 LB: 0 @ 342.4
357.84	c Restart #32 #Var: 198 LB: 0 @ 357.7
401.48	c Restart #33 #Var: 198 LB: 0 @ 401.34
421.12	c Sol. found (all assignments made)...
421.12	o 597
421.12	c NEW SOLUTION FOUND: 597 @ 420.97
421.13	c Sol. found (all assignments made)...
421.13	o 595
421.13	c NEW SOLUTION FOUND: 595 @ 420.98
421.14	c Sol. found (all assignments made)...
421.14	o 583
421.14	c NEW SOLUTION FOUND: 583 @ 420.99
421.17	c Sol. found (all assignments made)...
421.17	o 581
421.17	c NEW SOLUTION FOUND: 581 @ 421.02
421.23	c Sol. found (all assignments made)...
421.23	o 575
421.23	c NEW SOLUTION FOUND: 575 @ 421.08
421.25	c Sol. found (all assignments made)...
421.25	o 573
421.25	c NEW SOLUTION FOUND: 573 @ 421.1
421.53	c Sol. found (all assignments made)...
421.53	o 567
421.53	c NEW SOLUTION FOUND: 567 @ 421.38
421.55	c Sol. found (all assignments made)...
421.55	o 565
421.55	c NEW SOLUTION FOUND: 565 @ 421.4
421.58	c Sol. found (all assignments made)...
421.58	o 563
421.58	c NEW SOLUTION FOUND: 563 @ 421.43
422.50	c Sol. found (all assignments made)...
422.50	o 549
422.50	c NEW SOLUTION FOUND: 549 @ 422.35
422.60	c Sol. found (all assignments made)...
422.60	o 545
422.60	c NEW SOLUTION FOUND: 545 @ 422.45
422.63	c Sol. found (all assignments made)...
422.63	o 543
422.63	c NEW SOLUTION FOUND: 543 @ 422.47
422.66	c Sol. found (all assignments made)...
422.66	o 541
422.66	c NEW SOLUTION FOUND: 541 @ 422.5
422.70	c Sol. found (all assignments made)...
422.70	o 535
422.70	c NEW SOLUTION FOUND: 535 @ 422.55
424.25	c Sol. found (all assignments made)...
424.25	o 529
424.25	c NEW SOLUTION FOUND: 529 @ 424.1
424.28	c Sol. found (all assignments made)...
424.28	o 527
424.28	c NEW SOLUTION FOUND: 527 @ 424.13
424.32	c Sol. found (all assignments made)...
424.32	o 517
424.32	c NEW SOLUTION FOUND: 517 @ 424.17
424.52	c Sol. found (all assignments made)...
424.52	o 511
424.52	c NEW SOLUTION FOUND: 511 @ 424.37
424.56	c Sol. found (all assignments made)...
424.56	o 509
424.56	c NEW SOLUTION FOUND: 509 @ 424.41
424.62	c Sol. found (all assignments made)...
424.62	o 507
424.62	c NEW SOLUTION FOUND: 507 @ 424.47
424.95	c Sol. found (all assignments made)...
424.95	o 505
424.95	c NEW SOLUTION FOUND: 505 @ 424.8
425.01	c Sol. found (all assignments made)...
425.01	o 503
425.01	c NEW SOLUTION FOUND: 503 @ 424.86
452.33	c Restart #34 #Var: 198 LB: 0 @ 452.17
479.57	c Restart #35 #Var: 198 LB: 0 @ 479.4
508.30	c Restart #36 #Var: 198 LB: 0 @ 508.12
538.96	c Restart #37 #Var: 198 LB: 0 @ 538.77
550.34	c Sol. found (all assignments made)...
550.34	o 499
550.34	c NEW SOLUTION FOUND: 499 @ 550.15
550.34	c Sol. found (all assignments made)...
564.01	c Restart #38 #Var: 198 LB: 0 @ 563.81
587.70	c Restart #39 #Var: 198 LB: 0 @ 587.5
608.72	c Restart #40 #Var: 198 LB: 0 @ 608.51
624.05	c Sol. found (all assignments made)...
624.05	o 498
624.05	c NEW SOLUTION FOUND: 498 @ 623.84
662.37	c Sol. found (all assignments made)...
662.37	o 496
662.37	c NEW SOLUTION FOUND: 496 @ 662.14
662.78	c Sol. found (all assignments made)...
662.78	o 492
662.78	c NEW SOLUTION FOUND: 492 @ 662.55
671.06	c Sol. found (all assignments made)...
671.06	o 488
671.06	c NEW SOLUTION FOUND: 488 @ 670.83
674.45	c Sol. found (all assignments made)...
674.45	o 476
674.45	c NEW SOLUTION FOUND: 476 @ 674.22
674.69	c Sol. found (all assignments made)...
674.69	o 472
674.69	c NEW SOLUTION FOUND: 472 @ 674.45
675.42	c Sol. found (all assignments made)...
675.42	o 468
675.42	c NEW SOLUTION FOUND: 468 @ 675.19
675.65	c Sol. found (all assignments made)...
675.65	o 464
675.65	c NEW SOLUTION FOUND: 464 @ 675.42
676.42	c Sol. found (all assignments made)...
676.42	o 460
676.42	c NEW SOLUTION FOUND: 460 @ 676.18
677.35	c Sol. found (all assignments made)...
677.35	o 456
677.35	c NEW SOLUTION FOUND: 456 @ 677.12
679.53	c Sol. found (all assignments made)...
679.53	o 452
679.53	c NEW SOLUTION FOUND: 452 @ 679.29
681.83	c Sol. found (all assignments made)...
681.83	o 448
681.83	c NEW SOLUTION FOUND: 448 @ 681.6
708.17	c Sol. found (all assignments made)...
708.17	o 446
708.17	c NEW SOLUTION FOUND: 446 @ 707.93
757.29	c Restart #41 #Var: 198 LB: 0 @ 757.03
782.61	c Restart #42 #Var: 198 LB: 0 @ 782.35
830.58	c Restart #43 #Var: 198 LB: 0 @ 830.3
880.05	c Restart #44 #Var: 198 LB: 0 @ 879.76
925.42	c Restart #45 #Var: 198 LB: 0 @ 925.11
961.63	c Restart #46 #Var: 198 LB: 0 @ 961.31
1020.31	c Restart #47 #Var: 198 LB: 0 @ 1020
1062.03	c Restart #48 #Var: 198 LB: 0 @ 1061.7
1118.02	c Restart #49 #Var: 198 LB: 0 @ 1117.6
1158.42	c Restart #50 #Var: 198 LB: 0 @ 1158
1226.01	c Restart #51 #Var: 198 LB: 0 @ 1225.6
1265.66	c Restart #52 #Var: 198 LB: 0 @ 1265.2
1339.70	c Restart #53 #Var: 198 LB: 0 @ 1339.3
1389.51	c Restart #54 #Var: 198 LB: 0 @ 1389
1439.55	c Restart #55 #Var: 198 LB: 0 @ 1439.1
1484.27	c Restart #56 #Var: 198 LB: 0 @ 1483.8
1547.37	c Sol. found (all assignments made)...
1547.37	o 440
1547.37	c NEW SOLUTION FOUND: 440 @ 1546.9
1548.02	c Sol. found (all assignments made)...
1548.02	o 438
1548.02	c NEW SOLUTION FOUND: 438 @ 1547.5
1640.89	c Restart #57 #Var: 198 LB: 0 @ 1640.4
1737.77	c Restart #58 #Var: 198 LB: 0 @ 1737.2
1751.65	c Sol. found (all assignments made)...
1751.65	o 436
1751.65	c NEW SOLUTION FOUND: 436 @ 1751.1
1751.65	c Sol. found (all assignments made)...
1751.65	o 434
1751.65	c NEW SOLUTION FOUND: 434 @ 1751.1
1751.75	c Sol. found (all assignments made)...
1751.75	o 430
1751.75	c NEW SOLUTION FOUND: 430 @ 1751.2
1779.29	c Sol. found (all assignments made)...
1779.29	c Sol. found (all assignments made)...
1779.29	o 426
1779.29	c NEW SOLUTION FOUND: 426 @ 1778.7
1779.30	c Sol. found (all assignments made)...
1779.30	o 424
1779.30	c NEW SOLUTION FOUND: 424 @ 1778.7
1781.07	c Sol. found (all assignments made)...
1781.07	o 422
1781.07	c NEW SOLUTION FOUND: 422 @ 1780.5
1783.17	c Sol. found (all assignments made)...
1783.17	o 420
1783.17	c NEW SOLUTION FOUND: 420 @ 1782.6
1800.59	s SATISFIABLE
1800.59	c Cost: 420
1800.59	v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 x18 x19 -x20 -x21 x22 x23 -x24 -x25 -x26 -x27 -x28 -x29
1800.59	v -x30 -x31 -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
1800.59	v -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 x82 x83
1800.59	v -x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 x102 -x103 -x104 -x105 -x106 -x107
1800.59	v -x108 -x109 -x110 -x111 -x112 x113 x114 -x115 x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128
1800.59	v -x129 -x130 -x131 x132 -x133 x134 x135 x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 x148 x149 x150
1800.59	v x151 -x152 x153 x154 x155 x156 -x157 -x158 -x159 x160 x161 -x162 -x163 x164 -x165 -x166 -x167 x168 -x169 -x170 x171 -x172 x173
1800.59	v -x174 -x175 x177 -x178 -x179 x180 x181 x182 x183 -x184 x185 x186 -x187 -x188 -x189 -x190 x191 -x192 x193 x194 -x195 -x196 x197
1800.59	v x198 -x176
1800.59	c Exit Code: 10
1800.59	c Total time: 1800 s

Verifier Data (download as text)

OK	420

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

runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node29/watcher-50317-1154102720 -o ROOT/results/node29/solver-50317-1154102720 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node29/50317-1154102720/instance-50317-1154102720.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.97 0.99 2/64 8956
/proc/meminfo: memFree=630608/2055920 swapFree=4169188/4192956
[pid=8956] ppid=8954 vsize=2900 CPUtime=0
/proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 44 0 0 0 0 0 0 0 18 0 1 0 157131930 2969600 27 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4129572 0 0 4096 0 0 0 0 17 1 0 0
/proc/8956/statm: 725 27 19 55 0 38 0

[startup+10.0019 s]
/proc/loadavg: 0.93 0.97 0.99 2/64 8956
/proc/meminfo: memFree=550288/2055920 swapFree=4169188/4192956
[pid=8956] ppid=8954 vsize=84868 CPUtime=9.98
/proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 20470 0 0 0 984 14 0 0 25 0 1 0 157131930 86904832 20383 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134718240 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8956/statm: 21217 20383 297 55 0 20109 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 84868

[startup+20.0073 s]
/proc/loadavg: 0.94 0.97 0.99 2/64 8956
/proc/meminfo: memFree=523664/2055920 swapFree=4169188/4192956
[pid=8956] ppid=8954 vsize=111520 CPUtime=19.98
/proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 27113 0 0 0 1977 21 0 0 25 0 1 0 157131930 114196480 27026 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529265 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8956/statm: 27880 27026 297 55 0 26772 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 111520

[startup+30.0127 s]
/proc/loadavg: 0.95 0.97 0.99 2/64 8956
/proc/meminfo: memFree=504528/2055920 swapFree=4169188/4192956
[pid=8956] ppid=8954 vsize=130664 CPUtime=29.99
/proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 31879 0 0 0 2971 28 0 0 25 0 1 0 157131930 133799936 31792 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8956/statm: 32666 31792 297 55 0 31558 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 130664

[startup+40.0181 s]
/proc/loadavg: 0.96 0.97 0.99 2/64 8956
/proc/meminfo: memFree=487888/2055920 swapFree=4169188/4192956
[pid=8956] ppid=8954 vsize=147364 CPUtime=39.98
/proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 36037 0 0 0 3966 32 0 0 25 0 1 0 157131930 150900736 35946 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8956/statm: 36841 35946 297 55 0 35733 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 147364

[startup+50.0235 s]
/proc/loadavg: 0.96 0.97 0.99 2/64 8956
/proc/meminfo: memFree=474064/2055920 swapFree=4169188/4192956
[pid=8956] ppid=8954 vsize=161112 CPUtime=49.99
/proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 39484 0 0 0 4963 36 0 0 25 0 1 0 157131930 164978688 39393 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4564603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8956/statm: 40278 39393 297 55 0 39170 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 161112

[startup+60.029 s]
/proc/loadavg: 0.97 0.97 0.99 2/64 8956
/proc/meminfo: memFree=463504/2055920 swapFree=4169188/4192956
[pid=8956] ppid=8954 vsize=171680 CPUtime=59.99
/proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 42117 0 0 0 5959 40 0 0 25 0 1 0 157131930 175800320 42026 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8956/statm: 42920 42026 297 55 0 41812 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 171680

[startup+70.0344 s]
/proc/loadavg: 0.97 0.97 0.99 2/64 8956
/proc/meminfo: memFree=451216/2055920 swapFree=4169188/4192956
[pid=8956] ppid=8954 vsize=183864 CPUtime=69.99
/proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 45155 0 3 0 6955 44 0 0 25 0 1 0 157131930 188276736 45063 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8956/statm: 45966 45063 420 55 0 44858 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 183864

[startup+80.0398 s]
/proc/loadavg: 0.98 0.97 0.99 2/64 8956
/proc/meminfo: memFree=442128/2055920 swapFree=4169188/4192956
[pid=8956] ppid=8954 vsize=193008 CPUtime=79.99
/proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 47431 0 3 0 7952 47 0 0 25 0 1 0 157131930 197640192 47339 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8956/statm: 48252 47339 420 55 0 47144 0
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 193008

[startup+90.0452 s]
/proc/loadavg: 0.98 0.97 0.99 2/64 8956
/proc/meminfo: memFree=434256/2055920 swapFree=4169188/4192956
[pid=8956] ppid=8954 vsize=201264 CPUtime=89.99
/proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 49412 0 3 0 8949 50 0 0 25 0 1 0 157131930 206094336 49316 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8956/statm: 50316 49316 420 55 0 49208 0
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 201264

[startup+100.051 s]
/proc/loadavg: 0.98 0.97 0.99 2/64 8956
/proc/meminfo: memFree=425360/2055920 swapFree=4169188/4192956
[pid=8956] ppid=8954 vsize=210148 CPUtime=99.99
/proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 51620 0 3 0 9946 53 0 0 25 0 1 0 157131930 215191552 51523 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8956/statm: 52537 51523 420 55 0 51429 0
Current children cumulated CPU time (s) 99.99
Current children cumulated vsize (Kb) 210148

[startup+110.056 s]
/proc/loadavg: 0.98 0.97 0.99 2/64 8956
/proc/meminfo: memFree=416528/2055920 swapFree=4169188/4192956
[pid=8956] ppid=8954 vsize=219028 CPUtime=110
/proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 53846 0 3 0 10943 57 0 0 25 0 1 0 157131930 224284672 53747 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134719576 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8956/statm: 54757 53747 420 55 0 53649 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 219028

[startup+120.062 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 8956
/proc/meminfo: memFree=407248/2055920 swapFree=4169188/4192956
[pid=8956] ppid=8954 vsize=228276 CPUtime=120
/proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 56155 0 3 0 11941 59 0 0 25 0 1 0 157131930 233754624 56056 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529337 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8956/statm: 57069 56056 420 55 0 55961 0
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 228276

[startup+130.069 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 8956
/proc/meminfo: memFree=401552/2055920 swapFree=4169188/4192956
[pid=8956] ppid=8954 vsize=234052 CPUtime=130
/proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 57578 0 3 0 12939 61 0 0 25 0 1 0 157131930 239669248 57477 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8956/statm: 58513 57477 420 55 0 57405 0
Current children cumulated CPU time (s) 130
Current children cumulated vsize (Kb) 234052

[startup+140.075 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 8956
/proc/meminfo: memFree=393424/2055920 swapFree=4169188/4192956
[pid=8956] ppid=8954 vsize=242108 CPUtime=140.01
/proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 59599 0 3 0 13937 64 0 0 25 0 1 0 157131930 247918592 59498 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8956/statm: 60527 59498 420 55 0 59419 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 242108

[startup+150.082 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 8956
/proc/meminfo: memFree=386192/2055920 swapFree=4169188/4192956
[pid=8956] ppid=8954 vsize=249372 CPUtime=150.01
/proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 61411 0 3 0 14935 66 0 0 25 0 1 0 157131930 255356928 61309 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8956/statm: 62343 61309 420 55 0 61235 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 249372

[startup+160.088 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 8956
/proc/meminfo: memFree=380112/2055920 swapFree=4169188/4192956
[pid=8956] ppid=8954 vsize=255444 CPUtime=160.01
/proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 62928 0 3 0 15932 69 0 0 25 0 1 0 157131930 261574656 62826 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8956/statm: 63861 62826 420 55 0 62753 0
Current children cumulated CPU time (s) 160.01
Current children cumulated vsize (Kb) 255444

[startup+170.094 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 8956
/proc/meminfo: memFree=373008/2055920 swapFree=4169188/4192956
[pid=8956] ppid=8954 vsize=262600 CPUtime=170.01
/proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 64703 0 3 0 16930 71 0 0 25 0 1 0 157131930 268902400 64601 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8956/statm: 65650 64601 420 55 0 64542 0
Current children cumulated CPU time (s) 170.01
Current children cumulated vsize (Kb) 262600

[startup+180.099 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 8956
/proc/meminfo: memFree=363216/2055920 swapFree=4169188/4192956
[pid=8956] ppid=8954 vsize=272388 CPUtime=180.01
/proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 67135 0 3 0 17926 75 0 0 25 0 1 0 157131930 278925312 67033 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8956/statm: 68097 67033 420 55 0 66989 0
Current children cumulated CPU time (s) 180.01
Current children cumulated vsize (Kb) 272388

[startup+190.105 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 8956
/proc/meminfo: memFree=352144/2055920 swapFree=4169188/4192956
[pid=8956] ppid=8954 vsize=283496 CPUtime=190.02
/proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 69906 0 3 0 18924 78 0 0 25 0 1 0 157131930 290299904 69804 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533949 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8956/statm: 70874 69804 420 55 0 69766 0
Current children cumulated CPU time (s) 190.02
Current children cumulated vsize (Kb) 283496

[startup+200.111 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 8956
/proc/meminfo: memFree=347152/2055920 swapFree=4169188/4192956
[pid=8956] ppid=8954 vsize=288380 CPUtime=200.02
/proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 71144 0 3 0 19922 80 0 0 25 0 1 0 157131930 295301120 71041 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134696489 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8956/statm: 72095 71041 420 55 0 70987 0
Current children cumulated CPU time (s) 200.02
Current children cumulated vsize (Kb) 288380

[startup+210.116 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 8956

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

Current children cumulated CPU time (s) 1760.41
Current children cumulated vsize (Kb) 820720

[startup+1771 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 8956
/proc/meminfo: memFree=15760/2055920 swapFree=4170624/4192956
[pid=8956] ppid=8954 vsize=822700 CPUtime=1770.41
/proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 206557 0 3 0 176762 279 0 0 25 0 1 0 157131930 842444800 203705 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8956/statm: 205675 203705 420 55 0 204567 0
Current children cumulated CPU time (s) 1770.41
Current children cumulated vsize (Kb) 822700

[startup+1781 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 8956
/proc/meminfo: memFree=15696/2055920 swapFree=4170624/4192956
[pid=8956] ppid=8954 vsize=824284 CPUtime=1780.41
/proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 206951 0 3 0 177762 279 0 0 25 0 1 0 157131930 844066816 204099 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8956/statm: 206071 204099 420 55 0 204963 0
Current children cumulated CPU time (s) 1780.41
Current children cumulated vsize (Kb) 824284

[startup+1782.01 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 8956
/proc/meminfo: memFree=15632/2055920 swapFree=4170624/4192956
[pid=8956] ppid=8954 vsize=824416 CPUtime=1781.41
/proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 206982 0 3 0 177862 279 0 0 25 0 1 0 157131930 844201984 204130 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8956/statm: 206104 204130 420 55 0 204996 0
Current children cumulated CPU time (s) 1781.41
Current children cumulated vsize (Kb) 824416

[startup+1783.01 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 8956
/proc/meminfo: memFree=15440/2055920 swapFree=4170624/4192956
[pid=8956] ppid=8954 vsize=824548 CPUtime=1782.42
/proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 207026 0 3 0 177963 279 0 0 25 0 1 0 157131930 844337152 204174 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8956/statm: 206137 204174 420 55 0 205029 0
Current children cumulated CPU time (s) 1782.42
Current children cumulated vsize (Kb) 824548

[startup+1784.02 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 8956
/proc/meminfo: memFree=15248/2055920 swapFree=4170624/4192956
[pid=8956] ppid=8954 vsize=824812 CPUtime=1783.43
/proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 207071 0 3 0 178063 280 0 0 25 0 1 0 157131930 844607488 204219 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8956/statm: 206203 204219 420 55 0 205095 0
Current children cumulated CPU time (s) 1783.43
Current children cumulated vsize (Kb) 824812

[startup+1785.03 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 8956
/proc/meminfo: memFree=15056/2055920 swapFree=4170624/4192956
[pid=8956] ppid=8954 vsize=825076 CPUtime=1784.43
/proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 207137 0 3 0 178163 280 0 0 25 0 1 0 157131930 844877824 204285 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529337 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8956/statm: 206269 204285 420 55 0 205161 0
Current children cumulated CPU time (s) 1784.43
Current children cumulated vsize (Kb) 825076

[startup+1786.03 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 8956
/proc/meminfo: memFree=16336/2055920 swapFree=4170624/4192956
[pid=8956] ppid=8954 vsize=825340 CPUtime=1785.44
/proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 207203 0 3 0 178264 280 0 0 25 0 1 0 157131930 845148160 204351 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8956/statm: 206335 204351 420 55 0 205227 0
Current children cumulated CPU time (s) 1785.44
Current children cumulated vsize (Kb) 825340

[startup+1787.04 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 8956
/proc/meminfo: memFree=16016/2055920 swapFree=4170624/4192956
[pid=8956] ppid=8954 vsize=825604 CPUtime=1786.44
/proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 207270 0 3 0 178364 280 0 0 25 0 1 0 157131930 845418496 204418 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8956/statm: 206401 204418 420 55 0 205293 0
Current children cumulated CPU time (s) 1786.44
Current children cumulated vsize (Kb) 825604

[startup+1788.04 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 8956
/proc/meminfo: memFree=15824/2055920 swapFree=4170624/4192956
[pid=8956] ppid=8954 vsize=825736 CPUtime=1787.44
/proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 207319 0 3 0 178464 280 0 0 25 0 1 0 157131930 845553664 204467 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134551614 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8956/statm: 206434 204467 420 55 0 205326 0
Current children cumulated CPU time (s) 1787.44
Current children cumulated vsize (Kb) 825736

[startup+1789.05 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 8956
/proc/meminfo: memFree=15632/2055920 swapFree=4170624/4192956
[pid=8956] ppid=8954 vsize=826000 CPUtime=1788.45
/proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 207374 0 3 0 178565 280 0 0 25 0 1 0 157131930 845824000 204522 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4564603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8956/statm: 206500 204522 420 55 0 205392 0
Current children cumulated CPU time (s) 1788.45
Current children cumulated vsize (Kb) 826000

[startup+1790.05 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 8956
/proc/meminfo: memFree=15440/2055920 swapFree=4170624/4192956
[pid=8956] ppid=8954 vsize=826132 CPUtime=1789.45
/proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 207417 0 3 0 178665 280 0 0 25 0 1 0 157131930 845959168 204565 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8956/statm: 206533 204565 420 55 0 205425 0
Current children cumulated CPU time (s) 1789.45
Current children cumulated vsize (Kb) 826132

[startup+1791.06 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 8956
/proc/meminfo: memFree=15184/2055920 swapFree=4170624/4192956
[pid=8956] ppid=8954 vsize=826396 CPUtime=1790.45
/proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 207489 0 3 0 178765 280 0 0 25 0 1 0 157131930 846229504 204637 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8956/statm: 206599 204637 420 55 0 205491 0
Current children cumulated CPU time (s) 1790.45
Current children cumulated vsize (Kb) 826396

[startup+1792.06 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 8956
/proc/meminfo: memFree=14992/2055920 swapFree=4170624/4192956
[pid=8956] ppid=8954 vsize=826660 CPUtime=1791.47
/proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 207537 0 3 0 178866 281 0 0 25 0 1 0 157131930 846499840 204685 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8956/statm: 206665 204685 420 55 0 205557 0
Current children cumulated CPU time (s) 1791.47
Current children cumulated vsize (Kb) 826660

[startup+1793.07 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 8956
/proc/meminfo: memFree=16208/2055920 swapFree=4170624/4192956
[pid=8956] ppid=8954 vsize=826924 CPUtime=1792.47
/proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 207612 0 3 0 178966 281 0 0 25 0 1 0 157131930 846770176 204760 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8956/statm: 206731 204760 420 55 0 205623 0
Current children cumulated CPU time (s) 1792.47
Current children cumulated vsize (Kb) 826924

[startup+1794.07 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 8956
/proc/meminfo: memFree=16016/2055920 swapFree=4170624/4192956
[pid=8956] ppid=8954 vsize=827188 CPUtime=1793.47
/proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 207669 0 3 0 179066 281 0 0 25 0 1 0 157131930 847040512 204817 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8956/statm: 206797 204817 420 55 0 205689 0
Current children cumulated CPU time (s) 1793.47
Current children cumulated vsize (Kb) 827188

[startup+1795.08 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 8956
/proc/meminfo: memFree=15760/2055920 swapFree=4170624/4192956
[pid=8956] ppid=8954 vsize=827452 CPUtime=1794.48
/proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 207732 0 3 0 179167 281 0 0 25 0 1 0 157131930 847310848 204880 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550825 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8956/statm: 206863 204880 420 55 0 205755 0
Current children cumulated CPU time (s) 1794.48
Current children cumulated vsize (Kb) 827452

[startup+1796.08 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 8956
/proc/meminfo: memFree=15632/2055920 swapFree=4170624/4192956
[pid=8956] ppid=8954 vsize=827584 CPUtime=1795.48
/proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 207764 0 3 0 179267 281 0 0 25 0 1 0 157131930 847446016 204912 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8956/statm: 206896 204912 420 55 0 205788 0
Current children cumulated CPU time (s) 1795.48
Current children cumulated vsize (Kb) 827584

[startup+1797.08 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 8956
/proc/meminfo: memFree=15312/2055920 swapFree=4170624/4192956
[pid=8956] ppid=8954 vsize=827848 CPUtime=1796.48
/proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 207839 0 3 0 179367 281 0 0 25 0 1 0 157131930 847716352 204987 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8956/statm: 206962 204987 420 55 0 205854 0
Current children cumulated CPU time (s) 1796.48
Current children cumulated vsize (Kb) 827848

[startup+1798.09 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 8956
/proc/meminfo: memFree=14992/2055920 swapFree=4170624/4192956
[pid=8956] ppid=8954 vsize=828112 CPUtime=1797.5
/proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 207919 0 3 0 179468 282 0 0 25 0 1 0 157131930 847986688 205067 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8956/statm: 207028 205067 420 55 0 205920 0
Current children cumulated CPU time (s) 1797.5
Current children cumulated vsize (Kb) 828112

[startup+1799.1 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 8956
/proc/meminfo: memFree=16336/2055920 swapFree=4170624/4192956
[pid=8956] ppid=8954 vsize=828376 CPUtime=1798.5
/proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 207985 0 3 0 179568 282 0 0 25 0 1 0 157131930 848257024 205133 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8956/statm: 207094 205133 420 55 0 205986 0
Current children cumulated CPU time (s) 1798.5
Current children cumulated vsize (Kb) 828376

[startup+1800.1 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 8956
/proc/meminfo: memFree=16016/2055920 swapFree=4170624/4192956
[pid=8956] ppid=8954 vsize=828772 CPUtime=1799.5
/proc/8956/stat : 8956 (bsolo) R 8954 8956 8907 0 -1 0 208062 0 3 0 179668 282 0 0 25 0 1 0 157131930 848662528 205210 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8956/statm: 207193 205210 420 55 0 206085 0
Current children cumulated CPU time (s) 1799.5
Current children cumulated vsize (Kb) 828772

Child status: 10
Real time (s): 1800.73
CPU time (s): 1800.13
CPU user time (s): 1797.18
CPU system time (s): 2.95155
CPU usage (%): 99.9669
Max. virtual memory (cumulated for all children) (Kb): 828772
The end

Launcher Data (download as text)

Begin job on node29 on Fri Jul 28 16:05:21 UTC 2006


FILE ID= 50317-1154102720

PBS_JOBID= 886176

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_3.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node29/50317-1154102720/instance-50317-1154102720.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node29/watcher-50317-1154102720 -o ROOT/results/node29/solver-50317-1154102720 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node29/50317-1154102720/instance-50317-1154102720.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  0278ee4f163393ac33163ff791a7f96d

RANDOM SEED= 799034030

TIMEOUT= 1800 seconds


/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.282
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.282
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:        630880 kB
Buffers:         32432 kB
Cached:        1320920 kB
SwapCached:      17460 kB
Active:         269268 kB
Inactive:      1107360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        630880 kB
SwapTotal:     4192956 kB
SwapFree:      4169188 kB
Dirty:             180 kB
Writeback:           0 kB
Mapped:          14492 kB
Slab:            34448 kB
Committed_AS:   660632 kB
PageTables:       1500 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node29 on Fri Jul 28 16:35:21 UTC 2006