Trace number 3290991

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
CryptoMiniSat Strange-Night2-st? (TO) 1300.07 1300.04

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E00X23.cnf
MD5SUM9cec6483d4ca03e8555377ba059b61ae
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables15364
Number of clauses2133873
Sum of the clauses size18060684
Maximum clause length91
Minimum clause length1
Number of clauses of size 116
Number of clauses of size 240913
Number of clauses of size 337518
Number of clauses of size 422333
Number of clauses of size 5147683
Number of clauses of size over 51885410

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3290991-1303783400.cnf'
0.00/0.00	c -- header says num vars:          15364
0.00/0.00	c -- header says num clauses:     2133873
1.00/1.06	c -- clauses added:            0 learnts,      2133873 normals,            0 xors
1.00/1.06	c -- vars added      15364
1.00/1.06	c Parsing time:  0.96 s
1.00/1.06	c  N st     0         0     15364   2092882     40002         0  18028837         0   no data   no data
1.39/1.42	c asymm  cl-useful: 0/5431/2092294 lits-rem:0 time: 0.29
7.09/7.10	c Flit:    84 Blit:      0 bXBeca:    0 bXProp:   92 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T:  5.66
9.09/9.16	c Replacing       92 vars Replaced  1174400 lits Time:     2.04 s 
9.80/9.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.80/9.90	c bin-w-bin subsume rem          404 bins  time:  0.00 s
14.39/14.46	c subs with bin:    20077  lits-rem:        20  v-fix:    0  time:  4.56 s
14.39/14.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3818 time:  0.02 s
14.49/14.51	c Removed useless bin:       0  fixed:     0  props:   4.22M  time:  0.03 s
228.99/229.01	c lits-rem:         0  cl-subs:     1287  v-elim:   1150  v-fix:    0  time: 214.47 s
228.99/229.03	c Finding binary XORs  T:     0.02 s  found:       0
229.09/229.12	c calculated reachability. Time: 0.00
229.09/229.17	c Calc default polars -  time:   0.05 s pos:     466 undec:    1833 neg:   13065
229.09/229.17	c =========================================================================================
229.09/229.17	c types(t): F = full restart, N = normal restart
229.09/229.17	c types(t): S = simplification begin/end, E = solution found
229.09/229.17	c restart types(rt): st = static, dy = dynamic
229.09/229.17	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
229.09/229.17	c  B st     0         0     13531   2050179     35387         0  17652550         0   no data   no data
229.99/230.07	c  N dy    19      4090     13526   2050179     35561      3838  17652550    152995      8.59      9.33
230.91/230.97	c  N dy    43      8135     13522   2050179     35755      7654  17652550    305489      8.89      9.46
231.80/231.87	c  N dy    66     12142     13521   2050179     35843     11537  17652548    444975      8.97      9.69
232.60/232.69	c  N dy    93     16242     13518   2050179     35935     15499  17652548    606614      9.13     10.73
233.70/233.71	c  N dy   119     20372     13515   2050179     36050      9918  17652548    202736      9.15      9.66
233.90/233.92	c Finding binary XORs  T:     0.02 s  found:       1
234.80/234.80	c  N dy   146     24424     13510   2049294     36035     13682  17648188    387076      9.24      9.97
235.00/235.04	c  F st   150     25000     13510   2049294     36047     14239  17648188    408959      9.28   no data
235.10/235.18	c Replacing        1 vars Replaced        8 lits Time:     0.07 s 
236.70/236.74	c  N dy   156     30001     13508   2049291     36118     18914  17648153    634824      9.28   no data
236.70/236.74	c  S st   156     30001     13508   2049291     36118     18914  17648153    634824      9.28   no data
238.20/238.22	c  S st   156     30504     13505   2049291     36137     19394  17648153    645760      9.28   no data
238.20/238.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
245.39/245.41	c Flit:    31 Blit:      3 bXBeca:    0 bXProp:    5 Bins: 683104 BRemL: 146110 BRemN:      1 P: 200.0M T:  7.13
245.59/245.64	c Replacing        5 vars Replaced     9445 lits Time:     0.22 s 
246.09/246.18	c blocked clauses removed:        0 vars:      0 tried:       13465 T: 0.01 s
246.19/246.24	c bin-w-bin subsume rem          155 bins  time:  0.06 s
253.69/253.77	c subs with bin:    32151  lits-rem:     28303  v-fix:    0  time:  7.53 s
253.79/253.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1066 time:  0.06 s
253.79/253.86	c Removed useless bin:       6  fixed:     0  props:   1.51M  time:  0.02 s
446.90/446.92	c lits-rem:         0  cl-subs:    29069  v-elim:    151  v-fix:    0  time: 193.02 s
447.30/447.36	c subs with bin:      387  lits-rem:     10265  v-fix:    0  time:  0.41 s
646.71/646.74	c lits-rem:        36  cl-subs:     1220  v-elim:      0  v-fix:    0  time: 199.00 s
647.01/647.04	c asymm  cl-useful: 0/1091/1986745 lits-rem:0 time: 0.29
647.11/647.13	c calculated reachability. Time: 0.01
647.11/647.13	c  N dy   156     30504     13314   1986745    538414     11168  17175840   1322946      9.28   no data
647.11/647.16	c Finding binary XORs  T:     0.03 s  found:       0
648.81/648.84	c  N dy   176     34540     13310   1986745    538476     15083  17175838   1479138      9.24      9.86
650.41/650.42	c  N dy   202     38703     13225   1986745    538534     19146  17175838   1681822      9.26      9.78
651.80/651.87	c  N dy   222     42751     13223   1986745    538563     11920  17175838   1170454      9.27      9.86
652.70/652.75	c  S st   245     45756     13221   1986745    538576     14890  17175838   1308436      9.33   no data
653.71/653.75	c  S st   245     46259     13221   1986745    538581     15386  17175838   1323972      9.33   no data
653.81/653.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
661.01/661.09	c Flit:    20 Blit:      7 bXBeca:    0 bXProp:    7 Bins:  56537 BRemL: 238658 BRemN:      1 P: 200.0M T:  7.27
663.10/663.19	c Replacing        7 vars Replaced    48723 lits Time:     0.89 s 
663.70/663.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
663.70/663.74	c bin-w-bin subsume rem          792 bins  time:  0.04 s
672.30/672.33	c subs with bin:    31380  lits-rem:     17844  v-fix:    0  time:  8.59 s
672.30/672.37	c Subs w/ non-existent bins:     24 l-rem:      0 v-fix:     0 done:    113 time:  0.04 s
672.40/672.42	c Removed useless bin:       3  fixed:     0  props:   1.93M  time:  0.02 s
817.11/817.16	c lits-rem:         0  cl-subs:    22814  v-elim:     98  v-fix:    0  time: 144.71 s
817.51/817.59	c subs with bin:      328  lits-rem:      4809  v-fix:    0  time:  0.41 s
960.32/960.38	c lits-rem:     17432  cl-subs:      518  v-elim:      0  v-fix:    0  time: 142.43 s
961.11/961.17	c vivif2 --  cl tried  1179418 cl shrink     3697 lits rem       4028 time: 0.79
961.21/961.20	c vivif2 --  cl tried    12136 cl shrink     2068 lits rem       8134 time: 0.03
961.32/961.38	c asymm  cl-useful: 0/630/1853987 lits-rem:0 time: 0.18
961.42/961.47	c calculated reachability. Time: 0.01
961.42/961.47	c  N dy   245     46259     13037   1853987    333326     12093  16077241    813655      9.33   no data
961.51/961.50	c Finding binary XORs  T:     0.03 s  found:       0
962.81/962.81	c  N dy   267     50373     13035   1853987    333356     16158  16077241   1068132      9.32     10.13
963.91/963.98	c  N dy   296     54474     13033   1853987    333378     20200  16077241   1254745      9.46     14.77
965.11/965.19	c  N dy   325     58572     13031   1853987    333411     24236  16077241   1507374      9.52     14.99
966.41/966.47	c  N dy   345     62596     13029   1853987    333436     28217  16077240   1748871      9.52     10.05
967.61/967.62	c  N dy   373     66616     13002   1853987    333454     16996  16077240    912054      9.58     12.51
968.21/968.29	c  S st   395     69388     13002   1853987    333467     19741  16077240   1050245      9.64   no data
969.31/969.37	c  S st   395     69888     13000   1853987    333476     20230  16077240   1067051      9.64   no data
969.41/969.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
975.22/975.21	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:    1 Bins:  32349 BRemL: 213122 BRemN:      0 P: 200.0M T:  5.78
975.62/975.66	c Replacing        1 vars Replaced    15256 lits Time:     0.44 s 
976.12/976.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
976.12/976.14	c bin-w-bin subsume rem          363 bins  time:  0.01 s
986.02/986.01	c subs with bin:    31345  lits-rem:      1703  v-fix:    0  time:  9.88 s
986.02/986.04	c Subs w/ non-existent bins:      0 l-rem:      3 v-fix:     0 done:     80 time:  0.03 s
986.02/986.06	c Removed useless bin:       4  fixed:     0  props:   1.52M  time:  0.02 s
1118.22/1118.23	c lits-rem:         0  cl-subs:    29337  v-elim:     25  v-fix:    0  time: 132.15 s
1118.82/1118.80	c subs with bin:      219  lits-rem:      2849  v-fix:    0  time:  0.55 s
1249.82/1249.82	c lits-rem:        39  cl-subs:     1011  v-elim:      0  v-fix:    0  time: 130.68 s
1250.52/1250.58	c vivif2 --  cl tried  1137872 cl shrink     1645 lits rem       1648 time: 0.76
1250.63/1250.62	c vivif2 --  cl tried    18750 cl shrink     2053 lits rem      12015 time: 0.04
1250.82/1250.88	c asymm  cl-useful: 0/646/1789223 lits-rem:0 time: 0.26
1250.92/1250.97	c calculated reachability. Time: 0.01
1250.92/1250.97	c  N dy   395     69888     12972   1789223    145241     18735  15428873    616743      9.64   no data
1251.02/1251.00	c Finding binary XORs  T:     0.03 s  found:       0
1252.83/1252.80	c  N dy   418     74807     12967   1789223    145259     23586  15428873    996349      9.61     10.14
1253.93/1253.99	c  N dy   438     79637     12965   1789223    145276     28364  15428873   1209333      9.56     11.23
1255.52/1255.57	c  N dy   471     84873     12961   1789223    145302     33546  15428873   1487821      9.61     10.32
1256.42/1256.47	c  F st   490     87501     12957   1789223    145314     36132  15428873   1640084      9.62      8.17
1257.82/1257.82	c  N st   495     90803     12957   1789210    143107     20836  15428617    711544      9.62   no data
1259.32/1259.33	c  N dy   518     96649     12957   1789210    143121     26628  15428617   1017119      9.63     14.15
1260.92/1260.98	c  N dy   557    102838     12955   1789210    143142     32751  15428617   1321197      9.66     13.76
1261.53/1261.51	c  S st   568    104835     12955   1789210    143146     34733  15428617   1436238      9.67      9.48
1262.53/1262.51	c  S st   568    105336     12955   1789210    143152     35227  15428614   1449248      9.67   no data
1262.53/1262.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1268.42/1268.49	c Flit:     9 Blit:      3 bXBeca:    0 bXProp:    5 Bins:  63167 BRemL:  87587 BRemN:     24 P: 200.0M T:  5.92
1269.43/1269.49	c Replacing        5 vars Replaced    58757 lits Time:     1.00 s 
1269.92/1269.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1269.92/1269.95	c bin-w-bin subsume rem           59 bins  time:  0.01 s
1277.32/1277.39	c subs with bin:    25594  lits-rem:      3687  v-fix:    0  time:  7.43 s
1277.42/1277.42	c Subs w/ non-existent bins:      2 l-rem:      0 v-fix:     0 done:   2374 time:  0.03 s
1277.42/1277.43	c Removed useless bin:       6  fixed:     0  props:   1.19M  time:  0.01 s

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3290991-1303783400/watcher-3290991-1303783400 -o /tmp/evaluation-result-3290991-1303783400/solver-3290991-1303783400 -C 2400 -W 1300 -M 7680 ./strangenight2-st HOME/instance-3290991-1303783400.cnf 

