Trace number 452978

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.03 1800.61

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=211-P1=331-P2=199-P3=307-P4=457-P5=293-B.opb
MD5SUM55e3096e9013fd2f39f8572a635bf07d
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.162974
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables135
Total number of constraints11
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 constraints11
Minimum length of a constraint9
Maximum length of a constraint99
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 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)405
Sum of products size (including duplicates)810
Number of different products405
Sum of products size810

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/452978-1178005426/instance-452978-1178005426.opb
0.00/0.00	c File size is 7079 bytes.
0.00/0.00	c Highest Coefficient sum: 523264
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.003 s
0.00/0.00	c Var: 540 Constr: 826 405/0/421 Lit: 3456 Watch. Lit: 2117
0.00/0.00	c Obj. Vars: 9 (1.66667 % of total variables)
0.00/0.01	c Pre-processing Time: 0.009 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    540      826     3456    4     2973    4616      0      0 0.01
0.00/0.01	c Switching off LPR mode.
1800.01/1800.60	c      102    540      928    17102   18     3163    5078    102   4857 0.02
1800.01/1800.60	c      252    540     1078    29405   27     3420    5586    252   7200 0.04
1800.01/1800.60	c      477    540     1303    48776   37     3855    6145    477   9000 0.05
1800.01/1800.60	c      816    540     1642    75300   45     4527    6760    816   8412 0.10
1800.01/1800.60	c     1325    540     2151   114513   53     5542    7437   1325   7840 0.17
1800.01/1800.60	c     2089    540     2915   183810   63     7065    8181   2089   8561 0.24
1800.01/1800.60	c     3235    540     4061   274014   67     9327    9000   3235   7909 0.41
1800.01/1800.60	c     4956    540     5782   404785   70    12753    9901   4956   5823 0.85
1800.01/1800.60	c     7540    540     8366   634388   75    17943   10892   7540   5927 1.27
1800.01/1800.60	c    11420    540     6509   478393   73    14186   11982   5683   3998 2.86
1800.01/1800.60	c    17243    540    12332   962693   78    25807   13181  11506   4173 4.13
1800.01/1800.60	c    25981    540    13964  1061663   76    29169   14500  13138   3254 7.98
1800.01/1800.60	c    39091    540    12320   961737   78    25815   15951  11494   2481 15.76
1800.01/1800.60	c    58761    540    15741  1112581   70    32625   17547  14915   2191 26.81
1800.01/1800.60	c    88271    540     9826   673736   68    20772   19302   9000   1594 55.36
1800.01/1800.60	c   132541    540    15184  1069184   70    31459   21233  14358   1386 95.62
1800.01/1800.60	c   198952    540    15877  1263494   79    32958   23357  15051   1149 173.00
1800.01/1800.60	c   298573    540    13426   929052   69    28001   25693  12600   1046 285.24
1800.01/1800.60	c   448008    540    15517  1164017   75    32084   28263  14691    864 518.24
1800.01/1800.60	c   672167    540    18476  1465840   79    38046   31090  17650    800 840.08
1800.01/1800.60	c  1008411    539    14157  1093519   77    29451   34200  13331    749 1345.00
1800.01/1800.60	c Caught signal: 15
1800.01/1800.60	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.01/1800.60	c   21  1291624   6216  1310475    24625  2015379  23799    717 1800.02
1800.01/1800.60	s UNKNOWN
1800.01/1800.60	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/node5/watcher-452978-1178005426 -o ROOT/results/node5/solver-452978-1178005426 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452978-1178005426/instance-452978-1178005426.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.94 1.00 1.00 3/77 17783
/proc/meminfo: memFree=1838136/2055920 swapFree=4149732/4192956
[pid=17783] ppid=17781 vsize=11744 CPUtime=0
/proc/17783/stat : 17783 (bsolo3.0.17) R 17781 17783 17718 0 -1 4194304 374 0 0 0 0 0 0 0 18 0 1 0 276580257 12025856 344 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17783/statm: 983 344 289 324 0 51 0

