Trace number 349099

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
bsolo 3.0.16? 1800.01 1800.8

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par32-1-c.opb
MD5SUM7d3927082349ded13241d71256bbcafb
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2630
Total number of constraints6569
Number of constraints which are clauses6569
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 2630
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2630
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2630
Number of bits of the biggest sum of numbers12
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 bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/349099-1176651656/instance-349099-1176651656.opb
0.00/0.00	c File size is 221725 bytes.
0.00/0.04	c Highest Coefficient sum: 2630
0.00/0.04	c Parsing was ok!!
0.00/0.04	c Total parsing time: 0.039 s
0.00/0.04	c Var: 2630 Constr: 6569 6569/0/0 Lit: 18020 Watch. Lit: 13138
0.00/0.04	c Obj. Vars: 2630 (100 % of total variables)
0.08/0.09	c Pre-processing Time: 0.094 s
0.08/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.09	c        0   2441     6252    17260    2    12504    2083      0      0 0.09
0.08/0.09	c Switching off LPR mode.
1799.90/1800.79	c      101   2441     6353    22793    3    12706    2292    101    696 0.14
1799.90/1800.79	c      252   2441     6504    29361    4    13008    2522    252   1020 0.25
1799.90/1800.79	c      478   2441     6730    37676    5    13460    2775    478   1320 0.36
1799.90/1800.79	c      816   2441     7068    51449    7    14136    3053    816   1472 0.55
1799.90/1800.79	c     1325   2441     7577    77844   10    15154    3359   1325   1522 0.87
1799.90/1800.79	c     2088   2441     8340   117474   14    16680    3695   2088   1437 1.45
1799.90/1800.79	c     3234   2441     9486   197189   20    18972    4065   3234   1394 2.32
1799.90/1800.79	c     4955   2441     8808   140328   15    17616    4472   2556   1195 4.14
1799.90/1800.79	c     7540   2441     8891   125716   14    17782    4920   2639   1106 6.81
1799.90/1800.79	c    11419   2441    10026   153369   15    20052    5413   3774   1020 11.19
1799.90/1800.79	c    17241   2441     9831   147592   15    19662    5955   3579    999 17.24
1799.90/1800.79	c    25978   2441    11978   247063   20    23956    6551   5726    972 26.71
1799.90/1800.79	c    39090   2441    10945   175603   16    21890    7207   4693    951 41.06
1799.90/1800.79	c    58760   2441    11184   181413   16    22368    7928   4932    904 64.97
1799.90/1800.79	c    88271   2441    11072   196801   17    22144    8721   4820    863 102.24
1799.90/1800.79	c   132541   2441    13550   298415   22    27100    9594   7298    834 158.79
1799.90/1800.79	c   198951   2441    13869   308751   22    27738   10554   7617    791 251.35
1799.90/1800.79	c   298571   2441    13307   274100   20    26614   11610   7055    760 392.84
1799.90/1800.79	c   448007   2441    16366   566838   34    32732   12772  10114    724 618.25
1799.90/1800.79	c   672165   2441    17026   597228   35    34052   14050  10774    676 993.50
1799.90/1800.79	c  1008409   2441    14037   416294   29    28074   15456   7785    629 1602.36
1799.90/1800.79	c Resources Exceeded
1799.90/1800.79	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.90/1800.79	c   21  1111222  62361  1183932    20156   852883  13904    617 1800.00
1799.90/1800.79	s UNKNOWN
1799.90/1800.79	c Total time: 1800 s

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node23/watcher-349099-1176651656 -o ROOT/results/node23/solver-349099-1176651656 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349099-1176651656/instance-349099-1176651656.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.97 0.98 3/77 29018
/proc/meminfo: memFree=1823928/2055920 swapFree=4169480/4192956
[pid=29018] ppid=29016 vsize=11956 CPUtime=0
/proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 369 0 0 0 0 0 0 0 18 0 1 0 113082740 12242944 337 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2955034 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29018/statm: 2989 338 281 324 0 2003 0

[startup+0.092887 s]
/proc/loadavg: 0.92 0.97 0.98 3/77 29018
/proc/meminfo: memFree=1823928/2055920 swapFree=4169480/4192956
[pid=29018] ppid=29016 vsize=5596 CPUtime=0.08
/proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 866 0 0 0 8 0 0 0 18 0 1 0 113082740 5730304 779 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134521208 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29018/statm: 1399 779 306 324 0 468 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5596

