Trace number 50328

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/05SAT2 1800.28 1800.99

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_1.opb
MD5SUM5bf563c7058af01702ea80887f1d43ad
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark1782.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
Optimality of the best value was proved NO
Number of variables120
Total number of constraints10
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 constraints10
Minimum length of a constraint55
Maximum length of a constraint56
Number of terms in the objective function 80
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 2550
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1086
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3768
Number of bits of the biggest sum of numbers12
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 120 variables and 10 constraints.
0.02	c No problem reductions applied in OPT. instance.
0.02	c	preprocess terminated. Elapsed time: 0.006
0.02	c After prepocess the problem consists of 120 variables and 10 constraints.
0.02	c Initial Lower Bound: 0
0.03	c Restart #1 #Var: 120 LB: 0 @ 0.015
0.04	c Restart #2 #Var: 120 LB: 0 @ 0.034
0.07	c Restart #3 #Var: 120 LB: 0 @ 0.063
0.11	c Restart #4 #Var: 120 LB: 0 @ 0.1
0.15	c Restart #5 #Var: 120 LB: 0 @ 0.144
0.19	c Restart #6 #Var: 120 LB: 0 @ 0.183
0.24	c Restart #7 #Var: 120 LB: 0 @ 0.232
0.30	c Restart #8 #Var: 120 LB: 0 @ 0.289
0.37	c Restart #9 #Var: 120 LB: 0 @ 0.361
0.45	c Sol. found (all assignments made)...
0.45	o 1317
0.45	c NEW SOLUTION FOUND: 1317 @ 0.444
0.45	c Sol. found (all assignments made)...
0.45	o 1189
0.45	c NEW SOLUTION FOUND: 1189 @ 0.444
0.45	c Sol. found (all assignments made)...
0.45	c Sol. found (all assignments made)...
0.45	o 1157
0.45	c NEW SOLUTION FOUND: 1157 @ 0.444
0.46	c Sol. found (all assignments made)...
0.46	o 1125
0.46	c NEW SOLUTION FOUND: 1125 @ 0.446
0.46	c Sol. found (all assignments made)...
0.46	o 1109
0.46	c NEW SOLUTION FOUND: 1109 @ 0.446
0.46	c Sol. found (all assignments made)...
0.46	o 1101
0.46	c NEW SOLUTION FOUND: 1101 @ 0.446
0.46	c Sol. found (all assignments made)...
0.46	o 1085
0.46	c NEW SOLUTION FOUND: 1085 @ 0.447
0.46	c Sol. found (all assignments made)...
0.46	o 1081
0.46	c NEW SOLUTION FOUND: 1081 @ 0.449
0.46	c Sol. found (all assignments made)...
0.46	o 1079
0.46	c NEW SOLUTION FOUND: 1079 @ 0.451
0.46	c Sol. found (all assignments made)...
0.46	o 1077
0.46	c NEW SOLUTION FOUND: 1077 @ 0.452
0.47	c Sol. found (all assignments made)...
0.47	o 1069
0.47	c NEW SOLUTION FOUND: 1069 @ 0.458
0.47	c Sol. found (all assignments made)...
0.47	o 1053
0.47	c NEW SOLUTION FOUND: 1053 @ 0.459
0.47	c Sol. found (all assignments made)...
0.47	o 1045
0.47	c NEW SOLUTION FOUND: 1045 @ 0.459
0.47	c Sol. found (all assignments made)...
0.47	o 1037
0.47	c NEW SOLUTION FOUND: 1037 @ 0.462
0.47	c Sol. found (all assignments made)...
0.47	o 1035
0.47	c NEW SOLUTION FOUND: 1035 @ 0.464
0.48	c Sol. found (all assignments made)...
0.48	o 1031
0.48	c NEW SOLUTION FOUND: 1031 @ 0.468
0.48	c Sol. found (all assignments made)...
0.48	o 1029
0.48	c NEW SOLUTION FOUND: 1029 @ 0.47
0.49	c Sol. found (all assignments made)...
0.49	o 1027
0.49	c NEW SOLUTION FOUND: 1027 @ 0.476
0.49	c Sol. found (all assignments made)...
0.49	o 1023
0.49	c NEW SOLUTION FOUND: 1023 @ 0.477
0.49	c Sol. found (all assignments made)...
0.49	o 1021
0.49	c NEW SOLUTION FOUND: 1021 @ 0.479
0.49	c Sol. found (all assignments made)...
0.49	o 1017
0.49	c NEW SOLUTION FOUND: 1017 @ 0.48
0.50	c Sol. found (all assignments made)...
0.50	o 1015
0.50	c NEW SOLUTION FOUND: 1015 @ 0.489
0.53	c Sol. found (all assignments made)...
0.54	c Sol. found (all assignments made)...
0.54	c Sol. found (all assignments made)...
0.54	c Sol. found (all assignments made)...
0.54	c Sol. found (all assignments made)...
0.54	c Sol. found (all assignments made)...
0.55	c Sol. found (all assignments made)...
0.55	c Sol. found (all assignments made)...
0.56	c Sol. found (all assignments made)...
0.56	c Sol. found (all assignments made)...
0.56	c Sol. found (all assignments made)...
0.56	c Sol. found (all assignments made)...
0.57	c Sol. found (all assignments made)...
0.68	c Restart #10 #Var: 120 LB: 0 @ 0.667
0.77	c Sol. found (all assignments made)...
0.77	o 1000
0.77	c NEW SOLUTION FOUND: 1000 @ 0.757
0.79	c Sol. found (all assignments made)...
0.79	o 954
0.79	c NEW SOLUTION FOUND: 954 @ 0.782
0.79	c Sol. found (all assignments made)...
0.79	o 922
0.79	c NEW SOLUTION FOUND: 922 @ 0.783
0.81	c Sol. found (all assignments made)...
0.81	o 916
0.81	c NEW SOLUTION FOUND: 916 @ 0.795
0.83	c Sol. found (all assignments made)...
0.83	o 908
0.83	c NEW SOLUTION FOUND: 908 @ 0.82
0.85	c Sol. found (all assignments made)...
0.85	o 904
0.85	c NEW SOLUTION FOUND: 904 @ 0.836
0.89	c Sol. found (all assignments made)...
0.89	o 900
0.89	c NEW SOLUTION FOUND: 900 @ 0.877
0.89	c Sol. found (all assignments made)...
0.89	o 896
0.89	c NEW SOLUTION FOUND: 896 @ 0.883
0.89	c Sol. found (all assignments made)...
0.89	o 892
0.89	c NEW SOLUTION FOUND: 892 @ 0.883
0.97	c Sol. found (all assignments made)...
0.97	o 890
0.97	c NEW SOLUTION FOUND: 890 @ 0.957
1.02	c Sol. found (all assignments made)...
1.02	o 840
1.02	c NEW SOLUTION FOUND: 840 @ 1.009
1.02	c Sol. found (all assignments made)...
1.02	o 836
1.02	c NEW SOLUTION FOUND: 836 @ 1.009
1.02	c Sol. found (all assignments made)...
1.02	c Sol. found (all assignments made)...
1.02	o 834
1.02	c NEW SOLUTION FOUND: 834 @ 1.009
1.02	c Sol. found (all assignments made)...
1.02	c Sol. found (all assignments made)...
1.02	o 830
1.02	c NEW SOLUTION FOUND: 830 @ 1.01
1.02	c Sol. found (all assignments made)...
1.02	c Sol. found (all assignments made)...
1.02	o 788
1.02	c NEW SOLUTION FOUND: 788 @ 1.014
1.02	c Sol. found (all assignments made)...
1.02	o 786
1.02	c NEW SOLUTION FOUND: 786 @ 1.014
1.02	c Sol. found (all assignments made)...
1.02	o 782
1.02	c NEW SOLUTION FOUND: 782 @ 1.014
1.03	c Sol. found (all assignments made)...
1.03	o 774
1.03	c NEW SOLUTION FOUND: 774 @ 1.015
1.03	c Sol. found (all assignments made)...
1.03	o 772
1.03	c NEW SOLUTION FOUND: 772 @ 1.016
1.03	c Sol. found (all assignments made)...
1.03	c Sol. found (all assignments made)...
1.03	o 770
1.03	c NEW SOLUTION FOUND: 770 @ 1.016
1.03	c Sol. found (all assignments made)...
1.03	o 768
1.03	c NEW SOLUTION FOUND: 768 @ 1.019
1.03	c Sol. found (all assignments made)...
1.03	o 766
1.03	c NEW SOLUTION FOUND: 766 @ 1.019
1.03	c Sol. found (all assignments made)...
1.03	o 752
1.03	c NEW SOLUTION FOUND: 752 @ 1.022
1.03	c Sol. found (all assignments made)...
1.03	o 748
1.03	c NEW SOLUTION FOUND: 748 @ 1.022
1.03	c Sol. found (all assignments made)...
1.03	o 744
1.03	c NEW SOLUTION FOUND: 744 @ 1.023
1.03	c Sol. found (all assignments made)...
1.03	o 740
1.03	c NEW SOLUTION FOUND: 740 @ 1.023
1.03	c Sol. found (all assignments made)...
1.03	o 738
1.03	c NEW SOLUTION FOUND: 738 @ 1.024
1.03	c Sol. found (all assignments made)...
1.03	o 734
1.03	c NEW SOLUTION FOUND: 734 @ 1.024
1.05	c Sol. found (all assignments made)...
1.05	o 732
1.05	c NEW SOLUTION FOUND: 732 @ 1.042
1.05	c Sol. found (all assignments made)...
1.05	o 730
1.05	c NEW SOLUTION FOUND: 730 @ 1.042
1.06	c Sol. found (all assignments made)...
1.06	o 728
1.06	c NEW SOLUTION FOUND: 728 @ 1.051
1.06	c Sol. found (all assignments made)...
1.06	o 720
1.06	c NEW SOLUTION FOUND: 720 @ 1.052
1.07	c Sol. found (all assignments made)...
1.07	o 718
1.07	c NEW SOLUTION FOUND: 718 @ 1.055
1.07	c Sol. found (all assignments made)...
1.07	o 710
1.07	c NEW SOLUTION FOUND: 710 @ 1.058
1.07	c Sol. found (all assignments made)...
1.07	o 708
1.07	c NEW SOLUTION FOUND: 708 @ 1.059
1.07	c Sol. found (all assignments made)...
1.07	o 704
1.07	c NEW SOLUTION FOUND: 704 @ 1.059
1.07	c Sol. found (all assignments made)...
1.07	o 702
1.07	c NEW SOLUTION FOUND: 702 @ 1.06
1.09	c Sol. found (all assignments made)...
1.09	o 680
1.09	c NEW SOLUTION FOUND: 680 @ 1.076
1.09	c Sol. found (all assignments made)...
1.09	o 676
1.09	c NEW SOLUTION FOUND: 676 @ 1.076
1.09	c Sol. found (all assignments made)...
1.09	o 674
1.09	c NEW SOLUTION FOUND: 674 @ 1.076
1.09	c Sol. found (all assignments made)...
1.09	o 670
1.09	c NEW SOLUTION FOUND: 670 @ 1.078
1.10	c Sol. found (all assignments made)...
1.10	o 668
1.10	c NEW SOLUTION FOUND: 668 @ 1.091
1.10	c Sol. found (all assignments made)...
1.10	o 666
1.10	c NEW SOLUTION FOUND: 666 @ 1.092
1.11	c Sol. found (all assignments made)...
1.11	o 662
1.11	c NEW SOLUTION FOUND: 662 @ 1.099
1.11	c Sol. found (all assignments made)...
1.11	o 652
1.11	c NEW SOLUTION FOUND: 652 @ 1.101
1.11	c Sol. found (all assignments made)...
1.11	o 648
1.11	c NEW SOLUTION FOUND: 648 @ 1.101
1.11	c Sol. found (all assignments made)...
1.11	o 646
1.11	c NEW SOLUTION FOUND: 646 @ 1.101
1.13	c Sol. found (all assignments made)...
1.13	o 644
1.13	c NEW SOLUTION FOUND: 644 @ 1.115
1.13	c Sol. found (all assignments made)...
1.13	o 642
1.13	c NEW SOLUTION FOUND: 642 @ 1.116
1.13	c Sol. found (all assignments made)...
1.13	o 638
1.13	c NEW SOLUTION FOUND: 638 @ 1.119
1.13	c Sol. found (all assignments made)...
1.13	o 634
1.13	c NEW SOLUTION FOUND: 634 @ 1.122
1.18	c Sol. found (all assignments made)...
1.18	o 630
1.18	c NEW SOLUTION FOUND: 630 @ 1.169
1.18	c Sol. found (all assignments made)...
1.18	o 626
1.18	c NEW SOLUTION FOUND: 626 @ 1.172
1.19	c Sol. found (all assignments made)...
1.19	o 624
1.19	c NEW SOLUTION FOUND: 624 @ 1.176
1.19	c Sol. found (all assignments made)...
1.19	o 622
1.19	c NEW SOLUTION FOUND: 622 @ 1.182
1.19	c Sol. found (all assignments made)...
1.19	o 620
1.19	c NEW SOLUTION FOUND: 620 @ 1.182
1.29	c Sol. found (all assignments made)...
1.29	o 618
1.29	c NEW SOLUTION FOUND: 618 @ 1.276
1.29	c Sol. found (all assignments made)...
1.29	o 616
1.29	c NEW SOLUTION FOUND: 616 @ 1.277
1.29	c Sol. found (all assignments made)...
1.29	o 608
1.29	c NEW SOLUTION FOUND: 608 @ 1.278
1.29	c Sol. found (all assignments made)...
1.29	o 604
1.29	c NEW SOLUTION FOUND: 604 @ 1.281
1.44	c Sol. found (all assignments made)...
1.44	o 594
1.44	c NEW SOLUTION FOUND: 594 @ 1.431
1.44	c Sol. found (all assignments made)...
1.44	o 592
1.44	c NEW SOLUTION FOUND: 592 @ 1.431
1.44	c Sol. found (all assignments made)...
1.44	o 586
1.44	c NEW SOLUTION FOUND: 586 @ 1.433
1.44	c Sol. found (all assignments made)...
1.44	o 584
1.44	c NEW SOLUTION FOUND: 584 @ 1.434
1.46	c Sol. found (all assignments made)...
1.46	o 582
1.46	c NEW SOLUTION FOUND: 582 @ 1.449
1.46	c Sol. found (all assignments made)...
1.46	o 580
1.46	c NEW SOLUTION FOUND: 580 @ 1.451
1.48	c Sol. found (all assignments made)...
1.48	o 578
1.48	c NEW SOLUTION FOUND: 578 @ 1.474
1.57	c Sol. found (all assignments made)...
1.57	o 568
1.57	c NEW SOLUTION FOUND: 568 @ 1.561
1.57	c Sol. found (all assignments made)...
1.57	o 560
1.57	c NEW SOLUTION FOUND: 560 @ 1.562
1.66	c Sol. found (all assignments made)...
1.66	o 556
1.66	c NEW SOLUTION FOUND: 556 @ 1.643
1.66	c Sol. found (all assignments made)...
1.66	o 554
1.66	c NEW SOLUTION FOUND: 554 @ 1.644
1.66	c Sol. found (all assignments made)...
1.66	o 552
1.66	c NEW SOLUTION FOUND: 552 @ 1.647
1.67	c Sol. found (all assignments made)...
1.67	o 548
1.67	c NEW SOLUTION FOUND: 548 @ 1.657
1.98	c Sol. found (all assignments made)...
1.98	o 542
1.98	c NEW SOLUTION FOUND: 542 @ 1.965
1.99	c Sol. found (all assignments made)...
1.99	o 540
1.99	c NEW SOLUTION FOUND: 540 @ 1.975
1.99	c Sol. found (all assignments made)...
1.99	o 538
1.99	c NEW SOLUTION FOUND: 538 @ 1.975
1.99	c Sol. found (all assignments made)...
1.99	o 534
1.99	c NEW SOLUTION FOUND: 534 @ 1.978
2.01	c Sol. found (all assignments made)...
2.01	o 532
2.01	c NEW SOLUTION FOUND: 532 @ 1.994
2.02	c Sol. found (all assignments made)...
2.02	o 530
2.02	c NEW SOLUTION FOUND: 530 @ 2.004
2.05	c Sol. found (all assignments made)...
2.05	o 500
2.05	c NEW SOLUTION FOUND: 500 @ 2.03
2.05	c Sol. found (all assignments made)...
2.05	o 498
2.05	c NEW SOLUTION FOUND: 498 @ 2.031
2.05	c Sol. found (all assignments made)...
2.05	o 492
2.05	c NEW SOLUTION FOUND: 492 @ 2.032
2.05	c Sol. found (all assignments made)...
2.05	o 476
2.05	c NEW SOLUTION FOUND: 476 @ 2.033
2.05	c Sol. found (all assignments made)...
2.05	o 468
2.05	c NEW SOLUTION FOUND: 468 @ 2.038
2.17	c Sol. found (all assignments made)...
2.17	o 466
2.17	c NEW SOLUTION FOUND: 466 @ 2.15
2.17	c Sol. found (all assignments made)...
2.17	o 458
2.17	c NEW SOLUTION FOUND: 458 @ 2.151
2.17	c Sol. found (all assignments made)...
2.17	o 456
2.17	c NEW SOLUTION FOUND: 456 @ 2.152
2.17	c Sol. found (all assignments made)...
2.17	o 434
2.17	c NEW SOLUTION FOUND: 434 @ 2.153
2.17	c Sol. found (all assignments made)...
2.17	o 426
2.17	c NEW SOLUTION FOUND: 426 @ 2.154
2.17	c Sol. found (all assignments made)...
2.17	o 418
2.17	c NEW SOLUTION FOUND: 418 @ 2.155
2.17	c Sol. found (all assignments made)...
2.17	o 410
2.17	c NEW SOLUTION FOUND: 410 @ 2.156
2.21	c Sol. found (all assignments made)...
2.21	o 408
2.21	c NEW SOLUTION FOUND: 408 @ 2.19
2.21	c Sol. found (all assignments made)...
2.21	c Sol. found (all assignments made)...
2.21	o 402
2.21	c NEW SOLUTION FOUND: 402 @ 2.192
2.21	c Sol. found (all assignments made)...
2.21	o 398
2.21	c NEW SOLUTION FOUND: 398 @ 2.192
2.21	c Sol. found (all assignments made)...
2.21	o 396
2.21	c NEW SOLUTION FOUND: 396 @ 2.193
2.21	c Sol. found (all assignments made)...
2.21	c Sol. found (all assignments made)...
2.21	o 394
2.21	c NEW SOLUTION FOUND: 394 @ 2.194
2.21	c Sol. found (all assignments made)...
2.21	c Sol. found (all assignments made)...
2.21	o 392
2.21	c NEW SOLUTION FOUND: 392 @ 2.198
2.21	c Sol. found (all assignments made)...
2.21	o 382
2.21	c NEW SOLUTION FOUND: 382 @ 2.199
2.21	c Sol. found (all assignments made)...
2.22	c Sol. found (all assignments made)...
2.22	o 380
2.22	c NEW SOLUTION FOUND: 380 @ 2.199
2.24	c Sol. found (all assignments made)...
2.24	o 378
2.24	c NEW SOLUTION FOUND: 378 @ 2.223
2.26	c Sol. found (all assignments made)...
2.26	o 376
2.26	c NEW SOLUTION FOUND: 376 @ 2.248
2.27	c Sol. found (all assignments made)...
2.27	o 368
2.27	c NEW SOLUTION FOUND: 368 @ 2.255
2.27	c Sol. found (all assignments made)...
2.27	o 362
2.27	c NEW SOLUTION FOUND: 362 @ 2.256
2.44	c Sol. found (all assignments made)...
2.44	o 361
2.44	c NEW SOLUTION FOUND: 361 @ 2.422
2.44	c Sol. found (all assignments made)...
2.44	o 359
2.45	c NEW SOLUTION FOUND: 359 @ 2.429
2.48	c Sol. found (all assignments made)...
2.48	o 355
2.48	c NEW SOLUTION FOUND: 355 @ 2.46
2.48	c Sol. found (all assignments made)...
2.48	o 351
2.48	c NEW SOLUTION FOUND: 351 @ 2.46
2.48	c Sol. found (all assignments made)...
2.48	o 347
2.48	c NEW SOLUTION FOUND: 347 @ 2.461
2.48	c Sol. found (all assignments made)...
2.48	o 343
2.48	c NEW SOLUTION FOUND: 343 @ 2.461
2.48	c Sol. found (all assignments made)...
2.48	o 341
2.48	c NEW SOLUTION FOUND: 341 @ 2.464
2.48	c Sol. found (all assignments made)...
2.48	o 333
2.48	c NEW SOLUTION FOUND: 333 @ 2.468
2.49	c Sol. found (all assignments made)...
2.49	o 325
2.49	c NEW SOLUTION FOUND: 325 @ 2.469
2.49	c Sol. found (all assignments made)...
2.49	o 317
2.49	c NEW SOLUTION FOUND: 317 @ 2.471
2.49	c Sol. found (all assignments made)...
2.49	o 309
2.49	c NEW SOLUTION FOUND: 309 @ 2.471
2.50	c Sol. found (all assignments made)...
2.50	o 303
2.50	c NEW SOLUTION FOUND: 303 @ 2.488
2.51	c Sol. found (all assignments made)...
2.51	o 299
2.51	c NEW SOLUTION FOUND: 299 @ 2.489
2.51	c Sol. found (all assignments made)...
2.51	o 297
2.51	c NEW SOLUTION FOUND: 297 @ 2.491
2.53	c Sol. found (all assignments made)...
2.53	o 295
2.53	c NEW SOLUTION FOUND: 295 @ 2.51
2.65	c Sol. found (all assignments made)...
2.65	o 294
2.65	c NEW SOLUTION FOUND: 294 @ 2.629
2.66	c Sol. found (all assignments made)...
2.66	o 292
2.66	c NEW SOLUTION FOUND: 292 @ 2.642
2.74	c Sol. found (all assignments made)...
2.74	o 278
2.74	c NEW SOLUTION FOUND: 278 @ 2.719
2.75	c Sol. found (all assignments made)...
2.75	o 276
2.75	c NEW SOLUTION FOUND: 276 @ 2.733
2.86	c Sol. found (all assignments made)...
2.86	o 257
2.86	c NEW SOLUTION FOUND: 257 @ 2.845
2.87	c Sol. found (all assignments made)...
2.87	o 225
2.87	c NEW SOLUTION FOUND: 225 @ 2.856
2.90	c Sol. found (all assignments made)...
2.90	o 181
2.90	c NEW SOLUTION FOUND: 181 @ 2.888
3.08	c Sol. found (all assignments made)...
3.08	o 179
3.08	c NEW SOLUTION FOUND: 179 @ 3.064
3.29	c Sol. found (all assignments made)...
3.29	o 176
3.29	c NEW SOLUTION FOUND: 176 @ 3.275
3.29	c Sol. found (all assignments made)...
3.29	o 172
3.29	c NEW SOLUTION FOUND: 172 @ 3.275
3.38	c Sol. found (all assignments made)...
3.38	o 164
3.38	c NEW SOLUTION FOUND: 164 @ 3.368
3.39	c Sol. found (all assignments made)...
3.39	o 162
3.39	c NEW SOLUTION FOUND: 162 @ 3.373
3.39	c Sol. found (all assignments made)...
3.39	o 154
3.39	c NEW SOLUTION FOUND: 154 @ 3.378
3.64	c Sol. found (all assignments made)...
3.64	o 100
3.64	c NEW SOLUTION FOUND: 100 @ 3.628
3.67	c Sol. found (all assignments made)...
3.67	o 96
3.67	c NEW SOLUTION FOUND: 96 @ 3.651
3.72	c Sol. found (all assignments made)...
3.72	o 90
3.72	c NEW SOLUTION FOUND: 90 @ 3.701
4.01	c Restart #11 #Var: 119 LB: 0 @ 3.992
4.65	c Restart #12 #Var: 119 LB: 0 @ 4.631
5.87	c Restart #13 #Var: 119 LB: 0 @ 5.849
7.52	c Restart #14 #Var: 119 LB: 0 @ 7.503
8.30	c CHANGE to MIS mode... 	UB: 90	MIS: 0	LPR: 0 (0.007)	Diff: nan
8.30	c Restart #0 #Var: 118 LB: 0 @ 8.285
8.44	c Restart #1 #Var: 118 LB: 0 @ 8.422
8.76	c Restart #2 #Var: 118 LB: 0 @ 8.743
9.18	c Restart #3 #Var: 118 LB: 0 @ 9.16
9.90	c Restart #4 #Var: 118 LB: 0 @ 9.882
10.82	c Restart #5 #Var: 118 LB: 0 @ 10.798
10.91	c Restart #6 #Var: 118 LB: 0 @ 10.896
11.12	c Restart #7 #Var: 118 LB: 0 @ 11.105
11.34	c Restart #8 #Var: 118 LB: 0 @ 11.326
11.57	c Restart #9 #Var: 117 LB: 0 @ 11.556
11.83	c Restart #10 #Var: 116 LB: 0 @ 11.809
12.22	c Restart #11 #Var: 116 LB: 0 @ 12.199
12.92	c Restart #12 #Var: 114 LB: 0 @ 12.905
14.65	c Restart #13 #Var: 111 LB: 0 @ 14.632
17.05	c Sol. found (all assignments made)...
17.05	c Sol. found (all assignments made)...
17.10	c Sol. found (all assignments made)...
17.10	o 88
17.10	c NEW SOLUTION FOUND: 88 @ 17.084
17.11	c Sol. found (all assignments made)...
17.11	o 86
17.11	c NEW SOLUTION FOUND: 86 @ 17.092
17.15	c Sol. found (all assignments made)...
17.15	o 84
17.15	c NEW SOLUTION FOUND: 84 @ 17.127
17.16	c Sol. found (all assignments made)...
17.16	o 82
17.16	c NEW SOLUTION FOUND: 82 @ 17.135
20.54	c Sol. found (all assignments made)...
20.54	o 80
20.54	c NEW SOLUTION FOUND: 80 @ 20.516
26.74	c Restart #14 #Var: 111 LB: 0 @ 26.718
27.46	c Sol. found (all assignments made)...
27.46	o 78
27.46	c NEW SOLUTION FOUND: 78 @ 27.432
27.46	c Sol. found (all assignments made)...
27.46	o 76
27.46	c NEW SOLUTION FOUND: 76 @ 27.439
35.29	c Restart #15 #Var: 111 LB: 0 @ 35.269
35.64	c Sol. found (all assignments made)...
35.64	o 72
35.64	c NEW SOLUTION FOUND: 72 @ 35.615
35.64	c Sol. found (all assignments made)...
35.64	o 70
35.64	c NEW SOLUTION FOUND: 70 @ 35.618
35.66	c Sol. found (all assignments made)...
35.66	o 68
35.66	c NEW SOLUTION FOUND: 68 @ 35.631
39.98	c Sol. found (all assignments made)...
39.98	o 67
39.98	c NEW SOLUTION FOUND: 67 @ 39.958
49.56	c Restart #16 #Var: 110 LB: 0 @ 49.525
58.43	c Restart #17 #Var: 110 LB: 0 @ 58.402
69.72	c Restart #18 #Var: 110 LB: 0 @ 69.68
79.51	c Restart #19 #Var: 110 LB: 0 @ 79.472
89.45	c Restart #20 #Var: 110 LB: 0 @ 89.412
100.43	c Restart #21 #Var: 110 LB: 0 @ 100.38
113.48	c Restart #22 #Var: 110 LB: 0 @ 113.43
131.08	c Restart #23 #Var: 110 LB: 0 @ 131.03
141.25	c Restart #24 #Var: 110 LB: 0 @ 141.19
154.90	c Restart #25 #Var: 110 LB: 0 @ 154.84
167.17	c Restart #26 #Var: 110 LB: 0 @ 167.11
177.43	c Restart #27 #Var: 110 LB: 0 @ 177.36
188.48	c Restart #28 #Var: 110 LB: 0 @ 188.41
202.11	c Restart #29 #Var: 110 LB: 0 @ 202.04
221.67	c Restart #30 #Var: 110 LB: 0 @ 221.59
234.50	c Restart #31 #Var: 110 LB: 0 @ 234.42
252.58	c Restart #32 #Var: 110 LB: 0 @ 252.49
272.22	c Restart #33 #Var: 110 LB: 0 @ 272.12
286.44	c Sol. found (all assignments made)...
286.44	c Sol. found (all assignments made)...
286.44	o 66
286.44	c NEW SOLUTION FOUND: 66 @ 286.34
286.45	c Sol. found (all assignments made)...
286.45	o 62
286.45	c NEW SOLUTION FOUND: 62 @ 286.35
286.48	c Sol. found (all assignments made)...
286.48	o 58
286.48	c NEW SOLUTION FOUND: 58 @ 286.38
293.25	c Sol. found (all assignments made)...
293.25	c Sol. found (all assignments made)...
293.25	o 57
293.25	c NEW SOLUTION FOUND: 57 @ 293.15
293.25	c Sol. found (all assignments made)...
310.32	c Restart #34 #Var: 106 LB: 0 @ 310.22
320.80	c Sol. found (all assignments made)...
331.86	c Restart #35 #Var: 106 LB: 0 @ 331.75
351.78	c Restart #36 #Var: 106 LB: 0 @ 351.67
369.62	c Restart #37 #Var: 106 LB: 0 @ 369.5
382.56	c Restart #38 #Var: 106 LB: 0 @ 382.43
399.12	c Restart #39 #Var: 105 LB: 0 @ 398.99
406.39	c Sol. found (all assignments made)...
406.39	o 55
406.39	c NEW SOLUTION FOUND: 55 @ 406.26
406.42	c Sol. found (all assignments made)...
406.42	o 53
406.42	c NEW SOLUTION FOUND: 53 @ 406.29
429.43	c Restart #40 #Var: 105 LB: 0 @ 429.29
455.70	c Restart #41 #Var: 105 LB: 0 @ 455.56
469.63	c Sol. found (all assignments made)...
470.25	c Sol. found (all assignments made)...
470.25	o 52
470.25	c NEW SOLUTION FOUND: 52 @ 470.09
470.25	c Sol. found (all assignments made)...
470.25	o 50
470.25	c NEW SOLUTION FOUND: 50 @ 470.1
495.02	c Sol. found (all assignments made)...
495.02	c Sol. found (all assignments made)...
495.13	c Sol. found (all assignments made)...
495.24	c Sol. found (all assignments made)...
495.24	c Sol. found (all assignments made)...
495.24	o 48
495.24	c NEW SOLUTION FOUND: 48 @ 495.08
530.47	c Restart #42 #Var: 104 LB: 0 @ 530.3
534.99	c Sol. found (all assignments made)...
534.99	c Sol. found (all assignments made)...
535.20	c Sol. found (all assignments made)...
535.36	c Sol. found (all assignments made)...
554.52	c Sol. found (all assignments made)...
554.52	o 47
554.52	c NEW SOLUTION FOUND: 47 @ 554.34
554.52	c Sol. found (all assignments made)...
554.52	o 45
554.52	c NEW SOLUTION FOUND: 45 @ 554.34
554.55	c Sol. found (all assignments made)...
554.55	o 43
554.55	c NEW SOLUTION FOUND: 43 @ 554.37
555.05	c Sol. found (all assignments made)...
555.05	o 41
555.05	c NEW SOLUTION FOUND: 41 @ 554.87
563.85	c Sol. found (all assignments made)...
563.85	o 39
563.85	c NEW SOLUTION FOUND: 39 @ 563.67
564.06	c Sol. found (all assignments made)...
564.06	o 37
564.06	c NEW SOLUTION FOUND: 37 @ 563.88
564.40	c Sol. found (all assignments made)...
564.40	o 29
564.40	c NEW SOLUTION FOUND: 29 @ 564.22
569.01	c Sol. found (all assignments made)...
569.07	c Sol. found (all assignments made)...
576.19	c Sol. found (all assignments made)...
576.19	o 28
576.19	c NEW SOLUTION FOUND: 28 @ 576.01
589.16	c Sol. found (all assignments made)...
589.16	o 27
589.16	c NEW SOLUTION FOUND: 27 @ 588.97
589.18	c Sol. found (all assignments made)...
589.18	o 25
589.18	c NEW SOLUTION FOUND: 25 @ 589
589.47	c Sol. found (all assignments made)...
589.47	o 23
589.47	c NEW SOLUTION FOUND: 23 @ 589.28
589.47	c Sol. found (all assignments made)...
589.47	c Sol. found (all assignments made)...
589.47	c Sol. found (all assignments made)...
589.47	o 21
589.47	c NEW SOLUTION FOUND: 21 @ 589.28
589.47	c Sol. found (all assignments made)...
589.47	c Sol. found (all assignments made)...
589.47	o 19
589.47	c NEW SOLUTION FOUND: 19 @ 589.28
589.52	c Sol. found (all assignments made)...
589.52	c Sol. found (all assignments made)...
589.61	c Sol. found (all assignments made)...
589.61	o 17
589.61	c NEW SOLUTION FOUND: 17 @ 589.42
590.30	c Sol. found (all assignments made)...
590.30	o 13
590.30	c NEW SOLUTION FOUND: 13 @ 590.11
601.45	c Restart #43 #Var: 86 LB: 0 @ 601.26
606.47	c Restart #44 #Var: 82 LB: 0 @ 606.27
609.52	c Restart #45 #Var: 82 LB: 0 @ 609.33
613.64	c Restart #46 #Var: 82 LB: 0 @ 613.45
614.31	c Sol. found (all assignments made)...
618.72	c Restart #47 #Var: 82 LB: 0 @ 618.52
623.27	c Restart #48 #Var: 82 LB: 0 @ 623.07
624.35	c Sol. found (all assignments made)...
624.35	c Sol. found (all assignments made)...
624.35	o 12
624.35	c NEW SOLUTION FOUND: 12 @ 624.15
628.18	c Restart #49 #Var: 82 LB: 0 @ 627.98
632.46	c Restart #50 #Var: 81 LB: 0 @ 632.26
636.68	c Restart #51 #Var: 81 LB: 0 @ 636.48
641.17	c Restart #52 #Var: 81 LB: 0 @ 640.97
645.99	c Restart #53 #Var: 81 LB: 0 @ 645.78
651.95	c Restart #54 #Var: 81 LB: 0 @ 651.75
657.52	c Restart #55 #Var: 81 LB: 0 @ 657.32
663.99	c Restart #56 #Var: 81 LB: 0 @ 663.78
669.71	c Restart #57 #Var: 81 LB: 0 @ 669.5
672.59	c Sol. found (all assignments made)...
672.62	c Sol. found (all assignments made)...
672.62	o 11
672.62	c NEW SOLUTION FOUND: 11 @ 672.41
674.99	c Sol. found (all assignments made)...
677.16	c Restart #58 #Var: 81 LB: 0 @ 676.95
682.52	c Restart #59 #Var: 81 LB: 0 @ 682.3
688.87	c Restart #60 #Var: 81 LB: 0 @ 688.65
693.41	c Restart #61 #Var: 81 LB: 0 @ 693.19
699.40	c Restart #62 #Var: 81 LB: 0 @ 699.18
705.69	c Restart #63 #Var: 81 LB: 0 @ 705.47
712.29	c Restart #64 #Var: 81 LB: 0 @ 712.07
718.05	c Restart #65 #Var: 81 LB: 0 @ 717.82
718.62	c Sol. found (all assignments made)...
718.62	c Sol. found (all assignments made)...
718.62	c Sol. found (all assignments made)...
718.62	c Sol. found (all assignments made)...
718.62	o 10
718.62	c NEW SOLUTION FOUND: 10 @ 718.4
725.81	c Restart #66 #Var: 81 LB: 0 @ 725.58
733.11	c Restart #67 #Var: 81 LB: 0 @ 732.88
740.89	c Restart #68 #Var: 81 LB: 0 @ 740.66
746.69	c Sol. found (all assignments made)...
746.69	c Sol. found (all assignments made)...
746.70	c Sol. found (all assignments made)...
749.09	c Restart #69 #Var: 81 LB: 0 @ 748.86
759.76	c Restart #70 #Var: 81 LB: 0 @ 759.53
770.60	c Restart #71 #Var: 81 LB: 0 @ 770.36
776.91	c Restart #72 #Var: 81 LB: 0 @ 776.67
785.86	c Restart #73 #Var: 81 LB: 0 @ 785.61
797.81	c Restart #74 #Var: 81 LB: 0 @ 797.57
802.63	c Restart #75 #Var: 81 LB: 0 @ 802.38
805.20	c Sol. found (all assignments made)...
805.20	c Sol. found (all assignments made)...
807.31	c Restart #76 #Var: 81 LB: 0 @ 807.05
812.81	c Restart #77 #Var: 81 LB: 0 @ 812.56
819.65	c Restart #78 #Var: 81 LB: 0 @ 819.4
827.52	c Restart #79 #Var: 81 LB: 0 @ 827.27
835.39	c Restart #80 #Var: 81 LB: 0 @ 835.13
847.06	c Restart #81 #Var: 81 LB: 0 @ 846.79
862.49	c Restart #82 #Var: 81 LB: 0 @ 862.22
880.39	c Restart #83 #Var: 81 LB: 0 @ 880.12
891.57	c Restart #84 #Var: 81 LB: 0 @ 891.29
899.32	c Restart #85 #Var: 81 LB: 0 @ 899.04
900.29	c Sol. found (all assignments made)...
900.29	o 9
900.29	c NEW SOLUTION FOUND: 9 @ 900.02
905.58	c Sol. found (all assignments made)...
915.74	c Restart #86 #Var: 81 LB: 0 @ 915.46
940.53	c Sol. found (all assignments made)...
948.15	c Restart #87 #Var: 81 LB: 0 @ 947.86
964.21	c Restart #88 #Var: 81 LB: 0 @ 963.91
979.10	c Sol. found (all assignments made)...
979.10	c Sol. found (all assignments made)...
979.10	o 8
979.10	c NEW SOLUTION FOUND: 8 @ 978.8
979.15	c Sol. found (all assignments made)...
979.15	o 4
979.15	c NEW SOLUTION FOUND: 4 @ 978.85
979.16	c Sol. found (all assignments made)...
979.16	o 2
979.16	c NEW SOLUTION FOUND: 2 @ 978.87
993.77	c Restart #89 #Var: 79 LB: 0 @ 993.46
1006.12	c Restart #90 #Var: 77 LB: 0 @ 1005.8
1019.47	c Restart #91 #Var: 76 LB: 0 @ 1019.2
1038.24	c Restart #92 #Var: 76 LB: 0 @ 1037.9
1054.51	c Restart #93 #Var: 76 LB: 0 @ 1054.2
1076.26	c Restart #94 #Var: 76 LB: 0 @ 1075.9
1087.53	c Restart #95 #Var: 76 LB: 0 @ 1087.2
1097.04	c Restart #96 #Var: 76 LB: 0 @ 1096.7
1105.20	c Restart #97 #Var: 75 LB: 0 @ 1104.9
1113.85	c Restart #98 #Var: 75 LB: 0 @ 1113.5
1124.76	c Restart #99 #Var: 75 LB: 0 @ 1124.4
1139.83	c Restart #100 #Var: 75 LB: 0 @ 1139.5
1155.76	c Restart #101 #Var: 75 LB: 0 @ 1155.4
1167.94	c Restart #102 #Var: 75 LB: 0 @ 1167.6
1178.76	c Restart #103 #Var: 75 LB: 0 @ 1178.4
1192.77	c Restart #104 #Var: 75 LB: 0 @ 1192.4
1204.47	c Restart #105 #Var: 75 LB: 0 @ 1204.1
1216.58	c Restart #106 #Var: 75 LB: 0 @ 1216.2
1230.68	c Restart #107 #Var: 75 LB: 0 @ 1230.3
1250.47	c Restart #108 #Var: 74 LB: 0 @ 1250.1
1262.27	c Restart #109 #Var: 74 LB: 0 @ 1261.9
1277.15	c Restart #110 #Var: 74 LB: 0 @ 1276.8
1295.54	c Restart #111 #Var: 73 LB: 0 @ 1295.1
1303.70	c Restart #112 #Var: 73 LB: 0 @ 1303.3
1312.99	c Restart #113 #Var: 73 LB: 0 @ 1312.6
1325.42	c Restart #114 #Var: 72 LB: 0 @ 1325
1339.33	c Restart #115 #Var: 72 LB: 0 @ 1338.9
1350.59	c Restart #116 #Var: 72 LB: 0 @ 1350.2
1362.58	c Restart #117 #Var: 72 LB: 0 @ 1362.2
1375.91	c Restart #118 #Var: 72 LB: 0 @ 1375.5
1396.40	c Restart #119 #Var: 72 LB: 0 @ 1396
1425.63	c Restart #120 #Var: 72 LB: 0 @ 1425.2
1477.27	c Restart #121 #Var: 71 LB: 0 @ 1476.8
1546.63	c Restart #122 #Var: 71 LB: 0 @ 1546.1
1572.83	c Restart #123 #Var: 71 LB: 0 @ 1572.3
1599.25	c Restart #124 #Var: 71 LB: 0 @ 1598.7
1673.94	c Restart #125 #Var: 71 LB: 0 @ 1673.4
1793.29	c Restart #126 #Var: 71 LB: 0 @ 1792.6
1800.67	s SATISFIABLE
1800.67	c Cost: 2
1800.67	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
1800.67	v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54
1800.67	v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
1800.67	v -x81 x82 -x83 -x84 -x85 x86 -x87 -x88 x89 -x91 x92 x93 -x94 x95 -x96 -x97 x98 -x99 -x100 x101 x102 x103 x104 x105 x106 x107 -x108
1800.67	v -x109 x110 -x111 x112 -x113 -x114 x115 -x116 -x117 x118 x119 x120 x90
1800.67	c Exit Code: 10
1800.67	c Total time: 1800 s

