Trace number 3293476

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-Night-1-mtUNSAT 375.786 97.029

General information on the benchmark

NameSAT-Race-2010-CNF/hardware-verification/
manolios/c10idw_i.cnf
MD5SUMc139a321e75833c70af36726562b66de
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark23.2925
Satisfiable
(Un)Satisfiability was proved
Number of variables196306
Number of clauses582994
Sum of the clauses size1360318
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2388662
Number of clauses of size 3194331
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3293476-1304181701.cnf'
0.00/0.00	c -- header says num vars:         196306
0.00/0.00	c -- header says num clauses:      582994
0.75/0.27	c -- clauses added:            0 learnts,       582994 normals,            0 xors
0.75/0.27	c -- vars added     196306
0.75/0.27	c Parsing time:  0.87 s
0.75/0.27	c  N st     0         0    196306    194331    388662         0   1360317         0   no data   no data  --
2.35/0.65	c asymm  cl-useful: 0/21494/194330 lits-rem:0 time: 1.50
49.03/12.36	c Flit:   455 Blit:  12299 bXBeca:    0 bXProp: 16649 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 46.56
49.03/12.38	c Cleaning up after failed var search:     0.09 s 
49.43/12.43	c Replacing    16649 vars Replaced   266278 lits Time:     0.19 s 
49.85/12.52	c bin-w-bin subsume rem          797 bins  time:  0.10 s
49.85/12.60	c subs with bin:       19  lits-rem:        19  v-fix:    0  time:  0.28 s
54.24/13.66	c Subs w/ non-existent bins:      1 l-rem:      1 v-fix:     0 done: 128819 time:  4.25 s
55.01/13.84	c Removed useless bin:      78  fixed:     0  props:  20.01M  time:  0.71 s
57.42/14.44	c lits-rem:         0  cl-subs:      223  v-elim:  55261  v-fix:    0  time:  2.36 s
57.42/14.47	c Finding binary XORs  T:     0.12 s  found:     877
57.82/14.50	c Replacing      877 vars Replaced     8550 lits Time:     0.10 s 
58.22/14.62	c Finding non-binary XORs:     0.36 s (found:      35, avg size: 3.0)
58.22/14.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      2 locsubst:    10 time:   0.10
58.22/14.65	c Calc default polars -  time:   0.07 s pos:   32076 undec:   87167 neg:   77063
58.22/14.65	c =========================================================================================
58.22/14.65	c types(t): F = full restart, N = normal restart
58.22/14.65	c types(t): S = simplification begin/end, E = solution found
58.22/14.65	c restart types(rt): st = static, dy = dynamic
58.22/14.65	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
58.22/14.65	c  B st     0         0    109643    172906    198346         0   1005664         0   no data   no data  --
66.20/16.64	c  N dy    17      4685    109477    172906    198452      4411   1005664     67479      8.97      9.47  --
69.80/17.59	c  N dy    23      8836    109432    172906    199052      8386   1005664    115917      7.76      8.21  --
74.99/18.84	c  N dy    45     12941    109315    172906    199121     12320   1005664    168661      7.63      8.17  --
82.18/20.67	c  N dy    79     17452    109315    172906    199141     16682   1005664    238810      8.19      8.78  --
86.98/21.82	c  N dy   102     21456    109309    172906    199235     10983   1005664     90296      8.32      8.78  --
91.77/23.07	c  F st   131     25002    109228    172906    199537     14412   1005664    151262      8.60   no data  --
92.17/23.11	c Replacing        5 vars Replaced       46 lits Time:     0.12 s 
100.95/25.32	c  N st   133     25629    109223    171721    198842     14996    999478    164489      8.60   no data  --
103.75/26.05	c  N dy   137     30000    109223    171721    198844     19285    999478    336001      8.60   no data  --
103.75/26.05	c  S st   137     30000    109223    171721    198844     19285    999478    336001      8.60   no data  --
104.96/26.30	c  S st   137     30501    109222    171721    198967     19763    999478    340983      8.60   no data  --
104.96/26.33	c x-sub:     4 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
193.16/48.45	c Flit:    80 Blit:    722 bXBeca:    0 bXProp: 2854 Bins:  13081 BRemL:   2075 BRemN:    508 P: 157.2M T: 88.08
193.16/48.48	c Cleaning up after failed var search:     0.08 s 
193.56/48.54	c Replacing     2854 vars Replaced   109436 lits Time:     0.25 s 
193.96/48.64	c bin-w-bin subsume rem         3062 bins  time:  0.09 s
194.37/48.75	c subs with bin:     1328  lits-rem:      5683  v-fix:    0  time:  0.43 s
196.36/49.28	c Subs w/ non-existent bins:    383 l-rem:   1898 v-fix:     0 done:  73173 time:  2.08 s
197.16/49.44	c Removed useless bin:      86  fixed:     0  props:  20.00M  time:  0.65 s
203.15/50.92	c lits-rem:      2943  cl-subs:    18842  v-elim:  70156  v-fix:    0  time:  5.81 s
203.15/50.92	c Added XOR as norm:19
204.73/51.34	c asymm  cl-useful: 424/17709/171103 lits-rem:517 time: 1.68
204.73/51.35	c  N dy   137     30501     35079    171100     35463      1998    781369     23684      8.60   no data  --
204.73/51.37	c Finding binary XORs  T:     0.07 s  found:      34
207.53/52.04	c  N dy   166     34665     35079    171100     35469      5748    781369     92014      8.86      9.37  --
210.33/52.73	c  N dy   190     38727     34833    171100     39227      9405    781369    156020      8.89      9.70  --
213.12/53.43	c  N dy   201     43234     34611    166588     38464     12473    757252    196583      8.76      9.29  --
214.32/53.78	c Finding binary XORs  T:     0.08 s  found:     879
214.72/53.84	c Replacing      913 vars Replaced    79858 lits Time:     0.23 s 
215.52/54.07	c  S st   213     45754     33503    164681     37018     14338    745260    217548      8.76   no data  --
216.32/54.26	c  S st   213     46257     33502    164681     37037     14776    745260    220600      8.76   no data  --
216.32/54.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
225.11/56.46	c Flit:    22 Blit:     36 bXBeca:    0 bXProp:  281 Bins:   3257 BRemL:   3005 BRemN:    142 P: 15.9M T:  8.66
225.52/56.51	c Replacing      281 vars Replaced     9287 lits Time:     0.17 s 
225.52/56.59	c bin-w-bin subsume rem         2615 bins  time:  0.05 s
225.93/56.64	c subs with bin:     2344  lits-rem:      4952  v-fix:    0  time:  0.20 s
226.30/56.72	c Subs w/ non-existent bins:    365 l-rem:   3519 v-fix:     0 done:  31105 time:  0.34 s
226.30/56.76	c Removed useless bin:      81  fixed:     0  props:   1.97M  time:  0.14 s
231.10/57.98	c lits-rem:      3894  cl-subs:    11702  v-elim:  10739  v-fix:    0  time:  4.87 s
231.50/58.03	c vivif2 --  cl tried   131205 cl shrink     1818 lits rem       2263 time: 0.19
231.50/58.03	c vivif2 --  cl tried     6637 cl shrink      201 lits rem        242 time: 0.02
233.10/58.43	c asymm  cl-useful: 135/34542/131147 lits-rem:144 time: 1.58
233.10/58.45	c calculated reachability. Time: 0.03
233.10/58.45	c  N dy   213     46257     22380    131145     21469      6630    623149     86965      8.76   no data  --
233.10/58.47	c Finding binary XORs  T:     0.11 s  found:       3
235.89/59.11	c  N dy   222     50481     22364    131145     22238     10277    623149    131313      8.64      9.32  --
237.89/59.69	c  N dy   236     54999     22346    131145     22247     14414    623149    191556      8.56      9.04  --
240.68/60.32	c  N dy   251     59781     22334    131145     22935     18709    623149    255272      8.48      9.05  --
243.50/61.04	c  N dy   266     63938     22334    131145     22950     22372    623149    303994      8.43      8.89  --
246.68/61.84	c  N dy   281     68370     22331    131145     23084     13929    623149    120890      8.36      8.91  --
247.49/62.02	c  S st   287     69386     22330    131145     23084     14843    623149    133762      8.35      8.73  --
247.90/62.13	c  S st   287     69890     22330    131145     23088     15281    623149    138065      8.35   no data  --
247.90/62.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
247.90/62.16	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.01
252.29/63.26	c Flit:     3 Blit:     19 bXBeca:    0 bXProp:  224 Bins:    731 BRemL:    872 BRemN:     63 P:  9.5M T:  4.40
252.66/63.30	c Replacing      228 vars Replaced    18394 lits Time:     0.16 s 
252.66/63.36	c bin-w-bin subsume rem          775 bins  time:  0.03 s
252.66/63.39	c subs with bin:     1149  lits-rem:       868  v-fix:    0  time:  0.12 s
253.07/63.44	c Subs w/ non-existent bins:    443 l-rem:    403 v-fix:     0 done:  22077 time:  0.21 s
253.07/63.46	c Removed useless bin:      41  fixed:     0  props:   1.15M  time:  0.08 s
256.28/64.30	c lits-rem:      1673  cl-subs:     6758  v-elim:   2078  v-fix:    0  time:  3.32 s
256.68/64.33	c vivif2 --  cl tried   126765 cl shrink      732 lits rem        809 time: 0.15
256.68/64.34	c vivif2 --  cl tried     9473 cl shrink      210 lits rem        280 time: 0.02
258.26/64.76	c asymm  cl-useful: 126/21473/126738 lits-rem:378 time: 1.68
258.26/64.78	c calculated reachability. Time: 0.02
258.26/64.78	c  N dy   287     69890     19999    126612     19058      9461    629402     86539      8.35   no data  --
258.66/64.80	c Finding binary XORs  T:     0.10 s  found:       5
261.07/65.40	c  N dy   305     74432     19998    126612     19119     13660    629402    145639      8.33      8.85  --
263.86/66.12	c  N dy   332     79266     19998    126612     19130     18064    629402    203899      8.31      8.83  --
266.65/66.90	c  N dy   361     84577     19965    126612     19494     22875    629400    270053      8.33      8.77  --
268.25/67.24	c  F st   376     87500     19965    126612     19504     25573    629400    308017      8.33   no data  --
268.25/67.27	c Replacing        5 vars Replaced      473 lits Time:     0.08 s 
269.86/67.63	c  N st   381     90796     19960    126151     19342     28584    626423    359930      8.33   no data  --
272.24/68.24	c  N dy   392     97129     19952    126151     19351     18820    626423    157839      8.29      8.75  --
275.84/69.16	c  N dy   426    103339     19952    126151     19370     24450    626423    236376      8.29      8.74  --
277.04/69.42	c  S st   437    104836     19952    126151     19380     25805    626423    254741      8.29      7.10  --
277.43/69.53	c  S st   437    105338     19952    126151     19386     26263    626423    259970      8.29   no data  --
277.43/69.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
277.43/69.55	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.01
281.02/70.49	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:  116 Bins:    501 BRemL:    381 BRemN:     61 P:  8.1M T:  3.74
281.42/70.53	c Replacing      117 vars Replaced    10531 lits Time:     0.15 s 
281.42/70.59	c bin-w-bin subsume rem          247 bins  time:  0.03 s
281.82/70.62	c subs with bin:      843  lits-rem:      1281  v-fix:    0  time:  0.12 s
281.82/70.67	c Subs w/ non-existent bins:    290 l-rem:    806 v-fix:     0 done:  19832 time:  0.19 s
281.82/70.69	c Removed useless bin:      19  fixed:     0  props:   0.97M  time:  0.07 s
285.02/71.46	c lits-rem:      4245  cl-subs:     4914  v-elim:    451  v-fix:    0  time:  3.06 s
285.42/71.50	c vivif2 --  cl tried   122388 cl shrink      371 lits rem        466 time: 0.14
285.42/71.51	c vivif2 --  cl tried    21678 cl shrink      824 lits rem        996 time: 0.06
287.04/71.93	c asymm  cl-useful: 45/19951/122372 lits-rem:135 time: 1.66
287.04/71.94	c calculated reachability. Time: 0.02
287.04/71.94	c  N dy   437    105338     19381    122327     18548     21668    608142    211080      8.29   no data  --
290.62/72.82	c  N dy   470    112116     19381    122327     18804     27924    608142    303115      8.28     12.12  --
292.21/73.20	c Finding binary XORs  T:     0.09 s  found:      40
295.41/74.07	c  N dy   514    119352     19376    122259     18859     34496    607799    397893      8.30     12.35  --
300.62/75.32	c  N dy   570    127133     19375    122259     18875     23577    607799    207797      8.35      8.80  --
305.02/76.44	c  N dy   607    135321     19375    122259     18900     31164    607799    328785      8.34      9.63  --
310.99/77.99	c  N dy   672    144082     19374    122259     18923     39365    607799    460235      8.39      8.94  --
316.98/79.45	c  N dy   726    153384     19373    122259     18944     27756    607799    240670      8.39      8.84  --
319.78/80.13	c  S st   752    158007     19373    122259     18955     32017    607799    302648      8.40   no data  --
320.18/80.24	c  S st   752    158507     19373    122259     18963     32471    607799    307786      8.40   no data  --
320.18/80.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
320.18/80.26	c Cache  BProp: 2 Set: 2 BXProp: 3 T: 0.01
323.77/81.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   49 Bins:    459 BRemL:    388 BRemN:     28 P:  8.6M T:  3.66
324.17/81.22	c Replacing       92 vars Replaced    10161 lits Time:     0.15 s 
324.17/81.28	c bin-w-bin subsume rem          128 bins  time:  0.03 s
324.57/81.31	c subs with bin:      781  lits-rem:      1087  v-fix:    0  time:  0.14 s
324.57/81.36	c Subs w/ non-existent bins:    195 l-rem:   1438 v-fix:     0 done:  19018 time:  0.19 s
324.57/81.38	c Removed useless bin:      16  fixed:     0  props:   0.94M  time:  0.07 s
328.56/82.32	c lits-rem:      3201  cl-subs:     4352  v-elim:    340  v-fix:    0  time:  3.75 s
328.56/82.36	c vivif2 --  cl tried   119894 cl shrink      274 lits rem        373 time: 0.14
328.56/82.38	c vivif2 --  cl tried    28256 cl shrink     1291 lits rem       2078 time: 0.09
329.36/82.54	c asymm  cl-useful: 19/4719/119888 lits-rem:57 time: 0.63
329.36/82.55	c calculated reachability. Time: 0.02
329.36/82.55	c  N dy   752    158507     18939    119869     18414     28246    597586    265634      8.40   no data  --
334.15/83.79	c Finding binary XORs  T:     0.09 s  found:      17
335.37/84.08	c  N dy   806    168632     18937    119859     18712     37569    597529    408858      8.39      8.92  --
342.15/85.73	c  N dy   870    179742     18937    119859     18734     26532    597529    208971      8.41      8.88  --
348.14/87.22	c  N dy   935    191331     18937    119859     18758     37359    597529    372210      8.41      9.06  --
354.92/88.95	c  N dy  1006    203625     18936    119859     18783     26024    597529    177513      8.42      9.03  --
361.33/90.50	c  N dy  1067    216694     18884    119859     18992     38217    597529    357871      8.40      8.92  --
375.58/96.97	c Following stats are for *FIRST FINISHED THREAD ONLY*
375.58/96.97	c num threads              : 4          
375.58/96.97	c restarts                 : 1416       
375.58/96.97	c dynamic restarts         : 1398       
375.58/96.97	c static restarts          : 18         
375.58/96.97	c full restarts            : 2          
375.58/96.97	c total simplify time      : 1.60       
375.58/96.97	c learnts DL2              : 0          
375.58/96.97	c learnts size 2           : 458854     
375.58/96.97	c learnts size 1           : 18360       (9.35      % of vars)
375.58/96.97	c filedLit time            : 133.93      (35.75     % time)
375.58/96.97	c v-elim SatELite          : 132775      (67.64     % vars)
375.58/96.97	c SatELite time            : 22.09       (5.90      % time)
375.58/96.97	c v-elim xor               : 3           (0.00      % vars)
375.58/96.97	c xor elim time            : 0.37        (0.10      % time)
375.58/96.97	c num binary xor trees     : 6202       
375.58/96.97	c binxor trees' crown      : 26853       (4.33      leafs/tree)
375.58/96.97	c bin xor find time        : 0.80       
375.58/96.97	c OTF clause improved      : 18114       (0.07      clauses/conflict)
375.58/96.97	c OTF impr. size diff      : 19674       (1.09       lits/clause)
375.58/96.97	c OTF cl watch-shrink      : 77765       (0.29      clauses/conflict)
375.58/96.97	c OTF cl watch-sh-lit      : 137737      (1.77       lits/clause)
375.58/96.97	c tried to recurMin cls    : 69627       (25.88      % of conflicts)
375.58/96.97	c updated cache            : 0           (0.00       lits/tried recurMin)
375.58/96.97	c unit cls received        : 91          (0.50      % of units)
375.58/96.97	c unit cls sent            : 15876       (86.47     % of units)
375.58/96.97	c bin cls received         : 74101      
375.58/96.97	c bin cls sent             : 60809      
375.58/96.97	c clauses over max glue    : 0           (0.00      % of all clauses)
375.58/96.97	c conflicts                : 269026      (718.15    / sec)
375.58/96.97	c decisions                : 4155343     (2.06      % random)
375.58/96.97	c bogo-props               : 1950422011  (5206567.27 / sec)
375.58/96.97	c conflict literals        : 4155864     (25.68     % deleted)
375.58/96.97	c Memory used              : 1452.18     MB
375.58/96.97	c single-thread CPU time   : 374.61      s
375.58/96.97	c all-threads sum CPU time : 374.61      s
375.58/96.97	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

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-3293476-1304181701/watcher-3293476-1304181701 -o /tmp/evaluation-result-3293476-1304181701/solver-3293476-1304181701 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3293476-1304181701.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 7.57 7.95 7.81 2/173 28020
/proc/meminfo: memFree=30310792/32950928 swapFree=67111428/67111528
[pid=28020] ppid=28018 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/28020/stat : 28020 (strangenight1-m) R 28018 28020 27376 0 -1 4202496 417 0 0 0 0 0 0 0 25 0 4 0 529769880 52465664 357 33554432000 4194304 4650419 140734230349056 18446744073709551615 248089698235 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28020/statm: 12809 357 306 112 0 7774 0
[pid=28020/tid=28021] ppid=28018 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/28020/task/28021/stat : 28021 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 529769880 52465664 357 33554432000 4194304 4650419 140734230349056 18446744073709551615 47689169053616 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28020/tid=28022] ppid=28018 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/28020/task/28022/stat : 28022 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 529769880 52465664 357 33554432000 4194304 4650419 140734230349056 18446744073709551615 248084745302 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28020/tid=28023] ppid=28018 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/28020/task/28023/stat : 28023 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 529769880 52465664 357 33554432000 4194304 4650419 140734230349056 18446744073709551615 248084745302 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0664111 s]
/proc/loadavg: 7.57 7.95 7.81 2/173 28020
/proc/meminfo: memFree=30310792/32950928 swapFree=67111428/67111528
[pid=28020] ppid=28018 vsize=321632 CPUtime=0.23 cores=0,2,4,6
/proc/28020/stat : 28020 (strangenight1-m) D 28018 28020 27376 0 -1 4202496 22518 0 0 0 19 4 0 0 25 0 4 0 529769880 329351168 18206 33554432000 4194304 4650419 140734230349056 18446744073709551615 4317116 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28020/statm: 80588 18208 344 112 0 75553 0
[pid=28020/tid=28021] ppid=28018 vsize=322352 CPUtime=0.05 cores=0,2,4,6
/proc/28020/task/28021/stat : 28021 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 5501 0 0 0 4 1 0 0 25 0 4 0 529769880 330088448 18208 33554432000 4194304 4650419 140734230349056 18446744073709551615 4319766 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28020/tid=28022] ppid=28018 vsize=322352 CPUtime=0.05 cores=0,2,4,6
/proc/28020/task/28022/stat : 28022 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 5494 0 0 0 4 1 0 0 25 0 4 0 529769880 330088448 18209 33554432000 4194304 4650419 140734230349056 18446744073709551615 4319766 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28020/tid=28023] ppid=28018 vsize=322352 CPUtime=0.05 cores=0,2,4,6
/proc/28020/task/28023/stat : 28023 (strangenight1-m) D 28018 28020 27376 0 -1 4202560 5637 0 0 0 5 0 0 0 25 0 4 0 529769880 330088448 18210 33554432000 4194304 4650419 140734230349056 18446744073709551615 248089741495 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 321632

