Trace number 2656389

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 Card? (TO) 1800.04 1800.53

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 benchmark1404.2
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 Time Limit set to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2656389-1276644300.opb
0.00/0.00	c File size is 16282720 bytes.
2.78/2.82	c Highest Coefficient sum: 101248
2.78/2.82	c Parsing was ok!!
2.78/2.82	c Total parsing time: 2.818 s
2.98/3.06	c Var: 203287 Constr: 469077 469077/0/0 Lit: 1205872 Watch. Lit: 938151
2.98/3.06	c Obj. Vars: 101248 (49.8054 % of total variables)
16.27/16.39	c Formula reductions applied at preprocessing
16.39/16.41	c Pre-processing Time: 16.403 s
1800.01/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.01/1800.50	c        0 203243   469052  1205825    2   938104  156350      0      0 16.40
1800.01/1800.50	c Caught signal: 15
1800.01/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.01/1800.50	c    0        0      0        0   469052  1205825      0      0 1800.03
1800.01/1800.50	s UNKNOWN
1800.01/1800.50	c Total time: 1800.03 s

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656389-1276644300/watcher-2656389-1276644300 -o /tmp/evaluation-result-2656389-1276644300/solver-2656389-1276644300 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656389-1276644300.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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.98 1.93 1.58 3/106 11683
/proc/meminfo: memFree=1786436/2059040 swapFree=4192956/4192956
[pid=11683] ppid=11681 vsize=34668 CPUtime=0
/proc/11683/stat : 11683 (bsolo_pb10) R 11681 11683 11546 0 -1 4202496 367 0 0 0 0 0 0 0 17 0 1 0 5722301 35500032 285 1992294400 134512640 137138936 4287450064 18446744073709551615 134534871 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11683/statm: 8667 286 173 642 0 4047 0

[startup+0.0934221 s]
/proc/loadavg: 1.98 1.93 1.58 3/106 11683
/proc/meminfo: memFree=1786436/2059040 swapFree=4192956/4192956
[pid=11683] ppid=11681 vsize=38536 CPUtime=0.08
/proc/11683/stat : 11683 (bsolo_pb10) R 11681 11683 11546 0 -1 4202496 1602 0 0 0 8 0 0 0 17 0 1 0 5722301 39460864 1352 1992294400 134512640 137138936 4287450064 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11683/statm: 9634 1353 308 642 0 5014 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 38536

[startup+0.100423 s]
/proc/loadavg: 1.98 1.93 1.58 3/106 11683
/proc/meminfo: memFree=1786436/2059040 swapFree=4192956/4192956
[pid=11683] ppid=11681 vsize=38816 CPUtime=0.09
/proc/11683/stat : 11683 (bsolo_pb10) R 11681 11683 11546 0 -1 4202496 1700 0 0 0 9 0 0 0 17 0 1 0 5722301 39747584 1450 1992294400 134512640 137138936 4287450064 18446744073709551615 136736805 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11683/statm: 9704 1450 321 642 0 5084 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38816

[startup+0.300442 s]
/proc/loadavg: 1.98 1.93 1.58 3/106 11683
/proc/meminfo: memFree=1786436/2059040 swapFree=4192956/4192956
[pid=11683] ppid=11681 vsize=39396 CPUtime=0.29
/proc/11683/stat : 11683 (bsolo_pb10) R 11681 11683 11546 0 -1 4202496 4313 0 0 0 28 1 0 0 17 0 1 0 5722301 40341504 3809 1992294400 134512640 137138936 4287450064 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11683/statm: 9849 3809 620 642 0 5229 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39396

[startup+0.700484 s]
/proc/loadavg: 1.98 1.93 1.58 3/106 11683
/proc/meminfo: memFree=1786436/2059040 swapFree=4192956/4192956
[pid=11683] ppid=11681 vsize=51752 CPUtime=0.69
/proc/11683/stat : 11683 (bsolo_pb10) R 11681 11683 11546 0 -1 4202496 8161 0 0 0 66 3 0 0 17 0 1 0 5722301 52994048 7344 1992294400 134512640 137138936 4287450064 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11683/statm: 12938 7344 1233 642 0 8318 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51752