Verifier Data (download as text)

OK	2

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 2/64 21827
/proc/meminfo: memFree=1525632/2055920 swapFree=4183012/4192956
[pid=21827] ppid=21825 vsize=4932 CPUtime=0
/proc/21827/stat : 21827 (bsolo) D 21825 21827 21778 0 -1 0 367 0 0 0 0 0 0 0 18 0 1 0 157526083 5050368 330 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 18446744072099781622 0 0 17 1 0 0
/proc/21827/statm: 1233 330 226 55 0 125 0

[startup+10.0018 s]
/proc/loadavg: 0.93 0.98 0.99 2/64 21827
/proc/meminfo: memFree=1477824/2055920 swapFree=4183012/4192956
[pid=21827] ppid=21825 vsize=52416 CPUtime=9.97
/proc/21827/stat : 21827 (bsolo) R 21825 21827 21778 0 -1 0 12442 0 0 0 987 10 0 0 25 0 1 0 157526083 53673984 12352 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21827/statm: 13104 12352 420 55 0 11996 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 52416

[startup+20.008 s]
/proc/loadavg: 0.94 0.98 0.99 2/64 21827
/proc/meminfo: memFree=1462912/2055920 swapFree=4183012/4192956
[pid=21827] ppid=21825 vsize=67508 CPUtime=19.98
/proc/21827/stat : 21827 (bsolo) R 21825 21827 21778 0 -1 0 16186 0 0 0 1984 14 0 0 25 0 1 0 157526083 69128192 16096 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21827/statm: 16877 16096 420 55 0 15769 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 67508

