Trace number 348501

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-scorpion.opb
MD5SUMc81149f534c8693c12d254417cbfee8f
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 variables10740
Total number of constraints377
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 constraints377
Minimum length of a constraint30
Maximum length of a constraint600
Number of terms in the objective function 8460
Biggest coefficient in the objective function 9370
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 531275
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 531275
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/348501-1176585790/instance-348501-1176585790.opb
0.00/0.00	c File size is 504659 bytes.
0.09/0.18	c Highest Coefficient sum: 531275
0.09/0.18	c Parsing was ok!!
0.09/0.18	c Total parsing time: 0.181 s
0.09/0.19	c Var: 10740 Constr: 657 62/0/595 Lit: 75450 Watch. Lit: 11614
0.09/0.19	c Obj. Vars: 8460 (78.7709 % of total variables)
0.49/0.54	c Pre-processing Time: 0.534 s
0.49/0.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.54	c        0   9203      609    72930  119    49653  142936      0      0 0.53
0.49/0.54	c Switching off LPR mode.
1799.99/1800.71	c      101   9203      710    85897  120    59265  157230    101    109 0.92
1799.99/1800.71	c      251   9203      860   106724  124    58464  172954    251    165 1.51
1799.99/1800.71	c      476   9203     1085   159059  146    59959  190250    476    173 2.74
1799.99/1800.71	c      814   9203     1423   216755  152    63325  209276    814    258 3.14
1799.99/1800.71	c     1324   9203     1933   267826  138    64826  230204   1324    388 3.41
1799.99/1800.71	c     2087   9198     2696   326412  121    66617  253225   2087    563 3.70
1799.99/1800.71	c     3233   9198     3842   504190  131    69390  278548   3233    694 4.66
1799.99/1800.71	c     4954   9198     5563   591843  106    72417  306403   4954    888 5.57
1799.99/1800.71	c     7538   9198     8147   718459   88    77718  337044   7538   1220 6.17
1799.99/1800.71	c    11421   9198    12030   961425   79    85249  370749  11421   1453 7.86
1799.99/1800.71	c    17243   9196    17852  1521681   85    97548  407824  17243   1617 10.66
1799.99/1800.71	c    25980   9191    26589  2387143   89   113760  448607  25980   1653 15.71
1799.99/1800.71	c    39090   9191    39699  3239551   81   140107  493468  39090   1667 23.45
1799.99/1800.71	c    58762   9191    59371  4856485   81   179571  542815  58762   1332 44.09
1799.99/1800.72	c    88272   9191    88881  6794064   76   238073  597097  88272    927 95.21
1799.99/1800.72	c   132542   9190   133151 10306611   77   328444  656807 132542   1057 125.32
1799.99/1800.72	c   198952   9190   199561 17866844   89   460995  722488 198952    659 301.48
1799.99/1800.72	c   298573   9190   299182 24169773   80   661152  794737 298573    298 1000.81
1799.99/1800.72	c   448011   9189   448620 33934658   75   959272  874211 448011    265 1685.18
1799.99/1800.72	c Resources Exceeded
1799.99/1800.72	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.99/1800.72	c   19   510438  55385   857399   511047 39700098 510438    283 1800.01
1799.99/1800.72	s UNKNOWN
1799.99/1800.72	c Total time: 1800.01 s

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node13/watcher-348501-1176585790 -o ROOT/results/node13/solver-348501-1176585790 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348501-1176585790/instance-348501-1176585790.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.91 0.98 0.99 3/77 32593
/proc/meminfo: memFree=1735216/2055920 swapFree=4175456/4192956
[pid=32593] ppid=32591 vsize=20044 CPUtime=0
/proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 363 0 1 0 0 0 0 0 18 0 1 0 106496855 20525056 332 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32593/statm: 5011 332 280 324 0 3956 0

[startup+0.0389601 s]
/proc/loadavg: 0.91 0.98 0.99 3/77 32593
/proc/meminfo: memFree=1735216/2055920 swapFree=4175456/4192956
[pid=32593] ppid=32591 vsize=12896 CPUtime=0.03
/proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 553 0 1 0 3 0 0 0 18 0 1 0 106496855 13205504 522 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32593/statm: 3224 522 303 324 0 2169 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12896

[startup+0.101973 s]
/proc/loadavg: 0.91 0.98 0.99 3/77 32593
/proc/meminfo: memFree=1735216/2055920 swapFree=4175456/4192956
[pid=32593] ppid=32591 vsize=5640 CPUtime=0.09
/proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 745 0 1 0 9 0 0 0 18 0 1 0 106496855 5775360 714 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32593/statm: 1410 714 346 324 0 355 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5640