[startup+1.50056 s]
/proc/loadavg: 1.98 1.93 1.58 2/107 11684
/proc/meminfo: memFree=1755304/2059040 swapFree=4192956/4192956
[pid=11683] ppid=11681 vsize=67620 CPUtime=1.49
/proc/11683/stat : 11683 (bsolo_pb10) R 11681 11683 11546 0 -1 4202496 13396 0 0 0 144 5 0 0 18 0 1 0 5722301 69242880 12386 1992294400 134512640 137138936 4287450064 18446744073709551615 136736432 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11683/statm: 16905 12386 2298 642 0 12285 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 67620

[startup+3.10073 s]
/proc/loadavg: 1.90 1.91 1.58 2/107 11684
/proc/meminfo: memFree=1734100/2059040 swapFree=4192956/4192956
[pid=11683] ppid=11681 vsize=116400 CPUtime=3.08
/proc/11683/stat : 11683 (bsolo_pb10) R 11681 11683 11546 0 -1 4202496 31026 0 0 0 293 15 0 0 21 0 1 0 5722301 119193600 25842 1992294400 134512640 137138936 4287450064 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11683/statm: 29100 25842 184 642 0 28456 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 116400

[startup+6.30105 s]
/proc/loadavg: 1.90 1.91 1.58 2/107 11684
/proc/meminfo: memFree=1682888/2059040 swapFree=4192956/4192956
[pid=11683] ppid=11681 vsize=116400 CPUtime=6.28
/proc/11683/stat : 11683 (bsolo_pb10) R 11681 11683 11546 0 -1 4202496 31056 0 0 0 604 24 0 0 25 0 1 0 5722301 119193600 25872 1992294400 134512640 137138936 4287450064 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11683/statm: 29100 25872 184 642 0 28456 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 116400

[startup+12.7007 s]
/proc/loadavg: 1.76 1.88 1.57 2/107 11684
/proc/meminfo: memFree=1660816/2059040 swapFree=4192956/4192956
[pid=11683] ppid=11681 vsize=138796 CPUtime=12.68
/proc/11683/stat : 11683 (bsolo_pb10) R 11681 11683 11546 0 -1 4202496 37049 0 0 0 1208 60 0 0 25 0 1 0 5722301 142127104 31467 1992294400 134512640 137138936 4287450064 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11683/statm: 34699 31467 186 642 0 34055 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 138796

[startup+25.501 s]
/proc/loadavg: 1.64 1.85 1.57 2/107 11684
/proc/meminfo: memFree=1663296/2059040 swapFree=4192956/4192956
[pid=11683] ppid=11681 vsize=135904 CPUtime=25.48
/proc/11683/stat : 11683 (bsolo_pb10) R 11681 11683 11546 0 -1 4202496 40425 0 0 0 2413 135 0 0 25 0 1 0 5722301 139165696 30753 1992294400 134512640 137138936 4287450064 18446744073709551615 135744978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11683/statm: 33976 30753 219 642 0 33332 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 135904

[startup+51.1006 s]
/proc/loadavg: 1.42 1.78 1.55 2/107 11686
/proc/meminfo: memFree=1663420/2059040 swapFree=4192956/4192956
[pid=11683] ppid=11681 vsize=135904 CPUtime=51.06
/proc/11683/stat : 11683 (bsolo_pb10) R 11681 11683 11546 0 -1 4202496 40425 0 0 0 4971 135 0 0 25 0 1 0 5722301 139165696 30753 1992294400 134512640 137138936 4287450064 18446744073709551615 135745135 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11683/statm: 33976 30753 219 642 0 33332 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 135904

[startup+102.308 s]
/proc/loadavg: 1.17 1.65 1.52 2/107 11686
/proc/meminfo: memFree=1663420/2059040 swapFree=4192956/4192956
[pid=11683] ppid=11681 vsize=135904 CPUtime=102.25
/proc/11683/stat : 11683 (bsolo_pb10) R 11681 11683 11546 0 -1 4202496 40425 0 0 0 10090 135 0 0 25 0 1 0 5722301 139165696 30753 1992294400 134512640 137138936 4287450064 18446744073709551615 135745101 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11683/statm: 33976 30753 219 642 0 33332 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 135904

