Trace number 50309

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/05SAT537 1800.2 1800.89

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_4.opb
MD5SUM87341d3e4752b9f90faef0f8d9385430
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark77
Best CPU time to get the best result obtained on this benchmark1800.52
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 44
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 constraint84
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 1881
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6154
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.03	c Time Limit set via PBTIMEOUT to 1800
0.07	c INFO: OSL Context initialized.
0.07	c Initial problem consists of 198 variables and 16 constraints.
0.07	c No problem reductions applied in OPT. instance.
0.07	c	preprocess terminated. Elapsed time: 0.018
0.07	c After prepocess the problem consists of 198 variables and 16 constraints.
0.07	c Initial Lower Bound: 0
0.09	c Restart #1 #Var: 198 LB: 0 @ 0.031
0.12	c Restart #2 #Var: 198 LB: 0 @ 0.059
0.17	c Restart #3 #Var: 198 LB: 0 @ 0.108
0.23	c Restart #4 #Var: 198 LB: 0 @ 0.171
0.30	c Restart #5 #Var: 198 LB: 0 @ 0.244
0.38	c Restart #6 #Var: 198 LB: 0 @ 0.323
0.45	c Restart #7 #Var: 198 LB: 0 @ 0.392
0.53	c Restart #8 #Var: 198 LB: 0 @ 0.472
0.65	c Restart #9 #Var: 198 LB: 0 @ 0.591
0.83	c Restart #10 #Var: 198 LB: 0 @ 0.769
1.03	c Restart #11 #Var: 198 LB: 0 @ 0.973
1.17	c Restart #12 #Var: 198 LB: 0 @ 1.117
1.31	c Restart #13 #Var: 198 LB: 0 @ 1.249
1.44	c Restart #14 #Var: 198 LB: 0 @ 1.384
1.60	c Restart #15 #Var: 198 LB: 0 @ 1.54
1.72	c Sol. found (all assignments made)...
1.72	o 2179
1.72	c NEW SOLUTION FOUND: 2179 @ 1.666
1.72	c Sol. found (all assignments made)...
1.72	o 1923
1.72	c NEW SOLUTION FOUND: 1923 @ 1.666
1.72	c Sol. found (all assignments made)...
1.72	o 1795
1.72	c NEW SOLUTION FOUND: 1795 @ 1.667
1.72	c Sol. found (all assignments made)...
1.72	o 1667
1.72	c NEW SOLUTION FOUND: 1667 @ 1.667
1.72	c Sol. found (all assignments made)...
1.72	o 1635
1.72	c NEW SOLUTION FOUND: 1635 @ 1.667
1.72	c Sol. found (all assignments made)...
1.72	o 1619
1.72	c NEW SOLUTION FOUND: 1619 @ 1.667
1.73	c Sol. found (all assignments made)...
1.73	o 1611
1.73	c NEW SOLUTION FOUND: 1611 @ 1.674
1.74	c Sol. found (all assignments made)...
1.74	o 1609
1.74	c NEW SOLUTION FOUND: 1609 @ 1.679
1.74	c Sol. found (all assignments made)...
1.74	o 1607
1.74	c NEW SOLUTION FOUND: 1607 @ 1.683
1.74	c Sol. found (all assignments made)...
1.74	o 1605
1.74	c NEW SOLUTION FOUND: 1605 @ 1.687
1.75	c Sol. found (all assignments made)...
1.75	o 1601
1.75	c NEW SOLUTION FOUND: 1601 @ 1.689
1.75	c Sol. found (all assignments made)...
1.75	o 1599
1.75	c NEW SOLUTION FOUND: 1599 @ 1.689
1.75	c Sol. found (all assignments made)...
1.80	c Sol. found (all assignments made)...
1.80	o 1597
1.80	c NEW SOLUTION FOUND: 1597 @ 1.747
1.84	c Sol. found (all assignments made)...
1.84	o 1595
1.84	c NEW SOLUTION FOUND: 1595 @ 1.787
1.85	c Sol. found (all assignments made)...
1.85	o 1593
1.85	c NEW SOLUTION FOUND: 1593 @ 1.793
1.85	c Sol. found (all assignments made)...
1.85	o 1591
1.85	c NEW SOLUTION FOUND: 1591 @ 1.794
1.92	c Sol. found (all assignments made)...
1.92	o 1589
1.92	c NEW SOLUTION FOUND: 1589 @ 1.862
2.03	c Sol. found (all assignments made)...
2.03	o 1527
2.03	c NEW SOLUTION FOUND: 1527 @ 1.972
2.03	c Sol. found (all assignments made)...
2.03	o 1513
2.03	c NEW SOLUTION FOUND: 1513 @ 1.974
2.03	c Sol. found (all assignments made)...
2.03	o 1511
2.03	c NEW SOLUTION FOUND: 1511 @ 1.975
2.03	c Sol. found (all assignments made)...
2.03	o 1505
2.03	c NEW SOLUTION FOUND: 1505 @ 1.975
2.03	c Sol. found (all assignments made)...
2.03	o 1503
2.03	c NEW SOLUTION FOUND: 1503 @ 1.975
2.04	c Sol. found (all assignments made)...
2.04	o 1501
2.04	c NEW SOLUTION FOUND: 1501 @ 1.983
2.04	c Sol. found (all assignments made)...
2.04	o 1499
2.04	c NEW SOLUTION FOUND: 1499 @ 1.983
2.06	c Sol. found (all assignments made)...
2.06	o 1497
2.06	c NEW SOLUTION FOUND: 1497 @ 2.004
2.06	c Sol. found (all assignments made)...
2.06	o 1495
2.06	c NEW SOLUTION FOUND: 1495 @ 2.007
2.07	c Sol. found (all assignments made)...
2.07	o 1491
2.07	c NEW SOLUTION FOUND: 1491 @ 2.013
2.08	c Sol. found (all assignments made)...
2.08	o 1489
2.08	c NEW SOLUTION FOUND: 1489 @ 2.019
2.08	c Sol. found (all assignments made)...
2.08	o 1487
2.08	c NEW SOLUTION FOUND: 1487 @ 2.022
2.08	c Sol. found (all assignments made)...
2.08	o 1485
2.08	c NEW SOLUTION FOUND: 1485 @ 2.027
2.11	c Sol. found (all assignments made)...
2.11	o 1465
2.11	c NEW SOLUTION FOUND: 1465 @ 2.057
2.12	c Sol. found (all assignments made)...
2.12	o 1461
2.12	c NEW SOLUTION FOUND: 1461 @ 2.062
2.13	c Sol. found (all assignments made)...
2.13	o 1459
2.13	c NEW SOLUTION FOUND: 1459 @ 2.071
2.14	c Sol. found (all assignments made)...
2.14	o 1457
2.14	c NEW SOLUTION FOUND: 1457 @ 2.08
2.14	c Sol. found (all assignments made)...
2.14	o 1455
2.14	c NEW SOLUTION FOUND: 1455 @ 2.081
2.15	c Sol. found (all assignments made)...
2.15	o 1453
2.15	c NEW SOLUTION FOUND: 1453 @ 2.089
2.18	c Sol. found (all assignments made)...
2.18	o 1449
2.18	c NEW SOLUTION FOUND: 1449 @ 2.124
2.18	c Sol. found (all assignments made)...
2.18	o 1447
2.18	c NEW SOLUTION FOUND: 1447 @ 2.128
2.50	c Sol. found (all assignments made)...
2.50	o 1445
2.50	c NEW SOLUTION FOUND: 1445 @ 2.443
2.50	c Sol. found (all assignments made)...
2.50	o 1443
2.50	c NEW SOLUTION FOUND: 1443 @ 2.446
2.51	c Sol. found (all assignments made)...
2.51	o 1441
2.51	c NEW SOLUTION FOUND: 1441 @ 2.448
3.07	c Restart #16 #Var: 198 LB: 0 @ 3.014
3.11	c Sol. found (all assignments made)...
3.11	o 1431
3.11	c NEW SOLUTION FOUND: 1431 @ 3.057
3.12	c Sol. found (all assignments made)...
3.12	o 1427
3.12	c NEW SOLUTION FOUND: 1427 @ 3.058
3.12	c Sol. found (all assignments made)...
3.12	o 1419
3.12	c NEW SOLUTION FOUND: 1419 @ 3.061
3.12	c Sol. found (all assignments made)...
3.12	o 1411
3.12	c NEW SOLUTION FOUND: 1411 @ 3.062
3.21	c Sol. found (all assignments made)...
3.21	o 1399
3.21	c NEW SOLUTION FOUND: 1399 @ 3.153
3.21	c Sol. found (all assignments made)...
3.21	o 1395
3.21	c NEW SOLUTION FOUND: 1395 @ 3.153
3.21	c Sol. found (all assignments made)...
3.21	o 1391
3.21	c NEW SOLUTION FOUND: 1391 @ 3.157
3.22	c Sol. found (all assignments made)...
3.22	o 1383
3.22	c NEW SOLUTION FOUND: 1383 @ 3.158
3.22	c Sol. found (all assignments made)...
3.22	o 1379
3.22	c NEW SOLUTION FOUND: 1379 @ 3.159
3.22	c Sol. found (all assignments made)...
3.22	o 1375
3.22	c NEW SOLUTION FOUND: 1375 @ 3.161
3.23	c Sol. found (all assignments made)...
3.23	o 1347
3.23	c NEW SOLUTION FOUND: 1347 @ 3.17
3.23	c Sol. found (all assignments made)...
3.23	o 1343
3.23	c NEW SOLUTION FOUND: 1343 @ 3.172
3.24	c Sol. found (all assignments made)...
3.24	o 1319
3.24	c NEW SOLUTION FOUND: 1319 @ 3.178
3.24	c Sol. found (all assignments made)...
3.24	o 1315
3.24	c NEW SOLUTION FOUND: 1315 @ 3.178
3.24	c Sol. found (all assignments made)...
3.24	o 1287
3.24	c NEW SOLUTION FOUND: 1287 @ 3.181
3.24	c Sol. found (all assignments made)...
3.24	o 1283
3.24	c NEW SOLUTION FOUND: 1283 @ 3.181
3.24	c Sol. found (all assignments made)...
3.24	o 1279
3.24	c NEW SOLUTION FOUND: 1279 @ 3.184
3.26	c Sol. found (all assignments made)...
3.26	o 1277
3.26	c NEW SOLUTION FOUND: 1277 @ 3.198
3.26	c Sol. found (all assignments made)...
3.26	o 1273
3.26	c NEW SOLUTION FOUND: 1273 @ 3.2
3.38	c Sol. found (all assignments made)...
3.38	o 1269
3.38	c NEW SOLUTION FOUND: 1269 @ 3.324
3.86	c Sol. found (all assignments made)...
3.86	o 1267
3.86	c NEW SOLUTION FOUND: 1267 @ 3.801
4.38	c Restart #17 #Var: 198 LB: 0 @ 4.323
4.56	c Sol. found (all assignments made)...
4.56	o 1245
4.56	c NEW SOLUTION FOUND: 1245 @ 4.503
4.57	c Sol. found (all assignments made)...
4.57	o 1243
4.57	c NEW SOLUTION FOUND: 1243 @ 4.508
4.57	c Sol. found (all assignments made)...
4.57	o 1237
4.57	c NEW SOLUTION FOUND: 1237 @ 4.516
4.58	c Sol. found (all assignments made)...
4.58	o 1235
4.58	c NEW SOLUTION FOUND: 1235 @ 4.521
4.72	c Sol. found (all assignments made)...
4.72	o 1233
4.72	c NEW SOLUTION FOUND: 1233 @ 4.664
4.73	c Sol. found (all assignments made)...
4.73	o 1229
4.73	c NEW SOLUTION FOUND: 1229 @ 4.675
4.80	c Sol. found (all assignments made)...
4.80	o 1227
4.80	c NEW SOLUTION FOUND: 1227 @ 4.738
4.94	c Sol. found (all assignments made)...
4.94	o 1225
4.94	c NEW SOLUTION FOUND: 1225 @ 4.882
4.95	c Sol. found (all assignments made)...
4.95	o 1223
4.95	c NEW SOLUTION FOUND: 1223 @ 4.896
4.96	c Sol. found (all assignments made)...
4.96	o 1221
4.96	c NEW SOLUTION FOUND: 1221 @ 4.898
5.00	c Sol. found (all assignments made)...
5.00	o 1219
5.00	c NEW SOLUTION FOUND: 1219 @ 4.939
5.81	c Restart #18 #Var: 198 LB: 0 @ 5.747
7.03	c Sol. found (all assignments made)...
7.03	o 1217
7.03	c NEW SOLUTION FOUND: 1217 @ 6.974
7.59	c Sol. found (all assignments made)...
7.59	o 1215
7.59	c NEW SOLUTION FOUND: 1215 @ 7.534
7.76	c Sol. found (all assignments made)...
7.76	o 1211
7.76	c NEW SOLUTION FOUND: 1211 @ 7.699
9.92	c Restart #19 #Var: 198 LB: 0 @ 9.86
10.54	c Restart #20 #Var: 198 LB: 0 @ 10.48
12.96	c Restart #21 #Var: 198 LB: 0 @ 12.898
13.13	c Sol. found (all assignments made)...
13.13	o 1203
13.13	c NEW SOLUTION FOUND: 1203 @ 13.066
13.13	c Sol. found (all assignments made)...
13.13	o 1201
13.13	c NEW SOLUTION FOUND: 1201 @ 13.069
13.14	c Sol. found (all assignments made)...
13.14	o 1179
13.14	c NEW SOLUTION FOUND: 1179 @ 13.076
13.14	c Sol. found (all assignments made)...
13.14	o 1175
13.14	c NEW SOLUTION FOUND: 1175 @ 13.079
13.15	c Sol. found (all assignments made)...
13.15	o 1173
13.15	c NEW SOLUTION FOUND: 1173 @ 13.085
13.15	c Sol. found (all assignments made)...
13.15	o 1169
13.15	c NEW SOLUTION FOUND: 1169 @ 13.087
13.16	c Sol. found (all assignments made)...
13.16	o 1165
13.16	c NEW SOLUTION FOUND: 1165 @ 13.097
13.24	c Sol. found (all assignments made)...
13.24	o 1163
13.24	c NEW SOLUTION FOUND: 1163 @ 13.174
13.24	c Sol. found (all assignments made)...
13.24	o 1161
13.24	c NEW SOLUTION FOUND: 1161 @ 13.179
13.25	c Sol. found (all assignments made)...
13.25	o 1157
13.25	c NEW SOLUTION FOUND: 1157 @ 13.181
13.37	c Sol. found (all assignments made)...
13.37	o 1155
13.37	c NEW SOLUTION FOUND: 1155 @ 13.306
13.37	c Sol. found (all assignments made)...
13.37	o 1153
13.37	c NEW SOLUTION FOUND: 1153 @ 13.311
13.65	c Sol. found (all assignments made)...
13.65	o 1151
13.65	c NEW SOLUTION FOUND: 1151 @ 13.588
14.32	c Sol. found (all assignments made)...
14.32	o 1122
14.32	c NEW SOLUTION FOUND: 1122 @ 14.25
14.32	c Sol. found (all assignments made)...
14.32	o 1106
14.32	c NEW SOLUTION FOUND: 1106 @ 14.253
14.33	c Sol. found (all assignments made)...
14.33	o 1102
14.33	c NEW SOLUTION FOUND: 1102 @ 14.26
14.34	c Sol. found (all assignments made)...
14.34	o 1086
14.34	c NEW SOLUTION FOUND: 1086 @ 14.277
14.34	c Sol. found (all assignments made)...
14.34	o 1070
14.34	c NEW SOLUTION FOUND: 1070 @ 14.278
14.46	c Sol. found (all assignments made)...
14.46	o 1068
14.46	c NEW SOLUTION FOUND: 1068 @ 14.39
14.51	c Sol. found (all assignments made)...
14.51	o 1066
14.51	c NEW SOLUTION FOUND: 1066 @ 14.447
14.53	c Sol. found (all assignments made)...
14.53	o 1062
14.53	c NEW SOLUTION FOUND: 1062 @ 14.47
14.69	c Sol. found (all assignments made)...
14.69	o 1060
14.69	c NEW SOLUTION FOUND: 1060 @ 14.626
15.99	c Restart #22 #Var: 198 LB: 0 @ 15.922
19.71	c Restart #23 #Var: 198 LB: 0 @ 19.648
21.05	c Restart #24 #Var: 198 LB: 0 @ 20.986
24.54	c Restart #25 #Var: 198 LB: 0 @ 24.468
25.94	c Sol. found (all assignments made)...
25.94	o 1058
25.94	c NEW SOLUTION FOUND: 1058 @ 25.876
25.99	c Sol. found (all assignments made)...
25.99	o 1056
25.99	c NEW SOLUTION FOUND: 1056 @ 25.919
26.23	c Sol. found (all assignments made)...
26.23	o 1052
26.23	c NEW SOLUTION FOUND: 1052 @ 26.163
26.26	c Sol. found (all assignments made)...
26.26	o 1048
26.26	c NEW SOLUTION FOUND: 1048 @ 26.191
26.34	c Sol. found (all assignments made)...
26.34	o 1046
26.34	c NEW SOLUTION FOUND: 1046 @ 26.27
26.40	c Sol. found (all assignments made)...
26.40	o 1044
26.40	c NEW SOLUTION FOUND: 1044 @ 26.33
30.27	c Restart #26 #Var: 198 LB: 0 @ 30.198
34.31	c Restart #27 #Var: 198 LB: 0 @ 34.235
36.71	c Restart #28 #Var: 198 LB: 0 @ 36.634
42.07	c Restart #29 #Var: 198 LB: 0 @ 41.996
47.51	c CHANGE to MIS mode... 	UB: 1044	MIS: 0	LPR: 0 (0.018)	Diff: nan
47.51	c Restart #0 #Var: 198 LB: 0 @ 47.429
47.80	c Restart #1 #Var: 198 LB: 0 @ 47.723
48.22	c Restart #2 #Var: 198 LB: 0 @ 48.142
49.08	c Restart #3 #Var: 198 LB: 0 @ 48.998
50.71	c Restart #4 #Var: 198 LB: 0 @ 50.63
52.66	c Restart #5 #Var: 198 LB: 0 @ 52.582
53.74	c Restart #6 #Var: 198 LB: 0 @ 53.659
56.29	c Restart #7 #Var: 198 LB: 0 @ 56.207
57.86	c Restart #8 #Var: 198 LB: 0 @ 57.774
61.41	c Restart #9 #Var: 198 LB: 0 @ 61.322
64.69	c Restart #10 #Var: 198 LB: 0 @ 64.6
66.77	c Restart #11 #Var: 198 LB: 0 @ 66.686
68.75	c Restart #12 #Var: 198 LB: 0 @ 68.659
71.83	c Restart #13 #Var: 198 LB: 0 @ 71.738
74.52	c Restart #14 #Var: 198 LB: 0 @ 74.429
76.75	c Restart #15 #Var: 198 LB: 0 @ 76.662
78.74	c Restart #16 #Var: 198 LB: 0 @ 78.649
83.82	c Restart #17 #Var: 198 LB: 0 @ 83.729
87.65	c Restart #18 #Var: 198 LB: 0 @ 87.555
89.85	c Sol. found (all assignments made)...
89.86	c Sol. found (all assignments made)...
89.86	o 1032
89.86	c NEW SOLUTION FOUND: 1032 @ 89.766
92.91	c Sol. found (all assignments made)...
92.91	o 1028
92.91	c NEW SOLUTION FOUND: 1028 @ 92.809
92.96	c Sol. found (all assignments made)...
92.96	o 1026
92.96	c NEW SOLUTION FOUND: 1026 @ 92.869
93.37	c Sol. found (all assignments made)...
93.37	o 1024
93.37	c NEW SOLUTION FOUND: 1024 @ 93.272
97.79	c Sol. found (all assignments made)...
97.79	o 1022
97.79	c NEW SOLUTION FOUND: 1022 @ 97.692
99.04	c Sol. found (all assignments made)...
99.06	c Sol. found (all assignments made)...
99.06	o 1020
99.06	c NEW SOLUTION FOUND: 1020 @ 98.959
104.02	c Restart #19 #Var: 198 LB: 0 @ 103.92
108.07	c Restart #20 #Var: 198 LB: 0 @ 107.97
113.48	c Restart #21 #Var: 198 LB: 0 @ 113.38
118.61	c Restart #22 #Var: 198 LB: 0 @ 118.51
130.73	c Restart #23 #Var: 198 LB: 0 @ 130.62
132.75	c Sol. found (all assignments made)...
132.75	o 1019
132.75	c NEW SOLUTION FOUND: 1019 @ 132.64
138.59	c Sol. found (all assignments made)...
138.59	o 1017
138.59	c NEW SOLUTION FOUND: 1017 @ 138.48
139.61	c Sol. found (all assignments made)...
139.61	o 1015
139.61	c NEW SOLUTION FOUND: 1015 @ 139.5
139.74	c Sol. found (all assignments made)...
139.74	o 1013
139.74	c NEW SOLUTION FOUND: 1013 @ 139.63
139.80	c Sol. found (all assignments made)...
139.80	o 1011
139.80	c NEW SOLUTION FOUND: 1011 @ 139.69
147.17	c Restart #24 #Var: 198 LB: 0 @ 147.06
154.89	c Restart #25 #Var: 198 LB: 0 @ 154.78
162.91	c Restart #26 #Var: 198 LB: 0 @ 162.79
176.35	c Restart #27 #Var: 198 LB: 0 @ 176.23
183.95	c Sol. found (all assignments made)...
183.96	c Sol. found (all assignments made)...
183.96	o 1009
183.96	c NEW SOLUTION FOUND: 1009 @ 183.83
186.43	c Sol. found (all assignments made)...
186.43	o 1007
186.43	c NEW SOLUTION FOUND: 1007 @ 186.31
186.52	c Sol. found (all assignments made)...
186.52	o 1005
186.52	c NEW SOLUTION FOUND: 1005 @ 186.4
186.74	c Sol. found (all assignments made)...
186.74	o 1003
186.74	c NEW SOLUTION FOUND: 1003 @ 186.61
187.31	c Sol. found (all assignments made)...
187.31	o 1001
187.31	c NEW SOLUTION FOUND: 1001 @ 187.18
188.19	c Sol. found (all assignments made)...
188.19	o 997
188.19	c NEW SOLUTION FOUND: 997 @ 188.06
188.32	c Sol. found (all assignments made)...
188.32	o 995
188.32	c NEW SOLUTION FOUND: 995 @ 188.19
202.19	c Restart #28 #Var: 198 LB: 0 @ 202.05
211.41	c Restart #29 #Var: 198 LB: 0 @ 211.28
228.79	c Restart #30 #Var: 198 LB: 0 @ 228.65
248.85	c Restart #31 #Var: 198 LB: 0 @ 248.7
268.44	c Restart #32 #Var: 198 LB: 0 @ 268.29
279.29	c Restart #33 #Var: 198 LB: 0 @ 279.12
293.94	c Restart #34 #Var: 198 LB: 0 @ 293.77
306.50	c Sol. found (all assignments made)...
306.50	o 993
306.50	c NEW SOLUTION FOUND: 993 @ 306.33
306.80	c Sol. found (all assignments made)...
306.80	o 991
306.80	c NEW SOLUTION FOUND: 991 @ 306.63
317.22	c Restart #35 #Var: 198 LB: 0 @ 317.05
331.98	c Restart #36 #Var: 198 LB: 0 @ 331.8
335.12	c Sol. found (all assignments made)...
335.12	o 974
335.12	c NEW SOLUTION FOUND: 974 @ 334.94
335.17	c Sol. found (all assignments made)...
335.17	o 966
335.17	c NEW SOLUTION FOUND: 966 @ 334.99
335.19	c Sol. found (all assignments made)...
335.19	o 950
335.19	c NEW SOLUTION FOUND: 950 @ 335.01
335.22	c Sol. found (all assignments made)...
335.22	o 946
335.22	c NEW SOLUTION FOUND: 946 @ 335.04
335.25	c Sol. found (all assignments made)...
335.25	o 942
335.25	c NEW SOLUTION FOUND: 942 @ 335.07
335.31	c Sol. found (all assignments made)...
335.31	o 900
335.31	c NEW SOLUTION FOUND: 900 @ 335.13
335.35	c Sol. found (all assignments made)...
335.35	o 896
335.35	c NEW SOLUTION FOUND: 896 @ 335.17
335.57	c Sol. found (all assignments made)...
335.57	o 888
335.57	c NEW SOLUTION FOUND: 888 @ 335.38
335.79	c Sol. found (all assignments made)...
335.79	o 884
335.79	c NEW SOLUTION FOUND: 884 @ 335.61
336.58	c Sol. found (all assignments made)...
336.58	o 882
336.58	c NEW SOLUTION FOUND: 882 @ 336.4
336.79	c Sol. found (all assignments made)...
336.79	o 880
336.79	c NEW SOLUTION FOUND: 880 @ 336.61
336.89	c Sol. found (all assignments made)...
336.89	o 878
336.89	c NEW SOLUTION FOUND: 878 @ 336.71
337.03	c Sol. found (all assignments made)...
337.03	o 876
337.03	c NEW SOLUTION FOUND: 876 @ 336.85
337.25	c Sol. found (all assignments made)...
337.25	o 870
337.25	c NEW SOLUTION FOUND: 870 @ 337.07
337.46	c Sol. found (all assignments made)...
337.46	o 868
337.46	c NEW SOLUTION FOUND: 868 @ 337.28
337.86	c Sol. found (all assignments made)...
337.86	o 866
337.86	c NEW SOLUTION FOUND: 866 @ 337.68
337.89	c Sol. found (all assignments made)...
337.89	o 864
337.89	c NEW SOLUTION FOUND: 864 @ 337.7
338.24	c Sol. found (all assignments made)...
338.24	o 862
338.24	c NEW SOLUTION FOUND: 862 @ 338.06
338.36	c Sol. found (all assignments made)...
338.36	o 860
338.36	c NEW SOLUTION FOUND: 860 @ 338.18
338.53	c Sol. found (all assignments made)...
338.53	o 856
338.53	c NEW SOLUTION FOUND: 856 @ 338.35
338.70	c Sol. found (all assignments made)...
338.70	o 852
338.70	c NEW SOLUTION FOUND: 852 @ 338.52
340.30	c Sol. found (all assignments made)...
340.30	o 850
340.30	c NEW SOLUTION FOUND: 850 @ 340.12
340.83	c Sol. found (all assignments made)...
340.83	o 846
340.83	c NEW SOLUTION FOUND: 846 @ 340.64
343.08	c Sol. found (all assignments made)...
343.08	o 844
343.08	c NEW SOLUTION FOUND: 844 @ 342.9
343.95	c Sol. found (all assignments made)...
343.95	o 840
343.95	c NEW SOLUTION FOUND: 840 @ 343.77
366.88	c Restart #37 #Var: 198 LB: 0 @ 366.68
401.67	c Restart #38 #Var: 198 LB: 0 @ 401.47
426.89	c Restart #39 #Var: 198 LB: 0 @ 426.67
460.39	c Sol. found (all assignments made)...
460.39	o 839
460.39	c NEW SOLUTION FOUND: 839 @ 460.17
460.47	c Sol. found (all assignments made)...
460.47	o 837
460.47	c NEW SOLUTION FOUND: 837 @ 460.25
461.06	c Sol. found (all assignments made)...
461.06	o 835
461.06	c NEW SOLUTION FOUND: 835 @ 460.84
461.32	c Sol. found (all assignments made)...
461.32	o 833
461.32	c NEW SOLUTION FOUND: 833 @ 461.1
461.39	c Sol. found (all assignments made)...
461.39	o 831
461.39	c NEW SOLUTION FOUND: 831 @ 461.16
493.31	c Restart #40 #Var: 198 LB: 0 @ 493.07
532.67	c Restart #41 #Var: 198 LB: 0 @ 532.42
578.61	c Restart #42 #Var: 198 LB: 0 @ 578.34
616.50	c Restart #43 #Var: 198 LB: 0 @ 616.22
660.97	c Restart #44 #Var: 198 LB: 0 @ 660.68
747.72	c Restart #45 #Var: 198 LB: 0 @ 747.4
788.91	c Restart #46 #Var: 198 LB: 0 @ 788.57
821.93	c Restart #47 #Var: 198 LB: 0 @ 821.58
844.41	c Restart #48 #Var: 198 LB: 0 @ 844.05
950.66	c Restart #49 #Var: 198 LB: 0 @ 950.26
1008.84	c Restart #50 #Var: 198 LB: 0 @ 1008.4
1049.51	c Sol. found (all assignments made)...
1051.22	c Sol. found (all assignments made)...
1051.22	o 829
1051.22	c NEW SOLUTION FOUND: 829 @ 1050.8
1064.82	c Sol. found (all assignments made)...
1064.82	o 827
1064.82	c NEW SOLUTION FOUND: 827 @ 1064.4
1067.10	c Sol. found (all assignments made)...
1067.14	c Sol. found (all assignments made)...
1067.14	o 825
1067.14	c NEW SOLUTION FOUND: 825 @ 1066.7
1074.07	c Sol. found (all assignments made)...
1074.07	o 823
1074.07	c NEW SOLUTION FOUND: 823 @ 1073.6
1075.68	c Sol. found (all assignments made)...
1075.68	o 821
1075.68	c NEW SOLUTION FOUND: 821 @ 1075.2
1093.05	c Sol. found (all assignments made)...
1093.05	o 819
1093.05	c NEW SOLUTION FOUND: 819 @ 1092.6
1095.49	c Sol. found (all assignments made)...
1095.49	o 817
1095.49	c NEW SOLUTION FOUND: 817 @ 1095
1099.71	c Sol. found (all assignments made)...
1099.71	o 815
1099.71	c NEW SOLUTION FOUND: 815 @ 1099.3
1103.24	c Sol. found (all assignments made)...
1103.24	o 813
1103.24	c NEW SOLUTION FOUND: 813 @ 1102.8
1110.82	c Sol. found (all assignments made)...
1110.82	o 811
1110.82	c NEW SOLUTION FOUND: 811 @ 1110.4
1110.88	c Sol. found (all assignments made)...
1110.88	o 809
1110.88	c NEW SOLUTION FOUND: 809 @ 1110.4
1131.41	c Restart #51 #Var: 198 LB: 0 @ 1131
1171.00	c Sol. found (all assignments made)...
1171.00	o 807
1171.00	c NEW SOLUTION FOUND: 807 @ 1170.5
1184.53	c Sol. found (all assignments made)...
1184.53	o 805
1184.53	c NEW SOLUTION FOUND: 805 @ 1184.1
1185.93	c Sol. found (all assignments made)...
1185.93	o 797
1185.93	c NEW SOLUTION FOUND: 797 @ 1185.5
1222.82	c Sol. found (all assignments made)...
1222.82	o 796
1222.82	c NEW SOLUTION FOUND: 796 @ 1222.3
1238.04	c Sol. found (all assignments made)...
1238.04	o 794
1238.04	c NEW SOLUTION FOUND: 794 @ 1237.5
1238.16	c Sol. found (all assignments made)...
1238.16	o 792
1238.16	c NEW SOLUTION FOUND: 792 @ 1237.7
1238.18	c Sol. found (all assignments made)...
1238.18	o 788
1238.18	c NEW SOLUTION FOUND: 788 @ 1237.7
1242.23	c Sol. found (all assignments made)...
1242.23	o 780
1242.23	c NEW SOLUTION FOUND: 780 @ 1241.7
1245.67	c Sol. found (all assignments made)...
1245.67	o 778
1245.67	c NEW SOLUTION FOUND: 778 @ 1245.2
1257.38	c Sol. found (all assignments made)...
1257.38	o 770
1257.38	c NEW SOLUTION FOUND: 770 @ 1256.9
1257.49	c Sol. found (all assignments made)...
1257.49	o 766
1257.49	c NEW SOLUTION FOUND: 766 @ 1257
1257.79	c Sol. found (all assignments made)...
1257.79	o 764
1257.79	c NEW SOLUTION FOUND: 764 @ 1257.3
1258.16	c Sol. found (all assignments made)...
1258.16	o 762
1258.16	c NEW SOLUTION FOUND: 762 @ 1257.7
1278.30	c Sol. found (all assignments made)...
1278.30	o 761
1278.30	c NEW SOLUTION FOUND: 761 @ 1277.8
1281.13	c Sol. found (all assignments made)...
1281.13	o 759
1281.13	c NEW SOLUTION FOUND: 759 @ 1280.6
1282.71	c Sol. found (all assignments made)...
1282.71	o 757
1282.71	c NEW SOLUTION FOUND: 757 @ 1282.2
1282.74	c Sol. found (all assignments made)...
1282.74	o 755
1282.74	c NEW SOLUTION FOUND: 755 @ 1282.2
1282.84	c Sol. found (all assignments made)...
1282.84	o 749
1282.84	c NEW SOLUTION FOUND: 749 @ 1282.3
1283.25	c Sol. found (all assignments made)...
1283.25	o 747
1283.25	c NEW SOLUTION FOUND: 747 @ 1282.7
1283.31	c Sol. found (all assignments made)...
1283.31	o 745
1283.31	c NEW SOLUTION FOUND: 745 @ 1282.8
1283.48	c Sol. found (all assignments made)...
1283.48	o 743
1283.48	c NEW SOLUTION FOUND: 743 @ 1283
1283.90	c Sol. found (all assignments made)...
1283.90	o 741
1283.90	c NEW SOLUTION FOUND: 741 @ 1283.4
1284.03	c Sol. found (all assignments made)...
1284.03	o 735
1284.03	c NEW SOLUTION FOUND: 735 @ 1283.5
1284.41	c Sol. found (all assignments made)...
1284.41	o 733
1284.41	c NEW SOLUTION FOUND: 733 @ 1283.9
1286.45	c Sol. found (all assignments made)...
1286.45	o 731
1286.45	c NEW SOLUTION FOUND: 731 @ 1285.9
1287.70	c Sol. found (all assignments made)...
1287.70	o 729
1287.70	c NEW SOLUTION FOUND: 729 @ 1287.2
1323.87	c Restart #52 #Var: 198 LB: 0 @ 1323.3
1426.50	c Restart #53 #Var: 198 LB: 0 @ 1425.9
1443.34	c Sol. found (all assignments made)...
1443.34	c Sol. found (all assignments made)...
1443.34	o 716
1443.34	c NEW SOLUTION FOUND: 716 @ 1442.8
1443.55	c Sol. found (all assignments made)...
1443.55	o 712
1443.55	c NEW SOLUTION FOUND: 712 @ 1443
1443.70	c Sol. found (all assignments made)...
1443.70	o 710
1443.70	c NEW SOLUTION FOUND: 710 @ 1443.1
1443.72	c Sol. found (all assignments made)...
1443.72	o 708
1443.72	c NEW SOLUTION FOUND: 708 @ 1443.2
1478.84	c Sol. found (all assignments made)...
1478.84	o 690
1478.84	c NEW SOLUTION FOUND: 690 @ 1478.3
1479.22	c Sol. found (all assignments made)...
1479.22	o 676
1479.22	c NEW SOLUTION FOUND: 676 @ 1478.6
1479.63	c Sol. found (all assignments made)...
1479.63	o 674
1479.63	c NEW SOLUTION FOUND: 674 @ 1479.1
1479.87	c Sol. found (all assignments made)...
1479.87	o 672
1479.87	c NEW SOLUTION FOUND: 672 @ 1479.3
1480.12	c Sol. found (all assignments made)...
1480.12	o 670
1480.12	c NEW SOLUTION FOUND: 670 @ 1479.5
1480.27	c Sol. found (all assignments made)...
1480.27	o 666
1480.27	c NEW SOLUTION FOUND: 666 @ 1479.7
1480.36	c Sol. found (all assignments made)...
1480.36	o 656
1480.36	c NEW SOLUTION FOUND: 656 @ 1479.8
1480.44	c Sol. found (all assignments made)...
1480.44	o 652
1480.44	c NEW SOLUTION FOUND: 652 @ 1479.9
1481.91	c Sol. found (all assignments made)...
1481.91	o 650
1481.91	c NEW SOLUTION FOUND: 650 @ 1481.3
1483.57	c Sol. found (all assignments made)...
1483.57	o 648
1483.57	c NEW SOLUTION FOUND: 648 @ 1483
1483.84	c Sol. found (all assignments made)...
1483.84	o 644
1483.84	c NEW SOLUTION FOUND: 644 @ 1483.3
1484.04	c Sol. found (all assignments made)...
1484.04	o 642
1484.04	c NEW SOLUTION FOUND: 642 @ 1483.5
1492.70	c Sol. found (all assignments made)...
1492.70	o 640
1492.70	c NEW SOLUTION FOUND: 640 @ 1492.1
1534.93	c Sol. found (all assignments made)...
1534.93	o 636
1534.93	c NEW SOLUTION FOUND: 636 @ 1534.3
1535.03	c Sol. found (all assignments made)...
1535.03	o 634
1535.03	c NEW SOLUTION FOUND: 634 @ 1534.4
1538.04	c Sol. found (all assignments made)...
1538.04	o 632
1538.04	c NEW SOLUTION FOUND: 632 @ 1537.4
1565.73	c Sol. found (all assignments made)...
1565.73	o 630
1565.74	c NEW SOLUTION FOUND: 630 @ 1565.1
1565.82	c Sol. found (all assignments made)...
1565.82	o 628
1565.82	c NEW SOLUTION FOUND: 628 @ 1565.2
1566.69	c Sol. found (all assignments made)...
1566.69	o 624
1566.69	c NEW SOLUTION FOUND: 624 @ 1566.1
1566.92	c Sol. found (all assignments made)...
1566.92	o 622
1566.92	c NEW SOLUTION FOUND: 622 @ 1566.3
1567.76	c Sol. found (all assignments made)...
1567.76	o 620
1567.76	c NEW SOLUTION FOUND: 620 @ 1567.2
1571.23	c Sol. found (all assignments made)...
1571.23	o 618
1571.23	c NEW SOLUTION FOUND: 618 @ 1570.6
1571.61	c Sol. found (all assignments made)...
1571.61	o 616
1571.61	c NEW SOLUTION FOUND: 616 @ 1571
1572.91	c Sol. found (all assignments made)...
1572.91	o 614
1572.91	c NEW SOLUTION FOUND: 614 @ 1572.3
1574.79	c Sol. found (all assignments made)...
1574.79	o 612
1574.79	c NEW SOLUTION FOUND: 612 @ 1574.2
1576.61	c Sol. found (all assignments made)...
1576.61	o 610
1576.61	c NEW SOLUTION FOUND: 610 @ 1576
1577.92	c Sol. found (all assignments made)...
1577.92	o 608
1577.92	c NEW SOLUTION FOUND: 608 @ 1577.3
1579.83	c Sol. found (all assignments made)...
1579.83	o 606
1579.83	c NEW SOLUTION FOUND: 606 @ 1579.2
1584.24	c Sol. found (all assignments made)...
1584.24	o 604
1584.24	c NEW SOLUTION FOUND: 604 @ 1583.6
1587.45	c Sol. found (all assignments made)...
1587.45	o 602
1587.45	c NEW SOLUTION FOUND: 602 @ 1586.8
1588.04	c Sol. found (all assignments made)...
1588.04	o 600
1588.04	c NEW SOLUTION FOUND: 600 @ 1587.4
1588.78	c Sol. found (all assignments made)...
1588.78	o 598
1588.78	c NEW SOLUTION FOUND: 598 @ 1588.2
1589.76	c Sol. found (all assignments made)...
1589.76	o 596
1589.76	c NEW SOLUTION FOUND: 596 @ 1589.1
1596.56	c Sol. found (all assignments made)...
1596.56	o 594
1596.56	c NEW SOLUTION FOUND: 594 @ 1595.9
1597.14	c Sol. found (all assignments made)...
1597.14	o 592
1597.14	c NEW SOLUTION FOUND: 592 @ 1596.5
1624.99	c Sol. found (all assignments made)...
1624.99	o 591
1624.99	c NEW SOLUTION FOUND: 591 @ 1624.4
1625.74	c Sol. found (all assignments made)...
1625.74	o 589
1625.74	c NEW SOLUTION FOUND: 589 @ 1625.1
1635.96	c Sol. found (all assignments made)...
1635.96	o 587
1635.96	c NEW SOLUTION FOUND: 587 @ 1635.3
1637.03	c Sol. found (all assignments made)...
1637.03	o 583
1637.03	c NEW SOLUTION FOUND: 583 @ 1636.4
1637.13	c Sol. found (all assignments made)...
1637.13	o 581
1637.13	c NEW SOLUTION FOUND: 581 @ 1636.5
1637.22	c Sol. found (all assignments made)...
1637.22	o 579
1637.22	c NEW SOLUTION FOUND: 579 @ 1636.6
1637.39	c Sol. found (all assignments made)...
1637.39	o 577
1637.39	c NEW SOLUTION FOUND: 577 @ 1636.8
1638.15	c Sol. found (all assignments made)...
1638.15	o 575
1638.16	c NEW SOLUTION FOUND: 575 @ 1637.5
1640.47	c Sol. found (all assignments made)...
1640.47	o 569
1640.47	c NEW SOLUTION FOUND: 569 @ 1639.8
1640.94	c Sol. found (all assignments made)...
1640.94	o 563
1640.94	c NEW SOLUTION FOUND: 563 @ 1640.3
1641.70	c Sol. found (all assignments made)...
1641.70	o 561
1641.70	c NEW SOLUTION FOUND: 561 @ 1641.1
1651.31	c Sol. found (all assignments made)...
1651.31	o 559
1651.31	c NEW SOLUTION FOUND: 559 @ 1650.7
1651.52	c Sol. found (all assignments made)...
1651.52	o 557
1651.52	c NEW SOLUTION FOUND: 557 @ 1650.9
1651.94	c Sol. found (all assignments made)...
1651.94	o 553
1651.94	c NEW SOLUTION FOUND: 553 @ 1651.3
1653.38	c Sol. found (all assignments made)...
1653.38	o 551
1653.38	c NEW SOLUTION FOUND: 551 @ 1652.7
1656.92	c Sol. found (all assignments made)...
1656.92	o 549
1656.92	c NEW SOLUTION FOUND: 549 @ 1656.3
1657.28	c Sol. found (all assignments made)...
1657.28	o 547
1657.28	c NEW SOLUTION FOUND: 547 @ 1656.6
1657.52	c Sol. found (all assignments made)...
1657.52	o 543
1657.52	c NEW SOLUTION FOUND: 543 @ 1656.9
1657.85	c Sol. found (all assignments made)...
1657.85	o 541
1657.85	c NEW SOLUTION FOUND: 541 @ 1657.2
1658.32	c Sol. found (all assignments made)...
1658.32	o 539
1658.32	c NEW SOLUTION FOUND: 539 @ 1657.7
1658.63	c Sol. found (all assignments made)...
1658.63	o 537
1658.63	c NEW SOLUTION FOUND: 537 @ 1658
1706.78	c Restart #54 #Var: 198 LB: 0 @ 1706.1
1800.77	s SATISFIABLE
1800.77	c Cost: 537
1800.77	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.77	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.77	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
1800.77	v -x83 -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.77	v -x108 x109 x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128
1800.77	v -x129 -x130 -x131 -x132 x133 x134 x135 x136 x137 -x138 -x139 -x140 -x141 x142 x143 x144 -x145 -x146 -x147 x148 -x149 x150 -x151
1800.77	v -x152 -x153 x154 -x155 -x156 x157 -x158 x159 -x160 x161 x162 -x163 -x164 x165 -x166 x167 x168 x169 -x170 -x171 x172 -x173 x174
1800.77	v x175 -x176 -x177 -x178 -x179 x180 x181 -x182 -x183 x184 -x185 x186 -x187 -x188 x189 x190 x191 x192 -x193 x194 -x195 -x196 x197
1800.77	v x198
1800.77	c Exit Code: 10
1800.77	c Total time: 1800.1 s

