Trace number 351928

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.23 1800.69

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-l152lav.opb
MD5SUM1a5510d564851e49e3b50f1a87922ca2
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4722
Best CPU time to get the best result obtained on this benchmark74.2227
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4722
Optimality of the best value was proved YES
Number of variables1989
Total number of constraints97
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)96
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint3
Maximum length of a constraint1989
Number of terms in the objective function 1989
Biggest coefficient in the objective function 268
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 382524
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 268
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 382524
Number of bits of the biggest sum of numbers19
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.01	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.01	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.01	c type "bsolo -h" for help
0.00/0.01	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.01	c Time Limit set to 1800
0.00/0.01	c Memory Limit set to 1800 MB
0.00/0.01	c Instance file /tmp/evaluation/351928-1176617744/instance-351928-1176617744.opb
0.00/0.01	c File size is 106158 bytes.
0.00/0.02	c Highest Coefficient sum: 382524
0.00/0.02	c Parsing was ok!!
0.00/0.02	c Total parsing time: 0.02 s
0.00/0.03	c Var: 1989 Constr: 193 95/97/1 Lit: 18833 Watch. Lit: 10102
0.00/0.03	c Obj. Vars: 1989 (100 % of total variables)
0.19/0.25	c Pre-processing Time: 0.243 s
0.29/0.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.40	c        0   1988      193    18833   97    10105   78906      0      0 0.24
0.29/0.40	c Initial Lower Bound: 4657
0.29/0.40	c Initial Path Cost: 0
1800.03/1800.50	c      100   1988      293    49946  170    10310   86797    100    234 0.43
1800.03/1800.50	c      250   1988      443    79992  180    10612   95477    250    529 0.47
1800.03/1800.50	c      478   1988      671   139750  208    11067  105025    478    859 0.56
1800.03/1800.50	c      817   1988     1010   188477  186    11743  115528    817   1158 0.70
1800.03/1800.50	c     1325   1988     1518   324191  213    12761  127081   1325   1500 0.88
1800.03/1800.50	c     2088   1988     2281   416119  182    14288  139790   2088   1482 1.41
1800.03/1800.50	c     3234   1988     3427   599515  174    16578  153770   3234   1570 2.06
1800.03/1800.50	c     4955   1988     5148  1024795  199    20019  169148   4955   1693 2.93
1800.03/1800.50	c     7539   1988     7732  1780904  230    25190  186063   7539   1635 4.61
1800.03/1800.50	c    11418   1988    11611  3030894  261    32947  204670  11418   1481 7.71
1800.03/1800.50	c    17242   1988    17435  4703688  269    44594  225138  17242   1263 13.65
1800.03/1800.50	c    25981   1988    26174  8234774  314    62073  247652  25981    897 28.94
1800.03/1800.50	c    39094   1988    39287 12494449  318    88299  272418  39094    550 71.01
1800.03/1800.50	c    58766   1988    58959 20293211  344   127643  299660  58766    401 146.33
1800.03/1800.50	c    88278   1988    88471 34588035  390   186668  329627  88278    269 327.68
1800.03/1800.50	c   132548   1988   132741 58186312  438   275207  362590 132548    162 813.72
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   16   167111  59593  1407970   167304 93639578 167111     92 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.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node50/watcher-351928-1176617744 -o ROOT/results/node50/solver-351928-1176617744 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351928-1176617744/instance-351928-1176617744.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.25 1.09 1.02 3/64 11693
/proc/meminfo: memFree=1879592/2055920 swapFree=4154980/4192956
[pid=11693] ppid=11691 vsize=3912 CPUtime=0
/proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 278 0 3 0 0 0 0 0 18 0 1 0 16619563 4005888 250 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135000296 0 0 4096 0 0 0 0 17 1 0 0
/proc/11693/statm: 978 267 239 324 0 47 0