[startup+0.104983 s]
/proc/loadavg: 7.57 7.95 7.81 2/173 28020
/proc/meminfo: memFree=30310792/32950928 swapFree=67111428/67111528
[pid=28020] ppid=28018 vsize=353164 CPUtime=0.38 cores=0,2,4,6
/proc/28020/stat : 28020 (strangenight1-m) D 28018 28020 27376 0 -1 4202496 36834 0 0 0 32 6 0 0 25 0 4 0 529769880 361639936 28226 33554432000 4194304 4650419 140734230349056 18446744073709551615 4316340 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28020/statm: 88291 28226 344 112 0 83256 0
[pid=28020/tid=28021] ppid=28018 vsize=353164 CPUtime=0.08 cores=0,2,4,6
/proc/28020/task/28021/stat : 28021 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 9022 0 0 0 7 1 0 0 25 0 4 0 529769880 361639936 28226 33554432000 4194304 4650419 140734230349056 18446744073709551615 248089756074 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28020/tid=28022] ppid=28018 vsize=353164 CPUtime=0.08 cores=0,2,4,6
/proc/28020/task/28022/stat : 28022 (strangenight1-m) D 28018 28020 27376 0 -1 4202560 9022 0 0 0 7 1 0 0 25 0 4 0 529769880 361639936 28226 33554432000 4194304 4650419 140734230349056 18446744073709551615 4317116 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28020/tid=28023] ppid=28018 vsize=353164 CPUtime=0.09 cores=0,2,4,6
/proc/28020/task/28023/stat : 28023 (strangenight1-m) D 28018 28020 27376 0 -1 4202560 9383 0 0 0 8 1 0 0 25 0 4 0 529769880 361639936 28226 33554432000 4194304 4650419 140734230349056 18446744073709551615 4556570 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 353164

