Trace number 50323

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/05SAT192 1800.13 1800.66

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_1.opb
MD5SUM7b9886d41278c23acb93039c546a310e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark13
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 13
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 constraint73
Maximum length of a constraint75
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 1488
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4975
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.01	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.008
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.019
0.06	c Restart #2 #Var: 172 LB: 0 @ 0.046
0.10	c Restart #3 #Var: 172 LB: 0 @ 0.089
0.16	c Restart #4 #Var: 172 LB: 0 @ 0.146
0.21	c Restart #5 #Var: 172 LB: 0 @ 0.203
0.26	c Sol. found (all assignments made)...
0.26	o 1923
0.26	c NEW SOLUTION FOUND: 1923 @ 0.253
0.26	c Sol. found (all assignments made)...
0.26	o 1859
0.26	c NEW SOLUTION FOUND: 1859 @ 0.254
0.26	c Sol. found (all assignments made)...
0.26	o 1827
0.26	c NEW SOLUTION FOUND: 1827 @ 0.254
0.27	c Sol. found (all assignments made)...
0.27	o 1819
0.27	c NEW SOLUTION FOUND: 1819 @ 0.255
0.27	c Sol. found (all assignments made)...
0.27	o 1811
0.27	c NEW SOLUTION FOUND: 1811 @ 0.256
0.27	c Sol. found (all assignments made)...
0.27	c Sol. found (all assignments made)...
0.27	c Sol. found (all assignments made)...
0.27	o 1803
0.27	c NEW SOLUTION FOUND: 1803 @ 0.258
0.27	c Sol. found (all assignments made)...
0.27	o 1795
0.27	c NEW SOLUTION FOUND: 1795 @ 0.259
0.27	c Sol. found (all assignments made)...
0.27	o 1787
0.27	c NEW SOLUTION FOUND: 1787 @ 0.26
0.27	c Sol. found (all assignments made)...
0.27	o 1783
0.27	c NEW SOLUTION FOUND: 1783 @ 0.263
0.28	c Sol. found (all assignments made)...
0.28	o 1775
0.28	c NEW SOLUTION FOUND: 1775 @ 0.267
0.28	c Sol. found (all assignments made)...
0.28	o 1759
0.28	c NEW SOLUTION FOUND: 1759 @ 0.269
0.28	c Sol. found (all assignments made)...
0.28	o 1751
0.28	c NEW SOLUTION FOUND: 1751 @ 0.271
0.29	c Sol. found (all assignments made)...
0.29	o 1747
0.29	c NEW SOLUTION FOUND: 1747 @ 0.278
0.29	c Sol. found (all assignments made)...
0.29	o 1743
0.29	c NEW SOLUTION FOUND: 1743 @ 0.28
0.29	c Sol. found (all assignments made)...
0.29	o 1603
0.29	c NEW SOLUTION FOUND: 1603 @ 0.283
0.29	c Sol. found (all assignments made)...
0.29	o 1587
0.29	c NEW SOLUTION FOUND: 1587 @ 0.283
0.29	c Sol. found (all assignments made)...
0.29	o 1571
0.29	c NEW SOLUTION FOUND: 1571 @ 0.284
0.29	c Sol. found (all assignments made)...
0.29	o 1555
0.29	c NEW SOLUTION FOUND: 1555 @ 0.284
0.31	c Sol. found (all assignments made)...
0.31	o 1539
0.31	c NEW SOLUTION FOUND: 1539 @ 0.304
0.32	c Sol. found (all assignments made)...
0.32	o 1507
0.32	c NEW SOLUTION FOUND: 1507 @ 0.305
0.32	c Sol. found (all assignments made)...
0.32	o 1503
0.32	c NEW SOLUTION FOUND: 1503 @ 0.31
0.32	c Sol. found (all assignments made)...
0.32	o 1491
0.32	c NEW SOLUTION FOUND: 1491 @ 0.311
0.32	c Sol. found (all assignments made)...
0.32	o 1487
0.32	c NEW SOLUTION FOUND: 1487 @ 0.314
0.33	c Sol. found (all assignments made)...
0.33	o 1483
0.33	c NEW SOLUTION FOUND: 1483 @ 0.324
0.34	c Sol. found (all assignments made)...
0.34	o 1479
0.34	c NEW SOLUTION FOUND: 1479 @ 0.333
0.35	c Sol. found (all assignments made)...
0.35	o 1475
0.35	c NEW SOLUTION FOUND: 1475 @ 0.338
0.36	c Sol. found (all assignments made)...
0.36	o 1473
0.36	c NEW SOLUTION FOUND: 1473 @ 0.352
0.41	c Sol. found (all assignments made)...
0.41	o 1461
0.41	c NEW SOLUTION FOUND: 1461 @ 0.395
0.41	c Sol. found (all assignments made)...
0.41	o 1453
0.41	c NEW SOLUTION FOUND: 1453 @ 0.399
0.41	c Sol. found (all assignments made)...
0.41	o 1449
0.41	c NEW SOLUTION FOUND: 1449 @ 0.403
0.47	c Restart #6 #Var: 172 LB: 0 @ 0.455
0.49	c Sol. found (all assignments made)...
0.49	o 1441
0.49	c NEW SOLUTION FOUND: 1441 @ 0.483
0.50	c Sol. found (all assignments made)...
0.50	o 1429
0.50	c NEW SOLUTION FOUND: 1429 @ 0.49
0.52	c Sol. found (all assignments made)...
0.52	o 1425
0.52	c NEW SOLUTION FOUND: 1425 @ 0.508
0.56	c Sol. found (all assignments made)...
0.56	o 1421
0.56	c NEW SOLUTION FOUND: 1421 @ 0.546
0.57	c Sol. found (all assignments made)...
0.57	o 1417
0.57	c NEW SOLUTION FOUND: 1417 @ 0.557
0.63	c Sol. found (all assignments made)...
0.63	o 1405
0.63	c NEW SOLUTION FOUND: 1405 @ 0.616
0.63	c Sol. found (all assignments made)...
0.63	o 1389
0.63	c NEW SOLUTION FOUND: 1389 @ 0.617
0.63	c Sol. found (all assignments made)...
0.63	o 1385
0.63	c NEW SOLUTION FOUND: 1385 @ 0.624
0.66	c Sol. found (all assignments made)...
0.66	o 1377
0.66	c NEW SOLUTION FOUND: 1377 @ 0.649
0.66	c Sol. found (all assignments made)...
0.66	o 1373
0.66	c NEW SOLUTION FOUND: 1373 @ 0.652
0.66	c Sol. found (all assignments made)...
0.66	o 1361
0.66	c NEW SOLUTION FOUND: 1361 @ 0.653
0.67	c Sol. found (all assignments made)...
0.67	o 1357
0.67	c NEW SOLUTION FOUND: 1357 @ 0.657
0.68	c Sol. found (all assignments made)...
0.68	o 1353
0.68	c NEW SOLUTION FOUND: 1353 @ 0.669
0.80	c Sol. found (all assignments made)...
0.80	o 1345
0.80	c NEW SOLUTION FOUND: 1345 @ 0.791
0.80	c Sol. found (all assignments made)...
0.80	o 1341
0.80	c NEW SOLUTION FOUND: 1341 @ 0.793
0.81	c Sol. found (all assignments made)...
0.81	o 1329
0.81	c NEW SOLUTION FOUND: 1329 @ 0.795
0.81	c Sol. found (all assignments made)...
0.81	o 1325
0.81	c NEW SOLUTION FOUND: 1325 @ 0.798
0.82	c Sol. found (all assignments made)...
0.82	o 1321
0.82	c NEW SOLUTION FOUND: 1321 @ 0.809
0.86	c Sol. found (all assignments made)...
0.86	o 1317
0.86	c NEW SOLUTION FOUND: 1317 @ 0.847
0.89	c Sol. found (all assignments made)...
0.89	o 1313
0.89	c NEW SOLUTION FOUND: 1313 @ 0.882
1.12	c Restart #7 #Var: 172 LB: 0 @ 1.112
1.16	c Sol. found (all assignments made)...
1.16	o 1220
1.16	c NEW SOLUTION FOUND: 1220 @ 1.147
1.16	c Sol. found (all assignments made)...
1.16	o 1216
1.16	c NEW SOLUTION FOUND: 1216 @ 1.148
1.18	c Sol. found (all assignments made)...
1.18	o 1168
1.18	c NEW SOLUTION FOUND: 1168 @ 1.165
1.18	c Sol. found (all assignments made)...
1.18	o 1160
1.18	c NEW SOLUTION FOUND: 1160 @ 1.173
1.32	c Sol. found (all assignments made)...
1.32	o 1158
1.32	c NEW SOLUTION FOUND: 1158 @ 1.307
1.37	c Sol. found (all assignments made)...
1.37	o 1150
1.37	c NEW SOLUTION FOUND: 1150 @ 1.355
1.43	c Sol. found (all assignments made)...
1.43	o 1116
1.43	c NEW SOLUTION FOUND: 1116 @ 1.42
1.43	c Sol. found (all assignments made)...
1.43	o 1112
1.43	c NEW SOLUTION FOUND: 1112 @ 1.421
1.43	c Sol. found (all assignments made)...
1.43	o 1104
1.43	c NEW SOLUTION FOUND: 1104 @ 1.423
1.44	c Sol. found (all assignments made)...
1.44	o 1084
1.44	c NEW SOLUTION FOUND: 1084 @ 1.427
1.44	c Sol. found (all assignments made)...
1.44	o 1080
1.44	c NEW SOLUTION FOUND: 1080 @ 1.428
1.44	c Sol. found (all assignments made)...
1.44	o 1072
1.44	c NEW SOLUTION FOUND: 1072 @ 1.429
1.48	c Sol. found (all assignments made)...
1.48	o 1064
1.48	c NEW SOLUTION FOUND: 1064 @ 1.471
1.75	c Restart #8 #Var: 172 LB: 0 @ 1.742
2.15	c Restart #9 #Var: 172 LB: 0 @ 2.142
2.19	c Sol. found (all assignments made)...
2.19	o 1061
2.19	c NEW SOLUTION FOUND: 1061 @ 2.183
2.20	c Sol. found (all assignments made)...
2.20	o 1057
2.20	c NEW SOLUTION FOUND: 1057 @ 2.188
2.20	c Sol. found (all assignments made)...
2.20	o 1055
2.20	c NEW SOLUTION FOUND: 1055 @ 2.189
2.21	c Sol. found (all assignments made)...
2.21	o 1053
2.21	c NEW SOLUTION FOUND: 1053 @ 2.199
2.22	c Sol. found (all assignments made)...
2.22	o 1037
2.22	c NEW SOLUTION FOUND: 1037 @ 2.207
2.22	c Sol. found (all assignments made)...
2.22	o 1035
2.22	c NEW SOLUTION FOUND: 1035 @ 2.208
2.22	c Sol. found (all assignments made)...
2.22	o 1013
2.22	c NEW SOLUTION FOUND: 1013 @ 2.209
2.22	c Sol. found (all assignments made)...
2.22	o 1005
2.22	c NEW SOLUTION FOUND: 1005 @ 2.209
2.22	c Sol. found (all assignments made)...
2.22	o 1003
2.22	c NEW SOLUTION FOUND: 1003 @ 2.21
2.22	c Sol. found (all assignments made)...
2.22	o 997
2.22	c NEW SOLUTION FOUND: 997 @ 2.21
2.22	c Sol. found (all assignments made)...
2.22	o 995
2.22	c NEW SOLUTION FOUND: 995 @ 2.211
2.22	c Sol. found (all assignments made)...
2.22	o 955
2.22	c NEW SOLUTION FOUND: 955 @ 2.212
2.22	c Sol. found (all assignments made)...
2.22	o 953
2.22	c NEW SOLUTION FOUND: 953 @ 2.212
2.22	c Sol. found (all assignments made)...
2.22	o 947
2.22	c NEW SOLUTION FOUND: 947 @ 2.213
2.22	c Sol. found (all assignments made)...
2.22	o 939
2.22	c NEW SOLUTION FOUND: 939 @ 2.213
2.22	c Sol. found (all assignments made)...
2.22	o 937
2.22	c NEW SOLUTION FOUND: 937 @ 2.214
2.22	c Sol. found (all assignments made)...
2.22	o 923
2.22	c NEW SOLUTION FOUND: 923 @ 2.214
2.22	c Sol. found (all assignments made)...
2.22	o 921
2.22	c NEW SOLUTION FOUND: 921 @ 2.214
2.22	c Sol. found (all assignments made)...
2.22	o 915
2.22	c NEW SOLUTION FOUND: 915 @ 2.214
2.23	c Sol. found (all assignments made)...
2.23	o 907
2.23	c NEW SOLUTION FOUND: 907 @ 2.215
2.23	c Sol. found (all assignments made)...
2.23	o 905
2.23	c NEW SOLUTION FOUND: 905 @ 2.215
2.23	c Sol. found (all assignments made)...
2.23	o 901
2.23	c NEW SOLUTION FOUND: 901 @ 2.216
2.23	c Sol. found (all assignments made)...
2.23	o 899
2.23	c NEW SOLUTION FOUND: 899 @ 2.216
2.25	c Sol. found (all assignments made)...
2.25	o 895
2.25	c NEW SOLUTION FOUND: 895 @ 2.239
2.25	c Sol. found (all assignments made)...
2.25	o 889
2.25	c NEW SOLUTION FOUND: 889 @ 2.24
2.25	c Sol. found (all assignments made)...
2.25	o 887
2.25	c NEW SOLUTION FOUND: 887 @ 2.24
2.25	c Sol. found (all assignments made)...
2.25	o 885
2.25	c NEW SOLUTION FOUND: 885 @ 2.244
2.29	c Sol. found (all assignments made)...
2.29	o 883
2.29	c NEW SOLUTION FOUND: 883 @ 2.276
2.61	c Restart #10 #Var: 172 LB: 0 @ 2.596
2.66	c Sol. found (all assignments made)...
2.66	o 853
2.66	c NEW SOLUTION FOUND: 853 @ 2.65
2.68	c Sol. found (all assignments made)...
2.68	o 845
2.68	c NEW SOLUTION FOUND: 845 @ 2.669
2.68	c Sol. found (all assignments made)...
2.68	o 841
2.68	c NEW SOLUTION FOUND: 841 @ 2.669
2.68	c Sol. found (all assignments made)...
2.68	o 825
2.68	c NEW SOLUTION FOUND: 825 @ 2.67
2.70	c Sol. found (all assignments made)...
2.70	o 821
2.70	c NEW SOLUTION FOUND: 821 @ 2.691
3.10	c Restart #11 #Var: 172 LB: 0 @ 3.092
3.69	c Restart #12 #Var: 172 LB: 0 @ 3.678
4.32	c Sol. found (all assignments made)...
4.32	o 819
4.32	c NEW SOLUTION FOUND: 819 @ 4.314
4.41	c Sol. found (all assignments made)...
4.41	o 817
4.41	c NEW SOLUTION FOUND: 817 @ 4.4
4.52	c Sol. found (all assignments made)...
4.52	o 813
4.52	c NEW SOLUTION FOUND: 813 @ 4.506
4.53	c Sol. found (all assignments made)...
4.53	o 811
4.53	c NEW SOLUTION FOUND: 811 @ 4.521
4.55	c Sol. found (all assignments made)...
4.55	o 801
4.55	c NEW SOLUTION FOUND: 801 @ 4.537
4.58	c Sol. found (all assignments made)...
4.58	o 797
4.58	c NEW SOLUTION FOUND: 797 @ 4.566
4.59	c Sol. found (all assignments made)...
4.59	o 795
4.59	c NEW SOLUTION FOUND: 795 @ 4.577
4.65	c Sol. found (all assignments made)...
4.65	o 793
4.65	c NEW SOLUTION FOUND: 793 @ 4.636
4.67	c Sol. found (all assignments made)...
4.67	o 787
4.67	c NEW SOLUTION FOUND: 787 @ 4.659
4.86	c Sol. found (all assignments made)...
4.86	o 783
4.86	c NEW SOLUTION FOUND: 783 @ 4.844
5.30	c Sol. found (all assignments made)...
5.30	o 781
5.30	c NEW SOLUTION FOUND: 781 @ 5.29
5.31	c Sol. found (all assignments made)...
5.31	o 779
5.31	c NEW SOLUTION FOUND: 779 @ 5.298
5.32	c Sol. found (all assignments made)...
5.32	o 773
5.32	c NEW SOLUTION FOUND: 773 @ 5.309
5.34	c Sol. found (all assignments made)...
5.34	o 765
5.34	c NEW SOLUTION FOUND: 765 @ 5.33
5.43	c Sol. found (all assignments made)...
5.43	o 763
5.43	c NEW SOLUTION FOUND: 763 @ 5.424
5.58	c Sol. found (all assignments made)...
5.58	o 761
5.58	c NEW SOLUTION FOUND: 761 @ 5.57
5.65	c Sol. found (all assignments made)...
5.65	o 759
5.65	c NEW SOLUTION FOUND: 759 @ 5.639
6.83	c Restart #13 #Var: 172 LB: 0 @ 6.821
8.03	c Restart #14 #Var: 172 LB: 0 @ 8.021
9.63	c Restart #15 #Var: 172 LB: 0 @ 9.621
9.99	c Sol. found (all assignments made)...
9.99	o 757
9.99	c NEW SOLUTION FOUND: 757 @ 9.975
9.99	c Sol. found (all assignments made)...
9.99	o 749
9.99	c NEW SOLUTION FOUND: 749 @ 9.981
10.01	c Sol. found (all assignments made)...
10.01	o 747
10.01	c NEW SOLUTION FOUND: 747 @ 9.992
10.47	c Sol. found (all assignments made)...
10.47	o 745
10.47	c NEW SOLUTION FOUND: 745 @ 10.46
11.48	c Sol. found (all assignments made)...
11.48	o 741
11.48	c NEW SOLUTION FOUND: 741 @ 11.467
11.51	c Sol. found (all assignments made)...
11.51	o 739
11.51	c NEW SOLUTION FOUND: 739 @ 11.494
12.91	c Sol. found (all assignments made)...
12.91	o 737
12.91	c NEW SOLUTION FOUND: 737 @ 12.893
12.92	c Sol. found (all assignments made)...
12.92	o 735
12.92	c NEW SOLUTION FOUND: 735 @ 12.906
13.11	c Sol. found (all assignments made)...
13.11	o 733
13.11	c NEW SOLUTION FOUND: 733 @ 13.095
13.19	c Sol. found (all assignments made)...
13.19	o 731
13.19	c NEW SOLUTION FOUND: 731 @ 13.171
13.77	c Sol. found (all assignments made)...
13.77	o 721
13.77	c NEW SOLUTION FOUND: 721 @ 13.754
13.78	c Sol. found (all assignments made)...
13.78	o 719
13.78	c NEW SOLUTION FOUND: 719 @ 13.764
13.81	c Sol. found (all assignments made)...
13.81	o 717
13.81	c NEW SOLUTION FOUND: 717 @ 13.789
13.89	c Sol. found (all assignments made)...
13.89	o 715
13.89	c NEW SOLUTION FOUND: 715 @ 13.869
13.95	c Sol. found (all assignments made)...
13.95	o 713
13.95	c NEW SOLUTION FOUND: 713 @ 13.931
13.99	c Sol. found (all assignments made)...
13.99	o 711
13.99	c NEW SOLUTION FOUND: 711 @ 13.969
14.04	c Sol. found (all assignments made)...
14.04	o 709
14.04	c NEW SOLUTION FOUND: 709 @ 14.024
16.52	c Restart #16 #Var: 172 LB: 0 @ 16.498
18.39	c Restart #17 #Var: 172 LB: 0 @ 18.37
18.55	c Sol. found (all assignments made)...
18.55	o 662
18.55	c NEW SOLUTION FOUND: 662 @ 18.532
18.55	c Sol. found (all assignments made)...
18.55	o 658
18.55	c NEW SOLUTION FOUND: 658 @ 18.532
18.56	c Sol. found (all assignments made)...
18.56	o 656
18.56	c NEW SOLUTION FOUND: 656 @ 18.543
18.56	c Sol. found (all assignments made)...
18.56	o 654
18.56	c NEW SOLUTION FOUND: 654 @ 18.545
18.57	c Sol. found (all assignments made)...
18.57	o 650
18.57	c NEW SOLUTION FOUND: 650 @ 18.554
18.58	c Sol. found (all assignments made)...
18.58	o 646
18.58	c NEW SOLUTION FOUND: 646 @ 18.563
18.59	c Sol. found (all assignments made)...
18.59	o 642
18.59	c NEW SOLUTION FOUND: 642 @ 18.57
18.80	c Sol. found (all assignments made)...
18.80	o 638
18.80	c NEW SOLUTION FOUND: 638 @ 18.776
18.89	c Sol. found (all assignments made)...
18.89	o 636
18.89	c NEW SOLUTION FOUND: 636 @ 18.869
18.99	c Sol. found (all assignments made)...
18.99	o 630
18.99	c NEW SOLUTION FOUND: 630 @ 18.973
19.01	c Sol. found (all assignments made)...
19.01	o 622
19.01	c NEW SOLUTION FOUND: 622 @ 18.991
19.02	c Sol. found (all assignments made)...
19.02	o 618
19.02	c NEW SOLUTION FOUND: 618 @ 18.997
19.04	c Sol. found (all assignments made)...
19.04	o 614
19.04	c NEW SOLUTION FOUND: 614 @ 19.024
19.23	c Sol. found (all assignments made)...
19.23	o 610
19.23	c NEW SOLUTION FOUND: 610 @ 19.211
19.27	c Sol. found (all assignments made)...
19.27	o 606
19.27	c NEW SOLUTION FOUND: 606 @ 19.25
19.35	c Sol. found (all assignments made)...
19.35	o 604
19.35	c NEW SOLUTION FOUND: 604 @ 19.329
22.08	c Restart #18 #Var: 172 LB: 0 @ 22.058
23.74	c Restart #19 #Var: 172 LB: 0 @ 23.714
24.53	c Sol. found (all assignments made)...
24.53	o 572
24.53	c NEW SOLUTION FOUND: 572 @ 24.506
24.62	c Sol. found (all assignments made)...
24.62	o 556
24.62	c NEW SOLUTION FOUND: 556 @ 24.601
24.91	c Sol. found (all assignments made)...
24.91	o 554
24.91	c NEW SOLUTION FOUND: 554 @ 24.884
25.17	c Sol. found (all assignments made)...
25.17	o 548
25.17	c NEW SOLUTION FOUND: 548 @ 25.149
25.19	c Sol. found (all assignments made)...
25.19	o 532
25.19	c NEW SOLUTION FOUND: 532 @ 25.169
25.22	c Sol. found (all assignments made)...
25.22	o 524
25.22	c NEW SOLUTION FOUND: 524 @ 25.202
25.83	c Sol. found (all assignments made)...
25.83	o 500
25.83	c NEW SOLUTION FOUND: 500 @ 25.809
25.85	c Sol. found (all assignments made)...
25.85	o 492
25.85	c NEW SOLUTION FOUND: 492 @ 25.829
25.92	c Sol. found (all assignments made)...
25.92	o 490
25.92	c NEW SOLUTION FOUND: 490 @ 25.897
27.25	c Sol. found (all assignments made)...
27.25	o 488
27.25	c NEW SOLUTION FOUND: 488 @ 27.222
27.87	c Sol. found (all assignments made)...
27.87	o 484
27.87	c NEW SOLUTION FOUND: 484 @ 27.849
28.18	c Sol. found (all assignments made)...
28.18	o 480
28.18	c NEW SOLUTION FOUND: 480 @ 28.158
28.72	c Sol. found (all assignments made)...
28.72	o 478
28.72	c NEW SOLUTION FOUND: 478 @ 28.699
31.17	c Restart #20 #Var: 172 LB: 0 @ 31.146
34.47	c Restart #21 #Var: 172 LB: 0 @ 34.449
39.12	c Restart #22 #Var: 172 LB: 0 @ 39.097
43.09	c Restart #23 #Var: 172 LB: 0 @ 43.068
47.28	c Sol. found (all assignments made)...
47.28	c Sol. found (all assignments made)...
47.28	o 476
47.28	c NEW SOLUTION FOUND: 476 @ 47.252
47.41	c Sol. found (all assignments made)...
47.41	o 474
47.41	c NEW SOLUTION FOUND: 474 @ 47.38
47.45	c Sol. found (all assignments made)...
47.45	o 472
47.45	c NEW SOLUTION FOUND: 472 @ 47.42
47.90	c Sol. found (all assignments made)...
47.90	o 468
47.90	c NEW SOLUTION FOUND: 468 @ 47.875
48.37	c Sol. found (all assignments made)...
48.37	o 466
48.37	c NEW SOLUTION FOUND: 466 @ 48.344
48.38	c Sol. found (all assignments made)...
48.38	o 464
48.38	c NEW SOLUTION FOUND: 464 @ 48.348
48.58	c Sol. found (all assignments made)...
48.58	o 462
48.58	c NEW SOLUTION FOUND: 462 @ 48.551
48.58	c Sol. found (all assignments made)...
48.58	o 460
48.58	c NEW SOLUTION FOUND: 460 @ 48.556
48.61	c Sol. found (all assignments made)...
48.61	o 458
48.61	c NEW SOLUTION FOUND: 458 @ 48.577
48.61	c Sol. found (all assignments made)...
48.61	o 456
48.61	c NEW SOLUTION FOUND: 456 @ 48.586
50.71	c Restart #24 #Var: 172 LB: 0 @ 50.68
53.20	c Sol. found (all assignments made)...
53.20	o 430
53.20	c NEW SOLUTION FOUND: 430 @ 53.174
53.21	c Sol. found (all assignments made)...
53.21	o 426
53.21	c NEW SOLUTION FOUND: 426 @ 53.181
53.23	c Sol. found (all assignments made)...
53.23	o 424
53.23	c NEW SOLUTION FOUND: 424 @ 53.198
53.24	c Sol. found (all assignments made)...
53.24	o 418
53.24	c NEW SOLUTION FOUND: 418 @ 53.211
53.24	c Sol. found (all assignments made)...
53.24	o 416
53.24	c NEW SOLUTION FOUND: 416 @ 53.213
55.71	c Sol. found (all assignments made)...
55.71	o 412
55.71	c NEW SOLUTION FOUND: 412 @ 55.685
55.72	c Sol. found (all assignments made)...
55.72	o 404
55.72	c NEW SOLUTION FOUND: 404 @ 55.686
55.73	c Sol. found (all assignments made)...
55.73	o 402
55.73	c NEW SOLUTION FOUND: 402 @ 55.696
55.88	c Sol. found (all assignments made)...
55.88	o 396
55.88	c NEW SOLUTION FOUND: 396 @ 55.85
55.89	c Sol. found (all assignments made)...
55.89	o 394
55.89	c NEW SOLUTION FOUND: 394 @ 55.863
57.21	c Sol. found (all assignments made)...
57.21	o 388
57.21	c NEW SOLUTION FOUND: 388 @ 57.18
57.22	c Sol. found (all assignments made)...
57.22	o 384
57.22	c NEW SOLUTION FOUND: 384 @ 57.194
57.26	c Sol. found (all assignments made)...
57.26	o 380
57.26	c NEW SOLUTION FOUND: 380 @ 57.231
57.32	c Sol. found (all assignments made)...
57.32	o 378
57.32	c NEW SOLUTION FOUND: 378 @ 57.289
57.37	c Sol. found (all assignments made)...
57.37	o 374
57.37	c NEW SOLUTION FOUND: 374 @ 57.338
57.40	c Sol. found (all assignments made)...
57.40	o 372
57.40	c NEW SOLUTION FOUND: 372 @ 57.37
57.49	c Sol. found (all assignments made)...
57.49	o 370
57.49	c NEW SOLUTION FOUND: 370 @ 57.456
57.65	c Sol. found (all assignments made)...
57.65	o 368
57.65	c NEW SOLUTION FOUND: 368 @ 57.618
58.09	c Sol. found (all assignments made)...
58.09	o 364
58.09	c NEW SOLUTION FOUND: 364 @ 58.061
58.17	c Sol. found (all assignments made)...
58.17	o 348
58.17	c NEW SOLUTION FOUND: 348 @ 58.138
58.23	c Sol. found (all assignments made)...
58.23	o 346
58.23	c NEW SOLUTION FOUND: 346 @ 58.2
58.28	c Sol. found (all assignments made)...
58.28	o 340
58.28	c NEW SOLUTION FOUND: 340 @ 58.249
58.49	c Sol. found (all assignments made)...
58.49	o 338
58.49	c NEW SOLUTION FOUND: 338 @ 58.463
58.79	c Sol. found (all assignments made)...
58.79	o 336
58.79	c NEW SOLUTION FOUND: 336 @ 58.757
58.99	c Sol. found (all assignments made)...
58.99	o 334
58.99	c NEW SOLUTION FOUND: 334 @ 58.958
59.10	c Sol. found (all assignments made)...
59.10	o 332
59.10	c NEW SOLUTION FOUND: 332 @ 59.071
59.33	c Sol. found (all assignments made)...
59.33	o 330
59.33	c NEW SOLUTION FOUND: 330 @ 59.298
65.55	c Sol. found (all assignments made)...
65.55	o 328
65.55	c NEW SOLUTION FOUND: 328 @ 65.521
65.78	c Sol. found (all assignments made)...
65.78	o 326
65.78	c NEW SOLUTION FOUND: 326 @ 65.752
66.17	c Sol. found (all assignments made)...
66.17	o 324
66.17	c NEW SOLUTION FOUND: 324 @ 66.142
78.89	c Restart #25 #Var: 172 LB: 0 @ 78.858
84.11	c Restart #26 #Var: 172 LB: 0 @ 84.071
87.99	c Restart #27 #Var: 172 LB: 0 @ 87.949
93.36	c Sol. found (all assignments made)...
93.36	o 322
93.36	c NEW SOLUTION FOUND: 322 @ 93.318
93.46	c Sol. found (all assignments made)...
93.46	o 320
93.46	c NEW SOLUTION FOUND: 320 @ 93.424
97.02	c Sol. found (all assignments made)...
97.02	o 318
97.02	c NEW SOLUTION FOUND: 318 @ 96.977
111.32	c Restart #28 #Var: 172 LB: 0 @ 111.28
118.10	c Restart #29 #Var: 172 LB: 0 @ 118.05
140.65	c Restart #30 #Var: 172 LB: 0 @ 140.6
158.26	c Restart #31 #Var: 172 LB: 0 @ 158.2
191.17	c CHANGE to MIS mode... 	UB: 318	MIS: 0	LPR: 0 (0.036)	Diff: nan
191.17	c Restart #0 #Var: 172 LB: 0 @ 191.11
191.93	c Restart #1 #Var: 172 LB: 0 @ 191.87
194.07	c Restart #2 #Var: 172 LB: 0 @ 194
198.63	c Restart #3 #Var: 172 LB: 0 @ 198.56
201.84	c Restart #4 #Var: 172 LB: 0 @ 201.77
206.49	c Restart #5 #Var: 172 LB: 0 @ 206.42
212.80	c Restart #6 #Var: 172 LB: 0 @ 212.73
221.26	c Restart #7 #Var: 172 LB: 0 @ 221.19
226.62	c Restart #8 #Var: 172 LB: 0 @ 226.55
235.96	c Restart #9 #Var: 172 LB: 0 @ 235.89
247.46	c Restart #10 #Var: 172 LB: 0 @ 247.39
256.45	c Restart #11 #Var: 172 LB: 0 @ 256.37
267.34	c Restart #12 #Var: 172 LB: 0 @ 267.25
277.17	c Restart #13 #Var: 172 LB: 0 @ 277.08
289.99	c Restart #14 #Var: 172 LB: 0 @ 289.91
307.58	c Restart #15 #Var: 172 LB: 0 @ 307.49
322.14	c Restart #16 #Var: 172 LB: 0 @ 322.05
335.44	c Restart #17 #Var: 172 LB: 0 @ 335.35
341.41	c Restart #18 #Var: 172 LB: 0 @ 341.31
351.62	c Restart #19 #Var: 172 LB: 0 @ 351.52
359.63	c Restart #20 #Var: 172 LB: 0 @ 359.53
381.17	c Restart #21 #Var: 172 LB: 0 @ 381.07
395.78	c Restart #22 #Var: 172 LB: 0 @ 395.67
413.67	c Restart #23 #Var: 172 LB: 0 @ 413.56
434.73	c Restart #24 #Var: 172 LB: 0 @ 434.61
450.13	c Sol. found (all assignments made)...
450.14	c Sol. found (all assignments made)...
450.24	c Sol. found (all assignments made)...
450.26	c Sol. found (all assignments made)...
450.26	o 314
450.26	c NEW SOLUTION FOUND: 314 @ 450.14
450.32	c Sol. found (all assignments made)...
450.32	o 312
450.32	c NEW SOLUTION FOUND: 312 @ 450.2
450.34	c Sol. found (all assignments made)...
450.34	o 310
450.34	c NEW SOLUTION FOUND: 310 @ 450.21
453.17	c Sol. found (all assignments made)...
453.18	o 308
453.18	c NEW SOLUTION FOUND: 308 @ 453.05
472.56	c Restart #25 #Var: 172 LB: 0 @ 472.43
487.38	c Restart #26 #Var: 172 LB: 0 @ 487.25
506.99	c Restart #27 #Var: 172 LB: 0 @ 506.85
529.37	c Restart #28 #Var: 172 LB: 0 @ 529.23
548.87	c Restart #29 #Var: 172 LB: 0 @ 548.72
565.38	c Sol. found (all assignments made)...
565.38	o 296
565.38	c NEW SOLUTION FOUND: 296 @ 565.22
566.84	c Sol. found (all assignments made)...
566.84	o 292
566.84	c NEW SOLUTION FOUND: 292 @ 566.69
566.99	c Sol. found (all assignments made)...
566.99	o 290
566.99	c NEW SOLUTION FOUND: 290 @ 566.84
567.28	c Sol. found (all assignments made)...
567.28	o 288
567.28	c NEW SOLUTION FOUND: 288 @ 567.13
572.65	c Sol. found (all assignments made)...
572.65	o 286
572.65	c NEW SOLUTION FOUND: 286 @ 572.5
576.05	c Sol. found (all assignments made)...
576.05	o 284
576.05	c NEW SOLUTION FOUND: 284 @ 575.9
578.74	c Sol. found (all assignments made)...
578.74	o 282
578.74	c NEW SOLUTION FOUND: 282 @ 578.59
605.79	c Restart #30 #Var: 172 LB: 0 @ 605.63
633.48	c Restart #31 #Var: 172 LB: 0 @ 633.31
670.74	c Restart #32 #Var: 172 LB: 0 @ 670.56
696.15	c Restart #33 #Var: 172 LB: 0 @ 695.96
718.39	c Restart #34 #Var: 172 LB: 0 @ 718.2
732.62	c Restart #35 #Var: 172 LB: 0 @ 732.43
756.65	c Restart #36 #Var: 172 LB: 0 @ 756.46
783.77	c Restart #37 #Var: 172 LB: 0 @ 783.57
799.36	c Sol. found (all assignments made)...
799.36	o 281
799.36	c NEW SOLUTION FOUND: 281 @ 799.15
804.28	c Sol. found (all assignments made)...
804.28	o 279
804.28	c NEW SOLUTION FOUND: 279 @ 804.07
807.62	c Sol. found (all assignments made)...
807.62	o 277
807.62	c NEW SOLUTION FOUND: 277 @ 807.41
808.31	c Sol. found (all assignments made)...
808.36	c Sol. found (all assignments made)...
808.36	o 275
808.36	c NEW SOLUTION FOUND: 275 @ 808.15
831.98	c Sol. found (all assignments made)...
831.98	o 273
831.98	c NEW SOLUTION FOUND: 273 @ 831.76
834.65	c Sol. found (all assignments made)...
834.65	o 271
834.65	c NEW SOLUTION FOUND: 271 @ 834.43
838.37	c Sol. found (all assignments made)...
838.37	o 267
838.37	c NEW SOLUTION FOUND: 267 @ 838.15
839.44	c Sol. found (all assignments made)...
839.45	o 263
839.45	c NEW SOLUTION FOUND: 263 @ 839.23
839.72	c Sol. found (all assignments made)...
839.72	o 261
839.72	c NEW SOLUTION FOUND: 261 @ 839.5
841.13	c Sol. found (all assignments made)...
841.13	o 259
841.13	c NEW SOLUTION FOUND: 259 @ 840.91
857.65	c Sol. found (all assignments made)...
857.67	c Sol. found (all assignments made)...
857.67	o 257
857.67	c NEW SOLUTION FOUND: 257 @ 857.45
862.00	c Sol. found (all assignments made)...
862.00	o 255
862.00	c NEW SOLUTION FOUND: 255 @ 861.77
867.03	c Sol. found (all assignments made)...
867.03	o 253
867.03	c NEW SOLUTION FOUND: 253 @ 866.81
867.72	c Sol. found (all assignments made)...
867.72	o 251
867.72	c NEW SOLUTION FOUND: 251 @ 867.49
870.24	c Sol. found (all assignments made)...
870.24	o 249
870.24	c NEW SOLUTION FOUND: 249 @ 870.01
871.86	c Sol. found (all assignments made)...
871.86	o 247
871.86	c NEW SOLUTION FOUND: 247 @ 871.63
872.13	c Sol. found (all assignments made)...
872.13	o 245
872.13	c NEW SOLUTION FOUND: 245 @ 871.9
873.54	c Sol. found (all assignments made)...
873.54	o 243
873.54	c NEW SOLUTION FOUND: 243 @ 873.31
902.76	c Restart #38 #Var: 172 LB: 0 @ 902.53
956.05	c Restart #39 #Var: 172 LB: 0 @ 955.8
964.45	c Sol. found (all assignments made)...
964.45	o 241
964.45	c NEW SOLUTION FOUND: 241 @ 964.2
1003.75	c Restart #40 #Var: 172 LB: 0 @ 1003.5
1032.39	c Restart #41 #Var: 172 LB: 0 @ 1032.1
1057.62	c Sol. found (all assignments made)...
1057.62	o 239
1057.62	c NEW SOLUTION FOUND: 239 @ 1057.3
1059.74	c Sol. found (all assignments made)...
1059.74	o 237
1059.74	c NEW SOLUTION FOUND: 237 @ 1059.5
1073.82	c Sol. found (all assignments made)...
1073.82	o 235
1073.82	c NEW SOLUTION FOUND: 235 @ 1073.5
1094.50	c Restart #42 #Var: 172 LB: 0 @ 1094.2
1190.65	c Restart #43 #Var: 172 LB: 0 @ 1190.3
1249.32	c Restart #44 #Var: 172 LB: 0 @ 1249
1285.51	c Restart #45 #Var: 172 LB: 0 @ 1285.2
1328.06	c Restart #46 #Var: 172 LB: 0 @ 1327.6
1372.96	c Restart #47 #Var: 172 LB: 0 @ 1372.5
1444.52	c Restart #48 #Var: 172 LB: 0 @ 1444.1
1478.00	c Restart #49 #Var: 172 LB: 0 @ 1477.5
1639.60	c Restart #50 #Var: 172 LB: 0 @ 1639.1
1649.29	c Sol. found (all assignments made)...
1649.29	o 234
1649.29	c NEW SOLUTION FOUND: 234 @ 1648.8
1649.32	c Sol. found (all assignments made)...
1649.32	o 212
1649.32	c NEW SOLUTION FOUND: 212 @ 1648.8
1649.32	c Sol. found (all assignments made)...
1649.32	o 210
1649.32	c NEW SOLUTION FOUND: 210 @ 1648.8
1665.39	c Sol. found (all assignments made)...
1665.39	o 208
1665.39	c NEW SOLUTION FOUND: 208 @ 1664.9
1735.73	c Restart #51 #Var: 172 LB: 0 @ 1735.2
1771.67	c Sol. found (all assignments made)...
1771.84	c Sol. found (all assignments made)...
1771.86	c Sol. found (all assignments made)...
1787.84	c Sol. found (all assignments made)...
1787.84	o 206
1787.84	c NEW SOLUTION FOUND: 206 @ 1787.3
1794.65	c Sol. found (all assignments made)...
1794.65	o 202
1794.65	c NEW SOLUTION FOUND: 202 @ 1794.1
1798.76	c Sol. found (all assignments made)...
1798.76	o 194
1798.76	c NEW SOLUTION FOUND: 194 @ 1798.2
1800.21	c Sol. found (all assignments made)...
1800.21	o 192
1800.21	c NEW SOLUTION FOUND: 192 @ 1799.7
1800.54	s SATISFIABLE
1800.54	c Cost: 192
1800.54	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.54	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 x57
1800.54	v -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 -x84
1800.54	v -x85 -x86 -x87 -x88 x89 x90 x91 -x92 -x93 x94 -x95 -x96 x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109
1800.54	v -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 x118 x119 -x120 -x121 x122 -x123 -x124 -x125 x126 x128 x129 -x130 x131 x132
1800.54	v -x133 x134 x135 -x136 -x137 -x138 x139 x140 x141 -x142 x143 -x144 -x145 -x146 x147 -x148 x149 -x150 -x151 -x152 -x153 x154
1800.54	v -x155 x156 -x157 -x158 x159 -x160 x161 x162 x163 -x164 -x165 x166 x167 -x168 -x169 -x170 -x171 -x172 x127
1800.54	c Exit Code: 10
1800.54	c Total time: 1800 s

