Trace number 3462942

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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.2? (TO) 1800.1 1800.03

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir08_area_opers.opb
MD5SUM47194cf421cbddfd6c2831e71c8b2458
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark48
Best CPU time to get the best result obtained on this benchmark1407.51
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 53
Optimality of the best value was proved NO
Number of variables203287
Total number of constraints469077
Number of constraints which are clauses469077
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint1023
Number of terms in the objective function 101248
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 101248
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 101248
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3462942-1307180965.opb
0.00/0.00	c File size is 16282720 bytes.
1.29/1.33	c Highest Coefficient sum: 101248
1.29/1.33	c Parsing was ok!!
1.29/1.33	c Total parsing time: 1.329 s
1.39/1.43	c Var: 203287 Constr: 469077 469077/0/0 Lit: 1205872 Watch. Lit: 938151
1.39/1.43	c Obj. Vars: 101248 (49.8054 % of total variables)
6.39/6.41	c Formula reductions applied at preprocessing
6.39/6.42	c Pre-processing Time: 6.419 s
1800.07/1800.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.07/1800.02	c        0 203243   469052  1205825    2   938104  156350      0      0 6.42
1800.07/1800.02	c Caught signal: 15
1800.07/1800.02	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.07/1800.02	c    0        0      0        0   469052  1205825      0      0 1800.09
1800.07/1800.02	s UNKNOWN
1800.07/1800.02	c Total time: 1800.09 s

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3462942-1307180965/watcher-3462942-1307180965 -o /tmp/evaluation-result-3462942-1307180965/solver-3462942-1307180965 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462942-1307180965.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.12 2.05 2.01 2/554 12165
/proc/meminfo: memFree=24884928/32950928 swapFree=67056580/67111528
[pid=12165] ppid=12163 vsize=35532 CPUtime=0.01 cores=0,2,4,6
/proc/12165/stat : 12165 (bsolo) R 12163 12165 10194 0 -1 4202496 553 0 0 0 1 0 0 0 25 0 1 0 829693647 36384768 507 33554432000 134512640 137138936 4292381792 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12165/statm: 8883 508 201 642 0 4263 0

[startup+0.067251 s]
/proc/loadavg: 2.12 2.05 2.01 2/554 12165
/proc/meminfo: memFree=24884928/32950928 swapFree=67056580/67111528
[pid=12165] ppid=12163 vsize=41284 CPUtime=0.06 cores=0,2,4,6
/proc/12165/stat : 12165 (bsolo) R 12163 12165 10194 0 -1 4202496 2413 0 0 0 6 0 0 0 25 0 1 0 829693647 42274816 2042 33554432000 134512640 137138936 4292381792 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12165/statm: 10321 2044 409 642 0 5701 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 41284

[startup+0.100245 s]
/proc/loadavg: 2.12 2.05 2.01 2/554 12165
/proc/meminfo: memFree=24884928/32950928 swapFree=67056580/67111528
[pid=12165] ppid=12163 vsize=37316 CPUtime=0.09 cores=0,2,4,6
/proc/12165/stat : 12165 (bsolo) R 12163 12165 10194 0 -1 4202496 3648 0 0 0 9 0 0 0 25 0 1 0 829693647 38211584 3180 33554432000 134512640 137138936 4292381792 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12165/statm: 9329 3181 513 642 0 4709 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37316

[startup+0.301205 s]
/proc/loadavg: 2.12 2.05 2.01 2/554 12165
/proc/meminfo: memFree=24884928/32950928 swapFree=67056580/67111528
[pid=12165] ppid=12163 vsize=50776 CPUtime=0.29 cores=0,2,4,6
/proc/12165/stat : 12165 (bsolo) R 12163 12165 10194 0 -1 4202496 7808 0 0 0 29 0 0 0 25 0 1 0 829693647 51994624 7027 33554432000 134512640 137138936 4292381792 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12165/statm: 12694 7028 1178 642 0 8074 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50776

[startup+0.701128 s]
/proc/loadavg: 2.12 2.05 2.01 2/554 12165
/proc/meminfo: memFree=24884928/32950928 swapFree=67056580/67111528
[pid=12165] ppid=12163 vsize=68444 CPUtime=0.69 cores=0,2,4,6
/proc/12165/stat : 12165 (bsolo) R 12163 12165 10194 0 -1 4202496 13645 0 0 0 68 1 0 0 25 0 1 0 829693647 70086656 12671 33554432000 134512640 137138936 4292381792 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12165/statm: 17111 12672 2362 642 0 12491 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 68444

