Trace number 2684879

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 NameAnswerCPU timeWall clock time
bsolo 3.2 Card? 1798.06 1798.54

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12037_7-sat.opb
MD5SUMc76ba3fc1d0a0f3a1a96791ffe6c4cf4
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables39204
Total number of constraints130975
Number of constraints which are clauses130331
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints644
Minimum length of a constraint1
Maximum length of a constraint120
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 27
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 714
Number of bits of the biggest sum of numbers10
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-2684879-1278435381.opb
0.00/0.00	c File size is 4394062 bytes.
0.79/0.83	c Highest Coefficient sum: 714
0.79/0.83	c Parsing was ok!!
0.79/0.83	c Total parsing time: 0.831 s
0.88/0.90	c Var: 39204 Constr: 130975 130331/0/644 Lit: 356085 Watch. Lit: 328136
0.88/0.90	c Obj. Vars: 0 (0 % of total variables)
87.86/87.91	c Pre-processing Time: 87.875 s
87.86/87.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
87.86/87.91	c        0  22085    67668   192696    2   175064  118192      0      0 87.88
87.86/87.91	c Switching off lower bounding mode.
1797.91/1798.49	c      101  22085    67774   197600    2   180286  130012    106      1 88.91
1797.91/1798.49	c      252  22085    67939   204620    3   180875  143014    271      2 89.36
1797.91/1798.49	c      477  22085    68193   217207    3   181473  157316    525      5 89.94
1797.91/1798.49	c      815  22085    68561   233487    3   182147  173048    893      8 90.84
1797.91/1798.49	c     1323  22085    69173   259707    3   183328  190353   1505     14 91.86
1797.91/1798.49	c     2087  22085    70000   295162    4   185062  209389   2332     22 93.32
1797.91/1798.49	c     3234  22085    71313   366616    5   187665  230328   3645     33 96.45
1797.91/1798.49	c     4956  22085    73271   533577    7   191624  253361   5603     48 101.39
1797.91/1798.49	c     7541  22085    76266   743529    9   197566  278698   8598     68 110.83
1797.91/1798.49	c    11420  22085    80832   987240   12   206715  306568  13164     96 118.40
1797.91/1798.49	c    17242  22085    87508  1698385   19   220065  337225  19840    122 140.96
1797.91/1798.49	c    25979  22085    97794  2460791   25   240618  370948  30126    158 164.39
1797.91/1798.49	c    39089  22085   113094  4199578   37   271277  408043  45426    172 226.80
1797.91/1798.49	c    58759  22085   136721  5873652   42   318588  448848  69053    195 300.35
1797.91/1798.49	c    88272  22085   172149  8770000   50   389474  493733 104481    199 443.55
1797.91/1798.49	c   132544  22085   225805 13971809   61   497044  543107 158137    183 721.61
1797.91/1798.49	c   198957  22085   303774 27277512   89   653403  597418 236106    162 1224.10
1797.91/1798.49	c Resources Exceeded
1797.91/1798.49	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.91/1798.49	c   17   258396  70634   403450   378523 37753274 310855    143 1798.01
1797.91/1798.49	s UNKNOWN
1797.91/1798.49	c Total time: 1798.01 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-2684879-1278435381/watcher-2684879-1278435381 -o /tmp/evaluation-result-2684879-1278435381/solver-2684879-1278435381 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2684879-1278435381.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: 2.18 1.62 1.41 3/106 23905
/proc/meminfo: memFree=1790300/2059040 swapFree=4192956/4192956
[pid=23905] ppid=23903 vsize=15084 CPUtime=0
/proc/23905/stat : 23905 (bsolo_pb10) R 23903 23905 23691 0 -1 4202496 322 0 0 0 0 0 0 0 20 0 1 0 11746570 15446016 241 1992294400 134512640 137138936 4291386656 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23905/statm: 3771 241 171 642 0 2054 0