[startup+0.0474089 s]
/proc/loadavg: 1.25 1.09 1.02 3/64 11693
/proc/meminfo: memFree=1879592/2055920 swapFree=4154980/4192956
[pid=11693] ppid=11691 vsize=4740 CPUtime=0.03
/proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 602 0 3 0 3 0 0 0 18 0 1 0 16619563 4853760 547 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11693/statm: 1185 547 304 324 0 254 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4740

[startup+0.101414 s]
/proc/loadavg: 1.25 1.09 1.02 3/64 11693
/proc/meminfo: memFree=1879592/2055920 swapFree=4154980/4192956
[pid=11693] ppid=11691 vsize=4740 CPUtime=0.09
/proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 603 0 3 0 9 0 0 0 18 0 1 0 16619563 4853760 548 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11693/statm: 1185 548 304 324 0 254 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4740

[startup+0.301431 s]
/proc/loadavg: 1.25 1.09 1.02 3/64 11693
/proc/meminfo: memFree=1879592/2055920 swapFree=4154980/4192956
[pid=11693] ppid=11691 vsize=6516 CPUtime=0.29
/proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 1784 0 3 0 28 1 0 0 19 0 1 0 16619563 6672384 972 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135316278 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11693/statm: 1629 972 387 324 0 698 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6516

[startup+0.701465 s]
/proc/loadavg: 1.25 1.09 1.02 3/64 11693
/proc/meminfo: memFree=1879592/2055920 swapFree=4154980/4192956
[pid=11693] ppid=11691 vsize=7512 CPUtime=0.69
/proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 2379 0 3 0 65 4 0 0 22 0 1 0 16619563 7692288 1348 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11693/statm: 1878 1348 392 324 0 947 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7512

[startup+1.50154 s]
/proc/loadavg: 1.25 1.09 1.02 2/65 11694
/proc/meminfo: memFree=1872992/2055920 swapFree=4154980/4192956
[pid=11693] ppid=11691 vsize=10880 CPUtime=1.48
/proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 3210 0 3 0 137 11 0 0 25 0 1 0 16619563 11141120 2179 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11693/statm: 2720 2179 392 324 0 1789 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10880

[startup+3.10168 s]
/proc/loadavg: 1.25 1.09 1.02 2/65 11694
/proc/meminfo: memFree=1869024/2055920 swapFree=4154980/4192956
[pid=11693] ppid=11691 vsize=20032 CPUtime=3.09
/proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 5506 0 3 0 294 15 0 0 25 0 1 0 16619563 20512768 4475 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11693/statm: 5008 4475 392 324 0 4077 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20032

[startup+6.30196 s]
/proc/loadavg: 1.22 1.09 1.02 2/65 11694
/proc/meminfo: memFree=1849704/2055920 swapFree=4154980/4192956
[pid=11693] ppid=11691 vsize=37592 CPUtime=6.28
/proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 9898 0 3 0 610 18 0 0 25 0 1 0 16619563 38494208 8867 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134552602 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11693/statm: 9398 8867 392 324 0 8467 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 37592

[startup+12.7015 s]
/proc/loadavg: 1.21 1.09 1.02 2/65 11694
/proc/meminfo: memFree=1822312/2055920 swapFree=4154980/4192956
[pid=11693] ppid=11691 vsize=62588 CPUtime=12.68
/proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 16133 0 3 0 1242 26 0 0 25 0 1 0 16619563 64090112 15102 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8353403 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11693/statm: 15647 15103 392 324 0 14716 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 62588

[startup+25.5016 s]
/proc/loadavg: 1.16 1.08 1.02 2/65 11694
/proc/meminfo: memFree=1778408/2055920 swapFree=4154980/4192956
[pid=11693] ppid=11691 vsize=104656 CPUtime=25.46
/proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 26663 0 3 0 2513 33 0 0 25 0 1 0 16619563 107167744 25632 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11693/statm: 26164 25632 392 324 0 25233 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 104656