[startup+1.50098 s]
/proc/loadavg: 2.11 2.04 2.01 3/555 12166
/proc/meminfo: memFree=24829740/32950928 swapFree=67056580/67111528
[pid=12165] ppid=12163 vsize=116396 CPUtime=1.49 cores=0,2,4,6
/proc/12165/stat : 12165 (bsolo) R 12163 12165 10194 0 -1 4202496 30995 0 0 0 143 6 0 0 25 0 1 0 829693647 119189504 25847 33554432000 134512640 137138936 4292381792 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12165/statm: 29099 25847 184 642 0 28455 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 116396

[startup+3.10067 s]
/proc/loadavg: 2.11 2.04 2.01 3/555 12166
/proc/meminfo: memFree=24778564/32950928 swapFree=67056580/67111528
[pid=12165] ppid=12163 vsize=116396 CPUtime=3.09 cores=0,2,4,6
/proc/12165/stat : 12165 (bsolo) R 12163 12165 10194 0 -1 4202496 31020 0 0 0 301 8 0 0 25 0 1 0 829693647 119189504 25872 33554432000 134512640 137138936 4292381792 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12165/statm: 29099 25872 184 642 0 28455 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 116396

[startup+6.30106 s]
/proc/loadavg: 2.11 2.04 2.01 3/555 12166
/proc/meminfo: memFree=24751788/32950928 swapFree=67056580/67111528
[pid=12165] ppid=12163 vsize=139080 CPUtime=6.29 cores=0,2,4,6
/proc/12165/stat : 12165 (bsolo) R 12163 12165 10194 0 -1 4202496 40356 0 0 0 581 48 0 0 25 0 1 0 829693647 142417920 31515 33554432000 134512640 137138936 4292381792 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12165/statm: 34770 31515 186 642 0 34126 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 139080

[startup+12.7008 s]
/proc/loadavg: 2.09 2.04 2.01 3/555 12166
/proc/meminfo: memFree=24754196/32950928 swapFree=67056580/67111528
[pid=12165] ppid=12163 vsize=135900 CPUtime=12.69 cores=0,2,4,6
/proc/12165/stat : 12165 (bsolo) R 12163 12165 10194 0 -1 4202496 40389 0 0 0 1219 50 0 0 25 0 1 0 829693647 139161600 30753 33554432000 134512640 137138936 4292381792 18446744073709551615 135745460 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12165/statm: 33975 30753 219 642 0 33331 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 135900

[startup+25.5004 s]
/proc/loadavg: 2.08 2.04 2.01 3/555 12167
/proc/meminfo: memFree=24753332/32950928 swapFree=67056580/67111528
[pid=12165] ppid=12163 vsize=135900 CPUtime=25.49 cores=0,2,4,6
/proc/12165/stat : 12165 (bsolo) R 12163 12165 10194 0 -1 4202496 40389 0 0 0 2499 50 0 0 25 0 1 0 829693647 139161600 30753 33554432000 134512640 137138936 4292381792 18446744073709551615 135745103 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12165/statm: 33975 30753 219 642 0 33331 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 135900

[startup+51.1005 s]
/proc/loadavg: 2.05 2.04 2.00 3/555 12167
/proc/meminfo: memFree=24729648/32950928 swapFree=67056580/67111528
[pid=12165] ppid=12163 vsize=135900 CPUtime=51.09 cores=0,2,4,6
/proc/12165/stat : 12165 (bsolo) R 12163 12165 10194 0 -1 4202496 40389 0 0 0 5059 50 0 0 25 0 1 0 829693647 139161600 30753 33554432000 134512640 137138936 4292381792 18446744073709551615 134709305 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12165/statm: 33975 30753 219 642 0 33331 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 135900

[startup+102.321 s]
/proc/loadavg: 2.17 2.06 2.01 3/555 12169
/proc/meminfo: memFree=24729520/32950928 swapFree=67056580/67111528
[pid=12165] ppid=12163 vsize=135900 CPUtime=102.31 cores=0,2,4,6
/proc/12165/stat : 12165 (bsolo) R 12163 12165 10194 0 -1 4202496 40389 0 0 0 10181 50 0 0 25 0 1 0 829693647 139161600 30753 33554432000 134512640 137138936 4292381792 18446744073709551615 135745447 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12165/statm: 33975 30753 219 642 0 33331 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 135900