Verifier Data (download as text)

OK	537

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/node6/watcher-50309-1154099900 -o ROOT/results/node6/solver-50309-1154099900 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node6/50309-1154099900/instance-50309-1154099900.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 0.99 3/63 31391
/proc/meminfo: memFree=908880/2055924 swapFree=4183204/4192956
[pid=31391] ppid=31389 vsize=2900 CPUtime=0
/proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 43 0 1 0 0 0 0 0 19 0 1 0 156851411 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2187563 0 0 4096 0 0 0 0 17 1 0 0
/proc/31391/statm: 725 27 19 55 0 38 0

[startup+10.0023 s]
/proc/loadavg: 1.00 1.00 0.99 2/63 31391
/proc/meminfo: memFree=836496/2055924 swapFree=4183204/4192956
[pid=31391] ppid=31389 vsize=74484 CPUtime=9.93
/proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 17854 0 12 0 978 15 0 0 25 0 1 0 156851411 76271616 17780 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718209 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31391/statm: 18621 17780 297 55 0 17513 0
Current children cumulated CPU time (s) 9.93
Current children cumulated vsize (Kb) 74484

[startup+20.0083 s]
/proc/loadavg: 1.00 1.00 0.99 2/63 31391
/proc/meminfo: memFree=810896/2055924 swapFree=4183204/4192956
[pid=31391] ppid=31389 vsize=100076 CPUtime=19.93
/proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 24242 0 12 0 1969 24 0 0 25 0 1 0 156851411 102477824 24168 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2623099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31391/statm: 25019 24168 297 55 0 23911 0
Current children cumulated CPU time (s) 19.93
Current children cumulated vsize (Kb) 100076

