Trace number 432617

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

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-roll3000.opb
MD5SUM8bdca001a57a76bf3835c82b9bc6a431
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 variables8902
Total number of constraints2864
Number of constraints which are clauses143
Number of constraints which are cardinality constraints (but not clauses)31
Number of constraints which are nor clauses,nor cardinality constraints2690
Minimum length of a constraint2
Maximum length of a constraint2407
Number of terms in the objective function 31
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524318
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 526135
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/432617-1177946364/instance-432617-1177946364.opb
0.00/0.00	c File size is 875870 bytes.
0.09/0.16	c Highest Coefficient sum: 526135
0.09/0.16	c Parsing was ok!!
0.09/0.16	c Total parsing time: 0.161 s
0.09/0.17	c Var: 8902 Constr: 3038 988/31/2019 Lit: 113980 Watch. Lit: 36262
0.09/0.17	c Obj. Vars: 31 (0.348236 % of total variables)
0.99/1.00	c Pre-processing Time: 1.004 s
0.99/1.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.00	c        0   5561     2062    98960   47    49509  191746      0      0 1.00
0.99/1.00	c Switching off LPR mode.
1800.07/1800.60	c      100   5561     2162   101527   46    54718  210921    100     93 1.07
1800.07/1800.60	c      250   5561     2312   110267   47    58464  232014    250    200 1.25
1800.07/1800.60	c      476   5561     2538   120174   47    58968  255216    476    342 1.39
1800.07/1800.60	c      815   5561     2877   136029   47    59810  280738    815    517 1.58
1800.07/1800.60	c     1323   5561     3385   154849   45    61552  308812   1323    624 2.12
1800.07/1800.60	c     2086   5561     4148   192710   46    62638  339694   2086    728 2.86
1800.07/1800.60	c     3233   5561     5295   233983   44    64609  373664   3233    826 3.91
1800.07/1800.60	c     4954   5561     7016   289013   41    67914  411031   4954    929 5.33
1800.07/1800.60	c     7539   5561     9601   552365   57    74831  452135   7539    785 9.60
1800.07/1800.60	c    11419   5561    13481   759037   56    82726  497349  11419    768 14.86
1800.07/1800.60	c    17241   5561    19303  1028643   53    94446  547084  17241    767 22.45
1800.07/1800.60	c    25978   5561    28040  1707305   60   111314  601793  25978    729 35.61
1800.07/1800.60	c    39088   5561    41150  2335792   56   137747  661973  39088    750 52.09
1800.07/1800.60	c    58758   5561    60820  4108800   67   177135  728171  58758    545 107.62
1800.07/1800.60	c    88269   5561    90331  6808089   75   236142  800989  88269    375 234.93
1800.07/1800.60	c   132539   5561   134601 11459192   85   325018  881088 132539    305 433.72
1800.07/1800.60	c   198950   5561   201012 23083299  114   457169  969197 198950    221 897.60
1800.07/1800.60	c Caught signal: 15
1800.07/1800.60	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.07/1800.60	c   17   288890  69145   549548   290952 39258669 288890    160 1800.08
1800.07/1800.60	s UNKNOWN
1800.07/1800.60	c Total time: 1800.08 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/node62/watcher-432617-1177946364 -o ROOT/results/node62/solver-432617-1177946364 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432617-1177946364/instance-432617-1177946364.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.97 0.91 3/64 24943
/proc/meminfo: memFree=1783104/2055920 swapFree=4184584/4192956
[pid=24943] ppid=24941 vsize=12592 CPUtime=0
/proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 113212458 12894208 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8541819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24943/statm: 3148 334 280 324 0 2004 0

[startup+0.0654409 s]
/proc/loadavg: 0.92 0.97 0.91 3/64 24943
/proc/meminfo: memFree=1783104/2055920 swapFree=4184584/4192956
[pid=24943] ppid=24941 vsize=6040 CPUtime=0.05
/proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 740 0 0 0 5 0 0 0 18 0 1 0 113212458 6184960 710 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8541819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24943/statm: 1510 710 361 324 0 366 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 6040

[startup+0.101444 s]
/proc/loadavg: 0.92 0.97 0.91 3/64 24943
/proc/meminfo: memFree=1783104/2055920 swapFree=4184584/4192956
[pid=24943] ppid=24941 vsize=6432 CPUtime=0.09
/proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 882 0 0 0 9 0 0 0 18 0 1 0 113212458 6586368 852 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8541819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24943/statm: 1608 852 407 324 0 464 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6432

[startup+0.301467 s]
/proc/loadavg: 0.92 0.97 0.91 3/64 24943
/proc/meminfo: memFree=1783104/2055920 swapFree=4184584/4192956
[pid=24943] ppid=24941 vsize=8140 CPUtime=0.29
/proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 1608 0 0 0 29 0 0 0 19 0 1 0 113212458 8335360 1364 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24943/statm: 2035 1364 304 324 0 1105 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8140

