Trace number 351304

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.17 1801.49

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-modszk1.opb
MD5SUM867ebc446ef1d12fd0b7d8d0b9e71a77
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark161
Best CPU time to get the best result obtained on this benchmark1801.99
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 161
Optimality of the best value was proved NO
Number of variables48602
Total number of constraints686
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 constraints686
Minimum length of a constraint30
Maximum length of a constraint600
Number of terms in the objective function 29700
Biggest coefficient in the objective function 7111
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 549494
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 549494
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.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/351304-1176594329/instance-351304-1176594329.opb
0.00/0.01	c File size is 1262480 bytes.
0.18/0.27	c Highest Coefficient sum: 549494
0.18/0.27	c Parsing was ok!!
0.18/0.27	c Total parsing time: 0.249 s
0.18/0.28	c Var: 48602 Constr: 1372 5/0/1367 Lit: 178324 Watch. Lit: 14992
0.18/0.28	c Obj. Vars: 29700 (61.1086 % of total variables)
1.37/1.40	c Pre-processing Time: 1.382 s
1.37/1.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.37/1.40	c        0  47405     1362   176224  129    67183  352448      0      0 1.38
1.37/1.40	c Switching off LPR mode.
1799.98/1801.33	c      100  47405     1462   253809  173    76956  387693    100     64 1.54
1799.98/1801.33	c      251  47405     1613   264318  163   132569  426463    251    145 1.72
1799.98/1801.33	c      476  47405     1838   279197  151   136136  469110    476    264 1.80
1799.98/1801.33	c      814  47405     2176   297234  136   136397  516022    814    443 1.84
1799.98/1801.33	c     1322  47405     2684   331699  123   137868  567625   1322    668 1.98
1799.98/1801.33	c     2085  47405     3447   367471  106   138023  624388   2085   1015 2.05
1799.98/1801.33	c     3232  47405     4594   495509  107   140251  686827   3232   1384 2.33
1799.98/1801.33	c     4953  47405     6315   628359   99   144469  755510   4953   1674 2.96
1799.98/1801.33	c     7537  47405     8899   805162   90   150631  831062   7537   2200 3.42
1799.98/1801.33	c    11417  47405    12779  1686013  131   159768  914169  11417   2096 5.45
1799.98/1801.33	c    17239  47405    18601  2061029  110   171190  500000  17239   2785 6.19
1799.98/1801.33	c    25976  47405    27338  3615461  132   187672  550001  25976   2533 10.25
1799.98/1801.33	c    39088  47405    40450  4981093  123   210901  605002  39088   1922 20.33
1799.98/1801.33	c    58758  47405    60120  7475837  124   248120  665503  58758   1571 37.38
1799.98/1801.33	c    88268  47405    89630 10220559  114   306746  732054  88268   1715 51.45
1799.98/1801.33	c   132538  47405   133900 18107995  135   396003  805260 132538   1216 108.95
1799.98/1801.33	c   198948  47405   200310 45056162  224   529187  885787 198948    350 567.50
1799.98/1801.33	c   298569  47405   299931 53597390  178   726203  974366 298569    380 785.63
1799.98/1801.33	c   448005  47405   449367 69695400  155  1025087  500000 448005    421 1063.53
1799.98/1801.33	c Resources Exceeded
1799.98/1801.33	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.98/1801.33	c   19   657479  15635  1227881   145287  8137599 143925    365 1800.01
1799.98/1801.33	s UNKNOWN
1799.98/1801.33	c Total time: 1800.01 s

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node37/watcher-351304-1176594329 -o ROOT/results/node37/solver-351304-1176594329 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351304-1176594329/instance-351304-1176594329.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.03 0.99 0.99 3/78 24711
/proc/meminfo: memFree=1879744/2055920 swapFree=4014372/4192956
[pid=24711] ppid=24709 vsize=2560 CPUtime=0
/proc/24711/stat : 24711 (bsolo3.0.16) D 24709 24711 24562 0 -1 4194304 61 0 1 0 0 0 0 0 18 0 1 0 107345405 2621440 45 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 3167140 0 0 4096 0 18446744071563608240 0 0 17 0 0 0
/proc/24711/statm: 640 45 35 324 0 8 0