[startup+0.101888 s]
/proc/loadavg: 0.92 0.97 0.98 3/77 29018
/proc/meminfo: memFree=1823928/2055920 swapFree=4169480/4192956
[pid=29018] ppid=29016 vsize=5552 CPUtime=0.09
/proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 895 0 0 0 8 1 0 0 18 0 1 0 113082740 5685248 767 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2924613 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29018/statm: 1388 767 310 324 0 457 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5552

[startup+0.301928 s]
/proc/loadavg: 0.92 0.97 0.98 3/77 29018
/proc/meminfo: memFree=1823928/2055920 swapFree=4169480/4192956
[pid=29018] ppid=29016 vsize=5552 CPUtime=0.29
/proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 904 0 0 0 28 1 0 0 19 0 1 0 113082740 5685248 776 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2936549 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29018/statm: 1388 776 311 324 0 457 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5552

[startup+0.702005 s]
/proc/loadavg: 0.92 0.97 0.98 3/77 29018
/proc/meminfo: memFree=1823928/2055920 swapFree=4169480/4192956
[pid=29018] ppid=29016 vsize=6068 CPUtime=0.69
/proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 1020 0 0 0 68 1 0 0 22 0 1 0 113082740 6213632 892 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29018/statm: 1517 892 311 324 0 586 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6068

[startup+1.50116 s]
/proc/loadavg: 0.92 0.97 0.98 2/78 29019
/proc/meminfo: memFree=1821168/2055920 swapFree=4169480/4192956
[pid=29018] ppid=29016 vsize=6860 CPUtime=1.49
/proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 1231 0 0 0 148 1 0 0 25 0 1 0 113082740 7024640 1103 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29018/statm: 1715 1103 311 324 0 784 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6860

[startup+3.10147 s]
/proc/loadavg: 0.92 0.97 0.98 2/78 29019
/proc/meminfo: memFree=1819760/2055920 swapFree=4169480/4192956
[pid=29018] ppid=29016 vsize=8560 CPUtime=3.09
/proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 1644 0 0 0 307 2 0 0 25 0 1 0 113082740 8765440 1516 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29018/statm: 2140 1516 311 324 0 1209 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8560

[startup+6.30109 s]
/proc/loadavg: 0.93 0.97 0.98 2/78 29019
/proc/meminfo: memFree=1818416/2055920 swapFree=4169480/4192956
[pid=29018] ppid=29016 vsize=8936 CPUtime=6.29
/proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 1723 0 0 0 627 2 0 0 25 0 1 0 113082740 9150464 1595 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29018/statm: 2234 1595 311 324 0 1303 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8936

[startup+12.7013 s]
/proc/loadavg: 0.93 0.97 0.98 2/78 29019
/proc/meminfo: memFree=1818416/2055920 swapFree=4169480/4192956
[pid=29018] ppid=29016 vsize=8940 CPUtime=12.69
/proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 1724 0 0 0 1266 3 0 0 25 0 1 0 113082740 9154560 1596 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29018/statm: 2235 1596 311 324 0 1304 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8940

[startup+25.5018 s]
/proc/loadavg: 0.95 0.97 0.98 2/78 29019
/proc/meminfo: memFree=1817968/2055920 swapFree=4169480/4192956
[pid=29018] ppid=29016 vsize=9332 CPUtime=25.48
/proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 1834 0 0 0 2544 4 0 0 25 0 1 0 113082740 9555968 1706 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2928790 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29018/statm: 2333 1706 311 324 0 1402 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 9332

