Trace number 3736282

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
PB07: bsolo 3.0.17? (TO) 1800.09 1800.41

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 benchmark718.519
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.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 15500 MB
0.00/0.00	c Instance file HOME/instance-3736282-1338709016.opb
0.00/0.00	c File size is 16282720 bytes.
1.48/1.59	c Highest Coefficient sum: 101248
1.48/1.59	c Parsing was ok!!
1.48/1.59	c Total parsing time: 1.591 s
1.68/1.71	c Var: 203287 Constr: 469077 469077/0/0 Lit: 1205872 Watch. Lit: 938151
1.68/1.71	c Obj. Vars: 101248 (49.8054 % of total variables)
6.78/6.89	c Formula reductions applied at preprocessing
6.89/6.90	c Pre-processing Time: 6.899 s
1800.08/1800.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.08/1800.40	c        0 203243   469052  1205825    2   938104  156350      0      0 6.90
1800.08/1800.40	c Caught signal: 15
1800.08/1800.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.08/1800.40	c    0        0      0        0   469052  1205825      0      0 1800.09
1800.08/1800.40	s UNKNOWN
1800.08/1800.40	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.1 (svn: 989)

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-3736282-1338709016/watcher-3736282-1338709016 -o /tmp/evaluation-result-3736282-1338709016/solver-3736282-1338709016 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3736282-1338709016.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: 3.15 2.93 2.37 3/177 10418
/proc/meminfo: memFree=27231708/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=28408 CPUtime=0 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 455 0 0 0 0 0 0 0 20 0 1 0 337026047 29089792 392 33554432000 134512640 135840783 4292275936 4292274656 12829991 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10418/statm: 7102 393 323 325 0 2062 0

[startup+0.0577749 s]
/proc/loadavg: 3.15 2.93 2.37 3/177 10418
/proc/meminfo: memFree=27231708/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=32712 CPUtime=0.05 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 1858 0 0 0 5 0 0 0 20 0 1 0 337026047 33497088 1627 33554432000 134512640 135840783 4292275936 4292274656 12829991 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10418/statm: 8178 1628 480 325 0 3138 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 32712

[startup+0.100259 s]
/proc/loadavg: 3.15 2.93 2.37 3/177 10418
/proc/meminfo: memFree=27231708/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=29952 CPUtime=0.09 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 3415 0 0 0 9 0 0 0 20 0 1 0 337026047 30670848 2930 33554432000 134512640 135840783 4292275936 4292274752 134538701 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10418/statm: 7488 2930 599 325 0 2448 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29952

[startup+0.300249 s]
/proc/loadavg: 3.15 2.93 2.37 3/177 10418
/proc/meminfo: memFree=27231708/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=41336 CPUtime=0.28 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 6620 0 0 0 28 0 0 0 20 0 1 0 337026047 42328064 6333 33554432000 134512640 135840783 4292275936 4292274868 12454655 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10418/statm: 10334 6334 1142 325 0 5294 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 41336

[startup+0.70023 s]
/proc/loadavg: 3.15 2.93 2.37 3/177 10418
/proc/meminfo: memFree=27231708/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=56984 CPUtime=0.68 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 11723 0 0 0 67 1 0 0 20 0 1 0 337026047 58351616 11243 33554432000 134512640 135840783 4292275936 4292275088 134524112 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10418/statm: 14246 11243 2130 325 0 9206 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 56984

[startup+1.50023 s]
/proc/loadavg: 3.15 2.93 2.37 3/178 10419
/proc/meminfo: memFree=27181920/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=82636 CPUtime=1.48 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 20058 0 0 0 146 2 0 0 20 0 1 0 337026047 84619264 19578 33554432000 134512640 135840783 4292275936 4292275088 134524142 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10418/statm: 20659 19578 4053 325 0 15619 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 82636

[startup+3.10027 s]
/proc/loadavg: 3.15 2.93 2.37 3/177 10419
/proc/meminfo: memFree=27129404/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=108696 CPUtime=3.09 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 29923 0 0 0 300 9 0 0 20 0 1 0 337026047 111304704 25780 33554432000 134512640 135840783 4292275936 4289835596 14160944 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10418/statm: 27174 25780 342 325 0 26110 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 108696

[startup+6.30031 s]
/proc/loadavg: 3.06 2.91 2.37 3/177 10419
/proc/meminfo: memFree=27113168/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=134564 CPUtime=6.28 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 37443 0 0 0 598 30 0 0 20 0 1 0 337026047 137793536 32219 33554432000 134512640 135840783 4292275936 4289835420 14160944 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 33641 32219 344 325 0 32577 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 134564