[startup+0.300778 s]
/proc/loadavg: 7.57 7.95 7.81 2/173 28020
/proc/meminfo: memFree=30310792/32950928 swapFree=67111428/67111528
[pid=28020] ppid=28018 vsize=447132 CPUtime=1.15 cores=0,2,4,6
/proc/28020/stat : 28020 (strangenight1-m) R 28018 28020 27376 0 -1 4202496 88866 0 0 0 99 16 0 0 18 0 4 0 529769880 457863168 70831 33554432000 4194304 4650419 140734230349056 18446744073709551615 4369286 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28020/statm: 111783 70831 367 112 0 106748 0
[pid=28020/tid=28021] ppid=28018 vsize=447132 CPUtime=0.27 cores=0,2,4,6
/proc/28020/task/28021/stat : 28021 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 21956 0 0 0 24 3 0 0 25 0 4 0 529769880 457863168 70831 33554432000 4194304 4650419 140734230349056 18446744073709551615 4369378 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28020/tid=28022] ppid=28018 vsize=447132 CPUtime=0.27 cores=0,2,4,6
/proc/28020/task/28022/stat : 28022 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 21956 0 0 0 23 4 0 0 18 0 4 0 529769880 457863168 70831 33554432000 4194304 4650419 140734230349056 18446744073709551615 4370264 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28020/tid=28023] ppid=28018 vsize=447132 CPUtime=0.28 cores=0,2,4,6
/proc/28020/task/28023/stat : 28023 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 22671 0 0 0 25 3 0 0 25 0 4 0 529769880 457863168 70831 33554432000 4194304 4650419 140734230349056 18446744073709551615 4528498 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 447132