[startup+51.1018 s]
/proc/loadavg: 0.96 0.97 0.98 2/78 29019
/proc/meminfo: memFree=1817328/2055920 swapFree=4169480/4192956
[pid=29018] ppid=29016 vsize=9992 CPUtime=51.07
/proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 1998 0 0 0 5100 7 0 0 25 0 1 0 113082740 10231808 1870 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29018/statm: 2498 1870 311 324 0 1567 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 9992

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.98 2/78 29019
/proc/meminfo: memFree=1816432/2055920 swapFree=4169480/4192956
[pid=29018] ppid=29016 vsize=10872 CPUtime=102.25
/proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 2219 0 0 0 10211 14 0 0 25 0 1 0 113082740 11132928 2091 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29018/statm: 2718 2091 311 324 0 1787 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 10872

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29019
/proc/meminfo: memFree=1815984/2055920 swapFree=4169480/4192956
[pid=29018] ppid=29016 vsize=11536 CPUtime=162.23
/proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 2397 0 0 0 16200 23 0 0 25 0 1 0 113082740 11812864 2269 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29018/statm: 2884 2269 311 324 0 1953 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 11536

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29019
/proc/meminfo: memFree=1815344/2055920 swapFree=4169480/4192956
[pid=29018] ppid=29016 vsize=11796 CPUtime=222.21
/proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 2464 0 0 0 22190 31 0 0 25 0 1 0 113082740 12079104 2336 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29018/statm: 2949 2336 311 324 0 2018 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 11796

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29019
/proc/meminfo: memFree=1813808/2055920 swapFree=4169480/4192956
[pid=29018] ppid=29016 vsize=13316 CPUtime=282.19
/proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 2838 0 0 0 28181 38 0 0 25 0 1 0 113082740 13635584 2710 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29018/statm: 3329 2710 311 324 0 2398 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 13316

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29019
/proc/meminfo: memFree=1813808/2055920 swapFree=4169480/4192956
[pid=29018] ppid=29016 vsize=13316 CPUtime=342.17
/proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 2838 0 0 0 34172 45 0 0 25 0 1 0 113082740 13635584 2710 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29018/statm: 3329 2710 311 324 0 2398 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 13316

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29019
/proc/meminfo: memFree=1813744/2055920 swapFree=4169480/4192956
[pid=29018] ppid=29016 vsize=13320 CPUtime=402.14
/proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 2839 0 0 0 40161 53 0 0 25 0 1 0 113082740 13639680 2711 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29018/statm: 3330 2711 311 324 0 2399 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 13320

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29019
/proc/meminfo: memFree=1813232/2055920 swapFree=4169480/4192956
[pid=29018] ppid=29016 vsize=13920 CPUtime=462.12
/proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 2979 0 0 0 46152 60 0 0 25 0 1 0 113082740 14254080 2851 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29018/statm: 3480 2851 311 324 0 2549 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 13920

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29019
/proc/meminfo: memFree=1812656/2055920 swapFree=4169480/4192956
[pid=29018] ppid=29016 vsize=14440 CPUtime=522.1
/proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 3109 0 0 0 52143 67 0 0 25 0 1 0 113082740 14786560 2981 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29018/statm: 3610 2981 311 324 0 2679 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 14440

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29019
/proc/meminfo: memFree=1812400/2055920 swapFree=4169480/4192956
[pid=29018] ppid=29016 vsize=14664 CPUtime=582.08
/proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 3163 0 0 0 58133 75 0 0 25 0 1 0 113082740 15015936 3035 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29018/statm: 3666 3035 311 324 0 2735 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 14664

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29019
/proc/meminfo: memFree=1810416/2055920 swapFree=4169480/4192956
[pid=29018] ppid=29016 vsize=16596 CPUtime=642.05
/proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 3660 0 0 0 64122 83 0 0 25 0 1 0 113082740 16994304 3532 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2928472 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29018/statm: 4149 3532 311 324 0 3218 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 16596


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

