Trace number 50412

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/05SAT-18535 1800.05 1800.5

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=40-sizeP=21-sizeQ=40-289612555-max.opb
MD5SUM2533454829254b6bcc39aa8d9b25219b
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-18535
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -18535
Optimality of the best value was proved NO
Number of variables901
Total number of constraints2521
Number of constraints which are clauses2520
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint840
Number of terms in the objective function 21
Biggest coefficient in the objective function 1048576
Number of bits for the biggest coefficient in the objective function 21
Sum of the numbers in the objective function 2097151
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 576460752303423488
Number of bits of the biggest number in a constraint 60
Biggest sum of numbers in a constraint 2305842614989581580
Number of bits of the biggest sum of numbers61
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.06	c BIG Int formula...
0.06	c Initial problem consists of 901 variables and 2522 constraints.
0.07	c No problem reductions applied in OPT. instance.
0.07	c	preprocess terminated. Elapsed time: 0.06
0.07	c After prepocess the problem consists of 691 variables and 2102 constraints.
0.07	c Initial Lower Bound: -2097151
0.41	c Restart #1 #Var: 691 LB: -2097151 @ 0.404
1.08	c Restart #2 #Var: 691 LB: -2097151 @ 1.068
2.01	c Restart #3 #Var: 691 LB: -2097151 @ 1.998
3.22	c Restart #4 #Var: 691 LB: -2097151 @ 3.213
4.79	c Restart #5 #Var: 691 LB: -2097151 @ 4.779
6.63	c Restart #6 #Var: 691 LB: -2097151 @ 6.616
8.97	c Restart #7 #Var: 691 LB: -2097151 @ 8.963
11.74	c Restart #8 #Var: 691 LB: -2097151 @ 11.724
14.85	c Restart #9 #Var: 691 LB: -2097151 @ 14.842
18.24	c Restart #10 #Var: 691 LB: -2097151 @ 18.231
21.37	c Restart #11 #Var: 691 LB: -2097151 @ 21.355
24.60	c Restart #12 #Var: 691 LB: -2097151 @ 24.584
27.55	c Restart #13 #Var: 691 LB: -2097151 @ 27.537
30.19	c Restart #14 #Var: 691 LB: -2097151 @ 30.174
33.18	c Restart #15 #Var: 691 LB: -2097151 @ 33.16
36.87	c Restart #16 #Var: 691 LB: -2097151 @ 36.851
40.85	c Restart #17 #Var: 691 LB: -2097151 @ 40.826
43.70	c Restart #18 #Var: 691 LB: -2097151 @ 43.68
45.75	c Restart #19 #Var: 691 LB: -2097151 @ 45.731
49.19	c Restart #20 #Var: 691 LB: -2097151 @ 49.171
53.89	c Restart #21 #Var: 691 LB: -2097151 @ 53.868
58.03	c Restart #22 #Var: 691 LB: -2097151 @ 58.009
61.47	c Restart #23 #Var: 691 LB: -2097151 @ 61.441
66.61	c Restart #24 #Var: 691 LB: -2097151 @ 66.585
67.28	c Sol. found (all assignments made)...
67.28	o -55
67.28	c NEW SOLUTION FOUND: -55 @ 67.257
72.20	c Restart #25 #Var: 688 LB: -2097151 @ 72.178
75.47	c Restart #26 #Var: 688 LB: -2097151 @ 75.438
80.77	c Restart #27 #Var: 688 LB: -2097151 @ 80.736
85.36	c Restart #28 #Var: 677 LB: -2097151 @ 85.333
92.22	c CHANGE to MIS mode... 	UB: -55	MIS: -2097151	LPR: -2147483648 (0)	Diff: 0.00097656
92.22	c Restart #0 #Var: 676 LB: -2097151 @ 92.187
92.46	c Restart #1 #Var: 676 LB: -2097151 @ 92.429
92.96	c Restart #2 #Var: 676 LB: -2097151 @ 92.932
93.48	c Restart #3 #Var: 671 LB: -2097151 @ 93.446
94.32	c Restart #4 #Var: 665 LB: -2097151 @ 94.287
95.09	c Restart #5 #Var: 665 LB: -2097151 @ 95.057
96.34	c Restart #6 #Var: 665 LB: -2097151 @ 96.304
97.37	c Restart #7 #Var: 665 LB: -2097151 @ 97.337
99.04	c Restart #8 #Var: 665 LB: -2097151 @ 99.009
100.50	c Restart #9 #Var: 665 LB: -2097151 @ 100.47
102.30	c Restart #10 #Var: 665 LB: -2097151 @ 102.27
104.29	c Restart #11 #Var: 665 LB: -2097151 @ 104.26
106.22	c Restart #12 #Var: 665 LB: -2097151 @ 106.18
109.00	c Restart #13 #Var: 665 LB: -2097151 @ 108.96
111.77	c Restart #14 #Var: 665 LB: -2097151 @ 111.73
114.92	c Restart #15 #Var: 665 LB: -2097151 @ 114.88
118.07	c Restart #16 #Var: 665 LB: -2097151 @ 118.03
120.80	c Restart #17 #Var: 665 LB: -2097151 @ 120.76
124.12	c Restart #18 #Var: 665 LB: -2097151 @ 124.08
126.69	c Restart #19 #Var: 664 LB: -2097151 @ 126.65
130.99	c Restart #20 #Var: 664 LB: -2097151 @ 130.94
134.88	c Restart #21 #Var: 664 LB: -2097151 @ 134.84
138.64	c Restart #22 #Var: 664 LB: -2097151 @ 138.59
146.29	c Restart #23 #Var: 664 LB: -2097151 @ 146.25
151.58	c Restart #24 #Var: 664 LB: -2097151 @ 151.53
155.19	c Restart #25 #Var: 664 LB: -2097151 @ 155.14
160.25	c Restart #26 #Var: 664 LB: -2097151 @ 160.2
164.53	c Restart #27 #Var: 664 LB: -2097151 @ 164.48
169.18	c Restart #28 #Var: 664 LB: -2097151 @ 169.13
176.21	c Restart #29 #Var: 664 LB: -2097151 @ 176.16
182.02	c Restart #30 #Var: 664 LB: -2097151 @ 181.96
187.16	c Restart #31 #Var: 664 LB: -2097151 @ 187.11
192.68	c Restart #32 #Var: 664 LB: -2097151 @ 192.62
198.30	c Restart #33 #Var: 664 LB: -2097151 @ 198.25
203.72	c Restart #34 #Var: 664 LB: -2097151 @ 203.66
210.09	c Restart #35 #Var: 663 LB: -2097151 @ 210.03
217.66	c Restart #36 #Var: 663 LB: -2097151 @ 217.59
223.25	c Restart #37 #Var: 663 LB: -2097151 @ 223.19
232.31	c Restart #38 #Var: 663 LB: -2097151 @ 232.25
240.47	c Restart #39 #Var: 663 LB: -2097151 @ 240.4
248.85	c Restart #40 #Var: 663 LB: -2097151 @ 248.78
259.42	c Restart #41 #Var: 663 LB: -2097151 @ 259.35
269.50	c Restart #42 #Var: 663 LB: -2097151 @ 269.43
276.73	c Restart #43 #Var: 663 LB: -2097151 @ 276.66
285.56	c Restart #44 #Var: 663 LB: -2097151 @ 285.48
296.32	c Restart #45 #Var: 663 LB: -2097151 @ 296.24
304.53	c Restart #46 #Var: 663 LB: -2097151 @ 304.44
315.83	c Restart #47 #Var: 663 LB: -2097151 @ 315.74
323.92	c Restart #48 #Var: 663 LB: -2097151 @ 323.83
332.02	c Restart #49 #Var: 663 LB: -2097151 @ 331.93
342.61	c Restart #50 #Var: 663 LB: -2097151 @ 342.52
353.49	c Restart #51 #Var: 663 LB: -2097151 @ 353.39
364.78	c Restart #52 #Var: 663 LB: -2097151 @ 364.68
375.10	c Restart #53 #Var: 663 LB: -2097151 @ 375
386.25	c Restart #54 #Var: 663 LB: -2097151 @ 386.14
396.96	c Restart #55 #Var: 663 LB: -2097151 @ 396.86
411.45	c Restart #56 #Var: 663 LB: -2097151 @ 411.34
423.88	c Restart #57 #Var: 663 LB: -2097151 @ 423.77
435.07	c Restart #58 #Var: 663 LB: -2097151 @ 434.96
447.69	c Restart #59 #Var: 663 LB: -2097151 @ 447.57
460.97	c Restart #60 #Var: 663 LB: -2097151 @ 460.85
474.12	c Restart #61 #Var: 663 LB: -2097151 @ 473.99
491.13	c Restart #62 #Var: 663 LB: -2097151 @ 491
506.10	c Restart #63 #Var: 663 LB: -2097151 @ 505.97
519.55	c Restart #64 #Var: 663 LB: -2097151 @ 519.41
534.86	c Restart #65 #Var: 663 LB: -2097151 @ 534.72
549.58	c Restart #66 #Var: 663 LB: -2097151 @ 549.43
566.99	c Restart #67 #Var: 663 LB: -2097151 @ 566.84
579.99	c Restart #68 #Var: 663 LB: -2097151 @ 579.84
595.87	c Restart #69 #Var: 663 LB: -2097151 @ 595.72
611.77	c Restart #70 #Var: 663 LB: -2097151 @ 611.61
623.17	c Restart #71 #Var: 663 LB: -2097151 @ 623.01
641.87	c Restart #72 #Var: 663 LB: -2097151 @ 641.7
662.32	c Restart #73 #Var: 663 LB: -2097151 @ 662.15
678.66	c Restart #74 #Var: 663 LB: -2097151 @ 678.48
695.12	c Restart #75 #Var: 663 LB: -2097151 @ 694.94
712.30	c Restart #76 #Var: 663 LB: -2097151 @ 712.12
728.76	c Restart #77 #Var: 663 LB: -2097151 @ 728.57
745.91	c Restart #78 #Var: 663 LB: -2097151 @ 745.71
762.53	c Restart #79 #Var: 663 LB: -2097151 @ 762.34
782.74	c Restart #80 #Var: 660 LB: -2097151 @ 782.54
806.86	c Restart #81 #Var: 660 LB: -2097151 @ 806.65
824.92	c Restart #82 #Var: 660 LB: -2097151 @ 824.71
845.40	c Restart #83 #Var: 660 LB: -2097151 @ 845.18
864.87	c Restart #84 #Var: 660 LB: -2097151 @ 864.65
886.77	c Restart #85 #Var: 660 LB: -2097151 @ 886.55
903.08	c Restart #86 #Var: 660 LB: -2097151 @ 902.85
923.08	c Restart #87 #Var: 660 LB: -2097151 @ 922.85
943.14	c Restart #88 #Var: 660 LB: -2097151 @ 942.9
966.29	c Restart #89 #Var: 660 LB: -2097151 @ 966.05
976.55	c Sol. found (all assignments made)...
976.55	o -337
976.55	c NEW SOLUTION FOUND: -337 @ 976.3
996.96	c Sol. found (all assignments made)...
996.96	o -18535
996.96	c NEW SOLUTION FOUND: -18535 @ 996.71
1015.85	c Restart #90 #Var: 659 LB: -2097151 @ 1015.6
1042.07	c Restart #91 #Var: 632 LB: -2097151 @ 1041.8
1061.95	c Restart #92 #Var: 632 LB: -2097151 @ 1061.7
1084.89	c Restart #93 #Var: 632 LB: -2097151 @ 1084.6
1110.01	c Restart #94 #Var: 629 LB: -2097151 @ 1109.7
1137.68	c Restart #95 #Var: 629 LB: -2097151 @ 1137.4
1155.86	c Restart #96 #Var: 629 LB: -2097151 @ 1155.6
1178.71	c Restart #97 #Var: 629 LB: -2097151 @ 1178.4
1199.85	c Restart #98 #Var: 628 LB: -2097151 @ 1199.5
1228.34	c Restart #99 #Var: 628 LB: -2097151 @ 1228
1260.59	c Restart #100 #Var: 628 LB: -2097151 @ 1260.3
1289.71	c Restart #101 #Var: 628 LB: -2097151 @ 1289.4
1313.20	c Restart #102 #Var: 628 LB: -2097151 @ 1312.9
1332.59	c Restart #103 #Var: 628 LB: -2097151 @ 1332.3
1359.03	c Restart #104 #Var: 618 LB: -2097151 @ 1358.7
1381.25	c Restart #105 #Var: 618 LB: -2097151 @ 1380.9
1407.77	c Restart #106 #Var: 618 LB: -2097151 @ 1407.4
1434.77	c Restart #107 #Var: 618 LB: -2097151 @ 1434.4
1459.16	c Restart #108 #Var: 618 LB: -2097151 @ 1458.8
1483.53	c Restart #109 #Var: 607 LB: -2097151 @ 1483.2
1519.47	c Restart #110 #Var: 607 LB: -2097151 @ 1519.1
1540.18	c Restart #111 #Var: 607 LB: -2097151 @ 1539.8
1569.54	c Restart #112 #Var: 607 LB: -2097151 @ 1569.1
1605.12	c Restart #113 #Var: 607 LB: -2097151 @ 1604.7
1631.59	c Restart #114 #Var: 607 LB: -2097151 @ 1631.2
1660.11	c Restart #115 #Var: 607 LB: -2097151 @ 1659.7
1690.02	c Restart #116 #Var: 607 LB: -2097151 @ 1689.6
1720.64	c Restart #117 #Var: 607 LB: -2097151 @ 1720.2
1750.77	c Restart #118 #Var: 607 LB: -2097151 @ 1750.3
1779.13	c Restart #119 #Var: 607 LB: -2097151 @ 1778.7
1800.45	s SATISFIABLE
1800.45	c Cost: -18535
1800.45	v x1 x2 x3 -x4 -x5 x6 x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 x62 x22 -x63 -x23 x64 x24 x65 x25 x66 x26 x67
1800.45	v x27 -x68 -x28 x69 x29 x70 x30 x71 x31 x72 x32 x73 x33 x74 x34 -x75 -x35 -x76 -x36 x77 x37 -x78 -x38 -x79 -x39 x80 x40 -x81 -x41 -x82
1800.45	v -x42 -x83 -x43 x84 x44 -x85 -x45 -x86 -x46 x87 x47 -x88 -x48 -x89 -x49 -x90 -x50 -x91 -x51 -x92 -x52 -x93 -x53 -x94 -x54 -x95 -x55
1800.45	v -x96 -x56 -x97 -x57 -x98 -x58 -x99 -x59 -x100 -x60 -x101 -x61 x502 -x503 x504 x505 x506 x507 -x508 x509 x510 x511 x512 x513 x514
1800.45	v -x515 -x516 x517 -x518 -x519 x520 -x521 -x522 -x523 x524 -x525 -x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535
1800.45	v -x536 -x537 -x538 -x539 -x540 -x541 x582 -x583 x584 x585 x586 x587 -x588 x589 x590 x591 x592 x593 x594 -x595 -x596 x597 -x598
1800.45	v -x599 x600 -x601 -x602 -x603 x604 -x605 -x606 x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619
1800.45	v -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640
1800.45	v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661
1800.45	v -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682
1800.45	v -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 x702 -x703
1800.45	v x704 x705 x706 x707 -x708 x709 x710 x711 x712 x713 x714 -x715 -x716 x717 -x718 -x719 x720 -x721 -x722 -x723 x724 -x725 -x726
1800.45	v x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 x742 -x743 x744 x745 x746 x747 -x748
1800.45	v x749 x750 x751 x752 x753 x754 -x755 -x756 x757 -x758 -x759 x760 -x761 -x762 -x763 x764 -x765 -x766 x767 -x768 -x769 -x770 -x771
1800.45	v -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792
1800.45	v -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813
1800.45	v -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834
1800.45	v -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855
1800.45	v -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876
1800.45	v -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897
1800.45	v -x898 -x899 -x900 -x901 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118
1800.45	v -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139
1800.45	v -x140 -x141 x142 -x143 x144 x145 x146 x147 -x148 x149 x150 x151 x152 x153 x154 -x155 -x156 x157 -x158 -x159 x160 -x161 -x162
1800.45	v -x163 x164 -x165 -x166 x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183
1800.45	v -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204
1800.45	v -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225
1800.45	v -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246
1800.45	v -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 x264 x265 x266 x267 -x268
1800.45	v x269 x270 x271 x272 x273 x274 -x275 -x276 x277 -x278 -x279 x280 -x281 -x282 -x283 x284 -x285 -x286 x287 -x288 -x289 -x290 -x291
1800.45	v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312
1800.45	v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333
1800.45	v -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354
1800.45	v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375
1800.45	v -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396
1800.45	v -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417
1800.45	v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438
1800.45	v -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459
1800.45	v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
1800.45	v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501
1800.45	v -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562
1800.45	v -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581
1800.45	c Exit Code: 10
1800.45	c Total time: 1800 s

