Trace number 350218

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.16 1800.56

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 benchmarkSAT
Best value of the objective obtained on this benchmark-2
Best CPU time to get the best result obtained on this benchmark1800.5
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/0.00	c Parsing PB file...
1.59/1.69	c Converting 38882 PB-constraints to clauses...
1.69/1.70	c   -- Unit propagations: (none)
8.29/8.38	c   -- Detecting intervals from adjacent constraints: #
8.29/8.39	c   -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
8.39/8.46	c ---[   0]---> Adder-cost: 19276   maxlim: 117143310857975919761233325426248982958702983469531   bits: 167/167
28.49/28.54	c ==================================[MINISAT+]==================================
28.49/28.54	c | Conflicts | Original         | Learnt                           | Progress |
28.49/28.54	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
28.49/28.54	c ==============================================================================
28.49/28.54	c |         0 |  166234   551960 |   55411       0        0     nan |  0.000 % |
28.59/28.61	c |       100 |  166219   551911 |   60952      97      315     3.2 | 10.958 % |
28.59/28.64	c |       250 |  166129   551589 |   67047     238     4836    20.3 | 11.007 % |
28.98/29.01	c |       475 |  166129   551589 |   73752     463     6644    14.3 | 11.007 % |
28.98/29.07	c |       812 |  166129   551589 |   81127     800    24977    31.2 | 11.007 % |
29.08/29.20	c |      1320 |  166120   551560 |   89239    1307    47664    36.5 | 11.013 % |
29.38/29.41	c |      2079 |  166103   551501 |   98163    2064    74864    36.3 | 11.022 % |
29.78/29.83	c |      3219 |  166095   551475 |  107980    3203   136710    42.7 | 11.025 % |
30.08/30.17	c |      4927 |  166095   551475 |  118778    4911   206785    42.1 | 11.025 % |
31.08/31.14	c |      7489 |  166095   551475 |  130656    7473   329994    44.2 | 11.025 % |
31.98/32.03	c |     11333 |  166095   551475 |  143721   11317   514059    45.4 | 11.025 % |
33.58/33.68	c |     17100 |  166087   551449 |  158094   17083   837332    49.0 | 11.028 % |
37.58/37.66	c |     25750 |  166079   551423 |  173903   25732  1309222    50.9 | 11.032 % |
44.98/45.06	c |     38725 |  166047   551319 |  191293   38703  2335802    60.4 | 11.044 % |
55.18/55.21	c |     58186 |  166015   551215 |  210423   58160  3951791    67.9 | 11.056 % |
75.37/75.44	c |     87379 |  165991   551137 |  231465   87350  7485161    85.7 | 11.065 % |
128.96/129.04	c |    131168 |  165975   551085 |  254612  131137 10375875    79.1 | 11.071 % |
214.64/214.76	c |    196852 |  165943   550981 |  280073  196817 16442434    83.5 | 11.084 % |
376.70/376.87	c |    295378 |  165919   550903 |  308080   25743  1863042    72.4 | 11.093 % |
534.87/535.04	c |    443168 |  165848   550668 |  338888  173524 18900244   108.9 | 11.120 % |
1035.86/1036.11	c |    664852 |  165785   550463 |  372777   72034  9288471   128.9 | 11.145 % |
1800.09/1800.50	c 
1800.09/1800.50	c *** TERMINATED ***
1800.09/1800.50	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/350218-1176807722/instance-350218-1176807722.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node52/watcher-350218-1176807722 -o ROOT/results/node52/solver-350218-1176807722 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/350218-1176807722/minisat+ /tmp/evaluation/350218-1176807722/instance-350218-1176807722.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 25827
/proc/meminfo: memFree=1901380/2055920 swapFree=4179260/4192956
[pid=25827] ppid=25825 vsize=1048 CPUtime=0
/proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 115 0 0 0 0 0 0 0 18 0 1 0 35617292 1073152 100 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135006871 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25827/statm: 262 100 74 215 0 44 0