running on 2 cores: 5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 4.17 4.04 3.65 4/189 7219
/proc/meminfo: memFree=20103248/32951124 swapFree=67111464/67111528
[pid=7219] ppid=7217 vsize=30520 CPUtime=0 cores=5,7
/proc/7219/stat : 7219 (strangenight2-s) R 7217 7219 6373 0 -1 4202496 987 0 0 0 0 0 0 0 22 0 1 0 489938444 31252480 926 33554432000 4194304 4627331 140737321543936 18446744073709551615 4507164 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7219/statm: 7630 927 321 106 0 2601 0

[startup+0.0153771 s]
/proc/loadavg: 4.17 4.04 3.65 4/189 7219
/proc/meminfo: memFree=20103248/32951124 swapFree=67111464/67111528
[pid=7219] ppid=7217 vsize=30796 CPUtime=0.01 cores=5,7
/proc/7219/stat : 7219 (strangenight2-s) R 7217 7219 6373 0 -1 4202496 1186 0 0 0 1 0 0 0 22 0 1 0 489938444 31535104 1125 33554432000 4194304 4627331 140737321543936 18446744073709551615 4507164 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7219/statm: 7699 1126 321 106 0 2670 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 30796

[startup+0.100364 s]
/proc/loadavg: 4.17 4.04 3.65 4/189 7219
/proc/meminfo: memFree=20103248/32951124 swapFree=67111464/67111528
[pid=7219] ppid=7217 vsize=32056 CPUtime=0.09 cores=5,7
/proc/7219/stat : 7219 (strangenight2-s) R 7217 7219 6373 0 -1 4202496 3177 0 0 0 9 0 0 0 22 0 1 0 489938444 32825344 3116 33554432000 4194304 4627331 140737321543936 18446744073709551615 4507122 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7219/statm: 8014 3117 322 106 0 2985 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32056

