Trace number 3369579

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-mt (fixed)UNSAT 381.634 97.9045

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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369579-1305433554.cnf'
0.00/0.01	c -- header says num vars:         196306
0.00/0.01	c -- header says num clauses:      582994
1.08/0.45	c -- clauses added:            0 learnts,       582994 normals,            0 xors
1.08/0.45	c -- vars added     196306
1.08/0.45	c Parsing time:  0.95 s
1.08/0.45	c  N st     0         0    196306    194331    388662         0   1360317         0   no data   no data  --
1.08/0.80	c asymm  cl-useful: 0/21494/194330 lits-rem:0 time: 1.65
53.28/13.40	c Flit:   455 Blit:  12299 bXBeca:    0 bXProp: 16649 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 50.17
53.28/13.43	c Cleaning up after failed var search:     0.12 s 
53.68/13.50	c Replacing    16649 vars Replaced   266278 lits Time:     0.24 s 
53.68/13.60	c bin-w-bin subsume rem          797 bins  time:  0.13 s
54.10/13.68	c subs with bin:       19  lits-rem:        19  v-fix:    0  time:  0.30 s
58.91/14.84	c Subs w/ non-existent bins:      1 l-rem:      1 v-fix:     0 done: 128819 time:  4.64 s
59.66/15.06	c Removed useless bin:      78  fixed:     0  props:  20.01M  time:  0.88 s
62.43/15.72	c lits-rem:         0  cl-subs:      223  v-elim:  55261  v-fix:    0  time:  2.54 s
62.43/15.76	c Finding binary XORs  T:     0.14 s  found:     877
62.43/15.79	c Replacing      877 vars Replaced     8550 lits Time:     0.13 s 
63.27/15.92	c Finding non-binary XORs:     0.35 s (found:      35, avg size: 3.0)
63.27/15.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      2 locsubst:    10 time:   0.12
63.27/15.95	c Calc default polars -  time:   0.08 s pos:   32076 undec:   87167 neg:   77063
63.27/15.95	c =========================================================================================
63.27/15.95	c types(t): F = full restart, N = normal restart
63.27/15.95	c types(t): S = simplification begin/end, E = solution found
63.27/15.95	c restart types(rt): st = static, dy = dynamic
63.27/15.95	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
63.27/15.95	c  B st     0         0    109643    172906    198346         0   1005664         0   no data   no data  --
71.63/18.01	c  N dy    17      4685    109477    172906    198452      4411   1005664     67479      8.97      9.47  --
75.19/18.98	c  N dy    23      8836    109432    172906    199052      8386   1005664    115917      7.76      8.21  --
80.82/20.39	c  N dy    45     12892    109309    172906    199147     12274   1005664    168307      7.65      8.32  --
87.56/22.06	c  N dy    77     16966    109299    172906    199171     16201   1005664    232120      7.91     13.00  --
92.75/23.31	c  N dy   113     20986    109299    172906    199231     10525   1005664     86712      8.40     11.60  --
97.55/24.51	c  F st   143     25001    109299    172906    199516     14430   1005664    156611      8.69      5.93  --
97.55/24.56	c Replacing        5 vars Replaced       46 lits Time:     0.13 s 
105.92/26.62	c  N st   143     25001    109294    171841    198967     14413   1000344    156296      8.69      5.93  --
110.71/27.90	c  N dy   149     30001    109289    171841    198983     19278   1000344    274134      8.69   no data  --
110.71/27.90	c  S st   149     30001    109289    171841    198983     19278   1000344    274134      8.69   no data  --
112.30/28.22	c  S st   149     30505    109286    171841    199074     19747   1000344    278232      8.69   no data  --
112.30/28.26	c x-sub:     4 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
203.29/51.05	c Flit:    96 Blit:    722 bXBeca:    0 bXProp: 2715 Bins:  12393 BRemL:   1893 BRemN:    397 P: 154.7M T: 90.68
203.29/51.07	c Cleaning up after failed var search:     0.09 s 
203.70/51.14	c Replacing     2715 vars Replaced   102334 lits Time:     0.26 s 
204.06/51.24	c bin-w-bin subsume rem         2885 bins  time:  0.10 s
204.45/51.33	c subs with bin:     1194  lits-rem:      4169  v-fix:    0  time:  0.33 s
206.86/51.95	c Subs w/ non-existent bins:    344 l-rem:   1858 v-fix:     0 done:  74704 time:  2.46 s
207.67/52.16	c Removed useless bin:     180  fixed:     0  props:  20.00M  time:  0.85 s
213.22/53.56	c lits-rem:      3514  cl-subs:    19007  v-elim:  70302  v-fix:    0  time:  5.55 s
213.22/53.56	c Added XOR as norm:22
215.22/54.02	c asymm  cl-useful: 410/17193/171696 lits-rem:508 time: 1.78
215.22/54.03	c  N dy   149     30505     35153    171695     35232      2096    781425     21072      8.69   no data  --
215.22/54.05	c Finding binary XORs  T:     0.08 s  found:      31
218.01/54.72	c  N dy   174     34690     35153    171695     35244      5755    781425     80480      8.76      9.31  --
219.60/55.18	c  N dy   194     39935     34939    171695     38955     10553    781425    160885      8.75      9.27  --
223.98/56.25	c  N dy   222     44025     34535    166485     40326     12298    754231    181535      8.83      9.40  --
224.78/56.44	c Finding binary XORs  T:     0.09 s  found:     871
225.20/56.51	c Replacing      902 vars Replaced    85333 lits Time:     0.26 s 
225.20/56.54	c  S st   227     45757     33620    165361     36483     12083    746135    174404      8.78      8.35  --
225.97/56.74	c  S st   227     46259     33617    165361     36512     12512    746135    177839      8.78   no data  --
225.97/56.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
235.54/59.12	c Flit:    26 Blit:    125 bXBeca:    0 bXProp:  305 Bins:   3660 BRemL:   3027 BRemN:    144 P: 17.1M T:  9.38
235.54/59.12	c Cleaning up after failed var search:     0.00 s 
235.54/59.17	c Replacing      305 vars Replaced    14892 lits Time:     0.21 s 
235.95/59.25	c bin-w-bin subsume rem         2548 bins  time:  0.05 s
236.35/59.30	c subs with bin:     2753  lits-rem:      4536  v-fix:    0  time:  0.21 s
236.75/59.40	c Subs w/ non-existent bins:    395 l-rem:   2693 v-fix:     0 done:  33094 time:  0.37 s
236.75/59.43	c Removed useless bin:      94  fixed:     0  props:   1.96M  time:  0.14 s
240.73/60.46	c lits-rem:      3131  cl-subs:    10222  v-elim:  10915  v-fix:    0  time:  4.10 s
241.13/60.51	c vivif2 --  cl tried   130778 cl shrink     1780 lits rem       2341 time: 0.18
241.13/60.51	c vivif2 --  cl tried     5140 cl shrink      176 lits rem        204 time: 0.01
242.76/60.91	c asymm  cl-useful: 114/37896/130733 lits-rem:115 time: 1.59
242.76/60.93	c calculated reachability. Time: 0.03
242.76/60.93	c  N dy   227     46259     22179    130733     21014      5136    619397     64027      8.78   no data  --
242.76/60.96	c Finding binary XORs  T:     0.11 s  found:       3
244.73/61.45	c  N dy   243     50280     22155    130733     21709      8806    619396    122232      8.73     16.83  --
247.14/62.04	c  N dy   261     54437     22143    130733     21722     12525    619396    174941      8.68      9.20  --
249.51/62.63	c  N dy   276     58503     22142    130733     21992     16107    619395    220352      8.61      9.33  --
251.94/63.26	c  N dy   289     62563     22142    130733     22000     19800    619395    274828      8.55      9.12  --
254.70/63.94	c  N dy   298     66656     22142    130733     22010     12099    619395     95153      8.47      9.03  --
256.33/64.38	c  S st   308     69388     22141    130733     22029     14542    619395    126496      8.43      6.55  --
256.70/64.49	c  S st   308     69890     22141    130733     22032     14971    619395    129942      8.43   no data  --
257.10/64.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
257.10/64.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
261.08/65.56	c Flit:     6 Blit:      7 bXBeca:    0 bXProp:  112 Bins:    651 BRemL:    693 BRemN:     61 P:  8.1M T:  4.17
261.48/65.61	c Replacing      115 vars Replaced    11389 lits Time:     0.16 s 
261.48/65.66	c bin-w-bin subsume rem          585 bins  time:  0.03 s
261.48/65.69	c subs with bin:     1272  lits-rem:       898  v-fix:    0  time:  0.12 s
261.88/65.75	c Subs w/ non-existent bins:    379 l-rem:    362 v-fix:     0 done:  21990 time:  0.21 s
261.88/65.77	c Removed useless bin:      30  fixed:     0  props:   1.18M  time:  0.09 s
265.11/66.56	c lits-rem:      1483  cl-subs:     5673  v-elim:   1862  v-fix:    0  time:  3.13 s
265.11/66.59	c vivif2 --  cl tried   127805 cl shrink      591 lits rem        670 time: 0.15
265.47/66.60	c vivif2 --  cl tried    10267 cl shrink      219 lits rem        268 time: 0.02
267.06/67.03	c asymm  cl-useful: 115/24375/127788 lits-rem:345 time: 1.73
267.06/67.05	c calculated reachability. Time: 0.02
267.06/67.05	c  N dy   308     69890     20128    127673     18658     10264    628598     88235      8.43   no data  --
267.06/67.07	c Finding binary XORs  T:     0.10 s  found:       8
270.25/67.80	c  N dy   330     74618     20128    127673     18684     14521    628598    141701      8.39      8.94  --
273.06/68.53	c  N dy   351     79678     20124    127673     19424     19126    628598    206191      8.38      8.82  --
275.85/69.22	c  N dy   382     84807     20123    127673     19513     23895    628598    281021      8.39      9.01  --
277.45/69.68	c  F st   397     87501     20123    127673     19542     26364    628598    316274      8.40      8.15  --
277.86/69.72	c Replacing        8 vars Replaced      302 lits Time:     0.12 s 
279.43/70.15	c  N st   402     90799     20114    127509     19474     29422    627745    363776      8.40   no data  --
282.25/70.81	c  N dy   426     96682     20113    127509     19494     19534    627745    173761      8.43      9.07  --
285.83/71.77	c  N dy   457    102891     20103    127509     19513     25205    627744    261038      8.43      9.00  --
287.06/72.09	c  S st   469    104836     20103    127509     19516     26985    627744    288385      8.43   no data  --
287.81/72.20	c  S st   469    105339     20103    127509     19523     27432    627744    292694      8.43   no data  --
287.81/72.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
287.81/72.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
291.45/73.15	c Flit:     3 Blit:      2 bXBeca:    0 bXProp:  146 Bins:    572 BRemL:    597 BRemN:     44 P:  7.7M T:  3.72
291.80/73.20	c Replacing      146 vars Replaced    15010 lits Time:     0.16 s 
291.80/73.26	c bin-w-bin subsume rem          365 bins  time:  0.03 s
291.80/73.29	c subs with bin:      722  lits-rem:      1529  v-fix:    0  time:  0.13 s
292.20/73.34	c Subs w/ non-existent bins:    301 l-rem:   1184 v-fix:     0 done:  19621 time:  0.19 s
292.20/73.36	c Removed useless bin:      19  fixed:     0  props:   0.92M  time:  0.07 s
295.84/74.29	c lits-rem:      3155  cl-subs:     4161  v-elim:    376  v-fix:    0  time:  3.74 s
296.19/74.33	c vivif2 --  cl tried   124425 cl shrink      374 lits rem        459 time: 0.15
296.19/74.35	c vivif2 --  cl tried    23288 cl shrink      893 lits rem       1286 time: 0.07
297.79/74.79	c asymm  cl-useful: 80/18289/124421 lits-rem:240 time: 1.75
298.19/74.80	c calculated reachability. Time: 0.02
298.19/74.80	c  N dy   469    105339     19568    124341     18425     23274    613364    250437      8.43   no data  --
298.19/74.82	c Finding binary XORs  T:     0.10 s  found:       6
302.18/75.80	c  N dy   502    112293     19567    124341     18514     29688    613364    348368      8.44      8.95  --
306.96/77.02	c  N dy   545    119599     19567    124341     18836     18533    613363    135218      8.45      9.01  --
311.35/78.10	c  N dy   585    127232     19564    124341     18863     25622    613361    243856      8.45      8.99  --
315.75/79.20	c  N dy   628    135469     19564    124341     18884     33252    613361    364648      8.46      8.92  --
321.75/80.75	c  N dy   681    144738     19563    124341     18915     21734    613361    153013      8.47      8.96  --
327.71/82.21	c  N dy   734    154209     19563    124341     18934     30433    613361    281742      8.47      8.96  --
330.11/82.80	c  S st   756    158009     19563    124341     18942     33943    613361    338668      8.48   no data  --
330.52/82.93	c  S st   756    158513     19563    124341     18945     34417    613361    343835      8.48   no data  --
330.52/82.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
330.52/82.96	c Cache  BProp: 1 Set: 1 BXProp: 3 T: 0.01
334.09/83.89	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:   85 Bins:    348 BRemL:    409 BRemN:     36 P:  8.5M T:  3.71
334.50/83.93	c Replacing       93 vars Replaced    10470 lits Time:     0.16 s 
334.50/83.99	c bin-w-bin subsume rem          128 bins  time:  0.03 s
334.91/84.04	c subs with bin:      792  lits-rem:      1896  v-fix:    0  time:  0.19 s
334.91/84.09	c Subs w/ non-existent bins:    321 l-rem:   1734 v-fix:     0 done:  12759 time:  0.18 s
335.33/84.11	c Removed useless bin:      14  fixed:     0  props:   0.89M  time:  0.08 s
339.31/85.14	c lits-rem:      4358  cl-subs:     4686  v-elim:    347  v-fix:    0  time:  4.12 s
339.31/85.18	c vivif2 --  cl tried   121696 cl shrink      313 lits rem        351 time: 0.15
339.31/85.21	c vivif2 --  cl tried    29941 cl shrink     1755 lits rem       2967 time: 0.10
340.07/85.31	c asymm  cl-useful: 7/2442/121689 lits-rem:21 time: 0.43
340.07/85.33	c calculated reachability. Time: 0.02
340.07/85.33	c  N dy   756    158513     19120    121682     18281     29923    601496    295901      8.48   no data  --
340.07/85.35	c Finding binary XORs  T:     0.09 s  found:       1
346.06/86.80	c  N dy   808    168822     19117    121682     18589     39471    601493    435804      8.47      8.96  --
352.46/88.46	c  N dy   866    179637     19117    121682     18612     28220    601493    233924      8.47      8.94  --
358.42/89.99	c  N dy   917    191249     19117    121682     18641     39109    601493    400128      8.45      9.04  --
364.81/91.52	c  N dy   965    203717     19116    121682     18659     27949    601493    211868      8.43      8.93  --
371.98/93.38	c  N dy  1036    217089     18966    121682     18712     40502    601492    411426      8.43      8.90  --
381.47/97.85	c Following stats are for *FIRST FINISHED THREAD ONLY*
381.47/97.85	c num threads              : 4          
381.47/97.85	c restarts                 : 1424       
381.47/97.85	c dynamic restarts         : 1406       
381.47/97.85	c static restarts          : 18         
381.47/97.85	c full restarts            : 2          
381.47/97.85	c total simplify time      : 1.17       
381.47/97.85	c learnts DL2              : 0          
381.47/97.85	c learnts size 2           : 453943     
381.47/97.85	c learnts size 1           : 17791       (9.06      % of vars)
381.47/97.85	c filedLit time            : 138.16      (36.36     % time)
381.47/97.85	c v-elim SatELite          : 132567      (67.53     % vars)
381.47/97.85	c SatELite time            : 22.86       (6.02      % time)
381.47/97.85	c v-elim xor               : 3           (0.00      % vars)
381.47/97.85	c xor elim time            : 0.42        (0.11      % time)
381.47/97.85	c num binary xor trees     : 6443       
381.47/97.85	c binxor trees' crown      : 26833       (4.16      leafs/tree)
381.47/97.85	c bin xor find time        : 0.75       
381.47/97.85	c OTF clause improved      : 19497       (0.06      clauses/conflict)
381.47/97.85	c OTF impr. size diff      : 21360       (1.10       lits/clause)
381.47/97.85	c OTF cl watch-shrink      : 91066       (0.30      clauses/conflict)
381.47/97.85	c OTF cl watch-sh-lit      : 163930      (1.80       lits/clause)
381.47/97.85	c tried to recurMin cls    : 87781       (29.19      % of conflicts)
381.47/97.85	c updated cache            : 0           (0.00       lits/tried recurMin)
381.47/97.85	c unit cls received        : 61          (0.34      % of units)
381.47/97.85	c unit cls sent            : 18181       (102.19    % of units)
381.47/97.85	c bin cls received         : 70183      
381.47/97.85	c bin cls sent             : 80947      
381.47/97.85	c clauses over max glue    : 0           (0.00      % of all clauses)
381.47/97.85	c conflicts                : 300713      (791.44    / sec)
381.47/97.85	c decisions                : 4085869     (2.29      % random)
381.47/97.85	c bogo-props               : 2001864458  (5268671.13 / sec)
381.47/97.85	c conflict literals        : 4725829     (26.52     % deleted)
381.47/97.85	c Memory used              : 1465.69     MB
381.47/97.85	c single-thread CPU time   : 379.96      s
381.47/97.85	c all-threads sum CPU time : 379.96      s
381.47/97.85	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: 961)

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

