Trace number 49866

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
minisat+ 1.14? (TO) 1800.72 1801.21

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=180-sizeP=91-sizeQ=180-348768554.opb
MD5SUMb1249706e628878b014787592bd6d20f
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark19.555
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
Optimality of the best value was proved YES
Number of variables16651
Total number of constraints49141
Number of constraints which are clauses49140
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 constraint16380
Number of terms in the objective function 91
Biggest coefficient in the objective function 1237940039285380274899124224
Number of bits for the biggest coefficient in the objective function 91
Sum of the numbers in the objective function 2475880078570760549798248447
Number of bits of the sum of numbers in the objective function 91
Biggest number in a constraint 948568795032094272909893509191171341133987714380927500611236528192824358010355712
Number of bits of the biggest number in a constraint 270
Biggest sum of numbers in a constraint 3794275180128377091639574036119569691105961065265835810055117519795943319408340779
Number of bits of the biggest sum of numbers271
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c Parsing PB file...
2.22	c Converting 49142 PB-constraints to clauses...
2.23	c   -- Unit propagations: (none)
12.48	c   -- Detecting intervals from adjacent constraints: #
12.49	c   -- Clauses(.)/Splits(s): ......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
12.59	c ---[   0]---> Adder-cost: 24382   maxlim: 138569714351359987044509106630965894961520354009560781015   bits: 187/187
41.51	c ==================================[MINISAT+]==================================
41.51	c | Conflicts | Original         | Learnt                           | Progress |
41.51	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
41.51	c ==============================================================================
41.51	c |         0 |  210406   698787 |   70135       0        0     nan |  0.000 % |
41.68	c |       100 |  210176   697965 |   77148      68      213     3.1 | 10.934 % |
41.81	c |       250 |  210016   697405 |   84863     194      604     3.1 | 11.002 % |
41.82	c |       475 |  210016   697405 |   93349     419     1288     3.1 | 11.002 % |
42.07	c |       812 |  209984   697293 |  102684     752     2370     3.2 | 11.014 % |
42.46	c |      1319 |  209984   697293 |  112953    1259    37425    29.7 | 11.014 % |
44.16	c |      2078 |  209984   697293 |  124248    2018    53562    26.5 | 11.014 % |
46.10	c |      3217 |  209984   697293 |  136673    3157    76427    24.2 | 11.014 % |
47.51	c |      4926 |  209984   697293 |  150340    4866   168833    34.7 | 11.014 % |
50.82	c |      7489 |  209984   697293 |  165374    7429   333940    45.0 | 11.014 % |
57.55	c |     11333 |  209922   697073 |  181912   11266   473056    42.0 | 11.041 % |
63.01	c |     17100 |  209906   697021 |  200103   17031  1020121    59.9 | 11.046 % |
67.72	c |     25749 |  209906   697021 |  220113   25680  2017207    78.6 | 11.046 % |
85.56	c |     38725 |  209895   696978 |  242125   38655  3276860    84.8 | 11.051 % |
119.99	c |     58189 |  209800   696645 |  266337   57206  5285516    92.4 | 11.090 % |
157.38	c |     87381 |  209800   696645 |  292971   86398 10263204   118.8 | 11.090 % |
221.18	c |    131170 |  209668   696211 |  322268  130151 14238246   109.4 | 11.143 % |
383.35	c |    196855 |  209668   696211 |  354495  195836 22241691   113.6 | 11.143 % |
528.54	c |    295382 |  209478   695575 |  389944  294330 38409790   130.5 | 11.204 % |
928.28	c |    443171 |  209392   695291 |  428939   48683  6045119   124.2 | 11.238 % |
1380.94	c |    664854 |  209327   695076 |  471833  270346 45640517   168.8 | 11.259 % |
1801.15	c 
1801.20	c *** TERMINATED ***
1801.20	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes

runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node25/watcher-49866-1154124064 -o ROOT/results/node25/solver-49866-1154124064 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node25/49866-1154124064/instance-49866-1154124064.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 1.00 3/70 928
/proc/meminfo: memFree=1574648/2055920 swapFree=4183116/4192956
[pid=928] ppid=926 vsize=1048 CPUtime=0
/proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 110 0 0 0 0 0 0 0 19 0 1 0 159281361 1073152 94 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134531119 0 0 4096 16386 0 0 0 17 1 0 0
/proc/928/statm: 262 94 74 215 0 44 0

