Trace number 432625

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.17? (TO) 1800.17 1800.8

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.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/432625-1177946429/instance-432625-1177946429.opb
0.00/0.00	c File size is 3617989 bytes.
0.69/0.76	c Highest Coefficient sum: 556800
0.69/0.76	c Parsing was ok!!
0.69/0.76	c Total parsing time: 0.76 s
0.79/0.81	c Var: 107808 Constr: 5184 0/0/5184 Lit: 434720 Watch. Lit: 105840
0.79/0.81	c Obj. Vars: 38688 (35.886 % of total variables)
4.59/4.61	c Pre-processing Time: 4.61 s
4.59/4.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.59/4.62	c        0  70252     5184   434720   83   382424  869440      0      0 4.61
4.59/4.62	c Switching off LPR mode.
1800.08/1800.70	c      102  70252     5286   448571   84   387284  956385    102     20 4.89
1800.08/1800.70	c      262  70252     5446   494560   90   387604  500000    262     50 5.17
1800.08/1800.70	c      487  70252     5671   546347   96   388054  550001    487     88 5.48
1800.08/1800.70	c      834  70252     6018   596817   99   388748  605002    834    143 5.80
1800.08/1800.70	c     1343  70252     6527   627056   96   389766  665503   1343    217 6.18
1800.08/1800.70	c     2106  70252     7290   659775   90   391292  732054   2106    321 6.55
1800.08/1800.70	c     3252  70252     8436   699422   82   393584  805260   3252    464 7.00
1800.08/1800.70	c     4973  70252    10157   854401   84   397240  885787   4973    637 7.80
1800.08/1800.70	c     7558  70252    12742  1018039   79   402410  974366   7558    860 8.79
1800.08/1800.70	c    11438  70251    16622  1226562   73   410358  500000  11438   1121 10.20
1800.08/1800.70	c    17260  70250    22444  1615946   71   422001  550001  17260   1002 17.21
1800.08/1800.70	c    25997  70250    31181  2343018   75   440207  605002  25997   1133 22.94
1800.08/1800.70	c    39108  70248    44292  2937714   66   466534  665503  39108   1360 28.75
1800.08/1800.70	c    58778  70248    63962  4053260   63   505890  732054  58778   1325 44.34
1800.08/1800.71	c    88297  70248    93481  5438544   58   565835  805260  88297   1235 71.45
1800.08/1800.71	c   132567  70248   137751  7826788   56   654358  885787 132567   1300 101.97
1800.08/1800.71	c   198977  70247   204161 12758303   62   787883  974366 198977    667 298.14
1800.08/1800.71	c   298597  70247   303781 22791893   75   987017  500000 298597    311 959.80
1800.08/1800.71	c Caught signal: 15
1800.08/1800.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.08/1800.71	c   18   405643 165406  2955138   410827 32497549 405643    225 1800.09
1800.08/1800.71	s UNKNOWN
1800.08/1800.71	c Total time: 1800.09 s

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node3/watcher-432625-1177946429 -o ROOT/results/node3/solver-432625-1177946429 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432625-1177946429/instance-432625-1177946429.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 0.98 0.91 3/77 23762
/proc/meminfo: memFree=1746912/2055920 swapFree=4138948/4192956
[pid=23762] ppid=23760 vsize=23084 CPUtime=0
/proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 360 0 0 0 0 0 0 0 18 0 1 0 270680706 23638016 330 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23762/statm: 5771 330 278 324 0 3957 0

[startup+0.100829 s]
/proc/loadavg: 0.92 0.98 0.91 3/77 23762
/proc/meminfo: memFree=1746912/2055920 swapFree=4138948/4192956
[pid=23762] ppid=23760 vsize=19288 CPUtime=0.08
/proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 1536 0 0 0 8 0 0 0 18 0 1 0 270680706 19750912 1387 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23762/statm: 4822 1387 395 324 0 3008 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 19288