[startup+0.101492 s]
/proc/loadavg: 0.94 1.00 1.00 3/77 17783
/proc/meminfo: memFree=1838136/2055920 swapFree=4149732/4192956
[pid=17783] ppid=17781 vsize=5232 CPUtime=0.09
/proc/17783/stat : 17783 (bsolo3.0.17) R 17781 17783 17718 0 -1 4194304 707 0 0 0 9 0 0 0 18 0 1 0 276580257 5357568 675 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547548 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17783/statm: 1308 675 310 324 0 378 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5232

[startup+0.202504 s]
/proc/loadavg: 0.94 1.00 1.00 3/77 17783
/proc/meminfo: memFree=1838136/2055920 swapFree=4149732/4192956
[pid=17783] ppid=17781 vsize=6140 CPUtime=0.19
/proc/17783/stat : 17783 (bsolo3.0.17) R 17781 17783 17718 0 -1 4194304 944 0 0 0 19 0 0 0 18 0 1 0 276580257 6287360 912 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17783/statm: 1535 912 310 324 0 605 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 6140

[startup+0.302527 s]
/proc/loadavg: 0.94 1.00 1.00 3/77 17783
/proc/meminfo: memFree=1838136/2055920 swapFree=4149732/4192956
[pid=17783] ppid=17781 vsize=7180 CPUtime=0.29
/proc/17783/stat : 17783 (bsolo3.0.17) R 17781 17783 17718 0 -1 4194304 1216 0 0 0 29 0 0 0 19 0 1 0 276580257 7352320 1184 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17783/statm: 1795 1184 310 324 0 865 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7180

[startup+0.70156 s]
/proc/loadavg: 0.94 1.00 1.00 3/77 17783
/proc/meminfo: memFree=1838136/2055920 swapFree=4149732/4192956
[pid=17783] ppid=17781 vsize=9240 CPUtime=0.69
/proc/17783/stat : 17783 (bsolo3.0.17) R 17781 17783 17718 0 -1 4194304 1713 0 0 0 68 1 0 0 23 0 1 0 276580257 9461760 1681 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551466 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17783/statm: 2310 1682 310 324 0 1380 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9240

[startup+1.50165 s]
/proc/loadavg: 0.94 1.00 1.00 2/78 17784
/proc/meminfo: memFree=1830256/2055920 swapFree=4149732/4192956
[pid=17783] ppid=17781 vsize=13888 CPUtime=1.49
/proc/17783/stat : 17783 (bsolo3.0.17) R 17781 17783 17718 0 -1 4194304 2871 0 0 0 147 2 0 0 25 0 1 0 276580257 14221312 2839 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17783/statm: 3472 2840 310 324 0 2542 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13888

[startup+3.10183 s]
/proc/loadavg: 0.94 1.00 1.00 2/78 17784
/proc/meminfo: memFree=1825648/2055920 swapFree=4149732/4192956
[pid=17783] ppid=17781 vsize=17240 CPUtime=3.09
/proc/17783/stat : 17783 (bsolo3.0.17) R 17781 17783 17718 0 -1 4194304 3734 0 0 0 307 2 0 0 25 0 1 0 276580257 17653760 3702 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572606 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17783/statm: 4310 3702 310 324 0 3380 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17240

[startup+6.30119 s]
/proc/loadavg: 0.94 1.00 1.00 2/78 17784
/proc/meminfo: memFree=1821232/2055920 swapFree=4149732/4192956
[pid=17783] ppid=17781 vsize=20212 CPUtime=6.28
/proc/17783/stat : 17783 (bsolo3.0.17) R 17781 17783 17718 0 -1 4194304 4474 0 0 0 626 2 0 0 25 0 1 0 276580257 20697088 4442 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521818 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17783/statm: 5053 4442 310 324 0 4123 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 20212