running on 4 cores: 1,3,5,7

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.83 7.99 7.84 5/319 17031
/proc/meminfo: memFree=26830672/32951124 swapFree=46575252/67111528
[pid=17031] ppid=17029 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/17031/stat : 17031 (strangenight1-m) R 17029 17031 9395 0 -1 4202496 412 0 0 0 1 0 0 0 21 0 4 0 387546641 52465664 353 33554432000 4194304 4650419 140735362535344 18446744073709551615 46941652289452 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17031/statm: 12809 353 303 112 0 7774 0
[pid=17031/tid=17032] ppid=17029 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17032/stat : 17032 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 387546641 52465664 353 33554432000 4194304 4650419 140735362535344 18446744073709551615 268660718577 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17031/tid=17033] ppid=17029 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17033/stat : 17033 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 387546641 52465664 353 33554432000 4194304 4650419 140735362535344 18446744073709551615 46941652289456 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17031/tid=17034] ppid=17029 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/17031/task/17034/stat : 17034 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 387546641 52465664 353 33554432000 4194304 4650419 140735362535344 18446744073709551615 46941652289458 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.100274 s]
/proc/loadavg: 7.83 7.99 7.84 5/319 17031
/proc/meminfo: memFree=26830672/32951124 swapFree=46575252/67111528
[pid=17031] ppid=17029 vsize=385800 CPUtime=0.33 cores=1,3,5,7
/proc/17031/stat : 17031 (strangenight1-m) S 17029 17031 9395 0 -1 4202496 22874 0 0 0 22 11 0 0 18 0 4 0 387546641 395059200 18570 33554432000 4194304 4650419 140735362535344 18446744073709551615 268660767214 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17031/statm: 97125 18753 344 112 0 92090 0
[pid=17031/tid=17032] ppid=17029 vsize=388500 CPUtime=0.06 cores=1,3,5,7
/proc/17031/task/17032/stat : 17032 (strangenight1-m) D 17029 17031 9395 0 -1 4202560 5737 0 0 0 4 2 0 0 17 0 4 0 387546641 397824000 18753 33554432000 4194304 4650419 140735362535344 18446744073709551615 4556570 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17031/tid=17033] ppid=17029 vsize=388500 CPUtime=0.07 cores=1,3,5,7
/proc/17031/task/17033/stat : 17033 (strangenight1-m) D 17029 17031 9395 0 -1 4202560 5542 0 0 0 5 2 0 0 17 0 4 0 387546641 397824000 18753 33554432000 4194304 4650419 140735362535344 18446744073709551615 4520352 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17031/tid=17034] ppid=17029 vsize=388500 CPUtime=0.08 cores=1,3,5,7
/proc/17031/task/17034/stat : 17034 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 5612 0 0 0 6 2 0 0 17 0 4 0 387546641 397824000 18753 33554432000 4194304 4650419 140735362535344 18446744073709551615 268660720042 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 385800