[startup+0.0513379 s]
/proc/loadavg: 2.18 1.62 1.41 3/106 23905
/proc/meminfo: memFree=1790300/2059040 swapFree=4192956/4192956
[pid=23905] ppid=23903 vsize=17076 CPUtime=0.04
/proc/23905/stat : 23905 (bsolo_pb10) R 23903 23905 23691 0 -1 4202496 870 0 0 0 4 0 0 0 20 0 1 0 11746570 17485824 789 1992294400 134512640 137138936 4291386656 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23905/statm: 4269 789 242 642 0 2552 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17076

[startup+0.100341 s]
/proc/loadavg: 2.18 1.62 1.41 3/106 23905
/proc/meminfo: memFree=1790300/2059040 swapFree=4192956/4192956
[pid=23905] ppid=23903 vsize=18604 CPUtime=0.09
/proc/23905/stat : 23905 (bsolo_pb10) R 23903 23905 23691 0 -1 4202496 1344 0 0 0 9 0 0 0 20 0 1 0 11746570 19050496 1263 1992294400 134512640 137138936 4291386656 18446744073709551615 134531537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23905/statm: 4651 1263 322 642 0 2934 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18604

[startup+0.300362 s]
/proc/loadavg: 2.18 1.62 1.41 3/106 23905
/proc/meminfo: memFree=1790300/2059040 swapFree=4192956/4192956
[pid=23905] ppid=23903 vsize=23712 CPUtime=0.28
/proc/23905/stat : 23905 (bsolo_pb10) R 23903 23905 23691 0 -1 4202496 2953 0 0 0 28 0 0 0 21 0 1 0 11746570 24281088 2832 1992294400 134512640 137138936 4291386656 18446744073709551615 136658972 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23905/statm: 5928 2832 641 642 0 4211 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 23712

[startup+0.700403 s]
/proc/loadavg: 2.18 1.62 1.41 3/106 23905
/proc/meminfo: memFree=1790300/2059040 swapFree=4192956/4192956
[pid=23905] ppid=23903 vsize=30928 CPUtime=0.69
/proc/23905/stat : 23905 (bsolo_pb10) R 23903 23905 23691 0 -1 4202496 5277 0 0 0 67 2 0 0 22 0 1 0 11746570 31670272 5156 1992294400 134512640 137138936 4291386656 18446744073709551615 136525315 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23905/statm: 7732 5156 1138 642 0 6015 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30928

[startup+1.50049 s]
/proc/loadavg: 2.18 1.62 1.41 2/107 23906
/proc/meminfo: memFree=1762020/2059040 swapFree=4192956/4192956
[pid=23905] ppid=23903 vsize=39460 CPUtime=1.49
/proc/23905/stat : 23905 (bsolo_pb10) R 23903 23905 23691 0 -1 4202496 8492 0 0 0 146 3 0 0 25 0 1 0 11746570 40407040 7298 1992294400 134512640 137138936 4291386656 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23905/statm: 9865 7298 184 642 0 9221 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39460

[startup+3.10065 s]
/proc/loadavg: 2.18 1.62 1.41 2/107 23906
/proc/meminfo: memFree=1761400/2059040 swapFree=4192956/4192956
[pid=23905] ppid=23903 vsize=39644 CPUtime=3.09
/proc/23905/stat : 23905 (bsolo_pb10) R 23903 23905 23691 0 -1 4202496 9047 0 0 0 306 3 0 0 25 0 1 0 11746570 40595456 7333 1992294400 134512640 137138936 4291386656 18446744073709551615 136297633 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23905/statm: 9911 7333 184 642 0 9267 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39644

[startup+6.30098 s]
/proc/loadavg: 2.08 1.60 1.41 2/107 23906
/proc/meminfo: memFree=1761152/2059040 swapFree=4192956/4192956
[pid=23905] ppid=23903 vsize=39644 CPUtime=6.28
/proc/23905/stat : 23905 (bsolo_pb10) R 23903 23905 23691 0 -1 4202496 9048 0 0 0 625 3 0 0 25 0 1 0 11746570 40595456 7334 1992294400 134512640 137138936 4291386656 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23905/statm: 9911 7334 184 642 0 9267 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 39644

