Trace number 433003

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.17? (TO) 1800.12 1800.51

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.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/433003-1177952762/instance-433003-1177952762.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.04 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.05/0.10	c Pre-processing Time: 0.096 s
0.05/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.05/0.10	c        0   2441     6252    17260    2    12504    2083      0      0 0.10
0.05/0.10	c Switching off LPR mode.
1800.10/1800.50	c      101   2441     6353    22793    3    12706    2292    101    687 0.15
1800.10/1800.50	c      252   2441     6504    29361    4    13008    2522    252   1012 0.25
1800.10/1800.50	c      478   2441     6730    37676    5    13460    2775    478   1309 0.36
1800.10/1800.50	c      816   2441     7068    51449    7    14136    3053    816   1459 0.56
1800.10/1800.50	c     1325   2441     7577    77844   10    15154    3359   1325   1510 0.88
1800.10/1800.50	c     2088   2441     8340   117474   14    16680    3695   2088   1424 1.47
1800.10/1800.50	c     3234   2441     9486   197189   20    18972    4065   3234   1380 2.34
1800.10/1800.50	c     4955   2441     8808   140328   15    17616    4472   2556   1180 4.20
1800.10/1800.50	c     7540   2441     8891   125716   14    17782    4920   2639   1094 6.89
1800.10/1800.50	c    11419   2441    10026   153369   15    20052    5413   3774   1009 11.31
1800.10/1800.50	c    17241   2441     9831   147592   15    19662    5955   3579    990 17.40
1800.10/1800.50	c    25978   2441    11978   247063   20    23956    6551   5726    964 26.93
1800.10/1800.50	c    39090   2441    10945   175603   16    21890    7207   4693    945 41.33
1800.10/1800.50	c    58760   2441    11184   181413   16    22368    7928   4932    898 65.38
1800.10/1800.50	c    88271   2441    11072   196801   17    22144    8721   4820    859 102.74
1800.10/1800.50	c   132541   2441    13550   298415   22    27100    9594   7298    831 159.48
1800.10/1800.50	c   198951   2441    13869   308751   22    27738   10554   7617    787 252.54
1800.10/1800.50	c   298571   2441    13307   274100   20    26614   11610   7055    757 394.37
1800.10/1800.50	c   448007   2441    16366   566838   34    32732   12772  10114    721 620.59
1800.10/1800.50	c   672165   2441    17026   597228   35    34052   14050  10774    674 996.93
1800.10/1800.50	c  1008409   2441    14037   416294   29    28074   15456   7785    627 1607.97
1800.10/1800.50	c Caught signal: 15
1800.10/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.10/1800.50	c   21  1108302  62189  1180807    17236   632817  10984    615 1800.11
1800.10/1800.50	s UNKNOWN
1800.10/1800.50	c Total time: 1800.11 s

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node52/watcher-433003-1177952762 -o ROOT/results/node52/solver-433003-1177952762 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433003-1177952762/instance-433003-1177952762.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.79 0.92 0.94 3/64 26414
/proc/meminfo: memFree=1874444/2055920 swapFree=4182988/4192956
[pid=26414] ppid=26412 vsize=11956 CPUtime=0
/proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 150121296 12242944 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4744827 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26414/statm: 2989 333 279 324 0 2004 0

[startup+0.0634019 s]
/proc/loadavg: 0.79 0.92 0.94 3/64 26414
/proc/meminfo: memFree=1874444/2055920 swapFree=4182988/4192956
[pid=26414] ppid=26412 vsize=5320 CPUtime=0.05
/proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 787 0 0 0 5 0 0 0 18 0 1 0 150121296 5447680 702 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26414/statm: 1330 702 302 324 0 400 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5320

[startup+0.101404 s]
/proc/loadavg: 0.79 0.92 0.94 3/64 26414
/proc/meminfo: memFree=1874444/2055920 swapFree=4182988/4192956
[pid=26414] ppid=26412 vsize=5552 CPUtime=0.09
/proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 891 0 0 0 8 1 0 0 18 0 1 0 150121296 5685248 765 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574279 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26414/statm: 1388 765 308 324 0 458 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5552