[startup+0.204498 s]
/proc/loadavg: 7.83 7.99 7.84 5/319 17031
/proc/meminfo: memFree=26830672/32951124 swapFree=46575252/67111528
[pid=17031] ppid=17029 vsize=429092 CPUtime=0.69 cores=1,3,5,7
/proc/17031/stat : 17031 (strangenight1-m) R 17029 17031 9395 0 -1 4202496 47028 0 0 0 49 20 0 0 17 0 4 0 387546641 439390208 38275 33554432000 4194304 4650419 140735362535344 18446744073709551615 268660705463 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17031/statm: 107273 38581 344 112 0 102238 0
[pid=17031/tid=17032] ppid=17029 vsize=429092 CPUtime=0.16 cores=1,3,5,7
/proc/17031/task/17032/stat : 17032 (strangenight1-m) S 17029 17031 9395 0 -1 4202560 12059 0 0 0 12 4 0 0 17 0 4 0 387546641 439390208 38708 33554432000 4194304 4650419 140735362535344 18446744073709551615 268660767214 0 0 4096 2 18446604463625647936 0 0 -1 7 0 0 0
[pid=17031/tid=17033] ppid=17029 vsize=429092 CPUtime=0.16 cores=1,3,5,7
/proc/17031/task/17033/stat : 17033 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 11450 0 0 0 11 5 0 0 17 0 4 0 387546641 439390208 38872 33554432000 4194304 4650419 140735362535344 18446744073709551615 268660767263 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17031/tid=17034] ppid=17029 vsize=429092 CPUtime=0.17 cores=1,3,5,7
/proc/17031/task/17034/stat : 17034 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 12222 0 0 0 12 5 0 0 17 0 4 0 387546641 439390208 38998 33554432000 4194304 4650419 140735362535344 18446744073709551615 268660767263 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 429092

