Trace number 366923

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.12 1801.2

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=160-sizeP=81-sizeQ=160-203099174.opb
MD5SUM0c8a7426d22e304535ce287c1bd24030
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark3.9314
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
Optimality of the best value was proved YES
Number of 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.49/1.57	c Converting 38882 PB-constraints to clauses...
1.49/1.57	c   -- Unit propagations: (none)
7.69/7.71	c   -- Detecting intervals from adjacent constraints: #
7.69/7.72	c   -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
7.69/7.79	c ---[   0]---> Adder-cost: 19276   maxlim: 117143310857975919761233325426248982958702983469531   bits: 167/167
26.48/26.56	c ==================================[MINISAT+]==================================
26.48/26.56	c | Conflicts | Original         | Learnt                           | Progress |
26.48/26.56	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
26.48/26.56	c ==============================================================================
26.48/26.56	c |         0 |  166234   551960 |   55411       0        0     nan |  0.000 % |
26.58/26.63	c |       100 |  166219   551911 |   60952      97      362     3.7 | 10.958 % |
26.58/26.69	c |       250 |  166129   551589 |   67047     238     6579    27.6 | 11.007 % |
26.98/27.02	c |       476 |  166129   551589 |   73752     464    12392    26.7 | 11.007 % |
27.28/27.32	c |       813 |  166129   551589 |   81127     801    53585    66.9 | 11.007 % |
28.18/28.21	c |      1319 |  166129   551589 |   89239    1307    88801    67.9 | 11.007 % |
29.28/29.37	c |      2081 |  166121   551563 |   98163    2068   224021   108.3 | 11.010 % |
29.98/30.07	c |      3220 |  166121   551563 |  107980    3207   332655   103.7 | 11.010 % |
32.38/32.44	c |      4928 |  166095   551475 |  118778    4913   412136    83.9 | 11.025 % |
35.67/35.72	c |      7491 |  166079   551423 |  130656    7474   623538    83.4 | 11.031 % |
42.07/42.14	c |     11336 |  166039   551293 |  143721   11314  1617834   143.0 | 11.047 % |
48.86/48.98	c |     17103 |  166023   551241 |  158094   17079  2079544   121.8 | 11.053 % |
56.46/56.57	c |     25754 |  166015   551215 |  173903   25729  3323310   129.2 | 11.056 % |
75.75/75.88	c |     38731 |  166007   551189 |  191293   38705  5342322   138.0 | 11.059 % |
103.74/103.87	c |     58194 |  165847   550669 |  210423   58148  8298614   142.7 | 11.120 % |
156.11/156.24	c |     87387 |  165764   550386 |  231465   87325 16258377   186.2 | 11.157 % |
247.65/247.87	c |    131176 |  165747   550331 |  254612  131112 31308357   238.8 | 11.166 % |
360.78/361.03	c |    196862 |  165731   550275 |  280073  196794 43774764   222.4 | 11.172 % |
610.53/610.91	c |    295388 |  165647   549987 |  308080  295310 71833448   243.2 | 11.215 % |
1201.08/1201.85	c |    443179 |  165561   549663 |  338888  135209 84828768   627.4 | 11.258 % |
1800.01/1801.10	c 
1800.01/1801.10	c *** TERMINATED ***
1800.01/1801.10	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/366923-1177068075/instance-366923-1177068075.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/node4/watcher-366923-1177068075 -o ROOT/results/node4/solver-366923-1177068075 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/366923-1177068075/minisat+ /tmp/evaluation/366923-1177068075/instance-366923-1177068075.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.88 1.00 1.01 3/77 32445
/proc/meminfo: memFree=1729488/2055920 swapFree=4153812/4192956
[pid=32445] ppid=32443 vsize=1048 CPUtime=0
/proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 118 0 0 0 0 0 0 0 18 0 1 0 182845271 1073152 103 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 0 0 0
/proc/32445/statm: 262 103 74 215 0 44 0