[startup+0.700707 s]
/proc/loadavg: 7.57 7.95 7.81 2/173 28020
/proc/meminfo: memFree=30310792/32950928 swapFree=67111428/67111528
[pid=28020] ppid=28018 vsize=469388 CPUtime=2.74 cores=0,2,4,6
/proc/28020/stat : 28020 (strangenight1-m) R 28018 28020 27376 0 -1 4202496 96519 0 0 0 257 17 0 0 18 0 4 0 529769880 480653312 75062 33554432000 4194304 4650419 140734230349056 18446744073709551615 4244332 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28020/statm: 117347 75062 372 112 0 112312 0
[pid=28020/tid=28021] ppid=28018 vsize=469388 CPUtime=0.68 cores=0,2,4,6
/proc/28020/task/28021/stat : 28021 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 24471 0 0 0 64 4 0 0 25 0 4 0 529769880 480653312 75062 33554432000 4194304 4650419 140734230349056 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28020/tid=28022] ppid=28018 vsize=469388 CPUtime=0.68 cores=0,2,4,6
/proc/28020/task/28022/stat : 28022 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 24473 0 0 0 63 5 0 0 18 0 4 0 529769880 480653312 75062 33554432000 4194304 4650419 140734230349056 18446744073709551615 4245565 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28020/tid=28023] ppid=28018 vsize=469388 CPUtime=0.68 cores=0,2,4,6
/proc/28020/task/28023/stat : 28023 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 22836 0 0 0 65 3 0 0 25 0 4 0 529769880 480653312 75062 33554432000 4194304 4650419 140734230349056 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 469388

