Trace number 432611

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.11 1800.58

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-railway_8_1_0.opb
MD5SUM0748343c41c1a4f38800a46bbbd374d2
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 variables19747
Total number of constraints3145
Number of constraints which are clauses426
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2719
Minimum length of a constraint4
Maximum length of a constraint61
Number of terms in the objective function 133
Biggest coefficient in the objective function 262119
Number of bits for the biggest coefficient in the objective function 18
Sum of the numbers in the objective function 524354
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262119
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524354
Number of bits of the biggest sum of numbers20
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/432611-1177946265/instance-432611-1177946265.opb
0.00/0.00	c File size is 1603626 bytes.
0.19/0.28	c Highest Coefficient sum: 524354
0.19/0.28	c Parsing was ok!!
0.19/0.28	c Total parsing time: 0.28 s
0.19/0.29	c Var: 19747 Constr: 3146 426/0/2720 Lit: 147497 Watch. Lit: 12619
0.19/0.29	c Obj. Vars: 133 (0.67352 % of total variables)
0.49/0.58	c Pre-processing Time: 0.579 s
0.49/0.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.58	c        0  19733     3146   147497   46    90047  291489      0      0 0.58
0.49/0.58	c Switching off LPR mode.
1800.03/1800.50	c      106  19733     3252   155585   47   126450  320638    106    164 0.65
1800.03/1800.50	c      256  19733     3402   160603   47   125408  352702    256    379 0.68
1800.03/1800.50	c      481  19733     3627   171706   47   127231  387973    481    611 0.79
1800.03/1800.50	c      819  19733     3965   187839   47   127294  426771    819    845 0.97
1800.03/1800.50	c     1327  19733     4473   210969   47   128696  469449   1327   1141 1.16
1800.03/1800.50	c     2091  19733     5237   261290   49   131187  516394   2091   1452 1.44
1800.03/1800.50	c     3240  19733     6386   331646   51   132967  568034   3240   2008 1.61
1800.03/1800.50	c     4961  19733     8107   433308   53   135167  624838   4961   2417 2.05
1800.03/1800.50	c     7549  19733    10695   587799   54   139823  687322   7549   2706 2.79
1800.03/1800.50	c    11428  19733    14574   821734   56   148123  756055  11428   2454 4.66
1800.03/1800.50	c    17251  19733    20397  1116766   54   158613  831661  17251   2852 6.05
1800.03/1800.50	c    25988  19733    29134  1647308   56   178534  914828  25988   2737 9.49
1800.03/1800.50	c    39098  19733    42244  2431778   57   203512  500000  39098   2169 18.02
1800.03/1800.50	c    58768  19733    61914  3669187   59   244038  550001  58768   1606 36.58
1800.03/1800.50	c    88280  19733    91426  5729434   62   302069  605002  88280    636 138.71
1800.03/1800.50	c   132550  19733   135696  8334521   61   392079  665503 132550    700 189.16
1800.03/1800.50	c   198960  19733   202106 14025441   69   523567  732054 198960    368 540.17
1800.03/1800.50	c   298581  19733   301727 21257148   70   723612  805260 298581    391 762.49
1800.03/1800.50	c Caught signal: 15
1800.03/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.03/1800.50	c   18   389572  33122   607620   392718 30758051 389572    216 1800.04
1800.03/1800.50	s UNKNOWN
1800.03/1800.50	c Total time: 1800.04 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/node60/watcher-432611-1177946265 -o ROOT/results/node60/solver-432611-1177946265 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432611-1177946265/instance-432611-1177946265.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.92 3/64 31899
/proc/meminfo: memFree=1859856/2055920 swapFree=4183304/4192956
[pid=31899] ppid=31897 vsize=13304 CPUtime=0
/proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 242536527 13623296 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31899/statm: 3326 332 279 324 0 2004 0

[startup+0.0963699 s]
/proc/loadavg: 0.99 0.98 0.92 3/64 31899
/proc/meminfo: memFree=1859856/2055920 swapFree=4183304/4192956
[pid=31899] ppid=31897 vsize=7292 CPUtime=0.08
/proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 940 0 0 0 8 0 0 0 18 0 1 0 242536527 7467008 910 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31899/statm: 1823 910 407 324 0 501 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7292

[startup+0.10237 s]
/proc/loadavg: 0.99 0.98 0.92 3/64 31899
/proc/meminfo: memFree=1859856/2055920 swapFree=4183304/4192956
[pid=31899] ppid=31897 vsize=7424 CPUtime=0.09
/proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 960 0 0 0 9 0 0 0 18 0 1 0 242536527 7602176 930 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31899/statm: 1856 930 415 324 0 534 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7424

