Trace number 1879808

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 NameAnswerobjCPU timeWall clock time
bsolo 3.1 pb? (TO) 1800.12 1800.83

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 benchmark1406.12
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.1 - 13/04/2009 : 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: Generic Pseudo-Boolean Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1879808-1245243135.opb
0.00/0.00	c File size is 16282720 bytes.
2.39/2.49	c Highest Coefficient sum: 101248
2.39/2.49	c Parsing was ok!!
2.39/2.49	c Total parsing time: 2.494 s
2.69/2.72	c Var: 203287 Constr: 469077 469077/0/0 Lit: 1205872 Watch. Lit: 938151
2.69/2.72	c Obj. Vars: 101248 (49.8054 % of total variables)
15.47/15.57	c Formula reductions applied at preprocessing
15.47/15.59	c Pre-processing Time: 15.568 s
1800.09/1800.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.09/1800.80	c        0 203243   469052  1205825    2   938104  156350      0      0 15.57
1800.09/1800.80	c Caught signal: 15
1800.09/1800.80	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.09/1800.80	c    0        0      0        0   469052  1205825      0      0 1800.10
1800.09/1800.80	s UNKNOWN
1800.09/1800.80	c Total time: 1800.1 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-1879808-1245243135/watcher-1879808-1245243135 -o /tmp/evaluation-result-1879808-1245243135/solver-1879808-1245243135 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879808-1245243135.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.00 1.02 1.00 3/65 13868
/proc/meminfo: memFree=1841128/2055920 swapFree=4181856/4192956
[pid=13868] ppid=13866 vsize=34436 CPUtime=0
/proc/13868/stat : 13868 (bsolo) R 13866 13868 13618 0 -1 4194304 267 0 0 0 0 0 0 0 19 0 1 0 191912074 35262464 251 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13868/statm: 8644 257 173 640 0 4024 0

[startup+0.0265249 s]
/proc/loadavg: 1.00 1.02 1.00 3/65 13868
/proc/meminfo: memFree=1841128/2055920 swapFree=4181856/4192956
[pid=13868] ppid=13866 vsize=35588 CPUtime=0.02
/proc/13868/stat : 13868 (bsolo) R 13866 13868 13618 0 -1 4194304 572 0 0 0 2 0 0 0 19 0 1 0 191912074 36442112 556 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13868/statm: 8897 556 213 640 0 4277 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 35588

[startup+0.101533 s]
/proc/loadavg: 1.00 1.02 1.00 3/65 13868
/proc/meminfo: memFree=1841128/2055920 swapFree=4181856/4192956
[pid=13868] ppid=13866 vsize=39160 CPUtime=0.09
/proc/13868/stat : 13868 (bsolo) R 13866 13868 13618 0 -1 4194304 1791 0 0 0 9 0 0 0 19 0 1 0 191912074 40099840 1607 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13868/statm: 9790 1607 348 640 0 5170 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39160

[startup+0.301555 s]
/proc/loadavg: 1.00 1.02 1.00 3/65 13868
/proc/meminfo: memFree=1841128/2055920 swapFree=4181856/4192956
[pid=13868] ppid=13866 vsize=40492 CPUtime=0.29
/proc/13868/stat : 13868 (bsolo) R 13866 13868 13618 0 -1 4194304 4603 0 0 0 29 0 0 0 21 0 1 0 191912074 41463808 4165 1992294400 134512640 137136520 4294956256 18446744073709551615 134517403 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13868/statm: 10123 4165 682 640 0 5503 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40492

[startup+0.701601 s]
/proc/loadavg: 1.00 1.02 1.00 3/65 13868
/proc/meminfo: memFree=1841128/2055920 swapFree=4181856/4192956
[pid=13868] ppid=13866 vsize=54160 CPUtime=0.69
/proc/13868/stat : 13868 (bsolo) R 13866 13868 13618 0 -1 4194304 9003 0 0 0 67 2 0 0 25 0 1 0 191912074 55459840 8059 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13868/statm: 13540 8059 1333 640 0 8920 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 54160