[startup+162.301 s]
/proc/loadavg: 2.13 2.06 2.01 3/555 12170
/proc/meminfo: memFree=24732600/32950928 swapFree=67056580/67111528
[pid=12165] ppid=12163 vsize=135900 CPUtime=162.3 cores=0,2,4,6
/proc/12165/stat : 12165 (bsolo) R 12163 12165 10194 0 -1 4202496 229932 0 0 0 16158 72 0 0 25 0 1 0 829693647 139161600 30753 33554432000 134512640 137138936 4292381792 18446744073709551615 135744992 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12165/statm: 33975 30753 219 642 0 33331 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 135900

[startup+222.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/555 12172
/proc/meminfo: memFree=24709772/32950928 swapFree=67056580/67111528
[pid=12165] ppid=12163 vsize=137724 CPUtime=222.3 cores=0,2,4,6
/proc/12165/stat : 12165 (bsolo) R 12163 12165 10194 0 -1 4202496 1688296 0 0 0 21991 239 0 0 25 0 1 0 829693647 141029376 31241 33554432000 134512640 137138936 4292381792 18446744073709551615 135745414 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12165/statm: 34431 31241 219 642 0 33787 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 137724

[startup+282.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/555 12173
/proc/meminfo: memFree=24707516/32950928 swapFree=67056580/67111528
[pid=12165] ppid=12163 vsize=138924 CPUtime=282.3 cores=0,2,4,6
/proc/12165/stat : 12165 (bsolo) R 12163 12165 10194 0 -1 4202496 4745168 0 0 0 27627 603 0 0 25 0 1 0 829693647 142258176 31541 33554432000 134512640 137138936 4292381792 18446744073709551615 135745479 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12165/statm: 34731 31541 219 642 0 34087 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 138924

[startup+342.301 s]
/proc/loadavg: 2.16 2.06 2.01 3/555 12175
/proc/meminfo: memFree=24713308/32950928 swapFree=67056580/67111528
[pid=12165] ppid=12163 vsize=140412 CPUtime=342.3 cores=0,2,4,6
/proc/12165/stat : 12165 (bsolo) R 12163 12165 10194 0 -1 4202496 8847753 0 0 0 33132 1098 0 0 25 0 1 0 829693647 143781888 31871 33554432000 134512640 137138936 4292381792 18446744073709551615 134712242 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12165/statm: 35103 31886 219 642 0 34459 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 140412

[startup+402.301 s]
/proc/loadavg: 2.13 2.06 2.01 3/555 12177
/proc/meminfo: memFree=24692828/32950928 swapFree=67056580/67111528
[pid=12165] ppid=12163 vsize=137972 CPUtime=402.31 cores=0,2,4,6
/proc/12165/stat : 12165 (bsolo) R 12163 12165 10194 0 -1 4202496 13852246 0 0 0 38523 1708 0 0 25 0 1 0 829693647 141283328 31303 33554432000 134512640 137138936 4292381792 18446744073709551615 135745067 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12165/statm: 34493 31303 219 642 0 33849 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 137972

[startup+462.301 s]
/proc/loadavg: 2.05 2.05 2.00 3/555 12178
/proc/meminfo: memFree=24671480/32950928 swapFree=67056580/67111528
[pid=12165] ppid=12163 vsize=141732 CPUtime=462.31 cores=0,2,4,6
/proc/12165/stat : 12165 (bsolo) R 12163 12165 10194 0 -1 4202496 19673197 0 0 0 43795 2436 0 0 25 0 1 0 829693647 145133568 31495 33554432000 134512640 137138936 4292381792 18446744073709551615 134712101 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12165/statm: 35433 31510 219 642 0 34789 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 141732

[startup+522.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/555 12180
/proc/meminfo: memFree=24669332/32950928 swapFree=67056580/67111528
[pid=12165] ppid=12163 vsize=143652 CPUtime=522.31 cores=0,2,4,6
/proc/12165/stat : 12165 (bsolo) R 12163 12165 10194 0 -1 4202496 26398505 0 0 0 48979 3252 0 0 25 0 1 0 829693647 147099648 32722 33554432000 134512640 137138936 4292381792 18446744073709551615 135745482 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12165/statm: 35913 32723 219 642 0 35269 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 143652

[startup+582.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/555 12181
/proc/meminfo: memFree=24655044/32950928 swapFree=67056580/67111528
[pid=12165] ppid=12163 vsize=140136 CPUtime=582.31 cores=0,2,4,6
/proc/12165/stat : 12165 (bsolo) R 12163 12165 10194 0 -1 4202496 33907772 0 0 0 54059 4172 0 0 25 0 1 0 829693647 143499264 31844 33554432000 134512640 137138936 4292381792 18446744073709551615 135745087 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12165/statm: 35034 31844 219 642 0 34390 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 140136

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.99 2.02 2.00 3/555 12332
/proc/meminfo: memFree=24735648/32950928 swapFree=67056580/67111528
[pid=12165] ppid=12163 vsize=141728 CPUtime=822.33 cores=0,2,4,6
/proc/12165/stat : 12165 (bsolo) R 12163 12165 10194 0 -1 4202496 67087625 0 0 0 73969 8264 0 0 25 0 1 0 829693647 145129472 32242 33554432000 134512640 137138936 4292381792 18446744073709551615 134712130 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12165/statm: 35432 32242 219 642 0 34788 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 141728

[startup+882.301 s]
/proc/loadavg: 2.10 2.04 2.01 3/555 12333
/proc/meminfo: memFree=24730180/32950928 swapFree=67056580/67111528
[pid=12165] ppid=12163 vsize=144192 CPUtime=882.32 cores=0,2,4,6
/proc/12165/stat : 12165 (bsolo) R 12163 12165 10194 0 -1 4202496 76514073 0 0 0 78822 9410 0 0 25 0 1 0 829693647 147652608 32808 33554432000 134512640 137138936 4292381792 18446744073709551615 135745156 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12165/statm: 36048 32808 219 642 0 35404 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 144192

[startup+942.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/555 12338
/proc/meminfo: memFree=24724460/32950928 swapFree=67056580/67111528
[pid=12165] ppid=12163 vsize=150344 CPUtime=942.32 cores=0,2,4,6
/proc/12165/stat : 12165 (bsolo) R 12163 12165 10194 0 -1 4202496 86476976 0 0 0 83600 10632 0 0 25 0 1 0 829693647 153952256 34295 33554432000 134512640 137138936 4292381792 18446744073709551615 134712242 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12165/statm: 37586 34295 219 642 0 36942 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 150344

[startup+1002.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/555 12340
/proc/meminfo: memFree=24724428/32950928 swapFree=67056580/67111528
[pid=12165] ppid=12163 vsize=151972 CPUtime=1002.33 cores=0,2,4,6
/proc/12165/stat : 12165 (bsolo) R 12163 12165 10194 0 -1 4202496 97312438 0 0 0 88305 11928 0 0 25 0 1 0 829693647 155619328 33403 33554432000 134512640 137138936 4292381792 18446744073709551615 134712101 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12165/statm: 37993 33417 219 642 0 37349 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 151972

[startup+1062.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/555 12341
/proc/meminfo: memFree=24727508/32950928 swapFree=67056580/67111528
[pid=12165] ppid=12163 vsize=153020 CPUtime=1062.33 cores=0,2,4,6
/proc/12165/stat : 12165 (bsolo) R 12163 12165 10194 0 -1 4202496 108830681 0 0 0 92932 13301 0 0 25 0 1 0 829693647 156692480 33455 33554432000 134512640 137138936 4292381792 18446744073709551615 134712242 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12165/statm: 38255 33469 219 642 0 37611 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 153020

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 12343
/proc/meminfo: memFree=24724748/32950928 swapFree=67056580/67111528
[pid=12165] ppid=12163 vsize=146412 CPUtime=1122.34 cores=0,2,4,6
/proc/12165/stat : 12165 (bsolo) R 12163 12165 10194 0 -1 4202496 121047620 0 0 0 97499 14735 0 0 25 0 1 0 829693647 149925888 33413 33554432000 134512640 137138936 4292381792 18446744073709551615 134712124 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12165/statm: 36603 33413 219 642 0 35959 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 146412

[startup+1182.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/555 12344
/proc/meminfo: memFree=24719752/32950928 swapFree=67056580/67111528
[pid=12165] ppid=12163 vsize=155136 CPUtime=1182.34 cores=0,2,4,6
/proc/12165/stat : 12165 (bsolo) R 12163 12165 10194 0 -1 4202496 133778879 0 0 0 102014 16220 0 0 25 0 1 0 829693647 158859264 34031 33554432000 134512640 137138936 4292381792 18446744073709551615 134712247 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12165/statm: 38784 34046 219 642 0 38140 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 155136

[startup+1242.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/555 12346
/proc/meminfo: memFree=24715876/32950928 swapFree=67056580/67111528
[pid=12165] ppid=12163 vsize=155808 CPUtime=1242.34 cores=0,2,4,6
/proc/12165/stat : 12165 (bsolo) R 12163 12165 10194 0 -1 4202496 147319528 0 0 0 106446 17788 0 0 25 0 1 0 829693647 159547392 34252 33554432000 134512640 137138936 4292381792 18446744073709551615 134709202 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12165/statm: 38952 34267 219 642 0 38308 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 155808

[startup+1302.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/555 12348
/proc/meminfo: memFree=24723780/32950928 swapFree=67056580/67111528
[pid=12165] ppid=12163 vsize=149432 CPUtime=1302.35 cores=0,2,4,6
/proc/12165/stat : 12165 (bsolo) R 12163 12165 10194 0 -1 4202496 161425689 0 0 0 110825 19410 0 0 25 0 1 0 829693647 153018368 33837 33554432000 134512640 137138936 4292381792 18446744073709551615 134712145 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12165/statm: 37358 33849 219 642 0 36714 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 149432

[startup+1362.3 s]
/proc/loadavg: 2.17 2.06 2.01 3/555 12349
/proc/meminfo: memFree=24716068/32950928 swapFree=67056580/67111528
[pid=12165] ppid=12163 vsize=154712 CPUtime=1362.35 cores=0,2,4,6
/proc/12165/stat : 12165 (bsolo) R 12163 12165 10194 0 -1 4202496 175856731 0 0 0 115152 21083 0 0 25 0 1 0 829693647 158425088 34484 33554432000 134512640 137138936 4292381792 18446744073709551615 136574033 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12165/statm: 38678 34364 219 642 0 38034 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 154712

[startup+1422.32 s]
/proc/loadavg: 2.21 2.08 2.02 3/555 12351
/proc/meminfo: memFree=24717268/32950928 swapFree=67056580/67111528
[pid=12165] ppid=12163 vsize=149736 CPUtime=1422.37 cores=0,2,4,6
/proc/12165/stat : 12165 (bsolo) R 12163 12165 10194 0 -1 4202496 190710229 0 0 0 119440 22797 0 0 25 0 1 0 829693647 153329664 34192 33554432000 134512640 137138936 4292381792 18446744073709551615 135745087 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12165/statm: 37434 34192 219 642 0 36790 0
Current children cumulated CPU time (s) 1422.37
Current children cumulated vsize (KiB) 149736

[startup+1482.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/555 12352
/proc/meminfo: memFree=24723560/32950928 swapFree=67056580/67111528
[pid=12165] ppid=12163 vsize=150380 CPUtime=1482.35 cores=0,2,4,6
/proc/12165/stat : 12165 (bsolo) R 12163 12165 10194 0 -1 4202496 206229695 0 0 0 123655 24580 0 0 25 0 1 0 829693647 153989120 34253 33554432000 134512640 137138936 4292381792 18446744073709551615 135744990 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12165/statm: 37595 34253 219 642 0 36951 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 150380

[startup+1542.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/555 12355
/proc/meminfo: memFree=24722028/32950928 swapFree=67056580/67111528
[pid=12165] ppid=12163 vsize=149588 CPUtime=1542.35 cores=0,2,4,6
/proc/12165/stat : 12165 (bsolo) R 12163 12165 10194 0 -1 4202496 222239375 0 0 0 127839 26396 0 0 25 0 1 0 829693647 153178112 34207 33554432000 134512640 137138936 4292381792 18446744073709551615 136574033 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12165/statm: 37397 34207 219 642 0 36753 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 149588

[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/555 12358
/proc/meminfo: memFree=24715168/32950928 swapFree=67056580/67111528
[pid=12165] ppid=12163 vsize=161288 CPUtime=1602.35 cores=0,2,4,6
/proc/12165/stat : 12165 (bsolo) R 12163 12165 10194 0 -1 4202496 238417009 0 0 0 131997 28238 0 0 25 0 1 0 829693647 165158912 35913 33554432000 134512640 137138936 4292381792 18446744073709551615 134712218 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12165/statm: 40322 35931 219 642 0 39678 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 161288

[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/555 12360
/proc/meminfo: memFree=24720844/32950928 swapFree=67056580/67111528
[pid=12165] ppid=12163 vsize=162940 CPUtime=1662.36 cores=0,2,4,6
/proc/12165/stat : 12165 (bsolo) R 12163 12165 10194 0 -1 4202496 255347129 0 0 0 136095 30141 0 0 25 0 1 0 829693647 166850560 35263 33554432000 134512640 137138936 4292381792 18446744073709551615 134709347 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12165/statm: 40735 35282 219 642 0 40091 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 162940

[startup+1722.3 s]
/proc/loadavg: 2.14 2.07 2.01 3/555 12363
/proc/meminfo: memFree=24713008/32950928 swapFree=67056580/67111528
[pid=12165] ppid=12163 vsize=152820 CPUtime=1722.36 cores=0,2,4,6
/proc/12165/stat : 12165 (bsolo) R 12163 12165 10194 0 -1 4202496 272584753 0 0 0 140130 32106 0 0 25 0 1 0 829693647 156487680 35014 33554432000 134512640 137138936 4292381792 18446744073709551615 134712124 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12165/statm: 38205 35014 219 642 0 37561 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 152820

[startup+1782.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/555 12364
/proc/meminfo: memFree=24711116/32950928 swapFree=67056580/67111528
[pid=12165] ppid=12163 vsize=152088 CPUtime=1782.36 cores=0,2,4,6
/proc/12165/stat : 12165 (bsolo) R 12163 12165 10194 0 -1 4202496 289978023 0 0 0 144170 34066 0 0 25 0 1 0 829693647 155738112 34630 33554432000 134512640 137138936 4292381792 18446744073709551615 135745153 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12165/statm: 38022 34633 219 642 0 37378 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 152088



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.04 2.05 2.00 3/555 12365
/proc/meminfo: memFree=24719904/32950928 swapFree=67056580/67111528
[pid=12165] ppid=12163 vsize=162928 CPUtime=1800.07 cores=0,2,4,6
/proc/12165/stat : 12165 (bsolo) R 12163 12165 10194 0 -1 4202496 295149203 0 0 0 145365 34642 0 0 25 0 1 0 829693647 166838272 35921 33554432000 134512640 137138936 4292381792 18446744073709551615 134712242 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12165/statm: 40732 35927 219 642 0 40088 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 162928

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.03
CPU time (s): 1800.1
CPU user time (s): 1453.66
CPU system time (s): 346.438
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 166560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1453.66
system time used= 346.438
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 295151667
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= 5
involuntary context switches= 1157

runsolver used 10.4224 second user time and 22.3276 second system time

The end

Launcher Data 

Begin job on node148 at 2011-06-04 11:49:26
IDJOB=3462942
IDBENCH=25040
IDSOLVER=1955
FILE ID=node148/3462942-1307180965
RUNJOBID= node148-1307175570-11800
PBS_JOBID= 13508860
Free space on /tmp= 73876 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir08_area_opers.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462942-1307180965/watcher-3462942-1307180965 -o /tmp/evaluation-result-3462942-1307180965/solver-3462942-1307180965 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462942-1307180965.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 47194cf421cbddfd6c2831e71c8b2458
RANDOM SEED=120033175

node148.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      24885208 kB
Buffers:        261180 kB
Cached:         652792 kB
SwapCached:       7908 kB
Active:        7249536 kB
Inactive:       508852 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24885208 kB
SwapTotal:    67111528 kB
SwapFree:     67056580 kB
Dirty:           25640 kB
Writeback:           0 kB
AnonPages:     6842040 kB
Mapped:          44572 kB
Slab:           179732 kB
PageTables:      57460 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 170405772 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73876 MiB
End job on node148 at 2011-06-04 12:19:28