[startup+0.201845 s]
/proc/loadavg: 0.92 0.98 0.91 3/77 23762
/proc/meminfo: memFree=1746912/2055920 swapFree=4138948/4192956
[pid=23762] ppid=23760 vsize=13864 CPUtime=0.19
/proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 2365 0 0 0 18 1 0 0 18 0 1 0 270680706 14196736 2167 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11346899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23762/statm: 3466 2167 507 324 0 1652 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13864

[startup+0.301862 s]
/proc/loadavg: 0.92 0.98 0.91 3/77 23762
/proc/meminfo: memFree=1746912/2055920 swapFree=4138948/4192956
[pid=23762] ppid=23760 vsize=15044 CPUtime=0.29
/proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 2754 0 0 0 28 1 0 0 19 0 1 0 270680706 15405056 2556 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23762/statm: 3761 2556 620 324 0 1947 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15044

[startup+0.701926 s]
/proc/loadavg: 0.92 0.98 0.91 3/77 23762
/proc/meminfo: memFree=1746912/2055920 swapFree=4138948/4192956
[pid=23762] ppid=23760 vsize=21144 CPUtime=0.69
/proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 4897 0 0 0 67 2 0 0 23 0 1 0 270680706 21651456 4445 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11344902 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23762/statm: 5286 4445 1082 324 0 3472 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21144

[startup+1.50105 s]
/proc/loadavg: 0.92 0.98 0.91 2/78 23763
/proc/meminfo: memFree=1716760/2055920 swapFree=4138948/4192956
[pid=23762] ppid=23760 vsize=36664 CPUtime=1.49
/proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 9547 0 0 0 143 6 0 0 25 0 1 0 270680706 37543936 8135 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551383 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23762/statm: 9166 8135 304 324 0 8236 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36664

[startup+3.10131 s]
/proc/loadavg: 0.92 0.98 0.91 2/78 23763
/proc/meminfo: memFree=1715352/2055920 swapFree=4138948/4192956
[pid=23762] ppid=23760 vsize=36664 CPUtime=3.09
/proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 9547 0 0 0 302 7 0 0 25 0 1 0 270680706 37543936 8135 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23762/statm: 9166 8135 304 324 0 8236 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36664

[startup+6.30183 s]
/proc/loadavg: 0.93 0.98 0.91 2/78 23763
/proc/meminfo: memFree=1713368/2055920 swapFree=4138948/4192956
[pid=23762] ppid=23760 vsize=39408 CPUtime=6.29
/proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 12545 0 0 0 615 14 0 0 25 0 1 0 270680706 40353792 8858 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23762/statm: 9852 8858 310 324 0 8922 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39408

[startup+12.7019 s]
/proc/loadavg: 0.93 0.98 0.91 2/78 23763
/proc/meminfo: memFree=1702360/2055920 swapFree=4138948/4192956
[pid=23762] ppid=23760 vsize=50000 CPUtime=12.69
/proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 15176 0 0 0 1253 16 0 0 25 0 1 0 270680706 51200000 11489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23762/statm: 12500 11489 310 324 0 11570 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 50000

[startup+25.5019 s]
/proc/loadavg: 0.95 0.98 0.91 2/78 23763
/proc/meminfo: memFree=1685784/2055920 swapFree=4138948/4192956
[pid=23762] ppid=23760 vsize=66660 CPUtime=25.48
/proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 19348 0 0 0 2529 19 0 0 25 0 1 0 270680706 68259840 15661 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23762/statm: 16665 15661 310 324 0 15735 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 66660