[startup+30.0152 s]
/proc/loadavg: 1.00 1.00 0.99 2/63 31391
/proc/meminfo: memFree=790480/2055924 swapFree=4183204/4192956
[pid=31391] ppid=31389 vsize=120412 CPUtime=29.94
/proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 29334 0 12 0 2963 31 0 0 25 0 1 0 156851411 123301888 29258 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31391/statm: 30103 29258 297 55 0 28995 0
Current children cumulated CPU time (s) 29.94
Current children cumulated vsize (Kb) 120412

[startup+40.0212 s]
/proc/loadavg: 1.00 1.00 0.99 2/63 31391
/proc/meminfo: memFree=775824/2055924 swapFree=4183204/4192956
[pid=31391] ppid=31389 vsize=135084 CPUtime=39.94
/proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 32991 0 12 0 3959 35 0 0 25 0 1 0 156851411 138326016 32915 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31391/statm: 33771 32915 297 55 0 32663 0
Current children cumulated CPU time (s) 39.94
Current children cumulated vsize (Kb) 135084

[startup+50.0282 s]
/proc/loadavg: 1.00 1.00 0.99 2/63 31391
/proc/meminfo: memFree=762896/2055924 swapFree=4183204/4192956
[pid=31391] ppid=31389 vsize=147952 CPUtime=49.94
/proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 36191 0 15 0 4955 39 0 0 25 0 1 0 156851411 151502848 36114 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31391/statm: 36988 36114 419 55 0 35880 0
Current children cumulated CPU time (s) 49.94
Current children cumulated vsize (Kb) 147952