[startup+0.038189 s]
/proc/loadavg: 0.88 1.00 1.01 3/77 32445
/proc/meminfo: memFree=1729488/2055920 swapFree=4153812/4192956
[pid=32445] ppid=32443 vsize=1464 CPUtime=0.03
/proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 217 0 0 0 3 0 0 0 18 0 1 0 182845271 1499136 202 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 0 0 0
/proc/32445/statm: 366 202 74 215 0 148 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1464

[startup+0.101194 s]
/proc/loadavg: 0.88 1.00 1.01 3/77 32445
/proc/meminfo: memFree=1729488/2055920 swapFree=4153812/4192956
[pid=32445] ppid=32443 vsize=2200 CPUtime=0.1
/proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 387 0 0 0 10 0 0 0 18 0 1 0 182845271 2252800 372 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135002826 0 0 4096 16386 0 0 0 17 0 0 0
/proc/32445/statm: 550 372 74 215 0 332 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2200

[startup+0.301213 s]
/proc/loadavg: 0.88 1.00 1.01 3/77 32445
/proc/meminfo: memFree=1729488/2055920 swapFree=4153812/4192956
[pid=32445] ppid=32443 vsize=4476 CPUtime=0.29
/proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 959 0 0 0 29 0 0 0 20 0 1 0 182845271 4583424 944 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134570150 0 0 4096 16386 0 0 0 17 0 0 0
/proc/32445/statm: 1119 944 74 215 0 901 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4476

[startup+0.701252 s]
/proc/loadavg: 0.88 1.00 1.01 3/77 32445
/proc/meminfo: memFree=1729488/2055920 swapFree=4153812/4192956
[pid=32445] ppid=32443 vsize=8768 CPUtime=0.69
/proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 2011 0 0 0 68 1 0 0 24 0 1 0 182845271 8978432 1996 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809834 0 0 4096 16386 0 0 0 17 0 0 0
/proc/32445/statm: 2192 1996 74 215 0 1974 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8768

[startup+1.50233 s]
/proc/loadavg: 0.88 1.00 1.01 2/78 32446
/proc/meminfo: memFree=1718536/2055920 swapFree=4153812/4192956
[pid=32445] ppid=32443 vsize=17596 CPUtime=1.49
/proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 4277 0 0 0 147 2 0 0 25 0 1 0 182845271 18018304 4182 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838065 0 0 4096 16386 0 0 0 17 0 0 0
/proc/32445/statm: 4399 4182 74 215 0 4181 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17596

[startup+3.10148 s]
/proc/loadavg: 0.88 1.00 1.01 2/78 32446
/proc/meminfo: memFree=1712776/2055920 swapFree=4153812/4192956
[pid=32445] ppid=32443 vsize=17408 CPUtime=3.09
/proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 4305 0 0 0 307 2 0 0 25 0 1 0 182845271 17825792 4172 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005778 0 0 4096 16386 0 0 0 17 0 0 0
/proc/32445/statm: 4352 4172 83 215 0 4134 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17408

[startup+6.30179 s]
/proc/loadavg: 0.89 1.00 1.00 2/78 32446
/proc/meminfo: memFree=1712712/2055920 swapFree=4153812/4192956
[pid=32445] ppid=32443 vsize=17408 CPUtime=6.29
/proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 4305 0 0 0 627 2 0 0 25 0 1 0 182845271 17825792 4172 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005893 0 0 4096 16386 0 0 0 17 0 0 0
/proc/32445/statm: 4352 4172 83 215 0 4134 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17408

[startup+12.7014 s]
/proc/loadavg: 0.90 1.00 1.00 2/78 32446
/proc/meminfo: memFree=1675656/2055920 swapFree=4153812/4192956
[pid=32445] ppid=32443 vsize=55096 CPUtime=12.69
/proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 13852 0 0 0 1259 10 0 0 25 0 1 0 182845271 56418304 13458 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012176 0 0 4096 16386 0 0 0 17 0 0 0
/proc/32445/statm: 13774 13458 92 215 0 13556 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 55096