[startup+0.0947991 s]
/proc/loadavg: 1.03 0.99 0.99 3/78 24711
/proc/meminfo: memFree=1879744/2055920 swapFree=4014372/4192956
[pid=24711] ppid=24709 vsize=15920 CPUtime=0.06
/proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 1245 0 2 0 6 0 0 0 18 0 1 0 107345405 16302080 1175 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134585200 0 0 4096 16384 0 0 0 17 0 0 0
/proc/24711/statm: 3980 1175 375 324 0 2740 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15920

[startup+0.102798 s]
/proc/loadavg: 1.03 0.99 0.99 3/78 24711
/proc/meminfo: memFree=1879744/2055920 swapFree=4014372/4192956
[pid=24711] ppid=24709 vsize=8380 CPUtime=0.07
/proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 1310 0 2 0 7 0 0 0 18 0 1 0 107345405 8581120 1240 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/24711/statm: 2095 1240 384 324 0 855 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 8380

[startup+0.302836 s]
/proc/loadavg: 1.03 0.99 0.99 3/78 24711
/proc/meminfo: memFree=1879744/2055920 swapFree=4014372/4192956
[pid=24711] ppid=24709 vsize=14568 CPUtime=0.28
/proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 3315 0 2 0 26 2 0 0 19 0 1 0 107345405 14917632 2798 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/24711/statm: 3642 2798 306 324 0 2711 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 14568

[startup+0.701912 s]
/proc/loadavg: 1.03 0.99 0.99 3/78 24711
/proc/meminfo: memFree=1879744/2055920 swapFree=4014372/4192956
[pid=24711] ppid=24709 vsize=18308 CPUtime=0.67
/proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 4736 0 2 0 62 5 0 0 23 0 1 0 107345405 18747392 3744 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/24711/statm: 4577 3744 308 324 0 3646 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 18308

[startup+1.50106 s]
/proc/loadavg: 1.03 0.99 0.99 2/79 24712
/proc/meminfo: memFree=1865592/2055920 swapFree=4014372/4192956
[pid=24711] ppid=24709 vsize=16336 CPUtime=1.47
/proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 4888 0 2 0 140 7 0 0 25 0 1 0 107345405 16728064 3266 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/24711/statm: 4084 3266 312 324 0 3153 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 16336

[startup+3.10136 s]
/proc/loadavg: 1.02 0.99 0.99 2/79 24712
/proc/meminfo: memFree=1863544/2055920 swapFree=4014372/4192956
[pid=24711] ppid=24709 vsize=23980 CPUtime=3.07
/proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 6833 0 2 0 296 11 0 0 25 0 1 0 107345405 24555520 5211 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/24711/statm: 5995 5211 312 324 0 5064 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 23980

[startup+6.30197 s]
/proc/loadavg: 1.02 0.99 0.99 2/79 24712
/proc/meminfo: memFree=1845816/2055920 swapFree=4014372/4192956
[pid=24711] ppid=24709 vsize=43488 CPUtime=6.27
/proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 11707 0 2 0 611 16 0 0 25 0 1 0 107345405 44531712 10085 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/24711/statm: 10872 10085 312 324 0 9941 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 43488

[startup+12.7012 s]
/proc/loadavg: 1.02 0.99 0.99 2/79 24712
/proc/meminfo: memFree=1811832/2055920 swapFree=4014372/4192956
[pid=24711] ppid=24709 vsize=73452 CPUtime=12.66
/proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 19213 0 2 0 1240 26 0 0 25 0 1 0 107345405 75214848 17591 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551000 0 0 4096 16384 0 0 0 17 0 0 0
/proc/24711/statm: 18363 17591 312 324 0 17432 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 73452

