Trace number 348163

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.08 1800.54

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-B1C1S1.opb
MD5SUMcc797868c6f9cb3811b8dc2300ad7f9f
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 variables107808
Total number of constraints3904
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 constraints3904
Minimum length of a constraint31
Maximum length of a constraint1440
Number of terms in the objective function 38688
Biggest coefficient in the objective function 612
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 556800
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 556800
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/348163-1176570626/instance-348163-1176570626.opb
0.00/0.01	c File size is 3617989 bytes.
0.68/0.76	c Highest Coefficient sum: 556800
0.68/0.76	c Parsing was ok!!
0.68/0.76	c Total parsing time: 0.753 s
0.78/0.81	c Var: 107808 Constr: 5184 0/0/5184 Lit: 434720 Watch. Lit: 105840
0.78/0.81	c Obj. Vars: 38688 (35.886 % of total variables)
4.49/4.57	c Pre-processing Time: 4.563 s
4.49/4.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.49/4.57	c        0  70252     5184   434720   83   382424  869440      0      0 4.56
4.49/4.57	c Switching off LPR mode.
1799.94/1800.45	c      102  70252     5286   448571   84   387284  956385    102     21 4.85
1799.94/1800.45	c      262  70252     5446   494560   90   387604  500000    262     51 5.12
1799.94/1800.45	c      487  70252     5671   546347   96   388054  550001    487     89 5.43
1799.94/1800.45	c      834  70252     6018   596817   99   388748  605002    834    144 5.76
1799.94/1800.45	c     1343  70252     6527   627056   96   389766  665503   1343    218 6.15
1799.94/1800.45	c     2106  70252     7290   659775   90   391292  732054   2106    322 6.53
1799.94/1800.45	c     3252  70252     8436   699422   82   393584  805260   3252    465 6.99
1799.94/1800.45	c     4973  70252    10157   854401   84   397240  885787   4973    635 7.82
1799.94/1800.45	c     7558  70252    12742  1018039   79   402410  974366   7558    856 8.83
1799.94/1800.45	c    11438  70251    16622  1226562   73   410358  500000  11438   1110 10.30
1799.94/1800.45	c    17260  70250    22444  1615946   71   422001  550001  17260    992 17.39
1799.94/1800.45	c    25997  70250    31181  2343018   75   440207  605002  25997   1123 23.15
1799.94/1800.45	c    39108  70248    44292  2937714   66   466534  665503  39108   1349 28.99
1799.94/1800.45	c    58778  70248    63962  4053260   63   505890  732054  58778   1317 44.60
1799.94/1800.45	c    88297  70248    93481  5438544   58   565835  805260  88297   1230 71.74
1799.94/1800.45	c   132567  70248   137751  7826788   56   654358  885787 132567   1292 102.60
1799.94/1800.45	c   198977  70247   204161 12758303   62   787883  974366 198977    664 299.30
1799.94/1800.45	c   298597  70247   303781 22791893   75   987017  500000 298597    310 961.92
1799.94/1800.45	c Resources Exceeded
1799.94/1800.45	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.94/1800.45	c   18   405670 165420  2955192   410854 32499797 405670    225 1800.00
1799.94/1800.45	s UNKNOWN
1799.94/1800.45	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/node43/watcher-348163-1176570626 -o ROOT/results/node43/solver-348163-1176570626 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348163-1176570626/instance-348163-1176570626.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.98 1.04 1.01 2/64 30330
/proc/meminfo: memFree=1544088/2055920 swapFree=4192812/4192956
[pid=30330] ppid=30328 vsize=3780 CPUtime=0
/proc/30330/stat : 30330 (bsolo3.0.16) D 30328 30330 29946 0 -1 4194304 185 0 2 0 0 0 0 0 18 0 1 0 104974478 3870720 155 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160395582 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/30330/statm: 945 155 129 324 0 14 0