[startup+30.0141 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 21827
/proc/meminfo: memFree=1459264/2055920 swapFree=4183012/4192956
[pid=21827] ppid=21825 vsize=71072 CPUtime=29.98
/proc/21827/stat : 21827 (bsolo) R 21825 21827 21778 0 -1 0 17085 0 0 0 2983 15 0 0 25 0 1 0 157526083 72777728 16995 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21827/statm: 17768 16995 420 55 0 16660 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 71072

[startup+40.0202 s]
/proc/loadavg: 0.96 0.98 0.99 3/64 21827
/proc/meminfo: memFree=1456576/2055920 swapFree=4183012/4192956
[pid=21827] ppid=21825 vsize=73852 CPUtime=39.98
/proc/21827/stat : 21827 (bsolo) R 21825 21827 21778 0 -1 0 17772 0 0 0 3981 17 0 0 25 0 1 0 157526083 75624448 17682 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21827/statm: 18463 17682 420 55 0 17355 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 73852

[startup+50.0264 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 21827
/proc/meminfo: memFree=1454208/2055920 swapFree=4183012/4192956
[pid=21827] ppid=21825 vsize=76248 CPUtime=49.99
/proc/21827/stat : 21827 (bsolo) R 21825 21827 21778 0 -1 0 18358 0 0 0 4981 18 0 0 25 0 1 0 157526083 78077952 18268 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21827/statm: 19062 18268 420 55 0 17954 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 76248

[startup+60.0325 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 21827
/proc/meminfo: memFree=1451840/2055920 swapFree=4183012/4192956
[pid=21827] ppid=21825 vsize=78624 CPUtime=59.99
/proc/21827/stat : 21827 (bsolo) R 21825 21827 21778 0 -1 0 18970 0 0 0 5980 19 0 0 25 0 1 0 157526083 80510976 18880 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21827/statm: 19656 18880 420 55 0 18548 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 78624

[startup+70.0387 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 21827
/proc/meminfo: memFree=1449792/2055920 swapFree=4183012/4192956
[pid=21827] ppid=21825 vsize=80740 CPUtime=70
/proc/21827/stat : 21827 (bsolo) R 21825 21827 21778 0 -1 0 19476 0 0 0 6979 21 0 0 25 0 1 0 157526083 82677760 19386 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21827/statm: 20185 19386 420 55 0 19077 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 80740

[startup+80.0448 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 21827
/proc/meminfo: memFree=1447168/2055920 swapFree=4183012/4192956
[pid=21827] ppid=21825 vsize=83252 CPUtime=80
/proc/21827/stat : 21827 (bsolo) R 21825 21827 21778 0 -1 0 20129 0 0 0 7978 22 0 0 25 0 1 0 157526083 85250048 20039 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21827/statm: 20813 20039 420 55 0 19705 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 83252

[startup+90.0509 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 21827
/proc/meminfo: memFree=1443136/2055920 swapFree=4183012/4192956
[pid=21827] ppid=21825 vsize=87360 CPUtime=90
/proc/21827/stat : 21827 (bsolo) R 21825 21827 21778 0 -1 0 21431 0 0 0 8977 23 0 0 25 0 1 0 157526083 89456640 21041 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21827/statm: 21840 21041 420 55 0 20732 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 87360

[startup+100.057 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 21827
/proc/meminfo: memFree=1440704/2055920 swapFree=4183012/4192956
[pid=21827] ppid=21825 vsize=89748 CPUtime=100.01
/proc/21827/stat : 21827 (bsolo) R 21825 21827 21778 0 -1 0 22036 0 0 0 9976 25 0 0 25 0 1 0 157526083 91901952 21645 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21827/statm: 22437 21645 420 55 0 21329 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 89748

[startup+110.063 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 21827
/proc/meminfo: memFree=1438400/2055920 swapFree=4183012/4192956
[pid=21827] ppid=21825 vsize=92024 CPUtime=110.01
/proc/21827/stat : 21827 (bsolo) R 21825 21827 21778 0 -1 0 22605 0 0 0 10975 26 0 0 25 0 1 0 157526083 94232576 22214 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548497 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21827/statm: 23006 22214 420 55 0 21898 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 92024

[startup+120.069 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 21827
/proc/meminfo: memFree=1436928/2055920 swapFree=4183012/4192956
[pid=21827] ppid=21825 vsize=93608 CPUtime=120.01
/proc/21827/stat : 21827 (bsolo) R 21825 21827 21778 0 -1 0 22979 0 0 0 11974 27 0 0 25 0 1 0 157526083 95854592 22588 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21827/statm: 23402 22588 420 55 0 22294 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 93608

[startup+130.074 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 21827
/proc/meminfo: memFree=1435392/2055920 swapFree=4183012/4192956
[pid=21827] ppid=21825 vsize=95200 CPUtime=130.01
/proc/21827/stat : 21827 (bsolo) R 21825 21827 21778 0 -1 0 23364 0 0 0 12974 27 0 0 25 0 1 0 157526083 97484800 22973 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21827/statm: 23800 22973 420 55 0 22692 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 95200

[startup+140.081 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 21827
/proc/meminfo: memFree=1432384/2055920 swapFree=4183012/4192956
[pid=21827] ppid=21825 vsize=98156 CPUtime=140.01
/proc/21827/stat : 21827 (bsolo) R 21825 21827 21778 0 -1 0 24114 0 0 0 13973 28 0 0 25 0 1 0 157526083 100511744 23723 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21827/statm: 24539 23723 420 55 0 23431 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 98156

[startup+150.087 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 21827
/proc/meminfo: memFree=1429952/2055920 swapFree=4183012/4192956
[pid=21827] ppid=21825 vsize=100584 CPUtime=150.02
/proc/21827/stat : 21827 (bsolo) R 21825 21827 21778 0 -1 0 24719 0 0 0 14973 29 0 0 25 0 1 0 157526083 102998016 24328 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21827/statm: 25146 24328 420 55 0 24038 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 100584

[startup+160.093 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 21827
/proc/meminfo: memFree=1427200/2055920 swapFree=4183012/4192956
[pid=21827] ppid=21825 vsize=103372 CPUtime=160.02
/proc/21827/stat : 21827 (bsolo) R 21825 21827 21778 0 -1 0 25411 0 0 0 15972 30 0 0 25 0 1 0 157526083 105852928 25020 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21827/statm: 25843 25020 420 55 0 24735 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 103372

[startup+170.099 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 21827
/proc/meminfo: memFree=1424128/2055920 swapFree=4183012/4192956
[pid=21827] ppid=21825 vsize=106408 CPUtime=170.03
/proc/21827/stat : 21827 (bsolo) R 21825 21827 21778 0 -1 0 26178 0 0 0 16971 32 0 0 25 0 1 0 157526083 108961792 25787 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21827/statm: 26602 25787 420 55 0 25494 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 106408

[startup+180.105 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 21827
/proc/meminfo: memFree=1420800/2055920 swapFree=4183012/4192956
[pid=21827] ppid=21825 vsize=109716 CPUtime=180.03
/proc/21827/stat : 21827 (bsolo) R 21825 21827 21778 0 -1 0 27002 0 0 0 17969 34 0 0 25 0 1 0 157526083 112349184 26609 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21827/statm: 27429 26609 420 55 0 26321 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 109716

[startup+190.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 21827
/proc/meminfo: memFree=1417664/2055920 swapFree=4183012/4192956
[pid=21827] ppid=21825 vsize=112916 CPUtime=190.03
/proc/21827/stat : 21827 (bsolo) R 21825 21827 21778 0 -1 0 27786 0 0 0 18968 35 0 0 25 0 1 0 157526083 115625984 27393 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21827/statm: 28229 27393 420 55 0 27121 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 112916

[startup+200.116 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 21827
/proc/meminfo: memFree=1414912/2055920 swapFree=4183012/4192956
[pid=21827] ppid=21825 vsize=115700 CPUtime=200.03
/proc/21827/stat : 21827 (bsolo) R 21825 21827 21778 0 -1 0 28472 0 0 0 19966 37 0 0 25 0 1 0 157526083 118476800 28078 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21827/statm: 28925 28078 420 55 0 27817 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 115700

[startup+210.123 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 21827

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

Current children cumulated CPU time (s) 1760.42
Current children cumulated vsize (Kb) 1684876

[startup+1771.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 21827
/proc/meminfo: memFree=16064/2055920 swapFree=4183012/4192956
[pid=21827] ppid=21825 vsize=1685668 CPUtime=1770.43
/proc/21827/stat : 21827 (bsolo) R 21825 21827 21778 0 -1 0 432801 0 0 0 176617 426 0 0 25 0 1 0 157526083 1726124032 417312 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21827/statm: 421417 417312 420 55 0 420309 0
Current children cumulated CPU time (s) 1770.43
Current children cumulated vsize (Kb) 1685668

[startup+1781.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 21827
/proc/meminfo: memFree=15872/2055920 swapFree=4183012/4192956
[pid=21827] ppid=21825 vsize=1687388 CPUtime=1780.43
/proc/21827/stat : 21827 (bsolo) R 21825 21827 21778 0 -1 0 433246 0 0 0 177616 427 0 0 25 0 1 0 157526083 1727885312 417757 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21827/statm: 421847 417757 420 55 0 420739 0
Current children cumulated CPU time (s) 1780.43
Current children cumulated vsize (Kb) 1687388

[startup+1782.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 21827
/proc/meminfo: memFree=15808/2055920 swapFree=4183012/4192956
[pid=21827] ppid=21825 vsize=1687388 CPUtime=1781.44
/proc/21827/stat : 21827 (bsolo) R 21825 21827 21778 0 -1 0 433255 0 0 0 177717 427 0 0 25 0 1 0 157526083 1727885312 417766 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21827/statm: 421847 417766 420 55 0 420739 0
Current children cumulated CPU time (s) 1781.44
Current children cumulated vsize (Kb) 1687388

[startup+1783.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 21827
/proc/meminfo: memFree=15808/2055920 swapFree=4183012/4192956
[pid=21827] ppid=21825 vsize=1687388 CPUtime=1782.44
/proc/21827/stat : 21827 (bsolo) R 21825 21827 21778 0 -1 0 433257 0 0 0 177817 427 0 0 25 0 1 0 157526083 1727885312 417768 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21827/statm: 421847 417768 420 55 0 420739 0
Current children cumulated CPU time (s) 1782.44
Current children cumulated vsize (Kb) 1687388

[startup+1784.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 21827
/proc/meminfo: memFree=15744/2055920 swapFree=4183012/4192956
[pid=21827] ppid=21825 vsize=1687520 CPUtime=1783.45
/proc/21827/stat : 21827 (bsolo) R 21825 21827 21778 0 -1 0 433268 0 0 0 177918 427 0 0 25 0 1 0 157526083 1728020480 417779 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21827/statm: 421880 417779 420 55 0 420772 0
Current children cumulated CPU time (s) 1783.45
Current children cumulated vsize (Kb) 1687520

[startup+1785.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 21827
/proc/meminfo: memFree=15680/2055920 swapFree=4183012/4192956
[pid=21827] ppid=21825 vsize=1687520 CPUtime=1784.45
/proc/21827/stat : 21827 (bsolo) R 21825 21827 21778 0 -1 0 433283 0 0 0 178018 427 0 0 25 0 1 0 157526083 1728020480 417794 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21827/statm: 421880 417794 420 55 0 420772 0
Current children cumulated CPU time (s) 1784.45
Current children cumulated vsize (Kb) 1687520

[startup+1786.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 21827
/proc/meminfo: memFree=15616/2055920 swapFree=4183012/4192956
[pid=21827] ppid=21825 vsize=1687652 CPUtime=1785.45
/proc/21827/stat : 21827 (bsolo) R 21825 21827 21778 0 -1 0 433299 0 0 0 178118 427 0 0 25 0 1 0 157526083 1728155648 417810 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21827/statm: 421913 417810 420 55 0 420805 0
Current children cumulated CPU time (s) 1785.45
Current children cumulated vsize (Kb) 1687652

[startup+1787.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 21827
/proc/meminfo: memFree=15552/2055920 swapFree=4183012/4192956
[pid=21827] ppid=21825 vsize=1687652 CPUtime=1786.46
/proc/21827/stat : 21827 (bsolo) R 21825 21827 21778 0 -1 0 433324 0 0 0 178219 427 0 0 25 0 1 0 157526083 1728155648 417835 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21827/statm: 421913 417835 420 55 0 420805 0
Current children cumulated CPU time (s) 1786.46
Current children cumulated vsize (Kb) 1687652

[startup+1788.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 21827
/proc/meminfo: memFree=15424/2055920 swapFree=4183012/4192956
[pid=21827] ppid=21825 vsize=1687784 CPUtime=1787.46
/proc/21827/stat : 21827 (bsolo) R 21825 21827 21778 0 -1 0 433354 0 0 0 178319 427 0 0 25 0 1 0 157526083 1728290816 417865 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21827/statm: 421946 417865 420 55 0 420838 0
Current children cumulated CPU time (s) 1787.46
Current children cumulated vsize (Kb) 1687784

[startup+1789.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 21827
/proc/meminfo: memFree=15360/2055920 swapFree=4183012/4192956
[pid=21827] ppid=21825 vsize=1687916 CPUtime=1788.47
/proc/21827/stat : 21827 (bsolo) R 21825 21827 21778 0 -1 0 433365 0 0 0 178420 427 0 0 25 0 1 0 157526083 1728425984 417876 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21827/statm: 421979 417876 420 55 0 420871 0
Current children cumulated CPU time (s) 1788.47
Current children cumulated vsize (Kb) 1687916

[startup+1790.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 21827
/proc/meminfo: memFree=15168/2055920 swapFree=4183012/4192956
[pid=21827] ppid=21825 vsize=1688048 CPUtime=1789.47
/proc/21827/stat : 21827 (bsolo) R 21825 21827 21778 0 -1 0 433408 0 0 0 178520 427 0 0 25 0 1 0 157526083 1728561152 417919 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21827/statm: 422012 417919 420 55 0 420904 0
Current children cumulated CPU time (s) 1789.47
Current children cumulated vsize (Kb) 1688048

[startup+1791.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 21827
/proc/meminfo: memFree=15040/2055920 swapFree=4183012/4192956
[pid=21827] ppid=21825 vsize=1688180 CPUtime=1790.48
/proc/21827/stat : 21827 (bsolo) R 21825 21827 21778 0 -1 0 433444 0 0 0 178621 427 0 0 25 0 1 0 157526083 1728696320 417955 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21827/statm: 422045 417955 420 55 0 420937 0
Current children cumulated CPU time (s) 1790.48
Current children cumulated vsize (Kb) 1688180

[startup+1792.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 21827
/proc/meminfo: memFree=16320/2055920 swapFree=4183012/4192956
[pid=21827] ppid=21825 vsize=1688444 CPUtime=1791.48
/proc/21827/stat : 21827 (bsolo) R 21825 21827 21778 0 -1 0 433514 0 0 0 178721 427 0 0 25 0 1 0 157526083 1728966656 418025 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21827/statm: 422111 418025 420 55 0 421003 0
Current children cumulated CPU time (s) 1791.48
Current children cumulated vsize (Kb) 1688444

[startup+1793.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 21827
/proc/meminfo: memFree=16320/2055920 swapFree=4183012/4192956
[pid=21827] ppid=21825 vsize=1688444 CPUtime=1792.48
/proc/21827/stat : 21827 (bsolo) R 21825 21827 21778 0 -1 0 433520 0 0 0 178821 427 0 0 25 0 1 0 157526083 1728966656 418031 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21827/statm: 422111 418031 420 55 0 421003 0
Current children cumulated CPU time (s) 1792.48
Current children cumulated vsize (Kb) 1688444

[startup+1794.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 21827
/proc/meminfo: memFree=16256/2055920 swapFree=4183012/4192956
[pid=21827] ppid=21825 vsize=1688444 CPUtime=1793.48
/proc/21827/stat : 21827 (bsolo) R 21825 21827 21778 0 -1 0 433533 0 0 0 178921 427 0 0 25 0 1 0 157526083 1728966656 418044 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21827/statm: 422111 418044 420 55 0 421003 0
Current children cumulated CPU time (s) 1793.48
Current children cumulated vsize (Kb) 1688444

[startup+1795.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 21827
/proc/meminfo: memFree=15808/2055920 swapFree=4183012/4192956
[pid=21827] ppid=21825 vsize=1688972 CPUtime=1794.49
/proc/21827/stat : 21827 (bsolo) R 21825 21827 21778 0 -1 0 433651 0 0 0 179022 427 0 0 25 0 1 0 157526083 1729507328 418162 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21827/statm: 422243 418162 420 55 0 421135 0
Current children cumulated CPU time (s) 1794.49
Current children cumulated vsize (Kb) 1688972

[startup+1796.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 21827
/proc/meminfo: memFree=16064/2055920 swapFree=4183012/4192956
[pid=21827] ppid=21825 vsize=1690160 CPUtime=1795.49
/proc/21827/stat : 21827 (bsolo) R 21825 21827 21778 0 -1 0 433972 0 0 0 179122 427 0 0 25 0 1 0 157526083 1730723840 418483 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21827/statm: 422540 418483 420 55 0 421432 0
Current children cumulated CPU time (s) 1795.49
Current children cumulated vsize (Kb) 1690160

[startup+1797.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 21827
/proc/meminfo: memFree=15872/2055920 swapFree=4183012/4192956
[pid=21827] ppid=21825 vsize=1690424 CPUtime=1796.5
/proc/21827/stat : 21827 (bsolo) R 21825 21827 21778 0 -1 0 434010 0 0 0 179223 427 0 0 25 0 1 0 157526083 1730994176 418521 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21827/statm: 422606 418521 420 55 0 421498 0
Current children cumulated CPU time (s) 1796.5
Current children cumulated vsize (Kb) 1690424

[startup+1798.17 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 21827
/proc/meminfo: memFree=15680/2055920 swapFree=4183012/4192956
[pid=21827] ppid=21825 vsize=1690556 CPUtime=1797.5
/proc/21827/stat : 21827 (bsolo) R 21825 21827 21778 0 -1 0 434062 0 0 0 179323 427 0 0 25 0 1 0 157526083 1731129344 418573 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529337 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21827/statm: 422639 418573 420 55 0 421531 0
Current children cumulated CPU time (s) 1797.5
Current children cumulated vsize (Kb) 1690556

[startup+1799.17 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 21827
/proc/meminfo: memFree=15232/2055920 swapFree=4183012/4192956
[pid=21827] ppid=21825 vsize=1690952 CPUtime=1798.5
/proc/21827/stat : 21827 (bsolo) R 21825 21827 21778 0 -1 0 434175 0 0 0 179423 427 0 0 25 0 1 0 157526083 1731534848 418686 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21827/statm: 422738 418686 420 55 0 421630 0
Current children cumulated CPU time (s) 1798.5
Current children cumulated vsize (Kb) 1690952

[startup+1800.18 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 21827
/proc/meminfo: memFree=15040/2055920 swapFree=4183012/4192956
[pid=21827] ppid=21825 vsize=1691216 CPUtime=1799.51
/proc/21827/stat : 21827 (bsolo) R 21825 21827 21778 0 -1 0 434220 0 0 0 179524 427 0 0 25 0 1 0 157526083 1731805184 418731 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21827/statm: 422804 418731 420 55 0 421696 0
Current children cumulated CPU time (s) 1799.51
Current children cumulated vsize (Kb) 1691216

Child status: 10
Real time (s): 1800.99
CPU time (s): 1800.28
CPU user time (s): 1795.74
CPU system time (s): 4.54231
CPU usage (%): 99.9606
Max. virtual memory (cumulated for all children) (Kb): 1691216
The end

Launcher Data (download as text)

Begin job on node9 on Fri Jul 28 17:10:49 UTC 2006


FILE ID= 50328-1154106649

PBS_JOBID= 886319

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  5bf563c7058af01702ea80887f1d43ad

RANDOM SEED= 745954140

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.223
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.223
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:       1525840 kB
Buffers:         33676 kB
Cached:         421636 kB
SwapCached:       3620 kB
Active:          56652 kB
Inactive:       407196 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1525840 kB
SwapTotal:     4192956 kB
SwapFree:      4183012 kB
Dirty:             184 kB
Writeback:           0 kB
Mapped:          14496 kB
Slab:            52260 kB
Committed_AS:   676948 kB
PageTables:       1420 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node9 on Fri Jul 28 17:40:50 UTC 2006