Trace number 347864

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.14 1800.72

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome11.opb
MD5SUMaf7b516198b9fda389a0d83cfb6c28d1
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 variables733406
Total number of constraints12168
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 constraints12168
Minimum length of a constraint13
Maximum length of a constraint6840
Number of terms in the objective function 374066
Biggest coefficient in the objective function 639
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 887406
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 887406
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.16 - 04/04/2007 : 1458 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 Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/347864-1176526101/instance-347864-1176526101.opb
0.00/0.00	c File size is 29424941 bytes.
8.59/8.60	c Highest Coefficient sum: 887406
8.59/8.60	c Parsing was ok!!
8.59/8.60	c Total parsing time: 8.597 s
8.89/8.95	c Var: 733406 Constr: 24310 1002/0/23308 Lit: 4273550 Watch. Lit: 574624
8.89/8.95	c Obj. Vars: 374066 (51.0039 % of total variables)
183.13/183.20	c Pre-processing Time: 183.131 s
183.13/183.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
183.13/183.23	c        0 525030    24310  4273550  175  2280440  500000      0      0 183.13
183.13/183.23	c Switching off LPR mode.
1799.91/1800.58	c      100 525030    24410  4281406  175  2701325  550001    100      0 184.85
1799.91/1800.58	c      253 525027    24563  4285782  174  2695879  605002    253      1 185.24
1799.91/1800.58	c      478 525026    24788  4292901  173  2696474  665503    478      2 188.19
1799.91/1800.58	c      816 525026    25126  4306690  171  2702026  732054    816      4 189.57
1799.91/1800.58	c     1332 525025    25642  4327597  168  2703046  805260   1332      6 190.50
1799.91/1800.58	c     2095 525023    26405  4343816  164  2708742  885787   2095     10 196.43
1799.91/1800.58	c     3242 525023    27552  4388639  159  2714778  974366   3242     16 199.40
1799.91/1800.58	c     4964 525023    29274  4495702  153  2716010  500000   4964     24 203.55
1799.91/1800.58	c     7548 525013    31858  4671127  146  2721895  550001   7548     36 207.79
1799.91/1800.58	c    11428 525010    35738  4997056  139  2741152  605002  11428     49 229.81
1799.91/1800.58	c    17250 525009    41560  5610965  135  2748270  665503  17250     73 234.74
1799.91/1800.58	c    25987 525008    50297  6277587  124  2778834  732054  25987    106 243.68
1799.91/1800.58	c    39098 525004    63408  7446212  117  2800637  805260  39098    151 258.11
1799.91/1800.58	c    58769 525004    83079  8965284  107  2862304  885787  58769    212 276.95
1799.91/1800.58	c    88280 525004   112590 12108440  107  2918583  974366  88280    284 310.06
1799.91/1800.58	c   132551 525004   156861 13885729   88  3005860  500000 132551    364 363.35
1799.91/1800.58	c   198961 525004   223271 20367464   91  3138277  550001 198961    321 619.47
1799.91/1800.58	c   298581 524993   322891 24483001   75  3332036  605002 298581    316 943.69
1799.91/1800.58	c   448025 524990   472335 34176634   72  3631507  665503 448025    294 1520.50
1799.91/1800.58	c Resources Exceeded
1799.91/1800.58	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.91/1800.58	c   19   549795  21839  4564004   574105 45115584 549795    305 1800.00
1799.91/1800.58	s UNKNOWN
1799.91/1800.58	c Total time: 1800 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/node7/watcher-347864-1176526101 -o ROOT/results/node7/solver-347864-1176526101 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/347864-1176526101/instance-347864-1176526101.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.92 1.04 1.02 3/77 8636
/proc/meminfo: memFree=1671072/2055920 swapFree=4191880/4192956
[pid=8636] ppid=8634 vsize=40472 CPUtime=0
/proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 128647726 41443328 335 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8636/statm: 10118 336 281 324 0 2003 0