/proc/meminfo: memFree=1808240/2055920 swapFree=4169480/4192956
[pid=29018] ppid=29016 vsize=18616 CPUtime=1061.9
/proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 4166 0 0 0 106056 134 0 0 25 0 1 0 113082740 19062784 4033 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29018/statm: 4654 4033 311 324 0 3723 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 18616

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 3/78 29019
/proc/meminfo: memFree=1808240/2055920 swapFree=4169480/4192956
[pid=29018] ppid=29016 vsize=18616 CPUtime=1121.87
/proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 4166 0 0 0 112047 140 0 0 25 0 1 0 113082740 19062784 4033 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29018/statm: 4654 4033 311 324 0 3723 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 18616

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29019
/proc/meminfo: memFree=1808176/2055920 swapFree=4169480/4192956
[pid=29018] ppid=29016 vsize=18616 CPUtime=1181.85
/proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 4166 0 0 0 118037 148 0 0 25 0 1 0 113082740 19062784 4033 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29018/statm: 4654 4033 311 324 0 3723 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 18616

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/84 29185
/proc/meminfo: memFree=1806832/2055920 swapFree=4169480/4192956
[pid=29018] ppid=29016 vsize=18616 CPUtime=1241.74
/proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 4166 0 0 0 124018 156 0 0 25 0 1 0 113082740 19062784 4033 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134573266 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29018/statm: 4654 4033 311 324 0 3723 0
Current children cumulated CPU time (s) 1241.74
Current children cumulated vsize (KiB) 18616

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29217
/proc/meminfo: memFree=1807792/2055920 swapFree=4169480/4192956
[pid=29018] ppid=29016 vsize=18616 CPUtime=1301.69
/proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 4166 0 0 0 130008 161 0 0 25 0 1 0 113082740 19062784 4033 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551539 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29018/statm: 4654 4033 311 324 0 3723 0
Current children cumulated CPU time (s) 1301.69
Current children cumulated vsize (KiB) 18616

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29217
/proc/meminfo: memFree=1807792/2055920 swapFree=4169480/4192956
[pid=29018] ppid=29016 vsize=18616 CPUtime=1361.67
/proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 4166 0 0 0 136000 167 0 0 25 0 1 0 113082740 19062784 4033 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29018/statm: 4654 4033 311 324 0 3723 0
Current children cumulated CPU time (s) 1361.67
Current children cumulated vsize (KiB) 18616

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29217
/proc/meminfo: memFree=1807792/2055920 swapFree=4169480/4192956
[pid=29018] ppid=29016 vsize=18616 CPUtime=1421.65
/proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 4166 0 0 0 141992 173 0 0 25 0 1 0 113082740 19062784 4033 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29018/statm: 4654 4033 311 324 0 3723 0
Current children cumulated CPU time (s) 1421.65
Current children cumulated vsize (KiB) 18616

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29217
/proc/meminfo: memFree=1807792/2055920 swapFree=4169480/4192956
[pid=29018] ppid=29016 vsize=18616 CPUtime=1481.63
/proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 4166 0 0 0 147982 181 0 0 25 0 1 0 113082740 19062784 4033 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29018/statm: 4654 4033 311 324 0 3723 0
Current children cumulated CPU time (s) 1481.63
Current children cumulated vsize (KiB) 18616

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29217
/proc/meminfo: memFree=1807792/2055920 swapFree=4169480/4192956
[pid=29018] ppid=29016 vsize=18704 CPUtime=1541.59
/proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 4192 0 0 0 153974 185 0 0 25 0 1 0 113082740 19152896 4059 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29018/statm: 4676 4059 311 324 0 3745 0
Current children cumulated CPU time (s) 1541.59
Current children cumulated vsize (KiB) 18704

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29217
/proc/meminfo: memFree=1807792/2055920 swapFree=4169480/4192956
[pid=29018] ppid=29016 vsize=18704 CPUtime=1601.58
/proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 4192 0 0 0 159966 192 0 0 25 0 1 0 113082740 19152896 4059 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29018/statm: 4676 4059 311 324 0 3745 0
Current children cumulated CPU time (s) 1601.58
Current children cumulated vsize (KiB) 18704

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29217
/proc/meminfo: memFree=1806896/2055920 swapFree=4169480/4192956
[pid=29018] ppid=29016 vsize=19768 CPUtime=1661.55
/proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 4448 0 0 0 165957 198 0 0 25 0 1 0 113082740 20242432 4315 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29018/statm: 4942 4315 311 324 0 4011 0
Current children cumulated CPU time (s) 1661.55
Current children cumulated vsize (KiB) 19768

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29217
/proc/meminfo: memFree=1806768/2055920 swapFree=4169480/4192956
[pid=29018] ppid=29016 vsize=19824 CPUtime=1721.54
/proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 4468 0 0 0 171949 205 0 0 25 0 1 0 113082740 20299776 4335 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29018/statm: 4956 4335 311 324 0 4025 0
Current children cumulated CPU time (s) 1721.54
Current children cumulated vsize (KiB) 19824

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29217
/proc/meminfo: memFree=1806512/2055920 swapFree=4169480/4192956
[pid=29018] ppid=29016 vsize=20024 CPUtime=1781.5
/proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 4521 0 0 0 177939 211 0 0 25 0 1 0 113082740 20504576 4388 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29018/statm: 5006 4388 311 324 0 4075 0
Current children cumulated CPU time (s) 1781.5
Current children cumulated vsize (KiB) 20024

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