[startup+12.7008 s]
/proc/loadavg: 2.08 1.61 1.41 2/107 23906
/proc/meminfo: memFree=1761028/2059040 swapFree=4192956/4192956
[pid=23905] ppid=23903 vsize=39644 CPUtime=12.68
/proc/23905/stat : 23905 (bsolo_pb10) R 23903 23905 23691 0 -1 4202496 9048 0 0 0 1264 4 0 0 25 0 1 0 11746570 40595456 7334 1992294400 134512640 137138936 4291386656 18446744073709551615 134566350 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23905/statm: 9911 7334 184 642 0 9267 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 39644

[startup+25.502 s]
/proc/loadavg: 1.97 1.61 1.41 2/107 23908
/proc/meminfo: memFree=1761028/2059040 swapFree=4192956/4192956
[pid=23905] ppid=23903 vsize=39644 CPUtime=25.48
/proc/23905/stat : 23905 (bsolo_pb10) R 23903 23905 23691 0 -1 4202496 9052 0 0 0 2542 6 0 0 25 0 1 0 11746570 40595456 7338 1992294400 134512640 137138936 4291386656 18446744073709551615 134543247 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23905/statm: 9911 7338 184 642 0 9267 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 39644

[startup+51.1016 s]
/proc/loadavg: 1.64 1.56 1.40 2/107 23908
/proc/meminfo: memFree=1760904/2059040 swapFree=4192956/4192956
[pid=23905] ppid=23903 vsize=39960 CPUtime=51.07
/proc/23905/stat : 23905 (bsolo_pb10) R 23903 23905 23691 0 -1 4202496 9162 0 0 0 5098 9 0 0 25 0 1 0 11746570 40919040 7419 1992294400 134512640 137138936 4291386656 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23905/statm: 9990 7419 184 642 0 9346 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 39960

[startup+102.309 s]
/proc/loadavg: 1.28 1.47 1.38 2/107 23910
/proc/meminfo: memFree=1760284/2059040 swapFree=4192956/4192956
[pid=23905] ppid=23903 vsize=40296 CPUtime=102.26
/proc/23905/stat : 23905 (bsolo_pb10) R 23903 23905 23691 0 -1 4202496 9804 0 0 0 10204 22 0 0 25 0 1 0 11746570 41263104 7522 1992294400 134512640 137138936 4291386656 18446744073709551615 134578331 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23905/statm: 10074 7522 192 642 0 9430 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 40296

[startup+162.301 s]
/proc/loadavg: 1.10 1.38 1.35 2/107 23910
/proc/meminfo: memFree=1739824/2059040 swapFree=4192956/4192956
[pid=23905] ppid=23903 vsize=61264 CPUtime=162.24
/proc/23905/stat : 23905 (bsolo_pb10) R 23903 23905 23691 0 -1 4202496 15166 0 0 0 16191 33 0 0 25 0 1 0 11746570 62734336 12764 1992294400 134512640 137138936 4291386656 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23905/statm: 15316 12764 192 642 0 14672 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 61264

[startup+222.301 s]
/proc/loadavg: 1.03 1.31 1.33 2/107 23912
/proc/meminfo: memFree=1716388/2059040 swapFree=4192956/4192956
[pid=23905] ppid=23903 vsize=84276 CPUtime=222.22
/proc/23905/stat : 23905 (bsolo_pb10) R 23903 23905 23691 0 -1 4202496 20920 0 0 0 22182 40 0 0 25 0 1 0 11746570 86298624 18518 1992294400 134512640 137138936 4291386656 18446744073709551615 134606982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23905/statm: 21069 18518 192 642 0 20425 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 84276