[startup+1.50169 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 13869
/proc/meminfo: memFree=1807392/2055920 swapFree=4181856/4192956
[pid=13868] ppid=13866 vsize=71452 CPUtime=1.49
/proc/13868/stat : 13868 (bsolo) R 13866 13868 13618 0 -1 4194304 14601 0 0 0 144 5 0 0 25 0 1 0 191912074 73166848 13657 1992294400 134512640 137136520 4294956256 18446744073709551615 136656862 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13868/statm: 17863 13658 2587 640 0 13243 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 71452

[startup+3.10188 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 13869
/proc/meminfo: memFree=1784224/2055920 swapFree=4181856/4192956
[pid=13868] ppid=13866 vsize=116384 CPUtime=3.09
/proc/13868/stat : 13868 (bsolo) R 13866 13868 13618 0 -1 4194304 30994 0 0 0 289 20 0 0 25 0 1 0 191912074 119177216 25876 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13868/statm: 29096 25876 189 640 0 28452 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 116384

[startup+6.30124 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 13869
/proc/meminfo: memFree=1737312/2055920 swapFree=4181856/4192956
[pid=13868] ppid=13866 vsize=116384 CPUtime=6.28
/proc/13868/stat : 13868 (bsolo) R 13866 13868 13618 0 -1 4194304 30994 0 0 0 605 23 0 0 25 0 1 0 191912074 119177216 25876 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13868/statm: 29096 25876 189 640 0 28452 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 116384

[startup+12.702 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 13869
/proc/meminfo: memFree=1715752/2055920 swapFree=4181856/4192956
[pid=13868] ppid=13866 vsize=133280 CPUtime=12.67
/proc/13868/stat : 13868 (bsolo) R 13866 13868 13618 0 -1 4194304 37303 0 0 0 1208 59 0 0 25 0 1 0 191912074 136478720 30082 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13868/statm: 33320 30083 193 640 0 32676 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 133280

[startup+25.5014 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 13869
/proc/meminfo: memFree=1718760/2055920 swapFree=4181856/4192956
[pid=13868] ppid=13866 vsize=135888 CPUtime=25.47
/proc/13868/stat : 13868 (bsolo) R 13866 13868 13618 0 -1 4194304 40367 0 0 0 2436 111 0 0 25 0 1 0 191912074 139149312 30761 1992294400 134512640 137136520 4294956256 18446744073709551615 135742923 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13868/statm: 33972 30761 228 640 0 33328 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 135888

[startup+51.1014 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 13871
/proc/meminfo: memFree=1718632/2055920 swapFree=4181856/4192956
[pid=13868] ppid=13866 vsize=135888 CPUtime=51.04
/proc/13868/stat : 13868 (bsolo) R 13866 13868 13618 0 -1 4194304 40367 0 0 0 4993 111 0 0 25 0 1 0 191912074 139149312 30761 1992294400 134512640 137136520 4294956256 18446744073709551615 135743071 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13868/statm: 33972 30761 228 640 0 33328 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 135888

[startup+102.305 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 13871
/proc/meminfo: memFree=1718632/2055920 swapFree=4181856/4192956
[pid=13868] ppid=13866 vsize=135888 CPUtime=102.22
/proc/13868/stat : 13868 (bsolo) R 13866 13868 13618 0 -1 4194304 40367 0 0 0 10111 111 0 0 25 0 1 0 191912074 139149312 30761 1992294400 134512640 137136520 4294956256 18446744073709551615 134707057 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13868/statm: 33972 30761 228 640 0 33328 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 135888

[startup+162.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 13871
/proc/meminfo: memFree=1718568/2055920 swapFree=4181856/4192956
[pid=13868] ppid=13866 vsize=135888 CPUtime=162.19
/proc/13868/stat : 13868 (bsolo) R 13866 13868 13618 0 -1 4194304 40367 0 0 0 16108 111 0 0 25 0 1 0 191912074 139149312 30761 1992294400 134512640 137136520 4294956256 18446744073709551615 134709970 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13868/statm: 33972 30761 228 640 0 33328 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 135888

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13871
/proc/meminfo: memFree=1718568/2055920 swapFree=4181856/4192956
[pid=13868] ppid=13866 vsize=135888 CPUtime=222.16
/proc/13868/stat : 13868 (bsolo) R 13866 13868 13618 0 -1 4194304 40367 0 0 0 22105 111 0 0 25 0 1 0 191912074 139149312 30761 1992294400 134512640 137136520 4294956256 18446744073709551615 135743415 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13868/statm: 33972 30761 228 640 0 33328 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 135888

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13871
/proc/meminfo: memFree=1718312/2055920 swapFree=4181856/4192956
[pid=13868] ppid=13866 vsize=136748 CPUtime=282.13
/proc/13868/stat : 13868 (bsolo) R 13866 13868 13618 0 -1 4194304 127660 0 0 0 28066 147 0 0 25 0 1 0 191912074 140029952 30975 1992294400 134512640 137136520 4294956256 18446744073709551615 135743037 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13868/statm: 34187 30975 228 640 0 33543 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 136748

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13871
/proc/meminfo: memFree=1717608/2055920 swapFree=4181856/4192956
[pid=13868] ppid=13866 vsize=135888 CPUtime=342.11
/proc/13868/stat : 13868 (bsolo) R 13866 13868 13618 0 -1 4194304 658406 0 0 0 33839 372 0 0 25 0 1 0 191912074 139149312 30765 1992294400 134512640 137136520 4294956256 18446744073709551615 135743039 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13868/statm: 33972 30765 228 640 0 33328 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 135888

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13871
/proc/meminfo: memFree=1716584/2055920 swapFree=4181856/4192956
[pid=13868] ppid=13866 vsize=137080 CPUtime=402.08
/proc/13868/stat : 13868 (bsolo) R 13866 13868 13618 0 -1 4194304 1485531 0 0 0 39482 726 0 0 25 0 1 0 191912074 140369920 31091 1992294400 134512640 137136520 4294956256 18446744073709551615 135743039 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13868/statm: 34270 31091 228 640 0 33626 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 137080

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13871
/proc/meminfo: memFree=1716072/2055920 swapFree=4181856/4192956
[pid=13868] ppid=13866 vsize=137232 CPUtime=462.05
/proc/13868/stat : 13868 (bsolo) R 13866 13868 13618 0 -1 4194304 2812576 0 0 0 44927 1278 0 0 25 0 1 0 191912074 140525568 31129 1992294400 134512640 137136520 4294956256 18446744073709551615 135742914 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13868/statm: 34308 31129 228 640 0 33664 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 137232

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13871
/proc/meminfo: memFree=1715176/2055920 swapFree=4181856/4192956
[pid=13868] ppid=13866 vsize=139620 CPUtime=522.03
/proc/13868/stat : 13868 (bsolo) R 13866 13868 13618 0 -1 4194304 4450451 0 0 0 50243 1960 0 0 25 0 1 0 191912074 142970880 31726 1992294400 134512640 137136520 4294956256 18446744073709551615 134707242 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13868/statm: 34905 31726 228 640 0 34261 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 139620

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13877
/proc/meminfo: memFree=1714920/2055920 swapFree=4181856/4192956
[pid=13868] ppid=13866 vsize=137520 CPUtime=582
/proc/13868/stat : 13868 (bsolo) R 13866 13868 13618 0 -1 4194304 6290552 0 0 0 55470 2730 0 0 25 0 1 0 191912074 140820480 31201 1992294400 134512640 137136520 4294956256 18446744073709551615 135743085 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13868/statm: 34380 31201 228 640 0 33736 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 137520

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13877
/proc/meminfo: memFree=1715176/2055920 swapFree=4181856/4192956
[pid=13868] ppid=13866 vsize=138552 CPUtime=641.98
/proc/13868/stat : 13868 (bsolo) R 13866 13868 13618 0 -1 4194304 8393354 0 0 0 60586 3612 0 0 25 0 1 0 191912074 141877248 31459 1992294400 134512640 137136520 4294956256 18446744073709551615 135743071 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13868/statm: 34638 31459 228 640 0 33994 0
Current children cumulated CPU time (s) 641.98
Current children cumulated vsize (KiB) 138552

[startup+702.302 s]

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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13877
/proc/meminfo: memFree=1712040/2055920 swapFree=4181856/4192956
[pid=13868] ppid=13866 vsize=139128 CPUtime=821.9
/proc/13868/stat : 13868 (bsolo) R 13866 13868 13618 0 -1 4194304 15677246 0 0 0 75525 6665 0 0 25 0 1 0 191912074 142467072 31603 1992294400 134512640 137136520 4294956256 18446744073709551615 134710072 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13868/statm: 34782 31603 228 640 0 34138 0
Current children cumulated CPU time (s) 821.9
Current children cumulated vsize (KiB) 139128

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13877
/proc/meminfo: memFree=1714792/2055920 swapFree=4181856/4192956
[pid=13868] ppid=13866 vsize=141588 CPUtime=881.88
/proc/13868/stat : 13868 (bsolo) R 13866 13868 13618 0 -1 4194304 18422216 0 0 0 80370 7818 0 0 25 0 1 0 191912074 144986112 31370 1992294400 134512640 137136520 4294956256 18446744073709551615 134710178 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13868/statm: 35397 31376 228 640 0 34753 0
Current children cumulated CPU time (s) 881.88
Current children cumulated vsize (KiB) 141588

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13877
/proc/meminfo: memFree=1710376/2055920 swapFree=4181856/4192956
[pid=13868] ppid=13866 vsize=140484 CPUtime=941.85
/proc/13868/stat : 13868 (bsolo) R 13866 13868 13618 0 -1 4194304 21350877 0 0 0 85132 9053 0 0 25 0 1 0 191912074 143855616 31892 1992294400 134512640 137136520 4294956256 18446744073709551615 135742912 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13868/statm: 35121 31892 228 640 0 34477 0
Current children cumulated CPU time (s) 941.85
Current children cumulated vsize (KiB) 140484

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13877
/proc/meminfo: memFree=1713064/2055920 swapFree=4181856/4192956
[pid=13868] ppid=13866 vsize=139400 CPUtime=1001.82
/proc/13868/stat : 13868 (bsolo) R 13866 13868 13618 0 -1 4194304 24429198 0 0 0 89841 10341 0 0 25 0 1 0 191912074 142745600 31621 1992294400 134512640 137136520 4294956256 18446744073709551615 135743037 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13868/statm: 34850 31621 228 640 0 34206 0
Current children cumulated CPU time (s) 1001.82
Current children cumulated vsize (KiB) 139400

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13877
/proc/meminfo: memFree=1708648/2055920 swapFree=4181856/4192956
[pid=13868] ppid=13866 vsize=145248 CPUtime=1061.8
/proc/13868/stat : 13868 (bsolo) R 13866 13868 13618 0 -1 4194304 27629187 0 0 0 94504 11676 0 0 25 0 1 0 191912074 148733952 32334 1992294400 134512640 137136520 4294956256 18446744073709551615 134707283 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13868/statm: 36312 32339 228 640 0 35668 0
Current children cumulated CPU time (s) 1061.8
Current children cumulated vsize (KiB) 145248

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13877
/proc/meminfo: memFree=1711720/2055920 swapFree=4181856/4192956
[pid=13868] ppid=13866 vsize=139992 CPUtime=1121.79
/proc/13868/stat : 13868 (bsolo) R 13866 13868 13618 0 -1 4194304 30990508 0 0 0 99100 13079 0 0 25 0 1 0 191912074 143351808 31819 1992294400 134512640 137136520 4294956256 18446744073709551615 134710054 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13868/statm: 34998 31819 228 640 0 34354 0
Current children cumulated CPU time (s) 1121.79
Current children cumulated vsize (KiB) 139992

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13877
/proc/meminfo: memFree=1713704/2055920 swapFree=4181856/4192956
[pid=13868] ppid=13866 vsize=138732 CPUtime=1181.77
/proc/13868/stat : 13868 (bsolo) R 13866 13868 13618 0 -1 4194304 34482382 0 0 0 103653 14524 0 0 25 0 1 0 191912074 142061568 31504 1992294400 134512640 137136520 4294956256 18446744073709551615 134706185 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13868/statm: 35181 31508 228 640 0 34537 0
Current children cumulated CPU time (s) 1181.77
Current children cumulated vsize (KiB) 138732

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13877
/proc/meminfo: memFree=1708008/2055920 swapFree=4181856/4192956
[pid=13868] ppid=13866 vsize=142304 CPUtime=1241.74
/proc/13868/stat : 13868 (bsolo) R 13866 13868 13618 0 -1 4194304 38003328 0 0 0 108196 15978 0 0 25 0 1 0 191912074 145719296 32297 1992294400 134512640 137136520 4294956256 18446744073709551615 134710063 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13868/statm: 35576 32297 228 640 0 34932 0
Current children cumulated CPU time (s) 1241.74
Current children cumulated vsize (KiB) 142304

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13877
/proc/meminfo: memFree=1709352/2055920 swapFree=4181856/4192956
[pid=13868] ppid=13866 vsize=146052 CPUtime=1301.74
/proc/13868/stat : 13868 (bsolo) R 13866 13868 13618 0 -1 4194304 41611858 0 0 0 112680 17494 0 0 25 0 1 0 191912074 149557248 33106 1992294400 134512640 137136520 4294956256 18446744073709551615 134710037 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13868/statm: 36513 33111 228 640 0 35869 0
Current children cumulated CPU time (s) 1301.74
Current children cumulated vsize (KiB) 146052

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13877
/proc/meminfo: memFree=1709800/2055920 swapFree=4181856/4192956
[pid=13868] ppid=13866 vsize=145772 CPUtime=1361.71
/proc/13868/stat : 13868 (bsolo) R 13866 13868 13618 0 -1 4194304 45257159 0 0 0 117170 19001 0 0 25 0 1 0 191912074 149270528 32626 1992294400 134512640 137136520 4294956256 18446744073709551615 134710037 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13868/statm: 36443 32630 228 640 0 35799 0
Current children cumulated CPU time (s) 1361.71
Current children cumulated vsize (KiB) 145772

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13877
/proc/meminfo: memFree=1712040/2055920 swapFree=4181856/4192956
[pid=13868] ppid=13866 vsize=142772 CPUtime=1421.7
/proc/13868/stat : 13868 (bsolo) R 13866 13868 13618 0 -1 4194304 48961028 0 0 0 121633 20537 0 0 25 0 1 0 191912074 146198528 32414 1992294400 134512640 137136520 4294956256 18446744073709551615 135743039 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13868/statm: 35693 32414 228 640 0 35049 0
Current children cumulated CPU time (s) 1421.7
Current children cumulated vsize (KiB) 142772

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13877
/proc/meminfo: memFree=1705960/2055920 swapFree=4181856/4192956
[pid=13868] ppid=13866 vsize=147004 CPUtime=1481.67
/proc/13868/stat : 13868 (bsolo) R 13866 13868 13618 0 -1 4194304 52499560 0 0 0 126179 21988 0 0 25 0 1 0 191912074 150532096 33520 1992294400 134512640 137136520 4294956256 18446744073709551615 135743374 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13868/statm: 36751 33520 228 640 0 36107 0
Current children cumulated CPU time (s) 1481.67
Current children cumulated vsize (KiB) 147004

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13877
/proc/meminfo: memFree=1709736/2055920 swapFree=4181856/4192956
[pid=13868] ppid=13866 vsize=141132 CPUtime=1541.66
/proc/13868/stat : 13868 (bsolo) R 13866 13868 13618 0 -1 4194304 55713356 0 0 0 130863 23303 0 0 25 0 1 0 191912074 144519168 32104 1992294400 134512640 137136520 4294956256 18446744073709551615 135743037 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13868/statm: 35283 32104 228 640 0 34639 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 141132

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13877
/proc/meminfo: memFree=1710312/2055920 swapFree=4181856/4192956
[pid=13868] ppid=13866 vsize=143304 CPUtime=1601.65
/proc/13868/stat : 13868 (bsolo) R 13866 13868 13618 0 -1 4194304 59063632 0 0 0 135499 24666 0 0 25 0 1 0 191912074 146743296 32547 1992294400 134512640 137136520 4294956256 18446744073709551615 135743039 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13868/statm: 35826 32547 228 640 0 35182 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 143304

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13877
/proc/meminfo: memFree=1708392/2055920 swapFree=4181856/4192956
[pid=13868] ppid=13866 vsize=141488 CPUtime=1661.62
/proc/13868/stat : 13868 (bsolo) R 13866 13868 13618 0 -1 4194304 62456011 0 0 0 140106 26056 0 0 25 0 1 0 191912074 144883712 32193 1992294400 134512640 137136520 4294956256 18446744073709551615 135767561 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13868/statm: 35372 32193 228 640 0 34728 0
Current children cumulated CPU time (s) 1661.62
Current children cumulated vsize (KiB) 141488

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13877
/proc/meminfo: memFree=1709096/2055920 swapFree=4181856/4192956
[pid=13868] ppid=13866 vsize=141656 CPUtime=1721.6
/proc/13868/stat : 13868 (bsolo) R 13866 13868 13618 0 -1 4194304 65866844 0 0 0 144722 27438 0 0 25 0 1 0 191912074 145055744 32235 1992294400 134512640 137136520 4294956256 18446744073709551615 134710042 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13868/statm: 35414 32235 228 640 0 34770 0
Current children cumulated CPU time (s) 1721.6
Current children cumulated vsize (KiB) 141656

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13877
/proc/meminfo: memFree=1706216/2055920 swapFree=4181856/4192956
[pid=13868] ppid=13866 vsize=148756 CPUtime=1781.59
/proc/13868/stat : 13868 (bsolo) R 13866 13868 13618 0 -1 4194304 69462965 0 0 0 149251 28908 0 0 25 0 1 0 191912074 152326144 33908 1992294400 134512640 137136520 4294956256 18446744073709551615 134710183 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13868/statm: 37189 33913 228 640 0 36545 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 148756



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13877
/proc/meminfo: memFree=1703528/2055920 swapFree=4181856/4192956
[pid=13868] ppid=13866 vsize=149852 CPUtime=1800.09
/proc/13868/stat : 13868 (bsolo) R 13866 13868 13618 0 -1 4194304 70600929 0 0 0 150640 29369 0 0 25 0 1 0 191912074 153448448 34176 1992294400 134512640 137136520 4294956256 18446744073709551615 134709979 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13868/statm: 37463 34178 228 640 0 36819 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 149852

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.83
CPU time (s): 1800.12
CPU user time (s): 1506.4
CPU system time (s): 293.716
CPU usage (%): 99.9606
Max. virtual memory (cumulated for all children) (KiB): 150820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1506.4
system time used= 293.716
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70600932
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= 2
involuntary context switches= 5929

runsolver used 1.9997 second user time and 4.45732 second system time

The end

Launcher Data 

Begin job on node88 at 2009-06-17 14:52:16
IDJOB=1879808
IDBENCH=25040
IDSOLVER=701
FILE ID=node88/1879808-1245243135
PBS_JOBID= 9372264
Free space on /tmp= 66508 MiB

SOLVER NAME= bsolo 3.1 pb
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir08_area_opers.opb
COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879808-1245243135/watcher-1879808-1245243135 -o /tmp/evaluation-result-1879808-1245243135/solver-1879808-1245243135 -C 1800 -W 2000 -M 1800  bsolo -l3 -t1800 -m1800 HOME/instance-1879808-1245243135.opb

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

MD5SUM BENCH= 47194cf421cbddfd6c2831e71c8b2458
RANDOM SEED=974843298

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

/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.214
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
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.214
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1841624 kB
Buffers:          8992 kB
Cached:         141168 kB
SwapCached:       4676 kB
Active:          41872 kB
Inactive:       115628 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1841624 kB
SwapTotal:     4192956 kB
SwapFree:      4181856 kB
Dirty:           19844 kB
Writeback:           0 kB
Mapped:          13196 kB
Slab:            42672 kB
Committed_AS:   121132 kB
PageTables:       1448 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1879808-1245243135.opb

Free space on /tmp at the end= 66504 MiB
End job on node88 at 2009-06-17 15:22:19