[startup+0.313108 s]
/proc/loadavg: 7.83 7.99 7.84 5/319 17031
/proc/meminfo: memFree=26830672/32951124 swapFree=46575252/67111528
[pid=17031] ppid=17029 vsize=489080 CPUtime=1.08 cores=1,3,5,7
/proc/17031/stat : 17031 (strangenight1-m) R 17029 17031 9395 0 -1 4202496 76132 0 0 0 78 30 0 0 17 0 4 0 387546641 500817920 58890 33554432000 4194304 4650419 140735362535344 18446744073709551615 268660767263 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17031/statm: 122270 59112 344 112 0 117235 0
[pid=17031/tid=17032] ppid=17029 vsize=489080 CPUtime=0.26 cores=1,3,5,7
/proc/17031/task/17032/stat : 17032 (strangenight1-m) D 17029 17031 9395 0 -1 4202560 19522 0 0 0 19 7 0 0 17 0 4 0 387546641 500817920 59880 33554432000 4194304 4650419 140735362535344 18446744073709551615 4316340 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17031/tid=17033] ppid=17029 vsize=489080 CPUtime=0.27 cores=1,3,5,7
/proc/17031/task/17033/stat : 17033 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 19162 0 0 0 19 8 0 0 17 0 4 0 387546641 500817920 59880 33554432000 4194304 4650419 140735362535344 18446744073709551615 268660720042 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17031/tid=17034] ppid=17029 vsize=489080 CPUtime=0.27 cores=1,3,5,7
/proc/17031/task/17034/stat : 17034 (strangenight1-m) D 17029 17031 9395 0 -1 4202560 19608 0 0 0 19 8 0 0 17 0 4 0 387546641 500817920 59880 33554432000 4194304 4650419 140735362535344 18446744073709551615 4319766 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 489080

[startup+0.804522 s]
/proc/loadavg: 7.83 7.99 7.84 5/319 17031
/proc/meminfo: memFree=26830672/32951124 swapFree=46575252/67111528
[pid=17031] ppid=17029 vsize=525780 CPUtime=3.01 cores=1,3,5,7
/proc/17031/stat : 17031 (strangenight1-m) R 17029 17031 9395 0 -1 4202496 88987 0 0 0 263 38 0 0 18 0 4 0 387546641 538398720 71566 33554432000 4194304 4650419 140735362535344 18446744073709551615 268660686743 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17031/statm: 131445 71566 370 112 0 126410 0
[pid=17031/tid=17032] ppid=17029 vsize=525780 CPUtime=0.74 cores=1,3,5,7
/proc/17031/task/17032/stat : 17032 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 22210 0 0 0 66 8 0 0 18 0 4 0 387546641 538398720 71566 33554432000 4194304 4650419 140735362535344 18446744073709551615 268660705370 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17031/tid=17033] ppid=17029 vsize=525780 CPUtime=0.75 cores=1,3,5,7
/proc/17031/task/17033/stat : 17033 (strangenight1-m) D 17029 17031 9395 0 -1 4202560 22184 0 0 0 65 10 0 0 18 0 4 0 387546641 538398720 71566 33554432000 4194304 4650419 140735362535344 18446744073709551615 268660359802 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17031/tid=17034] ppid=17029 vsize=525780 CPUtime=0.75 cores=1,3,5,7
/proc/17031/task/17034/stat : 17034 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 23105 0 0 0 65 10 0 0 18 0 4 0 387546641 538398720 71566 33554432000 4194304 4650419 140735362535344 18446744073709551615 4310421 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 525780