[startup+0.00972505 s]
/proc/loadavg: 0.92 1.04 1.02 3/77 8636
/proc/meminfo: memFree=1671072/2055920 swapFree=4191880/4192956
[pid=8636] ppid=8634 vsize=40756 CPUtime=0
/proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 416 0 0 0 0 0 0 0 18 0 1 0 128647726 41734144 384 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134538841 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8636/statm: 10189 389 287 324 0 2074 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 40756

[startup+0.101735 s]
/proc/loadavg: 0.92 1.04 1.02 3/77 8636
/proc/meminfo: memFree=1671072/2055920 swapFree=4191880/4192956
[pid=8636] ppid=8634 vsize=44200 CPUtime=0.09
/proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 1544 0 0 0 9 0 0 0 18 0 1 0 128647726 45260800 1344 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8636/statm: 11050 1345 404 324 0 2935 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 44200

[startup+0.301756 s]
/proc/loadavg: 0.92 1.04 1.02 3/77 8636
/proc/meminfo: memFree=1671072/2055920 swapFree=4191880/4192956
[pid=8636] ppid=8634 vsize=50608 CPUtime=0.29
/proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 3672 0 0 0 28 1 0 0 19 0 1 0 128647726 51822592 3218 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8636/statm: 12652 3219 667 324 0 4537 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50608

[startup+0.701797 s]
/proc/loadavg: 0.92 1.04 1.02 3/77 8636
/proc/meminfo: memFree=1671072/2055920 swapFree=4191880/4192956
[pid=8636] ppid=8634 vsize=65080 CPUtime=0.69
/proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 8365 0 0 0 66 3 0 0 23 0 1 0 128647726 66641920 6779 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8636/statm: 16270 6780 1159 324 0 8155 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 65080

[startup+1.50188 s]
/proc/loadavg: 0.92 1.04 1.02 2/78 8637
/proc/meminfo: memFree=1632600/2055920 swapFree=4191880/4192956
[pid=8636] ppid=8634 vsize=76252 CPUtime=1.49
/proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 14456 0 0 0 142 7 0 0 25 0 1 0 128647726 78082048 12485 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8636/statm: 19063 12485 1907 324 0 10948 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 76252

[startup+3.10105 s]
/proc/loadavg: 0.92 1.04 1.02 2/78 8637
/proc/meminfo: memFree=1621464/2055920 swapFree=4191880/4192956
[pid=8636] ppid=8634 vsize=92828 CPUtime=3.09
/proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 20079 0 0 0 299 10 0 0 25 0 1 0 128647726 95055872 18108 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8636/statm: 23207 18108 3247 324 0 15092 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 92828

[startup+6.30138 s]
/proc/loadavg: 0.93 1.04 1.02 2/78 8637
/proc/meminfo: memFree=1587800/2055920 swapFree=4191880/4192956
[pid=8636] ppid=8634 vsize=129076 CPUtime=6.28
/proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 32073 0 0 0 613 15 0 0 25 0 1 0 128647726 132173824 28851 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8636/statm: 32269 28851 5839 324 0 24154 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 129076

[startup+12.7011 s]
/proc/loadavg: 0.93 1.04 1.02 2/78 8637
/proc/meminfo: memFree=1478360/2055920 swapFree=4191880/4192956
[pid=8636] ppid=8634 vsize=209096 CPUtime=12.69
/proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 59592 0 0 0 1240 29 0 0 25 0 1 0 128647726 214114304 48455 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8636/statm: 52274 48455 305 324 0 51343 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 209096

[startup+25.5014 s]
/proc/loadavg: 0.95 1.04 1.02 2/78 8637
/proc/meminfo: memFree=1477848/2055920 swapFree=4191880/4192956
[pid=8636] ppid=8634 vsize=209728 CPUtime=25.48
/proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 59735 0 0 0 2515 33 0 0 25 0 1 0 128647726 214761472 48598 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8636/statm: 52432 48598 305 324 0 51501 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 209728