Verifier Data (download as text)

OK	192

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.98 0.98 0.99 3/64 31568
/proc/meminfo: memFree=1568392/2055920 swapFree=4183100/4192956
[pid=31568] ppid=31566 vsize=4932 CPUtime=0
/proc/31568/stat : 31568 (bsolo) D 31566 31568 31519 0 -1 0 367 0 0 0 0 0 0 0 18 0 1 0 157353758 5050368 330 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 2147483391 4096 16384 18446744072099781622 0 0 17 1 0 0
/proc/31568/statm: 1233 330 226 55 0 125 0

[startup+10.0027 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 31568
/proc/meminfo: memFree=1499216/2055920 swapFree=4183100/4192956
[pid=31568] ppid=31566 vsize=73636 CPUtime=9.98
/proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 17662 0 0 0 985 13 0 0 25 0 1 0 157353758 75403264 17576 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31568/statm: 18409 17576 297 55 0 17301 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 73636

[startup+20.0095 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 31568
/proc/meminfo: memFree=1469072/2055920 swapFree=4183100/4192956
[pid=31568] ppid=31566 vsize=103760 CPUtime=19.98
/proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 25180 0 0 0 1978 20 0 0 25 0 1 0 157353758 106250240 25094 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31568/statm: 25940 25094 297 55 0 24832 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 103760

[startup+30.0154 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 31568
/proc/meminfo: memFree=1439376/2055920 swapFree=4183100/4192956
[pid=31568] ppid=31566 vsize=133484 CPUtime=29.98
/proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 32581 0 0 0 2970 28 0 0 25 0 1 0 157353758 136687616 32495 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31568/statm: 33371 32495 297 55 0 32263 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 133484

[startup+40.0213 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31568
/proc/meminfo: memFree=1422096/2055920 swapFree=4183100/4192956
[pid=31568] ppid=31566 vsize=150828 CPUtime=39.99
/proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 36900 0 0 0 3966 33 0 0 25 0 1 0 157353758 154447872 36813 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31568/statm: 37707 36813 297 55 0 36599 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 150828

[startup+50.0272 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31568
/proc/meminfo: memFree=1401296/2055920 swapFree=4183100/4192956
[pid=31568] ppid=31566 vsize=171700 CPUtime=49.99
/proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 42083 0 0 0 4962 37 0 0 25 0 1 0 157353758 175820800 41995 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4200059 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31568/statm: 42925 41995 297 55 0 41817 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 171700

[startup+60.0331 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31568
/proc/meminfo: memFree=1384400/2055920 swapFree=4183100/4192956
[pid=31568] ppid=31566 vsize=188612 CPUtime=59.99
/proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 46296 0 0 0 5958 41 0 0 25 0 1 0 157353758 193138688 46207 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31568/statm: 47153 46207 297 55 0 46045 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 188612

[startup+70.04 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31568
/proc/meminfo: memFree=1378960/2055920 swapFree=4183100/4192956
[pid=31568] ppid=31566 vsize=194196 CPUtime=69.99
/proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 47660 0 0 0 6956 43 0 0 25 0 1 0 157353758 198856704 47569 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548657 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31568/statm: 48549 47569 297 55 0 47441 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 194196

[startup+80.0469 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31568
/proc/meminfo: memFree=1372880/2055920 swapFree=4183100/4192956
[pid=31568] ppid=31566 vsize=200288 CPUtime=80
/proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 49186 0 0 0 7954 46 0 0 25 0 1 0 157353758 205094912 49094 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31568/statm: 50072 49094 297 55 0 48964 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 200288

[startup+90.0528 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31568
/proc/meminfo: memFree=1357136/2055920 swapFree=4183100/4192956
[pid=31568] ppid=31566 vsize=215888 CPUtime=90.01
/proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 53103 0 0 0 8950 51 0 0 25 0 1 0 157353758 221069312 53009 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31568/statm: 53972 53009 297 55 0 52864 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 215888

[startup+100.059 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31568
/proc/meminfo: memFree=1351248/2055920 swapFree=4183100/4192956
[pid=31568] ppid=31566 vsize=221880 CPUtime=100.01
/proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 54576 0 0 0 9948 53 0 0 25 0 1 0 157353758 227205120 54481 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31568/statm: 55470 54481 297 55 0 54362 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 221880

[startup+110.065 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31568
/proc/meminfo: memFree=1345872/2055920 swapFree=4183100/4192956
[pid=31568] ppid=31566 vsize=227340 CPUtime=110.01
/proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 55926 0 0 0 10946 55 0 0 25 0 1 0 157353758 232796160 55829 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31568/statm: 56835 55829 297 55 0 55727 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 227340

[startup+120.071 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31568
/proc/meminfo: memFree=1336848/2055920 swapFree=4183100/4192956
[pid=31568] ppid=31566 vsize=236408 CPUtime=120.02
/proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 58180 0 0 0 11943 59 0 0 25 0 1 0 157353758 242081792 58078 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31568/statm: 59102 58078 297 55 0 57994 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 236408

[startup+130.076 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31568
/proc/meminfo: memFree=1333840/2055920 swapFree=4183100/4192956
[pid=31568] ppid=31566 vsize=239620 CPUtime=130.02
/proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 58930 0 0 0 12942 60 0 0 25 0 1 0 157353758 245370880 58825 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31568/statm: 59905 58825 297 55 0 58797 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 239620

[startup+140.081 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31568
/proc/meminfo: memFree=1330192/2055920 swapFree=4183100/4192956
[pid=31568] ppid=31566 vsize=243332 CPUtime=140.02
/proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 59837 0 0 0 13941 61 0 0 25 0 1 0 157353758 249171968 59730 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31568/statm: 60833 59730 297 55 0 59725 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 243332

[startup+150.087 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31568
/proc/meminfo: memFree=1325456/2055920 swapFree=4183100/4192956
[pid=31568] ppid=31566 vsize=248016 CPUtime=150.03
/proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 61028 0 0 0 14940 63 0 0 25 0 1 0 157353758 253968384 60920 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31568/statm: 62004 60920 297 55 0 60896 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 248016

[startup+160.093 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31568
/proc/meminfo: memFree=1320464/2055920 swapFree=4183100/4192956
[pid=31568] ppid=31566 vsize=253092 CPUtime=160.03
/proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 62269 0 0 0 15938 65 0 0 25 0 1 0 157353758 259166208 62160 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31568/statm: 63273 62160 297 55 0 62165 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 253092

[startup+170.099 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31568
/proc/meminfo: memFree=1318800/2055920 swapFree=4183100/4192956
[pid=31568] ppid=31566 vsize=254676 CPUtime=170.03
/proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 62685 0 0 0 16937 66 0 0 25 0 1 0 157353758 260788224 62576 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31568/statm: 63669 62576 297 55 0 62561 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 254676

[startup+180.105 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31568
/proc/meminfo: memFree=1316112/2055920 swapFree=4183100/4192956
[pid=31568] ppid=31566 vsize=257316 CPUtime=180.03
/proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 63352 0 0 0 17936 67 0 0 25 0 1 0 157353758 263491584 63242 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31568/statm: 64329 63242 297 55 0 63221 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 257316

[startup+190.111 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31568
/proc/meminfo: memFree=1313040/2055920 swapFree=4183100/4192956
[pid=31568] ppid=31566 vsize=260484 CPUtime=190.04
/proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 64125 0 0 0 18936 68 0 0 25 0 1 0 157353758 266735616 64015 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31568/statm: 65121 64015 297 55 0 64013 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 260484

[startup+200.116 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31568
/proc/meminfo: memFree=1303120/2055920 swapFree=4183100/4192956
[pid=31568] ppid=31566 vsize=271396 CPUtime=200.04
/proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 66726 0 0 0 19934 70 0 0 25 0 1 0 157353758 277909504 66611 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31568/statm: 67849 66611 420 55 0 66741 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 271396

[startup+210.122 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31568

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

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

[startup+1771.05 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31766
/proc/meminfo: memFree=867472/2055920 swapFree=4183100/4192956
[pid=31568] ppid=31566 vsize=709600 CPUtime=1770.52
/proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 177035 0 0 0 176805 247 0 0 25 0 1 0 157353758 726630400 175285 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528720 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31568/statm: 177400 175285 420 55 0 176292 0
Current children cumulated CPU time (s) 1770.52
Current children cumulated vsize (Kb) 709600

[startup+1781.06 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31766
/proc/meminfo: memFree=864912/2055920 swapFree=4183100/4192956
[pid=31568] ppid=31566 vsize=712108 CPUtime=1780.52
/proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 177676 0 0 0 177804 248 0 0 25 0 1 0 157353758 729198592 175926 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31568/statm: 178027 175926 420 55 0 176919 0
Current children cumulated CPU time (s) 1780.52
Current children cumulated vsize (Kb) 712108

[startup+1782.06 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31766
/proc/meminfo: memFree=864784/2055920 swapFree=4183100/4192956
[pid=31568] ppid=31566 vsize=712240 CPUtime=1781.53
/proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 177706 0 0 0 177905 248 0 0 25 0 1 0 157353758 729333760 175956 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31568/statm: 178060 175956 420 55 0 176952 0
Current children cumulated CPU time (s) 1781.53
Current children cumulated vsize (Kb) 712240

[startup+1783.07 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31766
/proc/meminfo: memFree=864656/2055920 swapFree=4183100/4192956
[pid=31568] ppid=31566 vsize=712372 CPUtime=1782.53
/proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 177733 0 0 0 178005 248 0 0 25 0 1 0 157353758 729468928 175983 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31568/statm: 178093 175983 420 55 0 176985 0
Current children cumulated CPU time (s) 1782.53
Current children cumulated vsize (Kb) 712372

[startup+1784.07 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31766
/proc/meminfo: memFree=864592/2055920 swapFree=4183100/4192956
[pid=31568] ppid=31566 vsize=712504 CPUtime=1783.53
/proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 177763 0 0 0 178105 248 0 0 25 0 1 0 157353758 729604096 176013 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31568/statm: 178126 176013 420 55 0 177018 0
Current children cumulated CPU time (s) 1783.53
Current children cumulated vsize (Kb) 712504

[startup+1785.08 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31766
/proc/meminfo: memFree=864400/2055920 swapFree=4183100/4192956
[pid=31568] ppid=31566 vsize=712636 CPUtime=1784.54
/proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 177805 0 0 0 178206 248 0 0 25 0 1 0 157353758 729739264 176055 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31568/statm: 178159 176055 420 55 0 177051 0
Current children cumulated CPU time (s) 1784.54
Current children cumulated vsize (Kb) 712636

[startup+1786.08 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31766
/proc/meminfo: memFree=864272/2055920 swapFree=4183100/4192956
[pid=31568] ppid=31566 vsize=712768 CPUtime=1785.54
/proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 177835 0 0 0 178306 248 0 0 25 0 1 0 157353758 729874432 176085 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31568/statm: 178192 176085 420 55 0 177084 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (Kb) 712768

[startup+1787.09 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31766
/proc/meminfo: memFree=864208/2055920 swapFree=4183100/4192956
[pid=31568] ppid=31566 vsize=712900 CPUtime=1786.55
/proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 177857 0 0 0 178407 248 0 0 25 0 1 0 157353758 730009600 176107 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134524443 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31568/statm: 178225 176107 420 55 0 177117 0
Current children cumulated CPU time (s) 1786.55
Current children cumulated vsize (Kb) 712900

[startup+1788.09 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31766
/proc/meminfo: memFree=863888/2055920 swapFree=4183100/4192956
[pid=31568] ppid=31566 vsize=713228 CPUtime=1787.55
/proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 177938 0 0 0 178507 248 0 0 25 0 1 0 157353758 730345472 176177 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31568/statm: 178307 176177 420 55 0 177199 0
Current children cumulated CPU time (s) 1787.55
Current children cumulated vsize (Kb) 713228

[startup+1789.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31766
/proc/meminfo: memFree=863888/2055920 swapFree=4183100/4192956
[pid=31568] ppid=31566 vsize=713360 CPUtime=1788.57
/proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 177946 0 0 0 178608 249 0 0 25 0 1 0 157353758 730480640 176185 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31568/statm: 178340 176185 420 55 0 177232 0
Current children cumulated CPU time (s) 1788.57
Current children cumulated vsize (Kb) 713360

[startup+1790.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31766
/proc/meminfo: memFree=863696/2055920 swapFree=4183100/4192956
[pid=31568] ppid=31566 vsize=713520 CPUtime=1789.57
/proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 177991 0 0 0 178708 249 0 0 25 0 1 0 157353758 730644480 176227 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31568/statm: 178380 176227 420 55 0 177272 0
Current children cumulated CPU time (s) 1789.57
Current children cumulated vsize (Kb) 713520

[startup+1791.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31766
/proc/meminfo: memFree=863696/2055920 swapFree=4183100/4192956
[pid=31568] ppid=31566 vsize=713520 CPUtime=1790.57
/proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 177999 0 0 0 178808 249 0 0 25 0 1 0 157353758 730644480 176235 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31568/statm: 178380 176235 420 55 0 177272 0
Current children cumulated CPU time (s) 1790.57
Current children cumulated vsize (Kb) 713520

[startup+1792.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31766
/proc/meminfo: memFree=863568/2055920 swapFree=4183100/4192956
[pid=31568] ppid=31566 vsize=713652 CPUtime=1791.58
/proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 178027 0 0 0 178909 249 0 0 25 0 1 0 157353758 730779648 176263 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31568/statm: 178413 176263 420 55 0 177305 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (Kb) 713652

[startup+1793.12 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31766
/proc/meminfo: memFree=863504/2055920 swapFree=4183100/4192956
[pid=31568] ppid=31566 vsize=713784 CPUtime=1792.58
/proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 178047 0 0 0 179009 249 0 0 25 0 1 0 157353758 730914816 176283 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31568/statm: 178446 176283 420 55 0 177338 0
Current children cumulated CPU time (s) 1792.58
Current children cumulated vsize (Kb) 713784

[startup+1794.12 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31766
/proc/meminfo: memFree=863376/2055920 swapFree=4183100/4192956
[pid=31568] ppid=31566 vsize=713784 CPUtime=1793.59
/proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 178067 0 0 0 179110 249 0 0 25 0 1 0 157353758 730914816 176303 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528720 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31568/statm: 178446 176303 420 55 0 177338 0
Current children cumulated CPU time (s) 1793.59
Current children cumulated vsize (Kb) 713784

[startup+1795.13 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31766
/proc/meminfo: memFree=863312/2055920 swapFree=4183100/4192956
[pid=31568] ppid=31566 vsize=713916 CPUtime=1794.59
/proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 178087 0 0 0 179210 249 0 0 25 0 1 0 157353758 731049984 176323 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31568/statm: 178479 176323 420 55 0 177371 0
Current children cumulated CPU time (s) 1794.59
Current children cumulated vsize (Kb) 713916

[startup+1796.13 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31766
/proc/meminfo: memFree=863184/2055920 swapFree=4183100/4192956
[pid=31568] ppid=31566 vsize=714048 CPUtime=1795.6
/proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 178120 0 0 0 179311 249 0 0 25 0 1 0 157353758 731185152 176356 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31568/statm: 178512 176356 420 55 0 177404 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (Kb) 714048

[startup+1797.14 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31766
/proc/meminfo: memFree=863120/2055920 swapFree=4183100/4192956
[pid=31568] ppid=31566 vsize=714048 CPUtime=1796.6
/proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 178136 0 0 0 179411 249 0 0 25 0 1 0 157353758 731185152 176372 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31568/statm: 178512 176372 420 55 0 177404 0
Current children cumulated CPU time (s) 1796.6
Current children cumulated vsize (Kb) 714048

[startup+1798.14 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31766
/proc/meminfo: memFree=862928/2055920 swapFree=4183100/4192956
[pid=31568] ppid=31566 vsize=714312 CPUtime=1797.61
/proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 178180 0 0 0 179512 249 0 0 25 0 1 0 157353758 731455488 176416 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31568/statm: 178578 176416 420 55 0 177470 0
Current children cumulated CPU time (s) 1797.61
Current children cumulated vsize (Kb) 714312

[startup+1799.15 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31766
/proc/meminfo: memFree=862864/2055920 swapFree=4183100/4192956
[pid=31568] ppid=31566 vsize=714312 CPUtime=1798.61
/proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 178200 0 0 0 179612 249 0 0 25 0 1 0 157353758 731455488 176436 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31568/statm: 178578 176436 420 55 0 177470 0
Current children cumulated CPU time (s) 1798.61
Current children cumulated vsize (Kb) 714312

[startup+1800.15 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31766
/proc/meminfo: memFree=862736/2055920 swapFree=4183100/4192956
[pid=31568] ppid=31566 vsize=714444 CPUtime=1799.61
/proc/31568/stat : 31568 (bsolo) R 31566 31568 31519 0 -1 0 178226 0 0 0 179712 249 0 0 25 0 1 0 157353758 731590656 176462 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31568/statm: 178611 176462 420 55 0 177503 0
Current children cumulated CPU time (s) 1799.61
Current children cumulated vsize (Kb) 714444

Child status: 10
Real time (s): 1800.66
CPU time (s): 1800.13
CPU user time (s): 1797.51
CPU system time (s): 2.6106
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (Kb): 714444
The end

Launcher Data (download as text)

Begin job on node25 on Fri Jul 28 16:39:48 UTC 2006


FILE ID= 50323-1154104788

PBS_JOBID= 886254

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  7b9886d41278c23acb93039c546a310e

RANDOM SEED= 526263947

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.209
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.209
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:       1568600 kB
Buffers:         36964 kB
Cached:         375532 kB
SwapCached:       3800 kB
Active:          36028 kB
Inactive:       385240 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1568600 kB
SwapTotal:     4192956 kB
SwapFree:      4183100 kB
Dirty:             184 kB
Writeback:           0 kB
Mapped:          14700 kB
Slab:            52048 kB
Committed_AS:   742092 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node25 on Fri Jul 28 17:09:49 UTC 2006