Trace number 349034

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? (TO) 1800.3 1800.89

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-g250.29.opb
MD5SUMb0a7c1cc13cb603591c6d50e3dba1a47
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 variables14500
Total number of constraints461872
Number of constraints which are clauses461872
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 constraint29
Number of terms in the objective function 14500
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 14500
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 14500
Number of bits of the biggest sum of numbers14
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.02	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.02	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.02	c type "bsolo -h" for help
0.00/0.02	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.02	c Time Limit set to 1800
0.00/0.02	c Memory Limit set to 1800 MB
0.00/0.02	c Instance file /tmp/evaluation/349034-1176644055/instance-349034-1176644055.opb
0.00/0.02	c File size is 11967798 bytes.
2.08/2.15	c Highest Coefficient sum: 14500
2.08/2.15	c Parsing was ok!!
2.08/2.15	c Total parsing time: 2.131 s
2.27/2.32	c Var: 14500 Constr: 461872 461872/0/0 Lit: 930494 Watch. Lit: 923744
2.27/2.32	c Obj. Vars: 14500 (100 % of total variables)
18.17/18.26	c Pre-processing Time: 18.238 s
18.17/18.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.17/18.27	c        0  14500   461872   930494    2   923744  153957      0      0 18.24
18.17/18.27	c Switching off LPR mode.
1800.00/1800.60	c      103  14500   461975   946990    2   923950  169353    103      5 18.32
1800.00/1800.60	c      253  14500   462125   989055    2   924250  186289    253     13 18.48
1800.00/1800.60	c      478  14500   462350  1098432    2   924700  204918    478     25 18.90
1800.00/1800.60	c      820  14500   462692  1372187    2   925384  225410    820     41 19.75
1800.00/1800.60	c     1331  14500   463203  1791757    3   926406  247952   1331     63 21.01
1800.00/1800.60	c     2097  14500   463969  2421661    5   927938  272748   2097     90 23.29
1800.00/1800.60	c     3247  14500   465119  3397936    7   930238  300023   3247    122 26.56
1800.00/1800.60	c     4968  14500   466840  5192866   11   933680  330026   4968    151 32.81
1800.00/1800.60	c     7552  14500   469424  8170311   17   938848  363029   7552    171 43.95
1800.00/1800.60	c    11435  14500   473307 12145888   25   946614  399332  11435    182 62.81
1800.00/1800.60	c    17260  14500   479132 18422947   38   958264  439266  17260    175 98.34
1800.00/1800.60	c    25999  14500   487871 26657611   54   975742  483193  25999    162 160.21
1800.00/1800.60	c    39118  14500   500990 42944402   85  1001980  531513  39118    130 300.46
1800.00/1800.60	c    58788  14500   520660 65041911  124  1041320  584665  58788     94 622.90
1800.00/1800.60	c    88299  14500   550171 97639847  177  1100342  643132  88299     75 1167.60
1800.00/1800.60	c Caught signal: 15
1800.00/1800.60	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.00/1800.60	c   15   118218  34307   270422   580090 134839576 118218     65 1800.01
1800.00/1800.60	s UNKNOWN
1800.00/1800.60	c Total time: 1800.01 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/node43/watcher-349034-1176644055 -o ROOT/results/node43/solver-349034-1176644055 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349034-1176644055/instance-349034-1176644055.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.99 0.98 0.99 3/64 2913
/proc/meminfo: memFree=1812080/2055920 swapFree=4191892/4192956
[pid=2913] ppid=2911 vsize=3780 CPUtime=0
/proc/2913/stat : 2913 (bsolo3.0.16) D 2911 2913 2236 0 -1 4194304 215 0 3 0 0 0 0 0 18 0 1 0 112317329 3870720 186 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4862640 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/2913/statm: 945 186 159 324 0 14 0