[startup+0.0614881 s]
/proc/loadavg: 0.98 1.04 1.01 2/64 30330
/proc/meminfo: memFree=1544088/2055920 swapFree=4192812/4192956
[pid=30330] ppid=30328 vsize=17212 CPUtime=0.04
/proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 913 0 3 0 4 0 0 0 18 0 1 0 104974478 17625088 844 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30330/statm: 4303 844 343 324 0 2488 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17212

[startup+0.101489 s]
/proc/loadavg: 0.98 1.04 1.01 2/64 30330
/proc/meminfo: memFree=1544088/2055920 swapFree=4192812/4192956
[pid=30330] ppid=30328 vsize=19148 CPUtime=0.08
/proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 1502 0 3 0 8 0 0 0 18 0 1 0 104974478 19607552 1354 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30330/statm: 4787 1354 392 324 0 2972 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 19148

[startup+0.301506 s]
/proc/loadavg: 0.98 1.04 1.01 2/64 30330
/proc/meminfo: memFree=1544088/2055920 swapFree=4192812/4192956
[pid=30330] ppid=30328 vsize=14912 CPUtime=0.29
/proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 2741 0 3 0 28 1 0 0 19 0 1 0 104974478 15269888 2544 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30330/statm: 3728 2544 618 324 0 1913 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14912

[startup+0.701541 s]
/proc/loadavg: 0.98 1.04 1.01 2/64 30330
/proc/meminfo: memFree=1544088/2055920 swapFree=4192812/4192956
[pid=30330] ppid=30328 vsize=21144 CPUtime=0.68
/proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 4899 0 3 0 67 1 0 0 22 0 1 0 104974478 21651456 4448 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30330/statm: 5286 4449 1085 324 0 3471 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 21144

[startup+1.50161 s]
/proc/loadavg: 0.98 1.04 1.01 2/65 30331
/proc/meminfo: memFree=1514256/2055920 swapFree=4192812/4192956
[pid=30330] ppid=30328 vsize=36664 CPUtime=1.49
/proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 9548 0 3 0 142 7 0 0 25 0 1 0 104974478 37543936 8137 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30330/statm: 9166 8137 306 324 0 8235 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36664

[startup+3.10175 s]
/proc/loadavg: 0.98 1.04 1.01 2/65 30331
/proc/meminfo: memFree=1511888/2055920 swapFree=4192812/4192956
[pid=30330] ppid=30328 vsize=36664 CPUtime=3.08
/proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 9548 0 3 0 299 9 0 0 25 0 1 0 104974478 37543936 8137 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30330/statm: 9166 8137 306 324 0 8235 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 36664

[startup+6.30103 s]
/proc/loadavg: 0.98 1.04 1.01 2/65 30331
/proc/meminfo: memFree=1510096/2055920 swapFree=4192812/4192956
[pid=30330] ppid=30328 vsize=39540 CPUtime=6.27
/proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 12552 0 3 0 607 20 0 0 25 0 1 0 104974478 40488960 8866 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30330/statm: 9885 8866 312 324 0 8954 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 39540

[startup+12.7016 s]
/proc/loadavg: 0.99 1.04 1.01 2/65 30331
/proc/meminfo: memFree=1499216/2055920 swapFree=4192812/4192956
[pid=30330] ppid=30328 vsize=49868 CPUtime=12.68
/proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 15146 0 3 0 1236 32 0 0 25 0 1 0 104974478 51064832 11460 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30330/statm: 12467 11460 312 324 0 11536 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49868

[startup+25.5017 s]
/proc/loadavg: 0.99 1.03 1.00 2/65 30331
/proc/meminfo: memFree=1482576/2055920 swapFree=4192812/4192956
[pid=30330] ppid=30328 vsize=66004 CPUtime=25.47
/proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 19186 0 3 0 2502 45 0 0 25 0 1 0 104974478 67588096 15500 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30330/statm: 16501 15500 312 324 0 15570 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 66004