[startup+1.50103 s]
/proc/loadavg: 7.92 8.01 7.85 9/323 17035
/proc/meminfo: memFree=26521644/32951124 swapFree=46575252/67111528
[pid=17031] ppid=17029 vsize=537724 CPUtime=5.82 cores=1,3,5,7
/proc/17031/stat : 17031 (strangenight1-m) R 17029 17031 9395 0 -1 4202496 96651 0 0 0 542 40 0 0 19 0 4 0 387546641 550629376 75808 33554432000 4194304 4650419 140735362535344 18446744073709551615 4370329 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17031/statm: 134431 75808 373 112 0 129396 0
[pid=17031/tid=17032] ppid=17029 vsize=537724 CPUtime=1.44 cores=1,3,5,7
/proc/17031/task/17032/stat : 17032 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 24541 0 0 0 135 9 0 0 19 0 4 0 387546641 550629376 75808 33554432000 4194304 4650419 140735362535344 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17031/tid=17033] ppid=17029 vsize=537724 CPUtime=1.45 cores=1,3,5,7
/proc/17031/task/17033/stat : 17033 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 25222 0 0 0 135 10 0 0 19 0 4 0 387546641 550629376 75808 33554432000 4194304 4650419 140735362535344 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17031/tid=17034] ppid=17029 vsize=537724 CPUtime=1.46 cores=1,3,5,7
/proc/17031/task/17034/stat : 17034 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 23189 0 0 0 136 10 0 0 19 0 4 0 387546641 550629376 75808 33554432000 4194304 4650419 140735362535344 18446744073709551615 4229498 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.82
Current children cumulated vsize (KiB) 537724

[startup+3.10075 s]
/proc/loadavg: 7.92 8.01 7.85 9/323 17035
/proc/meminfo: memFree=26527348/32951124 swapFree=46575252/67111528
[pid=17031] ppid=17029 vsize=537724 CPUtime=12.18 cores=1,3,5,7
/proc/17031/stat : 17031 (strangenight1-m) R 17029 17031 9395 0 -1 4202496 96897 0 0 0 1178 40 0 0 23 0 4 0 387546641 550629376 76054 33554432000 4194304 4650419 140735362535344 18446744073709551615 4370329 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17031/statm: 134431 76054 373 112 0 129396 0
[pid=17031/tid=17032] ppid=17029 vsize=537724 CPUtime=3.02 cores=1,3,5,7
/proc/17031/task/17032/stat : 17032 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 24574 0 0 0 293 9 0 0 23 0 4 0 387546641 550629376 76054 33554432000 4194304 4650419 140735362535344 18446744073709551615 4369867 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17031/tid=17033] ppid=17029 vsize=537724 CPUtime=3.04 cores=1,3,5,7
/proc/17031/task/17033/stat : 17033 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 25266 0 0 0 294 10 0 0 23 0 4 0 387546641 550629376 76054 33554432000 4194304 4650419 140735362535344 18446744073709551615 4244359 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17031/tid=17034] ppid=17029 vsize=537724 CPUtime=3.04 cores=1,3,5,7
/proc/17031/task/17034/stat : 17034 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 23303 0 0 0 294 10 0 0 23 0 4 0 387546641 550629376 76054 33554432000 4194304 4650419 140735362535344 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.18
Current children cumulated vsize (KiB) 537724

[startup+6.30119 s]
/proc/loadavg: 7.93 8.01 7.85 9/323 17035
/proc/meminfo: memFree=26495972/32951124 swapFree=46575252/67111528
[pid=17031] ppid=17029 vsize=546928 CPUtime=24.95 cores=1,3,5,7
/proc/17031/stat : 17031 (strangenight1-m) R 17029 17031 9395 0 -1 4202496 99689 0 0 0 2454 41 0 0 25 0 4 0 387546641 560054272 78846 33554432000 4194304 4650419 140735362535344 18446744073709551615 4369075 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17031/statm: 136732 78846 374 112 0 131697 0
[pid=17031/tid=17032] ppid=17029 vsize=546928 CPUtime=6.18 cores=1,3,5,7
/proc/17031/task/17032/stat : 17032 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 24665 0 0 0 609 9 0 0 25 0 4 0 387546641 560054272 78846 33554432000 4194304 4650419 140735362535344 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17031/tid=17033] ppid=17029 vsize=546928 CPUtime=6.24 cores=1,3,5,7
/proc/17031/task/17033/stat : 17033 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 25304 0 0 0 614 10 0 0 25 0 4 0 387546641 560054272 78846 33554432000 4194304 4650419 140735362535344 18446744073709551615 4246198 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17031/tid=17034] ppid=17029 vsize=546928 CPUtime=6.25 cores=1,3,5,7
/proc/17031/task/17034/stat : 17034 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 25874 0 0 0 614 11 0 0 25 0 4 0 387546641 560054272 78846 33554432000 4194304 4650419 140735362535344 18446744073709551615 4365453 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 24.95
Current children cumulated vsize (KiB) 546928

[startup+12.7011 s]
/proc/loadavg: 7.94 8.01 7.85 9/323 17035
/proc/meminfo: memFree=26497204/32951124 swapFree=46575252/67111528
[pid=17031] ppid=17029 vsize=546928 CPUtime=50.48 cores=1,3,5,7
/proc/17031/stat : 17031 (strangenight1-m) R 17029 17031 9395 0 -1 4202496 100858 0 0 0 5007 41 0 0 25 0 4 0 387546641 560054272 80015 33554432000 4194304 4650419 140735362535344 18446744073709551615 4370045 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17031/statm: 136732 80015 374 112 0 131697 0
[pid=17031/tid=17032] ppid=17029 vsize=546928 CPUtime=12.52 cores=1,3,5,7
/proc/17031/task/17032/stat : 17032 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 24821 0 0 0 1243 9 0 0 25 0 4 0 387546641 560054272 80015 33554432000 4194304 4650419 140735362535344 18446744073709551615 4370340 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17031/tid=17033] ppid=17029 vsize=546928 CPUtime=12.64 cores=1,3,5,7
/proc/17031/task/17033/stat : 17033 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 25437 0 0 0 1254 10 0 0 25 0 4 0 387546641 560054272 80015 33554432000 4194304 4650419 140735362535344 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17031/tid=17034] ppid=17029 vsize=546928 CPUtime=12.65 cores=1,3,5,7
/proc/17031/task/17034/stat : 17034 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 26593 0 0 0 1254 11 0 0 25 0 4 0 387546641 560054272 80015 33554432000 4194304 4650419 140735362535344 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.48
Current children cumulated vsize (KiB) 546928