[startup+0.701514 s]
/proc/loadavg: 0.92 0.97 0.91 3/64 24943
/proc/meminfo: memFree=1783104/2055920 swapFree=4184584/4192956
[pid=24943] ppid=24941 vsize=8888 CPUtime=0.69
/proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 1898 0 0 0 67 2 0 0 22 0 1 0 113212458 9101312 1584 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24943/statm: 2222 1584 306 324 0 1292 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8888

[startup+1.50161 s]
/proc/loadavg: 0.93 0.97 0.91 2/65 24944
/proc/meminfo: memFree=1777784/2055920 swapFree=4184584/4192956
[pid=24943] ppid=24941 vsize=8624 CPUtime=1.49
/proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 1944 0 0 0 147 2 0 0 25 0 1 0 113212458 8830976 1498 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551368 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24943/statm: 2156 1498 310 324 0 1226 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8624

[startup+3.10279 s]
/proc/loadavg: 0.93 0.97 0.91 2/65 24944
/proc/meminfo: memFree=1777720/2055920 swapFree=4184584/4192956
[pid=24943] ppid=24941 vsize=9672 CPUtime=3.09
/proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 2225 0 0 0 307 2 0 0 25 0 1 0 113212458 9904128 1779 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24943/statm: 2418 1779 310 324 0 1488 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9672

[startup+6.30117 s]
/proc/loadavg: 0.93 0.97 0.91 2/65 24944
/proc/meminfo: memFree=1775416/2055920 swapFree=4184584/4192956
[pid=24943] ppid=24941 vsize=11644 CPUtime=6.29
/proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 2726 0 0 0 626 3 0 0 25 0 1 0 113212458 11923456 2280 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24943/statm: 2911 2280 310 324 0 1981 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11644

[startup+12.7019 s]
/proc/loadavg: 0.94 0.97 0.91 2/65 24944
/proc/meminfo: memFree=1770496/2055920 swapFree=4184584/4192956
[pid=24943] ppid=24941 vsize=16476 CPUtime=12.69
/proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 3927 0 0 0 1265 4 0 0 25 0 1 0 113212458 16871424 3481 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24943/statm: 4119 3481 310 324 0 3189 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16476

[startup+25.5014 s]
/proc/loadavg: 0.95 0.97 0.91 2/65 24944
/proc/meminfo: memFree=1762432/2055920 swapFree=4184584/4192956
[pid=24943] ppid=24941 vsize=24448 CPUtime=25.49
/proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 5910 0 0 0 2543 6 0 0 25 0 1 0 113212458 25034752 5464 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551359 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24943/statm: 6112 5464 310 324 0 5182 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 24448

[startup+51.1014 s]
/proc/loadavg: 0.96 0.97 0.91 2/65 24944
/proc/meminfo: memFree=1746240/2055920 swapFree=4184584/4192956
[pid=24943] ppid=24941 vsize=40716 CPUtime=51.08
/proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 9967 0 0 0 5098 10 0 0 25 0 1 0 113212458 41693184 9521 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550890 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24943/statm: 10179 9521 310 324 0 9249 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 40716

