Trace number 50326

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_4.opb
MD5SUM8206de06d2228a9d751f3cf3a6d7aa05
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark1782.73
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved NO
Number of variables172
Total number of constraints14
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 constraints14
Minimum length of a constraint75
Maximum length of a constraint76
Number of terms in the objective function 112
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 3570
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1531
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5104
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 172 variables and 14 constraints.
0.02	c No problem reductions applied in OPT. instance.
0.02	c	preprocess terminated. Elapsed time: 0.009
0.02	c After prepocess the problem consists of 172 variables and 14 constraints.
0.02	c Initial Lower Bound: 0
0.03	c Restart #1 #Var: 172 LB: 0 @ 0.02
0.06	c Restart #2 #Var: 172 LB: 0 @ 0.046
0.10	c Restart #3 #Var: 172 LB: 0 @ 0.086
0.15	c Restart #4 #Var: 172 LB: 0 @ 0.143
0.22	c Restart #5 #Var: 172 LB: 0 @ 0.204
0.27	c Restart #6 #Var: 172 LB: 0 @ 0.262
0.37	c Restart #7 #Var: 172 LB: 0 @ 0.354
0.49	c Restart #8 #Var: 172 LB: 0 @ 0.477
0.61	c Restart #9 #Var: 172 LB: 0 @ 0.598
0.71	c Restart #10 #Var: 172 LB: 0 @ 0.695
0.82	c Restart #11 #Var: 172 LB: 0 @ 0.812
0.96	c Restart #12 #Var: 172 LB: 0 @ 0.944
1.07	c Restart #13 #Var: 172 LB: 0 @ 1.059
1.12	c Sol. found (all assignments made)...
1.12	o 2004
1.12	c NEW SOLUTION FOUND: 2004 @ 1.103
1.12	c Sol. found (all assignments made)...
1.12	o 1748
1.12	c NEW SOLUTION FOUND: 1748 @ 1.104
1.12	c Sol. found (all assignments made)...
1.12	o 1684
1.12	c NEW SOLUTION FOUND: 1684 @ 1.104
1.12	c Sol. found (all assignments made)...
1.12	o 1676
1.12	c NEW SOLUTION FOUND: 1676 @ 1.104
1.12	c Sol. found (all assignments made)...
1.12	o 1672
1.12	c NEW SOLUTION FOUND: 1672 @ 1.107
1.14	c Sol. found (all assignments made)...
1.14	o 1670
1.14	c NEW SOLUTION FOUND: 1670 @ 1.128
1.15	c Sol. found (all assignments made)...
1.15	o 1664
1.15	c NEW SOLUTION FOUND: 1664 @ 1.138
1.17	c Sol. found (all assignments made)...
1.17	o 1658
1.17	c NEW SOLUTION FOUND: 1658 @ 1.163
1.18	c Sol. found (all assignments made)...
1.18	o 1656
1.18	c NEW SOLUTION FOUND: 1656 @ 1.165
1.20	c Sol. found (all assignments made)...
1.20	o 1642
1.20	c NEW SOLUTION FOUND: 1642 @ 1.191
1.20	c Sol. found (all assignments made)...
1.20	o 1640
1.20	c NEW SOLUTION FOUND: 1640 @ 1.192
1.29	c Sol. found (all assignments made)...
1.29	o 1638
1.29	c NEW SOLUTION FOUND: 1638 @ 1.274
1.29	c Sol. found (all assignments made)...
1.29	o 1636
1.29	c NEW SOLUTION FOUND: 1636 @ 1.275
1.33	c Sol. found (all assignments made)...
1.33	o 1634
1.33	c NEW SOLUTION FOUND: 1634 @ 1.314
1.33	c Sol. found (all assignments made)...
1.33	o 1628
1.33	c NEW SOLUTION FOUND: 1628 @ 1.32
1.33	c Sol. found (all assignments made)...
1.33	o 1622
1.33	c NEW SOLUTION FOUND: 1622 @ 1.321
1.33	c Sol. found (all assignments made)...
1.33	o 1620
1.33	c NEW SOLUTION FOUND: 1620 @ 1.321
1.33	c Sol. found (all assignments made)...
1.33	o 1618
1.33	c NEW SOLUTION FOUND: 1618 @ 1.323
1.34	c Sol. found (all assignments made)...
1.34	o 1602
1.34	c NEW SOLUTION FOUND: 1602 @ 1.325
1.34	c Sol. found (all assignments made)...
1.34	o 1586
1.34	c NEW SOLUTION FOUND: 1586 @ 1.327
1.35	c Sol. found (all assignments made)...
1.35	o 1570
1.35	c NEW SOLUTION FOUND: 1570 @ 1.339
1.37	c Sol. found (all assignments made)...
1.37	o 1558
1.37	c NEW SOLUTION FOUND: 1558 @ 1.361
1.37	c Sol. found (all assignments made)...
1.37	o 1556
1.37	c NEW SOLUTION FOUND: 1556 @ 1.361
1.37	c Sol. found (all assignments made)...
1.37	o 1554
1.37	c NEW SOLUTION FOUND: 1554 @ 1.362
1.39	c Sol. found (all assignments made)...
1.39	o 1550
1.39	c NEW SOLUTION FOUND: 1550 @ 1.377
1.39	c Sol. found (all assignments made)...
1.39	o 1542
1.39	c NEW SOLUTION FOUND: 1542 @ 1.378
1.39	c Sol. found (all assignments made)...
1.39	o 1540
1.39	c NEW SOLUTION FOUND: 1540 @ 1.378
1.39	c Sol. found (all assignments made)...
1.39	o 1538
1.39	c NEW SOLUTION FOUND: 1538 @ 1.38
1.56	c Sol. found (all assignments made)...
1.56	o 1536
1.56	c NEW SOLUTION FOUND: 1536 @ 1.545
1.56	c Sol. found (all assignments made)...
1.56	o 1534
1.56	c NEW SOLUTION FOUND: 1534 @ 1.55
1.69	c Sol. found (all assignments made)...
1.69	o 1514
1.69	c NEW SOLUTION FOUND: 1514 @ 1.677
1.69	c Sol. found (all assignments made)...
1.69	o 1512
1.69	c NEW SOLUTION FOUND: 1512 @ 1.679
1.70	c Sol. found (all assignments made)...
1.70	o 1510
1.70	c NEW SOLUTION FOUND: 1510 @ 1.686
1.70	c Sol. found (all assignments made)...
1.70	o 1504
1.70	c NEW SOLUTION FOUND: 1504 @ 1.687
1.70	c Sol. found (all assignments made)...
1.70	o 1496
1.70	c NEW SOLUTION FOUND: 1496 @ 1.689
1.70	c Sol. found (all assignments made)...
1.70	o 1494
1.70	c NEW SOLUTION FOUND: 1494 @ 1.691
1.80	c Sol. found (all assignments made)...
1.80	o 1492
1.80	c NEW SOLUTION FOUND: 1492 @ 1.785
1.80	c Sol. found (all assignments made)...
1.80	o 1490
1.80	c NEW SOLUTION FOUND: 1490 @ 1.789
1.90	c Sol. found (all assignments made)...
1.90	o 1464
1.90	c NEW SOLUTION FOUND: 1464 @ 1.891
1.91	c Sol. found (all assignments made)...
1.91	o 1462
1.91	c NEW SOLUTION FOUND: 1462 @ 1.895
1.91	c Sol. found (all assignments made)...
1.91	o 1450
1.91	c NEW SOLUTION FOUND: 1450 @ 1.9
1.91	c Sol. found (all assignments made)...
1.91	o 1448
1.91	c NEW SOLUTION FOUND: 1448 @ 1.902
1.92	c Sol. found (all assignments made)...
1.92	o 1446
1.92	c NEW SOLUTION FOUND: 1446 @ 1.906
1.97	c Sol. found (all assignments made)...
1.97	o 1444
1.97	c NEW SOLUTION FOUND: 1444 @ 1.962
1.98	c Sol. found (all assignments made)...
1.98	o 1442
1.98	c NEW SOLUTION FOUND: 1442 @ 1.969
2.11	c Sol. found (all assignments made)...
2.11	o 1432
2.11	c NEW SOLUTION FOUND: 1432 @ 2.103
2.12	c Sol. found (all assignments made)...
2.12	o 1424
2.12	c NEW SOLUTION FOUND: 1424 @ 2.109
2.12	c Sol. found (all assignments made)...
2.12	o 1416
2.12	c NEW SOLUTION FOUND: 1416 @ 2.11
2.14	c Sol. found (all assignments made)...
2.14	o 1414
2.14	c NEW SOLUTION FOUND: 1414 @ 2.124
2.15	c Sol. found (all assignments made)...
2.15	o 1412
2.15	c NEW SOLUTION FOUND: 1412 @ 2.141
2.18	c Sol. found (all assignments made)...
2.18	o 1410
2.18	c NEW SOLUTION FOUND: 1410 @ 2.169
2.25	c Sol. found (all assignments made)...
2.25	o 1408
2.25	c NEW SOLUTION FOUND: 1408 @ 2.235
2.27	c Sol. found (all assignments made)...
2.27	o 1406
2.27	c NEW SOLUTION FOUND: 1406 @ 2.258
2.72	c Sol. found (all assignments made)...
2.72	o 1404
2.72	c NEW SOLUTION FOUND: 1404 @ 2.711
2.72	c Sol. found (all assignments made)...
2.72	o 1402
2.72	c NEW SOLUTION FOUND: 1402 @ 2.712
2.73	c Sol. found (all assignments made)...
2.73	o 1400
2.73	c NEW SOLUTION FOUND: 1400 @ 2.712
2.75	c Sol. found (all assignments made)...
2.75	o 1384
2.75	c NEW SOLUTION FOUND: 1384 @ 2.739
2.82	c Sol. found (all assignments made)...
2.82	o 1382
2.82	c NEW SOLUTION FOUND: 1382 @ 2.809
3.14	c Sol. found (all assignments made)...
3.14	o 1368
3.14	c NEW SOLUTION FOUND: 1368 @ 3.126
3.16	c Sol. found (all assignments made)...
3.16	o 1366
3.16	c NEW SOLUTION FOUND: 1366 @ 3.148
3.16	c Sol. found (all assignments made)...
3.16	o 1364
3.16	c NEW SOLUTION FOUND: 1364 @ 3.149
3.20	c Sol. found (all assignments made)...
3.20	o 1352
3.20	c NEW SOLUTION FOUND: 1352 @ 3.188
3.23	c Sol. found (all assignments made)...
3.23	o 1348
3.23	c NEW SOLUTION FOUND: 1348 @ 3.213
3.46	c Sol. found (all assignments made)...
3.46	o 1346
3.46	c NEW SOLUTION FOUND: 1346 @ 3.45
3.68	c Sol. found (all assignments made)...
3.68	o 1344
3.68	c NEW SOLUTION FOUND: 1344 @ 3.671
3.72	c Sol. found (all assignments made)...
3.72	o 1336
3.72	c NEW SOLUTION FOUND: 1336 @ 3.71
3.73	c Sol. found (all assignments made)...
3.73	o 1332
3.73	c NEW SOLUTION FOUND: 1332 @ 3.716
3.77	c Sol. found (all assignments made)...
3.77	o 1330
3.77	c NEW SOLUTION FOUND: 1330 @ 3.753
3.77	c Sol. found (all assignments made)...
3.77	o 1328
3.77	c NEW SOLUTION FOUND: 1328 @ 3.754
4.07	c Sol. found (all assignments made)...
4.07	o 1326
4.07	c NEW SOLUTION FOUND: 1326 @ 4.052
4.51	c Sol. found (all assignments made)...
4.51	o 1320
4.51	c NEW SOLUTION FOUND: 1320 @ 4.494
4.52	c Sol. found (all assignments made)...
4.52	o 1316
4.52	c NEW SOLUTION FOUND: 1316 @ 4.503
4.80	c Sol. found (all assignments made)...
4.80	o 1314
4.80	c NEW SOLUTION FOUND: 1314 @ 4.786
5.02	c Sol. found (all assignments made)...
5.02	o 1306
5.02	c NEW SOLUTION FOUND: 1306 @ 5.007
5.02	c Sol. found (all assignments made)...
5.02	o 1304
5.02	c NEW SOLUTION FOUND: 1304 @ 5.008
5.09	c Sol. found (all assignments made)...
5.09	o 1300
5.09	c NEW SOLUTION FOUND: 1300 @ 5.071
5.17	c Sol. found (all assignments made)...
5.17	o 1296
5.17	c NEW SOLUTION FOUND: 1296 @ 5.153
5.23	c Sol. found (all assignments made)...
5.23	o 1294
5.23	c NEW SOLUTION FOUND: 1294 @ 5.212
5.25	c Sol. found (all assignments made)...
5.25	o 1288
5.25	c NEW SOLUTION FOUND: 1288 @ 5.23
5.26	c Sol. found (all assignments made)...
5.26	o 1284
5.26	c NEW SOLUTION FOUND: 1284 @ 5.239
5.29	c Sol. found (all assignments made)...
5.29	o 1280
5.29	c NEW SOLUTION FOUND: 1280 @ 5.271
5.84	c Sol. found (all assignments made)...
5.84	o 1278
5.84	c NEW SOLUTION FOUND: 1278 @ 5.821
7.93	c Restart #14 #Var: 172 LB: 0 @ 7.908
7.97	c Sol. found (all assignments made)...
7.97	o 1184
7.97	c NEW SOLUTION FOUND: 1184 @ 7.951
7.97	c Sol. found (all assignments made)...
7.97	o 1180
7.97	c NEW SOLUTION FOUND: 1180 @ 7.953
7.97	c Sol. found (all assignments made)...
7.97	o 1178
7.97	c NEW SOLUTION FOUND: 1178 @ 7.954
7.97	c Sol. found (all assignments made)...
7.97	o 1176
7.97	c NEW SOLUTION FOUND: 1176 @ 7.955
8.06	c Sol. found (all assignments made)...
8.06	o 1112
8.06	c NEW SOLUTION FOUND: 1112 @ 8.045
8.06	c Sol. found (all assignments made)...
8.06	o 1110
8.06	c NEW SOLUTION FOUND: 1110 @ 8.045
8.06	c Sol. found (all assignments made)...
8.06	o 1106
8.06	c NEW SOLUTION FOUND: 1106 @ 8.046
8.06	c Sol. found (all assignments made)...
8.06	o 1074
8.06	c NEW SOLUTION FOUND: 1074 @ 8.046
8.17	c Sol. found (all assignments made)...
8.17	o 1062
8.17	c NEW SOLUTION FOUND: 1062 @ 8.151
8.17	c Sol. found (all assignments made)...
8.17	o 1060
8.17	c NEW SOLUTION FOUND: 1060 @ 8.157
8.18	c Sol. found (all assignments made)...
8.18	o 1052
8.18	c NEW SOLUTION FOUND: 1052 @ 8.16
8.20	c Sol. found (all assignments made)...
8.20	o 1044
8.20	c NEW SOLUTION FOUND: 1044 @ 8.184
8.21	c Sol. found (all assignments made)...
8.21	o 1036
8.21	c NEW SOLUTION FOUND: 1036 @ 8.196
8.27	c Sol. found (all assignments made)...
8.27	o 1026
8.27	c NEW SOLUTION FOUND: 1026 @ 8.247
8.32	c Sol. found (all assignments made)...
8.32	o 1004
8.32	c NEW SOLUTION FOUND: 1004 @ 8.302
8.65	c Sol. found (all assignments made)...
8.65	o 996
8.65	c NEW SOLUTION FOUND: 996 @ 8.634
9.47	c Restart #15 #Var: 172 LB: 0 @ 9.456
10.54	c Restart #16 #Var: 172 LB: 0 @ 10.524
12.09	c Sol. found (all assignments made)...
12.09	o 994
12.09	c NEW SOLUTION FOUND: 994 @ 12.076
12.10	c Sol. found (all assignments made)...
12.10	o 992
12.10	c NEW SOLUTION FOUND: 992 @ 12.086
15.25	c Restart #17 #Var: 172 LB: 0 @ 15.23
16.32	c Sol. found (all assignments made)...
16.32	o 961
16.32	c NEW SOLUTION FOUND: 961 @ 16.297
16.32	c Sol. found (all assignments made)...
16.32	o 959
16.32	c NEW SOLUTION FOUND: 959 @ 16.3
16.33	c Sol. found (all assignments made)...
16.33	o 911
16.33	c NEW SOLUTION FOUND: 911 @ 16.313
16.33	c Sol. found (all assignments made)...
16.33	o 903
16.33	c NEW SOLUTION FOUND: 903 @ 16.314
16.33	c Sol. found (all assignments made)...
16.33	o 901
16.33	c NEW SOLUTION FOUND: 901 @ 16.315
16.34	c Sol. found (all assignments made)...
16.34	o 895
16.34	c NEW SOLUTION FOUND: 895 @ 16.316
16.34	c Sol. found (all assignments made)...
16.34	o 801
16.34	c NEW SOLUTION FOUND: 801 @ 16.32
16.35	c Sol. found (all assignments made)...
16.35	o 745
16.35	c NEW SOLUTION FOUND: 745 @ 16.328
16.35	c Sol. found (all assignments made)...
16.35	o 743
16.35	c NEW SOLUTION FOUND: 743 @ 16.329
16.35	c Sol. found (all assignments made)...
16.35	o 737
16.35	c NEW SOLUTION FOUND: 737 @ 16.331
16.36	c Sol. found (all assignments made)...
16.36	o 703
16.36	c NEW SOLUTION FOUND: 703 @ 16.336
17.65	c Sol. found (all assignments made)...
17.65	o 674
17.65	c NEW SOLUTION FOUND: 674 @ 17.627
17.65	c Sol. found (all assignments made)...
17.65	o 666
17.65	c NEW SOLUTION FOUND: 666 @ 17.627
17.65	c Sol. found (all assignments made)...
17.65	o 658
17.65	c NEW SOLUTION FOUND: 658 @ 17.629
17.65	c Sol. found (all assignments made)...
17.65	o 656
17.65	c NEW SOLUTION FOUND: 656 @ 17.634
17.66	c Sol. found (all assignments made)...
17.66	o 652
17.66	c NEW SOLUTION FOUND: 652 @ 17.637
17.66	c Sol. found (all assignments made)...
17.66	o 650
17.66	c NEW SOLUTION FOUND: 650 @ 17.638
17.68	c Sol. found (all assignments made)...
17.68	o 628
17.68	c NEW SOLUTION FOUND: 628 @ 17.662
17.69	c Sol. found (all assignments made)...
17.69	o 624
17.69	c NEW SOLUTION FOUND: 624 @ 17.673
17.70	c Sol. found (all assignments made)...
17.70	o 620
17.70	c NEW SOLUTION FOUND: 620 @ 17.68
17.72	c Sol. found (all assignments made)...
17.72	o 618
17.72	c NEW SOLUTION FOUND: 618 @ 17.697
17.74	c Sol. found (all assignments made)...
17.74	o 612
17.74	c NEW SOLUTION FOUND: 612 @ 17.722
17.75	c Sol. found (all assignments made)...
17.75	o 604
17.75	c NEW SOLUTION FOUND: 604 @ 17.733
17.77	c Sol. found (all assignments made)...
17.77	o 602
17.77	c NEW SOLUTION FOUND: 602 @ 17.747
17.78	c Sol. found (all assignments made)...
17.78	o 596
17.78	c NEW SOLUTION FOUND: 596 @ 17.761
17.79	c Sol. found (all assignments made)...
17.79	o 594
17.79	c NEW SOLUTION FOUND: 594 @ 17.773
17.81	c Sol. found (all assignments made)...
17.81	o 588
17.81	c NEW SOLUTION FOUND: 588 @ 17.79
17.82	c Sol. found (all assignments made)...
17.82	o 586
17.82	c NEW SOLUTION FOUND: 586 @ 17.802
17.83	c Sol. found (all assignments made)...
17.83	o 580
17.83	c NEW SOLUTION FOUND: 580 @ 17.814
17.85	c Sol. found (all assignments made)...
17.85	o 578
17.85	c NEW SOLUTION FOUND: 578 @ 17.826
17.86	c Sol. found (all assignments made)...
17.86	o 524
17.86	c NEW SOLUTION FOUND: 524 @ 17.84
17.87	c Sol. found (all assignments made)...
17.87	o 516
17.87	c NEW SOLUTION FOUND: 516 @ 17.853
17.88	c Sol. found (all assignments made)...
17.88	o 514
17.88	c NEW SOLUTION FOUND: 514 @ 17.865
17.90	c Sol. found (all assignments made)...
17.90	o 508
17.90	c NEW SOLUTION FOUND: 508 @ 17.885
17.92	c Sol. found (all assignments made)...
17.92	o 506
17.92	c NEW SOLUTION FOUND: 506 @ 17.897
17.94	c Sol. found (all assignments made)...
17.94	o 492
17.94	c NEW SOLUTION FOUND: 492 @ 17.915
17.95	c Sol. found (all assignments made)...
17.95	o 490
17.95	c NEW SOLUTION FOUND: 490 @ 17.929
18.04	c Sol. found (all assignments made)...
18.04	o 484
18.04	c NEW SOLUTION FOUND: 484 @ 18.02
18.06	c Sol. found (all assignments made)...
18.06	o 482
18.06	c NEW SOLUTION FOUND: 482 @ 18.036
18.87	c Sol. found (all assignments made)...
18.87	o 478
18.87	c NEW SOLUTION FOUND: 478 @ 18.847
18.88	c Sol. found (all assignments made)...
18.88	o 476
18.88	c NEW SOLUTION FOUND: 476 @ 18.856
18.89	c Sol. found (all assignments made)...
18.89	o 470
18.89	c NEW SOLUTION FOUND: 470 @ 18.869
18.89	c Sol. found (all assignments made)...
18.89	o 468
18.89	c NEW SOLUTION FOUND: 468 @ 18.87
18.90	c Sol. found (all assignments made)...
18.90	o 466
18.90	c NEW SOLUTION FOUND: 466 @ 18.877
18.90	c Sol. found (all assignments made)...
18.90	o 464
18.90	c NEW SOLUTION FOUND: 464 @ 18.883
18.90	c Sol. found (all assignments made)...
18.90	o 458
18.90	c NEW SOLUTION FOUND: 458 @ 18.884
18.90	c Sol. found (all assignments made)...
18.90	o 456
18.90	c NEW SOLUTION FOUND: 456 @ 18.884
18.91	c Sol. found (all assignments made)...
18.91	o 448
18.91	c NEW SOLUTION FOUND: 448 @ 18.885
18.91	c Sol. found (all assignments made)...
18.91	o 442
18.91	c NEW SOLUTION FOUND: 442 @ 18.89
18.91	c Sol. found (all assignments made)...
18.91	o 440
18.91	c NEW SOLUTION FOUND: 440 @ 18.89
18.91	c Sol. found (all assignments made)...
18.91	o 438
18.91	c NEW SOLUTION FOUND: 438 @ 18.894
18.97	c Sol. found (all assignments made)...
18.97	o 434
18.97	c NEW SOLUTION FOUND: 434 @ 18.954
18.97	c Sol. found (all assignments made)...
18.97	o 432
18.97	c NEW SOLUTION FOUND: 432 @ 18.954
18.98	c Sol. found (all assignments made)...
18.98	o 428
18.98	c NEW SOLUTION FOUND: 428 @ 18.964
18.99	c Sol. found (all assignments made)...
18.99	o 424
18.99	c NEW SOLUTION FOUND: 424 @ 18.967
18.99	c Sol. found (all assignments made)...
18.99	o 422
18.99	c NEW SOLUTION FOUND: 422 @ 18.968
19.00	c Sol. found (all assignments made)...
19.00	o 418
19.00	c NEW SOLUTION FOUND: 418 @ 18.975
19.00	c Sol. found (all assignments made)...
19.00	o 416
19.00	c NEW SOLUTION FOUND: 416 @ 18.975
19.06	c Sol. found (all assignments made)...
19.06	o 414
19.06	c NEW SOLUTION FOUND: 414 @ 19.036
19.44	c Sol. found (all assignments made)...
19.44	o 412
19.44	c NEW SOLUTION FOUND: 412 @ 19.41
19.62	c Sol. found (all assignments made)...
19.62	o 410
19.62	c NEW SOLUTION FOUND: 410 @ 19.586
21.42	c Restart #18 #Var: 172 LB: 0 @ 21.387
24.10	c Restart #19 #Var: 172 LB: 0 @ 24.045
27.63	c Restart #20 #Var: 172 LB: 0 @ 27.572
29.03	c Restart #21 #Var: 172 LB: 0 @ 28.971
33.96	c Sol. found (all assignments made)...
33.96	c Sol. found (all assignments made)...
33.96	o 408
33.96	c NEW SOLUTION FOUND: 408 @ 33.901
33.98	c Sol. found (all assignments made)...
33.98	o 404
33.98	c NEW SOLUTION FOUND: 404 @ 33.916
34.05	c Sol. found (all assignments made)...
34.05	o 402
34.05	c NEW SOLUTION FOUND: 402 @ 33.99
35.20	c Sol. found (all assignments made)...
35.20	o 400
35.20	c NEW SOLUTION FOUND: 400 @ 35.129
35.26	c Sol. found (all assignments made)...
35.26	o 398
35.26	c NEW SOLUTION FOUND: 398 @ 35.184
35.50	c Sol. found (all assignments made)...
35.50	o 396
35.50	c NEW SOLUTION FOUND: 396 @ 35.43
37.60	c Sol. found (all assignments made)...
37.60	o 394
37.60	c NEW SOLUTION FOUND: 394 @ 37.52
42.24	c Sol. found (all assignments made)...
42.24	o 392
42.24	c NEW SOLUTION FOUND: 392 @ 42.146
48.03	c Restart #22 #Var: 172 LB: 0 @ 47.921
51.30	c Restart #23 #Var: 172 LB: 0 @ 51.181
51.54	c Sol. found (all assignments made)...
51.54	o 386
51.54	c NEW SOLUTION FOUND: 386 @ 51.424
51.71	c Sol. found (all assignments made)...
51.71	o 374
51.71	c NEW SOLUTION FOUND: 374 @ 51.592
51.73	c Sol. found (all assignments made)...
51.73	o 370
51.73	c NEW SOLUTION FOUND: 370 @ 51.61
51.74	c Sol. found (all assignments made)...
51.74	o 366
51.74	c NEW SOLUTION FOUND: 366 @ 51.626
51.78	c Sol. found (all assignments made)...
51.78	o 346
51.78	c NEW SOLUTION FOUND: 346 @ 51.667
51.80	c Sol. found (all assignments made)...
51.80	o 338
51.80	c NEW SOLUTION FOUND: 338 @ 51.681
51.82	c Sol. found (all assignments made)...
51.82	o 334
51.82	c NEW SOLUTION FOUND: 334 @ 51.7
51.86	c Sol. found (all assignments made)...
51.86	o 326
51.86	c NEW SOLUTION FOUND: 326 @ 51.744
51.88	c Sol. found (all assignments made)...
51.88	o 322
51.88	c NEW SOLUTION FOUND: 322 @ 51.768
52.27	c Sol. found (all assignments made)...
52.27	o 318
52.27	c NEW SOLUTION FOUND: 318 @ 52.148
52.37	c Sol. found (all assignments made)...
52.37	o 306
52.37	c NEW SOLUTION FOUND: 306 @ 52.252
52.72	c Sol. found (all assignments made)...
52.72	o 300
52.72	c NEW SOLUTION FOUND: 300 @ 52.605
58.70	c Sol. found (all assignments made)...
58.70	o 298
58.70	c NEW SOLUTION FOUND: 298 @ 58.579
64.29	c Restart #24 #Var: 172 LB: 0 @ 64.171
70.22	c Restart #25 #Var: 172 LB: 0 @ 70.099
74.57	c Restart #26 #Var: 172 LB: 0 @ 74.446
82.33	c Restart #27 #Var: 172 LB: 0 @ 82.205
87.98	c CHANGE to MIS mode... 	UB: 298	MIS: 0	LPR: 0 (0.025)	Diff: nan
87.98	c Restart #0 #Var: 172 LB: 0 @ 87.848
88.19	c Restart #1 #Var: 172 LB: 0 @ 88.06
88.69	c Restart #2 #Var: 172 LB: 0 @ 88.557
89.56	c Restart #3 #Var: 172 LB: 0 @ 89.432
91.35	c Restart #4 #Var: 172 LB: 0 @ 91.215
93.11	c Restart #5 #Var: 172 LB: 0 @ 92.972
94.44	c Sol. found (all assignments made)...
94.44	o 288
94.44	c NEW SOLUTION FOUND: 288 @ 94.31
94.47	c Sol. found (all assignments made)...
94.47	o 284
94.47	c NEW SOLUTION FOUND: 284 @ 94.337
95.26	c Sol. found (all assignments made)...
95.26	o 282
95.26	c NEW SOLUTION FOUND: 282 @ 95.129
95.50	c Sol. found (all assignments made)...
95.50	o 280
95.50	c NEW SOLUTION FOUND: 280 @ 95.37
96.15	c Restart #6 #Var: 172 LB: 0 @ 96.015
103.06	c Restart #7 #Var: 172 LB: 0 @ 102.92
105.41	c Restart #8 #Var: 172 LB: 0 @ 105.27
108.12	c Restart #9 #Var: 172 LB: 0 @ 107.98
111.55	c Restart #10 #Var: 172 LB: 0 @ 111.41
117.46	c Restart #11 #Var: 172 LB: 0 @ 117.32
120.24	c Restart #12 #Var: 172 LB: 0 @ 120.1
127.53	c Restart #13 #Var: 172 LB: 0 @ 127.39
130.12	c Restart #14 #Var: 172 LB: 0 @ 129.97
132.74	c Restart #15 #Var: 172 LB: 0 @ 132.6
139.96	c Restart #16 #Var: 172 LB: 0 @ 139.81
147.77	c Restart #17 #Var: 172 LB: 0 @ 147.62
156.43	c Restart #18 #Var: 172 LB: 0 @ 156.28
166.65	c Restart #19 #Var: 172 LB: 0 @ 166.5
175.98	c Restart #20 #Var: 172 LB: 0 @ 175.82
189.13	c Restart #21 #Var: 172 LB: 0 @ 188.97
198.78	c Restart #22 #Var: 172 LB: 0 @ 198.62
218.68	c Restart #23 #Var: 172 LB: 0 @ 218.51
231.16	c Restart #24 #Var: 172 LB: 0 @ 230.98
252.20	c Restart #25 #Var: 172 LB: 0 @ 252.03
274.55	c Restart #26 #Var: 172 LB: 0 @ 274.37
295.67	c Restart #27 #Var: 172 LB: 0 @ 295.49
314.87	c Restart #28 #Var: 172 LB: 0 @ 314.68
332.09	c Restart #29 #Var: 172 LB: 0 @ 331.89
346.65	c Restart #30 #Var: 172 LB: 0 @ 346.45
357.60	c Sol. found (all assignments made)...
357.60	c Sol. found (all assignments made)...
357.60	o 278
357.60	c NEW SOLUTION FOUND: 278 @ 357.4
368.20	c Sol. found (all assignments made)...
368.20	o 276
368.20	c NEW SOLUTION FOUND: 276 @ 367.99
370.66	c Sol. found (all assignments made)...
370.66	o 274
370.66	c NEW SOLUTION FOUND: 274 @ 370.45
391.81	c Restart #31 #Var: 172 LB: 0 @ 391.6
416.42	c Sol. found (all assignments made)...
416.42	o 270
416.42	c NEW SOLUTION FOUND: 270 @ 416.2
437.61	c Restart #32 #Var: 172 LB: 0 @ 437.38
459.94	c Restart #33 #Var: 172 LB: 0 @ 459.7
482.36	c Sol. found (all assignments made)...
482.36	o 266
482.36	c NEW SOLUTION FOUND: 266 @ 482.12
482.37	c Sol. found (all assignments made)...
482.37	o 258
482.37	c NEW SOLUTION FOUND: 258 @ 482.12
482.38	c Sol. found (all assignments made)...
482.38	o 256
482.38	c NEW SOLUTION FOUND: 256 @ 482.14
488.05	c Sol. found (all assignments made)...
488.05	o 254
488.06	c NEW SOLUTION FOUND: 254 @ 487.81
495.65	c Sol. found (all assignments made)...
495.65	o 248
495.65	c NEW SOLUTION FOUND: 248 @ 495.41
495.74	c Sol. found (all assignments made)...
495.74	o 246
495.74	c NEW SOLUTION FOUND: 246 @ 495.49
510.06	c Restart #34 #Var: 172 LB: 0 @ 509.81
528.34	c Restart #35 #Var: 172 LB: 0 @ 528.09
552.27	c Sol. found (all assignments made)...
552.27	o 242
552.27	c NEW SOLUTION FOUND: 242 @ 552.01
552.76	c Sol. found (all assignments made)...
552.76	o 240
552.76	c NEW SOLUTION FOUND: 240 @ 552.5
552.86	c Sol. found (all assignments made)...
552.86	o 238
552.86	c NEW SOLUTION FOUND: 238 @ 552.6
552.94	c Sol. found (all assignments made)...
552.94	o 236
552.94	c NEW SOLUTION FOUND: 236 @ 552.68
553.17	c Sol. found (all assignments made)...
553.17	o 230
553.17	c NEW SOLUTION FOUND: 230 @ 552.91
553.26	c Sol. found (all assignments made)...
553.26	o 228
553.26	c NEW SOLUTION FOUND: 228 @ 553
562.18	c Sol. found (all assignments made)...
562.18	o 226
562.18	c NEW SOLUTION FOUND: 226 @ 561.92
562.30	c Sol. found (all assignments made)...
562.30	o 224
562.30	c NEW SOLUTION FOUND: 224 @ 562.04
573.23	c Sol. found (all assignments made)...
573.23	o 222
573.23	c NEW SOLUTION FOUND: 222 @ 572.96
573.33	c Sol. found (all assignments made)...
573.33	o 220
573.33	c NEW SOLUTION FOUND: 220 @ 573.07
577.55	c Sol. found (all assignments made)...
577.55	o 218
577.55	c NEW SOLUTION FOUND: 218 @ 577.28
577.67	c Sol. found (all assignments made)...
577.67	o 214
577.67	c NEW SOLUTION FOUND: 214 @ 577.4
578.77	c Sol. found (all assignments made)...
578.77	o 212
578.77	c NEW SOLUTION FOUND: 212 @ 578.5
581.03	c Sol. found (all assignments made)...
581.03	o 206
581.03	c NEW SOLUTION FOUND: 206 @ 580.76
581.48	c Sol. found (all assignments made)...
581.48	o 204
581.48	c NEW SOLUTION FOUND: 204 @ 581.22
611.36	c Restart #36 #Var: 172 LB: 0 @ 611.08
636.84	c Restart #37 #Var: 172 LB: 0 @ 636.56
661.94	c Restart #38 #Var: 172 LB: 0 @ 661.65
699.19	c Restart #39 #Var: 172 LB: 0 @ 698.89
731.58	c Restart #40 #Var: 172 LB: 0 @ 731.27
770.54	c Restart #41 #Var: 172 LB: 0 @ 770.22
817.96	c Restart #42 #Var: 172 LB: 0 @ 817.63
849.45	c Restart #43 #Var: 172 LB: 0 @ 849.11
904.36	c Restart #44 #Var: 172 LB: 0 @ 904
918.65	c Restart #45 #Var: 172 LB: 0 @ 918.29
982.58	c Restart #46 #Var: 172 LB: 0 @ 982.2
1039.05	c Restart #47 #Var: 172 LB: 0 @ 1038.7
1124.07	c Restart #48 #Var: 172 LB: 0 @ 1123.7
1192.60	c Restart #49 #Var: 172 LB: 0 @ 1192.2
1249.81	c Restart #50 #Var: 172 LB: 0 @ 1249.4
1338.45	c Restart #51 #Var: 172 LB: 0 @ 1338
1420.85	c Restart #52 #Var: 172 LB: 0 @ 1420.4
1534.41	c Restart #53 #Var: 172 LB: 0 @ 1533.9
1673.61	c Restart #54 #Var: 172 LB: 0 @ 1673
1710.08	c Sol. found (all assignments made)...
1710.08	o 203
1710.08	c NEW SOLUTION FOUND: 203 @ 1709.5
1710.57	c Sol. found (all assignments made)...
1710.57	o 191
1710.57	c NEW SOLUTION FOUND: 191 @ 1710
1710.57	c Sol. found (all assignments made)...
1710.57	o 189
1710.57	c NEW SOLUTION FOUND: 189 @ 1710
1710.57	c Sol. found (all assignments made)...
1710.57	o 187
1710.57	c NEW SOLUTION FOUND: 187 @ 1710
1711.04	c Sol. found (all assignments made)...
1711.04	o 179
1711.04	c NEW SOLUTION FOUND: 179 @ 1710.5
1711.13	c Sol. found (all assignments made)...
1711.13	o 177
1711.13	c NEW SOLUTION FOUND: 177 @ 1710.6
1711.30	c Sol. found (all assignments made)...
1711.30	o 175
1711.30	c NEW SOLUTION FOUND: 175 @ 1710.7
1711.49	c Sol. found (all assignments made)...
1711.49	o 165
1711.49	c NEW SOLUTION FOUND: 165 @ 1710.9
1711.52	c Sol. found (all assignments made)...
1711.52	o 163
1711.52	c NEW SOLUTION FOUND: 163 @ 1710.9
1711.69	c Sol. found (all assignments made)...
1711.69	o 161
1711.69	c NEW SOLUTION FOUND: 161 @ 1711.1
1768.56	c Sol. found (all assignments made)...
1768.56	o 159
1768.56	c NEW SOLUTION FOUND: 159 @ 1768
1800.60	s SATISFIABLE
1800.60	c Cost: 159
1800.60	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 -x30
1800.60	v -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.60	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.60	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.60	v x108 -x109 -x110 -x111 -x112 x113 x114 -x115 -x116 -x117 x118 x119 -x120 x121 -x122 -x123 x124 x125 x126 -x127 -x128 x129 x130
1800.60	v x131 x132 x133 x134 -x135 -x136 -x137 x138 -x139 -x140 x141 -x142 -x143 -x144 x145 x146 x147 -x148 -x149 -x150 x151 -x152 x153
1800.60	v x154 -x155 x156 x157 x158 x159 x160 -x161 -x162 -x163 x164 -x165 x166 x167 x168 -x169 x170 -x171 x172
1800.60	c Exit Code: 10
1800.60	c Total time: 1800 s