[startup+0.300326 s]
/proc/loadavg: 4.17 4.04 3.65 4/189 7219
/proc/meminfo: memFree=20103248/32951124 swapFree=67111464/67111528
[pid=7219] ppid=7217 vsize=84500 CPUtime=0.29 cores=5,7
/proc/7219/stat : 7219 (strangenight2-s) R 7217 7219 6373 0 -1 4202496 12206 0 0 0 27 2 0 0 23 0 1 0 489938444 86528000 11900 33554432000 4194304 4627331 140737321543936 18446744073709551615 4504699 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7219/statm: 21125 11901 324 106 0 16096 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84500

[startup+0.700268 s]
/proc/loadavg: 4.17 4.04 3.65 4/189 7219
/proc/meminfo: memFree=20103248/32951124 swapFree=67111464/67111528
[pid=7219] ppid=7217 vsize=245540 CPUtime=0.69 cores=5,7
/proc/7219/stat : 7219 (strangenight2-s) R 7217 7219 6373 0 -1 4202496 27926 0 0 0 62 7 0 0 25 0 1 0 489938444 251432960 27620 33554432000 4194304 4627331 140737321543936 18446744073709551615 4360952 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7219/statm: 61385 27621 324 106 0 56356 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 245540

[startup+1.50112 s]
/proc/loadavg: 4.17 4.04 3.65 5/190 7220
/proc/meminfo: memFree=19945760/32951124 swapFree=67111464/67111528
[pid=7219] ppid=7217 vsize=282908 CPUtime=1.49 cores=5,7
/proc/7219/stat : 7219 (strangenight2-s) R 7217 7219 6373 0 -1 4202496 44738 0 0 0 139 10 0 0 25 0 1 0 489938444 289697792 44432 33554432000 4194304 4627331 140737321543936 18446744073709551615 4229257 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7219/statm: 70727 44432 346 106 0 65698 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 282908