[startup+0.301417 s]
/proc/loadavg: 0.79 0.92 0.94 3/64 26414
/proc/meminfo: memFree=1874444/2055920 swapFree=4182988/4192956
[pid=26414] ppid=26412 vsize=5552 CPUtime=0.29
/proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 899 0 0 0 28 1 0 0 19 0 1 0 150121296 5685248 773 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4742709 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26414/statm: 1388 773 309 324 0 458 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5552

[startup+0.701444 s]
/proc/loadavg: 0.79 0.92 0.94 3/64 26414
/proc/meminfo: memFree=1874444/2055920 swapFree=4182988/4192956
[pid=26414] ppid=26412 vsize=6068 CPUtime=0.69
/proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 1014 0 0 0 68 1 0 0 23 0 1 0 150121296 6213632 888 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26414/statm: 1517 888 309 324 0 587 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6068

[startup+1.5015 s]
/proc/loadavg: 0.79 0.92 0.94 2/65 26415
/proc/meminfo: memFree=1871748/2055920 swapFree=4182988/4192956
[pid=26414] ppid=26412 vsize=6860 CPUtime=1.49
/proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 1223 0 0 0 148 1 0 0 25 0 1 0 150121296 7024640 1097 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4744827 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26414/statm: 1715 1097 309 324 0 785 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6860

[startup+3.10161 s]
/proc/loadavg: 0.79 0.92 0.94 2/65 26415
/proc/meminfo: memFree=1870340/2055920 swapFree=4182988/4192956
[pid=26414] ppid=26412 vsize=8556 CPUtime=3.09
/proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 1632 0 0 0 308 1 0 0 25 0 1 0 150121296 8761344 1506 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4739219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26414/statm: 2139 1506 309 324 0 1209 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8556

[startup+6.30183 s]
/proc/loadavg: 0.81 0.93 0.94 2/65 26415
/proc/meminfo: memFree=1869004/2055920 swapFree=4182988/4192956
[pid=26414] ppid=26412 vsize=8936 CPUtime=6.29
/proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 1719 0 0 0 628 1 0 0 25 0 1 0 150121296 9150464 1593 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26414/statm: 2234 1593 309 324 0 1304 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8936

[startup+12.7013 s]
/proc/loadavg: 0.82 0.93 0.94 2/65 26415
/proc/meminfo: memFree=1869132/2055920 swapFree=4182988/4192956
[pid=26414] ppid=26412 vsize=8940 CPUtime=12.68
/proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 1720 0 0 0 1267 1 0 0 25 0 1 0 150121296 9154560 1594 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26414/statm: 2235 1594 309 324 0 1305 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 8940

[startup+25.5012 s]
/proc/loadavg: 0.86 0.93 0.94 2/65 26415
/proc/meminfo: memFree=1868748/2055920 swapFree=4182988/4192956
[pid=26414] ppid=26412 vsize=9332 CPUtime=25.48
/proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 1830 0 0 0 2547 1 0 0 25 0 1 0 150121296 9555968 1704 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26414/statm: 2333 1704 309 324 0 1403 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 9332

[startup+51.1019 s]
/proc/loadavg: 0.91 0.93 0.94 2/65 26415
/proc/meminfo: memFree=1868108/2055920 swapFree=4182988/4192956
[pid=26414] ppid=26412 vsize=9992 CPUtime=51.08
/proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 1994 0 0 0 5107 1 0 0 25 0 1 0 150121296 10231808 1868 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4743618 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26414/statm: 2498 1868 309 324 0 1568 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 9992

[startup+102.305 s]
/proc/loadavg: 0.96 0.94 0.94 2/65 26415
/proc/meminfo: memFree=1867212/2055920 swapFree=4182988/4192956
[pid=26414] ppid=26412 vsize=10872 CPUtime=102.28
/proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 2215 0 0 0 10226 2 0 0 25 0 1 0 150121296 11132928 2089 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4744083 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26414/statm: 2718 2089 309 324 0 1788 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 10872