[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.91 2/78 23763
/proc/meminfo: memFree=1654424/2055920 swapFree=4138948/4192956
[pid=23762] ppid=23760 vsize=98484 CPUtime=51.07
/proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 27289 0 0 0 5084 23 0 0 25 0 1 0 270680706 100847616 23602 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551803 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23762/statm: 24621 23602 310 324 0 23691 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 98484

[startup+102.301 s]
/proc/loadavg: 0.98 0.98 0.91 2/78 23763
/proc/meminfo: memFree=1605208/2055920 swapFree=4138948/4192956
[pid=23762] ppid=23760 vsize=146416 CPUtime=102.26
/proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 39298 0 0 0 10194 32 0 0 25 0 1 0 270680706 149929984 35611 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23762/statm: 36604 35611 310 324 0 35674 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 146416

[startup+162.303 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 23763
/proc/meminfo: memFree=1571224/2055920 swapFree=4138948/4192956
[pid=23762] ppid=23760 vsize=180460 CPUtime=162.24
/proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 47828 0 0 0 16183 41 0 0 25 0 1 0 270680706 184791040 44141 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23762/statm: 45115 44141 310 324 0 44185 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 180460

[startup+222.306 s]
/proc/loadavg: 1.05 1.00 0.92 2/78 23763
/proc/meminfo: memFree=1554584/2055920 swapFree=4138948/4192956
[pid=23762] ppid=23760 vsize=196940 CPUtime=222.22
/proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 51923 0 0 0 22177 45 0 0 25 0 1 0 270680706 201666560 48236 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11358295 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23762/statm: 49235 48236 310 324 0 48305 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 196940

[startup+282.301 s]
/proc/loadavg: 1.02 1.00 0.92 2/78 23763
/proc/meminfo: memFree=1542296/2055920 swapFree=4138948/4192956
[pid=23762] ppid=23760 vsize=209236 CPUtime=282.19
/proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 55005 0 0 0 28171 48 0 0 25 0 1 0 270680706 214257664 51318 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551368 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23762/statm: 52309 51318 310 324 0 51379 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 209236

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 23763
/proc/meminfo: memFree=1512536/2055920 swapFree=4138948/4192956
[pid=23762] ppid=23760 vsize=238848 CPUtime=342.17
/proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 62415 0 0 0 34161 56 0 0 25 0 1 0 270680706 244580352 58728 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23762/statm: 59712 58728 310 324 0 58782 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 238848

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 23763
/proc/meminfo: memFree=1490776/2055920 swapFree=4138948/4192956
[pid=23762] ppid=23760 vsize=260616 CPUtime=402.15
/proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 67870 0 0 0 40155 60 0 0 25 0 1 0 270680706 266870784 64183 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572687 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23762/statm: 65154 64183 310 324 0 64224 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 260616

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 23763
/proc/meminfo: memFree=1474840/2055920 swapFree=4138948/4192956
[pid=23762] ppid=23760 vsize=276616 CPUtime=462.13
/proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 71844 0 0 0 46149 64 0 0 25 0 1 0 270680706 283254784 68157 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550808 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23762/statm: 69154 68157 310 324 0 68224 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 276616

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 23763
/proc/meminfo: memFree=1458584/2055920 swapFree=4138948/4192956
[pid=23762] ppid=23760 vsize=292960 CPUtime=522.11
/proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 75949 0 0 0 52144 67 0 0 25 0 1 0 270680706 299991040 72262 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550729 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23762/statm: 73240 72262 310 324 0 72310 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 292960

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 23763
/proc/meminfo: memFree=1446744/2055920 swapFree=4138948/4192956
[pid=23762] ppid=23760 vsize=304556 CPUtime=582.09
/proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 78842 0 0 0 58138 71 0 0 25 0 1 0 270680706 311865344 75155 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551541 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23762/statm: 76139 75155 310 324 0 75209 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 304556

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 23763
/proc/meminfo: memFree=1438424/2055920 swapFree=4138948/4192956
[pid=23762] ppid=23760 vsize=313028 CPUtime=642.07
/proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 80951 0 0 0 64133 74 0 0 25 0 1 0 270680706 320540672 77264 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23762/statm: 78257 77264 310 324 0 77327 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 313028


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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 23765
/proc/meminfo: memFree=1411416/2055920 swapFree=4138948/4192956
[pid=23762] ppid=23760 vsize=339900 CPUtime=822
/proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 87664 0 0 0 82118 82 0 0 25 0 1 0 270680706 348057600 83977 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23762/statm: 84975 83977 310 324 0 84045 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 339900

[startup+882.305 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 23765
/proc/meminfo: memFree=1404440/2055920 swapFree=4138948/4192956
[pid=23762] ppid=23760 vsize=346648 CPUtime=881.99
/proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 89352 0 0 0 88114 85 0 0 25 0 1 0 270680706 354967552 85665 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23762/statm: 86662 85665 310 324 0 85732 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 346648

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 23765
/proc/meminfo: memFree=1397976/2055920 swapFree=4138948/4192956
[pid=23762] ppid=23760 vsize=353136 CPUtime=941.96
/proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 90976 0 0 0 94110 86 0 0 25 0 1 0 270680706 361611264 87289 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23762/statm: 88284 87289 310 324 0 87354 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 353136

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 23765
/proc/meminfo: memFree=1364952/2055920 swapFree=4138948/4192956
[pid=23762] ppid=23760 vsize=386236 CPUtime=1001.95
/proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 99273 0 0 0 100101 94 0 0 25 0 1 0 270680706 395505664 95586 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23762/statm: 96559 95586 310 324 0 95629 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 386236

[startup+1062.3 s]
/proc/loadavg: 1.06 1.02 0.93 2/78 23765
/proc/meminfo: memFree=1348056/2055920 swapFree=4138948/4192956
[pid=23762] ppid=23760 vsize=403156 CPUtime=1061.92
/proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 103508 0 0 0 106094 98 0 0 25 0 1 0 270680706 412831744 99821 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23762/statm: 100789 99821 310 324 0 99859 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 403156

[startup+1122.3 s]
/proc/loadavg: 1.13 1.04 0.94 2/78 23765
/proc/meminfo: memFree=1335448/2055920 swapFree=4138948/4192956
[pid=23762] ppid=23760 vsize=415692 CPUtime=1121.91
/proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 106639 0 0 0 112089 102 0 0 25 0 1 0 270680706 425668608 102952 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23762/statm: 103923 102952 310 324 0 102993 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 415692

[startup+1182.3 s]
/proc/loadavg: 1.05 1.03 0.94 2/78 23765
/proc/meminfo: memFree=1325272/2055920 swapFree=4138948/4192956
[pid=23762] ppid=23760 vsize=425916 CPUtime=1181.88
/proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 109188 0 0 0 118083 105 0 0 25 0 1 0 270680706 436137984 105501 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23762/statm: 106479 105501 310 324 0 105549 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 425916

[startup+1242.3 s]
/proc/loadavg: 1.02 1.02 0.94 2/78 23765
/proc/meminfo: memFree=1315864/2055920 swapFree=4138948/4192956
[pid=23762] ppid=23760 vsize=435240 CPUtime=1241.87
/proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 111504 0 0 0 124078 109 0 0 25 0 1 0 270680706 445685760 107817 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23762/statm: 108810 107817 310 324 0 107880 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 435240

[startup+1302.3 s]
/proc/loadavg: 1.00 1.02 0.94 2/78 23765
/proc/meminfo: memFree=1306648/2055920 swapFree=4138948/4192956
[pid=23762] ppid=23760 vsize=444284 CPUtime=1301.85
/proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 113795 0 0 0 130073 112 0 0 25 0 1 0 270680706 454946816 110108 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23762/statm: 111071 110108 310 324 0 110141 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 444284

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 0.94 2/78 23765
/proc/meminfo: memFree=1298648/2055920 swapFree=4138948/4192956
[pid=23762] ppid=23760 vsize=452292 CPUtime=1361.82
/proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 115768 0 0 0 136068 114 0 0 25 0 1 0 270680706 463147008 112081 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23762/statm: 113073 112081 310 324 0 112143 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 452292

[startup+1422.3 s]
/proc/loadavg: 1.00 1.01 0.94 2/78 23765
/proc/meminfo: memFree=1291224/2055920 swapFree=4138948/4192956
[pid=23762] ppid=23760 vsize=459500 CPUtime=1421.81
/proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 117597 0 0 0 142064 117 0 0 25 0 1 0 270680706 470528000 113910 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23762/statm: 114875 113910 310 324 0 113945 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 459500

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 23765
/proc/meminfo: memFree=1283992/2055920 swapFree=4138948/4192956
[pid=23762] ppid=23760 vsize=466864 CPUtime=1481.78
/proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 119423 0 0 0 148059 119 0 0 25 0 1 0 270680706 478068736 115736 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23762/statm: 116716 115736 310 324 0 115786 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 466864

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 23765
/proc/meminfo: memFree=1277208/2055920 swapFree=4138948/4192956
[pid=23762] ppid=23760 vsize=473572 CPUtime=1541.76
/proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 121105 0 0 0 154055 121 0 0 25 0 1 0 270680706 484937728 117418 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23762/statm: 118393 117418 310 324 0 117463 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 473572

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 23765
/proc/meminfo: memFree=1273048/2055920 swapFree=4138948/4192956
[pid=23762] ppid=23760 vsize=477836 CPUtime=1601.74
/proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 122155 0 0 0 160051 123 0 0 25 0 1 0 270680706 489304064 118468 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23762/statm: 119459 118468 310 324 0 118529 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 477836

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 23765
/proc/meminfo: memFree=1268568/2055920 swapFree=4138948/4192956
[pid=23762] ppid=23760 vsize=482220 CPUtime=1661.72
/proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 123259 0 0 0 166047 125 0 0 25 0 1 0 270680706 493793280 119572 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23762/statm: 120555 119572 310 324 0 119625 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 482220

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 23765
/proc/meminfo: memFree=1263640/2055920 swapFree=4138948/4192956
[pid=23762] ppid=23760 vsize=487244 CPUtime=1721.7
/proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 124512 0 0 0 172044 126 0 0 25 0 1 0 270680706 498937856 120825 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23762/statm: 121811 120825 310 324 0 120881 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 487244

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 23765
/proc/meminfo: memFree=1258840/2055920 swapFree=4138948/4192956
[pid=23762] ppid=23760 vsize=491924 CPUtime=1781.68
/proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 125688 0 0 0 178040 128 0 0 25 0 1 0 270680706 503730176 122001 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23762/statm: 122981 122001 310 324 0 122051 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 491924



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 23765
/proc/meminfo: memFree=1257560/2055920 swapFree=4138948/4192956
[pid=23762] ppid=23760 vsize=493208 CPUtime=1800.08
/proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 126008 0 0 0 179880 128 0 0 25 0 1 0 270680706 505044992 122321 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134559677 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23762/statm: 123302 122321 310 324 0 122372 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 493208

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

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

Child status: 15
Real time (s): 1800.8
CPU time (s): 1800.17
CPU user time (s): 1798.8
CPU system time (s): 1.36779
CPU usage (%): 99.9654
Max. virtual memory (cumulated for all children) (KiB): 493208

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

runsolver used 1.35679 second user time and 3.89541 second system time

The end

Launcher Data (download as text)

Begin job on node3 on Mon Apr 30 15:20:30 UTC 2007

IDJOB= 432625
IDBENCH= 1623
IDSOLVER= 199
FILE ID= node3/432625-1177946429

PBS_JOBID= 4727672

Free space on /tmp= 66555 MiB

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  cc797868c6f9cb3811b8dc2300ad7f9f

RANDOM SEED= 599153958

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node3.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.270
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.270
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:       1747256 kB
Buffers:         39884 kB
Cached:         174896 kB
SwapCached:      17168 kB
Active:         117828 kB
Inactive:       120452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1747256 kB
SwapTotal:     4192956 kB
SwapFree:      4138948 kB
Dirty:           10136 kB
Writeback:           0 kB
Mapped:          30232 kB
Slab:            55840 kB
Committed_AS:  6271128 kB
PageTables:       1780 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= 66555 MiB

End job on node3 on Mon Apr 30 15:50:32 UTC 2007