[startup+60.0351 s]
/proc/loadavg: 1.00 1.00 0.99 2/63 31391
/proc/meminfo: memFree=754256/2055924 swapFree=4183204/4192956
[pid=31391] ppid=31389 vsize=156532 CPUtime=59.94
/proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 38346 0 15 0 5952 42 0 0 25 0 1 0 156851411 160288768 38269 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31391/statm: 39133 38269 419 55 0 38025 0
Current children cumulated CPU time (s) 59.94
Current children cumulated vsize (Kb) 156532

[startup+70.0421 s]
/proc/loadavg: 1.00 1.00 0.99 2/63 31391
/proc/meminfo: memFree=739664/2055924 swapFree=4183204/4192956
[pid=31391] ppid=31389 vsize=171212 CPUtime=69.95
/proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 42001 0 15 0 6949 46 0 0 25 0 1 0 156851411 175321088 41922 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31391/statm: 42803 41922 419 55 0 41695 0
Current children cumulated CPU time (s) 69.95
Current children cumulated vsize (Kb) 171212

[startup+80.0491 s]
/proc/loadavg: 1.00 1.00 0.99 2/63 31391
/proc/meminfo: memFree=722320/2055924 swapFree=4183204/4192956
[pid=31391] ppid=31389 vsize=188652 CPUtime=79.95
/proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 46345 0 15 0 7944 51 0 0 25 0 1 0 156851411 193179648 46261 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31391/statm: 47163 46261 419 55 0 46055 0
Current children cumulated CPU time (s) 79.95
Current children cumulated vsize (Kb) 188652