[startup+162.302 s]
/proc/loadavg: 0.98 0.95 0.94 2/65 26415
/proc/meminfo: memFree=1866828/2055920 swapFree=4182988/4192956
[pid=26414] ppid=26412 vsize=11272 CPUtime=162.26
/proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 2309 0 0 0 16224 2 0 0 25 0 1 0 150121296 11542528 2183 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4743318 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26414/statm: 2818 2183 309 324 0 1888 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 11272

[startup+222.302 s]
/proc/loadavg: 0.99 0.95 0.94 2/65 26417
/proc/meminfo: memFree=1866060/2055920 swapFree=4182988/4192956
[pid=26414] ppid=26412 vsize=11796 CPUtime=222.24
/proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 2460 0 0 0 22222 2 0 0 25 0 1 0 150121296 12079104 2334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26414/statm: 2949 2334 309 324 0 2019 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 11796

[startup+282.302 s]
/proc/loadavg: 0.99 0.96 0.94 2/65 26417
/proc/meminfo: memFree=1864652/2055920 swapFree=4182988/4192956
[pid=26414] ppid=26412 vsize=13316 CPUtime=282.23
/proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 2834 0 0 0 28220 3 0 0 25 0 1 0 150121296 13635584 2708 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26414/statm: 3329 2708 309 324 0 2399 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 13316

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 26417
/proc/meminfo: memFree=1864652/2055920 swapFree=4182988/4192956
[pid=26414] ppid=26412 vsize=13316 CPUtime=342.21
/proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 2834 0 0 0 34218 3 0 0 25 0 1 0 150121296 13635584 2708 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26414/statm: 3329 2708 309 324 0 2399 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 13316

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.94 3/65 26417
/proc/meminfo: memFree=1864588/2055920 swapFree=4182988/4192956
[pid=26414] ppid=26412 vsize=13320 CPUtime=402.2
/proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 2835 0 0 0 40217 3 0 0 25 0 1 0 150121296 13639680 2709 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26414/statm: 3330 2709 309 324 0 2400 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 13320

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 26417
/proc/meminfo: memFree=1864012/2055920 swapFree=4182988/4192956
[pid=26414] ppid=26412 vsize=13920 CPUtime=462.19
/proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 2975 0 0 0 46215 4 0 0 25 0 1 0 150121296 14254080 2849 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26414/statm: 3480 2849 309 324 0 2550 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 13920

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 26417
/proc/meminfo: memFree=1863500/2055920 swapFree=4182988/4192956
[pid=26414] ppid=26412 vsize=14440 CPUtime=522.18
/proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 3105 0 0 0 52214 4 0 0 25 0 1 0 150121296 14786560 2979 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571857 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26414/statm: 3610 2979 309 324 0 2680 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 14440

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 26417
/proc/meminfo: memFree=1863308/2055920 swapFree=4182988/4192956
[pid=26414] ppid=26412 vsize=14664 CPUtime=582.16
/proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 3159 0 0 0 58212 4 0 0 25 0 1 0 150121296 15015936 3033 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571853 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26414/statm: 3666 3033 309 324 0 2736 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 14664

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 26417
/proc/meminfo: memFree=1861260/2055920 swapFree=4182988/4192956
[pid=26414] ppid=26412 vsize=16596 CPUtime=642.15
/proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 3656 0 0 0 64210 5 0 0 25 0 1 0 150121296 16994304 3530 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572650 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26414/statm: 4149 3530 309 324 0 3219 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 16596


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 26417
/proc/meminfo: memFree=1860044/2055920 swapFree=4182988/4192956
[pid=26414] ppid=26412 vsize=17828 CPUtime=882.1
/proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 3956 0 0 0 88204 6 0 0 25 0 1 0 150121296 18255872 3830 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521833 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26414/statm: 4457 3830 309 324 0 3527 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 17828

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 26417
/proc/meminfo: memFree=1860044/2055920 swapFree=4182988/4192956
[pid=26414] ppid=26412 vsize=17752 CPUtime=942.08
/proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 3956 0 0 0 94202 6 0 0 25 0 1 0 150121296 18178048 3825 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4740449 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26414/statm: 4438 3825 309 324 0 3508 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 17752

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 26417
/proc/meminfo: memFree=1860044/2055920 swapFree=4182988/4192956
[pid=26414] ppid=26412 vsize=17752 CPUtime=1002.07
/proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 3956 0 0 0 100201 6 0 0 25 0 1 0 150121296 18178048 3825 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4743009 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26414/statm: 4438 3825 309 324 0 3508 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 17752

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 26417
/proc/meminfo: memFree=1859212/2055920 swapFree=4182988/4192956
[pid=26414] ppid=26412 vsize=18616 CPUtime=1062.05
/proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 4162 0 0 0 106199 6 0 0 25 0 1 0 150121296 19062784 4031 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26414/statm: 4654 4031 309 324 0 3724 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 18616

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 26417
/proc/meminfo: memFree=1859148/2055920 swapFree=4182988/4192956
[pid=26414] ppid=26412 vsize=18616 CPUtime=1122.05
/proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 4162 0 0 0 112198 7 0 0 25 0 1 0 150121296 19062784 4031 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4744061 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26414/statm: 4654 4031 309 324 0 3724 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 18616

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 26417
/proc/meminfo: memFree=1859148/2055920 swapFree=4182988/4192956
[pid=26414] ppid=26412 vsize=18616 CPUtime=1182.03
/proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 4162 0 0 0 118196 7 0 0 25 0 1 0 150121296 19062784 4031 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572885 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26414/statm: 4654 4031 309 324 0 3724 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 18616

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 26417
/proc/meminfo: memFree=1859148/2055920 swapFree=4182988/4192956
[pid=26414] ppid=26412 vsize=18616 CPUtime=1242.02
/proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 4162 0 0 0 124195 7 0 0 25 0 1 0 150121296 19062784 4031 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26414/statm: 4654 4031 309 324 0 3724 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 18616

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 26417
/proc/meminfo: memFree=1859148/2055920 swapFree=4182988/4192956
[pid=26414] ppid=26412 vsize=18616 CPUtime=1302.01
/proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 4162 0 0 0 130194 7 0 0 25 0 1 0 150121296 19062784 4031 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26414/statm: 4654 4031 309 324 0 3724 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 18616

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 26417
/proc/meminfo: memFree=1859148/2055920 swapFree=4182988/4192956
[pid=26414] ppid=26412 vsize=18616 CPUtime=1361.99
/proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 4162 0 0 0 136192 7 0 0 25 0 1 0 150121296 19062784 4031 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160051253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26414/statm: 4654 4031 309 324 0 3724 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 18616

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 26417
/proc/meminfo: memFree=1859084/2055920 swapFree=4182988/4192956
[pid=26414] ppid=26412 vsize=18616 CPUtime=1421.98
/proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 4162 0 0 0 142190 8 0 0 25 0 1 0 150121296 19062784 4031 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26414/statm: 4654 4031 309 324 0 3724 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 18616

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 26417
/proc/meminfo: memFree=1859084/2055920 swapFree=4182988/4192956
[pid=26414] ppid=26412 vsize=18616 CPUtime=1481.97
/proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 4162 0 0 0 148189 8 0 0 25 0 1 0 150121296 19062784 4031 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26414/statm: 4654 4031 309 324 0 3724 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 18616