[startup+25.5026 s]
/proc/loadavg: 1.02 0.99 0.99 2/79 24712
/proc/meminfo: memFree=1786424/2055920 swapFree=4014372/4192956
[pid=24711] ppid=24709 vsize=97896 CPUtime=25.47
/proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 25333 0 2 0 2513 34 0 0 25 0 1 0 107345405 100245504 23711 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/24711/statm: 24474 23711 312 324 0 23543 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 97896

[startup+51.1024 s]
/proc/loadavg: 1.01 0.99 0.99 2/79 24712
/proc/meminfo: memFree=1730296/2055920 swapFree=4014372/4192956
[pid=24711] ppid=24709 vsize=154320 CPUtime=51.06
/proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 39435 0 2 0 5060 46 0 0 25 0 1 0 107345405 158023680 37813 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/24711/statm: 38580 37813 312 324 0 37649 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 154320

[startup+102.305 s]
/proc/loadavg: 1.00 0.99 0.99 2/79 24712
/proc/meminfo: memFree=1627448/2055920 swapFree=4014420/4192956
[pid=24711] ppid=24709 vsize=256052 CPUtime=102.24
/proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 64859 0 2 0 10151 73 0 0 25 0 1 0 107345405 262197248 63237 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 0 0 0
/proc/24711/statm: 64013 63237 312 324 0 63082 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 256052