[startup+90.0551 s]
/proc/loadavg: 1.00 1.00 0.99 2/63 31391
/proc/meminfo: memFree=712848/2055924 swapFree=4183204/4192956
[pid=31391] ppid=31389 vsize=198316 CPUtime=89.95
/proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 48719 0 15 0 8941 54 0 0 25 0 1 0 156851411 203075584 48634 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31391/statm: 49579 48634 419 55 0 48471 0
Current children cumulated CPU time (s) 89.95
Current children cumulated vsize (Kb) 198316

[startup+100.061 s]
/proc/loadavg: 1.00 1.00 0.99 2/63 31391
/proc/meminfo: memFree=707024/2055924 swapFree=4183204/4192956
[pid=31391] ppid=31389 vsize=204140 CPUtime=99.95
/proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 50166 0 15 0 9940 55 0 0 25 0 1 0 156851411 209039360 50080 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529265 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31391/statm: 51035 50080 419 55 0 49927 0
Current children cumulated CPU time (s) 99.95
Current children cumulated vsize (Kb) 204140

[startup+110.068 s]
/proc/loadavg: 1.00 1.00 0.99 2/63 31391
/proc/meminfo: memFree=700432/2055924 swapFree=4183204/4192956
[pid=31391] ppid=31389 vsize=210772 CPUtime=109.96
/proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 51811 0 15 0 10938 58 0 0 25 0 1 0 156851411 215830528 51723 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2623099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31391/statm: 52693 51723 419 55 0 51585 0
Current children cumulated CPU time (s) 109.96
Current children cumulated vsize (Kb) 210772