[startup+3.10084 s]
/proc/loadavg: 4.17 4.04 3.65 5/190 7220
/proc/meminfo: memFree=19912528/32951124 swapFree=67111464/67111528
[pid=7219] ppid=7217 vsize=297692 CPUtime=3.09 cores=5,7
/proc/7219/stat : 7219 (strangenight2-s) R 7217 7219 6373 0 -1 4202496 48409 0 0 0 299 10 0 0 25 0 1 0 489938444 304836608 48103 33554432000 4194304 4627331 140737321543936 18446744073709551615 4309113 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7219/statm: 74423 48103 346 106 0 69394 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 297692

[startup+6.30027 s]
/proc/loadavg: 4.23 4.06 3.66 5/190 7220
/proc/meminfo: memFree=19904072/32951124 swapFree=67111464/67111528
[pid=7219] ppid=7217 vsize=315564 CPUtime=6.29 cores=5,7
/proc/7219/stat : 7219 (strangenight2-s) R 7217 7219 6373 0 -1 4202496 52501 0 0 0 618 11 0 0 25 0 1 0 489938444 323137536 52195 33554432000 4194304 4627331 140737321543936 18446744073709551615 4309113 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7219/statm: 78891 52195 346 106 0 73862 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 315564

[startup+12.7011 s]
/proc/loadavg: 4.21 4.06 3.66 6/190 7220
/proc/meminfo: memFree=19500468/32951124 swapFree=67111464/67111528
[pid=7219] ppid=7217 vsize=725464 CPUtime=12.69 cores=5,7
/proc/7219/stat : 7219 (strangenight2-s) R 7217 7219 6373 0 -1 4202496 150560 0 0 0 1245 24 0 0 25 0 1 0 489938444 742875136 150254 33554432000 4194304 4627331 140737321543936 18446744073709551615 4420179 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7219/statm: 181366 150254 358 106 0 176337 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 725464