[startup+1.50057 s]
/proc/loadavg: 7.57 7.95 7.81 9/184 28033
/proc/meminfo: memFree=29789292/32950928 swapFree=67111428/67111528
[pid=28020] ppid=28018 vsize=469580 CPUtime=5.94 cores=0,2,4,6
/proc/28020/stat : 28020 (strangenight1-m) R 28018 28020 27376 0 -1 4202496 96978 0 0 0 577 17 0 0 19 0 4 0 529769880 480849920 75521 33554432000 4194304 4650419 140734230349056 18446744073709551615 4369075 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28020/statm: 117395 75521 373 112 0 112360 0
[pid=28020/tid=28021] ppid=28018 vsize=469580 CPUtime=1.47 cores=0,2,4,6
/proc/28020/task/28021/stat : 28021 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 24556 0 0 0 143 4 0 0 25 0 4 0 529769880 480849920 75521 33554432000 4194304 4650419 140734230349056 18446744073709551615 4369281 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28020/tid=28022] ppid=28018 vsize=469580 CPUtime=1.48 cores=0,2,4,6
/proc/28020/task/28022/stat : 28022 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 24555 0 0 0 143 5 0 0 19 0 4 0 529769880 480849920 75521 33554432000 4194304 4650419 140734230349056 18446744073709551615 4369188 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28020/tid=28023] ppid=28018 vsize=469580 CPUtime=1.48 cores=0,2,4,6
/proc/28020/task/28023/stat : 28023 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 23046 0 0 0 145 3 0 0 25 0 4 0 529769880 480849920 75521 33554432000 4194304 4650419 140734230349056 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 469580

[startup+3.10028 s]
/proc/loadavg: 7.57 7.95 7.81 9/184 28033
/proc/meminfo: memFree=29147748/32950928 swapFree=67111428/67111528
[pid=28020] ppid=28018 vsize=469940 CPUtime=12.31 cores=0,2,4,6
/proc/28020/stat : 28020 (strangenight1-m) R 28018 28020 27376 0 -1 4202496 97248 0 0 0 1213 18 0 0 24 0 4 0 529769880 481218560 75791 33554432000 4194304 4650419 140734230349056 18446744073709551615 4369972 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28020/statm: 117485 75791 373 112 0 112450 0
[pid=28020/tid=28021] ppid=28018 vsize=469940 CPUtime=3.06 cores=0,2,4,6
/proc/28020/task/28021/stat : 28021 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 24631 0 0 0 302 4 0 0 25 0 4 0 529769880 481218560 75791 33554432000 4194304 4650419 140734230349056 18446744073709551615 4369286 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28020/tid=28022] ppid=28018 vsize=469940 CPUtime=3.08 cores=0,2,4,6
/proc/28020/task/28022/stat : 28022 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 24633 0 0 0 303 5 0 0 24 0 4 0 529769880 481218560 75791 33554432000 4194304 4650419 140734230349056 18446744073709551615 4245488 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28020/tid=28023] ppid=28018 vsize=469940 CPUtime=3.06 cores=0,2,4,6
/proc/28020/task/28023/stat : 28023 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 23086 0 0 0 302 4 0 0 25 0 4 0 529769880 481218560 75791 33554432000 4194304 4650419 140734230349056 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.31
Current children cumulated vsize (KiB) 469940

[startup+6.30072 s]
/proc/loadavg: 7.92 8.02 7.83 9/184 28033
/proc/meminfo: memFree=27929228/32950928 swapFree=67111428/67111528
[pid=28020] ppid=28018 vsize=479916 CPUtime=25.06 cores=0,2,4,6
/proc/28020/stat : 28020 (strangenight1-m) R 28018 28020 27376 0 -1 4202496 100317 0 0 0 2483 23 0 0 25 0 4 0 529769880 491433984 78860 33554432000 4194304 4650419 140734230349056 18446744073709551615 4245521 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28020/statm: 119979 78860 374 112 0 114944 0
[pid=28020/tid=28021] ppid=28018 vsize=479916 CPUtime=6.25 cores=0,2,4,6
/proc/28020/task/28021/stat : 28021 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 24806 0 0 0 621 4 0 0 25 0 4 0 529769880 491433984 78860 33554432000 4194304 4650419 140734230349056 18446744073709551615 4370286 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28020/tid=28022] ppid=28018 vsize=479916 CPUtime=6.27 cores=0,2,4,6
/proc/28020/task/28022/stat : 28022 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 24805 0 0 0 622 5 0 0 25 0 4 0 529769880 491433984 78860 33554432000 4194304 4650419 140734230349056 18446744073709551615 4369226 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28020/tid=28023] ppid=28018 vsize=479916 CPUtime=6.22 cores=0,2,4,6
/proc/28020/task/28023/stat : 28023 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 25636 0 0 0 614 8 0 0 25 0 4 0 529769880 491433984 78860 33554432000 4194304 4650419 140734230349056 18446744073709551615 4310834 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.06
Current children cumulated vsize (KiB) 479916

[startup+12.7006 s]
/proc/loadavg: 7.93 8.02 7.83 9/184 28033
/proc/meminfo: memFree=27892208/32950928 swapFree=67111428/67111528
[pid=28020] ppid=28018 vsize=573588 CPUtime=50.62 cores=0,2,4,6
/proc/28020/stat : 28020 (strangenight1-m) R 28018 28020 27376 0 -1 4202496 116875 0 0 0 5037 25 0 0 25 0 4 0 529769880 587354112 95418 33554432000 4194304 4650419 140734230349056 18446744073709551615 4550167 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28020/statm: 143397 95418 385 112 0 138362 0
[pid=28020/tid=28021] ppid=28018 vsize=573588 CPUtime=12.62 cores=0,2,4,6
/proc/28020/task/28021/stat : 28021 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 28561 0 0 0 1257 5 0 0 18 0 4 0 529769880 587354112 95418 33554432000 4194304 4650419 140734230349056 18446744073709551615 4436267 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28020/tid=28022] ppid=28018 vsize=573588 CPUtime=12.68 cores=0,2,4,6
/proc/28020/task/28022/stat : 28022 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 30187 0 0 0 1262 6 0 0 25 0 4 0 529769880 587354112 95418 33554432000 4194304 4650419 140734230349056 18446744073709551615 248089365506 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28020/tid=28023] ppid=28018 vsize=573588 CPUtime=12.62 cores=0,2,4,6
/proc/28020/task/28023/stat : 28023 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 26185 0 0 0 1254 8 0 0 25 0 4 0 529769880 587354112 95418 33554432000 4194304 4650419 140734230349056 18446744073709551615 4303950 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 573588