[startup+0.0728449 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 2913
/proc/meminfo: memFree=1812080/2055920 swapFree=4191892/4192956
[pid=2913] ppid=2911 vsize=17360 CPUtime=0.04
/proc/2913/stat : 2913 (bsolo3.0.16) R 2911 2913 2236 0 -1 4194304 855 0 5 0 4 0 0 0 18 0 1 0 112317329 17776640 828 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 4340 828 345 324 0 487 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17360

[startup+0.101846 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 2913
/proc/meminfo: memFree=1812080/2055920 swapFree=4191892/4192956
[pid=2913] ppid=2911 vsize=18044 CPUtime=0.07
/proc/2913/stat : 2913 (bsolo3.0.16) R 2911 2913 2236 0 -1 4194304 1061 0 5 0 7 0 0 0 18 0 1 0 112317329 18477056 1034 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 4511 1034 385 324 0 658 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 18044

[startup+0.301863 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 2913
/proc/meminfo: memFree=1812080/2055920 swapFree=4191892/4192956
[pid=2913] ppid=2911 vsize=22444 CPUtime=0.27
/proc/2913/stat : 2913 (bsolo3.0.16) R 2911 2913 2236 0 -1 4194304 2455 0 5 0 26 1 0 0 19 0 1 0 112317329 22982656 2428 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 5611 2428 658 324 0 1758 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 22444

[startup+0.701898 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 2913
/proc/meminfo: memFree=1812080/2055920 swapFree=4191892/4192956
[pid=2913] ppid=2911 vsize=31240 CPUtime=0.67
/proc/2913/stat : 2913 (bsolo3.0.16) R 2911 2913 2236 0 -1 4194304 5189 0 5 0 65 2 0 0 22 0 1 0 112317329 31989760 5162 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 7810 5162 1211 324 0 3957 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 31240

[startup+1.50197 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 2914
/proc/meminfo: memFree=1789032/2055920 swapFree=4191892/4192956
[pid=2913] ppid=2911 vsize=48156 CPUtime=1.47
/proc/2913/stat : 2913 (bsolo3.0.16) R 2911 2913 2236 0 -1 4194304 10518 0 5 0 143 4 0 0 25 0 1 0 112317329 49311744 10491 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 12039 10491 2295 324 0 8186 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 48156

[startup+3.10111 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 2914
/proc/meminfo: memFree=1765480/2055920 swapFree=4191892/4192956
[pid=2913] ppid=2911 vsize=73096 CPUtime=3.07
/proc/2913/stat : 2913 (bsolo3.0.16) R 2911 2913 2236 0 -1 4194304 20551 0 5 0 298 9 0 0 25 0 1 0 112317329 74850304 17602 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 18274 17602 304 324 0 17343 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 73096

[startup+6.30139 s]
/proc/loadavg: 1.07 1.00 1.00 3/65 2914
/proc/meminfo: memFree=1726440/2055920 swapFree=4191892/4192956
[pid=2913] ppid=2911 vsize=88260 CPUtime=6.27
/proc/2913/stat : 2913 (bsolo3.0.16) R 2911 2913 2236 0 -1 4194304 24356 0 5 0 613 14 0 0 25 0 1 0 112317329 90378240 21407 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 22065 21407 306 324 0 21134 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 88260

[startup+12.7019 s]
/proc/loadavg: 1.07 1.00 1.00 2/65 2914
/proc/meminfo: memFree=1726576/2055920 swapFree=4191892/4192956
[pid=2913] ppid=2911 vsize=88260 CPUtime=12.67
/proc/2913/stat : 2913 (bsolo3.0.16) R 2911 2913 2236 0 -1 4194304 24356 0 5 0 1238 29 0 0 25 0 1 0 112317329 90378240 21407 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 22065 21407 306 324 0 21134 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 88260

[startup+25.5011 s]
/proc/loadavg: 1.05 1.00 1.00 2/65 2914
/proc/meminfo: memFree=1715632/2055920 swapFree=4191892/4192956
[pid=2913] ppid=2911 vsize=100584 CPUtime=25.47
/proc/2913/stat : 2913 (bsolo3.0.16) R 2911 2913 2236 0 -1 4194304 31275 0 5 0 2501 46 0 0 25 0 1 0 112317329 102998016 24497 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551295 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 25146 24497 310 324 0 24215 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 100584

[startup+51.1013 s]
/proc/loadavg: 1.03 1.00 1.00 2/65 2914
/proc/meminfo: memFree=1629296/2055920 swapFree=4191892/4192956
[pid=2913] ppid=2911 vsize=187376 CPUtime=51.06
/proc/2913/stat : 2913 (bsolo3.0.16) R 2911 2913 2236 0 -1 4194304 52969 0 5 0 5049 57 0 0 25 0 1 0 112317329 191873024 46191 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551000 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 46844 46191 310 324 0 45913 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 187376

[startup+102.306 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 2914
/proc/meminfo: memFree=1509168/2055920 swapFree=4191892/4192956
[pid=2913] ppid=2911 vsize=305708 CPUtime=102.25
/proc/2913/stat : 2913 (bsolo3.0.16) R 2911 2913 2236 0 -1 4194304 82560 0 5 0 10151 74 0 0 25 0 1 0 112317329 313044992 75782 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 76427 75782 310 324 0 75496 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 305708

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2914
/proc/meminfo: memFree=1409584/2055920 swapFree=4191892/4192956
[pid=2913] ppid=2911 vsize=406208 CPUtime=162.23
/proc/2913/stat : 2913 (bsolo3.0.16) R 2911 2913 2236 0 -1 4194304 107672 0 5 0 16136 87 0 0 25 0 1 0 112317329 415956992 100894 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 101552 100894 310 324 0 100621 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 406208

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2916
/proc/meminfo: memFree=1300080/2055920 swapFree=4191892/4192956
[pid=2913] ppid=2911 vsize=514228 CPUtime=222.21
/proc/2913/stat : 2913 (bsolo3.0.16) R 2911 2913 2236 0 -1 4194304 134687 0 5 0 22120 101 0 0 25 0 1 0 112317329 526569472 127909 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551507 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 128557 127909 310 324 0 127626 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 514228

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2916
/proc/meminfo: memFree=1223728/2055920 swapFree=4191892/4192956
[pid=2913] ppid=2911 vsize=591084 CPUtime=282.2
/proc/2913/stat : 2913 (bsolo3.0.16) R 2911 2913 2236 0 -1 4194304 153909 0 5 0 28109 111 0 0 25 0 1 0 112317329 605270016 147131 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 147771 147131 310 324 0 146840 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 591084

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2916
/proc/meminfo: memFree=1156720/2055920 swapFree=4191892/4192956
[pid=2913] ppid=2911 vsize=657312 CPUtime=342.18
/proc/2913/stat : 2913 (bsolo3.0.16) R 2911 2913 2236 0 -1 4194304 170464 0 5 0 34097 121 0 0 25 0 1 0 112317329 673087488 163686 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551231 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 164328 163686 310 324 0 163397 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 657312

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2916
/proc/meminfo: memFree=1099504/2055920 swapFree=4191892/4192956
[pid=2913] ppid=2911 vsize=715000 CPUtime=402.16
/proc/2913/stat : 2913 (bsolo3.0.16) R 2911 2913 2236 0 -1 4194304 184872 0 5 0 40088 128 0 0 25 0 1 0 112317329 732160000 178094 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5164788 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 178750 178094 310 324 0 177819 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 715000

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2916
/proc/meminfo: memFree=1050032/2055920 swapFree=4191892/4192956
[pid=2913] ppid=2911 vsize=763748 CPUtime=462.15
/proc/2913/stat : 2913 (bsolo3.0.16) R 2911 2913 2236 0 -1 4194304 197083 0 5 0 46079 136 0 0 25 0 1 0 112317329 782077952 190305 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 190937 190305 310 324 0 190006 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 763748

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2916
/proc/meminfo: memFree=1006256/2055920 swapFree=4191892/4192956
[pid=2913] ppid=2911 vsize=808044 CPUtime=522.13
/proc/2913/stat : 2913 (bsolo3.0.16) R 2911 2913 2236 0 -1 4194304 208130 0 5 0 52070 143 0 0 25 0 1 0 112317329 827437056 201352 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 202011 201352 310 324 0 201080 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 808044

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2916
/proc/meminfo: memFree=950576/2055920 swapFree=4191892/4192956
[pid=2913] ppid=2911 vsize=862992 CPUtime=582.12
/proc/2913/stat : 2913 (bsolo3.0.16) R 2911 2913 2236 0 -1 4194304 221895 0 5 0 58062 150 0 0 25 0 1 0 112317329 883703808 215117 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 215748 215117 310 324 0 214817 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 862992

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2916
/proc/meminfo: memFree=896112/2055920 swapFree=4191892/4192956
[pid=2913] ppid=2911 vsize=917108 CPUtime=642.11
/proc/2913/stat : 2913 (bsolo3.0.16) R 2911 2913 2236 0 -1 4194304 235415 0 5 0 64053 158 0 0 25 0 1 0 112317329 939118592 228637 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 229277 228637 310 324 0 228346 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 917108


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2916
/proc/meminfo: memFree=667952/2055920 swapFree=4191892/4192956
[pid=2913] ppid=2911 vsize=1145040 CPUtime=882.04
/proc/2913/stat : 2913 (bsolo3.0.16) R 2911 2913 2236 0 -1 4194304 292385 0 5 0 88016 188 0 0 25 0 1 0 112317329 1172520960 285607 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 286260 285607 310 324 0 285329 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 1145040

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2916
/proc/meminfo: memFree=627248/2055920 swapFree=4191892/4192956
[pid=2913] ppid=2911 vsize=1185664 CPUtime=942.02
/proc/2913/stat : 2913 (bsolo3.0.16) R 2911 2913 2236 0 -1 4194304 302562 0 5 0 94008 194 0 0 25 0 1 0 112317329 1214119936 295784 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 296416 295784 310 324 0 295485 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 1185664

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2916
/proc/meminfo: memFree=591664/2055920 swapFree=4191892/4192956
[pid=2913] ppid=2911 vsize=1221296 CPUtime=1002.01
/proc/2913/stat : 2913 (bsolo3.0.16) R 2911 2913 2236 0 -1 4194304 311449 0 5 0 100001 200 0 0 25 0 1 0 112317329 1250607104 304671 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 305324 304671 310 324 0 304393 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 1221296

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2916
/proc/meminfo: memFree=553904/2055920 swapFree=4191892/4192956
[pid=2913] ppid=2911 vsize=1259256 CPUtime=1061.99
/proc/2913/stat : 2913 (bsolo3.0.16) R 2911 2913 2236 0 -1 4194304 320943 0 5 0 105994 205 0 0 25 0 1 0 112317329 1289478144 314165 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551724 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 314814 314165 310 324 0 313883 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 1259256

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2916
/proc/meminfo: memFree=523696/2055920 swapFree=4191892/4192956
[pid=2913] ppid=2911 vsize=1289016 CPUtime=1121.98
/proc/2913/stat : 2913 (bsolo3.0.16) R 2911 2913 2236 0 -1 4194304 328400 0 5 0 111989 209 0 0 25 0 1 0 112317329 1319952384 321622 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 322254 321622 310 324 0 321323 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 1289016

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2916
/proc/meminfo: memFree=488432/2055920 swapFree=4191892/4192956
[pid=2913] ppid=2911 vsize=1324612 CPUtime=1181.96
/proc/2913/stat : 2913 (bsolo3.0.16) R 2911 2913 2236 0 -1 4194304 337301 0 5 0 117982 214 0 0 25 0 1 0 112317329 1356402688 330523 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551685 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 331153 330523 310 324 0 330222 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 1324612

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2916
/proc/meminfo: memFree=434160/2055920 swapFree=4191892/4192956
[pid=2913] ppid=2911 vsize=1378484 CPUtime=1241.94
/proc/2913/stat : 2913 (bsolo3.0.16) R 2911 2913 2236 0 -1 4194304 350759 0 5 0 123973 221 0 0 25 0 1 0 112317329 1411567616 343981 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551263 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 344621 343981 310 324 0 343690 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 1378484

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2916
/proc/meminfo: memFree=389808/2055920 swapFree=4191892/4192956
[pid=2913] ppid=2911 vsize=1422288 CPUtime=1301.93
/proc/2913/stat : 2913 (bsolo3.0.16) R 2911 2913 2236 0 -1 4194304 361716 0 5 0 129965 228 0 0 25 0 1 0 112317329 1456422912 354938 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 355572 354938 310 324 0 354641 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1422288

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2916
/proc/meminfo: memFree=349680/2055920 swapFree=4191892/4192956
[pid=2913] ppid=2911 vsize=1462816 CPUtime=1361.91
/proc/2913/stat : 2913 (bsolo3.0.16) R 2911 2913 2236 0 -1 4194304 371827 0 5 0 135957 234 0 0 25 0 1 0 112317329 1497923584 365049 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546135 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 365704 365049 310 324 0 364773 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1462816

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2916
/proc/meminfo: memFree=310512/2055920 swapFree=4191892/4192956
[pid=2913] ppid=2911 vsize=1501548 CPUtime=1421.9
/proc/2913/stat : 2913 (bsolo3.0.16) R 2911 2913 2236 0 -1 4194304 381522 0 5 0 141950 240 0 0 25 0 1 0 112317329 1537585152 374744 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 375387 374744 310 324 0 374456 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1501548

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2916
/proc/meminfo: memFree=277680/2055920 swapFree=4191892/4192956
[pid=2913] ppid=2911 vsize=1534572 CPUtime=1481.88
/proc/2913/stat : 2913 (bsolo3.0.16) R 2911 2913 2236 0 -1 4194304 389762 0 5 0 147942 246 0 0 25 0 1 0 112317329 1571401728 382984 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 383643 382984 310 324 0 382712 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1534572

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2916
/proc/meminfo: memFree=240880/2055920 swapFree=4191892/4192956
[pid=2913] ppid=2911 vsize=1571088 CPUtime=1541.87
/proc/2913/stat : 2913 (bsolo3.0.16) R 2911 2913 2236 0 -1 4194304 398909 0 5 0 153936 251 0 0 25 0 1 0 112317329 1608794112 392131 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 392772 392131 310 324 0 391841 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1571088

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2916
/proc/meminfo: memFree=193456/2055920 swapFree=4191892/4192956
[pid=2913] ppid=2911 vsize=1618876 CPUtime=1601.85
/proc/2913/stat : 2913 (bsolo3.0.16) R 2911 2913 2236 0 -1 4194304 410844 0 5 0 159929 256 0 0 25 0 1 0 112317329 1657729024 404066 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 404719 404066 310 324 0 403788 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1618876

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 3094
/proc/meminfo: memFree=141928/2055920 swapFree=4191892/4192956
[pid=2913] ppid=2911 vsize=1668460 CPUtime=1661.74
/proc/2913/stat : 2913 (bsolo3.0.16) R 2911 2913 2236 0 -1 4194304 423241 0 5 0 165911 263 0 0 25 0 1 0 112317329 1708503040 416463 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 417115 416463 310 324 0 416184 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 1668460

[startup+1722.3 s]
/proc/loadavg: 1.11 1.03 1.01 2/65 3114
/proc/meminfo: memFree=89584/2055920 swapFree=4191892/4192956
[pid=2913] ppid=2911 vsize=1722392 CPUtime=1721.72
/proc/2913/stat : 2913 (bsolo3.0.16) R 2911 2913 2236 0 -1 4194304 436740 0 5 0 171901 271 0 0 25 0 1 0 112317329 1763729408 429962 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 430598 429962 310 324 0 429667 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 1722392

[startup+1782.3 s]
/proc/loadavg: 1.15 1.05 1.01 2/65 3114
/proc/meminfo: memFree=38384/2055920 swapFree=4191892/4192956
[pid=2913] ppid=2911 vsize=1772796 CPUtime=1781.7
/proc/2913/stat : 2913 (bsolo3.0.16) R 2911 2913 2236 0 -1 4194304 449346 0 5 0 177892 278 0 0 25 0 1 0 112317329 1815343104 442568 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 443199 442568 310 324 0 442268 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 1772796



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.11 1.05 1.01 2/65 3114
/proc/meminfo: memFree=23920/2055920 swapFree=4191892/4192956
[pid=2913] ppid=2911 vsize=1787212 CPUtime=1800
/proc/2913/stat : 2913 (bsolo3.0.16) R 2911 2913 2236 0 -1 4194304 452929 0 5 0 179720 280 0 0 25 0 1 0 112317329 1830105088 446151 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 446803 446151 310 324 0 445872 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1787212

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

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

[startup+1800.8 s]
/proc/loadavg: 1.11 1.05 1.01 2/65 3114
/proc/meminfo: memFree=23920/2055920 swapFree=4191892/4192956
[pid=2913] ppid=2911 vsize=0 CPUtime=1800.19
/proc/2913/stat : 2913 (bsolo3.0.16) R 2911 2913 2236 0 -1 4194308 452930 0 5 0 179720 299 0 0 25 0 1 0 112317329 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.89
CPU time (s): 1800.3
CPU user time (s): 1797.21
CPU system time (s): 3.08653
CPU usage (%): 99.9669
Max. virtual memory (cumulated for all children) (KiB): 1787212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.21
system time used= 3.08653
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 452930
page faults= 5
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18
involuntary context switches= 2052

runsolver used 1.3348 second user time and 3.65444 second system time

The end

Launcher Data (download as text)

Begin job on node43 on Sun Apr 15 13:34:15 UTC 2007

IDJOB= 349034
IDBENCH= 2058
IDSOLVER= 163
FILE ID= node43/349034-1176644055

PBS_JOBID= 4559840

Free space on /tmp= 66548 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-g250.29.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349034-1176644055/instance-349034-1176644055.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node43/watcher-349034-1176644055 -o ROOT/results/node43/solver-349034-1176644055 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349034-1176644055/instance-349034-1176644055.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  b0a7c1cc13cb603591c6d50e3dba1a47

RANDOM SEED= 663137194

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1812488 kB
Buffers:         15604 kB
Cached:         141480 kB
SwapCached:        268 kB
Active:          54088 kB
Inactive:       117896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1812488 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:           16076 kB
Writeback:           0 kB
Mapped:          23856 kB
Slab:            57484 kB
Committed_AS:   192048 kB
PageTables:       1392 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= 66548 MiB

End job on node43 on Sun Apr 15 14:04:18 UTC 2007