[startup+12.7019 s]
/proc/loadavg: 0.95 1.00 1.00 2/78 17784
/proc/meminfo: memFree=1820784/2055920 swapFree=4149732/4192956
[pid=17783] ppid=17781 vsize=20864 CPUtime=12.68
/proc/17783/stat : 17783 (bsolo3.0.17) R 17781 17783 17718 0 -1 4194304 4626 0 0 0 1266 2 0 0 25 0 1 0 276580257 21364736 4594 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17783/statm: 5216 4594 310 324 0 4286 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20864

[startup+25.5024 s]
/proc/loadavg: 0.96 1.00 1.00 2/78 17784
/proc/meminfo: memFree=1818736/2055920 swapFree=4149732/4192956
[pid=17783] ppid=17781 vsize=22792 CPUtime=25.48
/proc/17783/stat : 17783 (bsolo3.0.17) R 17781 17783 17718 0 -1 4194304 5114 0 0 0 2545 3 0 0 25 0 1 0 276580257 23339008 5082 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17783/statm: 5698 5082 310 324 0 4768 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22792

[startup+51.1023 s]
/proc/loadavg: 0.97 1.00 1.00 2/78 17784
/proc/meminfo: memFree=1818288/2055920 swapFree=4149732/4192956
[pid=17783] ppid=17781 vsize=23344 CPUtime=51.08
/proc/17783/stat : 17783 (bsolo3.0.17) R 17781 17783 17718 0 -1 4194304 5245 0 0 0 5105 3 0 0 25 0 1 0 276580257 23904256 5213 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17783/statm: 5836 5213 310 324 0 4906 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 23344