[startup+1542.3 s]
/proc/loadavg: 1.05 0.99 0.94 2/65 26417
/proc/meminfo: memFree=1858956/2055920 swapFree=4182988/4192956
[pid=26414] ppid=26412 vsize=18704 CPUtime=1541.95
/proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 4188 0 0 0 154187 8 0 0 25 0 1 0 150121296 19152896 4057 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26414/statm: 4676 4057 309 324 0 3746 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 18704

[startup+1602.3 s]
/proc/loadavg: 1.13 1.02 0.95 2/65 26417
/proc/meminfo: memFree=1858956/2055920 swapFree=4182988/4192956
[pid=26414] ppid=26412 vsize=18704 CPUtime=1601.94
/proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 4188 0 0 0 160186 8 0 0 25 0 1 0 150121296 19152896 4057 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26414/statm: 4676 4057 309 324 0 3746 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 18704

[startup+1662.3 s]
/proc/loadavg: 1.05 1.01 0.95 2/65 26417
/proc/meminfo: memFree=1857932/2055920 swapFree=4182988/4192956
[pid=26414] ppid=26412 vsize=19768 CPUtime=1661.93
/proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 4444 0 0 0 166184 9 0 0 25 0 1 0 150121296 20242432 4313 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26414/statm: 4942 4313 309 324 0 4012 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 19768