[startup+162.301 s]
/proc/loadavg: 1.06 1.53 1.48 2/107 11688
/proc/meminfo: memFree=1663420/2059040 swapFree=4192956/4192956
[pid=11683] ppid=11681 vsize=135904 CPUtime=162.23
/proc/11683/stat : 11683 (bsolo_pb10) R 11681 11683 11546 0 -1 4202496 40425 0 0 0 16088 135 0 0 25 0 1 0 5722301 139165696 30753 1992294400 134512640 137138936 4287450064 18446744073709551615 135745111 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11683/statm: 33976 30753 219 642 0 33332 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 135904

[startup+222.301 s]
/proc/loadavg: 1.02 1.43 1.45 2/107 11690
/proc/meminfo: memFree=1663420/2059040 swapFree=4192956/4192956
[pid=11683] ppid=11681 vsize=135904 CPUtime=222.21
/proc/11683/stat : 11683 (bsolo_pb10) R 11681 11683 11546 0 -1 4202496 40425 0 0 0 22086 135 0 0 25 0 1 0 5722301 139165696 30753 1992294400 134512640 137138936 4287450064 18446744073709551615 135745061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11683/statm: 33976 30753 219 642 0 33332 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 135904

[startup+282.3 s]
/proc/loadavg: 1.01 1.35 1.42 2/107 11692
/proc/meminfo: memFree=1663296/2059040 swapFree=4192956/4192956
[pid=11683] ppid=11681 vsize=135904 CPUtime=282.2
/proc/11683/stat : 11683 (bsolo_pb10) R 11681 11683 11546 0 -1 4202496 63600 0 0 0 28077 143 0 0 25 0 1 0 5722301 139165696 30753 1992294400 134512640 137138936 4287450064 18446744073709551615 135745077 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11683/statm: 33976 30753 219 642 0 33332 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 135904

[startup+342.3 s]
/proc/loadavg: 1.00 1.28 1.39 2/107 11692
/proc/meminfo: memFree=1662924/2059040 swapFree=4192956/4192956
[pid=11683] ppid=11681 vsize=136888 CPUtime=342.18
/proc/11683/stat : 11683 (bsolo_pb10) R 11681 11683 11546 0 -1 4202496 496253 0 0 0 33915 303 0 0 25 0 1 0 5722301 140173312 31003 1992294400 134512640 137138936 4287450064 18446744073709551615 135744978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11683/statm: 34222 31003 219 642 0 33578 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 136888

[startup+402.3 s]
/proc/loadavg: 1.00 1.23 1.36 2/107 11694
/proc/meminfo: memFree=1663172/2059040 swapFree=4192956/4192956
[pid=11683] ppid=11681 vsize=135904 CPUtime=402.16
/proc/11683/stat : 11683 (bsolo_pb10) R 11681 11683 11546 0 -1 4202496 1226907 0 0 0 39637 579 0 0 25 0 1 0 5722301 139165696 30781 1992294400 134512640 137138936 4287450064 18446744073709551615 135745061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11683/statm: 33976 30781 219 642 0 33332 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 135904

[startup+462.301 s]
/proc/loadavg: 1.00 1.18 1.34 2/107 11699
/proc/meminfo: memFree=1661312/2059040 swapFree=4192956/4192956
[pid=11683] ppid=11681 vsize=137200 CPUtime=462.15
/proc/11683/stat : 11683 (bsolo_pb10) R 11681 11683 11546 0 -1 4202496 2336425 0 0 0 45232 983 0 0 25 0 1 0 5722301 140492800 31109 1992294400 134512640 137138936 4287450064 18446744073709551615 135769625 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11683/statm: 34300 31109 219 642 0 33656 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 137200

[startup+522.301 s]
/proc/loadavg: 1.00 1.15 1.31 2/107 11701
/proc/meminfo: memFree=1661064/2059040 swapFree=4192956/4192956
[pid=11683] ppid=11681 vsize=137344 CPUtime=522.13
/proc/11683/stat : 11683 (bsolo_pb10) R 11681 11683 11546 0 -1 4202496 3814796 0 0 0 50682 1531 0 0 25 0 1 0 5722301 140640256 31145 1992294400 134512640 137138936 4287450064 18446744073709551615 135745278 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11683/statm: 34336 31145 219 642 0 33692 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 137344