[startup+51.1011 s]
/proc/loadavg: 0.96 1.03 1.01 2/78 8637
/proc/meminfo: memFree=1476568/2055920 swapFree=4191880/4192956
[pid=8636] ppid=8634 vsize=211168 CPUtime=51.05
/proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 60101 0 0 0 5061 44 0 0 25 0 1 0 128647726 216236032 48964 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8636/statm: 52792 48964 305 324 0 51861 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 211168

[startup+102.305 s]
/proc/loadavg: 0.98 1.03 1.01 2/78 8637
/proc/meminfo: memFree=1407128/2055920 swapFree=4191880/4192956
[pid=8636] ppid=8634 vsize=280388 CPUtime=102.25
/proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 84577 0 0 0 10139 86 0 0 25 0 1 0 128647726 287117312 66277 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8636/statm: 70097 66277 307 324 0 69166 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 280388

[startup+162.302 s]
/proc/loadavg: 0.99 1.02 1.00 2/78 8637
/proc/meminfo: memFree=1407128/2055920 swapFree=4191880/4192956
[pid=8636] ppid=8634 vsize=280388 CPUtime=162.23
/proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 84577 0 0 0 16117 106 0 0 25 0 1 0 128647726 287117312 66277 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134540886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8636/statm: 70097 66277 307 324 0 69166 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 280388

[startup+222.301 s]
/proc/loadavg: 0.99 1.02 1.00 2/78 8637
/proc/meminfo: memFree=1433240/2055920 swapFree=4191880/4192956
[pid=8636] ppid=8634 vsize=253996 CPUtime=222.21
/proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 90031 0 0 0 22018 203 0 0 25 0 1 0 128647726 260091904 59753 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10846277 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8636/statm: 63499 59753 311 324 0 62568 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 253996

[startup+282.301 s]
/proc/loadavg: 0.99 1.01 1.00 2/78 8637
/proc/meminfo: memFree=1370200/2055920 swapFree=4191880/4192956
[pid=8636] ppid=8634 vsize=316768 CPUtime=282.19
/proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 105768 0 0 0 27954 265 0 0 25 0 1 0 128647726 324370432 75490 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8636/statm: 79192 75490 311 324 0 78261 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 316768

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 8637
/proc/meminfo: memFree=1312472/2055920 swapFree=4191880/4192956
[pid=8636] ppid=8634 vsize=374396 CPUtime=342.18
/proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 120181 0 0 0 33913 305 0 0 25 0 1 0 128647726 383381504 89903 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8636/statm: 93599 89903 311 324 0 92668 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 374396

