Trace number 362449

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran8x32.opb
MD5SUM857268f55ca3006474c2fa40f262a214
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.184971
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables7936
Total number of constraints296
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 constraints296
Minimum length of a constraint31
Maximum length of a constraint960
Number of terms in the objective function 7936
Biggest coefficient in the objective function 1818
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 530569
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 530569
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/362449-1177012909/instance-362449-1177012909.opb
0.00/0.00	c File size is 305726 bytes.
0.01/0.06	c Highest Coefficient sum: 530569
0.01/0.06	c Parsing was ok!!
0.01/0.06	c Total parsing time: 0.057 s
0.01/0.06	c Var: 7936 Constr: 336 30/0/306 Lit: 38656 Watch. Lit: 23376
0.01/0.06	c Obj. Vars: 7936 (100 % of total variables)
2.18/2.26	c Pre-processing Time: 2.259 s
2.18/2.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.18/2.26	c        0   3812      336    38656  115    23391   54282      0      0 2.26
2.18/2.26	c Switching off LPR mode.
1800.04/1800.50	c      100   3812      436    58517  134    23600   59711    100     43 2.30
1800.04/1800.50	c      250   3812      586    83805  143    23902   65683    250    106 2.35
1800.04/1800.50	c      475   3812      811   125285  154    24351   72252    475    194 2.45
1800.04/1800.50	c      813   3812     1149   169389  147    25026   79478    813    309 2.63
1800.04/1800.50	c     1321   3812     1657   272875  164    26040   87426   1321    451 2.92
1800.04/1800.50	c     2084   3812     2420   424198  175    27565   96169   2084    600 3.47
1800.04/1800.50	c     3231   3812     3567   804667  225    29859  105786   3231    721 4.48
1800.04/1800.50	c     4952   3812     5288  1383747  261    33301  116365   4952    682 7.25
1800.04/1800.50	c     7536   3812     7872  2453573  311    38469  128002   7536    535 14.08
1800.04/1800.50	c    11417   3812    11753  3845356  327    46232  140803  11417    537 21.26
1800.04/1800.50	c    17240   3812    17576  5572556  317    57878  154884  17240    524 32.85
1800.04/1800.50	c    25977   3812    26313  8979174  341    75348  170373  25977    484 53.66
1800.04/1800.50	c    39091   3812    39427 15437023  391   101579  187411  39091    360 108.58
1800.04/1800.50	c    58761   3812    59097 23306034  394   140919  206153  58761    236 248.81
1800.04/1800.50	c    88272   3812    88608 36498381  411   199944  226769  88272    188 469.18
1800.04/1800.50	c   132542   3812   132878 55085543  414   288484  249446 132542    124 1063.79
1800.04/1800.50	c Resources Exceeded
1800.04/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.04/1800.50	c   16   177525  98741  1282583   177861 82437585 177525     98 1800.06
1800.04/1800.50	s UNKNOWN
1800.04/1800.50	c Total time: 1800.06 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/node30/watcher-362449-1177012909 -o ROOT/results/node30/solver-362449-1177012909 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362449-1177012909/instance-362449-1177012909.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: 1.00 1.00 0.99 3/83 30981
/proc/meminfo: memFree=1871144/2055920 swapFree=4157140/4192956
[pid=30981] ppid=30979 vsize=12036 CPUtime=0
/proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 372 0 0 0 0 0 0 0 18 0 1 0 149206544 12324864 340 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30981/statm: 3009 341 282 324 0 2003 0

[startup+0.017907 s]
/proc/loadavg: 1.00 1.00 0.99 3/83 30981
/proc/meminfo: memFree=1871144/2055920 swapFree=4157140/4192956
[pid=30981] ppid=30979 vsize=12468 CPUtime=0.01
/proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 493 0 0 0 1 0 0 0 18 0 1 0 149206544 12767232 461 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7452283 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30981/statm: 3117 461 297 324 0 2111 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12468

[startup+0.101912 s]
/proc/loadavg: 1.00 1.00 0.99 3/83 30981
/proc/meminfo: memFree=1871144/2055920 swapFree=4157140/4192956
[pid=30981] ppid=30979 vsize=6220 CPUtime=0.09
/proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 1030 0 0 0 9 0 0 0 18 0 1 0 149206544 6369280 923 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30981/statm: 1555 923 305 324 0 624 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6220

[startup+0.301924 s]
/proc/loadavg: 1.00 1.00 0.99 3/83 30981
/proc/meminfo: memFree=1871144/2055920 swapFree=4157140/4192956
[pid=30981] ppid=30979 vsize=6220 CPUtime=0.29
/proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 1030 0 0 0 29 0 0 0 19 0 1 0 149206544 6369280 923 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30981/statm: 1555 923 305 324 0 624 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6220

