Trace number 49864

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

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=160-sizeP=81-sizeQ=160-203099174-max.opb
MD5SUMe373f8acbb3a8da6f3b336b030bf2de6
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -2
Optimality of the best value was proved NO
Number of variables13201
Total number of constraints38881
Number of constraints which are clauses38880
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 constraint12960
Number of terms in the objective function 81
Biggest coefficient in the objective function 1208925819614629174706176
Number of bits for the biggest coefficient in the objective function 81
Sum of the numbers in the objective function 2417851639229258349412351
Number of bits of the sum of numbers in the objective function 81
Biggest number in a constraint 883423532389192164791648750371459257913741948437809479060803100646309888
Number of bits of the biggest number in a constraint 240
Biggest sum of numbers in a constraint 3533694129556768659166594778305965527968662855207593266623367657506383399
Number of bits of the biggest sum of numbers241
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...
1.68	c Converting 38882 PB-constraints to clauses...
1.69	c   -- Unit propagations: (none)
8.22	c   -- Detecting intervals from adjacent constraints: #
8.23	c   -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
8.31	c ---[   0]---> Adder-cost: 19276   maxlim: 117143310857975919761233325426248982958702983469531   bits: 167/167
28.44	c ==================================[MINISAT+]==================================
28.44	c | Conflicts | Original         | Learnt                           | Progress |
28.44	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
28.44	c ==============================================================================
28.44	c |         0 |  166234   551960 |   55411       0        0     nan |  0.000 % |
28.51	c |       100 |  166219   551911 |   60952      97      315     3.2 | 10.958 % |
28.54	c |       250 |  166129   551589 |   67047     238     4836    20.3 | 11.007 % |
28.92	c |       475 |  166129   551589 |   73752     463     6644    14.3 | 11.007 % |
28.98	c |       812 |  166129   551589 |   81127     800    24977    31.2 | 11.007 % |
29.11	c |      1320 |  166120   551560 |   89239    1307    47664    36.5 | 11.013 % |
29.32	c |      2079 |  166103   551501 |   98163    2064    74864    36.3 | 11.022 % |
29.76	c |      3219 |  166095   551475 |  107980    3203   136710    42.7 | 11.025 % |
30.11	c |      4927 |  166095   551475 |  118778    4911   206785    42.1 | 11.025 % |
31.10	c |      7489 |  166095   551475 |  130656    7473   329994    44.2 | 11.025 % |
32.01	c |     11333 |  166095   551475 |  143721   11317   514059    45.4 | 11.025 % |
33.70	c |     17100 |  166087   551449 |  158094   17083   837332    49.0 | 11.028 % |
37.54	c |     25750 |  166079   551423 |  173903   25732  1309222    50.9 | 11.032 % |
44.87	c |     38725 |  166047   551319 |  191293   38703  2335802    60.4 | 11.044 % |
55.13	c |     58186 |  166015   551215 |  210423   58160  3951791    67.9 | 11.056 % |
75.28	c |     87379 |  165991   551137 |  231465   87350  7485161    85.7 | 11.065 % |
127.54	c |    131168 |  165975   551085 |  254612  131137 10375875    79.1 | 11.071 % |
210.56	c |    196852 |  165943   550981 |  280073  196817 16442434    83.5 | 11.084 % |
359.51	c |    295378 |  165919   550903 |  308080   25743  1863042    72.4 | 11.093 % |
503.87	c |    443168 |  165848   550668 |  338888  173524 18900244   108.9 | 11.120 % |
946.97	c |    664852 |  165785   550463 |  372777   72034  9288471   128.9 | 11.145 % |
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/node20/watcher-49864-1154124042 -o ROOT/results/node20/solver-49864-1154124042 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node20/49864-1154124042/instance-49864-1154124042.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 1.00 2/64 28802
/proc/meminfo: memFree=1484608/2055920 swapFree=4183448/4192956
[pid=28802] ppid=28800 vsize=1048 CPUtime=0
/proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 97 0 0 0 0 0 0 0 19 0 1 0 159264716 1073152 81 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28802/statm: 262 81 67 215 0 44 0