[startup+402.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 8637
/proc/meminfo: memFree=1285784/2055920 swapFree=4191880/4192956
[pid=8636] ppid=8634 vsize=401296 CPUtime=402.16
/proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 126896 0 0 0 39892 324 0 0 25 0 1 0 128647726 410927104 96618 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8636/statm: 100324 96618 311 324 0 99393 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 401296

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 8637
/proc/meminfo: memFree=1262872/2055920 swapFree=4191880/4192956
[pid=8636] ppid=8634 vsize=424080 CPUtime=462.15
/proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 132596 0 0 0 45881 334 0 0 25 0 1 0 128647726 434257920 102318 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8636/statm: 106020 102318 311 324 0 105089 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 424080

[startup+522.301 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 8637
/proc/meminfo: memFree=1240408/2055920 swapFree=4191880/4192956
[pid=8636] ppid=8634 vsize=446800 CPUtime=522.13
/proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 138272 0 0 0 51870 343 0 0 25 0 1 0 128647726 457523200 107994 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8636/statm: 111700 107994 311 324 0 110769 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 446800

[startup+582.302 s]
/proc/loadavg: 1.12 1.04 1.01 2/78 8637
/proc/meminfo: memFree=1225944/2055920 swapFree=4191880/4192956
[pid=8636] ppid=8634 vsize=460832 CPUtime=582.12
/proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 141792 0 0 0 57862 350 0 0 25 0 1 0 128647726 471891968 111514 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8636/statm: 115208 111514 311 324 0 114277 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 460832

[startup+642.301 s]
/proc/loadavg: 1.12 1.04 1.00 2/78 8637
/proc/meminfo: memFree=1207960/2055920 swapFree=4191880/4192956
[pid=8636] ppid=8634 vsize=478604 CPUtime=642.11
/proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 146243 0 0 0 63843 368 0 0 25 0 1 0 128647726 490090496 115965 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8636/statm: 119651 115965 311 324 0 118720 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 478604


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

[startup+882.301 s]
/proc/loadavg: 1.04 1.05 1.00 2/78 8835
/proc/meminfo: memFree=1157592/2055920 swapFree=4191880/4192956
[pid=8636] ppid=8634 vsize=528816 CPUtime=881.95
/proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 158787 0 0 0 87773 422 0 0 25 0 1 0 128647726 541507584 128509 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8636/statm: 132204 128509 311 324 0 131273 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 528816

[startup+942.302 s]
/proc/loadavg: 1.01 1.04 1.00 2/78 8835
/proc/meminfo: memFree=1151576/2055920 swapFree=4191880/4192956
[pid=8636] ppid=8634 vsize=534856 CPUtime=941.93
/proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 160303 0 0 0 93766 427 0 0 25 0 1 0 128647726 547692544 130025 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8636/statm: 133714 130025 311 324 0 132783 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 534856

[startup+1002.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/78 8835
/proc/meminfo: memFree=1107736/2055920 swapFree=4191880/4192956
[pid=8636] ppid=8634 vsize=578700 CPUtime=1001.92
/proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 171268 0 0 0 99745 447 0 0 25 0 1 0 128647726 592588800 140990 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8636/statm: 144675 140990 311 324 0 143744 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 578700

[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 8835
/proc/meminfo: memFree=1092632/2055920 swapFree=4191880/4192956
[pid=8636] ppid=8634 vsize=593884 CPUtime=1061.9
/proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 175065 0 0 0 105733 457 0 0 25 0 1 0 128647726 608137216 144787 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10863416 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8636/statm: 148471 144787 311 324 0 147540 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 593884

[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 8835
/proc/meminfo: memFree=1078296/2055920 swapFree=4191880/4192956
[pid=8636] ppid=8634 vsize=608060 CPUtime=1121.89
/proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 178589 0 0 0 111724 465 0 0 25 0 1 0 128647726 622653440 148311 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8636/statm: 152015 148311 311 324 0 151084 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 608060

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 8835
/proc/meminfo: memFree=1064472/2055920 swapFree=4191880/4192956
[pid=8636] ppid=8634 vsize=621956 CPUtime=1181.87
/proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 182093 0 0 0 117714 473 0 0 25 0 1 0 128647726 636882944 151815 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8636/statm: 155489 151815 311 324 0 154558 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 621956

[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 8835
/proc/meminfo: memFree=1052056/2055920 swapFree=4191880/4192956
[pid=8636] ppid=8634 vsize=634312 CPUtime=1241.86
/proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 185178 0 0 0 123705 481 0 0 25 0 1 0 128647726 649535488 154900 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8636/statm: 158578 154900 311 324 0 157647 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 634312

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8835
/proc/meminfo: memFree=1041496/2055920 swapFree=4191880/4192956
[pid=8636] ppid=8634 vsize=644676 CPUtime=1301.85
/proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 187773 0 0 0 129697 488 0 0 25 0 1 0 128647726 660148224 157495 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8636/statm: 161169 157495 311 324 0 160238 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 644676

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8835
/proc/meminfo: memFree=1036312/2055920 swapFree=4191880/4192956
[pid=8636] ppid=8634 vsize=649996 CPUtime=1361.83
/proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 189088 0 0 0 135692 491 0 0 25 0 1 0 128647726 665595904 158810 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8636/statm: 162499 158810 311 324 0 161568 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 649996

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8835
/proc/meminfo: memFree=1026264/2055920 swapFree=4191880/4192956
[pid=8636] ppid=8634 vsize=659872 CPUtime=1421.81
/proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 191557 0 0 0 141684 497 0 0 25 0 1 0 128647726 675708928 161279 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551581 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8636/statm: 164968 161279 311 324 0 164037 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 659872

[startup+1482.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 8835
/proc/meminfo: memFree=1017048/2055920 swapFree=4191880/4192956
[pid=8636] ppid=8634 vsize=669096 CPUtime=1481.79
/proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 193873 0 0 0 147677 502 0 0 25 0 1 0 128647726 685154304 163595 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8636/statm: 167274 163595 311 324 0 166343 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 669096

[startup+1542.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 8835
/proc/meminfo: memFree=981976/2055920 swapFree=4191880/4192956
[pid=8636] ppid=8634 vsize=704316 CPUtime=1541.78
/proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 202655 0 0 0 153657 521 0 0 25 0 1 0 128647726 721219584 172377 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551024 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8636/statm: 176079 172377 311 324 0 175148 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 704316

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8835
/proc/meminfo: memFree=951384/2055920 swapFree=4191880/4192956
[pid=8636] ppid=8634 vsize=734916 CPUtime=1601.77
/proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 210323 0 0 0 159642 535 0 0 25 0 1 0 128647726 752553984 180045 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8636/statm: 183729 180045 311 324 0 182798 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 734916

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8835
/proc/meminfo: memFree=925656/2055920 swapFree=4191880/4192956
[pid=8636] ppid=8634 vsize=760520 CPUtime=1661.75
/proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 216710 0 0 0 165630 545 0 0 25 0 1 0 128647726 778772480 186432 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8636/statm: 190130 186432 311 324 0 189199 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 760520

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8835
/proc/meminfo: memFree=906840/2055920 swapFree=4191880/4192956
[pid=8636] ppid=8634 vsize=779444 CPUtime=1721.73
/proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 221449 0 0 0 171621 552 0 0 25 0 1 0 128647726 798150656 191171 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8636/statm: 194861 191171 311 324 0 193930 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 779444

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8835
/proc/meminfo: memFree=869336/2055920 swapFree=4191880/4192956
[pid=8636] ppid=8634 vsize=816960 CPUtime=1781.71
/proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 230818 0 0 0 177595 576 0 0 25 0 1 0 128647726 836567040 200540 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8636/statm: 204240 200540 311 324 0 203309 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 816960



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8835
/proc/meminfo: memFree=935896/2055920 swapFree=4191880/4192956
[pid=8636] ppid=8634 vsize=0 CPUtime=1800.02
/proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194308 234026 0 0 0 179419 583 0 0 25 0 1 0 128647726 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8636/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8835
/proc/meminfo: memFree=935896/2055920 swapFree=4191880/4192956
[pid=8636] ppid=8634 vsize=0 CPUtime=1800.12
/proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194308 234026 0 0 0 179419 593 0 0 25 0 1 0 128647726 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8636/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.14
CPU user time (s): 1794.2
CPU system time (s): 5.9411
CPU usage (%): 99.9677
Max. virtual memory (cumulated for all children) (KiB): 829720

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

runsolver used 2.11468 second user time and 4.40033 second system time

The end

Launcher Data (download as text)

Begin job on node7 on Sat Apr 14 04:48:21 UTC 2007

IDJOB= 347864
IDBENCH= 1537
IDSOLVER= 163
FILE ID= node7/347864-1176526101

PBS_JOBID= 4556715

Free space on /tmp= 66491 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome11.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/347864-1176526101/instance-347864-1176526101.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node7/watcher-347864-1176526101 -o ROOT/results/node7/solver-347864-1176526101 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/347864-1176526101/instance-347864-1176526101.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  af7b516198b9fda389a0d83cfb6c28d1

RANDOM SEED= 949545879

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node7.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.231
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.231
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:       1671544 kB
Buffers:         36392 kB
Cached:         249344 kB
SwapCached:        408 kB
Active:          86844 kB
Inactive:       241784 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1671544 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:           33144 kB
Writeback:           0 kB
Mapped:          59908 kB
Slab:            41252 kB
Committed_AS:  2764820 kB
PageTables:       1864 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= 66491 MiB

End job on node7 on Sat Apr 14 05:18:24 UTC 2007