[startup+51.1019 s]
/proc/loadavg: 1.10 1.07 1.02 2/65 11694
/proc/meminfo: memFree=1738856/2055920 swapFree=4154980/4192956
[pid=11693] ppid=11691 vsize=144156 CPUtime=51.06
/proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 36514 0 3 0 5057 49 0 0 25 0 1 0 16619563 147615744 35483 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11693/statm: 36039 35483 392 324 0 35108 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 144156

[startup+102.305 s]
/proc/loadavg: 1.04 1.06 1.01 2/65 11694
/proc/meminfo: memFree=1667752/2055920 swapFree=4154980/4192956
[pid=11693] ppid=11691 vsize=214604 CPUtime=102.25
/proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 54152 0 3 0 10159 66 0 0 25 0 1 0 16619563 219754496 53121 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11693/statm: 53651 53121 392 324 0 52720 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 214604

[startup+162.302 s]
/proc/loadavg: 1.01 1.05 1.01 2/65 11694
/proc/meminfo: memFree=1598312/2055920 swapFree=4154980/4192956
[pid=11693] ppid=11691 vsize=284728 CPUtime=162.23
/proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 71664 0 3 0 16142 81 0 0 25 0 1 0 16619563 291561472 70633 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11693/statm: 71182 70633 392 324 0 70251 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 284728

[startup+222.302 s]
/proc/loadavg: 1.00 1.04 1.00 2/65 11694
/proc/meminfo: memFree=1537320/2055920 swapFree=4154980/4192956
[pid=11693] ppid=11691 vsize=345072 CPUtime=222.22
/proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 86748 0 3 0 22118 104 0 0 25 0 1 0 16619563 353353728 85717 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11693/statm: 86268 85717 392 324 0 85337 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 345072