[startup+102.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 17784
/proc/meminfo: memFree=1814000/2055920 swapFree=4149732/4192956
[pid=17783] ppid=17781 vsize=27680 CPUtime=102.26
/proc/17783/stat : 17783 (bsolo3.0.17) R 17781 17783 17718 0 -1 4194304 6333 0 0 0 10222 4 0 0 25 0 1 0 276580257 28344320 6301 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17783/statm: 6920 6301 310 324 0 5990 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 27680

[startup+162.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 17784
/proc/meminfo: memFree=1811888/2055920 swapFree=4149732/4192956
[pid=17783] ppid=17781 vsize=29688 CPUtime=162.25
/proc/17783/stat : 17783 (bsolo3.0.17) R 17781 17783 17718 0 -1 4194304 6844 0 0 0 16220 5 0 0 25 0 1 0 276580257 30400512 6812 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17783/statm: 7422 6812 310 324 0 6492 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 29688

[startup+222.306 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 17784
/proc/meminfo: memFree=1810032/2055920 swapFree=4149732/4192956
[pid=17783] ppid=17781 vsize=31516 CPUtime=222.23
/proc/17783/stat : 17783 (bsolo3.0.17) R 17781 17783 17718 0 -1 4194304 7296 0 0 0 22218 5 0 0 25 0 1 0 276580257 32272384 7264 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8326939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17783/statm: 7879 7264 310 324 0 6949 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 31516

[startup+282.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 17784
/proc/meminfo: memFree=1809968/2055920 swapFree=4149732/4192956
[pid=17783] ppid=17781 vsize=31512 CPUtime=282.21
/proc/17783/stat : 17783 (bsolo3.0.17) R 17781 17783 17718 0 -1 4194304 7296 0 0 0 28215 6 0 0 25 0 1 0 276580257 32268288 7264 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17783/statm: 7878 7264 310 324 0 6948 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 31512

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 17784
/proc/meminfo: memFree=1803312/2055920 swapFree=4149732/4192956
[pid=17783] ppid=17781 vsize=38116 CPUtime=342.2
/proc/17783/stat : 17783 (bsolo3.0.17) R 17781 17783 17718 0 -1 4194304 8953 0 0 0 34212 8 0 0 25 0 1 0 276580257 39030784 8921 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17783/statm: 9529 8921 310 324 0 8599 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 38116

[startup+402.303 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 17784
/proc/meminfo: memFree=1803248/2055920 swapFree=4149732/4192956
[pid=17783] ppid=17781 vsize=38116 CPUtime=402.18
/proc/17783/stat : 17783 (bsolo3.0.17) R 17781 17783 17718 0 -1 4194304 8953 0 0 0 40210 8 0 0 25 0 1 0 276580257 39030784 8921 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17783/statm: 9529 8921 310 324 0 8599 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 38116

[startup+462.303 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 17784
/proc/meminfo: memFree=1803376/2055920 swapFree=4149732/4192956
[pid=17783] ppid=17781 vsize=38112 CPUtime=462.17
/proc/17783/stat : 17783 (bsolo3.0.17) R 17781 17783 17718 0 -1 4194304 8953 0 0 0 46208 9 0 0 25 0 1 0 276580257 39026688 8920 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17783/statm: 9528 8920 310 324 0 8598 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 38112

[startup+522.303 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 17784
/proc/meminfo: memFree=1803376/2055920 swapFree=4149732/4192956
[pid=17783] ppid=17781 vsize=38096 CPUtime=522.15
/proc/17783/stat : 17783 (bsolo3.0.17) R 17781 17783 17718 0 -1 4194304 8953 0 0 0 52206 9 0 0 25 0 1 0 276580257 39010304 8916 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17783/statm: 9524 8916 310 324 0 8594 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 38096

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 17784
/proc/meminfo: memFree=1803376/2055920 swapFree=4149732/4192956
[pid=17783] ppid=17781 vsize=38096 CPUtime=582.13
/proc/17783/stat : 17783 (bsolo3.0.17) R 17781 17783 17718 0 -1 4194304 8955 0 0 0 58204 9 0 0 25 0 1 0 276580257 39010304 8916 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17783/statm: 9524 8916 310 324 0 8594 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 38096

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 17784
/proc/meminfo: memFree=1803440/2055920 swapFree=4149732/4192956
[pid=17783] ppid=17781 vsize=38072 CPUtime=642.12
/proc/17783/stat : 17783 (bsolo3.0.17) R 17781 17783 17718 0 -1 4194304 8955 0 0 0 64202 10 0 0 25 0 1 0 276580257 38985728 8910 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17783/statm: 9518 8910 310 324 0 8588 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 38072


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

[startup+882.305 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 17784
/proc/meminfo: memFree=1798576/2055920 swapFree=4149732/4192956
[pid=17783] ppid=17781 vsize=42804 CPUtime=882.06
/proc/17783/stat : 17783 (bsolo3.0.17) R 17781 17783 17718 0 -1 4194304 10141 0 0 0 88192 14 0 0 25 0 1 0 276580257 43831296 10092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17783/statm: 10701 10092 310 324 0 9771 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 42804

[startup+942.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 17784
/proc/meminfo: memFree=1798384/2055920 swapFree=4149732/4192956
[pid=17783] ppid=17781 vsize=42908 CPUtime=942.04
/proc/17783/stat : 17783 (bsolo3.0.17) R 17781 17783 17718 0 -1 4194304 10169 0 0 0 94190 14 0 0 25 0 1 0 276580257 43937792 10119 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17783/statm: 10727 10119 310 324 0 9797 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 42908

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 17784
/proc/meminfo: memFree=1798576/2055920 swapFree=4149732/4192956
[pid=17783] ppid=17781 vsize=42904 CPUtime=1002.02
/proc/17783/stat : 17783 (bsolo3.0.17) R 17781 17783 17718 0 -1 4194304 10169 0 0 0 100188 14 0 0 25 0 1 0 276580257 43933696 10118 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17783/statm: 10726 10118 310 324 0 9796 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 42904

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/84 17922
/proc/meminfo: memFree=1797312/2055920 swapFree=4149732/4192956
[pid=17783] ppid=17781 vsize=42900 CPUtime=1061.93
/proc/17783/stat : 17783 (bsolo3.0.17) R 17781 17783 17718 0 -1 4194304 10169 0 0 0 106178 15 0 0 25 0 1 0 276580257 43929600 10117 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 0 0 0
/proc/17783/statm: 10725 10117 310 324 0 9795 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 42900

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 17982
/proc/meminfo: memFree=1798320/2055920 swapFree=4149732/4192956
[pid=17783] ppid=17781 vsize=42900 CPUtime=1121.89
/proc/17783/stat : 17783 (bsolo3.0.17) R 17781 17783 17718 0 -1 4194304 10169 0 0 0 112173 16 0 0 25 0 1 0 276580257 43929600 10117 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550834 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17783/statm: 10725 10117 310 324 0 9795 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 42900

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 17982
/proc/meminfo: memFree=1798384/2055920 swapFree=4149732/4192956
[pid=17783] ppid=17781 vsize=42876 CPUtime=1181.87
/proc/17783/stat : 17783 (bsolo3.0.17) R 17781 17783 17718 0 -1 4194304 10169 0 0 0 118171 16 0 0 25 0 1 0 276580257 43905024 10111 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17783/statm: 10719 10111 310 324 0 9789 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 42876

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 17982
/proc/meminfo: memFree=1798384/2055920 swapFree=4149732/4192956
[pid=17783] ppid=17781 vsize=42876 CPUtime=1241.86
/proc/17783/stat : 17783 (bsolo3.0.17) R 17781 17783 17718 0 -1 4194304 10169 0 0 0 124169 17 0 0 25 0 1 0 276580257 43905024 10111 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17783/statm: 10719 10111 310 324 0 9789 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 42876

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 17982
/proc/meminfo: memFree=1798384/2055920 swapFree=4149732/4192956
[pid=17783] ppid=17781 vsize=42876 CPUtime=1301.84
/proc/17783/stat : 17783 (bsolo3.0.17) R 17781 17783 17718 0 -1 4194304 10169 0 0 0 130167 17 0 0 25 0 1 0 276580257 43905024 10111 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17783/statm: 10719 10111 310 324 0 9789 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 42876

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 17982
/proc/meminfo: memFree=1798320/2055920 swapFree=4149732/4192956
[pid=17783] ppid=17781 vsize=42884 CPUtime=1361.83
/proc/17783/stat : 17783 (bsolo3.0.17) R 17781 17783 17718 0 -1 4194304 10171 0 0 0 136165 18 0 0 25 0 1 0 276580257 43913216 10113 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17783/statm: 10721 10113 310 324 0 9791 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 42884

[startup+1422.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 17982
/proc/meminfo: memFree=1797168/2055920 swapFree=4149732/4192956
[pid=17783] ppid=17781 vsize=43912 CPUtime=1421.81
/proc/17783/stat : 17783 (bsolo3.0.17) R 17781 17783 17718 0 -1 4194304 10461 0 0 0 142163 18 0 0 25 0 1 0 276580257 44965888 10369 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17783/statm: 10978 10369 310 324 0 10048 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 43912

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 17982
/proc/meminfo: memFree=1797168/2055920 swapFree=4149732/4192956
[pid=17783] ppid=17781 vsize=43912 CPUtime=1481.79
/proc/17783/stat : 17783 (bsolo3.0.17) R 17781 17783 17718 0 -1 4194304 10461 0 0 0 148160 19 0 0 25 0 1 0 276580257 44965888 10369 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17783/statm: 10978 10369 310 324 0 10048 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 43912

[startup+1542.31 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 17982
/proc/meminfo: memFree=1797168/2055920 swapFree=4149732/4192956
[pid=17783] ppid=17781 vsize=43912 CPUtime=1541.78
/proc/17783/stat : 17783 (bsolo3.0.17) R 17781 17783 17718 0 -1 4194304 10461 0 0 0 154159 19 0 0 25 0 1 0 276580257 44965888 10369 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17783/statm: 10978 10369 310 324 0 10048 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 43912

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 17982
/proc/meminfo: memFree=1797232/2055920 swapFree=4149732/4192956
[pid=17783] ppid=17781 vsize=43912 CPUtime=1601.76
/proc/17783/stat : 17783 (bsolo3.0.17) R 17781 17783 17718 0 -1 4194304 10461 0 0 0 160156 20 0 0 25 0 1 0 276580257 44965888 10369 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17783/statm: 10978 10369 310 324 0 10048 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 43912

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 17982
/proc/meminfo: memFree=1797232/2055920 swapFree=4149732/4192956
[pid=17783] ppid=17781 vsize=43912 CPUtime=1661.74
/proc/17783/stat : 17783 (bsolo3.0.17) R 17781 17783 17718 0 -1 4194304 10461 0 0 0 166154 20 0 0 25 0 1 0 276580257 44965888 10369 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17783/statm: 10978 10369 310 324 0 10048 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 43912

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 17982
/proc/meminfo: memFree=1794608/2055920 swapFree=4149732/4192956
[pid=17783] ppid=17781 vsize=46488 CPUtime=1721.73
/proc/17783/stat : 17783 (bsolo3.0.17) R 17781 17783 17718 0 -1 4194304 11169 0 0 0 172152 21 0 0 25 0 1 0 276580257 47603712 11009 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17783/statm: 11622 11009 310 324 0 10692 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 46488

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 17982
/proc/meminfo: memFree=1794544/2055920 swapFree=4149732/4192956
[pid=17783] ppid=17781 vsize=46488 CPUtime=1781.72
/proc/17783/stat : 17783 (bsolo3.0.17) R 17781 17783 17718 0 -1 4194304 11203 0 0 0 178150 22 0 0 25 0 1 0 276580257 47603712 11009 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17783/statm: 11622 11009 310 324 0 10692 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 46488



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 17982
/proc/meminfo: memFree=1794544/2055920 swapFree=4149732/4192956
[pid=17783] ppid=17781 vsize=46488 CPUtime=1800.01
/proc/17783/stat : 17783 (bsolo3.0.17) R 17781 17783 17718 0 -1 4194304 11237 0 0 0 179979 22 0 0 25 0 1 0 276580257 47603712 11009 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17783/statm: 11622 11009 310 324 0 10692 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 46488

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

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

[startup+1800.6 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 17982
/proc/meminfo: memFree=1794544/2055920 swapFree=4149732/4192956
[pid=17783] ppid=17781 vsize=46488 CPUtime=1800.01
/proc/17783/stat : 17783 (bsolo3.0.17) R 17781 17783 17718 0 -1 4194304 11237 0 0 0 179979 22 0 0 25 0 1 0 276580257 47603712 11009 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17783/statm: 11622 11009 310 324 0 10692 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 46488

Child status: 15
Real time (s): 1800.61
CPU time (s): 1800.03
CPU user time (s): 1799.8
CPU system time (s): 0.229965
CPU usage (%): 99.9675
Max. virtual memory (cumulated for all children) (KiB): 46488

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

runsolver used 1.43078 second user time and 4.22136 second system time

The end

Launcher Data (download as text)

Begin job on node5 on Tue May  1 07:43:46 UTC 2007

IDJOB= 452978
IDBENCH= 48045
IDSOLVER= 199
FILE ID= node5/452978-1178005426

PBS_JOBID= 4728279

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=211-P1=331-P2=199-P3=307-P4=457-P5=293-B.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452978-1178005426/instance-452978-1178005426.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node5/watcher-452978-1178005426 -o ROOT/results/node5/solver-452978-1178005426 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/452978-1178005426/instance-452978-1178005426.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  55e3096e9013fd2f39f8572a635bf07d

RANDOM SEED= 343426877

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node5.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:       1838608 kB
Buffers:         55324 kB
Cached:          92564 kB
SwapCached:      11980 kB
Active:         104696 kB
Inactive:        67932 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1838608 kB
SwapTotal:     4192956 kB
SwapFree:      4149732 kB
Dirty:            6804 kB
Writeback:           0 kB
Mapped:          29576 kB
Slab:            30332 kB
Committed_AS: 10025092 kB
PageTables:       1720 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 node5 on Tue May  1 08:13:49 UTC 2007