Verifier Data (download as text)

OK	159

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 1.00 3/64 27093
/proc/meminfo: memFree=1526624/2055920 swapFree=4183448/4192956
[pid=27093] ppid=27091 vsize=3224 CPUtime=0
/proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 56 0 0 0 0 0 0 0 19 0 1 0 157464631 3301376 38 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 7619364 0 0 4096 0 0 0 0 17 1 0 0
/proc/27093/statm: 806 39 29 55 0 40 0

[startup+10.0024 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27093
/proc/meminfo: memFree=1454256/2055920 swapFree=4183448/4192956
[pid=27093] ppid=27091 vsize=76672 CPUtime=9.98
/proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 18428 0 0 0 985 13 0 0 25 0 1 0 157464631 78512128 18342 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27093/statm: 19168 18342 297 55 0 18060 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 76672

[startup+20.0087 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 27119
/proc/meminfo: memFree=1425408/2055920 swapFree=4183448/4192956
[pid=27093] ppid=27091 vsize=104560 CPUtime=19.96
/proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 25373 0 0 0 1976 20 0 0 25 0 1 0 157464631 107069440 25287 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27093/statm: 26140 25287 297 55 0 25032 0
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (Kb) 104560

[startup+30.0159 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 27201
/proc/meminfo: memFree=1403704/2055920 swapFree=4183448/4192956
[pid=27093] ppid=27091 vsize=126128 CPUtime=29.95
/proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 30743 0 0 0 2964 31 0 0 25 0 1 0 157464631 129155072 30655 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27093/statm: 31532 30655 297 55 0 30424 0
Current children cumulated CPU time (s) 29.95
Current children cumulated vsize (Kb) 126128

[startup+40.0221 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 27231
/proc/meminfo: memFree=1391480/2055920 swapFree=4183448/4192956
[pid=27093] ppid=27091 vsize=138404 CPUtime=39.93
/proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 33794 0 0 0 3959 34 0 0 25 0 1 0 157464631 141725696 33706 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27093/statm: 34601 33706 297 55 0 33493 0
Current children cumulated CPU time (s) 39.93
Current children cumulated vsize (Kb) 138404

[startup+50.0293 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27291
/proc/meminfo: memFree=1381600/2055920 swapFree=4183448/4192956
[pid=27093] ppid=27091 vsize=149504 CPUtime=49.9
/proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 36572 0 0 0 4952 38 0 0 25 0 1 0 157464631 153092096 36484 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27093/statm: 37376 36484 297 55 0 36268 0
Current children cumulated CPU time (s) 49.9
Current children cumulated vsize (Kb) 149504

[startup+60.0356 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27291
/proc/meminfo: memFree=1365288/2055920 swapFree=4183448/4192956
[pid=27093] ppid=27091 vsize=165908 CPUtime=59.91
/proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 40648 0 0 0 5948 43 0 0 25 0 1 0 157464631 169889792 40560 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27093/statm: 41477 40560 297 55 0 40369 0
Current children cumulated CPU time (s) 59.91
Current children cumulated vsize (Kb) 165908

[startup+70.0418 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27291
/proc/meminfo: memFree=1352368/2055920 swapFree=4183448/4192956
[pid=27093] ppid=27091 vsize=178768 CPUtime=69.92
/proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 43871 0 0 0 6945 47 0 0 25 0 1 0 157464631 183058432 43779 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540733 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27093/statm: 44692 43779 297 55 0 43584 0
Current children cumulated CPU time (s) 69.92
Current children cumulated vsize (Kb) 178768

[startup+80.048 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27291
/proc/meminfo: memFree=1342384/2055920 swapFree=4183448/4192956
[pid=27093] ppid=27091 vsize=188872 CPUtime=79.91
/proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 46360 0 0 0 7942 49 0 0 25 0 1 0 157464631 193404928 46266 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27093/statm: 47218 46266 297 55 0 46110 0
Current children cumulated CPU time (s) 79.91
Current children cumulated vsize (Kb) 188872

[startup+90.0542 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27291
/proc/meminfo: memFree=1320432/2055920 swapFree=4183448/4192956
[pid=27093] ppid=27091 vsize=210852 CPUtime=89.91
/proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 51802 0 3 0 8936 55 0 0 25 0 1 0 157464631 215912448 51707 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27093/statm: 52713 51707 420 55 0 51605 0
Current children cumulated CPU time (s) 89.91
Current children cumulated vsize (Kb) 210852

[startup+100.06 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27291
/proc/meminfo: memFree=1313904/2055920 swapFree=4183448/4192956
[pid=27093] ppid=27091 vsize=217508 CPUtime=99.92
/proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 53432 0 3 0 9934 58 0 0 25 0 1 0 157464631 222728192 53333 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27093/statm: 54377 53333 420 55 0 53269 0
Current children cumulated CPU time (s) 99.92
Current children cumulated vsize (Kb) 217508

[startup+110.067 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27291
/proc/meminfo: memFree=1306288/2055920 swapFree=4183448/4192956
[pid=27093] ppid=27091 vsize=225188 CPUtime=109.92
/proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 55353 0 3 0 10931 61 0 0 25 0 1 0 157464631 230592512 55254 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27093/statm: 56297 55254 420 55 0 55189 0
Current children cumulated CPU time (s) 109.92
Current children cumulated vsize (Kb) 225188

[startup+120.073 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27291
/proc/meminfo: memFree=1298480/2055920 swapFree=4183448/4192956
[pid=27093] ppid=27091 vsize=232992 CPUtime=119.92
/proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 57300 0 3 0 11929 63 0 0 25 0 1 0 157464631 238583808 57200 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27093/statm: 58248 57200 420 55 0 57140 0
Current children cumulated CPU time (s) 119.92
Current children cumulated vsize (Kb) 232992

[startup+130.079 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27291
/proc/meminfo: memFree=1290480/2055920 swapFree=4183448/4192956
[pid=27093] ppid=27091 vsize=241044 CPUtime=129.93
/proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 59300 0 3 0 12927 66 0 0 25 0 1 0 157464631 246829056 59200 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27093/statm: 60261 59200 420 55 0 59153 0
Current children cumulated CPU time (s) 129.93
Current children cumulated vsize (Kb) 241044

[startup+140.086 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27291
/proc/meminfo: memFree=1280816/2055920 swapFree=4183448/4192956
[pid=27093] ppid=27091 vsize=250700 CPUtime=139.94
/proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 61713 0 3 0 13925 69 0 0 25 0 1 0 157464631 256716800 61612 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27093/statm: 62675 61612 420 55 0 61567 0
Current children cumulated CPU time (s) 139.94
Current children cumulated vsize (Kb) 250700

[startup+150.094 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27291
/proc/meminfo: memFree=1274608/2055920 swapFree=4183448/4192956
[pid=27093] ppid=27091 vsize=257044 CPUtime=149.94
/proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 63261 0 3 0 14923 71 0 0 25 0 1 0 157464631 263213056 63160 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27093/statm: 64261 63160 420 55 0 63153 0
Current children cumulated CPU time (s) 149.94
Current children cumulated vsize (Kb) 257044

[startup+160.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27291
/proc/meminfo: memFree=1268464/2055920 swapFree=4183448/4192956
[pid=27093] ppid=27091 vsize=263152 CPUtime=159.94
/proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 64786 0 3 0 15920 74 0 0 25 0 1 0 157464631 269467648 64685 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529328 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27093/statm: 65788 64685 420 55 0 64680 0
Current children cumulated CPU time (s) 159.94
Current children cumulated vsize (Kb) 263152

[startup+170.106 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27291
/proc/meminfo: memFree=1262512/2055920 swapFree=4183448/4192956
[pid=27093] ppid=27091 vsize=269092 CPUtime=169.94
/proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 66279 0 3 0 16919 75 0 0 25 0 1 0 157464631 275550208 66178 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548617 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27093/statm: 67273 66178 420 55 0 66165 0
Current children cumulated CPU time (s) 169.94
Current children cumulated vsize (Kb) 269092

[startup+180.112 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27291
/proc/meminfo: memFree=1257776/2055920 swapFree=4183448/4192956
[pid=27093] ppid=27091 vsize=273740 CPUtime=179.95
/proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 67458 0 3 0 17918 77 0 0 25 0 1 0 157464631 280309760 67356 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534141 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27093/statm: 68435 67356 420 55 0 67327 0
Current children cumulated CPU time (s) 179.95
Current children cumulated vsize (Kb) 273740

[startup+190.118 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27291
/proc/meminfo: memFree=1253040/2055920 swapFree=4183448/4192956
[pid=27093] ppid=27091 vsize=278520 CPUtime=189.95
/proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 68647 0 3 0 18917 78 0 0 25 0 1 0 157464631 285204480 68545 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27093/statm: 69630 68545 420 55 0 68522 0
Current children cumulated CPU time (s) 189.95
Current children cumulated vsize (Kb) 278520

[startup+200.125 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27291
/proc/meminfo: memFree=1246256/2055920 swapFree=4183448/4192956
[pid=27093] ppid=27091 vsize=285256 CPUtime=199.96
/proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 70334 0 3 0 19915 81 0 0 25 0 1 0 157464631 292102144 70230 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27093/statm: 71314 70230 420 55 0 70206 0
Current children cumulated CPU time (s) 199.96
Current children cumulated vsize (Kb) 285256

[startup+210.132 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27291

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

Current children cumulated CPU time (s) 1760.51
Current children cumulated vsize (Kb) 721408

[startup+1771.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27291
/proc/meminfo: memFree=802288/2055920 swapFree=4183448/4192956
[pid=27093] ppid=27091 vsize=731880 CPUtime=1770.51
/proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 184441 0 3 0 176795 256 0 0 25 0 1 0 157464631 749445120 181007 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27093/statm: 182970 181007 420 55 0 181862 0
Current children cumulated CPU time (s) 1770.51
Current children cumulated vsize (Kb) 731880

[startup+1781.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27291
/proc/meminfo: memFree=799920/2055920 swapFree=4183448/4192956
[pid=27093] ppid=27091 vsize=734256 CPUtime=1780.51
/proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 185040 0 3 0 177794 257 0 0 25 0 1 0 157464631 751878144 181606 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27093/statm: 183564 181606 420 55 0 182456 0
Current children cumulated CPU time (s) 1780.51
Current children cumulated vsize (Kb) 734256

[startup+1782.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27291
/proc/meminfo: memFree=799728/2055920 swapFree=4183448/4192956
[pid=27093] ppid=27091 vsize=734388 CPUtime=1781.52
/proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 185083 0 3 0 177895 257 0 0 25 0 1 0 157464631 752013312 181649 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27093/statm: 183597 181649 420 55 0 182489 0
Current children cumulated CPU time (s) 1781.52
Current children cumulated vsize (Kb) 734388

[startup+1783.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27291
/proc/meminfo: memFree=799600/2055920 swapFree=4183448/4192956
[pid=27093] ppid=27091 vsize=734652 CPUtime=1782.53
/proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 185120 0 3 0 177995 258 0 0 25 0 1 0 157464631 752283648 181686 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27093/statm: 183663 181686 420 55 0 182555 0
Current children cumulated CPU time (s) 1782.53
Current children cumulated vsize (Kb) 734652

[startup+1784.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27291
/proc/meminfo: memFree=799408/2055920 swapFree=4183448/4192956
[pid=27093] ppid=27091 vsize=734784 CPUtime=1783.53
/proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 185167 0 3 0 178095 258 0 0 25 0 1 0 157464631 752418816 181733 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27093/statm: 183696 181733 420 55 0 182588 0
Current children cumulated CPU time (s) 1783.53
Current children cumulated vsize (Kb) 734784

[startup+1785.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27291
/proc/meminfo: memFree=799216/2055920 swapFree=4183448/4192956
[pid=27093] ppid=27091 vsize=734916 CPUtime=1784.53
/proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 185206 0 3 0 178195 258 0 0 25 0 1 0 157464631 752553984 181772 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27093/statm: 183729 181772 420 55 0 182621 0
Current children cumulated CPU time (s) 1784.53
Current children cumulated vsize (Kb) 734916

[startup+1786.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27291
/proc/meminfo: memFree=799024/2055920 swapFree=4183448/4192956
[pid=27093] ppid=27091 vsize=735180 CPUtime=1785.54
/proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 185254 0 3 0 178296 258 0 0 25 0 1 0 157464631 752824320 181820 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27093/statm: 183795 181820 420 55 0 182687 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (Kb) 735180

[startup+1787.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27291
/proc/meminfo: memFree=798768/2055920 swapFree=4183448/4192956
[pid=27093] ppid=27091 vsize=735444 CPUtime=1786.54
/proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 185325 0 3 0 178396 258 0 0 25 0 1 0 157464631 753094656 181891 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27093/statm: 183861 181891 420 55 0 182753 0
Current children cumulated CPU time (s) 1786.54
Current children cumulated vsize (Kb) 735444

[startup+1788.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27291
/proc/meminfo: memFree=798576/2055920 swapFree=4183448/4192956
[pid=27093] ppid=27091 vsize=735576 CPUtime=1787.55
/proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 185367 0 3 0 178497 258 0 0 25 0 1 0 157464631 753229824 181933 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27093/statm: 183894 181933 420 55 0 182786 0
Current children cumulated CPU time (s) 1787.55
Current children cumulated vsize (Kb) 735576

[startup+1789.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27291
/proc/meminfo: memFree=798448/2055920 swapFree=4183448/4192956
[pid=27093] ppid=27091 vsize=735708 CPUtime=1788.55
/proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 185404 0 3 0 178597 258 0 0 25 0 1 0 157464631 753364992 181970 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27093/statm: 183927 181970 420 55 0 182819 0
Current children cumulated CPU time (s) 1788.55
Current children cumulated vsize (Kb) 735708

[startup+1790.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27291
/proc/meminfo: memFree=798256/2055920 swapFree=4183448/4192956
[pid=27093] ppid=27091 vsize=735840 CPUtime=1789.56
/proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 185446 0 3 0 178698 258 0 0 25 0 1 0 157464631 753500160 182012 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27093/statm: 183960 182012 420 55 0 182852 0
Current children cumulated CPU time (s) 1789.56
Current children cumulated vsize (Kb) 735840

[startup+1791.17 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27291
/proc/meminfo: memFree=798064/2055920 swapFree=4183448/4192956
[pid=27093] ppid=27091 vsize=736104 CPUtime=1790.56
/proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 185502 0 3 0 178798 258 0 0 25 0 1 0 157464631 753770496 182068 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27093/statm: 184026 182068 420 55 0 182918 0
Current children cumulated CPU time (s) 1790.56
Current children cumulated vsize (Kb) 736104

[startup+1792.17 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27291
/proc/meminfo: memFree=797936/2055920 swapFree=4183448/4192956
[pid=27093] ppid=27091 vsize=736236 CPUtime=1791.56
/proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 185525 0 3 0 178898 258 0 0 25 0 1 0 157464631 753905664 182091 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27093/statm: 184059 182091 420 55 0 182951 0
Current children cumulated CPU time (s) 1791.56
Current children cumulated vsize (Kb) 736236

[startup+1793.18 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27291
/proc/meminfo: memFree=797872/2055920 swapFree=4183448/4192956
[pid=27093] ppid=27091 vsize=736368 CPUtime=1792.57
/proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 185554 0 3 0 178999 258 0 0 25 0 1 0 157464631 754040832 182120 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27093/statm: 184092 182120 420 55 0 182984 0
Current children cumulated CPU time (s) 1792.57
Current children cumulated vsize (Kb) 736368

[startup+1794.18 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27291
/proc/meminfo: memFree=797744/2055920 swapFree=4183448/4192956
[pid=27093] ppid=27091 vsize=736500 CPUtime=1793.57
/proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 185586 0 3 0 179099 258 0 0 25 0 1 0 157464631 754176000 182152 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27093/statm: 184125 182152 420 55 0 183017 0
Current children cumulated CPU time (s) 1793.57
Current children cumulated vsize (Kb) 736500

[startup+1795.19 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27291
/proc/meminfo: memFree=797488/2055920 swapFree=4183448/4192956
[pid=27093] ppid=27091 vsize=736632 CPUtime=1794.58
/proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 185636 0 3 0 179200 258 0 0 25 0 1 0 157464631 754311168 182202 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27093/statm: 184158 182202 420 55 0 183050 0
Current children cumulated CPU time (s) 1794.58
Current children cumulated vsize (Kb) 736632

[startup+1796.19 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27291
/proc/meminfo: memFree=797232/2055920 swapFree=4183448/4192956
[pid=27093] ppid=27091 vsize=736896 CPUtime=1795.58
/proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 185706 0 3 0 179300 258 0 0 25 0 1 0 157464631 754581504 182272 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27093/statm: 184224 182272 420 55 0 183116 0
Current children cumulated CPU time (s) 1795.58
Current children cumulated vsize (Kb) 736896

[startup+1797.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27291
/proc/meminfo: memFree=796848/2055920 swapFree=4183448/4192956
[pid=27093] ppid=27091 vsize=737292 CPUtime=1796.59
/proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 185796 0 3 0 179401 258 0 0 25 0 1 0 157464631 754987008 182362 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27093/statm: 184323 182362 420 55 0 183215 0
Current children cumulated CPU time (s) 1796.59
Current children cumulated vsize (Kb) 737292

[startup+1798.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27291
/proc/meminfo: memFree=796656/2055920 swapFree=4183448/4192956
[pid=27093] ppid=27091 vsize=737556 CPUtime=1797.59
/proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 185855 0 3 0 179501 258 0 0 25 0 1 0 157464631 755257344 182421 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27093/statm: 184389 182421 420 55 0 183281 0
Current children cumulated CPU time (s) 1797.59
Current children cumulated vsize (Kb) 737556

[startup+1799.21 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27291
/proc/meminfo: memFree=796528/2055920 swapFree=4183448/4192956
[pid=27093] ppid=27091 vsize=737688 CPUtime=1798.59
/proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 185882 0 3 0 179601 258 0 0 25 0 1 0 157464631 755392512 182448 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27093/statm: 184422 182448 420 55 0 183314 0
Current children cumulated CPU time (s) 1798.59
Current children cumulated vsize (Kb) 737688

[startup+1800.21 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27291
/proc/meminfo: memFree=796400/2055920 swapFree=4183448/4192956
[pid=27093] ppid=27091 vsize=737820 CPUtime=1799.61
/proc/27093/stat : 27093 (bsolo) R 27091 27093 27044 0 -1 0 185913 0 3 0 179702 259 0 0 25 0 1 0 157464631 755527680 182479 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27093/statm: 184455 182479 420 55 0 183347 0
Current children cumulated CPU time (s) 1799.61
Current children cumulated vsize (Kb) 737820

Child status: 10
Real time (s): 1800.73
CPU time (s): 1800.13
CPU user time (s): 1797.41
CPU system time (s): 2.71159
CPU usage (%): 99.9663
Max. virtual memory (cumulated for all children) (Kb): 737820
The end

Launcher Data (download as text)

Begin job on node20 on Fri Jul 28 17:00:41 UTC 2006


FILE ID= 50326-1154106041

PBS_JOBID= 886293

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  8206de06d2228a9d751f3cf3a6d7aa05

RANDOM SEED= 116689532

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.239
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.239
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:       1526832 kB
Buffers:         28996 kB
Cached:         435500 kB
SwapCached:       3412 kB
Active:          48464 kB
Inactive:       424704 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1526832 kB
SwapTotal:     4192956 kB
SwapFree:      4183448 kB
Dirty:             188 kB
Writeback:           0 kB
Mapped:          14740 kB
Slab:            41996 kB
Committed_AS:   632632 kB
PageTables:       1428 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node20 on Fri Jul 28 17:30:42 UTC 2006