[startup+282.302 s]
/proc/loadavg: 1.01 1.25 1.30 2/107 23923
/proc/meminfo: memFree=1695624/2059040 swapFree=4192956/4192956
[pid=23905] ppid=23903 vsize=103920 CPUtime=282.2
/proc/23905/stat : 23905 (bsolo_pb10) R 23903 23905 23691 0 -1 4202496 25831 0 0 0 28169 51 0 0 25 0 1 0 11746570 106414080 23429 1992294400 134512640 137138936 4291386656 18446744073709551615 134575759 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23905/statm: 25980 23429 192 642 0 25336 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 103920

[startup+342.302 s]
/proc/loadavg: 1.00 1.20 1.28 2/107 23925
/proc/meminfo: memFree=1676668/2059040 swapFree=4192956/4192956
[pid=23905] ppid=23903 vsize=123152 CPUtime=342.18
/proc/23905/stat : 23905 (bsolo_pb10) R 23903 23905 23691 0 -1 4202496 30639 0 0 0 34158 60 0 0 25 0 1 0 11746570 126107648 28237 1992294400 134512640 137138936 4291386656 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23905/statm: 30788 28237 192 642 0 30144 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 123152

[startup+402.301 s]
/proc/loadavg: 1.00 1.16 1.26 2/107 23927
/proc/meminfo: memFree=1658936/2059040 swapFree=4192956/4192956
[pid=23905] ppid=23903 vsize=140876 CPUtime=402.17
/proc/23905/stat : 23905 (bsolo_pb10) R 23903 23905 23691 0 -1 4202496 35073 0 0 0 40150 67 0 0 25 0 1 0 11746570 144257024 32671 1992294400 134512640 137138936 4291386656 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23905/statm: 35219 32671 192 642 0 34575 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 140876

[startup+462.3 s]
/proc/loadavg: 1.00 1.13 1.24 2/107 23927
/proc/meminfo: memFree=1641700/2059040 swapFree=4192956/4192956
[pid=23905] ppid=23903 vsize=157644 CPUtime=462.15
/proc/23905/stat : 23905 (bsolo_pb10) R 23903 23905 23691 0 -1 4202496 39261 0 0 0 46139 76 0 0 25 0 1 0 11746570 161427456 36859 1992294400 134512640 137138936 4291386656 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23905/statm: 39411 36859 192 642 0 38767 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 157644

[startup+522.3 s]
/proc/loadavg: 1.05 1.12 1.23 2/107 23929
/proc/meminfo: memFree=1620868/2059040 swapFree=4192956/4192956
[pid=23905] ppid=23903 vsize=178804 CPUtime=522.14
/proc/23905/stat : 23905 (bsolo_pb10) R 23903 23905 23691 0 -1 4202496 44552 0 0 0 52130 84 0 0 25 0 1 0 11746570 183095296 42150 1992294400 134512640 137138936 4291386656 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23905/statm: 44701 42150 192 642 0 44057 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 178804

[startup+582.301 s]
/proc/loadavg: 1.02 1.10 1.21 2/107 23931
/proc/meminfo: memFree=1603756/2059040 swapFree=4192956/4192956
[pid=23905] ppid=23903 vsize=195472 CPUtime=582.12
/proc/23905/stat : 23905 (bsolo_pb10) R 23903 23905 23691 0 -1 4202496 48719 0 0 0 58121 91 0 0 25 0 1 0 11746570 200163328 46317 1992294400 134512640 137138936 4291386656 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23905/statm: 48868 46317 192 642 0 48224 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 195472

[startup+642.301 s]
/proc/loadavg: 1.00 1.08 1.19 2/107 23933
/proc/meminfo: memFree=1591604/2059040 swapFree=4192956/4192956
[pid=23905] ppid=23903 vsize=207612 CPUtime=642.11
/proc/23905/stat : 23905 (bsolo_pb10) R 23903 23905 23691 0 -1 4202496 51754 0 0 0 64113 98 0 0 25 0 1 0 11746570 212594688 49352 1992294400 134512640 137138936 4291386656 18446744073709551615 134575200 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23905/statm: 51903 49352 192 642 0 51259 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 207612

[startup+702.301 s]

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