[startup+25.5016 s]
/proc/loadavg: 0.92 1.00 1.00 2/78 32446
/proc/meminfo: memFree=1675848/2055920 swapFree=4153812/4192956
[pid=32445] ppid=32443 vsize=56472 CPUtime=25.48
/proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 14292 0 0 0 2538 10 0 0 25 0 1 0 182845271 57827328 13755 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135037705 0 0 4096 16386 0 0 0 17 0 0 0
/proc/32445/statm: 14118 13755 92 215 0 13900 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 56472

[startup+51.1011 s]
/proc/loadavg: 0.95 1.00 1.00 2/78 32446
/proc/meminfo: memFree=1670088/2055920 swapFree=4153812/4192956
[pid=32445] ppid=32443 vsize=60900 CPUtime=51.06
/proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 15511 0 0 0 5095 11 0 0 25 0 1 0 182845271 62361600 14974 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/32445/statm: 15225 14974 123 215 0 15007 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 60900

[startup+102.307 s]
/proc/loadavg: 0.98 1.00 1.00 2/78 32446
/proc/meminfo: memFree=1667016/2055920 swapFree=4153812/4192956
[pid=32445] ppid=32443 vsize=64072 CPUtime=102.24
/proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 16301 0 0 0 10213 11 0 0 25 0 1 0 182845271 65609728 15764 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 0 0 0
/proc/32445/statm: 16018 15764 123 215 0 15800 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 64072