[startup+10.0028 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 978
/proc/meminfo: memFree=1553864/2055920 swapFree=4183116/4192956
[pid=928] ppid=926 vsize=21828 CPUtime=9.98
/proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 5409 0 0 0 996 2 0 0 25 0 1 0 159281361 22351872 5255 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621576 0 0 4096 16386 0 0 0 17 1 0 0
/proc/928/statm: 5457 5255 83 215 0 5239 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 21828

[startup+20.0097 s]
/proc/loadavg: 1.07 1.02 1.00 2/70 1020
/proc/meminfo: memFree=1501064/2055920 swapFree=4183116/4192956
[pid=928] ppid=926 vsize=75096 CPUtime=19.97
/proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 18969 0 0 0 1985 12 0 0 25 0 1 0 159281361 76898304 18472 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134839070 0 0 4096 16386 0 0 0 17 1 0 0
/proc/928/statm: 18774 18472 92 215 0 18556 0
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 75096

[startup+30.0156 s]
/proc/loadavg: 1.06 1.02 1.00 2/64 1060
/proc/meminfo: memFree=1502136/2055920 swapFree=4183116/4192956
[pid=928] ppid=926 vsize=75096 CPUtime=29.95
/proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 18969 0 0 0 2983 12 0 0 25 0 1 0 159281361 76898304 18472 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005357 0 0 4096 16386 0 0 0 17 1 0 0
/proc/928/statm: 18774 18472 92 215 0 18556 0
Current children cumulated CPU time (s) 29.95
Current children cumulated vsize (Kb) 75096

[startup+40.0215 s]
/proc/loadavg: 1.05 1.01 1.00 2/64 1060
/proc/meminfo: memFree=1500424/2055920 swapFree=4183116/4192956
[pid=928] ppid=926 vsize=76712 CPUtime=39.95
/proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 19537 0 0 0 3982 13 0 0 25 0 1 0 159281361 78553088 18957 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005353 0 0 4096 16386 0 0 0 17 1 0 0
/proc/928/statm: 19178 18957 92 215 0 18960 0
Current children cumulated CPU time (s) 39.95
Current children cumulated vsize (Kb) 76712

[startup+50.0274 s]
/proc/loadavg: 1.04 1.01 1.00 2/64 1060
/proc/meminfo: memFree=1496968/2055920 swapFree=4183116/4192956
[pid=928] ppid=926 vsize=80900 CPUtime=49.95
/proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 20424 0 0 0 4982 13 0 0 25 0 1 0 159281361 82841600 19844 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575363 0 0 4096 16386 0 0 0 17 1 0 0
/proc/928/statm: 20225 19844 123 215 0 20007 0
Current children cumulated CPU time (s) 49.95
Current children cumulated vsize (Kb) 80900

[startup+60.0333 s]
/proc/loadavg: 1.04 1.01 1.00 2/64 1060
/proc/meminfo: memFree=1496968/2055920 swapFree=4183116/4192956
[pid=928] ppid=926 vsize=80900 CPUtime=59.96
/proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 20424 0 0 0 5983 13 0 0 25 0 1 0 159281361 82841600 19844 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/928/statm: 20225 19844 123 215 0 20007 0
Current children cumulated CPU time (s) 59.96
Current children cumulated vsize (Kb) 80900

[startup+70.0392 s]
/proc/loadavg: 1.03 1.01 1.00 2/64 1060
/proc/meminfo: memFree=1497032/2055920 swapFree=4183116/4192956
[pid=928] ppid=926 vsize=80900 CPUtime=69.96
/proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 20424 0 0 0 6983 13 0 0 25 0 1 0 159281361 82841600 19844 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/928/statm: 20225 19844 123 215 0 20007 0
Current children cumulated CPU time (s) 69.96
Current children cumulated vsize (Kb) 80900

[startup+80.0461 s]
/proc/loadavg: 1.02 1.01 1.00 2/64 1060
/proc/meminfo: memFree=1497032/2055920 swapFree=4183116/4192956
[pid=928] ppid=926 vsize=80900 CPUtime=79.96
/proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 20424 0 0 0 7983 13 0 0 25 0 1 0 159281361 82841600 19844 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581189 0 0 4096 16386 0 0 0 17 1 0 0
/proc/928/statm: 20225 19844 123 215 0 20007 0
Current children cumulated CPU time (s) 79.96
Current children cumulated vsize (Kb) 80900

[startup+90.051 s]
/proc/loadavg: 1.02 1.01 1.00 2/64 1060
/proc/meminfo: memFree=1497032/2055920 swapFree=4183116/4192956
[pid=928] ppid=926 vsize=80900 CPUtime=89.97
/proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 20424 0 0 0 8984 13 0 0 25 0 1 0 159281361 82841600 19844 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581147 0 0 4096 16386 0 0 0 17 1 0 0
/proc/928/statm: 20225 19844 123 215 0 20007 0
Current children cumulated CPU time (s) 89.97
Current children cumulated vsize (Kb) 80900

[startup+100.057 s]
/proc/loadavg: 1.02 1.01 1.00 2/64 1060
/proc/meminfo: memFree=1497032/2055920 swapFree=4183116/4192956
[pid=928] ppid=926 vsize=80900 CPUtime=99.97
/proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 20424 0 0 0 9984 13 0 0 25 0 1 0 159281361 82841600 19844 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 1 0 0
/proc/928/statm: 20225 19844 123 215 0 20007 0
Current children cumulated CPU time (s) 99.97
Current children cumulated vsize (Kb) 80900

[startup+110.063 s]
/proc/loadavg: 1.01 1.01 1.00 2/64 1060
/proc/meminfo: memFree=1497096/2055920 swapFree=4183116/4192956
[pid=928] ppid=926 vsize=80900 CPUtime=109.97
/proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 20424 0 0 0 10984 13 0 0 25 0 1 0 159281361 82841600 19844 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/928/statm: 20225 19844 123 215 0 20007 0
Current children cumulated CPU time (s) 109.97
Current children cumulated vsize (Kb) 80900

[startup+120.069 s]
/proc/loadavg: 1.01 1.01 1.00 2/64 1060
/proc/meminfo: memFree=1497160/2055920 swapFree=4183116/4192956
[pid=928] ppid=926 vsize=80900 CPUtime=119.98
/proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 20424 0 0 0 11985 13 0 0 25 0 1 0 159281361 82841600 19844 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0
/proc/928/statm: 20225 19844 123 215 0 20007 0
Current children cumulated CPU time (s) 119.98
Current children cumulated vsize (Kb) 80900

[startup+130.075 s]
/proc/loadavg: 1.01 1.01 1.00 2/64 1060
/proc/meminfo: memFree=1497160/2055920 swapFree=4183116/4192956
[pid=928] ppid=926 vsize=80900 CPUtime=129.98
/proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 20429 0 0 0 12985 13 0 0 25 0 1 0 159281361 82841600 19849 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0
/proc/928/statm: 20225 19849 123 215 0 20007 0
Current children cumulated CPU time (s) 129.98
Current children cumulated vsize (Kb) 80900

[startup+140.081 s]
/proc/loadavg: 1.01 1.00 1.00 2/64 1060
/proc/meminfo: memFree=1497096/2055920 swapFree=4183116/4192956
[pid=928] ppid=926 vsize=80900 CPUtime=139.98
/proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 20429 0 0 0 13985 13 0 0 25 0 1 0 159281361 82841600 19849 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/928/statm: 20225 19849 123 215 0 20007 0
Current children cumulated CPU time (s) 139.98
Current children cumulated vsize (Kb) 80900

[startup+150.087 s]
/proc/loadavg: 1.01 1.00 1.00 2/64 1060
/proc/meminfo: memFree=1497096/2055920 swapFree=4183116/4192956
[pid=928] ppid=926 vsize=80900 CPUtime=149.99
/proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 20429 0 0 0 14986 13 0 0 25 0 1 0 159281361 82841600 19849 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 1 0 0
/proc/928/statm: 20225 19849 123 215 0 20007 0
Current children cumulated CPU time (s) 149.99
Current children cumulated vsize (Kb) 80900

[startup+160.093 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 1060
/proc/meminfo: memFree=1496328/2055920 swapFree=4183116/4192956
[pid=928] ppid=926 vsize=81688 CPUtime=159.99
/proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 20624 0 0 0 15986 13 0 0 25 0 1 0 159281361 83648512 20044 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/928/statm: 20422 20044 123 215 0 20204 0
Current children cumulated CPU time (s) 159.99
Current children cumulated vsize (Kb) 81688

[startup+170.099 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 1060
/proc/meminfo: memFree=1495048/2055920 swapFree=4183116/4192956
[pid=928] ppid=926 vsize=83004 CPUtime=170
/proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 20942 0 0 0 16986 14 0 0 25 0 1 0 159281361 84996096 20362 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581186 0 0 4096 16386 0 0 0 17 1 0 0
/proc/928/statm: 20751 20362 123 215 0 20533 0
Current children cumulated CPU time (s) 170
Current children cumulated vsize (Kb) 83004

[startup+180.105 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 1060
/proc/meminfo: memFree=1492808/2055920 swapFree=4183116/4192956
[pid=928] ppid=926 vsize=85392 CPUtime=180
/proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 21510 0 0 0 17986 14 0 0 25 0 1 0 159281361 87441408 20930 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/928/statm: 21348 20930 123 215 0 21130 0
Current children cumulated CPU time (s) 180
Current children cumulated vsize (Kb) 85392

[startup+190.111 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 1060
/proc/meminfo: memFree=1490696/2055920 swapFree=4183116/4192956
[pid=928] ppid=926 vsize=87488 CPUtime=190
/proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 22038 0 0 0 18985 15 0 0 25 0 1 0 159281361 89587712 21458 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/928/statm: 21872 21458 123 215 0 21654 0
Current children cumulated CPU time (s) 190
Current children cumulated vsize (Kb) 87488

[startup+200.117 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 1060
/proc/meminfo: memFree=1489416/2055920 swapFree=4183116/4192956
[pid=928] ppid=926 vsize=88676 CPUtime=200.01
/proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 22343 0 0 0 19986 15 0 0 25 0 1 0 159281361 90804224 21763 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/928/statm: 22169 21763 123 215 0 21951 0
Current children cumulated CPU time (s) 200.01
Current children cumulated vsize (Kb) 88676

[startup+210.123 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 1060

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

/proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 81784 0 0 0 178078 78 0 0 25 0 1 0 159281361 334671872 81204 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/928/statm: 81707 81204 123 215 0 81489 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (Kb) 326828

[startup+1783.05 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 1060
/proc/meminfo: memFree=1250960/2055920 swapFree=4183116/4192956
[pid=928] ppid=926 vsize=326960 CPUtime=1782.56
/proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 81827 0 0 0 178178 78 0 0 25 0 1 0 159281361 334807040 81247 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574414 0 0 4096 16386 0 0 0 17 1 0 0
/proc/928/statm: 81740 81247 123 215 0 81522 0
Current children cumulated CPU time (s) 1782.56
Current children cumulated vsize (Kb) 326960

[startup+1784.06 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 1060
/proc/meminfo: memFree=1250768/2055920 swapFree=4183116/4192956
[pid=928] ppid=926 vsize=327088 CPUtime=1783.57
/proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 81872 0 0 0 178279 78 0 0 25 0 1 0 159281361 334938112 81292 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/928/statm: 81772 81292 123 215 0 81554 0
Current children cumulated CPU time (s) 1783.57
Current children cumulated vsize (Kb) 327088

[startup+1785.06 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 1060
/proc/meminfo: memFree=1250640/2055920 swapFree=4183116/4192956
[pid=928] ppid=926 vsize=327344 CPUtime=1784.57
/proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 81913 0 0 0 178379 78 0 0 25 0 1 0 159281361 335200256 81333 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/928/statm: 81836 81333 123 215 0 81618 0
Current children cumulated CPU time (s) 1784.57
Current children cumulated vsize (Kb) 327344

[startup+1786.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 1060
/proc/meminfo: memFree=1250448/2055920 swapFree=4183116/4192956
[pid=928] ppid=926 vsize=327472 CPUtime=1785.58
/proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 81952 0 0 0 178480 78 0 0 25 0 1 0 159281361 335331328 81372 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/928/statm: 81868 81372 123 215 0 81650 0
Current children cumulated CPU time (s) 1785.58
Current children cumulated vsize (Kb) 327472

[startup+1787.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 1060
/proc/meminfo: memFree=1250320/2055920 swapFree=4183116/4192956
[pid=928] ppid=926 vsize=327600 CPUtime=1786.58
/proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 81995 0 0 0 178580 78 0 0 25 0 1 0 159281361 335462400 81415 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0
/proc/928/statm: 81900 81415 123 215 0 81682 0
Current children cumulated CPU time (s) 1786.58
Current children cumulated vsize (Kb) 327600

[startup+1788.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 1060
/proc/meminfo: memFree=1250064/2055920 swapFree=4183116/4192956
[pid=928] ppid=926 vsize=327856 CPUtime=1787.58
/proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 82045 0 0 0 178680 78 0 0 25 0 1 0 159281361 335724544 81465 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580305 0 0 4096 16386 0 0 0 17 1 0 0
/proc/928/statm: 81964 81465 123 215 0 81746 0
Current children cumulated CPU time (s) 1787.58
Current children cumulated vsize (Kb) 327856

[startup+1789.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 1060
/proc/meminfo: memFree=1249872/2055920 swapFree=4183116/4192956
[pid=928] ppid=926 vsize=328116 CPUtime=1788.59
/proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 82106 0 0 0 178781 78 0 0 25 0 1 0 159281361 335990784 81526 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581469 0 0 4096 16386 0 0 0 17 1 0 0
/proc/928/statm: 82029 81526 123 215 0 81811 0
Current children cumulated CPU time (s) 1788.59
Current children cumulated vsize (Kb) 328116

[startup+1790.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 1060
/proc/meminfo: memFree=1249616/2055920 swapFree=4183116/4192956
[pid=928] ppid=926 vsize=328244 CPUtime=1789.59
/proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 82155 0 0 0 178881 78 0 0 25 0 1 0 159281361 336121856 81575 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/928/statm: 82061 81575 123 215 0 81843 0
Current children cumulated CPU time (s) 1789.59
Current children cumulated vsize (Kb) 328244

[startup+1791.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 1060
/proc/meminfo: memFree=1249488/2055920 swapFree=4183116/4192956
[pid=928] ppid=926 vsize=328376 CPUtime=1790.6
/proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 82190 0 0 0 178982 78 0 0 25 0 1 0 159281361 336257024 81610 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/928/statm: 82094 81610 123 215 0 81876 0
Current children cumulated CPU time (s) 1790.6
Current children cumulated vsize (Kb) 328376

[startup+1792.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 1060
/proc/meminfo: memFree=1249296/2055920 swapFree=4183116/4192956
[pid=928] ppid=926 vsize=328656 CPUtime=1791.61
/proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 82240 0 0 0 179082 79 0 0 25 0 1 0 159281361 336543744 81660 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/928/statm: 82164 81660 123 215 0 81946 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (Kb) 328656

[startup+1793.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 1060
/proc/meminfo: memFree=1249104/2055920 swapFree=4183116/4192956
[pid=928] ppid=926 vsize=328784 CPUtime=1792.61
/proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 82295 0 0 0 179182 79 0 0 25 0 1 0 159281361 336674816 81715 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/928/statm: 82196 81715 123 215 0 81978 0
Current children cumulated CPU time (s) 1792.61
Current children cumulated vsize (Kb) 328784

[startup+1794.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 1060
/proc/meminfo: memFree=1248848/2055920 swapFree=4183116/4192956
[pid=928] ppid=926 vsize=329048 CPUtime=1793.62
/proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 82349 0 0 0 179283 79 0 0 25 0 1 0 159281361 336945152 81769 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/928/statm: 82262 81769 123 215 0 82044 0
Current children cumulated CPU time (s) 1793.62
Current children cumulated vsize (Kb) 329048

[startup+1795.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 1060
/proc/meminfo: memFree=1248656/2055920 swapFree=4183116/4192956
[pid=928] ppid=926 vsize=329192 CPUtime=1794.62
/proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 82398 0 0 0 179383 79 0 0 25 0 1 0 159281361 337092608 81818 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/928/statm: 82298 81818 123 215 0 82080 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (Kb) 329192

[startup+1796.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 1060
/proc/meminfo: memFree=1248464/2055920 swapFree=4183116/4192956
[pid=928] ppid=926 vsize=329456 CPUtime=1795.63
/proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 82449 0 0 0 179484 79 0 0 25 0 1 0 159281361 337362944 81869 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/928/statm: 82364 81869 123 215 0 82146 0
Current children cumulated CPU time (s) 1795.63
Current children cumulated vsize (Kb) 329456

[startup+1797.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 1060
/proc/meminfo: memFree=1248272/2055920 swapFree=4183116/4192956
[pid=928] ppid=926 vsize=329584 CPUtime=1796.63
/proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 82497 0 0 0 179584 79 0 0 25 0 1 0 159281361 337494016 81917 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/928/statm: 82396 81917 123 215 0 82178 0
Current children cumulated CPU time (s) 1796.63
Current children cumulated vsize (Kb) 329584

[startup+1798.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 1060
/proc/meminfo: memFree=1248080/2055920 swapFree=4183116/4192956
[pid=928] ppid=926 vsize=329844 CPUtime=1797.64
/proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 82539 0 0 0 179685 79 0 0 25 0 1 0 159281361 337760256 81959 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/928/statm: 82461 81959 123 215 0 82243 0
Current children cumulated CPU time (s) 1797.64
Current children cumulated vsize (Kb) 329844

[startup+1799.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 1060
/proc/meminfo: memFree=1247952/2055920 swapFree=4183116/4192956
[pid=928] ppid=926 vsize=329972 CPUtime=1798.64
/proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 82577 0 0 0 179785 79 0 0 25 0 1 0 159281361 337891328 81997 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/928/statm: 82493 81997 123 215 0 82275 0
Current children cumulated CPU time (s) 1798.64
Current children cumulated vsize (Kb) 329972

[startup+1800.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 1060
/proc/meminfo: memFree=1247760/2055920 swapFree=4183116/4192956
[pid=928] ppid=926 vsize=330104 CPUtime=1799.65
/proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 82619 0 0 0 179886 79 0 0 25 0 1 0 159281361 338026496 82039 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/928/statm: 82526 82039 123 215 0 82308 0
Current children cumulated CPU time (s) 1799.65
Current children cumulated vsize (Kb) 330104

[startup+1801.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 1060
/proc/meminfo: memFree=1247632/2055920 swapFree=4183116/4192956
[pid=928] ppid=926 vsize=330360 CPUtime=1800.65
/proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 82664 0 0 0 179986 79 0 0 25 0 1 0 159281361 338288640 82084 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574442 0 0 4096 16386 0 0 0 17 1 0 0
/proc/928/statm: 82590 82084 123 215 0 82372 0
Current children cumulated CPU time (s) 1800.65
Current children cumulated vsize (Kb) 330360



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 1060
/proc/meminfo: memFree=1247568/2055920 swapFree=4183116/4192956
[pid=928] ppid=926 vsize=330360 CPUtime=1800.65
/proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 82664 0 0 0 179986 79 0 0 25 0 1 0 159281361 338288640 82084 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574422 0 0 4096 16386 0 0 0 17 1 0 0
/proc/928/statm: 82590 82084 123 215 0 82372 0
Current children cumulated CPU time (s) 1800.65
Current children cumulated vsize (Kb) 330360

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child status: 0
Real time (s): 1801.21
CPU time (s): 1800.72
CPU user time (s): 1799.87
CPU system time (s): 0.85087
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (Kb): 330360
The end

Launcher Data (download as text)

Begin job on node25 on Fri Jul 28 22:01:04 UTC 2006


FILE ID= 49866-1154124064

PBS_JOBID= 887129

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=180-sizeP=91-sizeQ=180-348768554.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node25/49866-1154124064/instance-49866-1154124064.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node25/watcher-49866-1154124064 -o ROOT/results/node25/solver-49866-1154124064 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node25/49866-1154124064/instance-49866-1154124064.opb

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  b1249706e628878b014787592bd6d20f

RANDOM SEED= 557193454

TIMEOUT= 1800 seconds


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.209
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.209
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1574856 kB
Buffers:         32140 kB
Cached:         378180 kB
SwapCached:       3732 kB
Active:          35496 kB
Inactive:       384296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1574856 kB
SwapTotal:     4192956 kB
SwapFree:      4183116 kB
Dirty:             236 kB
Writeback:           0 kB
Mapped:          16024 kB
Slab:            46884 kB
Committed_AS:   768800 kB
PageTables:       1656 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node25 on Fri Jul 28 22:31:06 UTC 2006