/proc/meminfo: memFree=1451112/2059040 swapFree=4192956/4192956
[pid=23905] ppid=23903 vsize=348132 CPUtime=1062
/proc/23905/stat : 23905 (bsolo_pb10) R 23903 23905 23691 0 -1 4202496 86886 0 0 0 106055 145 0 0 25 0 1 0 11746570 356487168 84484 1992294400 134512640 137138936 4291386656 18446744073709551615 134607612 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23905/statm: 87033 84484 192 642 0 86389 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 348132

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 23945
/proc/meminfo: memFree=1429288/2059040 swapFree=4192956/4192956
[pid=23905] ppid=23903 vsize=369548 CPUtime=1121.98
/proc/23905/stat : 23905 (bsolo_pb10) R 23903 23905 23691 0 -1 4202496 92240 0 0 0 112047 151 0 0 25 0 1 0 11746570 378417152 89838 1992294400 134512640 137138936 4291386656 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23905/statm: 92387 89838 192 642 0 91743 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 369548

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 23947
/proc/meminfo: memFree=1413044/2059040 swapFree=4192956/4192956
[pid=23905] ppid=23903 vsize=386160 CPUtime=1181.97
/proc/23905/stat : 23905 (bsolo_pb10) R 23903 23905 23691 0 -1 4202496 96393 0 0 0 118041 156 0 0 25 0 1 0 11746570 395427840 93991 1992294400 134512640 137138936 4291386656 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23905/statm: 96540 93991 192 642 0 95896 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 386160

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 23949
/proc/meminfo: memFree=1395064/2059040 swapFree=4192956/4192956
[pid=23905] ppid=23903 vsize=403980 CPUtime=1241.95
/proc/23905/stat : 23905 (bsolo_pb10) R 23903 23905 23691 0 -1 4202496 100848 0 0 0 124035 160 0 0 25 0 1 0 11746570 413675520 98446 1992294400 134512640 137138936 4291386656 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23905/statm: 100995 98446 192 642 0 100351 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 403980

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 23951
/proc/meminfo: memFree=1380928/2059040 swapFree=4192956/4192956
[pid=23905] ppid=23903 vsize=417712 CPUtime=1301.95
/proc/23905/stat : 23905 (bsolo_pb10) R 23903 23905 23691 0 -1 4202496 104281 0 0 0 130029 166 0 0 25 0 1 0 11746570 427737088 101879 1992294400 134512640 137138936 4291386656 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23905/statm: 104428 101879 192 642 0 103784 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 417712

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 23951
/proc/meminfo: memFree=1366172/2059040 swapFree=4192956/4192956
[pid=23905] ppid=23903 vsize=432756 CPUtime=1361.93
/proc/23905/stat : 23905 (bsolo_pb10) R 23903 23905 23691 0 -1 4202496 108042 0 0 0 136022 171 0 0 25 0 1 0 11746570 443142144 105640 1992294400 134512640 137138936 4291386656 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23905/statm: 108189 105640 192 642 0 107545 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 432756

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 23953
/proc/meminfo: memFree=1350176/2059040 swapFree=4192956/4192956
[pid=23905] ppid=23903 vsize=448332 CPUtime=1421.91
/proc/23905/stat : 23905 (bsolo_pb10) R 23903 23905 23691 0 -1 4202496 111936 0 0 0 142014 177 0 0 25 0 1 0 11746570 459091968 109534 1992294400 134512640 137138936 4291386656 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23905/statm: 112083 109534 192 642 0 111439 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 448332

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 23955
/proc/meminfo: memFree=1331328/2059040 swapFree=4192956/4192956
[pid=23905] ppid=23903 vsize=467124 CPUtime=1481.89
/proc/23905/stat : 23905 (bsolo_pb10) R 23903 23905 23691 0 -1 4202496 116634 0 0 0 148007 182 0 0 25 0 1 0 11746570 478334976 114232 1992294400 134512640 137138936 4291386656 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23905/statm: 116781 114232 192 642 0 116137 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 467124

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 23959
/proc/meminfo: memFree=1314340/2059040 swapFree=4192956/4192956
[pid=23905] ppid=23903 vsize=482056 CPUtime=1541.87
/proc/23905/stat : 23905 (bsolo_pb10) R 23903 23905 23691 0 -1 4202496 120367 0 0 0 154002 185 0 0 25 0 1 0 11746570 493625344 117965 1992294400 134512640 137138936 4291386656 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23905/statm: 120514 117965 192 642 0 119870 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 482056