[startup+1722.3 s]
/proc/loadavg: 1.02 1.01 0.95 2/65 26417
/proc/meminfo: memFree=1857868/2055920 swapFree=4182988/4192956
[pid=26414] ppid=26412 vsize=19824 CPUtime=1721.91
/proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 4464 0 0 0 172182 9 0 0 25 0 1 0 150121296 20299776 4333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26414/statm: 4956 4333 309 324 0 4026 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 19824

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 26417
/proc/meminfo: memFree=1857548/2055920 swapFree=4182988/4192956
[pid=26414] ppid=26412 vsize=20024 CPUtime=1781.9
/proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 4517 0 0 0 178181 9 0 0 25 0 1 0 150121296 20504576 4386 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4742900 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26414/statm: 5006 4386 309 324 0 4076 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 20024



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 26417
/proc/meminfo: memFree=1857548/2055920 swapFree=4182988/4192956
[pid=26414] ppid=26412 vsize=20024 CPUtime=1800.1
/proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 4517 0 0 0 180001 9 0 0 25 0 1 0 150121296 20504576 4386 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551018 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26414/statm: 5006 4386 309 324 0 4076 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 20024

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 26417
/proc/meminfo: memFree=1857548/2055920 swapFree=4182988/4192956
[pid=26414] ppid=26412 vsize=20024 CPUtime=1800.1
/proc/26414/stat : 26414 (bsolo3.0.17) R 26412 26414 24108 0 -1 4194304 4517 0 0 0 180001 9 0 0 25 0 1 0 150121296 20504576 4386 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551018 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26414/statm: 5006 4386 309 324 0 4076 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 20024

Child status: 15
Real time (s): 1800.51
CPU time (s): 1800.12
CPU user time (s): 1800.01
CPU system time (s): 0.100984
CPU usage (%): 99.978
Max. virtual memory (cumulated for all children) (KiB): 20024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.100984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4521
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= 2594

runsolver used 1.20482 second user time and 3.71943 second system time

The end

Launcher Data (download as text)

Begin job on node52 on Mon Apr 30 17:06:02 UTC 2007

IDJOB= 433003
IDBENCH= 2143
IDSOLVER= 199
FILE ID= node52/433003-1177952762

PBS_JOBID= 4727544

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
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.17 -m1800 /tmp/evaluation/433003-1177952762/instance-433003-1177952762.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node52/watcher-433003-1177952762 -o ROOT/results/node52/solver-433003-1177952762 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433003-1177952762/instance-433003-1177952762.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  7d3927082349ded13241d71256bbcafb

RANDOM SEED= 499935405

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1874852 kB
Buffers:         10184 kB
Cached:         105940 kB
SwapCached:       3828 kB
Active:          42824 kB
Inactive:        84192 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1874852 kB
SwapTotal:     4192956 kB
SwapFree:      4182988 kB
Dirty:            6952 kB
Writeback:           0 kB
Mapped:          16976 kB
Slab:            39976 kB
Committed_AS:  1953100 kB
PageTables:       1488 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= 66558 MiB

End job on node52 on Mon Apr 30 17:36:05 UTC 2007