[startup+282.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 11694
/proc/meminfo: memFree=1472296/2055920 swapFree=4154980/4192956
[pid=11693] ppid=11691 vsize=410372 CPUtime=282.2
/proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 103070 0 3 0 28104 116 0 0 25 0 1 0 16619563 420220928 102039 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11693/statm: 102593 102039 392 324 0 101662 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 410372

[startup+342.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 11694
/proc/meminfo: memFree=1420968/2055920 swapFree=4154980/4192956
[pid=11693] ppid=11691 vsize=461232 CPUtime=342.18
/proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 115782 0 3 0 34090 128 0 0 25 0 1 0 16619563 472301568 114751 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11693/statm: 115308 114751 392 324 0 114377 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 461232

[startup+402.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 11694
/proc/meminfo: memFree=1387560/2055920 swapFree=4154980/4192956
[pid=11693] ppid=11691 vsize=495012 CPUtime=402.17
/proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 124237 0 3 0 40076 141 0 0 25 0 1 0 16619563 506892288 123206 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11693/statm: 123753 123206 392 324 0 122822 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 495012

[startup+462.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 11694
/proc/meminfo: memFree=1343592/2055920 swapFree=4154980/4192956
[pid=11693] ppid=11691 vsize=538212 CPUtime=462.16
/proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 135030 0 3 0 46064 152 0 0 25 0 1 0 16619563 551129088 133999 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11693/statm: 134553 133999 392 324 0 133622 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 538212

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11694
/proc/meminfo: memFree=1310376/2055920 swapFree=4154980/4192956
[pid=11693] ppid=11691 vsize=572068 CPUtime=522.13
/proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 143495 0 3 0 52048 165 0 0 25 0 1 0 16619563 585797632 142464 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11693/statm: 143017 142464 392 324 0 142086 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 572068

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11694
/proc/meminfo: memFree=1262440/2055920 swapFree=4154980/4192956
[pid=11693] ppid=11691 vsize=619368 CPUtime=582.12
/proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 155341 0 3 0 58036 176 0 0 25 0 1 0 16619563 634232832 154310 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11693/statm: 154842 154310 392 324 0 153911 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 619368

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11694
/proc/meminfo: memFree=1222120/2055920 swapFree=4154980/4192956
[pid=11693] ppid=11691 vsize=659208 CPUtime=642.12
/proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 165293 0 3 0 64030 182 0 0 25 0 1 0 16619563 675028992 164262 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11693/statm: 164802 164262 392 324 0 163871 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 659208


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11694
/proc/meminfo: memFree=1073256/2055920 swapFree=4154980/4192956
[pid=11693] ppid=11691 vsize=807812 CPUtime=882.05
/proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 202442 0 3 0 87998 207 0 0 25 0 1 0 16619563 827199488 201411 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11693/statm: 201953 201411 392 324 0 201022 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 807812

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11694
/proc/meminfo: memFree=1031848/2055920 swapFree=4154980/4192956
[pid=11693] ppid=11691 vsize=849732 CPUtime=942.04
/proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 212921 0 3 0 93991 213 0 0 25 0 1 0 16619563 870125568 211890 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11693/statm: 212433 211890 392 324 0 211502 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 849732

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11694
/proc/meminfo: memFree=991912/2055920 swapFree=4154980/4192956
[pid=11693] ppid=11691 vsize=888940 CPUtime=1002.02
/proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 222723 0 3 0 99983 219 0 0 25 0 1 0 16619563 910274560 221692 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11693/statm: 222235 221692 392 324 0 221304 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 888940

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11694
/proc/meminfo: memFree=961768/2055920 swapFree=4154980/4192956
[pid=11693] ppid=11691 vsize=919372 CPUtime=1062.01
/proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 230321 0 3 0 105977 224 0 0 25 0 1 0 16619563 941436928 229290 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11693/statm: 229843 229290 392 324 0 228912 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 919372

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11694
/proc/meminfo: memFree=932712/2055920 swapFree=4154980/4192956
[pid=11693] ppid=11691 vsize=948064 CPUtime=1122
/proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 237493 0 3 0 111972 228 0 0 25 0 1 0 16619563 970817536 236462 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11693/statm: 237016 236462 392 324 0 236085 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 948064

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11694
/proc/meminfo: memFree=903592/2055920 swapFree=4154980/4192956
[pid=11693] ppid=11691 vsize=977284 CPUtime=1181.98
/proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 244803 0 3 0 117966 232 0 0 25 0 1 0 16619563 1000738816 243772 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11693/statm: 244321 243772 392 324 0 243390 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 977284

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11694
/proc/meminfo: memFree=875560/2055920 swapFree=4154980/4192956
[pid=11693] ppid=11691 vsize=1004928 CPUtime=1241.96
/proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 251727 0 3 0 123960 236 0 0 25 0 1 0 16619563 1029046272 250696 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11693/statm: 251232 250696 392 324 0 250301 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1004928

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11694
/proc/meminfo: memFree=849576/2055920 swapFree=4154980/4192956
[pid=11693] ppid=11691 vsize=1030812 CPUtime=1301.96
/proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 258184 0 3 0 129956 240 0 0 25 0 1 0 16619563 1055551488 257153 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11693/statm: 257703 257153 392 324 0 256772 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1030812

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11694
/proc/meminfo: memFree=823144/2055920 swapFree=4154980/4192956
[pid=11693] ppid=11691 vsize=1057436 CPUtime=1361.94
/proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 264845 0 3 0 135950 244 0 0 25 0 1 0 16619563 1082814464 263814 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11693/statm: 264359 263814 392 324 0 263428 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1057436

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11694
/proc/meminfo: memFree=796584/2055920 swapFree=4154980/4192956
[pid=11693] ppid=11691 vsize=1083664 CPUtime=1421.93
/proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 271404 0 3 0 141946 247 0 0 25 0 1 0 16619563 1109671936 270373 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11693/statm: 270916 270373 392 324 0 269985 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1083664

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11694
/proc/meminfo: memFree=773352/2055920 swapFree=4154980/4192956
[pid=11693] ppid=11691 vsize=1107060 CPUtime=1481.91
/proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 277250 0 3 0 147941 250 0 0 25 0 1 0 16619563 1133629440 276219 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11693/statm: 276765 276219 392 324 0 275834 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1107060

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11694
/proc/meminfo: memFree=752808/2055920 swapFree=4154980/4192956
[pid=11693] ppid=11691 vsize=1127388 CPUtime=1541.89
/proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 282334 0 3 0 153937 252 0 0 25 0 1 0 16619563 1154445312 281303 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11693/statm: 281847 281303 392 324 0 280916 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1127388

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11694
/proc/meminfo: memFree=732584/2055920 swapFree=4154980/4192956
[pid=11693] ppid=11691 vsize=1147680 CPUtime=1601.88
/proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 287410 0 3 0 159933 255 0 0 25 0 1 0 16619563 1175224320 286379 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11693/statm: 286920 286379 392 324 0 285989 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1147680

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11694
/proc/meminfo: memFree=710696/2055920 swapFree=4154980/4192956
[pid=11693] ppid=11691 vsize=1169332 CPUtime=1661.86
/proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 292823 0 3 0 165928 258 0 0 25 0 1 0 16619563 1197395968 291792 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11693/statm: 292333 291792 392 324 0 291402 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1169332

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11694
/proc/meminfo: memFree=693288/2055920 swapFree=4154980/4192956
[pid=11693] ppid=11691 vsize=1186976 CPUtime=1721.85
/proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 297226 0 3 0 171925 260 0 0 25 0 1 0 16619563 1215463424 296195 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11693/statm: 296744 296195 392 324 0 295813 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1186976

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11694
/proc/meminfo: memFree=671976/2055920 swapFree=4154980/4192956
[pid=11693] ppid=11691 vsize=1208004 CPUtime=1781.84
/proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 302479 0 3 0 177919 265 0 0 25 0 1 0 16619563 1236996096 301448 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11693/statm: 302001 301448 392 324 0 301070 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1208004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11694
/proc/meminfo: memFree=666344/2055920 swapFree=4154980/4192956
[pid=11693] ppid=11691 vsize=1213492 CPUtime=1800.03
/proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 303856 0 3 0 179738 265 0 0 25 0 1 0 16619563 1242615808 302825 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11693/statm: 303373 302825 392 324 0 302442 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1213492

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11695
/proc/meminfo: memFree=1308128/2055920 swapFree=4154980/4192956
[pid=11693] ppid=11691 vsize=0 CPUtime=1800.14
/proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194308 303857 0 3 0 179738 276 0 0 25 0 1 0 16619563 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/11693/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.69
CPU time (s): 1800.23
CPU user time (s): 1797.39
CPU system time (s): 2.84657
CPU usage (%): 99.9744
Max. virtual memory (cumulated for all children) (KiB): 1213492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.39
system time used= 2.84657
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 303857
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 5164

runsolver used 1.13983 second user time and 3.79742 second system time

The end

Launcher Data (download as text)

Begin job on node50 on Sun Apr 15 06:15:44 UTC 2007

IDJOB= 351928
IDBENCH= 1852
IDSOLVER= 163
FILE ID= node50/351928-1176617744

PBS_JOBID= 4557018

Free space on /tmp= 66560 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-l152lav.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351928-1176617744/instance-351928-1176617744.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node50/watcher-351928-1176617744 -o ROOT/results/node50/solver-351928-1176617744 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351928-1176617744/instance-351928-1176617744.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  1a5510d564851e49e3b50f1a87922ca2

RANDOM SEED= 270765877

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node50.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:       1880000 kB
Buffers:          4160 kB
Cached:         122500 kB
SwapCached:       8796 kB
Active:          31764 kB
Inactive:       104808 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1880000 kB
SwapTotal:     4192956 kB
SwapFree:      4154980 kB
Dirty:            4484 kB
Writeback:           0 kB
Mapped:          11192 kB
Slab:            25220 kB
Committed_AS:   366772 kB
PageTables:       1516 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= 66560 MiB

End job on node50 on Sun Apr 15 06:45:47 UTC 2007