Trace number 49847

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.7 1801.3

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=120-sizeP=61-sizeQ=120-883133839.opb
MD5SUMfc1ab74e36340948f29ab602078975e1
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 benchmark5.55016
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 variables7501
Total number of constraints21961
Number of constraints which are clauses21960
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 constraint7320
Number of terms in the objective function 61
Biggest coefficient in the objective function 1152921504606846976
Number of bits for the biggest coefficient in the objective function 61
Sum of the numbers in the objective function 2305843009213693951
Number of bits of the sum of numbers in the objective function 61
Biggest number in a constraint 766247770432944429179173513575154591809369561091801088
Number of bits of the biggest number in a constraint 180
Biggest sum of numbers in a constraint 3064991081731777715595715329186976003635521247756299664
Number of bits of the biggest sum of numbers181
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...
0.93	c Converting 21962 PB-constraints to clauses...
0.93	c   -- Unit propagations: (none)
3.21	c   -- Detecting intervals from adjacent constraints: #
3.21	c   -- Clauses(.)/Splits(s): ........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
3.26	c ---[   0]---> Adder-cost: 10612   maxlim: 20062477665048693547869521587178426994   bits: 124/124
11.25	c ==================================[MINISAT+]==================================
11.25	c | Conflicts | Original         | Learnt                           | Progress |
11.25	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
11.25	c ==============================================================================
11.25	c |         0 |   91237   302912 |   30412       0        0     nan |  0.000 % |
11.30	c |       100 |   91078   302355 |   33453      81      255     3.1 | 12.223 % |
11.36	c |       252 |   91078   302355 |   36798     233     4910    21.1 | 12.223 % |
11.53	c |       478 |   91078   302355 |   40478     459     8328    18.1 | 12.223 % |
11.72	c |       816 |   91078   302355 |   44526     797    51221    64.3 | 12.223 % |
12.00	c |      1326 |   91078   302355 |   48978    1307    68567    52.5 | 12.223 % |
12.18	c |      2087 |   91078   302355 |   53876    2068   104248    50.4 | 12.223 % |
12.91	c |      3226 |   90966   301959 |   59264    3190   165527    51.9 | 12.333 % |
14.08	c |      4934 |   90966   301959 |   65190    4898   368920    75.3 | 12.333 % |
14.85	c |      7497 |   90966   301959 |   71709    7461   541959    72.6 | 12.333 % |
16.58	c |     11341 |   90958   301929 |   78880   11302   794899    70.3 | 12.338 % |
19.69	c |     17109 |   90941   301874 |   86768   17068  1205124    70.6 | 12.355 % |
26.16	c |     25758 |   90857   301592 |   95445   25523  1894003    74.2 | 12.421 % |
33.40	c |     38732 |   90788   301349 |  104990   38471  2830596    73.6 | 12.486 % |
45.96	c |     58193 |   90749   301222 |  115489   57927  5005182    86.4 | 12.514 % |
74.02	c |     87387 |   90666   300945 |  127038   87108  8519938    97.8 | 12.580 % |
127.98	c |    131178 |   90485   300330 |  139742  126477 13144332   103.9 | 12.733 % |
258.22	c |    196862 |   90443   300186 |  153716   65996 16610494   251.7 | 12.761 % |
483.87	c |    295388 |   90368   299939 |  169088   30027  3570997   118.9 | 12.821 % |
785.47	c |    443177 |   90272   299605 |  185997  177404 38670700   218.0 | 12.898 % |
1595.35	c |    664860 |   90272   299605 |  204596   52311 20116034   384.5 | 12.898 % |
1801.22	c 
1801.22	c *** TERMINATED ***
1801.22	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/node40/watcher-49847-1154122468 -o ROOT/results/node40/solver-49847-1154122468 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node40/49847-1154122468/instance-49847-1154122468.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 1.00 2/64 19036
/proc/meminfo: memFree=1432192/2055920 swapFree=4183148/4192956
[pid=19036] ppid=19034 vsize=1048 CPUtime=0
/proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 97 0 0 0 0 0 0 0 19 0 1 0 159117926 1073152 81 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19036/statm: 262 82 67 215 0 44 0