[startup+25.5009 s]
/proc/loadavg: 4.17 4.05 3.67 5/190 7221
/proc/meminfo: memFree=19462344/32951124 swapFree=67111464/67111528
[pid=7219] ppid=7217 vsize=781828 CPUtime=25.49 cores=5,7
/proc/7219/stat : 7219 (strangenight2-s) R 7217 7219 6373 0 -1 4202496 162804 0 0 0 2524 25 0 0 25 0 1 0 489938444 800591872 162498 33554432000 4194304 4627331 140737321543936 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7219/statm: 195457 162498 363 106 0 190428 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 781828

[startup+51.1004 s]
/proc/loadavg: 4.03 4.03 3.67 5/187 7245
/proc/meminfo: memFree=19504348/32951124 swapFree=67111464/67111528
[pid=7219] ppid=7217 vsize=781828 CPUtime=51.09 cores=5,7
/proc/7219/stat : 7219 (strangenight2-s) R 7217 7219 6373 0 -1 4202496 162804 0 0 0 5084 25 0 0 25 0 1 0 489938444 800591872 162498 33554432000 4194304 4627331 140737321543936 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7219/statm: 195457 162498 363 106 0 190428 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 781828

[startup+102.307 s]
/proc/loadavg: 4.01 4.03 3.68 5/190 7254
/proc/meminfo: memFree=18674780/32951124 swapFree=67111464/67111528
[pid=7219] ppid=7217 vsize=781828 CPUtime=102.3 cores=5,7
/proc/7219/stat : 7219 (strangenight2-s) R 7217 7219 6373 0 -1 4202496 162804 0 0 0 10205 25 0 0 25 0 1 0 489938444 800591872 162498 33554432000 4194304 4627331 140737321543936 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7219/statm: 195457 162498 363 106 0 190428 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 781828

[startup+162.301 s]
/proc/loadavg: 4.00 4.02 3.70 5/190 7255
/proc/meminfo: memFree=18682936/32951124 swapFree=67111464/67111528
[pid=7219] ppid=7217 vsize=781828 CPUtime=162.29 cores=5,7
/proc/7219/stat : 7219 (strangenight2-s) R 7217 7219 6373 0 -1 4202496 162804 0 0 0 16204 25 0 0 25 0 1 0 489938444 800591872 162498 33554432000 4194304 4627331 140737321543936 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7219/statm: 195457 162498 363 106 0 190428 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 781828

[startup+222.301 s]
/proc/loadavg: 3.97 4.00 3.71 5/190 7339
/proc/meminfo: memFree=19039176/32951124 swapFree=67111464/67111528
[pid=7219] ppid=7217 vsize=781828 CPUtime=222.29 cores=5,7
/proc/7219/stat : 7219 (strangenight2-s) R 7217 7219 6373 0 -1 4202496 162804 0 0 0 22204 25 0 0 25 0 1 0 489938444 800591872 162498 33554432000 4194304 4627331 140737321543936 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7219/statm: 195457 162498 363 106 0 190428 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 781828

