Trace number 433189

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

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-B1C1S1.opb
MD5SUMbb02029eb777c2a6ae8e192b29bcb9de
Bench CategoryOPT-BIGINT (optimisation, big 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 348966092800
Number of bits for the biggest coefficient in the objective function 39
Sum of the numbers in the objective function 299074813804544
Number of bits of the sum of numbers in the objective function 49
Biggest number in a constraint 348966092800
Number of bits of the biggest number in a constraint 39
Biggest sum of numbers in a constraint 299074813804544
Number of bits of the biggest sum of numbers49
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/433189-1177956088/instance-433189-1177956088.opb
0.00/0.00	c File size is 4779190 bytes.
0.00/0.09	c Coefficients are big enough for not using lower bounding.
0.79/0.82	c Highest Coefficient sum: 2.99075e+14
0.79/0.82	c Parsing was ok!!
0.79/0.82	c Total parsing time: 0.82 s
0.79/0.87	c Var: 107808 Constr: 5184 0/0/5184 Lit: 434720 Watch. Lit: 103488
0.79/0.87	c Obj. Vars: 38688 (35.886 % of total variables)
2.69/2.76	c Pre-processing Time: 2.752 s
1800.00/1800.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.00/1800.71	c        0  63376     5184   430832   83   379302  861664      0      0 2.75
1800.00/1800.71	c      101  63376     5285   443684   83   381932  947831    101     34 2.90
1800.00/1800.71	c      252  63376     5436   451662   83   382176  500000    252     83 3.02
1800.00/1800.71	c      477  63376     5661   475203   83   382559  550001    477    152 3.12
1800.00/1800.71	c      817  63376     6001   501239   83   383249  605002    817    255 3.19
1800.00/1800.71	c     1325  63376     6509   555337   85   384387  665503   1325    401 3.30
1800.00/1800.71	c     2090  63375     7274   602986   82   386462  732054   2090    592 3.53
1800.00/1800.71	c     3236  63375     8420   661542   78   388777  805260   3236    867 3.73
1800.00/1800.71	c     4958  63375    10142   765146   75   392253  885787   4958   1219 4.07
1800.00/1800.71	c     7543  63374    12727   909766   71   397322  974366   7543   1521 4.96
1800.00/1800.71	c    11422  63373    16606  1110580   66   404457  500000  11422   1779 6.42
1800.00/1800.71	c    17244  63373    22428  1623734   72   416231  550001  17244   1649 10.46
1800.00/1800.71	c    25982  63373    31166  2396390   76   434182  605002  25982   1978 13.13
1800.00/1800.71	c    39093  63373    44277  3318408   74   460003  665503  39093   1931 20.24
1800.00/1800.71	c    58763  63373    63947  4558352   71   499749  732054  58763   1917 30.65
1800.00/1800.71	c    88275  63373    93459  6141816   65   558723  805260  88275   1912 46.15
1800.00/1800.71	c   132545  63373   137729 10101458   73   647406  885787 132545   1329 99.73
1800.00/1800.71	c   198955  63373   204139 14465021   70   780911  974366 198955   1467 135.56
1800.00/1800.71	c   298575  63373   303759 21323957   70   980321  500000 298575    367 813.07
1800.00/1800.71	c Caught signal: 15
1800.00/1800.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.00/1800.71	c   18   428584  30392  2421301   433768 41708422 428584    238 1800.01
1800.00/1800.71	s UNKNOWN
1800.00/1800.71	c Total time: 1800.01 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/node40/watcher-433189-1177956088 -o ROOT/results/node40/solver-433189-1177956088 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433189-1177956088/instance-433189-1177956088.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.72 0.92 0.92 3/83 10812
/proc/meminfo: memFree=1826416/2055920 swapFree=4157456/4192956
[pid=10812] ppid=10810 vsize=16404 CPUtime=0
/proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 124488464 16797696 336 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7345787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10812/statm: 4101 336 280 324 0 2004 0

[startup+0.102236 s]
/proc/loadavg: 0.72 0.92 0.92 3/83 10812
/proc/meminfo: memFree=1826416/2055920 swapFree=4157456/4192956
[pid=10812] ppid=10810 vsize=20140 CPUtime=0.09
/proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 1525 0 0 0 9 0 0 0 18 0 1 0 124488464 20623360 1376 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10812/statm: 5035 1376 442 324 0 2938 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20140

[startup+0.201257 s]
/proc/loadavg: 0.72 0.92 0.92 3/83 10812
/proc/meminfo: memFree=1826416/2055920 swapFree=4157456/4192956
[pid=10812] ppid=10810 vsize=14868 CPUtime=0.19
/proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 2382 0 0 0 18 1 0 0 18 0 1 0 124488464 15224832 2184 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7345787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10812/statm: 3717 2185 580 324 0 1620 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 14868

[startup+0.301276 s]
/proc/loadavg: 0.72 0.92 0.92 3/83 10812
/proc/meminfo: memFree=1826416/2055920 swapFree=4157456/4192956
[pid=10812] ppid=10810 vsize=15912 CPUtime=0.29
/proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 2776 0 0 0 28 1 0 0 19 0 1 0 124488464 16293888 2578 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7345787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10812/statm: 3978 2578 712 324 0 1881 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15912

[startup+0.701361 s]
/proc/loadavg: 0.72 0.92 0.92 3/83 10812
/proc/meminfo: memFree=1826416/2055920 swapFree=4157456/4192956
[pid=10812] ppid=10810 vsize=22020 CPUtime=0.69
/proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 4998 0 0 0 68 1 0 0 23 0 1 0 124488464 22548480 4546 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7345787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10812/statm: 5505 4546 1255 324 0 3408 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22020

[startup+1.50253 s]
/proc/loadavg: 0.74 0.92 0.92 3/84 10813
/proc/meminfo: memFree=1795432/2055920 swapFree=4157456/4192956
[pid=10812] ppid=10810 vsize=36696 CPUtime=1.49
/proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 9828 0 0 0 143 6 0 0 25 0 1 0 124488464 37576704 8133 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10812/statm: 9174 8133 304 324 0 8244 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36696

[startup+3.10186 s]
/proc/loadavg: 0.74 0.92 0.92 2/84 10813
/proc/meminfo: memFree=1788456/2055920 swapFree=4157456/4192956
[pid=10812] ppid=10810 vsize=41424 CPUtime=3.08
/proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 12066 0 0 0 294 14 0 0 25 0 1 0 124488464 42418176 9316 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10812/statm: 10356 9316 310 324 0 9426 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 41424

[startup+6.30253 s]
/proc/loadavg: 0.76 0.92 0.92 2/84 10821
/proc/meminfo: memFree=1786664/2055920 swapFree=4157456/4192956
[pid=10812] ppid=10810 vsize=46544 CPUtime=6.28
/proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 13351 0 0 0 613 15 0 0 25 0 1 0 124488464 47661056 10601 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10812/statm: 11636 10601 310 324 0 10706 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 46544

[startup+12.7019 s]
/proc/loadavg: 0.78 0.93 0.92 2/84 10827
/proc/meminfo: memFree=1770920/2055920 swapFree=4157456/4192956
[pid=10812] ppid=10810 vsize=63168 CPUtime=12.68
/proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 17530 0 0 0 1251 17 0 0 25 0 1 0 124488464 64684032 14780 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551189 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10812/statm: 15792 14780 310 324 0 14862 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 63168

[startup+25.5015 s]
/proc/loadavg: 0.81 0.93 0.92 2/84 10835
/proc/meminfo: memFree=1742760/2055920 swapFree=4157456/4192956
[pid=10812] ppid=10810 vsize=89144 CPUtime=25.47
/proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 24004 0 0 0 2527 20 0 0 25 0 1 0 124488464 91283456 21254 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10812/statm: 22286 21254 310 324 0 21356 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 89144

[startup+51.1019 s]
/proc/loadavg: 0.88 0.93 0.92 2/78 10855
/proc/meminfo: memFree=1706024/2055920 swapFree=4157456/4192956
[pid=10812] ppid=10810 vsize=128104 CPUtime=51.03
/proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 33755 0 0 0 5078 25 0 0 25 0 1 0 124488464 131178496 31005 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7345787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10812/statm: 32026 31005 310 324 0 31096 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 128104

[startup+102.302 s]
/proc/loadavg: 0.95 0.94 0.92 2/78 10855
/proc/meminfo: memFree=1655528/2055920 swapFree=4157456/4192956
[pid=10812] ppid=10810 vsize=177008 CPUtime=102.22
/proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 45978 0 0 0 10188 34 0 0 25 0 1 0 124488464 181256192 43228 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10812/statm: 44252 43228 310 324 0 43322 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 177008

[startup+162.301 s]
/proc/loadavg: 0.98 0.95 0.92 2/78 10855
/proc/meminfo: memFree=1568744/2055920 swapFree=4157456/4192956
[pid=10812] ppid=10810 vsize=263624 CPUtime=162.19
/proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 67667 0 0 0 16171 48 0 0 25 0 1 0 124488464 269950976 64917 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10812/statm: 65906 64917 310 324 0 64976 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 263624

[startup+222.306 s]
/proc/loadavg: 0.99 0.95 0.92 2/78 10855
/proc/meminfo: memFree=1551272/2055920 swapFree=4157456/4192956
[pid=10812] ppid=10810 vsize=280924 CPUtime=222.17
/proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 71984 0 0 0 22164 53 0 0 25 0 1 0 124488464 287666176 69234 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10812/statm: 70231 69234 310 324 0 69301 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 280924

[startup+282.301 s]
/proc/loadavg: 0.99 0.96 0.92 2/78 10855
/proc/meminfo: memFree=1537384/2055920 swapFree=4157456/4192956
[pid=10812] ppid=10810 vsize=294876 CPUtime=282.14
/proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 75473 0 0 0 28155 59 0 0 25 0 1 0 124488464 301953024 72723 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10812/statm: 73719 72723 310 324 0 72789 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 294876

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 10855
/proc/meminfo: memFree=1527144/2055920 swapFree=4157456/4192956
[pid=10812] ppid=10810 vsize=304936 CPUtime=342.12
/proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 77997 0 0 0 34149 63 0 0 25 0 1 0 124488464 312254464 75247 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551424 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10812/statm: 76234 75247 310 324 0 75304 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 304936

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 10855
/proc/meminfo: memFree=1519464/2055920 swapFree=4157456/4192956
[pid=10812] ppid=10810 vsize=312688 CPUtime=402.1
/proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 79922 0 0 0 40144 66 0 0 25 0 1 0 124488464 320192512 77172 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10812/statm: 78172 77172 310 324 0 77242 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 312688

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 10855
/proc/meminfo: memFree=1513896/2055920 swapFree=4157456/4192956
[pid=10812] ppid=10810 vsize=318248 CPUtime=462.08
/proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 81314 0 0 0 46140 68 0 0 25 0 1 0 124488464 325885952 78564 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10812/statm: 79562 78564 310 324 0 78632 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 318248

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 10855
/proc/meminfo: memFree=1510248/2055920 swapFree=4157456/4192956
[pid=10812] ppid=10810 vsize=322008 CPUtime=522.06
/proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 82242 0 0 0 52136 70 0 0 25 0 1 0 124488464 329736192 79492 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10812/statm: 80502 79492 310 324 0 79572 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 322008

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 10855
/proc/meminfo: memFree=1506664/2055920 swapFree=4157456/4192956
[pid=10812] ppid=10810 vsize=325500 CPUtime=582.03
/proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 83124 0 0 0 58132 71 0 0 25 0 1 0 124488464 333312000 80374 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10812/statm: 81375 80374 310 324 0 80445 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 325500

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 10855
/proc/meminfo: memFree=1503464/2055920 swapFree=4157456/4192956
[pid=10812] ppid=10810 vsize=328720 CPUtime=642.02
/proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 83942 0 0 0 64129 73 0 0 25 0 1 0 124488464 336609280 81192 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551408 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10812/statm: 82180 81192 310 324 0 81250 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 328720


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

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 10855
/proc/meminfo: memFree=1478248/2055920 swapFree=4157456/4192956
[pid=10812] ppid=10810 vsize=355292 CPUtime=821.95
/proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 90577 0 0 0 82117 78 0 0 25 0 1 0 124488464 363819008 87827 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10812/statm: 88823 87827 310 324 0 87893 0
Current children cumulated CPU time (s) 821.95
Current children cumulated vsize (KiB) 355292

[startup+882.306 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 10855
/proc/meminfo: memFree=1433704/2055920 swapFree=4157456/4192956
[pid=10812] ppid=10810 vsize=398280 CPUtime=881.93
/proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 101321 0 0 0 88103 90 0 0 25 0 1 0 124488464 407838720 98571 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7343847 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10812/statm: 99570 98571 310 324 0 98640 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 398280

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 10855
/proc/meminfo: memFree=1406248/2055920 swapFree=4157456/4192956
[pid=10812] ppid=10810 vsize=425904 CPUtime=941.91
/proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 108224 0 0 0 94093 98 0 0 25 0 1 0 124488464 436125696 105474 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10812/statm: 106476 105474 310 324 0 105546 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 425904

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 10857
/proc/meminfo: memFree=1382120/2055920 swapFree=4157456/4192956
[pid=10812] ppid=10810 vsize=449780 CPUtime=1001.89
/proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 114188 0 0 0 100085 104 0 0 25 0 1 0 124488464 460574720 111438 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10812/statm: 112445 111438 310 324 0 111515 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 449780

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 10857
/proc/meminfo: memFree=1362792/2055920 swapFree=4157456/4192956
[pid=10812] ppid=10810 vsize=469140 CPUtime=1061.86
/proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 119033 0 0 0 106077 109 0 0 25 0 1 0 124488464 480399360 116283 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10812/statm: 117285 116283 310 324 0 116355 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 469140

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 10857
/proc/meminfo: memFree=1345320/2055920 swapFree=4157456/4192956
[pid=10812] ppid=10810 vsize=486428 CPUtime=1121.84
/proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 123365 0 0 0 112070 114 0 0 25 0 1 0 124488464 498102272 120615 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10812/statm: 121607 120615 310 324 0 120677 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 486428

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 10857
/proc/meminfo: memFree=1330024/2055920 swapFree=4157456/4192956
[pid=10812] ppid=10810 vsize=501752 CPUtime=1181.82
/proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 127203 0 0 0 118064 118 0 0 25 0 1 0 124488464 513794048 124453 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10812/statm: 125438 124453 310 324 0 124508 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 501752

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 10857
/proc/meminfo: memFree=1317096/2055920 swapFree=4157456/4192956
[pid=10812] ppid=10810 vsize=514640 CPUtime=1241.8
/proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 130404 0 0 0 124059 121 0 0 25 0 1 0 124488464 526991360 127654 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10812/statm: 128660 127654 310 324 0 127730 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 514640

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 10857
/proc/meminfo: memFree=1301800/2055920 swapFree=4157456/4192956
[pid=10812] ppid=10810 vsize=530016 CPUtime=1301.77
/proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 134256 0 0 0 130052 125 0 0 25 0 1 0 124488464 542736384 131506 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7343853 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10812/statm: 132504 131506 310 324 0 131574 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 530016

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 10857
/proc/meminfo: memFree=1289832/2055920 swapFree=4157456/4192956
[pid=10812] ppid=10810 vsize=541784 CPUtime=1361.76
/proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 137207 0 0 0 136047 129 0 0 25 0 1 0 124488464 554786816 134457 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10812/statm: 135446 134457 310 324 0 134516 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 541784

[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 10857
/proc/meminfo: memFree=1278184/2055920 swapFree=4157456/4192956
[pid=10812] ppid=10810 vsize=553268 CPUtime=1421.74
/proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 140079 0 0 0 142042 132 0 0 25 0 1 0 124488464 566546432 137329 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10812/statm: 138317 137329 310 324 0 137387 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 553268

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 10857
/proc/meminfo: memFree=1265256/2055920 swapFree=4157456/4192956
[pid=10812] ppid=10810 vsize=566292 CPUtime=1481.71
/proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 143334 0 0 0 148036 135 0 0 25 0 1 0 124488464 579883008 140584 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10812/statm: 141573 140584 310 324 0 140643 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 566292

[startup+1542.31 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 10857
/proc/meminfo: memFree=1255720/2055920 swapFree=4157456/4192956
[pid=10812] ppid=10810 vsize=575836 CPUtime=1541.69
/proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 145707 0 0 0 154032 137 0 0 25 0 1 0 124488464 589656064 142957 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10812/statm: 143959 142957 310 324 0 143029 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 575836

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 10857
/proc/meminfo: memFree=1247144/2055920 swapFree=4157456/4192956
[pid=10812] ppid=10810 vsize=584356 CPUtime=1601.66
/proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 147846 0 0 0 160027 139 0 0 25 0 1 0 124488464 598380544 145096 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10812/statm: 146089 145096 310 324 0 145159 0
Current children cumulated CPU time (s) 1601.66
Current children cumulated vsize (KiB) 584356

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 10857
/proc/meminfo: memFree=1238696/2055920 swapFree=4157456/4192956
[pid=10812] ppid=10810 vsize=592864 CPUtime=1661.65
/proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 149957 0 0 0 166022 143 0 0 25 0 1 0 124488464 607092736 147207 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7345787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10812/statm: 148216 147207 310 324 0 147286 0
Current children cumulated CPU time (s) 1661.65
Current children cumulated vsize (KiB) 592864

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 10857
/proc/meminfo: memFree=1230632/2055920 swapFree=4157456/4192956
[pid=10812] ppid=10810 vsize=600856 CPUtime=1721.63
/proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 151979 0 0 0 172017 146 0 0 25 0 1 0 124488464 615276544 149229 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10812/statm: 150214 149229 310 324 0 149284 0
Current children cumulated CPU time (s) 1721.63
Current children cumulated vsize (KiB) 600856

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 10857
/proc/meminfo: memFree=1222824/2055920 swapFree=4157456/4192956
[pid=10812] ppid=10810 vsize=608616 CPUtime=1781.61
/proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 153899 0 0 0 178013 148 0 0 25 0 1 0 124488464 623222784 151149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10812/statm: 152154 151149 310 324 0 151224 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 608616



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 10857
/proc/meminfo: memFree=1220584/2055920 swapFree=4157456/4192956
[pid=10812] ppid=10810 vsize=610676 CPUtime=1800
/proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 154438 0 0 0 179852 148 0 0 25 0 1 0 124488464 625332224 151688 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10812/statm: 152669 151688 310 324 0 151739 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 610676

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.81
CPU time (s): 1800.11
CPU user time (s): 1798.53
CPU system time (s): 1.58276
CPU usage (%): 99.9614
Max. virtual memory (cumulated for all children) (KiB): 610676

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

runsolver used 1.40878 second user time and 3.83542 second system time

The end

Launcher Data (download as text)

Begin job on node40 on Mon Apr 30 18:01:29 UTC 2007

IDJOB= 433189
IDBENCH= 2342
IDSOLVER= 199
FILE ID= node40/433189-1177956088

PBS_JOBID= 4727734

Free space on /tmp= 66533 MiB

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  bb02029eb777c2a6ae8e192b29bcb9de

RANDOM SEED= 581387554

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node40.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.283
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.283
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:       1826824 kB
Buffers:         36708 kB
Cached:         103912 kB
SwapCached:      15168 kB
Active:          69228 kB
Inactive:        94892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1826824 kB
SwapTotal:     4192956 kB
SwapFree:      4157456 kB
Dirty:           11552 kB
Writeback:           0 kB
Mapped:          31060 kB
Slab:            49980 kB
Committed_AS:  1150268 kB
PageTables:       2168 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= 66533 MiB

End job on node40 on Mon Apr 30 18:31:32 UTC 2007