[startup+12.7003 s]
/proc/loadavg: 2.97 2.90 2.36 4/177 10419
/proc/meminfo: memFree=27109828/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=128204 CPUtime=12.69 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 37752 0 0 0 1225 44 0 0 20 0 1 0 337026047 131280896 30654 33554432000 134512640 135840783 4292275936 4292274832 135468248 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 32051 30654 369 325 0 30987 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 128204

[startup+25.5003 s]
/proc/loadavg: 2.76 2.85 2.36 3/177 10419
/proc/meminfo: memFree=27110448/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=128204 CPUtime=25.49 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 37752 0 0 0 2505 44 0 0 20 0 1 0 337026047 131280896 30654 33554432000 134512640 135840783 4292275936 4292274832 135468254 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 32051 30654 369 325 0 30987 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 128204

[startup+51.1003 s]
/proc/loadavg: 2.50 2.78 2.35 3/177 10419
/proc/meminfo: memFree=27110572/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=128204 CPUtime=51.08 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 37752 0 0 0 5064 44 0 0 20 0 1 0 337026047 131280896 30654 33554432000 134512640 135840783 4292275936 4292274832 135468254 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 32051 30654 369 325 0 30987 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 128204

[startup+102.3 s]
/proc/loadavg: 2.21 2.66 2.33 3/177 10419
/proc/meminfo: memFree=27109628/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=128204 CPUtime=102.28 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 37921 0 0 0 10184 44 0 0 20 0 1 0 337026047 131280896 30654 33554432000 134512640 135840783 4292275936 4292274832 135467670 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 32051 30654 369 325 0 30987 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 128204

[startup+162.3 s]
/proc/loadavg: 2.08 2.54 2.30 3/177 10420
/proc/meminfo: memFree=27108788/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=128204 CPUtime=162.25 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 1120981 0 0 0 16001 224 0 0 20 0 1 0 337026047 131280896 30674 33554432000 134512640 135840783 4292275936 4292274832 135468237 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 32051 30674 369 325 0 30987 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 128204

[startup+222.306 s]
/proc/loadavg: 2.03 2.44 2.28 3/178 10423
/proc/meminfo: memFree=27105716/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=131076 CPUtime=222.23 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 4294021 0 0 0 21450 773 0 0 20 0 1 0 337026047 134221824 31626 33554432000 134512640 135840783 4292275936 4292274832 135468091 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 32769 31639 369 325 0 31705 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 131076

[startup+282.3 s]
/proc/loadavg: 2.01 2.35 2.26 3/177 10423
/proc/meminfo: memFree=27105476/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=132604 CPUtime=282.21 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 8748751 0 0 0 26663 1558 0 0 20 0 1 0 337026047 135786496 31527 33554432000 134512640 135840783 4292275936 4292274832 135468086 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 33151 31527 369 325 0 32087 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 132604

[startup+342.3 s]
/proc/loadavg: 2.00 2.29 2.24 3/177 10423
/proc/meminfo: memFree=27105104/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=130264 CPUtime=342.21 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 14274177 0 0 0 31657 2564 0 0 20 0 1 0 337026047 133390336 31598 33554432000 134512640 135840783 4292275936 4292274704 14160944 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 32566 31598 369 325 0 31502 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 130264

[startup+402.3 s]
/proc/loadavg: 2.00 2.23 2.23 3/177 10423
/proc/meminfo: memFree=27104484/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=135236 CPUtime=402.19 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 19840528 0 0 0 36593 3626 0 0 20 0 1 0 337026047 138481664 32819 33554432000 134512640 135840783 4292275936 4292274832 135468086 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 33809 32833 369 325 0 32745 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 135236

[startup+462.3 s]
/proc/loadavg: 2.00 2.19 2.21 3/177 10424
/proc/meminfo: memFree=27101136/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=137040 CPUtime=462.19 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 26329648 0 0 0 41374 4845 0 0 20 0 1 0 337026047 140328960 33242 33554432000 134512640 135840783 4292275936 4292274832 135468091 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 34260 33242 369 325 0 33196 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 137040

[startup+522.3 s]
/proc/loadavg: 2.00 2.15 2.19 3/177 10424
/proc/meminfo: memFree=27103364/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=133068 CPUtime=522.18 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 32533926 0 0 0 46129 6089 0 0 20 0 1 0 337026047 136261632 31908 33554432000 134512640 135840783 4292275936 4292274832 135467363 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 33267 31922 369 325 0 32203 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 133068