[startup+120.075 s]
/proc/loadavg: 1.00 1.00 0.99 2/63 31391
/proc/meminfo: memFree=690960/2055924 swapFree=4183204/4192956
[pid=31391] ppid=31389 vsize=220144 CPUtime=119.96
/proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 54168 0 15 0 11936 60 0 0 25 0 1 0 156851411 225427456 54079 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548439 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31391/statm: 55036 54079 419 55 0 53928 0
Current children cumulated CPU time (s) 119.96
Current children cumulated vsize (Kb) 220144

[startup+130.081 s]
/proc/loadavg: 1.00 1.00 0.99 2/63 31391
/proc/meminfo: memFree=687120/2055924 swapFree=4183204/4192956
[pid=31391] ppid=31389 vsize=224004 CPUtime=129.96
/proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 55123 0 15 0 12934 62 0 0 25 0 1 0 156851411 229380096 55033 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31391/statm: 56001 55033 419 55 0 54893 0
Current children cumulated CPU time (s) 129.96
Current children cumulated vsize (Kb) 224004

[startup+140.087 s]
/proc/loadavg: 1.00 1.00 0.99 2/63 31391
/proc/meminfo: memFree=679504/2055924 swapFree=4183204/4192956
[pid=31391] ppid=31389 vsize=231552 CPUtime=140
/proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 57021 0 15 0 13934 66 0 0 25 0 1 0 156851411 237109248 56930 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551624 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31391/statm: 57888 56930 419 55 0 56780 0
Current children cumulated CPU time (s) 140
Current children cumulated vsize (Kb) 231552