[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.91 2/65 24944
/proc/meminfo: memFree=1723136/2055920 swapFree=4184584/4192956
[pid=24943] ppid=24941 vsize=63480 CPUtime=102.27
/proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 15682 0 0 0 10211 16 0 0 25 0 1 0 113212458 65003520 15236 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24943/statm: 15870 15236 310 324 0 14940 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 63480

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 24944
/proc/meminfo: memFree=1700736/2055920 swapFree=4184584/4192956
[pid=24943] ppid=24941 vsize=86096 CPUtime=162.25
/proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 21314 0 0 0 16204 21 0 0 25 0 1 0 113212458 88162304 20868 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8537941 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24943/statm: 21524 20868 310 324 0 20594 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 86096

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 24944
/proc/meminfo: memFree=1685568/2055920 swapFree=4184584/4192956
[pid=24943] ppid=24941 vsize=101024 CPUtime=222.23
/proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 25048 0 0 0 22198 25 0 0 25 0 1 0 113212458 103448576 24602 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24943/statm: 25256 24602 310 324 0 24326 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 101024

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 24944
/proc/meminfo: memFree=1672448/2055920 swapFree=4184584/4192956
[pid=24943] ppid=24941 vsize=114160 CPUtime=282.21
/proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 28327 0 0 0 28192 29 0 0 25 0 1 0 113212458 116899840 27881 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24943/statm: 28540 27881 310 324 0 27610 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 114160

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 24944
/proc/meminfo: memFree=1654208/2055920 swapFree=4184584/4192956
[pid=24943] ppid=24941 vsize=132332 CPUtime=342.2
/proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 32877 0 0 0 34186 34 0 0 25 0 1 0 113212458 135507968 32431 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24943/statm: 33083 32431 310 324 0 32153 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 132332

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 24944
/proc/meminfo: memFree=1631104/2055920 swapFree=4184584/4192956
[pid=24943] ppid=24941 vsize=155548 CPUtime=402.17
/proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 38687 0 0 0 40178 39 0 0 25 0 1 0 113212458 159281152 38241 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24943/statm: 38887 38241 310 324 0 37957 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 155548

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 24944
/proc/meminfo: memFree=1610816/2055920 swapFree=4184584/4192956
[pid=24943] ppid=24941 vsize=175648 CPUtime=462.16
/proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 43701 0 0 0 46172 44 0 0 25 0 1 0 113212458 179863552 43255 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24943/statm: 43912 43255 310 324 0 42982 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 175648

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 24944
/proc/meminfo: memFree=1589248/2055920 swapFree=4184584/4192956
[pid=24943] ppid=24941 vsize=197308 CPUtime=522.14
/proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 49145 0 0 0 52165 49 0 0 25 0 1 0 113212458 202043392 48699 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24943/statm: 49327 48699 310 324 0 48397 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 197308

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 24944
/proc/meminfo: memFree=1565248/2055920 swapFree=4184584/4192956
[pid=24943] ppid=24941 vsize=221108 CPUtime=582.12
/proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 55080 0 0 0 58158 54 0 0 25 0 1 0 113212458 226414592 54634 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24943/statm: 55277 54634 310 324 0 54347 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 221108

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 24944
/proc/meminfo: memFree=1544832/2055920 swapFree=4184584/4192956
[pid=24943] ppid=24941 vsize=241288 CPUtime=642.11
/proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 60128 0 0 0 64153 58 0 0 25 0 1 0 113212458 247078912 59682 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8539796 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24943/statm: 60322 59682 310 324 0 59392 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 241288


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

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 24944
/proc/meminfo: memFree=1486144/2055920 swapFree=4184584/4192956
[pid=24943] ppid=24941 vsize=300420 CPUtime=822.05
/proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 74907 0 0 0 82132 73 0 0 25 0 1 0 113212458 307630080 74461 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24943/statm: 75105 74461 310 324 0 74175 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 300420

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 24944
/proc/meminfo: memFree=1466624/2055920 swapFree=4184584/4192956
[pid=24943] ppid=24941 vsize=319508 CPUtime=882.03
/proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 79677 0 0 0 88126 77 0 0 25 0 1 0 113212458 327176192 79231 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24943/statm: 79877 79231 310 324 0 78947 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 319508

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 24944
/proc/meminfo: memFree=1450624/2055920 swapFree=4184584/4192956
[pid=24943] ppid=24941 vsize=335716 CPUtime=942.01
/proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 83732 0 0 0 94121 80 0 0 25 0 1 0 113212458 343773184 83286 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24943/statm: 83929 83286 310 324 0 82999 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 335716

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 24944
/proc/meminfo: memFree=1426688/2055920 swapFree=4184584/4192956
[pid=24943] ppid=24941 vsize=359396 CPUtime=1002
/proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 89651 0 0 0 100114 86 0 0 25 0 1 0 113212458 368021504 89205 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8539892 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24943/statm: 89849 89205 310 324 0 88919 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 359396

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 24944
/proc/meminfo: memFree=1411520/2055920 swapFree=4184584/4192956
[pid=24943] ppid=24941 vsize=374724 CPUtime=1061.98
/proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 93468 0 0 0 106108 90 0 0 25 0 1 0 113212458 383717376 93022 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24943/statm: 93681 93022 310 324 0 92751 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 374724

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 24944
/proc/meminfo: memFree=1396416/2055920 swapFree=4184584/4192956
[pid=24943] ppid=24941 vsize=389676 CPUtime=1121.97
/proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 97212 0 0 0 112104 93 0 0 25 0 1 0 113212458 399028224 96766 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8541819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24943/statm: 97419 96766 310 324 0 96489 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 389676

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 24944
/proc/meminfo: memFree=1379200/2055920 swapFree=4184584/4192956
[pid=24943] ppid=24941 vsize=406888 CPUtime=1181.94
/proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 101531 0 0 0 118097 97 0 0 25 0 1 0 113212458 416653312 101085 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24943/statm: 101722 101085 310 324 0 100792 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 406888

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 24944
/proc/meminfo: memFree=1362048/2055920 swapFree=4184584/4192956
[pid=24943] ppid=24941 vsize=423856 CPUtime=1241.93
/proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 105781 0 0 0 124091 102 0 0 25 0 1 0 113212458 434028544 105335 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24943/statm: 105964 105335 310 324 0 105034 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 423856

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 24944
/proc/meminfo: memFree=1344896/2055920 swapFree=4184584/4192956
[pid=24943] ppid=24941 vsize=440904 CPUtime=1301.91
/proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 110030 0 0 0 130085 106 0 0 25 0 1 0 113212458 451485696 109584 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24943/statm: 110226 109584 310 324 0 109296 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 440904

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 24944
/proc/meminfo: memFree=1334080/2055920 swapFree=4184584/4192956
[pid=24943] ppid=24941 vsize=451768 CPUtime=1361.89
/proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 112755 0 0 0 136080 109 0 0 25 0 1 0 113212458 462610432 112309 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24943/statm: 112942 112309 310 324 0 112012 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 451768

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 24944
/proc/meminfo: memFree=1319040/2055920 swapFree=4184584/4192956
[pid=24943] ppid=24941 vsize=466716 CPUtime=1421.88
/proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 116478 0 0 0 142076 112 0 0 25 0 1 0 113212458 477917184 116032 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24943/statm: 116679 116032 310 324 0 115749 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 466716

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 24944
/proc/meminfo: memFree=1300288/2055920 swapFree=4184584/4192956
[pid=24943] ppid=24941 vsize=485792 CPUtime=1481.86
/proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 121237 0 0 0 148069 117 0 0 25 0 1 0 113212458 497451008 120791 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8541819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24943/statm: 121448 120791 310 324 0 120518 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 485792

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 24944
/proc/meminfo: memFree=1289984/2055920 swapFree=4184584/4192956
[pid=24943] ppid=24941 vsize=495764 CPUtime=1541.84
/proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 123734 0 0 0 154065 119 0 0 25 0 1 0 113212458 507662336 123288 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24943/statm: 123941 123288 310 324 0 123011 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 495764

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 24944
/proc/meminfo: memFree=1280960/2055920 swapFree=4184584/4192956
[pid=24943] ppid=24941 vsize=504940 CPUtime=1601.82
/proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 126023 0 0 0 160060 122 0 0 25 0 1 0 113212458 517058560 125577 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24943/statm: 126235 125577 310 324 0 125305 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 504940

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 24944
/proc/meminfo: memFree=1271744/2055920 swapFree=4184584/4192956
[pid=24943] ppid=24941 vsize=513976 CPUtime=1661.81
/proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 128291 0 0 0 166057 124 0 0 25 0 1 0 113212458 526311424 127845 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24943/statm: 128494 127845 310 324 0 127564 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 513976

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 24944
/proc/meminfo: memFree=1263040/2055920 swapFree=4184584/4192956
[pid=24943] ppid=24941 vsize=522768 CPUtime=1721.79
/proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 130500 0 0 0 172053 126 0 0 25 0 1 0 113212458 535314432 130054 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8541819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24943/statm: 130692 130054 310 324 0 129762 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 522768

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 24944
/proc/meminfo: memFree=1249856/2055920 swapFree=4184584/4192956
[pid=24943] ppid=24941 vsize=535896 CPUtime=1781.77
/proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 133787 0 0 0 178049 128 0 0 25 0 1 0 113212458 548757504 133341 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24943/statm: 133974 133341 310 324 0 133044 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 535896



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 24944
/proc/meminfo: memFree=1246400/2055920 swapFree=4184584/4192956
[pid=24943] ppid=24941 vsize=539252 CPUtime=1800.07
/proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 134602 0 0 0 179879 128 0 0 25 0 1 0 113212458 552194048 134156 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24943/statm: 134813 134156 310 324 0 133883 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 539252

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.7
CPU time (s): 1800.17
CPU user time (s): 1798.79
CPU system time (s): 1.37379
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (KiB): 539252

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

runsolver used 1.39679 second user time and 3.52746 second system time

The end

Launcher Data (download as text)

Begin job on node62 on Mon Apr 30 15:19:25 UTC 2007

IDJOB= 432617
IDBENCH= 1615
IDSOLVER= 199
FILE ID= node62/432617-1177946364

PBS_JOBID= 4727809

Free space on /tmp= 66557 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-roll3000.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432617-1177946364/instance-432617-1177946364.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node62/watcher-432617-1177946364 -o ROOT/results/node62/solver-432617-1177946364 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/432617-1177946364/instance-432617-1177946364.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  8bdca001a57a76bf3835c82b9bc6a431

RANDOM SEED= 460698131

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node62.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.216
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.216
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:       1783576 kB
Buffers:         34984 kB
Cached:         158360 kB
SwapCached:       2428 kB
Active:          79556 kB
Inactive:       123516 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1783576 kB
SwapTotal:     4192956 kB
SwapFree:      4184584 kB
Dirty:            7436 kB
Writeback:           0 kB
Mapped:          16240 kB
Slab:            55340 kB
Committed_AS:  1288964 kB
PageTables:       1460 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 node62 on Mon Apr 30 15:49:27 UTC 2007