[startup+25.5008 s]
/proc/loadavg: 7.95 8.01 7.85 9/323 17035
/proc/meminfo: memFree=26231072/32951124 swapFree=46575252/67111528
[pid=17031] ppid=17029 vsize=728692 CPUtime=101.53 cores=1,3,5,7
/proc/17031/stat : 17031 (strangenight1-m) R 17029 17031 9395 0 -1 4202496 437248 0 0 0 10068 85 0 0 25 0 4 0 387546641 746180608 128913 33554432000 4194304 4650419 140735362535344 18446744073709551615 4258561 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17031/statm: 182173 128913 395 112 0 177138 0
[pid=17031/tid=17032] ppid=17029 vsize=728692 CPUtime=25.18 cores=1,3,5,7
/proc/17031/task/17032/stat : 17032 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 126384 0 0 0 2497 21 0 0 25 0 4 0 387546641 746180608 128913 33554432000 4194304 4650419 140735362535344 18446744073709551615 268660359763 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17031/tid=17033] ppid=17029 vsize=728692 CPUtime=25.44 cores=1,3,5,7
/proc/17031/task/17033/stat : 17033 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 185104 0 0 0 2513 31 0 0 25 0 4 0 387546641 746180608 128913 33554432000 4194304 4650419 140735362535344 18446744073709551615 4363441 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17031/tid=17034] ppid=17029 vsize=728692 CPUtime=25.44 cores=1,3,5,7
/proc/17031/task/17034/stat : 17034 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 31507 0 0 0 2532 12 0 0 25 0 4 0 387546641 746180608 128913 33554432000 4194304 4650419 140735362535344 18446744073709551615 4363319 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 728692

[startup+51.1123 s]
/proc/loadavg: 8.02 8.02 7.86 9/323 17036
/proc/meminfo: memFree=25806096/32951124 swapFree=46575252/67111528
[pid=17031] ppid=17029 vsize=1121624 CPUtime=203.7 cores=1,3,5,7
/proc/17031/stat : 17031 (strangenight1-m) R 17029 17031 9395 0 -1 4202496 744612 0 0 0 20237 133 0 0 25 0 4 0 387546641 1148542976 212949 33554432000 4194304 4650419 140735362535344 18446744073709551615 4265135 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17031/statm: 280406 212949 395 112 0 275371 0
[pid=17031/tid=17032] ppid=17029 vsize=1121624 CPUtime=50.75 cores=1,3,5,7
/proc/17031/task/17032/stat : 17032 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 235124 0 0 0 5039 36 0 0 25 0 4 0 387546641 1148542976 212949 33554432000 4194304 4650419 140735362535344 18446744073709551615 4370334 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17031/tid=17033] ppid=17029 vsize=1121624 CPUtime=51.04 cores=1,3,5,7
/proc/17031/task/17033/stat : 17033 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 203470 0 0 0 5068 36 0 0 25 0 4 0 387546641 1148542976 212949 33554432000 4194304 4650419 140735362535344 18446744073709551615 4431653 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17031/tid=17034] ppid=17029 vsize=1121624 CPUtime=51.04 cores=1,3,5,7
/proc/17031/task/17034/stat : 17034 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 84080 0 0 0 5079 25 0 0 25 0 4 0 387546641 1148542976 212949 33554432000 4194304 4650419 140735362535344 18446744073709551615 4369856 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.7
Current children cumulated vsize (KiB) 1121624

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

[startup+51.6012 s]
/proc/loadavg: 8.02 8.02 7.86 9/323 17036
/proc/meminfo: memFree=25806096/32951124 swapFree=46575252/67111528
[pid=17031] ppid=17029 vsize=1129276 CPUtime=205.65 cores=1,3,5,7
/proc/17031/stat : 17031 (strangenight1-m) R 17029 17031 9395 0 -1 4202496 749161 0 0 0 20432 133 0 0 25 0 4 0 387546641 1156378624 217498 33554432000 4194304 4650419 140735362535344 18446744073709551615 4550246 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17031/statm: 282319 217498 395 112 0 277284 0
[pid=17031/tid=17032] ppid=17029 vsize=1129276 CPUtime=51.24 cores=1,3,5,7
/proc/17031/task/17032/stat : 17032 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 235124 0 0 0 5088 36 0 0 25 0 4 0 387546641 1156378624 217498 33554432000 4194304 4650419 140735362535344 18446744073709551615 4369305 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17031/tid=17033] ppid=17029 vsize=1129276 CPUtime=51.53 cores=1,3,5,7
/proc/17031/task/17033/stat : 17033 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 203553 0 0 0 5117 36 0 0 25 0 4 0 387546641 1156378624 217498 33554432000 4194304 4650419 140735362535344 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17031/tid=17034] ppid=17029 vsize=1129276 CPUtime=51.54 cores=1,3,5,7
/proc/17031/task/17034/stat : 17034 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 85142 0 0 0 5128 26 0 0 25 0 4 0 387546641 1156378624 217498 33554432000 4194304 4650419 140735362535344 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 205.65
Current children cumulated vsize (KiB) 1129276

[startup+77.2007 s]
/proc/loadavg: 8.01 8.02 7.86 9/323 17066
/proc/meminfo: memFree=25304924/32951124 swapFree=46575252/67111528
[pid=17031] ppid=17029 vsize=1424544 CPUtime=307.76 cores=1,3,5,7
/proc/17031/stat : 17031 (strangenight1-m) R 17029 17031 9395 0 -1 4202496 853218 0 0 0 30622 154 0 0 25 0 4 0 387546641 1458733056 278055 33554432000 4194304 4650419 140735362535344 18446744073709551615 4364358 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17031/statm: 356136 278055 396 112 0 351101 0
[pid=17031/tid=17032] ppid=17029 vsize=1424544 CPUtime=76.82 cores=1,3,5,7
/proc/17031/task/17032/stat : 17032 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 265303 0 0 0 7640 42 0 0 25 0 4 0 387546641 1458733056 278055 33554432000 4194304 4650419 140735362535344 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17031/tid=17033] ppid=17029 vsize=1424544 CPUtime=77.13 cores=1,3,5,7
/proc/17031/task/17033/stat : 17033 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 220512 0 0 0 7673 40 0 0 25 0 4 0 387546641 1458733056 278055 33554432000 4194304 4650419 140735362535344 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17031/tid=17034] ppid=17029 vsize=1424544 CPUtime=77.14 cores=1,3,5,7
/proc/17031/task/17034/stat : 17034 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 112295 0 0 0 7682 32 0 0 25 0 4 0 387546641 1458733056 278055 33554432000 4194304 4650419 140735362535344 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 307.76
Current children cumulated vsize (KiB) 1424544