[startup+282.301 s]
/proc/loadavg: 3.99 4.00 3.73 5/190 7340
/proc/meminfo: memFree=18958596/32951124 swapFree=67111464/67111528
[pid=7219] ppid=7217 vsize=853912 CPUtime=282.3 cores=5,7
/proc/7219/stat : 7219 (strangenight2-s) R 7217 7219 6373 0 -1 4202496 196105 0 0 0 28199 31 0 0 25 0 1 0 489938444 874405888 175915 33554432000 4194304 4627331 140737321543936 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7219/statm: 213478 175915 400 106 0 208449 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 853912

[startup+342.301 s]
/proc/loadavg: 3.99 4.00 3.74 5/190 7342
/proc/meminfo: memFree=18957268/32951124 swapFree=67111464/67111528
[pid=7219] ppid=7217 vsize=853912 CPUtime=342.3 cores=5,7
/proc/7219/stat : 7219 (strangenight2-s) R 7217 7219 6373 0 -1 4202496 196105 0 0 0 34199 31 0 0 25 0 1 0 489938444 874405888 175915 33554432000 4194304 4627331 140737321543936 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7219/statm: 213478 175915 400 106 0 208449 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 853912

[startup+402.3 s]
/proc/loadavg: 3.99 4.00 3.75 5/190 7344
/proc/meminfo: memFree=18948756/32951124 swapFree=67111464/67111528
[pid=7219] ppid=7217 vsize=853912 CPUtime=402.3 cores=5,7
/proc/7219/stat : 7219 (strangenight2-s) R 7217 7219 6373 0 -1 4202496 196105 0 0 0 40199 31 0 0 25 0 1 0 489938444 874405888 175915 33554432000 4194304 4627331 140737321543936 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7219/statm: 213478 175915 400 106 0 208449 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 853912

[startup+462.301 s]
/proc/loadavg: 3.99 4.00 3.76 5/190 7345
/proc/meminfo: memFree=18918432/32951124 swapFree=67111464/67111528
[pid=7219] ppid=7217 vsize=860328 CPUtime=462.3 cores=5,7
/proc/7219/stat : 7219 (strangenight2-s) R 7217 7219 6373 0 -1 4202496 222785 0 0 0 46196 34 0 0 25 0 1 0 489938444 880975872 177274 33554432000 4194304 4627331 140737321543936 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7219/statm: 215082 177274 379 106 0 210053 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 860328

[startup+522.3 s]
/proc/loadavg: 3.99 4.00 3.78 5/190 7347
/proc/meminfo: memFree=18905840/32951124 swapFree=67111464/67111528
[pid=7219] ppid=7217 vsize=860328 CPUtime=522.3 cores=5,7
/proc/7219/stat : 7219 (strangenight2-s) R 7217 7219 6373 0 -1 4202496 222785 0 0 0 52196 34 0 0 25 0 1 0 489938444 880975872 177274 33554432000 4194304 4627331 140737321543936 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7219/statm: 215082 177274 379 106 0 210053 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 860328

[startup+582.301 s]
/proc/loadavg: 3.99 4.00 3.79 5/190 7348
/proc/meminfo: memFree=18901284/32951124 swapFree=67111464/67111528
[pid=7219] ppid=7217 vsize=860328 CPUtime=582.3 cores=5,7
/proc/7219/stat : 7219 (strangenight2-s) R 7217 7219 6373 0 -1 4202496 222785 0 0 0 58196 34 0 0 25 0 1 0 489938444 880975872 177274 33554432000 4194304 4627331 140737321543936 18446744073709551615 4467742 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7219/statm: 215082 177274 379 106 0 210053 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 860328

[startup+642.301 s]
/proc/loadavg: 4.04 4.01 3.81 5/190 7350
/proc/meminfo: memFree=18881536/32951124 swapFree=67111464/67111528
[pid=7219] ppid=7217 vsize=860328 CPUtime=642.31 cores=5,7
/proc/7219/stat : 7219 (strangenight2-s) R 7217 7219 6373 0 -1 4202496 222785 0 0 0 64197 34 0 0 25 0 1 0 489938444 880975872 177274 33554432000 4194304 4627331 140737321543936 18446744073709551615 4467736 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7219/statm: 215082 177274 379 106 0 210053 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 860328