[startup+582.3 s]
/proc/loadavg: 2.00 2.12 2.18 3/177 10424
/proc/meminfo: memFree=27100076/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=138016 CPUtime=582.17 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 38744700 0 0 0 50841 7376 0 0 20 0 1 0 337026047 141328384 33370 33554432000 134512640 135840783 4292275936 4292274832 135467970 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 34504 33381 369 325 0 33440 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 138016

[startup+642.3 s]

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

[startup+882.306 s]
/proc/loadavg: 1.99 2.03 2.11 3/177 10695
/proc/meminfo: memFree=27384432/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=143916 CPUtime=882.13 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 73356077 0 0 0 73928 14285 0 0 20 0 1 0 337026047 147369984 33429 33554432000 134512640 135840783 4292275936 4292274832 135467970 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 35979 33429 369 325 0 34915 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 143916

[startup+942.3 s]
/proc/loadavg: 1.99 2.02 2.10 3/177 10695
/proc/meminfo: memFree=27377604/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=138240 CPUtime=942.11 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 81193237 0 0 0 78391 15820 0 0 20 0 1 0 337026047 141557760 33290 33554432000 134512640 135840783 4292275936 4292274832 135467363 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 34560 33296 369 325 0 33496 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 138240

[startup+1002.3 s]
/proc/loadavg: 1.99 2.01 2.09 3/177 10771
/proc/meminfo: memFree=27397468/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=137828 CPUtime=1002.1 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 89883706 0 0 0 82774 17436 0 0 20 0 1 0 337026047 141135872 33388 33554432000 134512640 135840783 4292275936 4292274944 135469048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 34457 33388 369 325 0 33393 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 137828

[startup+1062.3 s]
/proc/loadavg: 1.99 2.01 2.08 3/177 10772
/proc/meminfo: memFree=27391064/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=138604 CPUtime=1062.09 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 98963806 0 0 0 87065 19144 0 0 20 0 1 0 337026047 141930496 33632 33554432000 134512640 135840783 4292275936 4292274928 135469054 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 34651 33632 369 325 0 33587 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 138604

[startup+1122.3 s]
/proc/loadavg: 1.99 2.00 2.08 3/177 10772
/proc/meminfo: memFree=27392800/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=140996 CPUtime=1122.08 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 108567244 0 0 0 91279 20929 0 0 20 0 1 0 337026047 144379904 33944 33554432000 134512640 135840783 4292275936 4292274912 134614777 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 35249 33967 369 325 0 34185 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 140996

[startup+1182.3 s]
/proc/loadavg: 1.99 2.00 2.07 3/177 10772
/proc/meminfo: memFree=27389820/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=149664 CPUtime=1182.07 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 118505284 0 0 0 95435 22772 0 0 20 0 1 0 337026047 153255936 35895 33554432000 134512640 135840783 4292275936 4292274832 135467842 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 37416 35905 369 325 0 36352 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 149664

[startup+1242.3 s]
/proc/loadavg: 1.99 2.00 2.07 3/177 10810
/proc/meminfo: memFree=27315492/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=140468 CPUtime=1242.06 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 128691469 0 0 0 99564 24642 0 0 20 0 1 0 337026047 143839232 33742 33554432000 134512640 135840783 4292275936 4292274800 14160944 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 35117 33767 369 325 0 34053 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 140468

