Trace number 433444

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.06 1800.55

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_20.opb
MD5SUM6a25ee38adc43f783b18badd1224270c
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 variables13480
Total number of constraints26619
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints26619
Minimum length of a constraint18
Maximum length of a constraint37
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 512
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2843
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/433444-1177959899/instance-433444-1177959899.opb
0.00/0.00	c File size is 7804237 bytes.
1.29/1.37	c Highest Coefficient sum: 2843
1.29/1.37	c Parsing was ok!!
1.29/1.37	c Total parsing time: 1.362 s
1.38/1.40	c Var: 13480 Constr: 26619 0/0/26619 Lit: 916142 Watch. Lit: 130416
1.38/1.40	c Obj. Vars: 9 (0.0667656 % of total variables)
7.69/7.71	c Pre-processing Time: 7.705 s
7.69/7.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.69/7.72	c        0  13480    26619   916142   34   228629  500000      0      0 7.71
7.69/7.72	c Switching off LPR mode.
1800.01/1800.50	c      100  13480    26719   920750   34   559462  550001    100      9 10.54
1800.01/1800.50	c      250  13480    26869   929402   34   518545  605002    250     19 12.66
1800.01/1800.50	c      476  13480    27095   938114   34   454943  665503    476     32 14.72
1800.01/1800.50	c      814  13480    27433   956655   34   455056  732054    814     48 16.87
1800.01/1800.50	c     1323  13480    27942   983687   35   432882  805260   1323     67 19.51
1800.01/1800.50	c     2086  13480    28705  1022870   35   535982  885787   2086     92 22.67
1800.01/1800.50	c     3233  13480    29852  1077823   36   500115  974366   3233    106 30.23
1800.01/1800.50	c     4954  13480    31573  1181650   37   468246  500000   4954    129 38.40
1800.01/1800.50	c     7538  13480    34157  1293114   37   443917  550001   7538    176 42.79
1800.01/1800.50	c    11419  13480    38038  1579151   41   521536  605002  11419    144 78.96
1800.01/1800.50	c    17241  13480    43860  1883842   42   533050  665503  17241    150 114.47
1800.01/1800.50	c    25978  13480    52597  2649302   50   557757  732054  25978    131 196.92
1800.01/1800.50	c    39091  13480    65710  3294678   50   511214  805260  39091    150 259.08
1800.01/1800.50	c    58761  13480    85380  4985841   58   626018  885787  58761    121 484.88
1800.01/1800.50	c    88272  13480   114891  6436577   56   610065  974366  88272    151 583.37
1800.01/1800.50	c   132543  13480   159162 10532523   66   775649  500000 132543    122 1083.27
1800.01/1800.50	c Caught signal: 15
1800.01/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.01/1800.50	c   16   197324  26669   252711   223943 15483514 197324    109 1800.02
1800.01/1800.50	s UNKNOWN
1800.01/1800.50	c Total time: 1800.02 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/node21/watcher-433444-1177959899 -o ROOT/results/node21/solver-433444-1177959899 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433444-1177959899/instance-433444-1177959899.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: 1.00 0.99 0.91 3/77 15117
/proc/meminfo: memFree=1820152/2055920 swapFree=4156288/4192956
[pid=15117] ppid=15115 vsize=27172 CPUtime=0
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 361 0 0 0 0 0 0 0 18 0 1 0 243907218 27824128 331 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8873595 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15117/statm: 6793 331 279 324 0 3957 0

[startup+0.0379389 s]
/proc/loadavg: 1.00 0.99 0.91 3/77 15117
/proc/meminfo: memFree=1820152/2055920 swapFree=4156288/4192956
[pid=15117] ppid=15115 vsize=11936 CPUtime=0.03
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 495 0 0 0 3 0 0 0 18 0 1 0 243907218 12222464 465 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15117/statm: 2984 465 328 324 0 148 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11936

[startup+0.101946 s]
/proc/loadavg: 1.00 0.99 0.91 3/77 15117
/proc/meminfo: memFree=1820152/2055920 swapFree=4156288/4192956
[pid=15117] ppid=15115 vsize=12588 CPUtime=0.09
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 752 0 0 0 9 0 0 0 18 0 1 0 243907218 12890112 722 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8873595 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15117/statm: 3147 722 419 324 0 311 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12588

[startup+0.301966 s]
/proc/loadavg: 1.00 0.99 0.91 3/77 15117
/proc/meminfo: memFree=1820152/2055920 swapFree=4156288/4192956
[pid=15117] ppid=15115 vsize=14676 CPUtime=0.29
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 1546 0 0 0 29 0 0 0 19 0 1 0 243907218 15028224 1516 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8873595 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15117/statm: 3669 1516 699 324 0 833 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14676