[startup+702.301 s]
/proc/loadavg: 3.78 3.96 3.80 3/179 7386
/proc/meminfo: memFree=19287328/32951124 swapFree=67111464/67111528
[pid=7219] ppid=7217 vsize=858188 CPUtime=702.31 cores=5,7
/proc/7219/stat : 7219 (strangenight2-s) R 7217 7219 6373 0 -1 4202496 240076 0 0 0 70194 37 0 0 25 0 1 0 489938444 878784512 177228 33554432000 4194304 4627331 140737321543936 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7219/statm: 214547 177228 374 106 0 209518 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 858188

[startup+762.307 s]
/proc/loadavg: 2.65 3.60 3.69 3/178 7387
/proc/meminfo: memFree=19288108/32951124 swapFree=67111464/67111528
[pid=7219] ppid=7217 vsize=858188 CPUtime=762.32 cores=5,7
/proc/7219/stat : 7219 (strangenight2-s) R 7217 7219 6373 0 -1 4202496 240076 0 0 0 76195 37 0 0 25 0 1 0 489938444 878784512 177228 33554432000 4194304 4627331 140737321543936 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7219/statm: 214547 177228 374 106 0 209518 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 858188

[startup+822.3 s]
/proc/loadavg: 2.24 3.30 3.58 3/178 7389
/proc/meminfo: memFree=19263792/32951124 swapFree=67111464/67111528
[pid=7219] ppid=7217 vsize=861004 CPUtime=822.31 cores=5,7
/proc/7219/stat : 7219 (strangenight2-s) R 7217 7219 6373 0 -1 4202496 262894 0 0 0 82191 40 0 0 25 0 1 0 489938444 881668096 177486 33554432000 4194304 4627331 140737321543936 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7219/statm: 215251 177486 374 106 0 210222 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 861004

[startup+882.301 s]
/proc/loadavg: 2.08 3.06 3.48 3/178 7390
/proc/meminfo: memFree=19263772/32951124 swapFree=67111464/67111528
[pid=7219] ppid=7217 vsize=861004 CPUtime=882.31 cores=5,7
/proc/7219/stat : 7219 (strangenight2-s) R 7217 7219 6373 0 -1 4202496 262894 0 0 0 88191 40 0 0 25 0 1 0 489938444 881668096 177486 33554432000 4194304 4627331 140737321543936 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7219/statm: 215251 177486 374 106 0 210222 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 861004

[startup+942.3 s]
/proc/loadavg: 2.03 2.87 3.38 3/178 7392
/proc/meminfo: memFree=19263876/32951124 swapFree=67111464/67111528
[pid=7219] ppid=7217 vsize=861004 CPUtime=942.32 cores=5,7
/proc/7219/stat : 7219 (strangenight2-s) R 7217 7219 6373 0 -1 4202496 262894 0 0 0 94192 40 0 0 25 0 1 0 489938444 881668096 177486 33554432000 4194304 4627331 140737321543936 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7219/statm: 215251 177486 374 106 0 210222 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 861004

[startup+1002.3 s]
/proc/loadavg: 2.01 2.71 3.29 3/178 7394
/proc/meminfo: memFree=19249724/32951124 swapFree=67111464/67111528
[pid=7219] ppid=7217 vsize=870428 CPUtime=1002.32 cores=5,7
/proc/7219/stat : 7219 (strangenight2-s) R 7217 7219 6373 0 -1 4202496 281498 0 0 0 100189 43 0 0 25 0 1 0 489938444 891318272 181033 33554432000 4194304 4627331 140737321543936 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7219/statm: 217607 181033 374 106 0 212578 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 870428

[startup+1062.3 s]
/proc/loadavg: 2.00 2.58 3.21 3/178 7395
/proc/meminfo: memFree=19249580/32951124 swapFree=67111464/67111528
[pid=7219] ppid=7217 vsize=870428 CPUtime=1062.32 cores=5,7
/proc/7219/stat : 7219 (strangenight2-s) R 7217 7219 6373 0 -1 4202496 281498 0 0 0 106189 43 0 0 25 0 1 0 489938444 891318272 181033 33554432000 4194304 4627331 140737321543936 18446744073709551615 4467742 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7219/statm: 217607 181033 374 106 0 212578 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 870428