[startup+25.5003 s]
/proc/loadavg: 7.94 8.02 7.83 9/184 28033
/proc/meminfo: memFree=27081628/32950928 swapFree=67111428/67111528
[pid=28020] ppid=28018 vsize=702000 CPUtime=101.76 cores=0,2,4,6
/proc/28020/stat : 28020 (strangenight1-m) R 28018 28020 27376 0 -1 4202496 294824 0 0 0 10127 49 0 0 25 0 4 0 529769880 718848000 128510 33554432000 4194304 4650419 140734230349056 18446744073709551615 4333937 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28020/statm: 175500 128510 395 112 0 170465 0
[pid=28020/tid=28021] ppid=28018 vsize=702000 CPUtime=25.35 cores=0,2,4,6
/proc/28020/task/28021/stat : 28021 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 56403 0 0 0 2525 10 0 0 25 0 4 0 529769880 718848000 128510 33554432000 4194304 4650419 140734230349056 18446744073709551615 4364416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28020/tid=28022] ppid=28018 vsize=702000 CPUtime=25.48 cores=0,2,4,6
/proc/28020/task/28022/stat : 28022 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 157193 0 0 0 2527 21 0 0 25 0 4 0 529769880 718848000 128510 33554432000 4194304 4650419 140734230349056 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28020/tid=28023] ppid=28018 vsize=702000 CPUtime=25.43 cores=0,2,4,6
/proc/28020/task/28023/stat : 28023 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 37211 0 0 0 2533 10 0 0 25 0 4 0 529769880 718848000 128510 33554432000 4194304 4650419 140734230349056 18446744073709551615 4363644 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 702000

[startup+51.1068 s]
/proc/loadavg: 7.96 8.01 7.84 9/184 28034
/proc/meminfo: memFree=26518660/32950928 swapFree=67111428/67111528
[pid=28020] ppid=28018 vsize=1212072 CPUtime=203.96 cores=0,2,4,6
/proc/28020/stat : 28020 (strangenight1-m) R 28018 28020 27376 0 -1 4202496 441085 0 0 0 20316 80 0 0 25 0 4 0 529769880 1241161728 238390 33554432000 4194304 4650419 140734230349056 18446744073709551615 4369860 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28020/statm: 303018 238390 395 112 0 297983 0
[pid=28020/tid=28021] ppid=28018 vsize=1212072 CPUtime=50.75 cores=0,2,4,6
/proc/28020/task/28021/stat : 28021 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 77870 0 0 0 5061 14 0 0 25 0 4 0 529769880 1241161728 238390 33554432000 4194304 4650419 140734230349056 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28020/tid=28022] ppid=28018 vsize=1212072 CPUtime=51.08 cores=0,2,4,6
/proc/28020/task/28022/stat : 28022 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 182515 0 0 0 5081 27 0 0 25 0 4 0 529769880 1241161728 238390 33554432000 4194304 4650419 140734230349056 18446744073709551615 4441740 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28020/tid=28023] ppid=28018 vsize=1212072 CPUtime=51.02 cores=0,2,4,6
/proc/28020/task/28023/stat : 28023 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 122000 0 0 0 5074 28 0 0 25 0 4 0 529769880 1241161728 238390 33554432000 4194304 4650419 140734230349056 18446744073709551615 4370242 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.96
Current children cumulated vsize (KiB) 1212072

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

[startup+52.7005 s]
/proc/loadavg: 7.96 8.01 7.84 9/184 28034
/proc/meminfo: memFree=26506756/32950928 swapFree=67111428/67111528
[pid=28020] ppid=28018 vsize=1277764 CPUtime=210.33 cores=0,2,4,6
/proc/28020/stat : 28020 (strangenight1-m) R 28018 28020 27376 0 -1 4202496 449160 0 0 0 20951 82 0 0 25 0 4 0 529769880 1308430336 240527 33554432000 4194304 4650419 140734230349056 18446744073709551615 4368121 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28020/statm: 319441 240527 395 112 0 314406 0
[pid=28020/tid=28021] ppid=28018 vsize=1277764 CPUtime=52.34 cores=0,2,4,6
/proc/28020/task/28021/stat : 28021 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 79943 0 0 0 5219 15 0 0 25 0 4 0 529769880 1308430336 240527 33554432000 4194304 4650419 140734230349056 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28020/tid=28022] ppid=28018 vsize=1277764 CPUtime=52.68 cores=0,2,4,6
/proc/28020/task/28022/stat : 28022 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 183205 0 0 0 5240 28 0 0 25 0 4 0 529769880 1308430336 240527 33554432000 4194304 4650419 140734230349056 18446744073709551615 4310912 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28020/tid=28023] ppid=28018 vsize=1277764 CPUtime=52.61 cores=0,2,4,6
/proc/28020/task/28023/stat : 28023 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 127160 0 0 0 5232 29 0 0 25 0 4 0 529769880 1308430336 240527 33554432000 4194304 4650419 140734230349056 18446744073709551615 4370299 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 210.33
Current children cumulated vsize (KiB) 1277764

[startup+78.301 s]
/proc/loadavg: 7.97 8.01 7.84 9/184 28035
/proc/meminfo: memFree=26339064/32950928 swapFree=67111428/67111528
[pid=28020] ppid=28018 vsize=1421492 CPUtime=312.58 cores=0,2,4,6
/proc/28020/stat : 28020 (strangenight1-m) R 28018 28020 27376 0 -1 4202496 559923 0 0 0 31155 103 0 0 25 0 4 0 529769880 1455607808 273972 33554432000 4194304 4650419 140734230349056 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28020/statm: 355373 273972 395 112 0 350338 0
[pid=28020/tid=28021] ppid=28018 vsize=1421492 CPUtime=77.79 cores=0,2,4,6
/proc/28020/task/28021/stat : 28021 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 102580 0 0 0 7759 20 0 0 25 0 4 0 529769880 1455607808 273972 33554432000 4194304 4650419 140734230349056 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28020/tid=28022] ppid=28018 vsize=1421492 CPUtime=78.28 cores=0,2,4,6
/proc/28020/task/28022/stat : 28022 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 200930 0 0 0 7796 32 0 0 25 0 4 0 529769880 1455607808 273972 33554432000 4194304 4650419 140734230349056 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28020/tid=28023] ppid=28018 vsize=1421492 CPUtime=78.21 cores=0,2,4,6
/proc/28020/task/28023/stat : 28023 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 186715 0 0 0 7783 38 0 0 25 0 4 0 529769880 1455607808 273972 33554432000 4194304 4650419 140734230349056 18446744073709551615 4363750 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 312.58
Current children cumulated vsize (KiB) 1421492