[startup+0.302389 s]
/proc/loadavg: 0.99 0.98 0.92 3/64 31899
/proc/meminfo: memFree=1859856/2055920 swapFree=4183304/4192956
[pid=31899] ppid=31897 vsize=9920 CPUtime=0.29
/proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 2192 0 0 0 28 1 0 0 19 0 1 0 242536527 10158080 1770 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5975794 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31899/statm: 2480 1770 304 324 0 1550 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9920

[startup+0.70143 s]
/proc/loadavg: 0.99 0.98 0.92 3/64 31899
/proc/meminfo: memFree=1859856/2055920 swapFree=4183304/4192956
[pid=31899] ppid=31897 vsize=12676 CPUtime=0.69
/proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 3632 0 0 0 66 3 0 0 22 0 1 0 242536527 12980224 2471 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31899/statm: 3169 2471 310 324 0 2239 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12676

[startup+1.50151 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 31900
/proc/meminfo: memFree=1850888/2055920 swapFree=4183304/4192956
[pid=31899] ppid=31897 vsize=14652 CPUtime=1.49
/proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 4117 0 0 0 146 3 0 0 25 0 1 0 242536527 15003648 2956 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31899/statm: 3663 2956 310 324 0 2733 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14652

[startup+3.10167 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 31900
/proc/meminfo: memFree=1846792/2055920 swapFree=4183304/4192956
[pid=31899] ppid=31897 vsize=19752 CPUtime=3.08
/proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 5390 0 0 0 304 4 0 0 25 0 1 0 242536527 20226048 4229 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31899/statm: 4938 4229 310 324 0 4008 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 19752

[startup+6.30198 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 31900
/proc/meminfo: memFree=1840656/2055920 swapFree=4183304/4192956
[pid=31899] ppid=31897 vsize=27424 CPUtime=6.28
/proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 7333 0 0 0 622 6 0 0 25 0 1 0 242536527 28082176 6172 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31899/statm: 6856 6172 310 324 0 5926 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 27424

[startup+12.7016 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 31900
/proc/meminfo: memFree=1823504/2055920 swapFree=4183304/4192956
[pid=31899] ppid=31897 vsize=41044 CPUtime=12.68
/proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 10736 0 0 0 1260 8 0 0 25 0 1 0 242536527 42029056 9575 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31899/statm: 10261 9575 310 324 0 9331 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 41044

[startup+25.5019 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 31900
/proc/meminfo: memFree=1807696/2055920 swapFree=4183304/4192956
[pid=31899] ppid=31897 vsize=56384 CPUtime=25.48
/proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 14576 0 0 0 2536 12 0 0 25 0 1 0 242536527 57737216 13415 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31899/statm: 14096 13415 310 324 0 13166 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 56384

[startup+51.1014 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 31900
/proc/meminfo: memFree=1792656/2055920 swapFree=4183304/4192956
[pid=31899] ppid=31897 vsize=71188 CPUtime=51.07
/proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 18269 0 0 0 5093 14 0 0 25 0 1 0 242536527 72896512 17108 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31899/statm: 17797 17108 310 324 0 16867 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 71188

[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 31900
/proc/meminfo: memFree=1778896/2055920 swapFree=4183304/4192956
[pid=31899] ppid=31897 vsize=84800 CPUtime=102.26
/proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 21682 0 0 0 10208 18 0 0 25 0 1 0 242536527 86835200 20521 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31899/statm: 21200 20521 310 324 0 20270 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 84800

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 31900
/proc/meminfo: memFree=1753104/2055920 swapFree=4183304/4192956
[pid=31899] ppid=31897 vsize=111064 CPUtime=162.24
/proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 28226 0 0 0 16200 24 0 0 25 0 1 0 242536527 113729536 27065 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31899/statm: 27766 27065 310 324 0 26836 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 111064

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 31900
/proc/meminfo: memFree=1720976/2055920 swapFree=4183304/4192956
[pid=31899] ppid=31897 vsize=142616 CPUtime=222.22
/proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 36132 0 0 0 22192 30 0 0 25 0 1 0 242536527 146038784 34971 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31899/statm: 35654 34971 310 324 0 34724 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 142616

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 31900
/proc/meminfo: memFree=1702928/2055920 swapFree=4183304/4192956
[pid=31899] ppid=31897 vsize=160776 CPUtime=282.21
/proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 40675 0 0 0 28186 35 0 0 25 0 1 0 242536527 164634624 39514 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31899/statm: 40194 39514 310 324 0 39264 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 160776

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 31900
/proc/meminfo: memFree=1688528/2055920 swapFree=4183304/4192956
[pid=31899] ppid=31897 vsize=175048 CPUtime=342.19
/proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 44216 0 0 0 34180 39 0 0 25 0 1 0 242536527 179249152 43055 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31899/statm: 43762 43055 310 324 0 42832 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 175048

[startup+402.303 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 31900
/proc/meminfo: memFree=1677712/2055920 swapFree=4183304/4192956
[pid=31899] ppid=31897 vsize=185812 CPUtime=402.18
/proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 46925 0 0 0 40176 42 0 0 25 0 1 0 242536527 190271488 45764 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551646 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31899/statm: 46453 45764 310 324 0 45523 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 185812

[startup+462.303 s]
/proc/loadavg: 1.05 1.00 0.93 2/65 31900
/proc/meminfo: memFree=1666640/2055920 swapFree=4183304/4192956
[pid=31899] ppid=31897 vsize=196796 CPUtime=462.17
/proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 49675 0 0 0 46172 45 0 0 25 0 1 0 242536527 201519104 48514 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31899/statm: 49199 48514 310 324 0 48269 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 196796

[startup+522.303 s]
/proc/loadavg: 1.02 1.00 0.93 2/65 31900
/proc/meminfo: memFree=1656144/2055920 swapFree=4183304/4192956
[pid=31899] ppid=31897 vsize=207272 CPUtime=522.15
/proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 52300 0 0 0 52167 48 0 0 25 0 1 0 242536527 212246528 51139 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31899/statm: 51818 51139 310 324 0 50888 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 207272

[startup+582.303 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 31900
/proc/meminfo: memFree=1624272/2055920 swapFree=4183304/4192956
[pid=31899] ppid=31897 vsize=239316 CPUtime=582.13
/proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 60283 0 0 0 58158 55 0 0 25 0 1 0 242536527 245059584 59122 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551403 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31899/statm: 59829 59122 310 324 0 58899 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 239316

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 31900
/proc/meminfo: memFree=1585872/2055920 swapFree=4183304/4192956
[pid=31899] ppid=31897 vsize=277312 CPUtime=642.12
/proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 69803 0 0 0 64147 65 0 0 25 0 1 0 242536527 283967488 68642 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551824 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31899/statm: 69328 68642 310 324 0 68398 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 277312


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 31900
/proc/meminfo: memFree=1529744/2055920 swapFree=4183304/4192956
[pid=31899] ppid=31897 vsize=333296 CPUtime=882.06
/proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 83790 0 0 0 88126 80 0 0 25 0 1 0 242536527 341295104 82629 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31899/statm: 83324 82629 310 324 0 82394 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 333296

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 31900
/proc/meminfo: memFree=1520976/2055920 swapFree=4183304/4192956
[pid=31899] ppid=31897 vsize=342208 CPUtime=942.04
/proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 86007 0 0 0 94121 83 0 0 25 0 1 0 242536527 350420992 84846 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31899/statm: 85552 84846 310 324 0 84622 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 342208

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 31900
/proc/meminfo: memFree=1511696/2055920 swapFree=4183304/4192956
[pid=31899] ppid=31897 vsize=351240 CPUtime=1002.03
/proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 88288 0 0 0 100116 87 0 0 25 0 1 0 242536527 359669760 87127 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31899/statm: 87810 87127 310 324 0 86880 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 351240

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 31900
/proc/meminfo: memFree=1502736/2055920 swapFree=4183304/4192956
[pid=31899] ppid=31897 vsize=360304 CPUtime=1062.01
/proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 90540 0 0 0 106112 89 0 0 25 0 1 0 242536527 368951296 89379 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31899/statm: 90076 89379 310 324 0 89146 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 360304

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 31900
/proc/meminfo: memFree=1494736/2055920 swapFree=4183304/4192956
[pid=31899] ppid=31897 vsize=368204 CPUtime=1122
/proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 92521 0 0 0 112108 92 0 0 25 0 1 0 242536527 377040896 91360 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31899/statm: 92051 91360 310 324 0 91121 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 368204

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 31900
/proc/meminfo: memFree=1487056/2055920 swapFree=4183304/4192956
[pid=31899] ppid=31897 vsize=375960 CPUtime=1181.98
/proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 94454 0 0 0 118103 95 0 0 25 0 1 0 242536527 384983040 93293 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31899/statm: 93990 93293 310 324 0 93060 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 375960

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 31900
/proc/meminfo: memFree=1478544/2055920 swapFree=4183304/4192956
[pid=31899] ppid=31897 vsize=384364 CPUtime=1241.97
/proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 96553 0 0 0 124100 97 0 0 25 0 1 0 242536527 393588736 95392 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31899/statm: 96091 95392 310 324 0 95161 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 384364

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 31900
/proc/meminfo: memFree=1470160/2055920 swapFree=4183304/4192956
[pid=31899] ppid=31897 vsize=392628 CPUtime=1301.95
/proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 98618 0 0 0 130096 99 0 0 25 0 1 0 242536527 402051072 97457 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31899/statm: 98157 97457 310 324 0 97227 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 392628

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 31900
/proc/meminfo: memFree=1461776/2055920 swapFree=4183304/4192956
[pid=31899] ppid=31897 vsize=401040 CPUtime=1361.94
/proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 100723 0 0 0 136092 102 0 0 25 0 1 0 242536527 410664960 99562 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31899/statm: 100260 99562 310 324 0 99330 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 401040

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 31900
/proc/meminfo: memFree=1454352/2055920 swapFree=4183304/4192956
[pid=31899] ppid=31897 vsize=408408 CPUtime=1421.93
/proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 102569 0 0 0 142088 105 0 0 25 0 1 0 242536527 418209792 101408 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31899/statm: 102102 101408 310 324 0 101172 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 408408

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 31902
/proc/meminfo: memFree=1446928/2055920 swapFree=4183304/4192956
[pid=31899] ppid=31897 vsize=415888 CPUtime=1481.9
/proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 104433 0 0 0 148083 107 0 0 25 0 1 0 242536527 425869312 103272 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31899/statm: 103972 103272 310 324 0 103042 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 415888

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 31902
/proc/meminfo: memFree=1440272/2055920 swapFree=4183304/4192956
[pid=31899] ppid=31897 vsize=422500 CPUtime=1541.89
/proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 106085 0 0 0 154080 109 0 0 25 0 1 0 242536527 432640000 104924 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31899/statm: 105625 104924 310 324 0 104695 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 422500

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 31902
/proc/meminfo: memFree=1434256/2055920 swapFree=4183304/4192956
[pid=31899] ppid=31897 vsize=428560 CPUtime=1601.88
/proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 107599 0 0 0 160077 111 0 0 25 0 1 0 242536527 438845440 106438 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31899/statm: 107140 106438 310 324 0 106210 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 428560

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 31902
/proc/meminfo: memFree=1427984/2055920 swapFree=4183304/4192956
[pid=31899] ppid=31897 vsize=434768 CPUtime=1661.86
/proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 109157 0 0 0 166074 112 0 0 25 0 1 0 242536527 445202432 107996 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31899/statm: 108692 107996 310 324 0 107762 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 434768

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 31902
/proc/meminfo: memFree=1422672/2055920 swapFree=4183304/4192956
[pid=31899] ppid=31897 vsize=440056 CPUtime=1721.85
/proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 110474 0 0 0 172071 114 0 0 25 0 1 0 242536527 450617344 109313 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31899/statm: 110014 109313 310 324 0 109084 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 440056

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 31902
/proc/meminfo: memFree=1418000/2055920 swapFree=4183304/4192956
[pid=31899] ppid=31897 vsize=444712 CPUtime=1781.83
/proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 111637 0 0 0 178067 116 0 0 25 0 1 0 242536527 455385088 110476 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31899/statm: 111178 110476 310 324 0 110248 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 444712



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 31902
/proc/meminfo: memFree=1416464/2055920 swapFree=4183304/4192956
[pid=31899] ppid=31897 vsize=446132 CPUtime=1800.03
/proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 112005 0 0 0 179887 116 0 0 25 0 1 0 242536527 456839168 110844 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31899/statm: 111533 110844 310 324 0 110603 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 446132

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 31902
/proc/meminfo: memFree=1416464/2055920 swapFree=4183304/4192956
[pid=31899] ppid=31897 vsize=446132 CPUtime=1800.03
/proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 112005 0 0 0 179887 116 0 0 25 0 1 0 242536527 456839168 110844 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31899/statm: 111533 110844 310 324 0 110603 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 446132

Child status: 15
Real time (s): 1800.58
CPU time (s): 1800.11
CPU user time (s): 1798.87
CPU system time (s): 1.23881
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 446132

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

runsolver used 1.52077 second user time and 3.40448 second system time

The end

Launcher Data (download as text)

Begin job on node60 on Mon Apr 30 15:17:46 UTC 2007

IDJOB= 432611
IDBENCH= 1609
IDSOLVER= 199
FILE ID= node60/432611-1177946265

PBS_JOBID= 4727538

Free space on /tmp= 66557 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-railway_8_1_0.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432611-1177946265/instance-432611-1177946265.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node60/watcher-432611-1177946265 -o ROOT/results/node60/solver-432611-1177946265 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/432611-1177946265/instance-432611-1177946265.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  0748343c41c1a4f38800a46bbbd374d2

RANDOM SEED= 20841607

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node60.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.214
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.214
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:       1860456 kB
Buffers:         15720 kB
Cached:         104504 kB
SwapCached:       3672 kB
Active:          24148 kB
Inactive:       105856 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1860456 kB
SwapTotal:     4192956 kB
SwapFree:      4183304 kB
Dirty:            8152 kB
Writeback:           0 kB
Mapped:          15748 kB
Slab:            51408 kB
Committed_AS:  2704888 kB
PageTables:       1464 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= 66557 MiB

End job on node60 on Mon Apr 30 15:47:48 UTC 2007