[startup+1791.91 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29217
/proc/meminfo: memFree=1806512/2055920 swapFree=4169480/4192956
[pid=29018] ppid=29016 vsize=20024 CPUtime=1791.11
/proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 4521 0 0 0 178898 213 0 0 25 0 1 0 113082740 20504576 4388 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29018/statm: 5006 4388 311 324 0 4075 0
Current children cumulated CPU time (s) 1791.11
Current children cumulated vsize (KiB) 20024

[startup+1795.1 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29217
/proc/meminfo: memFree=1806512/2055920 swapFree=4169480/4192956
[pid=29018] ppid=29016 vsize=20024 CPUtime=1794.31
/proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 4521 0 0 0 179218 213 0 0 25 0 1 0 113082740 20504576 4388 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29018/statm: 5006 4388 311 324 0 4075 0
Current children cumulated CPU time (s) 1794.31
Current children cumulated vsize (KiB) 20024

[startup+1798.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29217
/proc/meminfo: memFree=1806512/2055920 swapFree=4169480/4192956
[pid=29018] ppid=29016 vsize=20024 CPUtime=1797.5
/proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 4521 0 0 0 179537 213 0 0 25 0 1 0 113082740 20504576 4388 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29018/statm: 5006 4388 311 324 0 4075 0
Current children cumulated CPU time (s) 1797.5
Current children cumulated vsize (KiB) 20024

[startup+1799.9 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29217
/proc/meminfo: memFree=1806512/2055920 swapFree=4169480/4192956
[pid=29018] ppid=29016 vsize=20024 CPUtime=1799.1
/proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 4521 0 0 0 179697 213 0 0 25 0 1 0 113082740 20504576 4388 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29018/statm: 5006 4388 311 324 0 4075 0
Current children cumulated CPU time (s) 1799.1
Current children cumulated vsize (KiB) 20024

[startup+1800.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29217
/proc/meminfo: memFree=1806512/2055920 swapFree=4169480/4192956
[pid=29018] ppid=29016 vsize=20024 CPUtime=1799.5
/proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 4521 0 0 0 179737 213 0 0 25 0 1 0 113082740 20504576 4388 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29018/statm: 5006 4388 311 324 0 4075 0
Current children cumulated CPU time (s) 1799.5
Current children cumulated vsize (KiB) 20024

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29217
/proc/meminfo: memFree=1806512/2055920 swapFree=4169480/4192956
[pid=29018] ppid=29016 vsize=20024 CPUtime=1799.9
/proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 4521 0 0 0 179777 213 0 0 25 0 1 0 113082740 20504576 4388 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29018/statm: 5006 4388 311 324 0 4075 0
Current children cumulated CPU time (s) 1799.9
Current children cumulated vsize (KiB) 20024

Child status: 0
Real time (s): 1800.8
CPU time (s): 1800.01
CPU user time (s): 1797.87
CPU system time (s): 2.14267
CPU usage (%): 99.9562
Max. virtual memory (cumulated for all children) (KiB): 20024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.87
system time used= 2.14267
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4522
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= 12
involuntary context switches= 2621

runsolver used 2.22566 second user time and 4.26935 second system time

The end

Launcher Data (download as text)

Begin job on node23 on Sun Apr 15 15:40:56 UTC 2007

IDJOB= 349099
IDBENCH= 2143
IDSOLVER= 163
FILE ID= node23/349099-1176651656

PBS_JOBID= 4559864

Free space on /tmp= 66560 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-1-c.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349099-1176651656/instance-349099-1176651656.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node23/watcher-349099-1176651656 -o ROOT/results/node23/solver-349099-1176651656 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349099-1176651656/instance-349099-1176651656.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  7d3927082349ded13241d71256bbcafb

RANDOM SEED= 935571614

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node23.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.276
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.276
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:       1824336 kB
Buffers:         39416 kB
Cached:          99852 kB
SwapCached:       2648 kB
Active:          98772 kB
Inactive:        63740 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1824336 kB
SwapTotal:     4192956 kB
SwapFree:      4169480 kB
Dirty:            4700 kB
Writeback:           0 kB
Mapped:          37952 kB
Slab:            54616 kB
Committed_AS:  1435012 kB
PageTables:       1796 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= 66560 MiB

End job on node23 on Sun Apr 15 16:10:57 UTC 2007