[startup+0.701948 s]
/proc/loadavg: 1.00 1.00 0.99 3/83 30981
/proc/meminfo: memFree=1871144/2055920 swapFree=4157140/4192956
[pid=30981] ppid=30979 vsize=6468 CPUtime=0.69
/proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 1163 0 0 0 69 0 0 0 23 0 1 0 149206544 6623232 992 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30981/statm: 1617 992 307 324 0 686 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6468

[startup+1.502 s]
/proc/loadavg: 1.00 1.00 0.99 2/84 30984
/proc/meminfo: memFree=1868256/2055920 swapFree=4157140/4192956
[pid=30981] ppid=30979 vsize=6468 CPUtime=1.48
/proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 1163 0 0 0 148 0 0 0 25 0 1 0 149206544 6623232 992 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30981/statm: 1617 992 307 324 0 686 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 6468

[startup+3.1011 s]
/proc/loadavg: 1.00 1.00 0.99 2/84 30984
/proc/meminfo: memFree=1868064/2055920 swapFree=4157140/4192956
[pid=30981] ppid=30979 vsize=9572 CPUtime=3.08
/proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 1967 0 0 0 305 3 0 0 25 0 1 0 149206544 9801728 1763 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30981/statm: 2393 1763 311 324 0 1462 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 9572

[startup+6.30229 s]
/proc/loadavg: 1.00 1.00 0.99 2/84 30986
/proc/meminfo: memFree=1855840/2055920 swapFree=4157140/4192956
[pid=30981] ppid=30979 vsize=22352 CPUtime=6.29
/proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 5165 0 0 0 621 8 0 0 25 0 1 0 149206544 22888448 4961 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572845 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30981/statm: 5588 4961 311 324 0 4657 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22352

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 31006
/proc/meminfo: memFree=1842392/2055920 swapFree=4157140/4192956
[pid=30981] ppid=30979 vsize=34560 CPUtime=12.67
/proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 8217 0 0 0 1255 12 0 0 25 0 1 0 149206544 35389440 8013 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30981/statm: 8640 8013 311 324 0 7709 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 34560

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 31006
/proc/meminfo: memFree=1813096/2055920 swapFree=4157140/4192956
[pid=30981] ppid=30979 vsize=63012 CPUtime=25.47
/proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 15317 0 0 0 2524 23 0 0 25 0 1 0 149206544 64524288 15113 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30981/statm: 15753 15113 311 324 0 14822 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 63012

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 31006
/proc/meminfo: memFree=1760552/2055920 swapFree=4157140/4192956
[pid=30981] ppid=30979 vsize=115856 CPUtime=51.06
/proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 28551 0 0 0 5068 38 0 0 25 0 1 0 149206544 118636544 28347 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30981/statm: 28964 28347 311 324 0 28033 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 115856

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 31006
/proc/meminfo: memFree=1679656/2055920 swapFree=4157140/4192956
[pid=30981] ppid=30979 vsize=195900 CPUtime=102.26
/proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 48561 0 0 0 10168 58 0 0 25 0 1 0 149206544 200601600 48357 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30981/statm: 48975 48357 311 324 0 48044 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 195900

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 31006
/proc/meminfo: memFree=1642728/2055920 swapFree=4157140/4192956
[pid=30981] ppid=30979 vsize=232908 CPUtime=162.24
/proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 57811 0 0 0 16148 76 0 0 25 0 1 0 149206544 238497792 57607 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30981/statm: 58227 57607 311 324 0 57296 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 232908

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 31006
/proc/meminfo: memFree=1587880/2055920 swapFree=4157140/4192956
[pid=30981] ppid=30979 vsize=287584 CPUtime=222.22
/proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 71468 0 0 0 22130 92 0 0 25 0 1 0 149206544 294486016 71264 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30981/statm: 71896 71264 311 324 0 70965 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 287584

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 31006
/proc/meminfo: memFree=1538024/2055920 swapFree=4157140/4192956
[pid=30981] ppid=30979 vsize=337780 CPUtime=282.21
/proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 84007 0 0 0 28114 107 0 0 25 0 1 0 149206544 345886720 83803 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551724 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30981/statm: 84445 83803 311 324 0 83514 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 337780

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 31006
/proc/meminfo: memFree=1476008/2055920 swapFree=4157140/4192956
[pid=30981] ppid=30979 vsize=399420 CPUtime=342.2
/proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 99417 0 0 0 34098 122 0 0 25 0 1 0 149206544 409006080 99213 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7450108 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30981/statm: 99855 99213 311 324 0 98924 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 399420

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 31006
/proc/meminfo: memFree=1435112/2055920 swapFree=4157140/4192956
[pid=30981] ppid=30979 vsize=440456 CPUtime=402.18
/proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 109674 0 0 0 40082 136 0 0 25 0 1 0 149206544 451026944 109470 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551055 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30981/statm: 110114 109470 311 324 0 109183 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 440456

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 31006
/proc/meminfo: memFree=1399016/2055920 swapFree=4157140/4192956
[pid=30981] ppid=30979 vsize=476068 CPUtime=462.16
/proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 118590 0 0 0 46072 144 0 0 25 0 1 0 149206544 487493632 118386 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30981/statm: 119017 118386 311 324 0 118086 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 476068

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 31006
/proc/meminfo: memFree=1384488/2055920 swapFree=4157140/4192956
[pid=30981] ppid=30979 vsize=490424 CPUtime=522.15
/proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 122184 0 0 0 52064 151 0 0 25 0 1 0 149206544 502194176 121980 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160521833 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30981/statm: 122606 121980 311 324 0 121675 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 490424