[startup+150.126 s]
/proc/loadavg: 1.00 1.00 0.99 2/63 31391
/proc/meminfo: memFree=675024/2055924 swapFree=4183204/4192956
[pid=31391] ppid=31389 vsize=236208 CPUtime=150
/proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 58149 0 15 0 14933 67 0 0 25 0 1 0 156851411 241876992 58057 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551487 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31391/statm: 59052 58057 419 55 0 57944 0
Current children cumulated CPU time (s) 150
Current children cumulated vsize (Kb) 236208

[startup+160.132 s]
/proc/loadavg: 1.00 1.00 0.99 2/63 31391
/proc/meminfo: memFree=666384/2055924 swapFree=4183204/4192956
[pid=31391] ppid=31389 vsize=244784 CPUtime=160
/proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 60293 0 15 0 15930 70 0 0 25 0 1 0 156851411 250658816 60201 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534055 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31391/statm: 61196 60201 419 55 0 60088 0
Current children cumulated CPU time (s) 160
Current children cumulated vsize (Kb) 244784

[startup+170.138 s]
/proc/loadavg: 1.00 1.00 0.99 2/63 31391
/proc/meminfo: memFree=659344/2055924 swapFree=4183204/4192956
[pid=31391] ppid=31389 vsize=251948 CPUtime=170.01
/proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 62063 0 15 0 16929 72 0 0 25 0 1 0 156851411 257994752 61971 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548637 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31391/statm: 62987 61971 419 55 0 61879 0
Current children cumulated CPU time (s) 170.01
Current children cumulated vsize (Kb) 251948

[startup+180.144 s]
/proc/loadavg: 1.00 1.00 0.99 2/63 31391
/proc/meminfo: memFree=656144/2055924 swapFree=4183204/4192956
[pid=31391] ppid=31389 vsize=255116 CPUtime=180.01
/proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 62860 0 15 0 17927 74 0 0 25 0 1 0 156851411 261238784 62768 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550906 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31391/statm: 63779 62768 419 55 0 62671 0
Current children cumulated CPU time (s) 180.01
Current children cumulated vsize (Kb) 255116

[startup+190.15 s]
/proc/loadavg: 1.00 1.00 0.99 2/63 31391
/proc/meminfo: memFree=651792/2055924 swapFree=4183204/4192956
[pid=31391] ppid=31389 vsize=259600 CPUtime=190.01
/proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 63954 0 15 0 18924 77 0 0 25 0 1 0 156851411 265830400 63861 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31391/statm: 64900 63861 419 55 0 63792 0
Current children cumulated CPU time (s) 190.01
Current children cumulated vsize (Kb) 259600

[startup+200.156 s]
/proc/loadavg: 1.00 1.00 0.99 2/63 31391
/proc/meminfo: memFree=645200/2055924 swapFree=4183204/4192956
[pid=31391] ppid=31389 vsize=266008 CPUtime=200.01
/proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 66266 0 15 0 19922 79 0 0 25 0 1 0 156851411 272392192 65491 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31391/statm: 66502 65491 419 55 0 65394 0
Current children cumulated CPU time (s) 200.01
Current children cumulated vsize (Kb) 266008

[startup+210.162 s]
/proc/loadavg: 1.00 1.00 0.99 2/63 31391

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

Current children cumulated CPU time (s) 1760.45
Current children cumulated vsize (Kb) 737728

[startup+1771.15 s]
/proc/loadavg: 1.00 1.00 0.99 2/63 31393
/proc/meminfo: memFree=174672/2055924 swapFree=4183204/4192956
[pid=31391] ppid=31389 vsize=738792 CPUtime=1770.46
/proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 185146 0 15 0 176786 260 0 0 25 0 1 0 156851411 756523008 182872 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535114 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31391/statm: 184698 182872 419 55 0 183590 0
Current children cumulated CPU time (s) 1770.46
Current children cumulated vsize (Kb) 738792

[startup+1781.15 s]
/proc/loadavg: 1.00 1.00 0.99 2/63 31393
/proc/meminfo: memFree=173584/2055924 swapFree=4183204/4192956
[pid=31391] ppid=31389 vsize=739848 CPUtime=1780.45
/proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 185428 0 15 0 177785 260 0 0 25 0 1 0 156851411 757604352 183154 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31391/statm: 184962 183154 419 55 0 183854 0
Current children cumulated CPU time (s) 1780.45
Current children cumulated vsize (Kb) 739848

[startup+1782.16 s]
/proc/loadavg: 1.00 1.00 0.99 2/63 31393
/proc/meminfo: memFree=173328/2055924 swapFree=4183204/4192956
[pid=31391] ppid=31389 vsize=740112 CPUtime=1781.46
/proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 185485 0 15 0 177886 260 0 0 25 0 1 0 156851411 757874688 183211 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31391/statm: 185028 183211 419 55 0 183920 0
Current children cumulated CPU time (s) 1781.46
Current children cumulated vsize (Kb) 740112

[startup+1783.16 s]
/proc/loadavg: 1.00 1.00 0.99 2/63 31393
/proc/meminfo: memFree=173264/2055924 swapFree=4183204/4192956
[pid=31391] ppid=31389 vsize=740244 CPUtime=1782.46
/proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 185504 0 15 0 177986 260 0 0 25 0 1 0 156851411 758009856 183230 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31391/statm: 185061 183230 419 55 0 183953 0
Current children cumulated CPU time (s) 1782.46
Current children cumulated vsize (Kb) 740244

[startup+1784.17 s]
/proc/loadavg: 1.00 1.00 0.99 2/63 31393
/proc/meminfo: memFree=173200/2055924 swapFree=4183204/4192956
[pid=31391] ppid=31389 vsize=740244 CPUtime=1783.47
/proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 185523 0 15 0 178087 260 0 0 25 0 1 0 156851411 758009856 183249 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31391/statm: 185061 183249 419 55 0 183953 0
Current children cumulated CPU time (s) 1783.47
Current children cumulated vsize (Kb) 740244

[startup+1785.17 s]
/proc/loadavg: 1.00 1.00 0.99 2/63 31393
/proc/meminfo: memFree=173072/2055924 swapFree=4183204/4192956
[pid=31391] ppid=31389 vsize=740376 CPUtime=1784.47
/proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 185544 0 15 0 178187 260 0 0 25 0 1 0 156851411 758145024 183270 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548420 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31391/statm: 185094 183270 419 55 0 183986 0
Current children cumulated CPU time (s) 1784.47
Current children cumulated vsize (Kb) 740376

[startup+1786.18 s]
/proc/loadavg: 1.00 1.00 0.99 2/63 31393
/proc/meminfo: memFree=173008/2055924 swapFree=4183204/4192956
[pid=31391] ppid=31389 vsize=740508 CPUtime=1785.48
/proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 185569 0 15 0 178288 260 0 0 25 0 1 0 156851411 758280192 183295 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31391/statm: 185127 183295 419 55 0 184019 0
Current children cumulated CPU time (s) 1785.48
Current children cumulated vsize (Kb) 740508