[startup+0.0277111 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 25827
/proc/meminfo: memFree=1901380/2055920 swapFree=4179260/4192956
[pid=25827] ppid=25825 vsize=1332 CPUtime=0.02
/proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 182 0 0 0 2 0 0 0 18 0 1 0 35617292 1363968 167 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134569953 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25827/statm: 333 167 74 215 0 115 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1332

[startup+0.101715 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 25827
/proc/meminfo: memFree=1901380/2055920 swapFree=4179260/4192956
[pid=25827] ppid=25825 vsize=2064 CPUtime=0.09
/proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 373 0 0 0 9 0 0 0 18 0 1 0 35617292 2113536 358 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005920 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25827/statm: 516 358 74 215 0 298 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2064

[startup+0.301728 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 25827
/proc/meminfo: memFree=1901380/2055920 swapFree=4179260/4192956
[pid=25827] ppid=25825 vsize=4192 CPUtime=0.29
/proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 880 0 0 0 29 0 0 0 19 0 1 0 35617292 4292608 865 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25827/statm: 1048 865 74 215 0 830 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4192

[startup+0.701755 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 25827
/proc/meminfo: memFree=1901380/2055920 swapFree=4179260/4192956
[pid=25827] ppid=25825 vsize=8228 CPUtime=0.69
/proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 1874 0 0 0 68 1 0 0 23 0 1 0 35617292 8425472 1859 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25827/statm: 2057 1859 74 215 0 1839 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8228

[startup+1.50181 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 25828
/proc/meminfo: memFree=1891260/2055920 swapFree=4179260/4192956
[pid=25827] ppid=25825 vsize=16432 CPUtime=1.49
/proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 3984 0 0 0 147 2 0 0 25 0 1 0 35617292 16826368 3889 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135006403 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25827/statm: 4108 3889 74 215 0 3890 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16432

[startup+3.10192 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 25828
/proc/meminfo: memFree=1884732/2055920 swapFree=4179260/4192956
[pid=25827] ppid=25825 vsize=17408 CPUtime=3.09
/proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 4304 0 0 0 307 2 0 0 25 0 1 0 35617292 17825792 4171 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134812736 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25827/statm: 4352 4171 83 215 0 4134 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17408

[startup+6.30113 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 25828
/proc/meminfo: memFree=1884540/2055920 swapFree=4179260/4192956
[pid=25827] ppid=25825 vsize=17408 CPUtime=6.29
/proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 4304 0 0 0 627 2 0 0 25 0 1 0 35617292 17825792 4171 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135012117 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25827/statm: 4352 4171 83 215 0 4134 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17408

[startup+12.7016 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 25828
/proc/meminfo: memFree=1847300/2055920 swapFree=4179260/4192956
[pid=25827] ppid=25825 vsize=55100 CPUtime=12.69
/proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 13860 0 0 0 1259 10 0 0 25 0 1 0 35617292 56422400 13467 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135003216 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25827/statm: 13775 13467 92 215 0 13557 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 55100

[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 25828
/proc/meminfo: memFree=1847428/2055920 swapFree=4179260/4192956
[pid=25827] ppid=25825 vsize=55100 CPUtime=25.48
/proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 13860 0 0 0 2538 10 0 0 25 0 1 0 35617292 56422400 13467 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134808949 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25827/statm: 13775 13467 92 215 0 13557 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 55100

[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 25828
/proc/meminfo: memFree=1841732/2055920 swapFree=4179260/4192956
[pid=25827] ppid=25825 vsize=60900 CPUtime=51.08
/proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 15510 0 0 0 5097 11 0 0 25 0 1 0 35617292 62361600 14973 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25827/statm: 15225 14973 123 215 0 15007 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 60900

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 25828
/proc/meminfo: memFree=1831748/2055920 swapFree=4179260/4192956
[pid=25827] ppid=25825 vsize=70968 CPUtime=102.27
/proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 18003 0 0 0 10213 14 0 0 25 0 1 0 35617292 72671232 17466 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134587739 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25827/statm: 17742 17466 123 215 0 17524 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 70968

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 25828
/proc/meminfo: memFree=1814212/2055920 swapFree=4179260/4192956
[pid=25827] ppid=25825 vsize=88560 CPUtime=162.26
/proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 22402 0 0 0 16207 19 0 0 25 0 1 0 35617292 90685440 21865 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25827/statm: 22140 21865 123 215 0 21922 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 88560

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 25828
/proc/meminfo: memFree=1795844/2055920 swapFree=4179260/4192956
[pid=25827] ppid=25825 vsize=106704 CPUtime=222.24
/proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 26951 0 0 0 22200 24 0 0 25 0 1 0 35617292 109264896 26414 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25827/statm: 26676 26414 123 215 0 26458 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 106704

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 25828
/proc/meminfo: memFree=1769412/2055920 swapFree=4179260/4192956
[pid=25827] ppid=25825 vsize=133504 CPUtime=282.23
/proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 33610 0 0 0 28191 32 0 0 25 0 1 0 35617292 136708096 33073 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25827/statm: 33376 33073 123 215 0 33158 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 133504

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 25830
/proc/meminfo: memFree=1758340/2055920 swapFree=4179260/4192956
[pid=25827] ppid=25825 vsize=144240 CPUtime=342.21
/proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 36328 0 0 0 34186 35 0 0 25 0 1 0 35617292 147701760 35791 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25827/statm: 36060 35791 123 215 0 35842 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 144240

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 25830
/proc/meminfo: memFree=1753156/2055920 swapFree=4179260/4192956
[pid=25827] ppid=25825 vsize=149372 CPUtime=402.19
/proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 37604 0 0 0 40183 36 0 0 25 0 1 0 35617292 152956928 37067 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005310 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25827/statm: 37343 37067 123 215 0 37125 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 149372

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 25830
/proc/meminfo: memFree=1753156/2055920 swapFree=4179260/4192956
[pid=25827] ppid=25825 vsize=149372 CPUtime=462.18
/proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 37604 0 0 0 46182 36 0 0 25 0 1 0 35617292 152956928 37067 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25827/statm: 37343 37067 123 215 0 37125 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 149372

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 25830
/proc/meminfo: memFree=1753156/2055920 swapFree=4179260/4192956
[pid=25827] ppid=25825 vsize=149372 CPUtime=522.17
/proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 37604 0 0 0 52181 36 0 0 25 0 1 0 35617292 152956928 37067 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576171 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25827/statm: 37343 37067 123 215 0 37125 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 149372

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 25830
/proc/meminfo: memFree=1753156/2055920 swapFree=4179260/4192956
[pid=25827] ppid=25825 vsize=149372 CPUtime=582.15
/proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 37605 0 0 0 58179 36 0 0 25 0 1 0 35617292 152956928 37068 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25827/statm: 37343 37068 123 215 0 37125 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 149372

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 25830
/proc/meminfo: memFree=1753092/2055920 swapFree=4179260/4192956
[pid=25827] ppid=25825 vsize=149372 CPUtime=642.14
/proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 37605 0 0 0 64178 36 0 0 25 0 1 0 35617292 152956928 37068 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25827/statm: 37343 37068 123 215 0 37125 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 149372


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 25830
/proc/meminfo: memFree=1735108/2055920 swapFree=4179260/4192956
[pid=25827] ppid=25825 vsize=167756 CPUtime=882.09
/proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 42090 0 0 0 88167 42 0 0 25 0 1 0 35617292 171782144 41553 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134577636 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25827/statm: 41939 41553 123 215 0 41721 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 167756

[startup+942.302 s]
/proc/loadavg: 1.05 1.00 1.00 2/65 25830
/proc/meminfo: memFree=1729412/2055920 swapFree=4179260/4192956
[pid=25827] ppid=25825 vsize=173516 CPUtime=942.07
/proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 43518 0 0 0 94164 43 0 0 25 0 1 0 35617292 177680384 42981 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25827/statm: 43379 42981 123 215 0 43161 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 173516

[startup+1002.3 s]
/proc/loadavg: 1.07 1.01 1.00 2/65 25830
/proc/meminfo: memFree=1724996/2055920 swapFree=4179260/4192956
[pid=25827] ppid=25825 vsize=177812 CPUtime=1002.07
/proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 44595 0 0 0 100162 45 0 0 25 0 1 0 35617292 182079488 44058 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134587739 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25827/statm: 44453 44058 123 215 0 44235 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 177812

[startup+1062.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 25830
/proc/meminfo: memFree=1724996/2055920 swapFree=4179260/4192956
[pid=25827] ppid=25825 vsize=177812 CPUtime=1062.05
/proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 44595 0 0 0 106160 45 0 0 25 0 1 0 35617292 182079488 44058 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25827/statm: 44453 44058 123 215 0 44235 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 177812

[startup+1122.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 25830
/proc/meminfo: memFree=1724996/2055920 swapFree=4179260/4192956
[pid=25827] ppid=25825 vsize=177812 CPUtime=1122.04
/proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 44595 0 0 0 112159 45 0 0 25 0 1 0 35617292 182079488 44058 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580819 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25827/statm: 44453 44058 123 215 0 44235 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 177812

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25830
/proc/meminfo: memFree=1724996/2055920 swapFree=4179260/4192956
[pid=25827] ppid=25825 vsize=177812 CPUtime=1182.03
/proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 44595 0 0 0 118158 45 0 0 25 0 1 0 35617292 182079488 44058 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25827/statm: 44453 44058 123 215 0 44235 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 177812

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25830
/proc/meminfo: memFree=1724996/2055920 swapFree=4179260/4192956
[pid=25827] ppid=25825 vsize=177812 CPUtime=1242.01
/proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 44595 0 0 0 124156 45 0 0 25 0 1 0 35617292 182079488 44058 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134573010 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25827/statm: 44453 44058 123 215 0 44235 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 177812

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25830
/proc/meminfo: memFree=1721540/2055920 swapFree=4179260/4192956
[pid=25827] ppid=25825 vsize=181228 CPUtime=1302.01
/proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 45463 0 0 0 130155 46 0 0 25 0 1 0 35617292 185577472 44926 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25827/statm: 45307 44926 123 215 0 45089 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 181228

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25830
/proc/meminfo: memFree=1709956/2055920 swapFree=4179260/4192956
[pid=25827] ppid=25825 vsize=192968 CPUtime=1361.99
/proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 48376 0 0 0 136151 48 0 0 25 0 1 0 35617292 197599232 47839 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25827/statm: 48242 47839 123 215 0 48024 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 192968

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25830
/proc/meminfo: memFree=1700100/2055920 swapFree=4179260/4192956
[pid=25827] ppid=25825 vsize=202668 CPUtime=1421.98
/proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 50802 0 0 0 142147 51 0 0 25 0 1 0 35617292 207532032 50265 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25827/statm: 50667 50265 123 215 0 50449 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 202668

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25830
/proc/meminfo: memFree=1689668/2055920 swapFree=4179260/4192956
[pid=25827] ppid=25825 vsize=213304 CPUtime=1481.96
/proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 53467 0 0 0 148142 54 0 0 25 0 1 0 35617292 218423296 52930 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25827/statm: 53326 52930 123 215 0 53108 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 213304

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25830
/proc/meminfo: memFree=1670468/2055920 swapFree=4179260/4192956
[pid=25827] ppid=25825 vsize=232176 CPUtime=1541.95
/proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 58192 0 0 0 154136 59 0 0 25 0 1 0 35617292 237748224 57655 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25827/statm: 58044 57655 123 215 0 57826 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 232176

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25830
/proc/meminfo: memFree=1659972/2055920 swapFree=4179260/4192956
[pid=25827] ppid=25825 vsize=242836 CPUtime=1601.94
/proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 60839 0 0 0 160132 62 0 0 25 0 1 0 35617292 248664064 60302 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25827/statm: 60709 60302 123 215 0 60491 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 242836

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25830
/proc/meminfo: memFree=1637060/2055920 swapFree=4179260/4192956
[pid=25827] ppid=25825 vsize=265740 CPUtime=1661.92
/proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 66555 0 0 0 166127 65 0 0 25 0 1 0 35617292 272117760 66018 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25827/statm: 66435 66018 123 215 0 66217 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 265740

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25830
/proc/meminfo: memFree=1611524/2055920 swapFree=4179260/4192956
[pid=25827] ppid=25825 vsize=291348 CPUtime=1721.91
/proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 72961 0 0 0 172121 70 0 0 25 0 1 0 35617292 298340352 72424 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25827/statm: 72837 72424 123 215 0 72619 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 291348

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25830
/proc/meminfo: memFree=1591620/2055920 swapFree=4179260/4192956
[pid=25827] ppid=25825 vsize=311008 CPUtime=1781.89
/proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 77888 0 0 0 178115 74 0 0 25 0 1 0 35617292 318472192 77351 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25827/statm: 77752 77351 123 215 0 77534 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 311008



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25830
/proc/meminfo: memFree=1585604/2055920 swapFree=4179260/4192956
[pid=25827] ppid=25825 vsize=316864 CPUtime=1800.09
/proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 79356 0 0 0 179934 75 0 0 25 0 1 0 35617292 324468736 78819 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25827/statm: 79216 78819 123 215 0 78998 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 316864

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

Solver just ended. Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25830
/proc/meminfo: memFree=1585604/2055920 swapFree=4179260/4192956
[pid=25827] ppid=25825 vsize=316864 CPUtime=1800.09
/proc/25827/stat : 25827 (minisat+) R 25825 25827 25126 0 -1 4194304 79356 0 0 0 179934 75 0 0 25 0 1 0 35617292 324468736 78819 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25827/statm: 79216 78819 123 215 0 78998 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 316864

Child status: 0
Real time (s): 1800.56
CPU time (s): 1800.16
CPU user time (s): 1799.35
CPU system time (s): 0.809876
CPU usage (%): 99.9777
Max. virtual memory (cumulated for all children) (KiB): 316864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.35
system time used= 0.809876
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79357
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 220
involuntary context switches= 2484

runsolver used 1.17582 second user time and 3.82642 second system time

The end

Launcher Data (download as text)

Begin job on node52 on Tue Apr 17 11:02:02 UTC 2007

IDJOB= 350218
IDBENCH= 3047
IDSOLVER= 156
FILE ID= node52/350218-1176807722

PBS_JOBID= 4586247

Free space on /tmp= 66377 MiB

SOLVER NAME= minisat+ 1.14
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= /tmp/evaluation/350218-1176807722/minisat+ /tmp/evaluation/350218-1176807722/instance-350218-1176807722.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node52/convwatcher-350218-1176807722 -o ROOT/results/node52/conversion-350218-1176807722 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/350218-1176807722/instance-350218-1176807722.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node52/watcher-350218-1176807722 -o ROOT/results/node52/solver-350218-1176807722 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/350218-1176807722/minisat+ /tmp/evaluation/350218-1176807722/instance-350218-1176807722.opb            

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  e373f8acbb3a8da6f3b336b030bf2de6

RANDOM SEED= 448643499

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node52.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.236
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.236
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:       1901788 kB
Buffers:         16844 kB
Cached:          83404 kB
SwapCached:       7940 kB
Active:          43140 kB
Inactive:        71180 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1901788 kB
SwapTotal:     4192956 kB
SwapFree:      4179260 kB
Dirty:            3980 kB
Writeback:           0 kB
Mapped:          15848 kB
Slab:            25760 kB
Committed_AS:  1513716 kB
PageTables:       1484 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66377 MiB

End job on node52 on Tue Apr 17 11:32:05 UTC 2007