[startup+582.301 s]
/proc/loadavg: 1.00 1.12 1.29 2/107 11703
/proc/meminfo: memFree=1661064/2059040 swapFree=4192956/4192956
[pid=11683] ppid=11681 vsize=139856 CPUtime=582.12
/proc/11683/stat : 11683 (bsolo_pb10) R 11681 11683 11546 0 -1 4202496 5568137 0 0 0 56033 2179 0 0 25 0 1 0 5722301 143212544 31575 1992294400 134512640 137138936 4287450064 18446744073709551615 136574033 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11683/statm: 34766 31575 219 642 0 34122 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 139856

[startup+642.301 s]
/proc/loadavg: 1.04 1.11 1.27 2/107 11703
/proc/meminfo: memFree=1660940/2059040 swapFree=4192956/4192956
[pid=11683] ppid=11681 vsize=137620 CPUtime=642.11
/proc/11683/stat : 11683 (bsolo_pb10) R 11681 11683 11546 0 -1 4202496 7549243 0 0 0 61290 2921 0 0 25 0 1 0 5722301 140922880 31214 1992294400 134512640 137138936 4287450064 18446744073709551615 135745135 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11683/statm: 34405 31214 219 642 0 33761 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 137620

[startup+702.301 s]

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

[startup+882.3 s]
/proc/loadavg: 1.11 1.10 1.23 2/107 11711
/proc/meminfo: memFree=1659452/2059040 swapFree=4192956/4192956
[pid=11683] ppid=11681 vsize=139248 CPUtime=882.04
/proc/11683/stat : 11683 (bsolo_pb10) R 11681 11683 11546 0 -1 4202496 17173154 0 0 0 81725 6479 0 0 25 0 1 0 5722301 142589952 31621 1992294400 134512640 137138936 4287450064 18446744073709551615 135745101 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11683/statm: 34812 31621 219 642 0 34168 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 139248

[startup+942.3 s]
/proc/loadavg: 1.10 1.09 1.21 2/107 11711
/proc/meminfo: memFree=1658460/2059040 swapFree=4192956/4192956
[pid=11683] ppid=11681 vsize=142944 CPUtime=942.03
/proc/11683/stat : 11683 (bsolo_pb10) R 11681 11683 11546 0 -1 4202496 19963763 0 0 0 86685 7518 0 0 25 0 1 0 5722301 146374656 32362 1992294400 134512640 137138936 4287450064 18446744073709551615 134712242 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11683/statm: 35736 32368 219 642 0 35092 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 142944

[startup+1002.3 s]
/proc/loadavg: 1.09 1.09 1.20 2/107 11713
/proc/meminfo: memFree=1658708/2059040 swapFree=4192956/4192956
[pid=11683] ppid=11681 vsize=143288 CPUtime=1002.01
/proc/11683/stat : 11683 (bsolo_pb10) R 11681 11683 11546 0 -1 4202496 22973347 0 0 0 91574 8627 0 0 25 0 1 0 5722301 146726912 31893 1992294400 134512640 137138936 4287450064 18446744073709551615 134709202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11683/statm: 35822 31900 219 642 0 35178 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 143288

[startup+1062.3 s]
/proc/loadavg: 1.13 1.10 1.20 2/107 11715
/proc/meminfo: memFree=1655732/2059040 swapFree=4192956/4192956
[pid=11683] ppid=11681 vsize=143332 CPUtime=1062
/proc/11683/stat : 11683 (bsolo_pb10) R 11681 11683 11546 0 -1 4202496 26107692 0 0 0 96402 9798 0 0 25 0 1 0 5722301 146771968 32592 1992294400 134512640 137138936 4287450064 18446744073709551615 135745464 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11683/statm: 35833 32588 219 642 0 35189 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 143332

[startup+1122.3 s]
/proc/loadavg: 1.05 1.08 1.18 2/107 11717
/proc/meminfo: memFree=1658708/2059040 swapFree=4192956/4192956
[pid=11683] ppid=11681 vsize=144956 CPUtime=1121.98
/proc/11683/stat : 11683 (bsolo_pb10) R 11681 11683 11546 0 -1 4202496 29361450 0 0 0 101194 11004 0 0 25 0 1 0 5722301 148434944 32998 1992294400 134512640 137138936 4287450064 18446744073709551615 134712199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11683/statm: 36239 32998 219 642 0 35595 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 144956