[startup+1787.18 s]
/proc/loadavg: 1.00 1.00 0.99 2/63 31393
/proc/meminfo: memFree=172944/2055924 swapFree=4183204/4192956
[pid=31391] ppid=31389 vsize=740508 CPUtime=1786.48
/proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 185588 0 15 0 178388 260 0 0 25 0 1 0 156851411 758280192 183314 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31391/statm: 185127 183314 419 55 0 184019 0
Current children cumulated CPU time (s) 1786.48
Current children cumulated vsize (Kb) 740508

[startup+1788.19 s]
/proc/loadavg: 1.00 1.00 0.99 2/63 31393
/proc/meminfo: memFree=172816/2055924 swapFree=4183204/4192956
[pid=31391] ppid=31389 vsize=740640 CPUtime=1787.49
/proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 185608 0 15 0 178488 261 0 0 25 0 1 0 156851411 758415360 183334 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31391/statm: 185160 183334 419 55 0 184052 0
Current children cumulated CPU time (s) 1787.49
Current children cumulated vsize (Kb) 740640

[startup+1789.19 s]
/proc/loadavg: 1.00 1.00 0.99 2/63 31393
/proc/meminfo: memFree=172752/2055924 swapFree=4183204/4192956
[pid=31391] ppid=31389 vsize=740640 CPUtime=1788.5
/proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 185627 0 15 0 178589 261 0 0 25 0 1 0 156851411 758415360 183353 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31391/statm: 185160 183353 419 55 0 184052 0
Current children cumulated CPU time (s) 1788.5
Current children cumulated vsize (Kb) 740640

[startup+1790.2 s]
/proc/loadavg: 1.00 1.00 0.99 2/63 31393
/proc/meminfo: memFree=172624/2055924 swapFree=4183204/4192956
[pid=31391] ppid=31389 vsize=740772 CPUtime=1789.5
/proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 185659 0 15 0 178689 261 0 0 25 0 1 0 156851411 758550528 183385 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31391/statm: 185193 183385 419 55 0 184085 0
Current children cumulated CPU time (s) 1789.5
Current children cumulated vsize (Kb) 740772

[startup+1791.2 s]
/proc/loadavg: 1.00 1.00 0.99 2/63 31393
/proc/meminfo: memFree=172240/2055924 swapFree=4183204/4192956
[pid=31391] ppid=31389 vsize=741168 CPUtime=1790.51
/proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 185748 0 15 0 178790 261 0 0 25 0 1 0 156851411 758956032 183474 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31391/statm: 185292 183474 419 55 0 184184 0
Current children cumulated CPU time (s) 1790.51
Current children cumulated vsize (Kb) 741168

[startup+1792.21 s]
/proc/loadavg: 1.00 1.00 0.99 2/63 31393
/proc/meminfo: memFree=172112/2055924 swapFree=4183204/4192956
[pid=31391] ppid=31389 vsize=741300 CPUtime=1791.51
/proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 185788 0 15 0 178890 261 0 0 25 0 1 0 156851411 759091200 183514 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31391/statm: 185325 183514 419 55 0 184217 0
Current children cumulated CPU time (s) 1791.51
Current children cumulated vsize (Kb) 741300

[startup+1793.21 s]
/proc/loadavg: 1.00 1.00 0.99 2/63 31393
/proc/meminfo: memFree=171984/2055924 swapFree=4183204/4192956
[pid=31391] ppid=31389 vsize=741432 CPUtime=1792.51
/proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 185818 0 15 0 178990 261 0 0 25 0 1 0 156851411 759226368 183544 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31391/statm: 185358 183544 419 55 0 184250 0
Current children cumulated CPU time (s) 1792.51
Current children cumulated vsize (Kb) 741432

[startup+1794.22 s]
/proc/loadavg: 1.00 1.00 0.99 2/63 31393
/proc/meminfo: memFree=171856/2055924 swapFree=4183204/4192956
[pid=31391] ppid=31389 vsize=741564 CPUtime=1793.52
/proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 185858 0 15 0 179091 261 0 0 25 0 1 0 156851411 759361536 183584 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31391/statm: 185391 183584 419 55 0 184283 0
Current children cumulated CPU time (s) 1793.52
Current children cumulated vsize (Kb) 741564

[startup+1795.22 s]
/proc/loadavg: 1.00 1.00 0.99 2/63 31393
/proc/meminfo: memFree=171600/2055924 swapFree=4183204/4192956
[pid=31391] ppid=31389 vsize=741828 CPUtime=1794.52
/proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 185913 0 15 0 179191 261 0 0 25 0 1 0 156851411 759631872 183639 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534923 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31391/statm: 185457 183639 419 55 0 184349 0
Current children cumulated CPU time (s) 1794.52
Current children cumulated vsize (Kb) 741828

[startup+1796.23 s]
/proc/loadavg: 1.00 1.00 0.99 2/63 31393
/proc/meminfo: memFree=171472/2055924 swapFree=4183204/4192956
[pid=31391] ppid=31389 vsize=741960 CPUtime=1795.53
/proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 185951 0 15 0 179292 261 0 0 25 0 1 0 156851411 759767040 183677 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31391/statm: 185490 183677 419 55 0 184382 0
Current children cumulated CPU time (s) 1795.53
Current children cumulated vsize (Kb) 741960

[startup+1797.23 s]
/proc/loadavg: 1.00 1.00 0.99 2/63 31393
/proc/meminfo: memFree=171216/2055924 swapFree=4183204/4192956
[pid=31391] ppid=31389 vsize=742224 CPUtime=1796.53
/proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 186012 0 15 0 179392 261 0 0 25 0 1 0 156851411 760037376 183738 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528720 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31391/statm: 185556 183738 419 55 0 184448 0
Current children cumulated CPU time (s) 1796.53
Current children cumulated vsize (Kb) 742224

[startup+1798.24 s]
/proc/loadavg: 1.00 1.00 0.99 2/63 31393
/proc/meminfo: memFree=171088/2055924 swapFree=4183204/4192956
[pid=31391] ppid=31389 vsize=742356 CPUtime=1797.53
/proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 186042 0 15 0 179492 261 0 0 25 0 1 0 156851411 760172544 183768 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31391/statm: 185589 183768 419 55 0 184481 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (Kb) 742356

[startup+1799.24 s]
/proc/loadavg: 1.00 1.00 0.99 2/63 31393
/proc/meminfo: memFree=170832/2055924 swapFree=4183204/4192956
[pid=31391] ppid=31389 vsize=742620 CPUtime=1798.54
/proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 186100 0 15 0 179593 261 0 0 25 0 1 0 156851411 760442880 183826 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31391/statm: 185655 183826 419 55 0 184547 0
Current children cumulated CPU time (s) 1798.54
Current children cumulated vsize (Kb) 742620

[startup+1800.25 s]
/proc/loadavg: 1.00 1.00 0.99 2/63 31393
/proc/meminfo: memFree=170768/2055924 swapFree=4183204/4192956
[pid=31391] ppid=31389 vsize=742752 CPUtime=1799.54
/proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 186126 0 15 0 179693 261 0 0 25 0 1 0 156851411 760578048 183852 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551614 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31391/statm: 185688 183852 419 55 0 184580 0
Current children cumulated CPU time (s) 1799.54
Current children cumulated vsize (Kb) 742752

Child status: 10
Real time (s): 1800.89
CPU time (s): 1800.2
CPU user time (s): 1797.46
CPU system time (s): 2.73758
CPU usage (%): 99.9614
Max. virtual memory (cumulated for all children) (Kb): 742752
The end

Launcher Data (download as text)

Begin job on node6 on Fri Jul 28 15:18:20 UTC 2006


FILE ID= 50309-1154099900

PBS_JOBID= 886072

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  87341d3e4752b9f90faef0f8d9385430

RANDOM SEED= 848108873

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.255
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.255
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:      2055924 kB
MemFree:        909088 kB
Buffers:         43936 kB
Cached:        1016948 kB
SwapCached:       3792 kB
Active:          41156 kB
Inactive:      1028512 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:        909088 kB
SwapTotal:     4192956 kB
SwapFree:      4183204 kB
Dirty:             208 kB
Writeback:           0 kB
Mapped:          14828 kB
Slab:            63204 kB
Committed_AS:   636504 kB
PageTables:       1460 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node6 on Fri Jul 28 15:48:21 UTC 2006