[startup+84.7009 s]
/proc/loadavg: 8.06 8.03 7.85 9/184 28035
/proc/meminfo: memFree=26325788/32950928 swapFree=67111428/67111528
[pid=28020] ppid=28018 vsize=1421492 CPUtime=338.15 cores=0,2,4,6
/proc/28020/stat : 28020 (strangenight1-m) R 28018 28020 27376 0 -1 4202496 570787 0 0 0 33709 106 0 0 25 0 4 0 529769880 1455607808 277671 33554432000 4194304 4650419 140734230349056 18446744073709551615 4363750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28020/statm: 355373 277671 395 112 0 350338 0
[pid=28020/tid=28021] ppid=28018 vsize=1421492 CPUtime=84.15 cores=0,2,4,6
/proc/28020/task/28021/stat : 28021 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 103492 0 0 0 8395 20 0 0 25 0 4 0 529769880 1455607808 277671 33554432000 4194304 4650419 140734230349056 18446744073709551615 4363644 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28020/tid=28022] ppid=28018 vsize=1421492 CPUtime=84.68 cores=0,2,4,6
/proc/28020/task/28022/stat : 28022 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 206910 0 0 0 8434 34 0 0 25 0 4 0 529769880 1455607808 277671 33554432000 4194304 4650419 140734230349056 18446744073709551615 4335216 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28020/tid=28023] ppid=28018 vsize=1421492 CPUtime=84.61 cores=0,2,4,6
/proc/28020/task/28023/stat : 28023 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 189414 0 0 0 8423 38 0 0 25 0 4 0 529769880 1455607808 277671 33554432000 4194304 4650419 140734230349056 18446744073709551615 4364562 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 338.15
Current children cumulated vsize (KiB) 1421492

[startup+91.1007 s]
/proc/loadavg: 8.05 8.03 7.85 9/184 28035
/proc/meminfo: memFree=26275688/32950928 swapFree=67111428/67111528
[pid=28020] ppid=28018 vsize=1421492 CPUtime=363.72 cores=0,2,4,6
/proc/28020/stat : 28020 (strangenight1-m) R 28018 28020 27376 0 -1 4202496 588969 0 0 0 36263 109 0 0 25 0 4 0 529769880 1455607808 288063 33554432000 4194304 4650419 140734230349056 18446744073709551615 4315470 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28020/statm: 355373 288063 395 112 0 350338 0
[pid=28020/tid=28021] ppid=28018 vsize=1421492 CPUtime=90.52 cores=0,2,4,6
/proc/28020/task/28021/stat : 28021 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 112940 0 0 0 9031 21 0 0 25 0 4 0 529769880 1455607808 288063 33554432000 4194304 4650419 140734230349056 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28020/tid=28022] ppid=28018 vsize=1421492 CPUtime=91.07 cores=0,2,4,6
/proc/28020/task/28022/stat : 28022 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 210081 0 0 0 9073 34 0 0 25 0 4 0 529769880 1455607808 288063 33554432000 4194304 4650419 140734230349056 18446744073709551615 4363734 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28020/tid=28023] ppid=28018 vsize=1421492 CPUtime=91.01 cores=0,2,4,6
/proc/28020/task/28023/stat : 28023 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 194938 0 0 0 9061 40 0 0 25 0 4 0 529769880 1455607808 288063 33554432000 4194304 4650419 140734230349056 18446744073709551615 4245548 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 363.72
Current children cumulated vsize (KiB) 1421492

[startup+94.3012 s]
/proc/loadavg: 8.05 8.03 7.85 7/184 28035
/proc/meminfo: memFree=26271468/32950928 swapFree=67111428/67111528
[pid=28020] ppid=28018 vsize=1421492 CPUtime=370.37 cores=0,2,4,6
/proc/28020/stat : 28020 (strangenight1-m) S 28018 28020 27376 0 -1 4202496 589606 0 0 0 36928 109 0 0 25 0 4 0 529769880 1455607808 288700 33554432000 4194304 4650419 140734230349056 18446744073709551615 47689169053236 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28020/statm: 355373 288700 395 112 0 350338 0
[pid=28020/tid=28021] ppid=28018 vsize=1421492 CPUtime=90.65 cores=0,2,4,6
/proc/28020/task/28021/stat : 28021 (strangenight1-m) S 28018 28020 27376 0 -1 4202560 112946 0 0 0 9044 21 0 0 25 0 4 0 529769880 1455607808 288700 33554432000 4194304 4650419 140734230349056 18446744073709551615 47689169053236 0 0 4096 2 18446604453828441984 0 0 -1 6 0 0 0
[pid=28020/tid=28022] ppid=28018 vsize=1421492 CPUtime=94.27 cores=0,2,4,6
/proc/28020/task/28022/stat : 28022 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 210081 0 0 0 9393 34 0 0 25 0 4 0 529769880 1455607808 288700 33554432000 4194304 4650419 140734230349056 18446744073709551615 47689169028651 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28020/tid=28023] ppid=28018 vsize=1421492 CPUtime=94.21 cores=0,2,4,6
/proc/28020/task/28023/stat : 28023 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 195569 0 0 0 9381 40 0 0 25 0 4 0 529769880 1455607808 288700 33554432000 4194304 4650419 140734230349056 18446744073709551615 4369160 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 370.37
Current children cumulated vsize (KiB) 1421492

[startup+95.9009 s]
/proc/loadavg: 7.88 7.99 7.84 7/184 28035
/proc/meminfo: memFree=26270848/32950928 swapFree=67111428/67111528
[pid=28020] ppid=28018 vsize=1421492 CPUtime=373.58 cores=0,2,4,6
/proc/28020/stat : 28020 (strangenight1-m) S 28018 28020 27376 0 -1 4202496 591914 0 0 0 37248 110 0 0 25 0 4 0 529769880 1455607808 291008 33554432000 4194304 4650419 140734230349056 18446744073709551615 47689169053236 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28020/statm: 355373 291008 395 112 0 350338 0
[pid=28020/tid=28021] ppid=28018 vsize=1421492 CPUtime=90.65 cores=0,2,4,6
/proc/28020/task/28021/stat : 28021 (strangenight1-m) S 28018 28020 27376 0 -1 4202560 112946 0 0 0 9044 21 0 0 25 0 4 0 529769880 1455607808 291008 33554432000 4194304 4650419 140734230349056 18446744073709551615 47689169053236 0 0 4096 2 18446604453828441984 0 0 -1 6 0 0 0
[pid=28020/tid=28022] ppid=28018 vsize=1421492 CPUtime=95.87 cores=0,2,4,6
/proc/28020/task/28022/stat : 28022 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 210081 0 0 0 9553 34 0 0 25 0 4 0 529769880 1455607808 291008 33554432000 4194304 4650419 140734230349056 18446744073709551615 47689169028651 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28020/tid=28023] ppid=28018 vsize=1421492 CPUtime=95.82 cores=0,2,4,6
/proc/28020/task/28023/stat : 28023 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 197877 0 0 0 9541 41 0 0 25 0 4 0 529769880 1455607808 291008 33554432000 4194304 4650419 140734230349056 18446744073709551615 4422471 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 373.58
Current children cumulated vsize (KiB) 1421492