[startup+90.0005 s]
/proc/loadavg: 8.01 8.02 7.86 9/323 17066
/proc/meminfo: memFree=24829868/32951124 swapFree=46575252/67111528
[pid=17031] ppid=17029 vsize=1435328 CPUtime=358.81 cores=1,3,5,7
/proc/17031/stat : 17031 (strangenight1-m) R 17029 17031 9395 0 -1 4202496 872123 0 0 0 35722 159 0 0 25 0 4 0 387546641 1469775872 289673 33554432000 4194304 4650419 140735362535344 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17031/statm: 358832 289673 396 112 0 353797 0
[pid=17031/tid=17032] ppid=17029 vsize=1435328 CPUtime=89.61 cores=1,3,5,7
/proc/17031/task/17032/stat : 17032 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 267553 0 0 0 8919 42 0 0 25 0 4 0 387546641 1469775872 289673 33554432000 4194304 4650419 140735362535344 18446744073709551615 4328518 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17031/tid=17033] ppid=17029 vsize=1435328 CPUtime=89.93 cores=1,3,5,7
/proc/17031/task/17033/stat : 17033 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 228090 0 0 0 8951 42 0 0 25 0 4 0 387546641 1469775872 289673 33554432000 4194304 4650419 140735362535344 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17031/tid=17034] ppid=17029 vsize=1435328 CPUtime=89.93 cores=1,3,5,7
/proc/17031/task/17034/stat : 17034 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 116405 0 0 0 8960 33 0 0 25 0 4 0 387546641 1469775872 289673 33554432000 4194304 4650419 140735362535344 18446744073709551615 4244326 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 358.81
Current children cumulated vsize (KiB) 1435328

[startup+93.2009 s]
/proc/loadavg: 8.09 8.03 7.87 9/323 17066
/proc/meminfo: memFree=24808664/32951124 swapFree=46575252/67111528
[pid=17031] ppid=17029 vsize=1500864 CPUtime=371.58 cores=1,3,5,7
/proc/17031/stat : 17031 (strangenight1-m) R 17029 17031 9395 0 -1 4202496 879758 0 0 0 36997 161 0 0 25 0 4 0 387546641 1536884736 294533 33554432000 4194304 4650419 140735362535344 18446744073709551615 4364340 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17031/statm: 375216 294533 396 112 0 370181 0
[pid=17031/tid=17032] ppid=17029 vsize=1500864 CPUtime=92.81 cores=1,3,5,7
/proc/17031/task/17032/stat : 17032 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 272218 0 0 0 9238 43 0 0 25 0 4 0 387546641 1536884736 294533 33554432000 4194304 4650419 140735362535344 18446744073709551615 4369856 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17031/tid=17033] ppid=17029 vsize=1500864 CPUtime=93.13 cores=1,3,5,7
/proc/17031/task/17033/stat : 17033 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 230614 0 0 0 9271 42 0 0 25 0 4 0 387546641 1536884736 294533 33554432000 4194304 4650419 140735362535344 18446744073709551615 4364944 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17031/tid=17034] ppid=17029 vsize=1500864 CPUtime=93.12 cores=1,3,5,7
/proc/17031/task/17034/stat : 17034 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 116842 0 0 0 9279 33 0 0 25 0 4 0 387546641 1536884736 294533 33554432000 4194304 4650419 140735362535344 18446744073709551615 4370340 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 371.58
Current children cumulated vsize (KiB) 1500864

[startup+96.4004 s]
/proc/loadavg: 8.00 8.01 7.86 7/323 17066
/proc/meminfo: memFree=24795396/32951124 swapFree=46575252/67111528
[pid=17031] ppid=17029 vsize=1500864 CPUtime=378.66 cores=1,3,5,7
/proc/17031/stat : 17031 (strangenight1-m) S 17029 17031 9395 0 -1 4202496 881335 0 0 0 37705 161 0 0 25 0 4 0 387546641 1536884736 294609 33554432000 4194304 4650419 140735362535344 18446744073709551615 46941652289076 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17031/statm: 375216 294609 396 112 0 370181 0
[pid=17031/tid=17032] ppid=17029 vsize=1500864 CPUtime=93.16 cores=1,3,5,7
/proc/17031/task/17032/stat : 17032 (strangenight1-m) S 17029 17031 9395 0 -1 4202560 272218 0 0 0 9273 43 0 0 25 0 4 0 387546641 1536884736 294609 33554432000 4194304 4650419 140735362535344 18446744073709551615 46941652289076 0 0 4096 2 18446604463625647936 0 0 -1 3 0 0 0
[pid=17031/tid=17033] ppid=17029 vsize=1500864 CPUtime=96.33 cores=1,3,5,7
/proc/17031/task/17033/stat : 17033 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 230656 0 0 0 9591 42 0 0 25 0 4 0 387546641 1536884736 294609 33554432000 4194304 4650419 140735362535344 18446744073709551615 46941652264644 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17031/tid=17034] ppid=17029 vsize=1500864 CPUtime=96.32 cores=1,3,5,7
/proc/17031/task/17034/stat : 17034 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 118377 0 0 0 9599 33 0 0 25 0 4 0 387546641 1536884736 294609 33554432000 4194304 4650419 140735362535344 18446744073709551615 4303283 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 378.66
Current children cumulated vsize (KiB) 1500864

[startup+97.2003 s]
/proc/loadavg: 8.00 8.01 7.86 7/323 17066
/proc/meminfo: memFree=24765512/32951124 swapFree=46575252/67111528
[pid=17031] ppid=17029 vsize=1500864 CPUtime=380.28 cores=1,3,5,7
/proc/17031/stat : 17031 (strangenight1-m) S 17029 17031 9395 0 -1 4202496 887706 0 0 0 37866 162 0 0 25 0 4 0 387546641 1536884736 300980 33554432000 4194304 4650419 140735362535344 18446744073709551615 46941652289076 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17031/statm: 375216 300980 396 112 0 370181 0
[pid=17031/tid=17032] ppid=17029 vsize=1500864 CPUtime=93.16 cores=1,3,5,7
/proc/17031/task/17032/stat : 17032 (strangenight1-m) S 17029 17031 9395 0 -1 4202560 272218 0 0 0 9273 43 0 0 25 0 4 0 387546641 1536884736 301048 33554432000 4194304 4650419 140735362535344 18446744073709551615 46941652289076 0 0 4096 2 18446604463625647936 0 0 -1 3 0 0 0
[pid=17031/tid=17033] ppid=17029 vsize=1500864 CPUtime=97.14 cores=1,3,5,7
/proc/17031/task/17033/stat : 17033 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 230656 0 0 0 9672 42 0 0 25 0 4 0 387546641 1536884736 301048 33554432000 4194304 4650419 140735362535344 18446744073709551615 46941652264644 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17031/tid=17034] ppid=17029 vsize=1500864 CPUtime=97.13 cores=1,3,5,7
/proc/17031/task/17034/stat : 17034 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 124816 0 0 0 9679 34 0 0 25 0 4 0 387546641 1536884736 301048 33554432000 4194304 4650419 140735362535344 18446744073709551615 268660323361 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 380.28
Current children cumulated vsize (KiB) 1500864