[startup+582.302 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 31006
/proc/meminfo: memFree=1365224/2055920 swapFree=4157140/4192956
[pid=30981] ppid=30979 vsize=509784 CPUtime=582.14
/proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 127008 0 0 0 58058 156 0 0 25 0 1 0 149206544 522018816 126804 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30981/statm: 127446 126804 311 324 0 126515 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 509784

[startup+642.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 31006
/proc/meminfo: memFree=1355688/2055920 swapFree=4157140/4192956
[pid=30981] ppid=30979 vsize=519092 CPUtime=642.13
/proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 129350 0 0 0 64051 162 0 0 25 0 1 0 149206544 531550208 129146 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30981/statm: 129773 129146 311 324 0 128842 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 519092


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31006
/proc/meminfo: memFree=1243176/2055920 swapFree=4157140/4192956
[pid=30981] ppid=30979 vsize=631628 CPUtime=882.07
/proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 157464 0 0 0 88012 195 0 0 25 0 1 0 149206544 646787072 157260 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30981/statm: 157907 157260 311 324 0 156976 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 631628

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31006
/proc/meminfo: memFree=1219816/2055920 swapFree=4157140/4192956
[pid=30981] ppid=30979 vsize=654976 CPUtime=942.05
/proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 163307 0 0 0 94003 202 0 0 25 0 1 0 149206544 670695424 163103 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30981/statm: 163744 163103 311 324 0 162813 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 654976

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31006
/proc/meminfo: memFree=1185448/2055920 swapFree=4157140/4192956
[pid=30981] ppid=30979 vsize=689352 CPUtime=1002.04
/proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 171920 0 0 0 99994 210 0 0 25 0 1 0 149206544 705896448 171716 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550943 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30981/statm: 172338 171716 311 324 0 171407 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 689352

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31006
/proc/meminfo: memFree=1155944/2055920 swapFree=4157140/4192956
[pid=30981] ppid=30979 vsize=719256 CPUtime=1062.02
/proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 179370 0 0 0 105985 217 0 0 25 0 1 0 149206544 736518144 179166 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30981/statm: 179814 179166 311 324 0 178883 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 719256

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31006
/proc/meminfo: memFree=1128616/2055920 swapFree=4157140/4192956
[pid=30981] ppid=30979 vsize=746064 CPUtime=1122.01
/proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 186079 0 0 0 111976 225 0 0 25 0 1 0 149206544 763969536 185875 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30981/statm: 186516 185875 311 324 0 185585 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 746064

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31006
/proc/meminfo: memFree=1100584/2055920 swapFree=4157140/4192956
[pid=30981] ppid=30979 vsize=774180 CPUtime=1182
/proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 193109 0 0 0 117968 232 0 0 25 0 1 0 149206544 792760320 192905 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30981/statm: 193545 192905 311 324 0 192614 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 774180

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31006
/proc/meminfo: memFree=1073000/2055920 swapFree=4157140/4192956
[pid=30981] ppid=30979 vsize=801420 CPUtime=1241.98
/proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 199936 0 0 0 123960 238 0 0 25 0 1 0 149206544 820654080 199732 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30981/statm: 200355 199732 311 324 0 199424 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 801420

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31006
/proc/meminfo: memFree=1038184/2055920 swapFree=4157140/4192956
[pid=30981] ppid=30979 vsize=835972 CPUtime=1301.97
/proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 208574 0 0 0 129952 245 0 0 25 0 1 0 149206544 856035328 208370 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30981/statm: 208993 208370 311 324 0 208062 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 835972

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31006
/proc/meminfo: memFree=1004904/2055920 swapFree=4157140/4192956
[pid=30981] ppid=30979 vsize=869532 CPUtime=1361.95
/proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 216951 0 0 0 135942 253 0 0 25 0 1 0 149206544 890400768 216747 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30981/statm: 217383 216747 311 324 0 216452 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 869532

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31006
/proc/meminfo: memFree=973288/2055920 swapFree=4157140/4192956
[pid=30981] ppid=30979 vsize=900832 CPUtime=1421.94
/proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 224790 0 0 0 141934 260 0 0 25 0 1 0 149206544 922451968 224586 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30981/statm: 225208 224586 311 324 0 224277 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 900832

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31006
/proc/meminfo: memFree=945576/2055920 swapFree=4157140/4192956
[pid=30981] ppid=30979 vsize=928888 CPUtime=1481.92
/proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 231805 0 0 0 147926 266 0 0 25 0 1 0 149206544 951181312 231601 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30981/statm: 232222 231601 311 324 0 231291 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 928888

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31006
/proc/meminfo: memFree=910440/2055920 swapFree=4157140/4192956
[pid=30981] ppid=30979 vsize=963496 CPUtime=1541.91
/proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 240457 0 0 0 153917 274 0 0 25 0 1 0 149206544 986619904 240253 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7452283 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30981/statm: 240874 240253 311 324 0 239943 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 963496

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31006
/proc/meminfo: memFree=881704/2055920 swapFree=4157140/4192956
[pid=30981] ppid=30979 vsize=992620 CPUtime=1601.89
/proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 247732 0 0 0 159909 280 0 0 25 0 1 0 149206544 1016442880 247528 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30981/statm: 248155 247528 311 324 0 247224 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 992620

[startup+1662.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 31006
/proc/meminfo: memFree=857704/2055920 swapFree=4157140/4192956
[pid=30981] ppid=30979 vsize=1016284 CPUtime=1661.88
/proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 253645 0 0 0 165903 285 0 0 25 0 1 0 149206544 1040674816 253441 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30981/statm: 254071 253441 311 324 0 253140 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1016284

[startup+1722.3 s]
/proc/loadavg: 1.05 1.02 1.00 2/78 31006
/proc/meminfo: memFree=830504/2055920 swapFree=4157140/4192956
[pid=30981] ppid=30979 vsize=1043584 CPUtime=1721.86
/proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 260453 0 0 0 171895 291 0 0 25 0 1 0 149206544 1068630016 260249 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30981/statm: 260896 260249 311 324 0 259965 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1043584

[startup+1782.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 31006
/proc/meminfo: memFree=806184/2055920 swapFree=4157140/4192956
[pid=30981] ppid=30979 vsize=1067776 CPUtime=1781.85
/proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 266501 0 0 0 177888 297 0 0 25 0 1 0 149206544 1093402624 266297 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30981/statm: 266944 266297 311 324 0 266013 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1067776



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 31006
/proc/meminfo: memFree=800680/2055920 swapFree=4157140/4192956
[pid=30981] ppid=30979 vsize=0 CPUtime=1800.05
/proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194308 267830 0 0 0 179707 298 0 0 25 0 1 0 149206544 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30981/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 0

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

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

[startup+1800.61 s]
/proc/loadavg: 1.01 1.02 1.00 2/79 31007
/proc/meminfo: memFree=1451488/2055920 swapFree=4157140/4192956
[pid=30981] ppid=30979 vsize=0 CPUtime=1800.16
/proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194308 267830 0 0 0 179707 309 0 0 25 0 1 0 149206544 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30981/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.67
CPU time (s): 1800.23
CPU user time (s): 1797.07
CPU system time (s): 3.15352
CPU usage (%): 99.9753
Max. virtual memory (cumulated for all children) (KiB): 1073012

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

runsolver used 2.03469 second user time and 4.51131 second system time

The end

Launcher Data (download as text)

Begin job on node30 on Thu Apr 19 20:01:49 UTC 2007

IDJOB= 362449
IDBENCH= 1561
IDSOLVER= 163
FILE ID= node30/362449-1177012909

PBS_JOBID= 4630551

Free space on /tmp= 66392 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran8x32.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362449-1177012909/instance-362449-1177012909.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node30/watcher-362449-1177012909 -o ROOT/results/node30/solver-362449-1177012909 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362449-1177012909/instance-362449-1177012909.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  857268f55ca3006474c2fa40f262a214

RANDOM SEED= 200983842

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node30.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1871552 kB
Buffers:         32152 kB
Cached:          85684 kB
SwapCached:      15104 kB
Active:          47720 kB
Inactive:        93864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1871552 kB
SwapTotal:     4192956 kB
SwapFree:      4157140 kB
Dirty:            4792 kB
Writeback:           0 kB
Mapped:          31380 kB
Slab:            27836 kB
Committed_AS:  2872980 kB
PageTables:       2000 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= 66392 MiB

End job on node30 on Thu Apr 19 20:31:51 UTC 2007