[startup+1602.3 s]
/proc/loadavg: 1.06 1.03 1.06 2/107 23962
/proc/meminfo: memFree=1286860/2059040 swapFree=4192956/4192956
[pid=23905] ppid=23903 vsize=500384 CPUtime=1601.86
/proc/23905/stat : 23905 (bsolo_pb10) R 23903 23905 23691 0 -1 4202496 124949 0 0 0 159997 189 0 0 25 0 1 0 11746570 512393216 122547 1992294400 134512640 137138936 4291386656 18446744073709551615 134542439 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23905/statm: 125096 122547 192 642 0 124452 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 500384

[startup+1662.3 s]
/proc/loadavg: 1.02 1.02 1.05 2/107 23962
/proc/meminfo: memFree=1270864/2059040 swapFree=4192956/4192956
[pid=23905] ppid=23903 vsize=516072 CPUtime=1661.84
/proc/23905/stat : 23905 (bsolo_pb10) R 23903 23905 23691 0 -1 4202496 128871 0 0 0 165991 193 0 0 25 0 1 0 11746570 528457728 126469 1992294400 134512640 137138936 4291386656 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23905/statm: 129018 126469 192 642 0 128374 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 516072

[startup+1722.3 s]
/proc/loadavg: 1.01 1.01 1.05 2/107 23964
/proc/meminfo: memFree=1259084/2059040 swapFree=4192956/4192956
[pid=23905] ppid=23903 vsize=527768 CPUtime=1721.83
/proc/23905/stat : 23905 (bsolo_pb10) R 23903 23905 23691 0 -1 4202496 131795 0 0 0 171986 197 0 0 25 0 1 0 11746570 540434432 129393 1992294400 134512640 137138936 4291386656 18446744073709551615 134543407 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23905/statm: 131942 129393 192 642 0 131298 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 527768

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.04 2/107 23966
/proc/meminfo: memFree=1247304/2059040 swapFree=4192956/4192956
[pid=23905] ppid=23903 vsize=539800 CPUtime=1781.82
/proc/23905/stat : 23905 (bsolo_pb10) R 23903 23905 23691 0 -1 4202496 134803 0 0 0 177981 201 0 0 25 0 1 0 11746570 552755200 132401 1992294400 134512640 137138936 4291386656 18446744073709551615 134551918 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23905/statm: 134950 132401 192 642 0 134306 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 539800

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.01 1.04 2/107 23966
/proc/meminfo: memFree=1245692/2059040 swapFree=4192956/4192956
[pid=23905] ppid=23903 vsize=541088 CPUtime=1791.41
/proc/23905/stat : 23905 (bsolo_pb10) R 23903 23905 23691 0 -1 4202496 135125 0 0 0 178940 201 0 0 25 0 1 0 11746570 554074112 132723 1992294400 134512640 137138936 4291386656 18446744073709551615 136521011 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23905/statm: 135272 132723 192 642 0 134628 0
Current children cumulated CPU time (s) 1791.41
Current children cumulated vsize (KiB) 541088

[startup+1795.1 s]
/proc/loadavg: 1.00 1.01 1.04 2/107 23966
/proc/meminfo: memFree=1245072/2059040 swapFree=4192956/4192956
[pid=23905] ppid=23903 vsize=541736 CPUtime=1794.62
/proc/23905/stat : 23905 (bsolo_pb10) R 23903 23905 23691 0 -1 4202496 135287 0 0 0 179260 202 0 0 25 0 1 0 11746570 554737664 132885 1992294400 134512640 137138936 4291386656 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23905/statm: 135434 132885 192 642 0 134790 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (KiB) 541736