[startup+162.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32446
/proc/meminfo: memFree=1630728/2055920 swapFree=4153812/4192956
[pid=32445] ppid=32443 vsize=100288 CPUtime=162.2
/proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 25358 0 0 0 16201 19 0 0 25 0 1 0 182845271 102694912 24821 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580842 0 0 4096 16386 0 0 0 17 0 0 0
/proc/32445/statm: 25072 24821 123 215 0 24854 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 100288

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32446
/proc/meminfo: memFree=1592456/2055920 swapFree=4153812/4192956
[pid=32445] ppid=32443 vsize=138652 CPUtime=222.16
/proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 34925 0 0 0 22189 27 0 0 25 0 1 0 182845271 141979648 34388 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574442 0 0 4096 16386 0 0 0 17 0 0 0
/proc/32445/statm: 34663 34388 123 215 0 34445 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 138652

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32446
/proc/meminfo: memFree=1549512/2055920 swapFree=4153812/4192956
[pid=32445] ppid=32443 vsize=181684 CPUtime=282.13
/proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 45668 0 0 0 28176 37 0 0 25 0 1 0 182845271 186044416 45131 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 0 0 0
/proc/32445/statm: 45421 45131 123 215 0 45203 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 181684

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32446
/proc/meminfo: memFree=1522376/2055920 swapFree=4153812/4192956
[pid=32445] ppid=32443 vsize=208396 CPUtime=342.09
/proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 52373 0 0 0 34166 43 0 0 25 0 1 0 182845271 213397504 51836 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580863 0 0 4096 16386 0 0 0 17 0 0 0
/proc/32445/statm: 52099 51836 123 215 0 51881 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 208396

[startup+402.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32446
/proc/meminfo: memFree=1501832/2055920 swapFree=4153812/4192956
[pid=32445] ppid=32443 vsize=229276 CPUtime=402.05
/proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 57503 0 0 0 40158 47 0 0 25 0 1 0 182845271 234778624 56966 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576464 0 0 4096 16386 0 0 0 17 0 0 0
/proc/32445/statm: 57319 56966 123 215 0 57101 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 229276

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32446
/proc/meminfo: memFree=1477128/2055920 swapFree=4153812/4192956
[pid=32445] ppid=32443 vsize=253900 CPUtime=462.02
/proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 63707 0 0 0 46150 52 0 0 25 0 1 0 182845271 259993600 63170 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 0 0 0
/proc/32445/statm: 63475 63170 123 215 0 63257 0
Current children cumulated CPU time (s) 462.02
Current children cumulated vsize (KiB) 253900

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32446
/proc/meminfo: memFree=1445896/2055920 swapFree=4153812/4192956
[pid=32445] ppid=32443 vsize=285296 CPUtime=521.99
/proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 71582 0 0 0 52141 58 0 0 25 0 1 0 182845271 292143104 71045 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 0 0 0
/proc/32445/statm: 71324 71045 123 215 0 71106 0
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (KiB) 285296

[startup+582.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32446
/proc/meminfo: memFree=1418632/2055920 swapFree=4153812/4192956
[pid=32445] ppid=32443 vsize=312204 CPUtime=581.93
/proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 78307 0 0 0 58131 62 0 0 25 0 1 0 182845271 319696896 77770 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 0 0 0
/proc/32445/statm: 78051 77770 123 215 0 77833 0
Current children cumulated CPU time (s) 581.93
Current children cumulated vsize (KiB) 312204

[startup+642.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32448
/proc/meminfo: memFree=1392264/2055920 swapFree=4153812/4192956
[pid=32445] ppid=32443 vsize=338144 CPUtime=641.9
/proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 84824 0 0 0 64122 68 0 0 25 0 1 0 182845271 346259456 84287 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 0 0 0
/proc/32445/statm: 84536 84287 123 215 0 84318 0
Current children cumulated CPU time (s) 641.9
Current children cumulated vsize (KiB) 338144


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

[startup+882.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32448
/proc/meminfo: memFree=1304776/2055920 swapFree=4153812/4192956
[pid=32445] ppid=32443 vsize=426096 CPUtime=881.77
/proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 106651 0 0 0 88092 85 0 0 25 0 1 0 182845271 436322304 106114 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581074 0 0 4096 16386 0 0 0 17 0 0 0
/proc/32445/statm: 106524 106114 123 215 0 106306 0
Current children cumulated CPU time (s) 881.77
Current children cumulated vsize (KiB) 426096

[startup+942.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32448
/proc/meminfo: memFree=1304712/2055920 swapFree=4153812/4192956
[pid=32445] ppid=32443 vsize=426096 CPUtime=941.73
/proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 106651 0 0 0 94088 85 0 0 25 0 1 0 182845271 436322304 106114 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/32445/statm: 106524 106114 123 215 0 106306 0
Current children cumulated CPU time (s) 941.73
Current children cumulated vsize (KiB) 426096

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32448
/proc/meminfo: memFree=1304712/2055920 swapFree=4153812/4192956
[pid=32445] ppid=32443 vsize=426096 CPUtime=1001.7
/proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 106651 0 0 0 100085 85 0 0 25 0 1 0 182845271 436322304 106114 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/32445/statm: 106524 106114 123 215 0 106306 0
Current children cumulated CPU time (s) 1001.7
Current children cumulated vsize (KiB) 426096

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32448
/proc/meminfo: memFree=1304712/2055920 swapFree=4153812/4192956
[pid=32445] ppid=32443 vsize=426096 CPUtime=1061.68
/proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 106651 0 0 0 106082 86 0 0 25 0 1 0 182845271 436322304 106114 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/32445/statm: 106524 106114 123 215 0 106306 0
Current children cumulated CPU time (s) 1061.68
Current children cumulated vsize (KiB) 426096

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32448
/proc/meminfo: memFree=1304712/2055920 swapFree=4153812/4192956
[pid=32445] ppid=32443 vsize=426096 CPUtime=1121.63
/proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 106652 0 0 0 112077 86 0 0 25 0 1 0 182845271 436322304 106115 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32445/statm: 106524 106115 123 215 0 106306 0
Current children cumulated CPU time (s) 1121.63
Current children cumulated vsize (KiB) 426096

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32448
/proc/meminfo: memFree=1304648/2055920 swapFree=4153812/4192956
[pid=32445] ppid=32443 vsize=426096 CPUtime=1181.59
/proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 106652 0 0 0 118073 86 0 0 25 0 1 0 182845271 436322304 106115 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575399 0 0 4096 16386 0 0 0 17 0 0 0
/proc/32445/statm: 106524 106115 123 215 0 106306 0
Current children cumulated CPU time (s) 1181.59
Current children cumulated vsize (KiB) 426096

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32448
/proc/meminfo: memFree=1304584/2055920 swapFree=4153812/4192956
[pid=32445] ppid=32443 vsize=426096 CPUtime=1241.56
/proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 106652 0 0 0 124070 86 0 0 25 0 1 0 182845271 436322304 106115 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576754 0 0 4096 16386 0 0 0 17 0 0 0
/proc/32445/statm: 106524 106115 123 215 0 106306 0
Current children cumulated CPU time (s) 1241.56
Current children cumulated vsize (KiB) 426096

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32448
/proc/meminfo: memFree=1296968/2055920 swapFree=4153812/4192956
[pid=32445] ppid=32443 vsize=433856 CPUtime=1301.52
/proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 108595 0 0 0 130065 87 0 0 25 0 1 0 182845271 444268544 108058 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 0 0 0
/proc/32445/statm: 108464 108058 123 215 0 108246 0
Current children cumulated CPU time (s) 1301.52
Current children cumulated vsize (KiB) 433856

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32448
/proc/meminfo: memFree=1268360/2055920 swapFree=4153812/4192956
[pid=32445] ppid=32443 vsize=462800 CPUtime=1361.48
/proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 115831 0 0 0 136055 93 0 0 25 0 1 0 182845271 473907200 115294 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/32445/statm: 115700 115294 123 215 0 115482 0
Current children cumulated CPU time (s) 1361.48
Current children cumulated vsize (KiB) 462800

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32448
/proc/meminfo: memFree=1239816/2055920 swapFree=4153812/4192956
[pid=32445] ppid=32443 vsize=490864 CPUtime=1421.45
/proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 122872 0 0 0 142047 98 0 0 25 0 1 0 182845271 502644736 122335 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573865 0 0 4096 16386 0 0 0 17 0 0 0
/proc/32445/statm: 122716 122335 123 215 0 122498 0
Current children cumulated CPU time (s) 1421.45
Current children cumulated vsize (KiB) 490864

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32448
/proc/meminfo: memFree=1212104/2055920 swapFree=4153812/4192956
[pid=32445] ppid=32443 vsize=518780 CPUtime=1481.42
/proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 129840 0 0 0 148038 104 0 0 25 0 1 0 182845271 531230720 129303 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/32445/statm: 129695 129303 123 215 0 129477 0
Current children cumulated CPU time (s) 1481.42
Current children cumulated vsize (KiB) 518780

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32448
/proc/meminfo: memFree=1185672/2055920 swapFree=4153812/4192956
[pid=32445] ppid=32443 vsize=544940 CPUtime=1541.37
/proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 136380 0 0 0 154028 109 0 0 25 0 1 0 182845271 558018560 135843 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580442 0 0 4096 16386 0 0 0 17 0 0 0
/proc/32445/statm: 136235 135843 123 215 0 136017 0
Current children cumulated CPU time (s) 1541.37
Current children cumulated vsize (KiB) 544940

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32448
/proc/meminfo: memFree=1164872/2055920 swapFree=4153812/4192956
[pid=32445] ppid=32443 vsize=566040 CPUtime=1601.35
/proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 141656 0 0 0 160019 116 0 0 25 0 1 0 182845271 579624960 141119 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/32445/statm: 141510 141119 123 215 0 141292 0
Current children cumulated CPU time (s) 1601.35
Current children cumulated vsize (KiB) 566040

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32448
/proc/meminfo: memFree=1141896/2055920 swapFree=4153812/4192956
[pid=32445] ppid=32443 vsize=588720 CPUtime=1661.31
/proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 147324 0 0 0 166009 122 0 0 25 0 1 0 182845271 602849280 146787 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581074 0 0 4096 16386 0 0 0 17 0 0 0
/proc/32445/statm: 147180 146787 123 215 0 146962 0
Current children cumulated CPU time (s) 1661.31
Current children cumulated vsize (KiB) 588720

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32448
/proc/meminfo: memFree=1120072/2055920 swapFree=4153812/4192956
[pid=32445] ppid=32443 vsize=610756 CPUtime=1721.27
/proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 152799 0 0 0 172001 126 0 0 25 0 1 0 182845271 625414144 152262 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/32445/statm: 152689 152262 123 215 0 152471 0
Current children cumulated CPU time (s) 1721.27
Current children cumulated vsize (KiB) 610756

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32448
/proc/meminfo: memFree=1097288/2055920 swapFree=4153812/4192956
[pid=32445] ppid=32443 vsize=633280 CPUtime=1781.22
/proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 158448 0 0 0 177992 130 0 0 25 0 1 0 182845271 648478720 157911 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/32445/statm: 158320 157911 123 215 0 158102 0
Current children cumulated CPU time (s) 1781.22
Current children cumulated vsize (KiB) 633280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.1 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32448
/proc/meminfo: memFree=1089480/2055920 swapFree=4153812/4192956
[pid=32445] ppid=32443 vsize=641044 CPUtime=1800.01
/proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 160380 0 0 0 179869 132 0 0 25 0 1 0 182845271 656429056 159843 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/32445/statm: 160261 159843 123 215 0 160043 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 641044

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

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

[startup+1801.1 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32448
/proc/meminfo: memFree=1089480/2055920 swapFree=4153812/4192956
[pid=32445] ppid=32443 vsize=641044 CPUtime=1800.01
/proc/32445/stat : 32445 (minisat+) R 32443 32445 31775 0 -1 4194304 160380 0 0 0 179869 132 0 0 25 0 1 0 182845271 656429056 159843 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/32445/statm: 160261 159843 123 215 0 160043 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 641044

Child status: 0
Real time (s): 1801.2
CPU time (s): 1800.12
CPU user time (s): 1798.7
CPU system time (s): 1.41978
CPU usage (%): 99.94
Max. virtual memory (cumulated for all children) (KiB): 641044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.7
system time used= 1.41978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160381
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= 122
involuntary context switches= 38798

runsolver used 1.77273 second user time and 4.85726 second system time

The end

Launcher Data (download as text)

Begin job on node4 on Fri Apr 20 11:21:15 UTC 2007

IDJOB= 366923
IDBENCH= 2958
IDSOLVER= 156
FILE ID= node4/366923-1177068075

PBS_JOBID= 4640247

Free space on /tmp= 66470 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.opb
COMMAND LINE= /tmp/evaluation/366923-1177068075/minisat+ /tmp/evaluation/366923-1177068075/instance-366923-1177068075.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node4/convwatcher-366923-1177068075 -o ROOT/results/node4/conversion-366923-1177068075 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/366923-1177068075/instance-366923-1177068075.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  0c8a7426d22e304535ce287c1bd24030

RANDOM SEED= 886175517

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node4.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.218
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	: 5931.00
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.218
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:       1729896 kB
Buffers:         54756 kB
Cached:         192368 kB
SwapCached:       2368 kB
Active:          37784 kB
Inactive:       232924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1729896 kB
SwapTotal:     4192956 kB
SwapFree:      4153812 kB
Dirty:            4068 kB
Writeback:           0 kB
Mapped:          30776 kB
Slab:            40756 kB
Committed_AS:  6168744 kB
PageTables:       1816 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= 66470 MiB

End job on node4 on Fri Apr 20 11:51:18 UTC 2007