[startup+0.70201 s]
/proc/loadavg: 1.00 0.99 0.91 3/77 15117
/proc/meminfo: memFree=1820152/2055920 swapFree=4156288/4192956
[pid=15117] ppid=15115 vsize=18720 CPUtime=0.69
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 3127 0 0 0 69 0 0 0 23 0 1 0 243907218 19169280 3097 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8873595 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15117/statm: 4680 3097 1249 324 0 1844 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18720

[startup+1.50111 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 15118
/proc/meminfo: memFree=1809584/2055920 swapFree=4156288/4192956
[pid=15117] ppid=15115 vsize=23836 CPUtime=1.48
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 7199 0 0 0 147 1 0 0 25 0 1 0 243907218 24408064 5263 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15117/statm: 5959 5263 302 324 0 5029 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 23836

[startup+3.10127 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 15118
/proc/meminfo: memFree=1784304/2055920 swapFree=4156288/4192956
[pid=15117] ppid=15115 vsize=39424 CPUtime=3.08
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 11125 0 0 0 305 3 0 0 25 0 1 0 243907218 40370176 9189 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134545339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15117/statm: 9856 9189 304 324 0 8926 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 39424

[startup+6.30162 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 15118
/proc/meminfo: memFree=1784304/2055920 swapFree=4156288/4192956
[pid=15117] ppid=15115 vsize=39424 CPUtime=6.28
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 11125 0 0 0 623 5 0 0 25 0 1 0 243907218 40370176 9189 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134545339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15117/statm: 9856 9189 304 324 0 8926 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 39424

[startup+12.7013 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 15118
/proc/meminfo: memFree=1789552/2055920 swapFree=4156288/4192956
[pid=15117] ppid=15115 vsize=34392 CPUtime=12.68
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 13509 0 0 0 1260 8 0 0 25 0 1 0 243907218 35217408 7929 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15117/statm: 8598 7929 309 324 0 7668 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 34392

[startup+25.5017 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 15118
/proc/meminfo: memFree=1789360/2055920 swapFree=4156288/4192956
[pid=15117] ppid=15115 vsize=34532 CPUtime=25.47
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 13559 0 0 0 2539 8 0 0 25 0 1 0 243907218 35360768 7979 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15117/statm: 8633 7979 309 324 0 7703 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 34532

[startup+51.1015 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 15118
/proc/meminfo: memFree=1784624/2055920 swapFree=4156288/4192956
[pid=15117] ppid=15115 vsize=39364 CPUtime=51.07
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 14771 0 0 0 5097 10 0 0 25 0 1 0 243907218 40308736 9191 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15117/statm: 9841 9191 309 324 0 8911 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 39364

[startup+102.305 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 15118
/proc/meminfo: memFree=1778864/2055920 swapFree=4156288/4192956
[pid=15117] ppid=15115 vsize=45200 CPUtime=102.25
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 16220 0 0 0 10214 11 0 0 25 0 1 0 243907218 46284800 10640 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15117/statm: 11300 10640 309 324 0 10370 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 45200

[startup+162.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 15118
/proc/meminfo: memFree=1771312/2055920 swapFree=4156288/4192956
[pid=15117] ppid=15115 vsize=52736 CPUtime=162.23
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 18115 0 0 0 16210 13 0 0 25 0 1 0 243907218 54001664 12535 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15117/statm: 13184 12535 309 324 0 12254 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 52736

[startup+222.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 15118
/proc/meminfo: memFree=1763952/2055920 swapFree=4156288/4192956
[pid=15117] ppid=15115 vsize=60004 CPUtime=222.21
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 19913 0 0 0 22206 15 0 0 25 0 1 0 243907218 61444096 14333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15117/statm: 15001 14333 309 324 0 14071 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 60004

[startup+282.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 15118
/proc/meminfo: memFree=1754096/2055920 swapFree=4156288/4192956
[pid=15117] ppid=15115 vsize=69920 CPUtime=282.21
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 22390 0 0 0 28202 19 0 0 25 0 1 0 243907218 71598080 16810 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15117/statm: 17480 16810 309 324 0 16550 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 69920

[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 15118
/proc/meminfo: memFree=1745776/2055920 swapFree=4156288/4192956
[pid=15117] ppid=15115 vsize=77992 CPUtime=342.18
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 24432 0 0 0 34197 21 0 0 25 0 1 0 243907218 79863808 18852 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15117/statm: 19498 18852 309 324 0 18568 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 77992

[startup+402.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 15118
/proc/meminfo: memFree=1739248/2055920 swapFree=4156288/4192956
[pid=15117] ppid=15115 vsize=84596 CPUtime=402.17
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 26069 0 0 0 40194 23 0 0 25 0 1 0 243907218 86626304 20489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8867909 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15117/statm: 21149 20489 309 324 0 20219 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 84596

[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 15118
/proc/meminfo: memFree=1734256/2055920 swapFree=4156288/4192956
[pid=15117] ppid=15115 vsize=89524 CPUtime=462.15
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 27304 0 0 0 46191 24 0 0 25 0 1 0 243907218 91672576 21724 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551189 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15117/statm: 22381 21724 309 324 0 21451 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 89524

[startup+522.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 15118
/proc/meminfo: memFree=1724592/2055920 swapFree=4156288/4192956
[pid=15117] ppid=15115 vsize=99288 CPUtime=522.14
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 29760 0 0 0 52187 27 0 0 25 0 1 0 243907218 101670912 24180 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15117/statm: 24822 24180 309 324 0 23892 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 99288

[startup+582.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 15118
/proc/meminfo: memFree=1713776/2055920 swapFree=4156288/4192956
[pid=15117] ppid=15115 vsize=109972 CPUtime=582.12
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 32417 0 0 0 58182 30 0 0 25 0 1 0 243907218 112611328 26837 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15117/statm: 27493 26837 309 324 0 26563 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 109972

[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 15118
/proc/meminfo: memFree=1702576/2055920 swapFree=4156288/4192956
[pid=15117] ppid=15115 vsize=121044 CPUtime=642.11
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 35185 0 0 0 64178 33 0 0 25 0 1 0 243907218 123949056 29605 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15117/statm: 30261 29605 309 324 0 29331 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 121044


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

[startup+882.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 15118
/proc/meminfo: memFree=1671856/2055920 swapFree=4156288/4192956
[pid=15117] ppid=15115 vsize=151664 CPUtime=882.05
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 42851 0 0 0 88161 44 0 0 25 0 1 0 243907218 155303936 37271 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15117/statm: 37916 37271 309 324 0 36986 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 151664

[startup+942.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 15118
/proc/meminfo: memFree=1664560/2055920 swapFree=4156288/4192956
[pid=15117] ppid=15115 vsize=158940 CPUtime=942.03
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 44665 0 0 0 94157 46 0 0 25 0 1 0 243907218 162754560 39085 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15117/statm: 39735 39085 309 324 0 38805 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 158940

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 15118
/proc/meminfo: memFree=1659568/2055920 swapFree=4156288/4192956
[pid=15117] ppid=15115 vsize=163868 CPUtime=1002.01
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 45891 0 0 0 100153 48 0 0 25 0 1 0 243907218 167800832 40311 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15117/statm: 40967 40311 309 324 0 40037 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 163868

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 15118
/proc/meminfo: memFree=1654896/2055920 swapFree=4156288/4192956
[pid=15117] ppid=15115 vsize=168548 CPUtime=1062
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 47056 0 0 0 106150 50 0 0 25 0 1 0 243907218 172593152 41476 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527352 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15117/statm: 42137 41476 309 324 0 41207 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 168548

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 15118
/proc/meminfo: memFree=1649072/2055920 swapFree=4156288/4192956
[pid=15117] ppid=15115 vsize=174376 CPUtime=1121.99
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 48518 0 0 0 112147 52 0 0 25 0 1 0 243907218 178561024 42938 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15117/statm: 43594 42938 309 324 0 42664 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 174376

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 15118
/proc/meminfo: memFree=1642992/2055920 swapFree=4156288/4192956
[pid=15117] ppid=15115 vsize=180496 CPUtime=1181.97
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 50043 0 0 0 118143 54 0 0 25 0 1 0 243907218 184827904 44463 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15117/statm: 45124 44463 309 324 0 44194 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 180496

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 15118
/proc/meminfo: memFree=1637680/2055920 swapFree=4156288/4192956
[pid=15117] ppid=15115 vsize=185708 CPUtime=1241.95
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 51338 0 0 0 124139 56 0 0 25 0 1 0 243907218 190164992 45758 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15117/statm: 46427 45758 309 324 0 45497 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 185708

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 15118
/proc/meminfo: memFree=1633200/2055920 swapFree=4156288/4192956
[pid=15117] ppid=15115 vsize=190136 CPUtime=1301.94
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 52444 0 0 0 130137 57 0 0 25 0 1 0 243907218 194699264 46864 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15117/statm: 47534 46864 309 324 0 46604 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 190136

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 15118
/proc/meminfo: memFree=1626352/2055920 swapFree=4156288/4192956
[pid=15117] ppid=15115 vsize=197044 CPUtime=1361.91
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 54184 0 0 0 136133 58 0 0 25 0 1 0 243907218 201773056 48604 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15117/statm: 49261 48604 309 324 0 48331 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 197044

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 15118
/proc/meminfo: memFree=1619760/2055920 swapFree=4156288/4192956
[pid=15117] ppid=15115 vsize=203540 CPUtime=1421.91
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 55821 0 0 0 142130 61 0 0 25 0 1 0 243907218 208424960 50241 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15117/statm: 50885 50241 309 324 0 49955 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 203540

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 15118
/proc/meminfo: memFree=1614192/2055920 swapFree=4156288/4192956
[pid=15117] ppid=15115 vsize=209116 CPUtime=1481.89
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 57204 0 0 0 148126 63 0 0 25 0 1 0 243907218 214134784 51624 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15117/statm: 52279 51624 309 324 0 51349 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 209116

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 15118
/proc/meminfo: memFree=1607792/2055920 swapFree=4156288/4192956
[pid=15117] ppid=15115 vsize=215496 CPUtime=1541.87
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 58788 0 0 0 154122 65 0 0 25 0 1 0 243907218 220667904 53208 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15117/statm: 53874 53208 309 324 0 52944 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 215496

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 15118
/proc/meminfo: memFree=1601520/2055920 swapFree=4156288/4192956
[pid=15117] ppid=15115 vsize=221716 CPUtime=1601.85
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 60358 0 0 0 160118 67 0 0 25 0 1 0 243907218 227037184 54778 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15117/statm: 55429 54778 309 324 0 54499 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 221716

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 15118
/proc/meminfo: memFree=1595248/2055920 swapFree=4156288/4192956
[pid=15117] ppid=15115 vsize=227952 CPUtime=1661.84
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 61915 0 0 0 166115 69 0 0 25 0 1 0 243907218 233422848 56335 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550516 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15117/statm: 56988 56335 309 324 0 56058 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 227952

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 15118
/proc/meminfo: memFree=1589488/2055920 swapFree=4156288/4192956
[pid=15117] ppid=15115 vsize=233796 CPUtime=1721.82
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 63363 0 0 0 172111 71 0 0 25 0 1 0 243907218 239407104 57783 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551359 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15117/statm: 58449 57783 309 324 0 57519 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 233796

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 15118
/proc/meminfo: memFree=1584304/2055920 swapFree=4156288/4192956
[pid=15117] ppid=15115 vsize=238892 CPUtime=1781.81
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 64629 0 0 0 178108 73 0 0 25 0 1 0 243907218 244625408 59049 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15117/statm: 59723 59049 309 324 0 58793 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 238892



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 15118
/proc/meminfo: memFree=1582960/2055920 swapFree=4156288/4192956
[pid=15117] ppid=15115 vsize=240060 CPUtime=1800.01
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 64951 0 0 0 179928 73 0 0 25 0 1 0 243907218 245821440 59371 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15117/statm: 60015 59371 309 324 0 59085 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 240060

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 0.99 0.91 2/78 15118
/proc/meminfo: memFree=1582960/2055920 swapFree=4156288/4192956
[pid=15117] ppid=15115 vsize=240060 CPUtime=1800.01
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 14462 0 -1 4194304 64951 0 0 0 179928 73 0 0 25 0 1 0 243907218 245821440 59371 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15117/statm: 60015 59371 309 324 0 59085 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 240060

Child status: 15
Real time (s): 1800.55
CPU time (s): 1800.06
CPU user time (s): 1799.28
CPU system time (s): 0.773882
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (KiB): 240060

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

runsolver used 1.40878 second user time and 3.99039 second system time

The end

Launcher Data (download as text)

Begin job on node21 on Mon Apr 30 19:04:59 UTC 2007

IDJOB= 433444
IDBENCH= 2639
IDSOLVER= 199
FILE ID= node21/433444-1177959899

PBS_JOBID= 4727728

Free space on /tmp= 66551 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_20.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433444-1177959899/instance-433444-1177959899.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node21/watcher-433444-1177959899 -o ROOT/results/node21/solver-433444-1177959899 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433444-1177959899/instance-433444-1177959899.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  6a25ee38adc43f783b18badd1224270c

RANDOM SEED= 829882342

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node21.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.232
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.232
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:       1820560 kB
Buffers:         26396 kB
Cached:         119856 kB
SwapCached:      15044 kB
Active:          73288 kB
Inactive:        95864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1820560 kB
SwapTotal:     4192956 kB
SwapFree:      4156288 kB
Dirty:           14332 kB
Writeback:           0 kB
Mapped:          29820 kB
Slab:            51688 kB
Committed_AS:  1993692 kB
PageTables:       1784 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= 66551 MiB

End job on node21 on Mon Apr 30 19:35:02 UTC 2007