[startup+162.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/79 24712
/proc/meminfo: memFree=1509048/2055920 swapFree=4014420/4192956
[pid=24711] ppid=24709 vsize=374656 CPUtime=162.21
/proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 94520 0 2 0 16126 95 0 0 25 0 1 0 107345405 383647744 92898 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 0 0 0
/proc/24711/statm: 93664 92898 312 324 0 92733 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 374656

[startup+222.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/79 24712
/proc/meminfo: memFree=1447808/2055920 swapFree=4014468/4192956
[pid=24711] ppid=24709 vsize=435244 CPUtime=222.18
/proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 109658 0 2 0 22108 110 0 0 25 0 1 0 107345405 445689856 108036 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 0 0 0
/proc/24711/statm: 108811 108036 312 324 0 107880 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 435244

[startup+282.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/79 24712
/proc/meminfo: memFree=1408256/2055920 swapFree=4014468/4192956
[pid=24711] ppid=24709 vsize=474996 CPUtime=282.13
/proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 119580 0 2 0 28095 118 0 0 25 0 1 0 107345405 486395904 117958 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0
/proc/24711/statm: 118749 117958 312 324 0 117818 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 474996

[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/79 24712
/proc/meminfo: memFree=1372736/2055920 swapFree=4014468/4192956
[pid=24711] ppid=24709 vsize=509996 CPUtime=342.08
/proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 128346 0 2 0 34082 126 0 0 25 0 1 0 107345405 522235904 126724 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0
/proc/24711/statm: 127499 126724 312 324 0 126568 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 509996

[startup+402.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/79 24712
/proc/meminfo: memFree=1347072/2055920 swapFree=4014516/4192956
[pid=24711] ppid=24709 vsize=535808 CPUtime=402.05
/proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 134783 0 2 0 40073 132 0 0 25 0 1 0 107345405 548667392 133161 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0
/proc/24711/statm: 133952 133161 312 324 0 133021 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 535808

[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/79 24712
/proc/meminfo: memFree=1323776/2055920 swapFree=4014516/4192956
[pid=24711] ppid=24709 vsize=558648 CPUtime=462
/proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 140509 0 2 0 46063 137 0 0 25 0 1 0 107345405 572055552 138887 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 0 0 0
/proc/24711/statm: 139662 138887 312 324 0 138731 0
Current children cumulated CPU time (s) 462
Current children cumulated vsize (KiB) 558648

[startup+522.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/79 24712
/proc/meminfo: memFree=1293440/2055920 swapFree=4014580/4192956
[pid=24711] ppid=24709 vsize=589312 CPUtime=521.96
/proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 148178 0 2 0 52054 142 0 0 25 0 1 0 107345405 603455488 146556 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 0 0 0
/proc/24711/statm: 147328 146556 312 324 0 146397 0
Current children cumulated CPU time (s) 521.96
Current children cumulated vsize (KiB) 589312

[startup+582.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/79 24712
/proc/meminfo: memFree=1209600/2055920 swapFree=4014580/4192956
[pid=24711] ppid=24709 vsize=672880 CPUtime=581.93
/proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 169071 0 2 0 58030 163 0 0 25 0 1 0 107345405 689029120 167449 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 0 0 0
/proc/24711/statm: 168220 167449 312 324 0 167289 0
Current children cumulated CPU time (s) 581.93
Current children cumulated vsize (KiB) 672880

[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/79 24712
/proc/meminfo: memFree=1187648/2055920 swapFree=4014580/4192956
[pid=24711] ppid=24709 vsize=694316 CPUtime=641.9
/proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 174413 0 2 0 64017 173 0 0 25 0 1 0 107345405 710979584 172791 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0
/proc/24711/statm: 173579 172791 312 324 0 172648 0
Current children cumulated CPU time (s) 641.9
Current children cumulated vsize (KiB) 694316


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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 24712
/proc/meminfo: memFree=1072832/2055920 swapFree=4014708/4192956
[pid=24711] ppid=24709 vsize=809136 CPUtime=821.72
/proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 203117 0 2 0 81965 207 0 0 25 0 1 0 107345405 828555264 201495 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 0 0 0
/proc/24711/statm: 202284 201495 312 324 0 201353 0
Current children cumulated CPU time (s) 821.72
Current children cumulated vsize (KiB) 809136

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 24712
/proc/meminfo: memFree=1018880/2055920 swapFree=4014708/4192956
[pid=24711] ppid=24709 vsize=862836 CPUtime=881.68
/proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 216538 0 2 0 87943 225 0 0 25 0 1 0 107345405 883544064 214916 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0
/proc/24711/statm: 215709 214916 312 324 0 214778 0
Current children cumulated CPU time (s) 881.68
Current children cumulated vsize (KiB) 862836

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 24786
/proc/meminfo: memFree=974800/2055920 swapFree=4014708/4192956
[pid=24711] ppid=24709 vsize=904840 CPUtime=941.65
/proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 227049 0 2 0 93922 243 0 0 25 0 1 0 107345405 926556160 225427 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0
/proc/24711/statm: 226210 225427 312 324 0 225279 0
Current children cumulated CPU time (s) 941.65
Current children cumulated vsize (KiB) 904840

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 24910
/proc/meminfo: memFree=951040/2055920 swapFree=4014772/4192956
[pid=24711] ppid=24709 vsize=929308 CPUtime=1001.62
/proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 233167 0 2 0 99899 263 0 0 25 0 1 0 107345405 951611392 231545 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0
/proc/24711/statm: 232327 231545 312 324 0 231396 0
Current children cumulated CPU time (s) 1001.62
Current children cumulated vsize (KiB) 929308

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 24910
/proc/meminfo: memFree=929408/2055920 swapFree=4014772/4192956
[pid=24711] ppid=24709 vsize=951092 CPUtime=1061.55
/proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 238602 0 2 0 105881 274 0 0 25 0 1 0 107345405 973918208 236980 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0
/proc/24711/statm: 237773 236980 312 324 0 236842 0
Current children cumulated CPU time (s) 1061.55
Current children cumulated vsize (KiB) 951092

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 24910
/proc/meminfo: memFree=834816/2055920 swapFree=4014836/4192956
[pid=24711] ppid=24709 vsize=1045128 CPUtime=1121.52
/proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 262632 0 2 0 111846 306 0 0 25 0 1 0 107345405 1070211072 260494 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 0 0 0
/proc/24711/statm: 261282 260494 312 324 0 260351 0
Current children cumulated CPU time (s) 1121.52
Current children cumulated vsize (KiB) 1045128

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 24910
/proc/meminfo: memFree=834688/2055920 swapFree=4014836/4192956
[pid=24711] ppid=24709 vsize=1045128 CPUtime=1181.48
/proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 262632 0 2 0 117842 306 0 0 25 0 1 0 107345405 1070211072 260494 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 0 0 0
/proc/24711/statm: 261282 260494 312 324 0 260351 0
Current children cumulated CPU time (s) 1181.48
Current children cumulated vsize (KiB) 1045128

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 24910
/proc/meminfo: memFree=834496/2055920 swapFree=4014900/4192956
[pid=24711] ppid=24709 vsize=1045128 CPUtime=1241.42
/proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 262632 0 2 0 123836 306 0 0 25 0 1 0 107345405 1070211072 260494 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24711/statm: 261282 260494 312 324 0 260351 0
Current children cumulated CPU time (s) 1241.42
Current children cumulated vsize (KiB) 1045128

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 24910
/proc/meminfo: memFree=834560/2055920 swapFree=4014900/4192956
[pid=24711] ppid=24709 vsize=1045128 CPUtime=1301.37
/proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 262632 0 2 0 129831 306 0 0 25 0 1 0 107345405 1070211072 260494 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546306 0 0 4096 16384 0 0 0 17 0 0 0
/proc/24711/statm: 261282 260494 312 324 0 260351 0
Current children cumulated CPU time (s) 1301.37
Current children cumulated vsize (KiB) 1045128

[startup+1362.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/79 24910
/proc/meminfo: memFree=834560/2055920 swapFree=4014900/4192956
[pid=24711] ppid=24709 vsize=1045128 CPUtime=1361.32
/proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 262632 0 2 0 135821 311 0 0 25 0 1 0 107345405 1070211072 260494 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 0 0 0
/proc/24711/statm: 261282 260494 312 324 0 260351 0
Current children cumulated CPU time (s) 1361.32
Current children cumulated vsize (KiB) 1045128

[startup+1422.31 s]
/proc/loadavg: 1.02 1.01 1.00 2/79 24910
/proc/meminfo: memFree=834624/2055920 swapFree=4014964/4192956
[pid=24711] ppid=24709 vsize=1045128 CPUtime=1421.28
/proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 262632 0 2 0 141815 313 0 0 25 0 1 0 107345405 1070211072 260494 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/24711/statm: 261282 260494 312 324 0 260351 0
Current children cumulated CPU time (s) 1421.28
Current children cumulated vsize (KiB) 1045128

[startup+1482.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/79 24910
/proc/meminfo: memFree=834496/2055920 swapFree=4014964/4192956
[pid=24711] ppid=24709 vsize=1045128 CPUtime=1481.24
/proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 262632 0 2 0 147807 317 0 0 25 0 1 0 107345405 1070211072 260494 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 3598165 0 0 4096 16384 0 0 0 17 0 0 0
/proc/24711/statm: 261282 260494 312 324 0 260351 0
Current children cumulated CPU time (s) 1481.24
Current children cumulated vsize (KiB) 1045128

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 24910
/proc/meminfo: memFree=834432/2055920 swapFree=4015028/4192956
[pid=24711] ppid=24709 vsize=1045128 CPUtime=1541.18
/proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 262632 0 2 0 153798 320 0 0 25 0 1 0 107345405 1070211072 260494 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 0 0 0
/proc/24711/statm: 261282 260494 312 324 0 260351 0
Current children cumulated CPU time (s) 1541.18
Current children cumulated vsize (KiB) 1045128

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 24910
/proc/meminfo: memFree=834432/2055920 swapFree=4015028/4192956
[pid=24711] ppid=24709 vsize=1045128 CPUtime=1601.12
/proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 262632 0 2 0 159790 322 0 0 25 0 1 0 107345405 1070211072 260494 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0
/proc/24711/statm: 261282 260494 312 324 0 260351 0
Current children cumulated CPU time (s) 1601.12
Current children cumulated vsize (KiB) 1045128

[startup+1662.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/79 24910
/proc/meminfo: memFree=834368/2055920 swapFree=4015028/4192956
[pid=24711] ppid=24709 vsize=1045128 CPUtime=1661.08
/proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 262632 0 2 0 165783 325 0 0 25 0 1 0 107345405 1070211072 260494 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0
/proc/24711/statm: 261282 260494 312 324 0 260351 0
Current children cumulated CPU time (s) 1661.08
Current children cumulated vsize (KiB) 1045128

[startup+1722.3 s]
/proc/loadavg: 1.02 1.01 1.00 3/79 24910
/proc/meminfo: memFree=834304/2055920 swapFree=4015092/4192956
[pid=24711] ppid=24709 vsize=1045128 CPUtime=1721.04
/proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 262632 0 2 0 171776 328 0 0 25 0 1 0 107345405 1070211072 260494 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 0 0 0
/proc/24711/statm: 261282 260494 312 324 0 260351 0
Current children cumulated CPU time (s) 1721.04
Current children cumulated vsize (KiB) 1045128

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 24910
/proc/meminfo: memFree=834048/2055920 swapFree=4015092/4192956
[pid=24711] ppid=24709 vsize=1045128 CPUtime=1780.99
/proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 262632 0 2 0 177769 330 0 0 25 0 1 0 107345405 1070211072 260494 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0
/proc/24711/statm: 261282 260494 312 324 0 260351 0
Current children cumulated CPU time (s) 1780.99
Current children cumulated vsize (KiB) 1045128



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 24910
/proc/meminfo: memFree=1279104/2055920 swapFree=4015092/4192956
[pid=24711] ppid=24709 vsize=0 CPUtime=1800.08
/proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194308 262633 0 2 0 179670 338 0 0 25 0 1 0 107345405 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0
/proc/24711/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 0

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

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

Child status: 0
Real time (s): 1801.49
CPU time (s): 1800.17
CPU user time (s): 1796.7
CPU system time (s): 3.47047
CPU usage (%): 99.927
Max. virtual memory (cumulated for all children) (KiB): 1047192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.7
system time used= 3.47047
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 262633
page faults= 2
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= 33283

runsolver used 1.84172 second user time and 4.73928 second system time

The end

Launcher Data (download as text)

Begin job on node37 on Sat Apr 14 23:45:29 UTC 2007

IDJOB= 351304
IDBENCH= 1717
IDSOLVER= 163
FILE ID= node37/351304-1176594329

PBS_JOBID= 4556985

Free space on /tmp= 66559 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-modszk1.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351304-1176594329/instance-351304-1176594329.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node37/watcher-351304-1176594329 -o ROOT/results/node37/solver-351304-1176594329 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351304-1176594329/instance-351304-1176594329.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  867ebc446ef1d12fd0b7d8d0b9e71a77

RANDOM SEED= 486940824

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node37.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.281
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.281
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:       1880408 kB
Buffers:         27156 kB
Cached:          54176 kB
SwapCached:       1016 kB
Active:          14580 kB
Inactive:        90676 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1880408 kB
SwapTotal:     4192956 kB
SwapFree:      4014372 kB
Dirty:            5708 kB
Writeback:           0 kB
Mapped:          32500 kB
Slab:            55644 kB
Committed_AS:  1122224 kB
PageTables:       2000 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= 66559 MiB

End job on node37 on Sun Apr 15 00:15:33 UTC 2007