[startup+1182.3 s]
/proc/loadavg: 1.06 1.08 1.17 2/107 11719
/proc/meminfo: memFree=1659824/2059040 swapFree=4192956/4192956
[pid=11683] ppid=11681 vsize=142080 CPUtime=1181.96
/proc/11683/stat : 11683 (bsolo_pb10) R 11681 11683 11546 0 -1 4202496 32808482 0 0 0 105912 12284 0 0 25 0 1 0 5722301 145489920 32229 1992294400 134512640 137138936 4287450064 18446744073709551615 135745135 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11683/statm: 35520 32229 219 642 0 34876 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 142080

[startup+1242.3 s]
/proc/loadavg: 1.02 1.06 1.16 2/107 11719
/proc/meminfo: memFree=1658832/2059040 swapFree=4192956/4192956
[pid=11683] ppid=11681 vsize=145136 CPUtime=1241.95
/proc/11683/stat : 11683 (bsolo_pb10) R 11681 11683 11546 0 -1 4202496 36289414 0 0 0 110623 13572 0 0 25 0 1 0 5722301 148619264 32442 1992294400 134512640 137138936 4287450064 18446744073709551615 134709347 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11683/statm: 36284 32448 219 642 0 35640 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 145136

[startup+1302.3 s]
/proc/loadavg: 1.01 1.05 1.15 2/107 11721
/proc/meminfo: memFree=1657468/2059040 swapFree=4192956/4192956
[pid=11683] ppid=11681 vsize=145916 CPUtime=1301.94
/proc/11683/stat : 11683 (bsolo_pb10) R 11681 11683 11546 0 -1 4202496 39857247 0 0 0 115303 14891 0 0 25 0 1 0 5722301 149417984 33236 1992294400 134512640 137138936 4287450064 18446744073709551615 134712242 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11683/statm: 36479 33236 219 642 0 35835 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 145916

[startup+1362.3 s]
/proc/loadavg: 1.00 1.04 1.14 2/107 11723
/proc/meminfo: memFree=1653004/2059040 swapFree=4192956/4192956
[pid=11683] ppid=11681 vsize=140568 CPUtime=1361.92
/proc/11683/stat : 11683 (bsolo_pb10) R 11681 11683 11546 0 -1 4202496 43478815 0 0 0 119984 16208 0 0 25 0 1 0 5722301 143941632 31951 1992294400 134512640 137138936 4287450064 18446744073709551615 135744978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11683/statm: 35142 31951 219 642 0 34498 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 140568

[startup+1422.31 s]
/proc/loadavg: 1.00 1.03 1.13 2/107 11725
/proc/meminfo: memFree=1655732/2059040 swapFree=4192956/4192956
[pid=11683] ppid=11681 vsize=145928 CPUtime=1421.92
/proc/11683/stat : 11683 (bsolo_pb10) R 11681 11683 11546 0 -1 4202496 47159324 0 0 0 124643 17549 0 0 25 0 1 0 5722301 149430272 33191 1992294400 134512640 137138936 4287450064 18446744073709551615 134712197 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11683/statm: 36482 33191 219 642 0 35838 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 145928

[startup+1482.3 s]
/proc/loadavg: 1.00 1.02 1.11 2/107 11727
/proc/meminfo: memFree=1653376/2059040 swapFree=4192956/4192956
[pid=11683] ppid=11681 vsize=142864 CPUtime=1481.89
/proc/11683/stat : 11683 (bsolo_pb10) R 11681 11683 11546 0 -1 4202496 50858223 0 0 0 129297 18892 0 0 25 0 1 0 5722301 146292736 32425 1992294400 134512640 137138936 4287450064 18446744073709551615 135745135 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11683/statm: 35716 32425 219 642 0 35072 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 142864

[startup+1542.3 s]
/proc/loadavg: 1.00 1.02 1.10 2/107 11727
/proc/meminfo: memFree=1656600/2059040 swapFree=4192956/4192956
[pid=11683] ppid=11681 vsize=142056 CPUtime=1541.87
/proc/11683/stat : 11683 (bsolo_pb10) R 11681 11683 11546 0 -1 4202496 54131668 0 0 0 134102 20085 0 0 25 0 1 0 5722301 145465344 32273 1992294400 134512640 137138936 4287450064 18446744073709551615 135745101 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11683/statm: 35514 32273 219 642 0 34870 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 142056