[startup+51.1019 s]
/proc/loadavg: 0.99 1.03 1.00 2/65 30331
/proc/meminfo: memFree=1452432/2055920 swapFree=4192812/4192956
[pid=30330] ppid=30328 vsize=97708 CPUtime=51.06
/proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 27117 0 3 0 5040 66 0 0 25 0 1 0 104974478 100052992 23431 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30330/statm: 24427 23431 312 324 0 23496 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 97708

[startup+102.304 s]
/proc/loadavg: 1.05 1.04 1.00 2/65 30331
/proc/meminfo: memFree=1402768/2055920 swapFree=4192812/4192956
[pid=30330] ppid=30328 vsize=145764 CPUtime=102.25
/proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 39139 0 3 0 10119 106 0 0 25 0 1 0 104974478 149262336 35453 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30330/statm: 36441 35453 312 324 0 35510 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 145764

[startup+162.302 s]
/proc/loadavg: 1.06 1.04 1.00 2/65 30331
/proc/meminfo: memFree=1368144/2055920 swapFree=4192812/4192956
[pid=30330] ppid=30328 vsize=180332 CPUtime=162.23
/proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 47788 0 3 0 16095 128 0 0 25 0 1 0 104974478 184659968 44102 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30330/statm: 45083 44102 312 324 0 44152 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 180332

[startup+222.302 s]
/proc/loadavg: 1.02 1.03 1.00 2/65 30331
/proc/meminfo: memFree=1351632/2055920 swapFree=4192812/4192956
[pid=30330] ppid=30328 vsize=196684 CPUtime=222.21
/proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 51868 0 3 0 22070 151 0 0 25 0 1 0 104974478 201404416 48182 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30330/statm: 49171 48182 312 324 0 48240 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 196684