[startup+0.302016 s]
/proc/loadavg: 0.91 0.98 0.99 3/77 32593
/proc/meminfo: memFree=1735216/2055920 swapFree=4175456/4192956
[pid=32593] ppid=32591 vsize=8720 CPUtime=0.29
/proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 1777 0 1 0 27 2 0 0 19 0 1 0 106496855 8929280 1538 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32593/statm: 2180 1538 308 324 0 1249 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8720

[startup+0.701101 s]
/proc/loadavg: 0.91 0.98 0.99 3/77 32593
/proc/meminfo: memFree=1735216/2055920 swapFree=4175456/4192956
[pid=32593] ppid=32591 vsize=8192 CPUtime=0.69
/proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 1846 0 1 0 67 2 0 0 22 0 1 0 106496855 8388608 1415 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32593/statm: 2048 1415 312 324 0 1117 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8192

[startup+1.50127 s]
/proc/loadavg: 0.91 0.98 0.99 2/78 32594
/proc/meminfo: memFree=1730280/2055920 swapFree=4175456/4192956
[pid=32593] ppid=32591 vsize=8452 CPUtime=1.48
/proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 1914 0 1 0 146 2 0 0 25 0 1 0 106496855 8654848 1483 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32593/statm: 2113 1483 312 324 0 1182 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 8452

[startup+3.10161 s]
/proc/loadavg: 0.91 0.98 0.99 2/78 32594
/proc/meminfo: memFree=1729640/2055920 swapFree=4175456/4192956
[pid=32593] ppid=32591 vsize=10016 CPUtime=3.08
/proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 2296 0 1 0 305 3 0 0 25 0 1 0 106496855 10256384 1865 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32593/statm: 2504 1865 312 324 0 1573 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 10016