[startup+10.0021 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 28802
/proc/meminfo: memFree=1454720/2055920 swapFree=4183448/4192956
[pid=28802] ppid=28800 vsize=31188 CPUtime=9.98
/proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 7864 0 0 0 992 6 0 0 25 0 1 0 159264716 31936512 7563 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28802/statm: 7797 7564 92 215 0 7579 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 31188

[startup+20.0083 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 28828
/proc/meminfo: memFree=1429960/2055920 swapFree=4183448/4192956
[pid=28802] ppid=28800 vsize=55100 CPUtime=19.99
/proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 13861 0 0 0 1990 9 0 0 25 0 1 0 159264716 56422400 13467 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003230 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28802/statm: 13775 13467 92 215 0 13557 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 55100

[startup+30.0156 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 28910
/proc/meminfo: memFree=1423984/2055920 swapFree=4183448/4192956
[pid=28802] ppid=28800 vsize=60900 CPUtime=29.95
/proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 15506 0 0 0 2985 10 0 0 25 0 1 0 159264716 62361600 14968 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28802/statm: 15225 14968 123 215 0 15007 0
Current children cumulated CPU time (s) 29.95
Current children cumulated vsize (Kb) 60900

[startup+40.0228 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 28940
/proc/meminfo: memFree=1423800/2055920 swapFree=4183448/4192956
[pid=28802] ppid=28800 vsize=60900 CPUtime=39.94
/proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 15511 0 0 0 3983 11 0 0 25 0 1 0 159264716 62361600 14973 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576749 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28802/statm: 15225 14973 123 215 0 15007 0
Current children cumulated CPU time (s) 39.94
Current children cumulated vsize (Kb) 60900

[startup+50.03 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29000
/proc/meminfo: memFree=1425000/2055920 swapFree=4183448/4192956
[pid=28802] ppid=28800 vsize=60900 CPUtime=49.92
/proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 15511 0 0 0 4981 11 0 0 25 0 1 0 159264716 62361600 14973 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28802/statm: 15225 14973 123 215 0 15007 0
Current children cumulated CPU time (s) 49.92
Current children cumulated vsize (Kb) 60900

[startup+60.0363 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29000
/proc/meminfo: memFree=1425152/2055920 swapFree=4183448/4192956
[pid=28802] ppid=28800 vsize=60900 CPUtime=59.92
/proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 15511 0 0 0 5981 11 0 0 25 0 1 0 159264716 62361600 14973 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574489 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28802/statm: 15225 14973 123 215 0 15007 0
Current children cumulated CPU time (s) 59.92
Current children cumulated vsize (Kb) 60900

[startup+70.0425 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29000
/proc/meminfo: memFree=1425216/2055920 swapFree=4183448/4192956
[pid=28802] ppid=28800 vsize=60900 CPUtime=69.93
/proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 15511 0 0 0 6982 11 0 0 25 0 1 0 159264716 62361600 14973 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28802/statm: 15225 14973 123 215 0 15007 0
Current children cumulated CPU time (s) 69.93
Current children cumulated vsize (Kb) 60900

[startup+80.0487 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29000
/proc/meminfo: memFree=1420992/2055920 swapFree=4183448/4192956
[pid=28802] ppid=28800 vsize=65236 CPUtime=79.93
/proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 16563 0 0 0 7981 12 0 0 25 0 1 0 159264716 66801664 16025 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28802/statm: 16309 16025 123 215 0 16091 0
Current children cumulated CPU time (s) 79.93
Current children cumulated vsize (Kb) 65236

[startup+90.055 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29000
/proc/meminfo: memFree=1417408/2055920 swapFree=4183448/4192956
[pid=28802] ppid=28800 vsize=68756 CPUtime=89.93
/proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 17459 0 0 0 8980 13 0 0 25 0 1 0 159264716 70406144 16921 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28802/statm: 17189 16921 123 215 0 16971 0
Current children cumulated CPU time (s) 89.93
Current children cumulated vsize (Kb) 68756

[startup+100.061 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29000
/proc/meminfo: memFree=1415488/2055920 swapFree=4183448/4192956
[pid=28802] ppid=28800 vsize=70580 CPUtime=99.94
/proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 17925 0 0 0 9980 14 0 0 25 0 1 0 159264716 72273920 17387 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574425 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28802/statm: 17645 17387 123 215 0 17427 0
Current children cumulated CPU time (s) 99.94
Current children cumulated vsize (Kb) 70580

[startup+110.067 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29000
/proc/meminfo: memFree=1412416/2055920 swapFree=4183448/4192956
[pid=28802] ppid=28800 vsize=73744 CPUtime=109.94
/proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 18695 0 0 0 10979 15 0 0 25 0 1 0 159264716 75513856 18157 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581002 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28802/statm: 18436 18157 123 215 0 18218 0
Current children cumulated CPU time (s) 109.94
Current children cumulated vsize (Kb) 73744

[startup+120.074 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29000
/proc/meminfo: memFree=1410688/2055920 swapFree=4183448/4192956
[pid=28802] ppid=28800 vsize=75432 CPUtime=119.94
/proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 19149 0 0 0 11979 15 0 0 25 0 1 0 159264716 77242368 18611 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581030 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28802/statm: 18858 18611 123 215 0 18640 0
Current children cumulated CPU time (s) 119.94
Current children cumulated vsize (Kb) 75432

[startup+130.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29000
/proc/meminfo: memFree=1408768/2055920 swapFree=4183448/4192956
[pid=28802] ppid=28800 vsize=77256 CPUtime=129.95
/proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 19613 0 0 0 12979 16 0 0 25 0 1 0 159264716 79110144 19075 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574262 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28802/statm: 19314 19075 123 215 0 19096 0
Current children cumulated CPU time (s) 129.95
Current children cumulated vsize (Kb) 77256

[startup+140.086 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29000
/proc/meminfo: memFree=1404864/2055920 swapFree=4183448/4192956
[pid=28802] ppid=28800 vsize=81464 CPUtime=139.94
/proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 20596 0 0 0 13978 16 0 0 25 0 1 0 159264716 83419136 20058 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28802/statm: 20366 20058 123 215 0 20148 0
Current children cumulated CPU time (s) 139.94
Current children cumulated vsize (Kb) 81464

[startup+150.092 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29000
/proc/meminfo: memFree=1400960/2055920 swapFree=4183448/4192956
[pid=28802] ppid=28800 vsize=85280 CPUtime=149.95
/proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 21573 0 0 0 14978 17 0 0 25 0 1 0 159264716 87326720 21035 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28802/statm: 21320 21035 123 215 0 21102 0
Current children cumulated CPU time (s) 149.95
Current children cumulated vsize (Kb) 85280

[startup+160.099 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29000
/proc/meminfo: memFree=1397632/2055920 swapFree=4183448/4192956
[pid=28802] ppid=28800 vsize=88560 CPUtime=159.96
/proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 22392 0 0 0 15977 19 0 0 25 0 1 0 159264716 90685440 21854 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28802/statm: 22140 21854 123 215 0 21922 0
Current children cumulated CPU time (s) 159.96
Current children cumulated vsize (Kb) 88560

[startup+170.105 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29000
/proc/meminfo: memFree=1395584/2055920 swapFree=4183448/4192956
[pid=28802] ppid=28800 vsize=90640 CPUtime=169.96
/proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 22909 0 0 0 16977 19 0 0 25 0 1 0 159264716 92815360 22371 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28802/statm: 22660 22371 123 215 0 22442 0
Current children cumulated CPU time (s) 169.96
Current children cumulated vsize (Kb) 90640

[startup+180.111 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29000
/proc/meminfo: memFree=1392064/2055920 swapFree=4183448/4192956
[pid=28802] ppid=28800 vsize=94056 CPUtime=179.96
/proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 23778 0 0 0 17976 20 0 0 25 0 1 0 159264716 96313344 23240 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28802/statm: 23514 23240 123 215 0 23296 0
Current children cumulated CPU time (s) 179.96
Current children cumulated vsize (Kb) 94056

[startup+190.117 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29000
/proc/meminfo: memFree=1387520/2055920 swapFree=4183448/4192956
[pid=28802] ppid=28800 vsize=98652 CPUtime=189.97
/proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 24916 0 0 0 18975 22 0 0 25 0 1 0 159264716 101019648 24378 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28802/statm: 24663 24378 123 215 0 24445 0
Current children cumulated CPU time (s) 189.97
Current children cumulated vsize (Kb) 98652

[startup+200.124 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29000
/proc/meminfo: memFree=1385088/2055920 swapFree=4183448/4192956
[pid=28802] ppid=28800 vsize=101004 CPUtime=199.96
/proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 25523 0 0 0 19974 22 0 0 25 0 1 0 159264716 103428096 24985 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28802/statm: 25251 24985 123 215 0 25033 0
Current children cumulated CPU time (s) 199.96
Current children cumulated vsize (Kb) 101004

[startup+210.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29000

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

/proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 94021 0 0 0 178066 88 0 0 25 0 1 0 159264716 384667648 93483 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28802/statm: 93913 93483 123 215 0 93695 0
Current children cumulated CPU time (s) 1781.54
Current children cumulated vsize (Kb) 375652

[startup+1783.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29000
/proc/meminfo: memFree=1110144/2055920 swapFree=4183448/4192956
[pid=28802] ppid=28800 vsize=376056 CPUtime=1782.54
/proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 94124 0 0 0 178166 88 0 0 25 0 1 0 159264716 385081344 93586 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28802/statm: 94014 93586 123 215 0 93796 0
Current children cumulated CPU time (s) 1782.54
Current children cumulated vsize (Kb) 376056

[startup+1784.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29000
/proc/meminfo: memFree=1109824/2055920 swapFree=4183448/4192956
[pid=28802] ppid=28800 vsize=376320 CPUtime=1783.55
/proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 94210 0 0 0 178267 88 0 0 25 0 1 0 159264716 385351680 93672 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574387 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28802/statm: 94080 93672 123 215 0 93862 0
Current children cumulated CPU time (s) 1783.55
Current children cumulated vsize (Kb) 376320

[startup+1785.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29000
/proc/meminfo: memFree=1109504/2055920 swapFree=4183448/4192956
[pid=28802] ppid=28800 vsize=376716 CPUtime=1784.55
/proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 94293 0 0 0 178367 88 0 0 25 0 1 0 159264716 385757184 93755 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28802/statm: 94179 93755 123 215 0 93961 0
Current children cumulated CPU time (s) 1784.55
Current children cumulated vsize (Kb) 376716

[startup+1786.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29000
/proc/meminfo: memFree=1109120/2055920 swapFree=4183448/4192956
[pid=28802] ppid=28800 vsize=377120 CPUtime=1785.56
/proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 94387 0 0 0 178468 88 0 0 25 0 1 0 159264716 386170880 93849 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574417 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28802/statm: 94280 93849 123 215 0 94062 0
Current children cumulated CPU time (s) 1785.56
Current children cumulated vsize (Kb) 377120

[startup+1787.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29000
/proc/meminfo: memFree=1108928/2055920 swapFree=4183448/4192956
[pid=28802] ppid=28800 vsize=377256 CPUtime=1786.56
/proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 94439 0 0 0 178568 88 0 0 25 0 1 0 159264716 386310144 93901 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28802/statm: 94314 93901 123 215 0 94096 0
Current children cumulated CPU time (s) 1786.56
Current children cumulated vsize (Kb) 377256

[startup+1788.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29000
/proc/meminfo: memFree=1108608/2055920 swapFree=4183448/4192956
[pid=28802] ppid=28800 vsize=377652 CPUtime=1787.57
/proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 94517 0 0 0 178669 88 0 0 25 0 1 0 159264716 386715648 93979 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28802/statm: 94413 93979 123 215 0 94195 0
Current children cumulated CPU time (s) 1787.57
Current children cumulated vsize (Kb) 377652

[startup+1789.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29000
/proc/meminfo: memFree=1108480/2055920 swapFree=4183448/4192956
[pid=28802] ppid=28800 vsize=377652 CPUtime=1788.57
/proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 94547 0 0 0 178769 88 0 0 25 0 1 0 159264716 386715648 94009 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28802/statm: 94413 94009 123 215 0 94195 0
Current children cumulated CPU time (s) 1788.57
Current children cumulated vsize (Kb) 377652

[startup+1790.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29000
/proc/meminfo: memFree=1108160/2055920 swapFree=4183448/4192956
[pid=28802] ppid=28800 vsize=378052 CPUtime=1789.57
/proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 94617 0 0 0 178869 88 0 0 25 0 1 0 159264716 387125248 94079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28802/statm: 94513 94079 123 215 0 94295 0
Current children cumulated CPU time (s) 1789.57
Current children cumulated vsize (Kb) 378052

[startup+1791.17 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29000
/proc/meminfo: memFree=1108032/2055920 swapFree=4183448/4192956
[pid=28802] ppid=28800 vsize=378184 CPUtime=1790.58
/proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 94663 0 0 0 178970 88 0 0 25 0 1 0 159264716 387260416 94125 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28802/statm: 94546 94125 123 215 0 94328 0
Current children cumulated CPU time (s) 1790.58
Current children cumulated vsize (Kb) 378184

[startup+1792.17 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29000
/proc/meminfo: memFree=1107776/2055920 swapFree=4183448/4192956
[pid=28802] ppid=28800 vsize=378448 CPUtime=1791.58
/proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 94717 0 0 0 179070 88 0 0 25 0 1 0 159264716 387530752 94179 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28802/statm: 94612 94179 123 215 0 94394 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (Kb) 378448

[startup+1793.18 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29000
/proc/meminfo: memFree=1107520/2055920 swapFree=4183448/4192956
[pid=28802] ppid=28800 vsize=378720 CPUtime=1792.59
/proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 94785 0 0 0 179171 88 0 0 25 0 1 0 159264716 387809280 94247 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28802/statm: 94680 94247 123 215 0 94462 0
Current children cumulated CPU time (s) 1792.59
Current children cumulated vsize (Kb) 378720

[startup+1794.18 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29000
/proc/meminfo: memFree=1107264/2055920 swapFree=4183448/4192956
[pid=28802] ppid=28800 vsize=378980 CPUtime=1793.59
/proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 94853 0 0 0 179271 88 0 0 25 0 1 0 159264716 388075520 94315 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28802/statm: 94745 94315 123 215 0 94527 0
Current children cumulated CPU time (s) 1793.59
Current children cumulated vsize (Kb) 378980

[startup+1795.19 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29000
/proc/meminfo: memFree=1107072/2055920 swapFree=4183448/4192956
[pid=28802] ppid=28800 vsize=379112 CPUtime=1794.6
/proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 94894 0 0 0 179372 88 0 0 25 0 1 0 159264716 388210688 94356 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28802/statm: 94778 94356 123 215 0 94560 0
Current children cumulated CPU time (s) 1794.6
Current children cumulated vsize (Kb) 379112

[startup+1796.19 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29000
/proc/meminfo: memFree=1107008/2055920 swapFree=4183448/4192956
[pid=28802] ppid=28800 vsize=379112 CPUtime=1795.6
/proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 94911 0 0 0 179472 88 0 0 25 0 1 0 159264716 388210688 94373 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580777 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28802/statm: 94778 94373 123 215 0 94560 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (Kb) 379112

[startup+1797.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29000
/proc/meminfo: memFree=1106880/2055920 swapFree=4183448/4192956
[pid=28802] ppid=28800 vsize=379244 CPUtime=1796.61
/proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 94943 0 0 0 179573 88 0 0 25 0 1 0 159264716 388345856 94405 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28802/statm: 94811 94405 123 215 0 94593 0
Current children cumulated CPU time (s) 1796.61
Current children cumulated vsize (Kb) 379244

[startup+1798.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29000
/proc/meminfo: memFree=1106688/2055920 swapFree=4183448/4192956
[pid=28802] ppid=28800 vsize=379512 CPUtime=1797.61
/proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 94984 0 0 0 179673 88 0 0 25 0 1 0 159264716 388620288 94446 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28802/statm: 94878 94446 123 215 0 94660 0
Current children cumulated CPU time (s) 1797.61
Current children cumulated vsize (Kb) 379512

[startup+1799.21 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29000
/proc/meminfo: memFree=1106624/2055920 swapFree=4183448/4192956
[pid=28802] ppid=28800 vsize=379512 CPUtime=1798.62
/proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 95010 0 0 0 179774 88 0 0 25 0 1 0 159264716 388620288 94472 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28802/statm: 94878 94472 123 215 0 94660 0
Current children cumulated CPU time (s) 1798.62
Current children cumulated vsize (Kb) 379512

[startup+1800.21 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29000
/proc/meminfo: memFree=1106560/2055920 swapFree=4183448/4192956
[pid=28802] ppid=28800 vsize=379644 CPUtime=1799.62
/proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 95031 0 0 0 179874 88 0 0 25 0 1 0 159264716 388755456 94493 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28802/statm: 94911 94493 123 215 0 94693 0
Current children cumulated CPU time (s) 1799.62
Current children cumulated vsize (Kb) 379644

[startup+1801.22 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29000
/proc/meminfo: memFree=1106368/2055920 swapFree=4183448/4192956
[pid=28802] ppid=28800 vsize=379780 CPUtime=1800.62
/proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 95070 0 0 0 179974 88 0 0 25 0 1 0 159264716 388894720 94532 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28802/statm: 94945 94532 123 215 0 94727 0
Current children cumulated CPU time (s) 1800.62
Current children cumulated vsize (Kb) 379780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.22 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29000
/proc/meminfo: memFree=1106368/2055920 swapFree=4183448/4192956
[pid=28802] ppid=28800 vsize=379780 CPUtime=1800.63
/proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 95070 0 0 0 179975 88 0 0 25 0 1 0 159264716 388894720 94532 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28802/statm: 94945 94532 123 215 0 94727 0
Current children cumulated CPU time (s) 1800.63
Current children cumulated vsize (Kb) 379780

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

Child status: 0
Real time (s): 1801.29
CPU time (s): 1800.7
CPU user time (s): 1799.75
CPU system time (s): 0.950855
CPU usage (%): 99.9673
Max. virtual memory (cumulated for all children) (Kb): 379780
The end

Launcher Data (download as text)

Begin job on node20 on Fri Jul 28 22:00:42 UTC 2006


FILE ID= 49864-1154124042

PBS_JOBID= 887121

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=160-sizeP=81-sizeQ=160-203099174-max.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node20/49864-1154124042/instance-49864-1154124042.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node20/watcher-49864-1154124042 -o ROOT/results/node20/solver-49864-1154124042 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node20/49864-1154124042/instance-49864-1154124042.opb

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  e373f8acbb3a8da6f3b336b030bf2de6

RANDOM SEED= 212921412

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.239
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.239
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:       1484816 kB
Buffers:         30316 kB
Cached:         475932 kB
SwapCached:       3412 kB
Active:          53080 kB
Inactive:       461872 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1484816 kB
SwapTotal:     4192956 kB
SwapFree:      4183448 kB
Dirty:             184 kB
Writeback:           0 kB
Mapped:          14740 kB
Slab:            42152 kB
Committed_AS:   651340 kB
PageTables:       1428 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node20 on Fri Jul 28 22:30:44 UTC 2006