Verifier Data (download as text)

OK	-18535

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 3/64 27567
/proc/meminfo: memFree=1406560/2055920 swapFree=4183200/4192956
[pid=27567] ppid=27565 vsize=4928 CPUtime=0
/proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 345 0 0 0 0 0 0 0 19 0 1 0 158946518 5046272 308 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 11558615 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27567/statm: 1232 321 218 55 0 124 0

[startup+10.0022 s]
/proc/loadavg: 0.93 0.98 0.99 2/64 27567
/proc/meminfo: memFree=1403696/2055920 swapFree=4183200/4192956
[pid=27567] ppid=27565 vsize=7344 CPUtime=9.99
/proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 1104 0 0 0 998 1 0 0 25 0 1 0 158946518 7520256 1018 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27567/statm: 1836 1018 297 55 0 728 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 7344

[startup+20.0081 s]
/proc/loadavg: 0.94 0.98 0.99 2/64 27567
/proc/meminfo: memFree=1401328/2055920 swapFree=4183200/4192956
[pid=27567] ppid=27565 vsize=9584 CPUtime=19.99
/proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 1687 0 0 0 1998 1 0 0 25 0 1 0 158946518 9814016 1587 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134547502 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27567/statm: 2396 1587 297 55 0 1288 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 9584