[startup+96.7008 s]
/proc/loadavg: 7.88 7.99 7.84 7/184 28035
/proc/meminfo: memFree=26254232/32950928 swapFree=67111428/67111528
[pid=28020] ppid=28018 vsize=1487028 CPUtime=375.18 cores=0,2,4,6
/proc/28020/stat : 28020 (strangenight1-m) S 28018 28020 27376 0 -1 4202496 601533 0 0 0 37406 112 0 0 25 0 4 0 529769880 1522716672 298545 33554432000 4194304 4650419 140734230349056 18446744073709551615 47689169053236 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28020/statm: 371757 298545 395 112 0 366722 0
[pid=28020/tid=28021] ppid=28018 vsize=1487028 CPUtime=90.65 cores=0,2,4,6
/proc/28020/task/28021/stat : 28021 (strangenight1-m) S 28018 28020 27376 0 -1 4202560 112946 0 0 0 9044 21 0 0 25 0 4 0 529769880 1522716672 298545 33554432000 4194304 4650419 140734230349056 18446744073709551615 47689169053236 0 0 4096 2 18446604453828441984 0 0 -1 6 0 0 0
[pid=28020/tid=28022] ppid=28018 vsize=1487028 CPUtime=96.67 cores=0,2,4,6
/proc/28020/task/28022/stat : 28022 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 210081 0 0 0 9633 34 0 0 25 0 4 0 529769880 1522716672 298545 33554432000 4194304 4650419 140734230349056 18446744073709551615 47689169028651 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28020/tid=28023] ppid=28018 vsize=1487028 CPUtime=96.62 cores=0,2,4,6
/proc/28020/task/28023/stat : 28023 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 207496 0 0 0 9619 43 0 0 25 0 4 0 529769880 1522716672 298545 33554432000 4194304 4650419 140734230349056 18446744073709551615 4370697 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 375.18
Current children cumulated vsize (KiB) 1487028

[startup+96.9007 s]
/proc/loadavg: 7.88 7.99 7.84 7/184 28035
/proc/meminfo: memFree=26254232/32950928 swapFree=67111428/67111528
[pid=28020] ppid=28018 vsize=1487028 CPUtime=375.58 cores=0,2,4,6
/proc/28020/stat : 28020 (strangenight1-m) S 28018 28020 27376 0 -1 4202496 601566 0 0 0 37446 112 0 0 25 0 4 0 529769880 1522716672 298578 33554432000 4194304 4650419 140734230349056 18446744073709551615 47689169053236 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28020/statm: 371757 298578 395 112 0 366722 0
[pid=28020/tid=28021] ppid=28018 vsize=1487028 CPUtime=90.65 cores=0,2,4,6
/proc/28020/task/28021/stat : 28021 (strangenight1-m) S 28018 28020 27376 0 -1 4202560 112946 0 0 0 9044 21 0 0 25 0 4 0 529769880 1522716672 298578 33554432000 4194304 4650419 140734230349056 18446744073709551615 47689169053236 0 0 4096 2 18446604453828441984 0 0 -1 6 0 0 0
[pid=28020/tid=28022] ppid=28018 vsize=1487028 CPUtime=96.87 cores=0,2,4,6
/proc/28020/task/28022/stat : 28022 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 210081 0 0 0 9653 34 0 0 25 0 4 0 529769880 1522716672 298578 33554432000 4194304 4650419 140734230349056 18446744073709551615 47689169028804 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28020/tid=28023] ppid=28018 vsize=1487028 CPUtime=96.82 cores=0,2,4,6
/proc/28020/task/28023/stat : 28023 (strangenight1-m) R 28018 28020 27376 0 -1 4202560 207529 0 0 0 9639 43 0 0 25 0 4 0 529769880 1522716672 298578 33554432000 4194304 4650419 140734230349056 18446744073709551615 4370267 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 375.58
Current children cumulated vsize (KiB) 1487028

[startup+97.0008 s]
/proc/loadavg: 7.88 7.99 7.84 7/184 28035
/proc/meminfo: memFree=26254232/32950928 swapFree=67111428/67111528
[pid=28020] ppid=28018 vsize=0 CPUtime=375.74 cores=0,2,4,6
/proc/28020/stat : 28020 (strangenight1-m) Z 28018 28020 27376 0 -1 4203548 601571 0 0 0 37460 114 0 0 18 0 2 0 529769880 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28020/statm: 0 0 0 0 0 0 0
[pid=28020/tid=28021] ppid=28018 vsize=0 CPUtime=90.68 cores=0,2,4,6
/proc/28020/task/28021/stat : 28021 (strangenight1-m) R 28018 28020 27376 0 -1 4203588 112946 0 0 0 9044 24 0 0 18 0 2 0 529769880 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 375.74
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 97.029
CPU time (s): 375.786
CPU user time (s): 374.608
CPU system time (s): 1.17782
CPU usage (%): 387.292
Max. virtual memory (cumulated for all children) (KiB): 1487028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 374.608
system time used= 1.17782
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 601571
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= 2965
involuntary context switches= 2934

runsolver used 0.153976 second user time and 0.373943 second system time

The end

Launcher Data 

Begin job on node123 at 2011-04-30 18:41:41
IDJOB=3293476
IDBENCH=88143
IDSOLVER=1588
FILE ID=node123/3293476-1304181701
RUNJOBID= node123-1304180497-27914
PBS_JOBID= 13172429
Free space on /tmp= 73440 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT-Race-2010-CNF/hardware-verification/manolios/c10idw_i.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3293476-1304181701/watcher-3293476-1304181701 -o /tmp/evaluation-result-3293476-1304181701/solver-3293476-1304181701 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3293476-1304181701.cnf

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

MD5SUM BENCH= c139a321e75833c70af36726562b66de
RANDOM SEED=460408111

node123.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.838
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.67
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.838
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	: 5226.15
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.838
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.838
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.82
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.838
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.74
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.838
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.80
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.838
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.74
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.838
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30312068 kB
Buffers:        652944 kB
Cached:        1549212 kB
SwapCached:        100 kB
Active:         248120 kB
Inactive:      2017876 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30312068 kB
SwapTotal:    67111528 kB
SwapFree:     67111428 kB
Dirty:           50076 kB
Writeback:           0 kB
AnonPages:       63928 kB
Mapped:          14692 kB
Slab:           309360 kB
PageTables:       4620 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   187100 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= 73224 MiB
End job on node123 at 2011-04-30 18:43:18