[startup+10.0029 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19036
/proc/meminfo: memFree=1408064/2055920 swapFree=4183148/4192956
[pid=19036] ppid=19034 vsize=24852 CPUtime=9.99
/proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 6234 0 0 0 995 4 0 0 25 0 1 0 159117926 25448448 6056 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005800 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19036/statm: 6213 6056 92 215 0 5995 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 24852

[startup+20.0092 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19036
/proc/meminfo: memFree=1404416/2055920 swapFree=4183148/4192956
[pid=19036] ppid=19034 vsize=29268 CPUtime=19.99
/proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 7314 0 0 0 1995 4 0 0 25 0 1 0 159117926 29970432 7094 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19036/statm: 7317 7094 123 215 0 7099 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 29268

[startup+30.0155 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19036
/proc/meminfo: memFree=1404416/2055920 swapFree=4183148/4192956
[pid=19036] ppid=19034 vsize=29268 CPUtime=29.99
/proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 7314 0 0 0 2995 4 0 0 25 0 1 0 159117926 29970432 7094 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19036/statm: 7317 7094 123 215 0 7099 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 29268

[startup+40.0218 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19036
/proc/meminfo: memFree=1398336/2055920 swapFree=4183148/4192956
[pid=19036] ppid=19034 vsize=35400 CPUtime=40
/proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 8832 0 0 0 3994 6 0 0 25 0 1 0 159117926 36249600 8612 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19036/statm: 8850 8612 123 215 0 8632 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 35400

[startup+50.0281 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19036
/proc/meminfo: memFree=1392448/2055920 swapFree=4183148/4192956
[pid=19036] ppid=19034 vsize=41396 CPUtime=50
/proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 10320 0 0 0 4993 7 0 0 25 0 1 0 159117926 42389504 10100 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19036/statm: 10349 10100 123 215 0 10131 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 41396

[startup+60.0344 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19036
/proc/meminfo: memFree=1388288/2055920 swapFree=4183148/4192956
[pid=19036] ppid=19034 vsize=45468 CPUtime=60
/proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 11349 0 0 0 5992 8 0 0 25 0 1 0 159117926 46559232 11129 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19036/statm: 11367 11129 123 215 0 11149 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 45468

[startup+70.0407 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19036
/proc/meminfo: memFree=1382016/2055920 swapFree=4183148/4192956
[pid=19036] ppid=19034 vsize=51664 CPUtime=70.01
/proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 12921 0 0 0 6991 10 0 0 25 0 1 0 159117926 52903936 12701 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19036/statm: 12916 12701 123 215 0 12698 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 51664

[startup+80.047 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19036
/proc/meminfo: memFree=1378176/2055920 swapFree=4183148/4192956
[pid=19036] ppid=19034 vsize=55476 CPUtime=80.02
/proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 13877 0 0 0 7991 11 0 0 25 0 1 0 159117926 56807424 13657 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19036/statm: 13869 13657 123 215 0 13651 0
Current children cumulated CPU time (s) 80.02
Current children cumulated vsize (Kb) 55476

[startup+90.0533 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19036
/proc/meminfo: memFree=1375424/2055920 swapFree=4183148/4192956
[pid=19036] ppid=19034 vsize=58408 CPUtime=90.02
/proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 14557 0 0 0 8991 11 0 0 25 0 1 0 159117926 59809792 14337 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19036/statm: 14602 14337 123 215 0 14384 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 58408

[startup+100.059 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19036
/proc/meminfo: memFree=1372928/2055920 swapFree=4183148/4192956
[pid=19036] ppid=19034 vsize=60892 CPUtime=100.02
/proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 15187 0 0 0 9990 12 0 0 25 0 1 0 159117926 62353408 14967 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572709 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19036/statm: 15223 14967 123 215 0 15005 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 60892

[startup+110.065 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19036
/proc/meminfo: memFree=1366784/2055920 swapFree=4183148/4192956
[pid=19036] ppid=19034 vsize=67088 CPUtime=110.02
/proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 16734 0 0 0 10989 13 0 0 25 0 1 0 159117926 68698112 16514 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19036/statm: 16772 16514 123 215 0 16554 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 67088

[startup+120.071 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19036
/proc/meminfo: memFree=1361344/2055920 swapFree=4183148/4192956
[pid=19036] ppid=19034 vsize=72364 CPUtime=120.03
/proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 18085 0 0 0 11988 15 0 0 25 0 1 0 159117926 74100736 17865 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19036/statm: 18091 17865 123 215 0 17873 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 72364

[startup+130.078 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19036
/proc/meminfo: memFree=1358720/2055920 swapFree=4183148/4192956
[pid=19036] ppid=19034 vsize=74988 CPUtime=130.03
/proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 18728 0 0 0 12988 15 0 0 25 0 1 0 159117926 76787712 18508 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19036/statm: 18747 18508 123 215 0 18529 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 74988

[startup+140.084 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19036
/proc/meminfo: memFree=1355200/2055920 swapFree=4183148/4192956
[pid=19036] ppid=19034 vsize=78512 CPUtime=140.03
/proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 19611 0 0 0 13987 16 0 0 25 0 1 0 159117926 80396288 19391 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19036/statm: 19628 19391 123 215 0 19410 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 78512

[startup+150.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19036
/proc/meminfo: memFree=1350208/2055920 swapFree=4183148/4192956
[pid=19036] ppid=19034 vsize=83636 CPUtime=150.03
/proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 20854 0 0 0 14986 17 0 0 25 0 1 0 159117926 85643264 20634 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134577281 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19036/statm: 20909 20634 123 215 0 20691 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 83636

[startup+160.095 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19036
/proc/meminfo: memFree=1344768/2055920 swapFree=4183148/4192956
[pid=19036] ppid=19034 vsize=89124 CPUtime=160.04
/proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 22213 0 0 0 15986 18 0 0 25 0 1 0 159117926 91262976 21993 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19036/statm: 22281 21993 123 215 0 22063 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 89124

[startup+170.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19036
/proc/meminfo: memFree=1340224/2055920 swapFree=4183148/4192956
[pid=19036] ppid=19034 vsize=93568 CPUtime=170.04
/proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 23339 0 0 0 16986 18 0 0 25 0 1 0 159117926 95813632 23119 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573899 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19036/statm: 23392 23119 123 215 0 23174 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 93568

[startup+180.108 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19036
/proc/meminfo: memFree=1340224/2055920 swapFree=4183148/4192956
[pid=19036] ppid=19034 vsize=93568 CPUtime=180.04
/proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 23341 0 0 0 17986 18 0 0 25 0 1 0 159117926 95813632 23121 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580417 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19036/statm: 23392 23121 123 215 0 23174 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 93568

[startup+190.114 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19036
/proc/meminfo: memFree=1340224/2055920 swapFree=4183148/4192956
[pid=19036] ppid=19034 vsize=93568 CPUtime=190.05
/proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 23342 0 0 0 18987 18 0 0 25 0 1 0 159117926 95813632 23122 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581044 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19036/statm: 23392 23122 123 215 0 23174 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 93568

[startup+200.121 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19036
/proc/meminfo: memFree=1340288/2055920 swapFree=4183148/4192956
[pid=19036] ppid=19034 vsize=93568 CPUtime=200.05
/proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 23342 0 0 0 19987 18 0 0 25 0 1 0 159117926 95813632 23122 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576840 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19036/statm: 23392 23122 123 215 0 23174 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 93568

[startup+210.128 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 19036

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

/proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 106299 0 0 0 178053 99 0 0 25 0 1 0 159117926 435507200 106079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19036/statm: 106325 106079 123 215 0 106107 0
Current children cumulated CPU time (s) 1781.52
Current children cumulated vsize (Kb) 425300

[startup+1783.12 s]
/proc/loadavg: 1.02 1.01 1.00 2/64 19236
/proc/meminfo: memFree=1007168/2055920 swapFree=4183148/4192956
[pid=19036] ppid=19034 vsize=425300 CPUtime=1782.53
/proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 106299 0 0 0 178154 99 0 0 25 0 1 0 159117926 435507200 106079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19036/statm: 106325 106079 123 215 0 106107 0
Current children cumulated CPU time (s) 1782.53
Current children cumulated vsize (Kb) 425300

[startup+1784.13 s]
/proc/loadavg: 1.02 1.01 1.00 2/64 19236
/proc/meminfo: memFree=1007168/2055920 swapFree=4183148/4192956
[pid=19036] ppid=19034 vsize=425300 CPUtime=1783.53
/proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 106299 0 0 0 178254 99 0 0 25 0 1 0 159117926 435507200 106079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19036/statm: 106325 106079 123 215 0 106107 0
Current children cumulated CPU time (s) 1783.53
Current children cumulated vsize (Kb) 425300

[startup+1785.13 s]
/proc/loadavg: 1.02 1.01 1.00 2/64 19236
/proc/meminfo: memFree=1007168/2055920 swapFree=4183148/4192956
[pid=19036] ppid=19034 vsize=425300 CPUtime=1784.54
/proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 106299 0 0 0 178355 99 0 0 25 0 1 0 159117926 435507200 106079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19036/statm: 106325 106079 123 215 0 106107 0
Current children cumulated CPU time (s) 1784.54
Current children cumulated vsize (Kb) 425300

[startup+1786.14 s]
/proc/loadavg: 1.01 1.01 1.00 2/64 19236
/proc/meminfo: memFree=1007168/2055920 swapFree=4183148/4192956
[pid=19036] ppid=19034 vsize=425300 CPUtime=1785.54
/proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 106299 0 0 0 178455 99 0 0 25 0 1 0 159117926 435507200 106079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19036/statm: 106325 106079 123 215 0 106107 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (Kb) 425300

[startup+1787.14 s]
/proc/loadavg: 1.01 1.01 1.00 2/64 19236
/proc/meminfo: memFree=1007168/2055920 swapFree=4183148/4192956
[pid=19036] ppid=19034 vsize=425300 CPUtime=1786.55
/proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 106299 0 0 0 178556 99 0 0 25 0 1 0 159117926 435507200 106079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19036/statm: 106325 106079 123 215 0 106107 0
Current children cumulated CPU time (s) 1786.55
Current children cumulated vsize (Kb) 425300

[startup+1788.15 s]
/proc/loadavg: 1.01 1.01 1.00 2/64 19236
/proc/meminfo: memFree=1007168/2055920 swapFree=4183148/4192956
[pid=19036] ppid=19034 vsize=425300 CPUtime=1787.55
/proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 106299 0 0 0 178656 99 0 0 25 0 1 0 159117926 435507200 106079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19036/statm: 106325 106079 123 215 0 106107 0
Current children cumulated CPU time (s) 1787.55
Current children cumulated vsize (Kb) 425300

[startup+1789.15 s]
/proc/loadavg: 1.01 1.01 1.00 2/64 19236
/proc/meminfo: memFree=1007168/2055920 swapFree=4183148/4192956
[pid=19036] ppid=19034 vsize=425300 CPUtime=1788.56
/proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 106299 0 0 0 178757 99 0 0 25 0 1 0 159117926 435507200 106079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19036/statm: 106325 106079 123 215 0 106107 0
Current children cumulated CPU time (s) 1788.56
Current children cumulated vsize (Kb) 425300

[startup+1790.16 s]
/proc/loadavg: 1.01 1.01 1.00 2/64 19236
/proc/meminfo: memFree=1007168/2055920 swapFree=4183148/4192956
[pid=19036] ppid=19034 vsize=425300 CPUtime=1789.56
/proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 106299 0 0 0 178857 99 0 0 25 0 1 0 159117926 435507200 106079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19036/statm: 106325 106079 123 215 0 106107 0
Current children cumulated CPU time (s) 1789.56
Current children cumulated vsize (Kb) 425300

[startup+1791.16 s]
/proc/loadavg: 1.01 1.01 1.00 2/64 19236
/proc/meminfo: memFree=1007168/2055920 swapFree=4183148/4192956
[pid=19036] ppid=19034 vsize=425300 CPUtime=1790.56
/proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 106299 0 0 0 178957 99 0 0 25 0 1 0 159117926 435507200 106079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19036/statm: 106325 106079 123 215 0 106107 0
Current children cumulated CPU time (s) 1790.56
Current children cumulated vsize (Kb) 425300

[startup+1792.17 s]
/proc/loadavg: 1.01 1.01 1.00 2/64 19236
/proc/meminfo: memFree=1007168/2055920 swapFree=4183148/4192956
[pid=19036] ppid=19034 vsize=425300 CPUtime=1791.57
/proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 106299 0 0 0 179058 99 0 0 25 0 1 0 159117926 435507200 106079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588783 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19036/statm: 106325 106079 123 215 0 106107 0
Current children cumulated CPU time (s) 1791.57
Current children cumulated vsize (Kb) 425300

[startup+1793.17 s]
/proc/loadavg: 1.01 1.01 1.00 2/64 19236
/proc/meminfo: memFree=1007168/2055920 swapFree=4183148/4192956
[pid=19036] ppid=19034 vsize=425300 CPUtime=1792.57
/proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 106299 0 0 0 179158 99 0 0 25 0 1 0 159117926 435507200 106079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19036/statm: 106325 106079 123 215 0 106107 0
Current children cumulated CPU time (s) 1792.57
Current children cumulated vsize (Kb) 425300

[startup+1794.18 s]
/proc/loadavg: 1.01 1.01 1.00 2/64 19236
/proc/meminfo: memFree=1007168/2055920 swapFree=4183148/4192956
[pid=19036] ppid=19034 vsize=425300 CPUtime=1793.58
/proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 106299 0 0 0 179259 99 0 0 25 0 1 0 159117926 435507200 106079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006666 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19036/statm: 106325 106079 123 215 0 106107 0
Current children cumulated CPU time (s) 1793.58
Current children cumulated vsize (Kb) 425300

[startup+1795.18 s]
/proc/loadavg: 1.01 1.01 1.00 2/64 19236
/proc/meminfo: memFree=1007168/2055920 swapFree=4183148/4192956
[pid=19036] ppid=19034 vsize=425300 CPUtime=1794.58
/proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 106299 0 0 0 179359 99 0 0 25 0 1 0 159117926 435507200 106079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581463 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19036/statm: 106325 106079 123 215 0 106107 0
Current children cumulated CPU time (s) 1794.58
Current children cumulated vsize (Kb) 425300

[startup+1796.19 s]
/proc/loadavg: 1.01 1.01 1.00 2/64 19236
/proc/meminfo: memFree=1007168/2055920 swapFree=4183148/4192956
[pid=19036] ppid=19034 vsize=425300 CPUtime=1795.59
/proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 106299 0 0 0 179460 99 0 0 25 0 1 0 159117926 435507200 106079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574489 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19036/statm: 106325 106079 123 215 0 106107 0
Current children cumulated CPU time (s) 1795.59
Current children cumulated vsize (Kb) 425300

[startup+1797.19 s]
/proc/loadavg: 1.01 1.01 1.00 2/64 19236
/proc/meminfo: memFree=1007168/2055920 swapFree=4183148/4192956
[pid=19036] ppid=19034 vsize=425300 CPUtime=1796.59
/proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 106299 0 0 0 179560 99 0 0 25 0 1 0 159117926 435507200 106079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19036/statm: 106325 106079 123 215 0 106107 0
Current children cumulated CPU time (s) 1796.59
Current children cumulated vsize (Kb) 425300

[startup+1798.2 s]
/proc/loadavg: 1.01 1.01 1.00 2/64 19236
/proc/meminfo: memFree=1007168/2055920 swapFree=4183148/4192956
[pid=19036] ppid=19034 vsize=425300 CPUtime=1797.6
/proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 106299 0 0 0 179661 99 0 0 25 0 1 0 159117926 435507200 106079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19036/statm: 106325 106079 123 215 0 106107 0
Current children cumulated CPU time (s) 1797.6
Current children cumulated vsize (Kb) 425300

[startup+1799.2 s]
/proc/loadavg: 1.01 1.01 1.00 2/64 19236
/proc/meminfo: memFree=1007168/2055920 swapFree=4183148/4192956
[pid=19036] ppid=19034 vsize=425300 CPUtime=1798.6
/proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 106299 0 0 0 179761 99 0 0 25 0 1 0 159117926 435507200 106079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19036/statm: 106325 106079 123 215 0 106107 0
Current children cumulated CPU time (s) 1798.6
Current children cumulated vsize (Kb) 425300

[startup+1800.21 s]
/proc/loadavg: 1.01 1.01 1.00 2/64 19236
/proc/meminfo: memFree=1007168/2055920 swapFree=4183148/4192956
[pid=19036] ppid=19034 vsize=425300 CPUtime=1799.61
/proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 106299 0 0 0 179862 99 0 0 25 0 1 0 159117926 435507200 106079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19036/statm: 106325 106079 123 215 0 106107 0
Current children cumulated CPU time (s) 1799.61
Current children cumulated vsize (Kb) 425300

[startup+1801.21 s]
/proc/loadavg: 1.01 1.01 1.00 2/64 19236
/proc/meminfo: memFree=1007168/2055920 swapFree=4183148/4192956
[pid=19036] ppid=19034 vsize=425300 CPUtime=1800.61
/proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 106299 0 0 0 179962 99 0 0 25 0 1 0 159117926 435507200 106079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19036/statm: 106325 106079 123 215 0 106107 0
Current children cumulated CPU time (s) 1800.61
Current children cumulated vsize (Kb) 425300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.22 s]
/proc/loadavg: 1.01 1.01 1.00 2/64 19236
/proc/meminfo: memFree=1007168/2055920 swapFree=4183148/4192956
[pid=19036] ppid=19034 vsize=425300 CPUtime=1800.62
/proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 106299 0 0 0 179963 99 0 0 25 0 1 0 159117926 435507200 106079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19036/statm: 106325 106079 123 215 0 106107 0
Current children cumulated CPU time (s) 1800.62
Current children cumulated vsize (Kb) 425300

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

Child status: 0
Real time (s): 1801.3
CPU time (s): 1800.7
CPU user time (s): 1799.63
CPU system time (s): 1.07184
CPU usage (%): 99.9671
Max. virtual memory (cumulated for all children) (Kb): 425300
The end

Launcher Data (download as text)

Begin job on node40 on Fri Jul 28 21:34:28 UTC 2006


FILE ID= 49847-1154122468

PBS_JOBID= 887053

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=120-sizeP=61-sizeQ=120-883133839.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node40/49847-1154122468/instance-49847-1154122468.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node40/watcher-49847-1154122468 -o ROOT/results/node40/solver-49847-1154122468 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node40/49847-1154122468/instance-49847-1154122468.opb

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  fc1ab74e36340948f29ab602078975e1

RANDOM SEED= 910503008

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.245
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.245
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:       1432400 kB
Buffers:         28724 kB
Cached:         525816 kB
SwapCached:       3672 kB
Active:          46524 kB
Inactive:       516640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1432400 kB
SwapTotal:     4192956 kB
SwapFree:      4183148 kB
Dirty:             196 kB
Writeback:           0 kB
Mapped:          14748 kB
Slab:            46368 kB
Committed_AS:   608892 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 node40 on Fri Jul 28 22:04:30 UTC 2006