[startup+1796.7 s]
/proc/loadavg: 1.00 1.01 1.04 2/107 23966
/proc/meminfo: memFree=1244700/2059040 swapFree=4192956/4192956
[pid=23905] ppid=23903 vsize=542408 CPUtime=1796.21
/proc/23905/stat : 23905 (bsolo_pb10) R 23903 23905 23691 0 -1 4202496 135455 0 0 0 179419 202 0 0 25 0 1 0 11746570 555425792 133053 1992294400 134512640 137138936 4291386656 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23905/statm: 135602 133053 192 642 0 134958 0
Current children cumulated CPU time (s) 1796.21
Current children cumulated vsize (KiB) 542408

[startup+1797.5 s]
/proc/loadavg: 1.00 1.01 1.04 2/107 23966
/proc/meminfo: memFree=1244452/2059040 swapFree=4192956/4192956
[pid=23905] ppid=23903 vsize=542408 CPUtime=1797.01
/proc/23905/stat : 23905 (bsolo_pb10) R 23903 23905 23691 0 -1 4202496 135455 0 0 0 179499 202 0 0 25 0 1 0 11746570 555425792 133053 1992294400 134512640 137138936 4291386656 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23905/statm: 135602 133053 192 642 0 134958 0
Current children cumulated CPU time (s) 1797.01
Current children cumulated vsize (KiB) 542408

[startup+1798.3 s]
/proc/loadavg: 1.00 1.01 1.04 2/107 23966
/proc/meminfo: memFree=1244452/2059040 swapFree=4192956/4192956
[pid=23905] ppid=23903 vsize=542408 CPUtime=1797.81
/proc/23905/stat : 23905 (bsolo_pb10) R 23903 23905 23691 0 -1 4202496 135455 0 0 0 179579 202 0 0 25 0 1 0 11746570 555425792 133053 1992294400 134512640 137138936 4291386656 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23905/statm: 135602 133053 192 642 0 134958 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 542408

[startup+1798.51 s]
/proc/loadavg: 1.00 1.01 1.04 2/107 23966
/proc/meminfo: memFree=1244452/2059040 swapFree=4192956/4192956
[pid=23905] ppid=23903 vsize=0 CPUtime=1798.02
/proc/23905/stat : 23905 (bsolo_pb10) R 23903 23905 23691 0 -1 4202500 135461 0 0 0 179598 204 0 0 25 0 1 0 11746570 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/23905/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.02
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.54
CPU time (s): 1798.06
CPU user time (s): 1795.98
CPU system time (s): 2.07568
CPU usage (%): 99.9732
Max. virtual memory (cumulated for all children) (KiB): 542408

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

runsolver used 3.01554 second user time and 8.45271 second system time

The end

Launcher Data 

Begin job on node083 at 2010-07-06 18:56:21
IDJOB=2684879
IDBENCH=73860
IDSOLVER=1162
FILE ID=node083/2684879-1278435381
PBS_JOBID= 11233483
Free space on /tmp= 62536 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12037_7-sat.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2684879-1278435381/watcher-2684879-1278435381 -o /tmp/evaluation-result-2684879-1278435381/solver-2684879-1278435381 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2684879-1278435381.opb

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

MD5SUM BENCH= c76ba3fc1d0a0f3a1a96791ffe6c4cf4
RANDOM SEED=864438337

node083.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.249
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.249
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	: 5999.80
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1791492 kB
Buffers:         16368 kB
Cached:         115760 kB
SwapCached:          0 kB
Active:          68468 kB
Inactive:       123824 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1791492 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            8276 kB
Writeback:           0 kB
AnonPages:       60200 kB
Mapped:          14688 kB
Slab:            53276 kB
PageTables:       4196 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182508 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2684879-1278435381.opb

Free space on /tmp at the end= 62532 MiB
End job on node083 at 2010-07-06 19:26:21