[startup+1122.3 s]
/proc/loadavg: 2.00 2.47 3.13 3/178 7397
/proc/meminfo: memFree=19284156/32951124 swapFree=67111464/67111528
[pid=7219] ppid=7217 vsize=866768 CPUtime=1122.32 cores=5,7
/proc/7219/stat : 7219 (strangenight2-s) R 7217 7219 6373 0 -1 4202496 304171 0 0 0 112187 45 0 0 25 0 1 0 489938444 887570432 180015 33554432000 4194304 4627331 140737321543936 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7219/statm: 216692 180015 374 106 0 211663 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 866768

[startup+1182.3 s]
/proc/loadavg: 2.06 2.40 3.06 3/178 7398
/proc/meminfo: memFree=19260704/32951124 swapFree=67111464/67111528
[pid=7219] ppid=7217 vsize=866768 CPUtime=1182.32 cores=5,7
/proc/7219/stat : 7219 (strangenight2-s) R 7217 7219 6373 0 -1 4202496 304171 0 0 0 118187 45 0 0 25 0 1 0 489938444 887570432 180015 33554432000 4194304 4627331 140737321543936 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7219/statm: 216692 180015 374 106 0 211663 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 866768

[startup+1242.3 s]
/proc/loadavg: 2.02 2.32 2.99 3/178 7400
/proc/meminfo: memFree=19260448/32951124 swapFree=67111464/67111528
[pid=7219] ppid=7217 vsize=866768 CPUtime=1242.32 cores=5,7
/proc/7219/stat : 7219 (strangenight2-s) R 7217 7219 6373 0 -1 4202496 304171 0 0 0 124187 45 0 0 25 0 1 0 489938444 887570432 180015 33554432000 4194304 4627331 140737321543936 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7219/statm: 216692 180015 374 106 0 211663 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 866768



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 2.00 2.26 2.93 3/178 7402
/proc/meminfo: memFree=19238980/32951124 swapFree=67111464/67111528
[pid=7219] ppid=7217 vsize=881984 CPUtime=1300.02 cores=5,7
/proc/7219/stat : 7219 (strangenight2-s) R 7217 7219 6373 0 -1 4202496 324158 0 0 0 129955 47 0 0 25 0 1 0 489938444 903151616 185343 33554432000 4194304 4627331 140737321543936 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7219/statm: 220496 185343 374 106 0 215467 0
Current children cumulated CPU time (s) 1300.02
Current children cumulated vsize (KiB) 881984

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.04
CPU time (s): 1300.07
CPU user time (s): 1299.56
CPU system time (s): 0.513921
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 881984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.56
system time used= 0.513921
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 324158
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= 9
involuntary context switches= 3134

runsolver used 1.83872 second user time and 5.2512 second system time

The end

Launcher Data 

Begin job on node136 at 2011-04-26 04:03:25
IDJOB=3290991
IDBENCH=83463
IDSOLVER=1587
FILE ID=node136/3290991-1303783400
RUNJOBID= node136-1303782152-6394
PBS_JOBID= 13157229
Free space on /tmp= 72276 MiB

SOLVER NAME= CryptoMiniSat Strange-Night2-st
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E00X23.cnf
COMMAND LINE= ./strangenight2-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290991-1303783400/watcher-3290991-1303783400 -o /tmp/evaluation-result-3290991-1303783400/solver-3290991-1303783400 -C 2400 -W 1300 -M 7680  ./strangenight2-st HOME/instance-3290991-1303783400.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 9cec6483d4ca03e8555377ba059b61ae
RANDOM SEED=1053650067

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20103404 kB
Buffers:       1724828 kB
Cached:        9779388 kB
SwapCached:         60 kB
Active:        5537308 kB
Inactive:      6727572 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20103404 kB
SwapTotal:    67111528 kB
SwapFree:     67111464 kB
Dirty:          106560 kB
Writeback:           0 kB
AnonPages:      760484 kB
Mapped:          16228 kB
Slab:           516656 kB
PageTables:       6676 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1059456 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72236 MiB
End job on node136 at 2011-04-26 04:25:07