[startup+1302.3 s]
/proc/loadavg: 2.06 2.02 2.07 3/177 10810
/proc/meminfo: memFree=27155308/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=152244 CPUtime=1302.05 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 139057224 0 0 0 103702 26503 0 0 20 0 1 0 337026047 155897856 35349 33554432000 134512640 135840783 4292275936 4292274832 135467734 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 38061 35367 369 325 0 36997 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 152244

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.06 3/177 10811
/proc/meminfo: memFree=27061720/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=143120 CPUtime=1362.04 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 150022130 0 0 0 107750 28454 0 0 20 0 1 0 337026047 146554880 34703 33554432000 134512640 135840783 4292275936 4292274896 134614777 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 35780 34730 369 325 0 34716 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 143120

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/178 10814
/proc/meminfo: memFree=26967556/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=143620 CPUtime=1422.04 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 161150332 0 0 0 111789 30415 0 0 20 0 1 0 337026047 147066880 34863 33554432000 134512640 135840783 4292275936 4292274896 134614777 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 35905 34874 369 325 0 34841 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 143620

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/178 10837
/proc/meminfo: memFree=26908628/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=145100 CPUtime=1482.02 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 172753714 0 0 0 115768 32434 0 0 20 0 1 0 337026047 148582400 35256 33554432000 134512640 135840783 4292275936 4292274928 135469043 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 36275 35256 369 325 0 35211 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 145100

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 10837
/proc/meminfo: memFree=26842876/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=142668 CPUtime=1542.02 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 184770104 0 0 0 119662 34540 0 0 20 0 1 0 337026047 146092032 34598 33554432000 134512640 135840783 4292275936 4292274928 135469043 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 35667 34598 369 325 0 34603 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 142668

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 10837
/proc/meminfo: memFree=26800068/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=145036 CPUtime=1602.01 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 196674406 0 0 0 123560 36641 0 0 20 0 1 0 337026047 148516864 35289 33554432000 134512640 135840783 4292275936 4292274784 14160944 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 36259 34787 369 325 0 35195 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 145036

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/177 10838
/proc/meminfo: memFree=26733332/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=156548 CPUtime=1662 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 208559735 0 0 0 127444 38756 0 0 20 0 1 0 337026047 160305152 35929 33554432000 134512640 135840783 4292275936 4292274832 135467970 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 39137 36445 369 325 0 38073 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 156548

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/177 10838
/proc/meminfo: memFree=26661092/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=145904 CPUtime=1721.99 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 220598067 0 0 0 131325 40874 0 0 20 0 1 0 337026047 149405696 35157 33554432000 134512640 135840783 4292275936 4292274912 134614777 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 36476 35185 369 325 0 35412 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 145904

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/177 10838
/proc/meminfo: memFree=26608088/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=156776 CPUtime=1781.97 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 232183441 0 0 0 135240 42957 0 0 20 0 1 0 337026047 160538624 35381 33554432000 134512640 135840783 4292275936 4292274832 135467970 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 39194 35381 369 325 0 38130 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 156776



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.02 3/177 10838
/proc/meminfo: memFree=26595188/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=152068 CPUtime=1800.08 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 235553743 0 0 0 136426 43582 0 0 20 0 1 0 337026047 155717632 35100 33554432000 134512640 135840783 4292275936 4292274688 14160944 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 38017 35100 369 325 0 36953 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 152068

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

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

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.02 3/177 10838
/proc/meminfo: memFree=26595188/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=152068 CPUtime=1800.08 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 235553743 0 0 0 136426 43582 0 0 20 0 1 0 337026047 155717632 35100 33554432000 134512640 135840783 4292275936 4292274688 14160944 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 38017 35100 369 325 0 36953 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 152068

Child status: 15
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1364.27
CPU system time (s): 435.829
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 160348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1364.27
system time used= 435.829
maximum resident set size= 156468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 235553862
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= 66
involuntary context switches= 2012

runsolver used 3.2905 second user time and 9.00463 second system time

The end

Launcher Data 

Begin job on node143 at 2012-06-03 09:36:57
IDJOB=3736282
IDBENCH=25040
IDSOLVER=2318
FILE ID=node143/3736282-1338709016
RUNJOBID= node143-1338680527-7479
PBS_JOBID= 14636712
Free space on /tmp= 68448 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir08_area_opers.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736282-1338709016/watcher-3736282-1338709016 -o /tmp/evaluation-result-3736282-1338709016/solver-3736282-1338709016 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3736282-1338709016.opb            

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

MD5SUM BENCH= 47194cf421cbddfd6c2831e71c8b2458
RANDOM SEED=1086863649

node143.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.787
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.787
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.787
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.787
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.787
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.787
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5298.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.787
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.787
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27232732 kB
Buffers:          453884 kB
Cached:          3925020 kB
SwapCached:          188 kB
Active:          2571924 kB
Inactive:        2136384 kB
Active(anon):     320440 kB
Inactive(anon):    10992 kB
Active(file):    2251484 kB
Inactive(file):  2125392 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108444 kB
Dirty:             22156 kB
Writeback:             4 kB
AnonPages:        336232 kB
Mapped:            11936 kB
Shmem:               160 kB
Slab:             791832 kB
SReclaimable:     233916 kB
SUnreclaim:       557916 kB
KernelStack:        1472 kB
PageTables:         4248 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     443464 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    155648 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 68440 MiB
End job on node143 at 2012-06-03 10:06:59