[startup+6.3013 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 32594
/proc/meminfo: memFree=1723496/2055920 swapFree=4175456/4192956
[pid=32593] ppid=32591 vsize=17576 CPUtime=6.28
/proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 4173 0 1 0 622 6 0 0 25 0 1 0 106496855 17997824 3742 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32593/statm: 4394 3742 312 324 0 3463 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 17576

[startup+12.7017 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 32594
/proc/meminfo: memFree=1707056/2055920 swapFree=4175456/4192956
[pid=32593] ppid=32591 vsize=33692 CPUtime=12.68
/proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 8214 0 1 0 1257 11 0 0 25 0 1 0 106496855 34500608 7783 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32593/statm: 8423 7783 312 324 0 7492 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 33692

[startup+25.5014 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 32594
/proc/meminfo: memFree=1680944/2055920 swapFree=4175456/4192956
[pid=32593] ppid=32591 vsize=58116 CPUtime=25.48
/proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 14311 0 1 0 2528 20 0 0 25 0 1 0 106496855 59510784 13880 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32593/statm: 14529 13880 312 324 0 13598 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 58116

[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 32594
/proc/meminfo: memFree=1658480/2055920 swapFree=4175456/4192956
[pid=32593] ppid=32591 vsize=80584 CPUtime=51.06
/proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 19953 0 1 0 5078 28 0 0 25 0 1 0 106496855 82518016 19522 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32593/statm: 20146 19522 312 324 0 19215 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 80584

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 32594
/proc/meminfo: memFree=1629040/2055920 swapFree=4175456/4192956
[pid=32593] ppid=32591 vsize=109468 CPUtime=102.25
/proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 27168 0 1 0 10183 42 0 0 25 0 1 0 106496855 112095232 26737 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32593/statm: 27367 26737 312 324 0 26436 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 109468

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32594
/proc/meminfo: memFree=1524400/2055920 swapFree=4175456/4192956
[pid=32593] ppid=32591 vsize=214252 CPUtime=162.22
/proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 53359 0 1 0 16151 71 0 0 25 0 1 0 106496855 219394048 52928 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32593/statm: 53563 52928 312 324 0 52632 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 214252

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32594
/proc/meminfo: memFree=1499760/2055920 swapFree=4175456/4192956
[pid=32593] ppid=32591 vsize=238464 CPUtime=222.2
/proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 59406 0 1 0 22138 82 0 0 25 0 1 0 106496855 244187136 58975 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32593/statm: 59616 58975 312 324 0 58685 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 238464

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32594
/proc/meminfo: memFree=1484976/2055920 swapFree=4175456/4192956
[pid=32593] ppid=32591 vsize=253360 CPUtime=282.18
/proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 63122 0 1 0 28128 90 0 0 25 0 1 0 106496855 259440640 62691 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32593/statm: 63340 62691 312 324 0 62409 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 253360

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32594
/proc/meminfo: memFree=1459824/2055920 swapFree=4175456/4192956
[pid=32593] ppid=32591 vsize=278316 CPUtime=342.15
/proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 69385 0 1 0 34114 101 0 0 25 0 1 0 106496855 284995584 68954 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32593/statm: 69579 68954 312 324 0 68648 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 278316

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32594
/proc/meminfo: memFree=1447792/2055920 swapFree=4175456/4192956
[pid=32593] ppid=32591 vsize=290380 CPUtime=402.13
/proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 72388 0 1 0 40105 108 0 0 25 0 1 0 106496855 297349120 71957 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32593/statm: 72595 71957 312 324 0 71664 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 290380

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32594
/proc/meminfo: memFree=1438576/2055920 swapFree=4175456/4192956
[pid=32593] ppid=32591 vsize=299604 CPUtime=462.11
/proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 74694 0 1 0 46098 113 0 0 25 0 1 0 106496855 306794496 74263 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32593/statm: 74901 74263 312 324 0 73970 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 299604

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32594
/proc/meminfo: memFree=1431344/2055920 swapFree=4175456/4192956
[pid=32593] ppid=32591 vsize=306748 CPUtime=522.09
/proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 76486 0 1 0 52091 118 0 0 25 0 1 0 106496855 314109952 76055 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32593/statm: 76687 76055 312 324 0 75756 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 306748

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32594
/proc/meminfo: memFree=1423344/2055920 swapFree=4175456/4192956
[pid=32593] ppid=32591 vsize=314784 CPUtime=582.06
/proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 78484 0 1 0 58082 124 0 0 25 0 1 0 106496855 322338816 78053 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32593/statm: 78696 78053 312 324 0 77765 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 314784

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32594
/proc/meminfo: memFree=1416944/2055920 swapFree=4175456/4192956
[pid=32593] ppid=32591 vsize=321132 CPUtime=642.04
/proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 80071 0 1 0 64076 128 0 0 25 0 1 0 106496855 328839168 79640 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32593/statm: 80283 79640 312 324 0 79352 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 321132


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32594
/proc/meminfo: memFree=1400624/2055920 swapFree=4175456/4192956
[pid=32593] ppid=32591 vsize=337464 CPUtime=821.96
/proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 84154 0 1 0 82056 140 0 0 25 0 1 0 106496855 345563136 83723 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32593/statm: 84366 83723 312 324 0 83435 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 337464

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32596
/proc/meminfo: memFree=1396144/2055920 swapFree=4175456/4192956
[pid=32593] ppid=32591 vsize=341876 CPUtime=881.94
/proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 85255 0 1 0 88051 143 0 0 25 0 1 0 106496855 350081024 84824 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32593/statm: 85469 84824 312 324 0 84538 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 341876

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32596
/proc/meminfo: memFree=1392240/2055920 swapFree=4175456/4192956
[pid=32593] ppid=32591 vsize=345776 CPUtime=941.92
/proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 86232 0 1 0 94046 146 0 0 25 0 1 0 106496855 354074624 85801 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32593/statm: 86444 85801 312 324 0 85513 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 345776

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32596
/proc/meminfo: memFree=1388464/2055920 swapFree=4175456/4192956
[pid=32593] ppid=32591 vsize=350324 CPUtime=1001.9
/proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 87368 0 1 0 100041 149 0 0 25 0 1 0 106496855 358731776 86937 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32593/statm: 87581 86937 312 324 0 86650 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 350324

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32596
/proc/meminfo: memFree=1351472/2055920 swapFree=4175456/4192956
[pid=32593] ppid=32591 vsize=386680 CPUtime=1061.88
/proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 96452 0 1 0 106023 165 0 0 25 0 1 0 106496855 395960320 96021 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32593/statm: 96670 96021 312 324 0 95739 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 386680

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32596
/proc/meminfo: memFree=1334832/2055920 swapFree=4175456/4192956
[pid=32593] ppid=32591 vsize=403108 CPUtime=1121.85
/proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 100562 0 1 0 112010 175 0 0 25 0 1 0 106496855 412782592 100131 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32593/statm: 100777 100131 312 324 0 99846 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 403108

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32596
/proc/meminfo: memFree=1321008/2055920 swapFree=4175456/4192956
[pid=32593] ppid=32591 vsize=416940 CPUtime=1181.83
/proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 104044 0 1 0 118002 181 0 0 25 0 1 0 106496855 426946560 103613 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32593/statm: 104235 103613 312 324 0 103304 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 416940

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32596
/proc/meminfo: memFree=1307952/2055920 swapFree=4175456/4192956
[pid=32593] ppid=32591 vsize=429896 CPUtime=1241.8
/proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 107275 0 1 0 123993 187 0 0 25 0 1 0 106496855 440213504 106844 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32593/statm: 107474 106844 312 324 0 106543 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 429896

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32596
/proc/meminfo: memFree=1296944/2055920 swapFree=4175456/4192956
[pid=32593] ppid=32591 vsize=440748 CPUtime=1301.78
/proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 109988 0 1 0 129985 193 0 0 25 0 1 0 106496855 451325952 109557 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32593/statm: 110187 109557 312 324 0 109256 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 440748

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32596
/proc/meminfo: memFree=1287664/2055920 swapFree=4175456/4192956
[pid=32593] ppid=32591 vsize=450072 CPUtime=1361.75
/proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 112327 0 1 0 135977 198 0 0 25 0 1 0 106496855 460873728 111896 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32593/statm: 112518 111896 312 324 0 111587 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 450072

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32596
/proc/meminfo: memFree=1279472/2055920 swapFree=4175456/4192956
[pid=32593] ppid=32591 vsize=458244 CPUtime=1421.73
/proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 114341 0 1 0 141971 202 0 0 25 0 1 0 106496855 469241856 113910 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551000 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32593/statm: 114561 113910 312 324 0 113630 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 458244

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32596
/proc/meminfo: memFree=1271664/2055920 swapFree=4175456/4192956
[pid=32593] ppid=32591 vsize=466136 CPUtime=1481.71
/proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 116313 0 1 0 147964 207 0 0 25 0 1 0 106496855 477323264 115882 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32593/statm: 116534 115882 312 324 0 115603 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 466136

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32596
/proc/meminfo: memFree=1263472/2055920 swapFree=4175456/4192956
[pid=32593] ppid=32591 vsize=474180 CPUtime=1541.68
/proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 118348 0 1 0 153957 211 0 0 25 0 1 0 106496855 485560320 117917 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32593/statm: 118545 117917 312 324 0 117614 0
Current children cumulated CPU time (s) 1541.68
Current children cumulated vsize (KiB) 474180

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32596
/proc/meminfo: memFree=1256560/2055920 swapFree=4175456/4192956
[pid=32593] ppid=32591 vsize=481184 CPUtime=1601.66
/proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 120080 0 1 0 159951 215 0 0 25 0 1 0 106496855 492732416 119649 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12312060 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32593/statm: 120296 119649 312 324 0 119365 0
Current children cumulated CPU time (s) 1601.66
Current children cumulated vsize (KiB) 481184

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32596
/proc/meminfo: memFree=1249712/2055920 swapFree=4175456/4192956
[pid=32593] ppid=32591 vsize=487928 CPUtime=1661.64
/proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 121774 0 1 0 165945 219 0 0 25 0 1 0 106496855 499638272 121343 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32593/statm: 121982 121343 312 324 0 121051 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 487928

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32596
/proc/meminfo: memFree=1209136/2055920 swapFree=4175456/4192956
[pid=32593] ppid=32591 vsize=528876 CPUtime=1721.61
/proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 132011 0 1 0 171928 233 0 0 25 0 1 0 106496855 541569024 131580 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32593/statm: 132219 131580 312 324 0 131288 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 528876

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32596
/proc/meminfo: memFree=1175088/2055920 swapFree=4175456/4192956
[pid=32593] ppid=32591 vsize=562488 CPUtime=1781.59
/proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 140429 0 1 0 177914 245 0 0 25 0 1 0 106496855 575987712 139998 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32593/statm: 140622 139998 312 324 0 139691 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 562488



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 32596
/proc/meminfo: memFree=1696800/2055920 swapFree=4175456/4192956
[pid=32593] ppid=32591 vsize=0 CPUtime=1800.08
/proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194308 142556 0 1 0 179751 257 0 0 25 0 1 0 106496855 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32593/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 0

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

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

Child status: 0
Real time (s): 1800.81
CPU time (s): 1800.1
CPU user time (s): 1797.52
CPU system time (s): 2.57961
CPU usage (%): 99.9604
Max. virtual memory (cumulated for all children) (KiB): 571076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.52
system time used= 2.57961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142556
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 1234

runsolver used 2.14767 second user time and 4.33134 second system time

The end

Launcher Data (download as text)

Begin job on node13 on Sat Apr 14 21:23:10 UTC 2007

IDJOB= 348501
IDBENCH= 1687
IDSOLVER= 163
FILE ID= node13/348501-1176585790

PBS_JOBID= 4556790

Free space on /tmp= 66519 MiB

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

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  c81149f534c8693c12d254417cbfee8f

RANDOM SEED= 266079733

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node13.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.259
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.259
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:       1735688 kB
Buffers:         39204 kB
Cached:         196228 kB
SwapCached:       3452 kB
Active:         141720 kB
Inactive:       126856 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1735688 kB
SwapTotal:     4192956 kB
SwapFree:      4175456 kB
Dirty:            4908 kB
Writeback:           0 kB
Mapped:          43004 kB
Slab:            37084 kB
Committed_AS:  4793024 kB
PageTables:       1884 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= 66519 MiB

End job on node13 on Sat Apr 14 21:53:13 UTC 2007