[startup+30.014 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 27567
/proc/meminfo: memFree=1401392/2055920 swapFree=4183200/4192956
[pid=27567] ppid=27565 vsize=9584 CPUtime=29.99
/proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 1687 0 0 0 2998 1 0 0 25 0 1 0 158946518 9814016 1587 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27567/statm: 2396 1587 297 55 0 1288 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 9584

[startup+40.0199 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 27567
/proc/meminfo: memFree=1400752/2055920 swapFree=4183200/4192956
[pid=27567] ppid=27565 vsize=10448 CPUtime=39.99
/proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 1875 0 0 0 3998 1 0 0 25 0 1 0 158946518 10698752 1775 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134551614 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27567/statm: 2612 1775 297 55 0 1504 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 10448

[startup+50.0268 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 27567
/proc/meminfo: memFree=1397424/2055920 swapFree=4183200/4192956
[pid=27567] ppid=27565 vsize=13796 CPUtime=50
/proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 2728 0 0 0 4998 2 0 0 25 0 1 0 158946518 14127104 2628 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548389 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27567/statm: 3449 2628 297 55 0 2341 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 13796

[startup+60.0318 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 27567
/proc/meminfo: memFree=1396080/2055920 swapFree=4183200/4192956
[pid=27567] ppid=27565 vsize=15208 CPUtime=60
/proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 3078 0 0 0 5998 2 0 0 25 0 1 0 158946518 15572992 2970 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134557833 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27567/statm: 3802 2970 297 55 0 2694 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 15208

[startup+70.0377 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 27567
/proc/meminfo: memFree=1394480/2055920 swapFree=4183200/4192956
[pid=27567] ppid=27565 vsize=16700 CPUtime=70.01
/proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 3471 0 0 0 6998 3 0 0 25 0 1 0 158946518 17100800 3363 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27567/statm: 4175 3363 298 55 0 3067 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 16700

[startup+80.0436 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 27567
/proc/meminfo: memFree=1393200/2055920 swapFree=4183200/4192956
[pid=27567] ppid=27565 vsize=18124 CPUtime=80.01
/proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 3808 0 0 0 7997 4 0 0 25 0 1 0 158946518 18558976 3700 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27567/statm: 4531 3700 298 55 0 3423 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 18124

[startup+90.0495 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 27567
/proc/meminfo: memFree=1390768/2055920 swapFree=4183200/4192956
[pid=27567] ppid=27565 vsize=20544 CPUtime=90
/proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 4411 0 0 0 8996 4 0 0 25 0 1 0 158946518 21037056 4303 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27567/statm: 5136 4303 298 55 0 4028 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 20544

[startup+100.055 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 27567
/proc/meminfo: memFree=1389680/2055920 swapFree=4183200/4192956
[pid=27567] ppid=27565 vsize=21540 CPUtime=100.01
/proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 4682 0 0 0 9996 5 0 0 25 0 1 0 158946518 22056960 4574 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27567/statm: 5385 4574 298 55 0 4277 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 21540

[startup+110.062 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 27567
/proc/meminfo: memFree=1387056/2055920 swapFree=4183200/4192956
[pid=27567] ppid=27565 vsize=24068 CPUtime=110.02
/proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 5328 0 0 0 10996 6 0 0 25 0 1 0 158946518 24645632 5209 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27567/statm: 6017 5209 298 55 0 4909 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 24068

[startup+120.067 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27567
/proc/meminfo: memFree=1385520/2055920 swapFree=4183200/4192956
[pid=27567] ppid=27565 vsize=25760 CPUtime=120.02
/proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 5727 0 0 0 11995 7 0 0 25 0 1 0 158946518 26378240 5604 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27567/statm: 6440 5604 298 55 0 5332 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 25760

[startup+130.073 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27567
/proc/meminfo: memFree=1383152/2055920 swapFree=4183200/4192956
[pid=27567] ppid=27565 vsize=28028 CPUtime=130.02
/proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 6311 0 0 0 12994 8 0 0 25 0 1 0 158946518 28700672 6188 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27567/statm: 7007 6188 298 55 0 5899 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 28028

[startup+140.079 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27567
/proc/meminfo: memFree=1381872/2055920 swapFree=4183200/4192956
[pid=27567] ppid=27565 vsize=29396 CPUtime=140.02
/proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 6636 0 0 0 13994 8 0 0 25 0 1 0 158946518 30101504 6513 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27567/statm: 7349 6513 298 55 0 6241 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 29396

[startup+150.085 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27567
/proc/meminfo: memFree=1381040/2055920 swapFree=4183200/4192956
[pid=27567] ppid=27565 vsize=30092 CPUtime=150.03
/proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 7013 0 0 0 14995 8 0 0 25 0 1 0 158946518 30814208 6714 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27567/statm: 7523 6714 298 55 0 6415 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 30092

[startup+160.091 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27567
/proc/meminfo: memFree=1378416/2055920 swapFree=4183200/4192956
[pid=27567] ppid=27565 vsize=32788 CPUtime=160.04
/proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 7679 0 0 0 15994 10 0 0 25 0 1 0 158946518 33574912 7380 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27567/statm: 8197 7380 298 55 0 7089 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 32788

[startup+170.098 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27567
/proc/meminfo: memFree=1375920/2055920 swapFree=4183200/4192956
[pid=27567] ppid=27565 vsize=35328 CPUtime=170.04
/proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 8295 0 0 0 16993 11 0 0 25 0 1 0 158946518 36175872 7996 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27567/statm: 8832 7996 298 55 0 7724 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 35328

[startup+180.104 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27567
/proc/meminfo: memFree=1374896/2055920 swapFree=4183200/4192956
[pid=27567] ppid=27565 vsize=36360 CPUtime=180.05
/proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 8558 0 0 0 17993 12 0 0 25 0 1 0 158946518 37232640 8254 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27567/statm: 9090 8254 298 55 0 7982 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 36360

[startup+190.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27567
/proc/meminfo: memFree=1373360/2055920 swapFree=4183200/4192956
[pid=27567] ppid=27565 vsize=37896 CPUtime=190.04
/proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 8993 0 0 0 18992 12 0 0 25 0 1 0 158946518 38805504 8642 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27567/statm: 9474 8642 298 55 0 8366 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 37896

[startup+200.116 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27567
/proc/meminfo: memFree=1372464/2055920 swapFree=4183200/4192956
[pid=27567] ppid=27565 vsize=38776 CPUtime=200.05
/proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 9209 0 0 0 19992 13 0 0 25 0 1 0 158946518 39706624 8858 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27567/statm: 9694 8858 298 55 0 8586 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 38776

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

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

Current children cumulated CPU time (s) 1760.59
Current children cumulated vsize (Kb) 249312

[startup+1771.04 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27567
/proc/meminfo: memFree=1159792/2055920 swapFree=4183200/4192956
[pid=27567] ppid=27565 vsize=250848 CPUtime=1770.59
/proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 64718 0 0 0 176940 119 0 0 25 0 1 0 158946518 256868352 61897 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27567/statm: 62712 61897 298 55 0 61604 0
Current children cumulated CPU time (s) 1770.59
Current children cumulated vsize (Kb) 250848

[startup+1781.05 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27567
/proc/meminfo: memFree=1156976/2055920 swapFree=4183200/4192956
[pid=27567] ppid=27565 vsize=253692 CPUtime=1780.6
/proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 65406 0 0 0 177940 120 0 0 25 0 1 0 158946518 259780608 62585 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134537841 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27567/statm: 63423 62585 298 55 0 62315 0
Current children cumulated CPU time (s) 1780.6
Current children cumulated vsize (Kb) 253692

[startup+1782.06 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27567
/proc/meminfo: memFree=1156976/2055920 swapFree=4183200/4192956
[pid=27567] ppid=27565 vsize=253692 CPUtime=1781.6
/proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 65406 0 0 0 178040 120 0 0 25 0 1 0 158946518 259780608 62585 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548389 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27567/statm: 63423 62585 298 55 0 62315 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (Kb) 253692

[startup+1783.06 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27567
/proc/meminfo: memFree=1156720/2055920 swapFree=4183200/4192956
[pid=27567] ppid=27565 vsize=253912 CPUtime=1782.61
/proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 65480 0 0 0 178141 120 0 0 25 0 1 0 158946518 260005888 62659 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134542129 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27567/statm: 63478 62659 298 55 0 62370 0
Current children cumulated CPU time (s) 1782.61
Current children cumulated vsize (Kb) 253912

[startup+1784.07 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27567
/proc/meminfo: memFree=1156592/2055920 swapFree=4183200/4192956
[pid=27567] ppid=27565 vsize=254044 CPUtime=1783.61
/proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 65505 0 0 0 178241 120 0 0 25 0 1 0 158946518 260141056 62684 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27567/statm: 63511 62684 298 55 0 62403 0
Current children cumulated CPU time (s) 1783.61
Current children cumulated vsize (Kb) 254044

[startup+1785.07 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27567
/proc/meminfo: memFree=1155696/2055920 swapFree=4183200/4192956
[pid=27567] ppid=27565 vsize=254956 CPUtime=1784.61
/proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 65725 0 0 0 178341 120 0 0 25 0 1 0 158946518 261074944 62904 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27567/statm: 63739 62904 298 55 0 62631 0
Current children cumulated CPU time (s) 1784.61
Current children cumulated vsize (Kb) 254956

[startup+1786.08 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27567
/proc/meminfo: memFree=1155696/2055920 swapFree=4183200/4192956
[pid=27567] ppid=27565 vsize=254956 CPUtime=1785.62
/proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 65725 0 0 0 178442 120 0 0 25 0 1 0 158946518 261074944 62904 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 11533986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27567/statm: 63739 62904 298 55 0 62631 0
Current children cumulated CPU time (s) 1785.62
Current children cumulated vsize (Kb) 254956

[startup+1787.08 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27567
/proc/meminfo: memFree=1155696/2055920 swapFree=4183200/4192956
[pid=27567] ppid=27565 vsize=254956 CPUtime=1786.62
/proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 65725 0 0 0 178542 120 0 0 25 0 1 0 158946518 261074944 62904 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27567/statm: 63739 62904 298 55 0 62631 0
Current children cumulated CPU time (s) 1786.62
Current children cumulated vsize (Kb) 254956

[startup+1788.08 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27567
/proc/meminfo: memFree=1155504/2055920 swapFree=4183200/4192956
[pid=27567] ppid=27565 vsize=255088 CPUtime=1787.63
/proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 65778 0 0 0 178643 120 0 0 25 0 1 0 158946518 261210112 62957 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548222 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27567/statm: 63772 62957 298 55 0 62664 0
Current children cumulated CPU time (s) 1787.63
Current children cumulated vsize (Kb) 255088

[startup+1789.09 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27567
/proc/meminfo: memFree=1155504/2055920 swapFree=4183200/4192956
[pid=27567] ppid=27565 vsize=255088 CPUtime=1788.63
/proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 65778 0 0 0 178743 120 0 0 25 0 1 0 158946518 261210112 62957 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27567/statm: 63772 62957 298 55 0 62664 0
Current children cumulated CPU time (s) 1788.63
Current children cumulated vsize (Kb) 255088

[startup+1790.09 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27567
/proc/meminfo: memFree=1155312/2055920 swapFree=4183200/4192956
[pid=27567] ppid=27565 vsize=255348 CPUtime=1789.64
/proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 65817 0 0 0 178844 120 0 0 25 0 1 0 158946518 261476352 62996 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27567/statm: 63837 62996 298 55 0 62729 0
Current children cumulated CPU time (s) 1789.64
Current children cumulated vsize (Kb) 255348

[startup+1791.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27567
/proc/meminfo: memFree=1154992/2055920 swapFree=4183200/4192956
[pid=27567] ppid=27565 vsize=255612 CPUtime=1790.64
/proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 65906 0 0 0 178944 120 0 0 25 0 1 0 158946518 261746688 63085 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134606482 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27567/statm: 63903 63085 298 55 0 62795 0
Current children cumulated CPU time (s) 1790.64
Current children cumulated vsize (Kb) 255612

[startup+1792.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27567
/proc/meminfo: memFree=1154480/2055920 swapFree=4183200/4192956
[pid=27567] ppid=27565 vsize=256136 CPUtime=1791.65
/proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 66025 0 0 0 179044 121 0 0 25 0 1 0 158946518 262283264 63204 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134524446 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27567/statm: 64034 63204 298 55 0 62926 0
Current children cumulated CPU time (s) 1791.65
Current children cumulated vsize (Kb) 256136

[startup+1793.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27567
/proc/meminfo: memFree=1153904/2055920 swapFree=4183200/4192956
[pid=27567] ppid=27565 vsize=256636 CPUtime=1792.66
/proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 66168 0 0 0 179145 121 0 0 25 0 1 0 158946518 262795264 63347 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27567/statm: 64159 63347 298 55 0 63051 0
Current children cumulated CPU time (s) 1792.66
Current children cumulated vsize (Kb) 256636

[startup+1794.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27567
/proc/meminfo: memFree=1153904/2055920 swapFree=4183200/4192956
[pid=27567] ppid=27565 vsize=256636 CPUtime=1793.66
/proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 66168 0 0 0 179245 121 0 0 25 0 1 0 158946518 262795264 63347 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27567/statm: 64159 63347 298 55 0 63051 0
Current children cumulated CPU time (s) 1793.66
Current children cumulated vsize (Kb) 256636

[startup+1795.12 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27567
/proc/meminfo: memFree=1153904/2055920 swapFree=4183200/4192956
[pid=27567] ppid=27565 vsize=256744 CPUtime=1794.67
/proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 66180 0 0 0 179346 121 0 0 25 0 1 0 158946518 262905856 63359 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27567/statm: 64186 63359 298 55 0 63078 0
Current children cumulated CPU time (s) 1794.67
Current children cumulated vsize (Kb) 256744

[startup+1796.12 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27567
/proc/meminfo: memFree=1153776/2055920 swapFree=4183200/4192956
[pid=27567] ppid=27565 vsize=256876 CPUtime=1795.67
/proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 66206 0 0 0 179446 121 0 0 25 0 1 0 158946518 263041024 63385 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548247 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27567/statm: 64219 63385 298 55 0 63111 0
Current children cumulated CPU time (s) 1795.67
Current children cumulated vsize (Kb) 256876

[startup+1797.13 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27567
/proc/meminfo: memFree=1153712/2055920 swapFree=4183200/4192956
[pid=27567] ppid=27565 vsize=256876 CPUtime=1796.67
/proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 66220 0 0 0 179546 121 0 0 25 0 1 0 158946518 263041024 63399 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27567/statm: 64219 63399 298 55 0 63111 0
Current children cumulated CPU time (s) 1796.67
Current children cumulated vsize (Kb) 256876

[startup+1798.13 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27567
/proc/meminfo: memFree=1153520/2055920 swapFree=4183200/4192956
[pid=27567] ppid=27565 vsize=257000 CPUtime=1797.68
/proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 66260 0 0 0 179647 121 0 0 25 0 1 0 158946518 263168000 63439 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134557764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27567/statm: 64250 63439 298 55 0 63142 0
Current children cumulated CPU time (s) 1797.68
Current children cumulated vsize (Kb) 257000

[startup+1799.14 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27567
/proc/meminfo: memFree=1153072/2055920 swapFree=4183200/4192956
[pid=27567] ppid=27565 vsize=257528 CPUtime=1798.68
/proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 66384 0 0 0 179747 121 0 0 25 0 1 0 158946518 263708672 63563 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 11527803 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27567/statm: 64382 63563 298 55 0 63274 0
Current children cumulated CPU time (s) 1798.68
Current children cumulated vsize (Kb) 257528

[startup+1800.14 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27567
/proc/meminfo: memFree=1152944/2055920 swapFree=4183200/4192956
[pid=27567] ppid=27565 vsize=257660 CPUtime=1799.69
/proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 66408 0 0 0 179848 121 0 0 25 0 1 0 158946518 263843840 63587 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27567/statm: 64415 63587 298 55 0 63307 0
Current children cumulated CPU time (s) 1799.69
Current children cumulated vsize (Kb) 257660

Child status: 10
Real time (s): 1800.5
CPU time (s): 1800.05
CPU user time (s): 1798.79
CPU system time (s): 1.25981
CPU usage (%): 99.9749
Max. virtual memory (cumulated for all children) (Kb): 257660
The end

Launcher Data (download as text)

Begin job on node39 on Fri Jul 28 21:05:53 UTC 2006


FILE ID= 50412-1154120753

PBS_JOBID= 886962

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=40-sizeP=21-sizeQ=40-289612555-max.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node39/50412-1154120753/instance-50412-1154120753.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node39/watcher-50412-1154120753 -o ROOT/results/node39/solver-50412-1154120753 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node39/50412-1154120753/instance-50412-1154120753.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  2533454829254b6bcc39aa8d9b25219b

RANDOM SEED= 243977456

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.214
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.214
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:       1406704 kB
Buffers:         31668 kB
Cached:         557508 kB
SwapCached:       3648 kB
Active:          62296 kB
Inactive:       535632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1406704 kB
SwapTotal:     4192956 kB
SwapFree:      4183200 kB
Dirty:             192 kB
Writeback:           0 kB
Mapped:          14724 kB
Slab:            37284 kB
Committed_AS:   724852 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 node39 on Fri Jul 28 21:35:54 UTC 2006