[startup+97.6012 s]
/proc/loadavg: 8.00 8.01 7.86 7/323 17066
/proc/meminfo: memFree=24765512/32951124 swapFree=46575252/67111528
[pid=17031] ppid=17029 vsize=1500864 CPUtime=381.07 cores=1,3,5,7
/proc/17031/stat : 17031 (strangenight1-m) S 17029 17031 9395 0 -1 4202496 890405 0 0 0 37945 162 0 0 25 0 4 0 387546641 1536884736 301617 33554432000 4194304 4650419 140735362535344 18446744073709551615 46941652289076 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17031/statm: 375216 301617 396 112 0 370181 0
[pid=17031/tid=17032] ppid=17029 vsize=1500864 CPUtime=93.16 cores=1,3,5,7
/proc/17031/task/17032/stat : 17032 (strangenight1-m) S 17029 17031 9395 0 -1 4202560 272218 0 0 0 9273 43 0 0 25 0 4 0 387546641 1536884736 301617 33554432000 4194304 4650419 140735362535344 18446744073709551615 46941652289076 0 0 4096 2 18446604463625647936 0 0 -1 3 0 0 0
[pid=17031/tid=17033] ppid=17029 vsize=1500864 CPUtime=97.53 cores=1,3,5,7
/proc/17031/task/17033/stat : 17033 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 230656 0 0 0 9711 42 0 0 25 0 4 0 387546641 1536884736 301617 33554432000 4194304 4650419 140735362535344 18446744073709551615 46941652264644 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17031/tid=17034] ppid=17029 vsize=1500864 CPUtime=97.52 cores=1,3,5,7
/proc/17031/task/17034/stat : 17034 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 127447 0 0 0 9718 34 0 0 25 0 4 0 387546641 1536884736 301617 33554432000 4194304 4650419 140735362535344 18446744073709551615 4370875 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 381.07
Current children cumulated vsize (KiB) 1500864

[startup+97.8011 s]
/proc/loadavg: 8.00 8.01 7.86 7/323 17066
/proc/meminfo: memFree=24765512/32951124 swapFree=46575252/67111528
[pid=17031] ppid=17029 vsize=1500864 CPUtime=381.47 cores=1,3,5,7
/proc/17031/stat : 17031 (strangenight1-m) S 17029 17031 9395 0 -1 4202496 890413 0 0 0 37985 162 0 0 25 0 4 0 387546641 1536884736 301625 33554432000 4194304 4650419 140735362535344 18446744073709551615 46941652289076 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17031/statm: 375216 301625 396 112 0 370181 0
[pid=17031/tid=17032] ppid=17029 vsize=1500864 CPUtime=93.16 cores=1,3,5,7
/proc/17031/task/17032/stat : 17032 (strangenight1-m) S 17029 17031 9395 0 -1 4202560 272218 0 0 0 9273 43 0 0 25 0 4 0 387546641 1536884736 301625 33554432000 4194304 4650419 140735362535344 18446744073709551615 46941652289076 0 0 4096 2 18446604463625647936 0 0 -1 3 0 0 0
[pid=17031/tid=17033] ppid=17029 vsize=1500864 CPUtime=97.73 cores=1,3,5,7
/proc/17031/task/17033/stat : 17033 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 230656 0 0 0 9731 42 0 0 25 0 4 0 387546641 1536884736 301625 33554432000 4194304 4650419 140735362535344 18446744073709551615 46941652264640 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17031/tid=17034] ppid=17029 vsize=1500864 CPUtime=97.72 cores=1,3,5,7
/proc/17031/task/17034/stat : 17034 (strangenight1-m) R 17029 17031 9395 0 -1 4202560 127455 0 0 0 9738 34 0 0 25 0 4 0 387546641 1536884736 301625 33554432000 4194304 4650419 140735362535344 18446744073709551615 4369253 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 381.47
Current children cumulated vsize (KiB) 1500864

[startup+97.9011 s]
/proc/loadavg: 8.00 8.01 7.86 7/323 17066
/proc/meminfo: memFree=24765512/32951124 swapFree=46575252/67111528
[pid=17031] ppid=17029 vsize=0 CPUtime=381.62 cores=1,3,5,7
/proc/17031/stat : 17031 (strangenight1-m) Z 17029 17031 9395 0 -1 4203548 890416 0 0 0 37995 167 0 0 18 0 2 0 387546641 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17031/statm: 0 0 0 0 0 0 0
[pid=17031/tid=17032] ppid=17029 vsize=0 CPUtime=93.21 cores=1,3,5,7
/proc/17031/task/17032/stat : 17032 (strangenight1-m) R 17029 17031 9395 0 -1 4203588 272218 0 0 0 9273 48 0 0 18 0 2 0 387546641 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 381.62
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 97.9045
CPU time (s): 381.634
CPU user time (s): 379.956
CPU system time (s): 1.67774
CPU usage (%): 389.802
Max. virtual memory (cumulated for all children) (KiB): 1500864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 379.956
system time used= 1.67774
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 890416
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= 24401
involuntary context switches= 2526

runsolver used 0.252961 second user time and 0.751885 second system time

The end

Launcher Data 

Begin job on node107 at 2011-05-15 06:25:54
IDJOB=3369579
IDBENCH=88143
IDSOLVER=1846
FILE ID=node107/3369579-1305433554
RUNJOBID= node107-1305433517-16711
PBS_JOBID= 13324575
Free space on /tmp= 73472 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
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-3369579-1305433554/watcher-3369579-1305433554 -o /tmp/evaluation-result-3369579-1305433554/solver-3369579-1305433554 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369579-1305433554.cnf

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

MD5SUM BENCH= c139a321e75833c70af36726562b66de
RANDOM SEED=821427940

node107.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.829
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.65
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.829
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.829
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.67
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.829
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.829
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.829
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	: 5359.47
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.829
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.829
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:     32951124 kB
MemFree:      26830960 kB
Buffers:        149056 kB
Cached:        1032740 kB
SwapCached:       9832 kB
Active:        5640780 kB
Inactive:       198324 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26830960 kB
SwapTotal:    67111528 kB
SwapFree:     46575252 kB
Dirty:           28524 kB
Writeback:           0 kB
AnonPages:     4654004 kB
Mapped:          19720 kB
Slab:           147916 kB
PageTables:      69968 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 65434344 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= 73392 MiB
End job on node107 at 2011-05-15 06:27:32