[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.09 2/107 11729
/proc/meminfo: memFree=1650896/2059040 swapFree=4192956/4192956
[pid=11683] ppid=11681 vsize=142236 CPUtime=1601.86
/proc/11683/stat : 11683 (bsolo_pb10) R 11681 11683 11546 0 -1 4202496 57436546 0 0 0 138905 21281 0 0 25 0 1 0 5722301 145649664 32318 1992294400 134512640 137138936 4287450064 18446744073709551615 135745135 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11683/statm: 35559 32318 219 642 0 34915 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 142236

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 11731
/proc/meminfo: memFree=1657096/2059040 swapFree=4192956/4192956
[pid=11683] ppid=11681 vsize=142416 CPUtime=1661.84
/proc/11683/stat : 11683 (bsolo_pb10) R 11681 11683 11546 0 -1 4202496 60830209 0 0 0 143674 22510 0 0 25 0 1 0 5722301 145833984 32363 1992294400 134512640 137138936 4287450064 18446744073709551615 134712136 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11683/statm: 35604 32363 219 642 0 34960 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 142416

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 11733
/proc/meminfo: memFree=1656724/2059040 swapFree=4192956/4192956
[pid=11683] ppid=11681 vsize=148276 CPUtime=1721.83
/proc/11683/stat : 11683 (bsolo_pb10) R 11681 11683 11546 0 -1 4202496 64243159 0 0 0 148432 23751 0 0 25 0 1 0 5722301 151834624 33787 1992294400 134512640 137138936 4287450064 18446744073709551615 135745414 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11683/statm: 37069 33787 219 642 0 36425 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 148276

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 11735
/proc/meminfo: memFree=1651516/2059040 swapFree=4192956/4192956
[pid=11683] ppid=11681 vsize=142756 CPUtime=1781.81
/proc/11683/stat : 11683 (bsolo_pb10) R 11681 11683 11546 0 -1 4202496 67768417 0 0 0 153174 25007 0 0 25 0 1 0 5722301 146182144 32448 1992294400 134512640 137138936 4287450064 18446744073709551615 135745119 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11683/statm: 35689 32448 219 642 0 35045 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 142756



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 11735
/proc/meminfo: memFree=1655484/2059040 swapFree=4192956/4192956
[pid=11683] ppid=11681 vsize=142812 CPUtime=1800.01
/proc/11683/stat : 11683 (bsolo_pb10) R 11681 11683 11546 0 -1 4202496 68865620 0 0 0 154610 25391 0 0 25 0 1 0 5722301 146239488 32462 1992294400 134512640 137138936 4287450064 18446744073709551615 135745119 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11683/statm: 35703 32462 219 642 0 35059 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 142812

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 11735
/proc/meminfo: memFree=1655484/2059040 swapFree=4192956/4192956
[pid=11683] ppid=11681 vsize=142812 CPUtime=1800.01
/proc/11683/stat : 11683 (bsolo_pb10) R 11681 11683 11546 0 -1 4202496 68865620 0 0 0 154610 25391 0 0 25 0 1 0 5722301 146239488 32462 1992294400 134512640 137138936 4287450064 18446744073709551615 135745119 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11683/statm: 35703 32462 219 642 0 35059 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 142812

Child status: 15
Real time (s): 1800.53
CPU time (s): 1800.04
CPU user time (s): 1546.11
CPU system time (s): 253.933
CPU usage (%): 99.9732
Max. virtual memory (cumulated for all children) (KiB): 150696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1546.11
system time used= 253.933
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68865620
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= 1
involuntary context switches= 5154

runsolver used 2.99454 second user time and 8.48671 second system time

The end

Launcher Data 

Begin job on node045 at 2010-06-16 01:25:01
IDJOB=2656389
IDBENCH=25040
IDSOLVER=1162
FILE ID=node045/2656389-1276644300
PBS_JOBID= 11172417
Free space on /tmp= 62444 MiB

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

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 47194cf421cbddfd6c2831e71c8b2458
RANDOM SEED=1129381439

node045.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.247
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.49
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.247
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1787088 kB
Buffers:         24048 kB
Cached:         122536 kB
SwapCached:          0 kB
Active:          95584 kB
Inactive:       110756 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1787088 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           19928 kB
Writeback:           0 kB
AnonPages:       59808 kB
Mapped:          15372 kB
Slab:            43868 kB
PageTables:       4084 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181224 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62440 MiB
End job on node045 at 2010-06-16 01:55:04