[startup+282.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 30331
/proc/meminfo: memFree=1339280/2055920 swapFree=4192812/4192956
[pid=30330] ppid=30328 vsize=209112 CPUtime=282.21
/proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 54970 0 3 0 28060 161 0 0 25 0 1 0 104974478 214130688 51284 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30330/statm: 52278 51284 312 324 0 51347 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 209112

[startup+342.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 30331
/proc/meminfo: memFree=1310032/2055920 swapFree=4192812/4192956
[pid=30330] ppid=30328 vsize=238196 CPUtime=342.19
/proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 62268 0 3 0 34024 195 0 0 25 0 1 0 104974478 243912704 58582 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30330/statm: 59549 58582 312 324 0 58618 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 238196

[startup+402.301 s]
/proc/loadavg: 1.03 1.03 1.00 2/65 30331
/proc/meminfo: memFree=1288080/2055920 swapFree=4192812/4192956
[pid=30330] ppid=30328 vsize=260360 CPUtime=402.17
/proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 67783 0 3 0 40006 211 0 0 25 0 1 0 104974478 266608640 64097 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30330/statm: 65090 64097 312 324 0 64159 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 260360

[startup+462.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 30331
/proc/meminfo: memFree=1271952/2055920 swapFree=4192812/4192956
[pid=30330] ppid=30328 vsize=276228 CPUtime=462.16
/proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 71755 0 3 0 45994 222 0 0 25 0 1 0 104974478 282857472 68069 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30330/statm: 69057 68069 312 324 0 68126 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 276228

[startup+522.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 30331
/proc/meminfo: memFree=1255696/2055920 swapFree=4192812/4192956
[pid=30330] ppid=30328 vsize=292444 CPUtime=522.14
/proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 75822 0 3 0 51984 230 0 0 25 0 1 0 104974478 299462656 72136 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30330/statm: 73111 72136 312 324 0 72180 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 292444

[startup+582.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 30331
/proc/meminfo: memFree=1243920/2055920 swapFree=4192812/4192956
[pid=30330] ppid=30328 vsize=304168 CPUtime=582.13
/proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 78738 0 3 0 57977 236 0 0 25 0 1 0 104974478 311468032 75052 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30330/statm: 76042 75052 312 324 0 75111 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 304168

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30331
/proc/meminfo: memFree=1235216/2055920 swapFree=4192812/4192956
[pid=30330] ppid=30328 vsize=312768 CPUtime=642.12
/proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 80883 0 3 0 63969 243 0 0 25 0 1 0 104974478 320274432 77197 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30330/statm: 78192 77197 312 324 0 77261 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 312768


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30331
/proc/meminfo: memFree=1201616/2055920 swapFree=4192812/4192956
[pid=30330] ppid=30328 vsize=346384 CPUtime=882.06
/proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 89311 0 3 0 87938 268 0 0 25 0 1 0 104974478 354697216 85625 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30330/statm: 86596 85625 312 324 0 85665 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 346384

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30331
/proc/meminfo: memFree=1195152/2055920 swapFree=4192812/4192956
[pid=30330] ppid=30328 vsize=352876 CPUtime=942.05
/proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 90932 0 3 0 93932 273 0 0 25 0 1 0 104974478 361345024 87246 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30330/statm: 88219 87246 312 324 0 87288 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 352876

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30331
/proc/meminfo: memFree=1162448/2055920 swapFree=4192812/4192956
[pid=30330] ppid=30328 vsize=385464 CPUtime=1002.03
/proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 99084 0 3 0 99910 293 0 0 25 0 1 0 104974478 394715136 95398 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30330/statm: 96366 95398 312 324 0 95435 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 385464

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30331
/proc/meminfo: memFree=1145296/2055920 swapFree=4192812/4192956
[pid=30330] ppid=30328 vsize=402772 CPUtime=1062.02
/proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 103404 0 3 0 105899 303 0 0 25 0 1 0 104974478 412438528 99718 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30330/statm: 100693 99718 312 324 0 99762 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 402772

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30331
/proc/meminfo: memFree=1132688/2055920 swapFree=4192812/4192956
[pid=30330] ppid=30328 vsize=415176 CPUtime=1122
/proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 106516 0 3 0 111893 307 0 0 25 0 1 0 104974478 425140224 102830 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30330/statm: 103794 102830 312 324 0 102863 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 415176

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30331
/proc/meminfo: memFree=1122192/2055920 swapFree=4192812/4192956
[pid=30330] ppid=30328 vsize=425656 CPUtime=1181.98
/proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 109132 0 3 0 117886 312 0 0 25 0 1 0 104974478 435871744 105446 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30330/statm: 106414 105446 312 324 0 105483 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 425656

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30331
/proc/meminfo: memFree=1112912/2055920 swapFree=4192812/4192956
[pid=30330] ppid=30328 vsize=434976 CPUtime=1241.97
/proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 111444 0 3 0 123880 317 0 0 25 0 1 0 104974478 445415424 107758 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30330/statm: 108744 107758 312 324 0 107813 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 434976

[startup+1302.3 s]
/proc/loadavg: 1.10 1.03 1.01 2/65 30331
/proc/meminfo: memFree=1103632/2055920 swapFree=4192812/4192956
[pid=30330] ppid=30328 vsize=444156 CPUtime=1301.96
/proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 113743 0 3 0 129876 320 0 0 25 0 1 0 104974478 454815744 110057 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30330/statm: 111039 110057 312 324 0 110108 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 444156

[startup+1362.3 s]
/proc/loadavg: 1.03 1.02 1.00 2/65 30331
/proc/meminfo: memFree=1095696/2055920 swapFree=4192812/4192956
[pid=30330] ppid=30328 vsize=452036 CPUtime=1361.95
/proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 115733 0 3 0 135870 325 0 0 25 0 1 0 104974478 462884864 112047 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30330/statm: 113009 112047 312 324 0 112078 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 452036

[startup+1422.31 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 30331
/proc/meminfo: memFree=1088336/2055920 swapFree=4192812/4192956
[pid=30330] ppid=30328 vsize=459372 CPUtime=1421.94
/proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 117563 0 3 0 141865 329 0 0 25 0 1 0 104974478 470396928 113877 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30330/statm: 114843 113877 312 324 0 113912 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 459372

[startup+1482.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 30331
/proc/meminfo: memFree=1080976/2055920 swapFree=4192812/4192956
[pid=30330] ppid=30328 vsize=466736 CPUtime=1481.92
/proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 119397 0 3 0 147859 333 0 0 25 0 1 0 104974478 477937664 115711 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30330/statm: 116684 115711 312 324 0 115753 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 466736

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30331
/proc/meminfo: memFree=1074128/2055920 swapFree=4192812/4192956
[pid=30330] ppid=30328 vsize=473572 CPUtime=1541.91
/proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 121098 0 3 0 153854 337 0 0 25 0 1 0 104974478 484937728 117412 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30330/statm: 118393 117412 312 324 0 117462 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 473572

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30331
/proc/meminfo: memFree=1069968/2055920 swapFree=4192812/4192956
[pid=30330] ppid=30328 vsize=477836 CPUtime=1601.89
/proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 122155 0 3 0 159850 339 0 0 25 0 1 0 104974478 489304064 118469 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30330/statm: 119459 118469 312 324 0 118528 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 477836

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30333
/proc/meminfo: memFree=1065424/2055920 swapFree=4192812/4192956
[pid=30330] ppid=30328 vsize=482220 CPUtime=1661.87
/proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 123263 0 3 0 165846 341 0 0 25 0 1 0 104974478 493793280 119577 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30330/statm: 120555 119577 312 324 0 119624 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 482220

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30333
/proc/meminfo: memFree=1060496/2055920 swapFree=4192812/4192956
[pid=30330] ppid=30328 vsize=487244 CPUtime=1721.86
/proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 124523 0 3 0 171842 344 0 0 25 0 1 0 104974478 498937856 120837 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30330/statm: 121811 120837 312 324 0 120880 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 487244

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30333
/proc/meminfo: memFree=1055696/2055920 swapFree=4192812/4192956
[pid=30330] ppid=30328 vsize=491924 CPUtime=1781.85
/proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 125702 0 3 0 177837 348 0 0 25 0 1 0 104974478 503730176 122016 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30330/statm: 122981 122016 312 324 0 122050 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 491924



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30333
/proc/meminfo: memFree=1323856/2055920 swapFree=4192812/4192956
[pid=30330] ppid=30328 vsize=0 CPUtime=1800.04
/proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194308 126017 0 3 0 179651 353 0 0 25 0 1 0 104974478 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30330/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30333
/proc/meminfo: memFree=1323856/2055920 swapFree=4192812/4192956
[pid=30330] ppid=30328 vsize=0 CPUtime=1800.04
/proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194308 126017 0 3 0 179651 353 0 0 25 0 1 0 104974478 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30330/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.54
CPU time (s): 1800.08
CPU user time (s): 1796.51
CPU system time (s): 3.56946
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 493208

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

runsolver used 1.21081 second user time and 3.72343 second system time

The end

Launcher Data (download as text)

Begin job on node43 on Sat Apr 14 17:10:27 UTC 2007

IDJOB= 348163
IDBENCH= 1623
IDSOLVER= 163
FILE ID= node43/348163-1176570626

PBS_JOBID= 4556911

Free space on /tmp= 66557 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/unibo/normalized-reduced-mps-v2-20-10-B1C1S1.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348163-1176570626/instance-348163-1176570626.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node43/watcher-348163-1176570626 -o ROOT/results/node43/solver-348163-1176570626 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348163-1176570626/instance-348163-1176570626.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  cc797868c6f9cb3811b8dc2300ad7f9f

RANDOM SEED= 729665133

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node43.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.218
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.218
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:       1544560 kB
Buffers:         41196 kB
Cached:         353476 kB
SwapCached:          0 kB
Active:         223984 kB
Inactive:       186844 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1544560 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            7960 kB
Writeback:           0 kB
Mapped:          26296 kB
Slab:            86584 kB
Committed_AS:   128648 kB
PageTables:       1396 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66557 MiB

End job on node43 on Sat Apr 14 17:40:29 UTC 2007