Trace number 3293612

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-2-mt? (TO) 4800.67 1207.64

General information on the benchmark

NameSAT-Race-2010-CNF/hardware-verification/
velev/11pipe_11_ooo.cnf
MD5SUMf603f11fbfe855df381282b7bce010ea
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables88289
Number of clauses4187694
Sum of the clauses size12410354
Maximum clause length341
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 23770000
Number of clauses of size 3347602
Number of clauses of size 41622
Number of clauses of size 51351
Number of clauses of size over 567118

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 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3293612-1304131049.cnf'
0.00/0.00	c -- header says num vars:          88289
0.00/0.00	c -- header says num clauses:     4187694
4.91/1.31	c -- clauses added:            0 learnts,      4187694 normals,            0 xors
4.91/1.31	c -- vars added      88289
4.91/1.31	c Parsing time:  1.01 s
4.91/1.31	c  N st     0         0     88289    417693   3770000         0  12410353         0   no data   no data
12.10/3.18	c asymm  cl-useful: 12/12/417692 lits-rem:718 time: 1.87
45.25/11.49	c Flit:  1199 Blit:     70 bXBeca:    0 bXProp:    8 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T:  8.30
45.65/11.56	c Cleaning up after failed var search:     0.07 s 
46.05/11.70	c Replacing       10 vars Replaced      315 lits Time:     0.13 s 
47.64/12.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
48.82/12.35	c bin-w-bin subsume rem           20 bins  time:  0.30 s
76.39/19.25	c subs with bin:        0  lits-rem:      8260  v-fix:    0  time:  6.89 s
81.18/20.49	c Subs w/ non-existent bins:    102 l-rem:    235 v-fix:    23 done:  45653 time:  1.21 s
82.79/20.85	c Removed useless bin:      98  fixed:     0  props:  20.01M  time:  0.36 s
141.89/35.68	c lits-rem:       269  cl-subs:     2944  v-elim:  10576  v-fix:    0  time: 14.82 s
142.30/35.73	c Finding binary XORs  T:     0.05 s  found:      13
142.70/35.87	c Replacing       13 vars Replaced     2611 lits Time:     0.14 s 
144.71/36.36	c Finding non-binary XORs:     0.40 s (found:       0, avg size: nan)
144.71/36.36	c calculated reachability. Time: 0.00
145.09/36.42	c Calc default polars -  time:   0.06 s pos:    3442 undec:   11948 neg:   72899
145.09/36.42	c =========================================================================================
145.09/36.42	c types(t): F = full restart, N = normal restart
145.09/36.42	c types(t): S = simplification begin/end, E = solution found
145.09/36.42	c restart types(rt): st = static, dy = dynamic
145.09/36.42	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
145.09/36.42	c  B st     0         0     76385    443761   3541060         0  11976021         0   no data   no data
155.47/39.06	c  N dy    16      4104     76374    443761   3541191      3894  11976015    345657     34.26     37.38
167.05/41.92	c  N dy    47      8162     76314    443761   3542494      7799  11976004    686440     37.16     49.96
176.64/44.39	c  N dy    69     12402     76302    443761   3543170     11852  11975992   1043432     36.09     38.19
188.65/47.31	c  N dy    96     16501     76294    443761   3543298     15771  11975981   1384738     36.50     46.37
198.61/49.85	c  N dy   119     20503     76279    443761   3543854     10035  11975969    394298     36.79     40.32
208.20/52.22	c  N dy   140     24533     76277    443761   3544170     13805  11975944    735956     36.51     41.36
209.40/52.52	c  F st   143     25001     76277    443761   3544191     14239  11975944    767538     36.36     28.72
222.98/55.99	c  N dy   149     30001     76273    443355   3531457     19072  11939363   1365733     36.36   no data
222.98/55.99	c  S st   149     30001     76273    443355   3531457     19072  11939363   1365733     36.36   no data
226.18/56.77	c  S st   149     30501     76264    443355   3532188     19411  11939363   1378306     36.36   no data
226.57/56.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
268.11/67.27	c Flit:  1671 Blit:    104 bXBeca:    0 bXProp:    0 Bins: 656765 BRemL:   3897 BRemN:      0 P: 200.0M T: 10.39
268.51/67.37	c Cleaning up after failed var search:     0.10 s 
271.31/68.04	c blocked clauses removed:     2058 vars:   1854 tried:       89091 T: 0.46 s
273.30/68.56	c bin-w-bin subsume rem           43 bins  time:  0.51 s
298.86/74.95	c subs with bin:     2899  lits-rem:     85712  v-fix:    0  time:  6.40 s
310.05/77.75	c Subs w/ non-existent bins:    149 l-rem:    639 v-fix:     0 done:  48027 time:  2.78 s
311.26/78.02	c Removed useless bin:     175  fixed:     0  props:  20.02M  time:  0.22 s
328.03/82.20	c lits-rem:      3261  cl-subs:      276  v-elim:    554  v-fix:    0  time:  4.17 s
334.42/83.89	c subs with bin:        1  lits-rem:       119  v-fix:    0  time:  1.58 s
341.21/85.54	c lits-rem:      3741  cl-subs:      767  v-elim:      0  v-fix:    0  time:  1.49 s
344.80/86.47	c asymm  cl-useful: 156/162/444731 lits-rem:3493 time: 0.93
345.20/86.56	c calculated reachability. Time: 0.00
345.20/86.56	c  N dy   149     30501     72026    444731   3740251     18225  11441551   2410870     36.36   no data
345.60/86.61	c Finding binary XORs  T:     0.05 s  found:      26
356.78/89.46	c  N dy   178     34547     72026    444731   3740378     22086  11441535   2749058     36.34     39.65
377.57/94.64	c  N dy   201     38560     72004    444731   3741198     25899  11441524   3098024     36.06     38.82
391.75/99.66	c Finding binary XORs  T:     0.05 s  found:       3
392.55/99.83	c  N dy   229     42601     70917    444306   3725435     15325  11165803   1838232     36.12     38.04
398.36/101.69	c  S st   253     45751     70914    444306   3725492     18362  11165794   2139413     36.41   no data
400.47/102.33	c  S st   253     46251     70914    444306   3725637     18714  11165794   2144883     36.41   no data
400.76/102.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
442.78/113.16	c Flit:  1018 Blit:      9 bXBeca:    0 bXProp:    5 Bins: 890282 BRemL:   6814 BRemN:    144 P: 200.0M T: 10.73
443.19/113.25	c Cleaning up after failed var search:     0.09 s 
443.97/113.40	c Replacing       34 vars Replaced     9190 lits Time:     0.15 s 
444.77/113.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
447.17/114.20	c bin-w-bin subsume rem         3920 bins  time:  0.59 s
471.54/120.37	c subs with bin:      288  lits-rem:     79946  v-fix:    0  time:  6.18 s
481.13/122.75	c Subs w/ non-existent bins:    119 l-rem:    569 v-fix:     5 done:  52711 time:  2.37 s
482.33/123.03	c Removed useless bin:     433  fixed:     0  props:  20.00M  time:  0.27 s
494.31/126.05	c lits-rem:      1249  cl-subs:      654  v-elim:    397  v-fix:    0  time:  3.02 s
500.73/127.66	c subs with bin:        4  lits-rem:       330  v-fix:    0  time:  1.51 s
505.49/128.80	c lits-rem:      5540  cl-subs:      242  v-elim:      0  v-fix:    0  time:  1.01 s
507.89/129.42	c asymm  cl-useful: 326/326/442996 lits-rem:5427 time: 0.62
508.30/129.53	c calculated reachability. Time: 0.00
508.30/129.53	c  N dy   253     46251     69437    442996   4327362     18440  10638010   3642789     36.41   no data
508.30/129.58	c Finding binary XORs  T:     0.06 s  found:       9
524.43/134.72	c  N dy   276     50322     69220    442996   4490895     22368  10638003   4307358     36.41     39.34
532.52/137.01	c  N dy   302     54430     69219    442996   4491039     26276  10637997   4652459     36.44     40.49
544.80/140.37	c Finding binary XORs  T:     0.06 s  found:       0
546.82/140.88	c  N dy   327     58713     69216    442884   4436276     30389  10575358   4952857     36.40     38.49
559.18/143.95	c  N dy   357     62860     69214    442884   4436376     34395  10575348   5352902     36.97     39.18
568.47/146.45	c  N dy   379     67087     69213    442884   4436506     20708  10575314   3814150     37.05     39.58
577.96/148.95	c Finding binary XORs  T:     0.06 s  found:      16
579.16/149.23	c  S st   393     69376     68319    442059   4479886     22862  10351370   4281760     37.00   no data
582.36/150.01	c  S st   393     69876     68316    442059   4480040     23202  10351370   4288043     37.00   no data
582.76/150.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
625.10/160.73	c Flit:   320 Blit:     14 bXBeca:    0 bXProp:   12 Bins: 283649 BRemL:  13915 BRemN:      0 P: 200.0M T: 10.60
625.10/160.74	c Cleaning up after failed var search:     0.00 s 
626.29/161.00	c Replacing       37 vars Replaced    15775 lits Time:     0.26 s 
627.09/161.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
629.49/161.83	c bin-w-bin subsume rem         7164 bins  time:  0.61 s
654.26/168.07	c subs with bin:     1252  lits-rem:     35442  v-fix:    0  time:  6.24 s
657.88/169.10	c Subs w/ non-existent bins:     66 l-rem:    789 v-fix:     0 done:  10664 time:  1.02 s
658.49/169.39	c Removed useless bin:    4631  fixed:     0  props:  20.01M  time:  0.28 s
669.15/172.09	c lits-rem:      3312  cl-subs:      371  v-elim:   2986  v-fix:    0  time:  2.69 s
675.54/173.68	c subs with bin:       16  lits-rem:       431  v-fix:    0  time:  1.52 s
678.33/174.37	c lits-rem:      7281  cl-subs:      368  v-elim:      0  v-fix:    0  time:  0.56 s
680.74/174.93	c asymm  cl-useful: 365/365/436905 lits-rem:7056 time: 0.57
681.12/175.04	c calculated reachability. Time: 0.00
681.12/175.04	c  N dy   393     69876     64935    436902   4459953     22648   9683842   4619946     37.00   no data
695.89/178.82	c  N dy   420     74373     64831    436902   4785306     26981   9683829   5650462     36.96     39.23
699.88/179.84	c Finding binary XORs  T:     0.08 s  found:       8
709.47/182.29	c  N dy   435     80557     64826    436746   4743916     32911   9664377   6150382     36.29     38.92
722.26/185.49	c  N dy   463     85806     64826    436746   4747294     37917   9664364   6608159     36.16     38.61
727.45/186.72	c  F st   474     87500     64826    436746   4747472     19856   9664351   4744719     36.11     28.14
727.85/186.87	c Replacing        8 vars Replaced     2160 lits Time:     0.15 s 
739.84/189.81	c  N dy   480     92693     64818    436746   4747500     24887   9664317   5338082     36.11   no data
748.18/191.97	c Finding binary XORs  T:     0.06 s  found:       5
757.37/194.27	c  N dy   506     98636     64742    436638   5167552     30532   9647966   6704233     35.89     59.43
771.75/197.85	c  S st   546    104815     64742    436638   5167905     36432   9647934   7208542     35.82     29.56
775.35/198.74	c  S st   546    105315     64741    436638   5168522     36790   9647931   7215220     35.82   no data
775.75/198.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
820.55/210.14	c Flit:   154 Blit:      2 bXBeca:    0 bXProp:   11 Bins: 430991 BRemL:  23924 BRemN:     18 P: 200.0M T: 11.27
820.55/210.14	c Cleaning up after failed var search:     0.00 s 
821.43/210.40	c Replacing       16 vars Replaced    43485 lits Time:     0.26 s 
821.73/210.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
823.47/211.33	c bin-w-bin subsume rem        17317 bins  time:  0.74 s
845.38/217.09	c subs with bin:     1994  lits-rem:     92856  v-fix:    0  time:  5.76 s
851.77/218.61	c Subs w/ non-existent bins:     47 l-rem:    180 v-fix:     0 done:  23922 time:  1.52 s
852.99/218.96	c Removed useless bin:   12418  fixed:     0  props:  20.02M  time:  0.34 s
857.76/220.14	c lits-rem:      1295  cl-subs:       74  v-elim:   1119  v-fix:    0  time:  1.18 s
864.15/221.73	c subs with bin:        9  lits-rem:       501  v-fix:    0  time:  1.47 s
868.15/222.75	c lits-rem:     20999  cl-subs:      618  v-elim:      0  v-fix:    0  time:  0.89 s
872.14/223.71	c asymm  cl-useful: 338/339/433234 lits-rem:2998 time: 0.96
872.54/223.84	c calculated reachability. Time: 0.00
872.54/223.84	c  N dy   546    105315     63447    433234   5417487     36070   9307001   7813110     35.82   no data
872.94/223.90	c Finding binary XORs  T:     0.07 s  found:       2
893.31/229.06	c Finding binary XORs  T:     0.07 s  found:       8
893.71/229.11	c  N dy   589    112099     63380    433107   5810703     21369   9297124   7051835     36.00     51.49
909.30/233.07	c  N dy   622    119351     63380    433107   5844306     28386   9297116   7753277     35.90     38.17
926.47/237.39	c  N dy   668    127035     63380    433107   5844996     35793   9297095   8510226     36.52     41.80
945.26/242.07	c  N dy   708    135304     63380    433107   5845312     43725   9297081   9283080     36.45     38.58
964.01/246.70	c  N dy   745    143957     63380    433107   5846392     29397   9297038   7651127     36.21     38.58
983.99/251.79	c  N dy   793    153273     63380    433107   5846739     38380   9297002   8463979     36.08     38.06
994.37/254.39	c  S st   817    157976     63380    433107   5847353     42970   9296982   8873338     36.03     23.86
997.99/255.28	c  S st   817    158476     63380    433107   5847478     43345   9296982   8879504     36.03   no data
998.77/255.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
1045.11/267.05	c Flit:    38 Blit:     20 bXBeca:    0 bXProp:    7 Bins: 818562 BRemL:  27871 BRemN:     27 P: 200.0M T: 11.64
1046.32/267.36	c Replacing       18 vars Replaced    30559 lits Time:     0.30 s 
1047.10/267.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1051.09/268.51	c bin-w-bin subsume rem        20988 bins  time:  0.94 s
1074.66/274.45	c subs with bin:     1224  lits-rem:     33118  v-fix:    0  time:  5.93 s
1082.25/276.36	c Subs w/ non-existent bins:     22 l-rem:    399 v-fix:     0 done:  16157 time:  1.90 s
1083.85/276.77	c Removed useless bin:   38812  fixed:     0  props:  20.00M  time:  0.40 s
1088.64/277.91	c lits-rem:       214  cl-subs:      133  v-elim:   1496  v-fix:    0  time:  1.15 s
1095.03/279.59	c subs with bin:       56  lits-rem:       475  v-fix:    0  time:  1.54 s
1099.43/280.64	c lits-rem:     21492  cl-subs:      694  v-elim:      0  v-fix:    0  time:  0.92 s
1102.23/281.31	c asymm  cl-useful: 181/181/429687 lits-rem:2885 time: 0.66
1102.63/281.45	c calculated reachability. Time: 0.00
1102.63/281.46	c  N dy   817    158476     61782    429687   6399885     42395   8960489  10129304     36.03   no data
1103.04/281.53	c Finding binary XORs  T:     0.07 s  found:       0
1127.79/287.73	c  N dy   865    168702     61774    429687   6430472     28656   8960474   8882998     35.94     38.09
1141.53/291.48	c Finding binary XORs  T:     0.08 s  found:      15
1151.90/294.03	c  N dy   906    179874     61741    429687   6679970     39482   8953641  10397462     35.61     38.34
1175.07/299.89	c  N dy   948    191426     61741    429687   6701385     25737   8953598   9066344     35.34     58.05
1202.24/306.61	c  N dy  1011    204238     61741    429687   6702372     38247   8953497  10366541     35.62     38.11
1231.79/314.06	c  N dy  1062    218026     61741    429687   6703490     51740   8953469  11576252     35.29     37.38
1266.94/322.80	c  N dy  1120    234967     61740    429687   6704347     42049   8953433  10690063     34.83     36.85
1272.14/324.15	c  S st  1127    237714     61740    429687   6704524     44685   8953424  10921259     34.72     18.79
1275.72/325.08	c  S st  1127    238215     61740    429687   6704614     45094   8953422  10929809     34.72   no data
1276.52/325.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
1323.66/337.03	c Flit:     5 Blit:      1 bXBeca:    0 bXProp:    2 Bins: 325930 BRemL:  30505 BRemN:     30 P: 200.0M T: 11.80
1324.86/337.34	c Replacing       18 vars Replaced    26940 lits Time:     0.31 s 
1325.66/337.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1330.47/338.71	c bin-w-bin subsume rem        31403 bins  time:  1.16 s
1354.42/344.76	c subs with bin:      136  lits-rem:      5342  v-fix:    0  time:  6.05 s
1362.81/346.89	c Subs w/ non-existent bins:    156 l-rem:    351 v-fix:     0 done:  18599 time:  2.13 s
1364.41/347.29	c Removed useless bin:   18165  fixed:     0  props:  20.00M  time:  0.40 s
1368.00/348.17	c lits-rem:        19  cl-subs:      163  v-elim:      4  v-fix:    0  time:  0.88 s
1374.82/349.81	c subs with bin:       19  lits-rem:       115  v-fix:    0  time:  1.49 s
1379.21/350.92	c lits-rem:      6726  cl-subs:      772  v-elim:      0  v-fix:    0  time:  0.98 s
1381.19/351.47	c asymm  cl-useful: 179/179/429242 lits-rem:2294 time: 0.55
1381.99/351.63	c calculated reachability. Time: 0.00
1381.99/351.64	c  N dy  1127    238215     61712    429242   6946021     44259   8884452  11362344     34.72   no data
1382.39/351.73	c Finding binary XORs  T:     0.09 s  found:       1
1415.92/360.18	c  N dy  1191    253447     61712    429242   6964348     32022   8884404   9953197     34.50     37.10
1441.89/366.70	c Finding binary XORs  T:     0.08 s  found:       4
1449.87/368.66	c  N dy  1259    269633     61618    428947   7012544     47648   8838868  11428853     34.23     36.09
1484.23/377.23	c  N dy  1296    286964     61613    428947   7013465     36477   8838840  10406219     33.72     36.55
1516.98/385.45	c  N dy  1344    305620     61611    428947   7014290     54598   8838822  12247668     33.18     35.05
1518.98/385.94	c  F st  1347    306252     61611    428947   7014291     55224   8838821  12296060     33.17     28.69
1520.18/386.25	c Replacing        5 vars Replaced     9395 lits Time:     0.20 s 
1562.52/396.88	c  N dy  1417    325171     61603    428947   7013949     44611   8837119  11049149     33.06     35.35
1605.66/407.66	c  N dy  1498    345412     61602    428947   7014688     34254   8837082  10095797     32.81     34.85
1628.03/413.23	c  S st  1548    357322     61601    428947   7014961     45956   8837058  11140957     32.74     12.87
1631.62/414.11	c  S st  1548    357824     61601    428947   7015191     46356   8837058  11149842     32.74   no data
1632.03/414.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
1679.55/426.18	c Flit:    15 Blit:     44 bXBeca:    0 bXProp:    3 Bins: 138929 BRemL:   9303 BRemN:   1082 P: 200.1M T: 11.93
1681.15/426.50	c Replacing        4 vars Replaced    31387 lits Time:     0.32 s 
1681.97/426.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1685.55/427.63	c bin-w-bin subsume rem         3661 bins  time:  0.91 s
1710.71/433.96	c subs with bin:      490  lits-rem:     11295  v-fix:    0  time:  6.33 s
1719.51/436.17	c Subs w/ non-existent bins:     57 l-rem:    646 v-fix:     0 done:  28075 time:  2.20 s
1721.11/436.59	c Removed useless bin:   21548  fixed:     0  props:  20.00M  time:  0.42 s
1725.50/437.64	c lits-rem:      1398  cl-subs:      191  v-elim:      3  v-fix:    0  time:  1.05 s
1731.88/439.26	c subs with bin:        0  lits-rem:        69  v-fix:    0  time:  1.49 s
1736.68/440.43	c lits-rem:      4660  cl-subs:      800  v-elim:      0  v-fix:    0  time:  1.05 s
1738.68/441.00	c asymm  cl-useful: 196/201/428168 lits-rem:1814 time: 0.57
1739.50/441.17	c calculated reachability. Time: 0.00
1739.50/441.17	c  N dy  1548    357824     61535    428168   7092176     45506   8730318  11304984     32.74   no data
1739.87/441.25	c Finding binary XORs  T:     0.08 s  found:       0
1760.19/446.30	c Finding binary XORs  T:     0.08 s  found:      10
1789.33/453.63	c  N dy  1661    377936     61364    426043   7398901     32660   8648897  10810279     32.64     34.51
1832.47/464.43	c  N dy  1744    397984     60215    423975   6525573     51025   8070256  11243354     32.44     34.65
1876.41/475.46	c  N dy  1849    418080     60213    423975   6526577     39707   8070220  10141014     32.36     40.97
1919.95/486.38	c  N dy  1942    438138     60208    423975   6527745     59148   8070160  11787445     32.25     33.97
1965.49/497.74	c  N dy  2036    458663     60206    423975   6528489     46865   8070127  10672966     32.13     33.88
2013.02/509.63	c  N dy  2135    479940     60206    423975   6529445     67642   8070088  12285186     31.95     33.79
2058.57/521.02	c  N dy  2238    499966     60206    423975   6530449     53521   8070063  10928216     31.89     40.13
2101.30/531.78	c  N dy  2330    520066     60206    423975   6531344     38156   8070002   9639169     31.78     34.88
2137.25/540.72	c  S st  2409    536736     60206    423975   6531794     54520   8069983  10962020     31.69   no data
2140.84/541.69	c  S st  2409    537236     60199    423975   6532111     54937   8069981  10969539     31.69   no data
2141.64/541.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
2184.39/552.56	c Flit:    10 Blit:     33 bXBeca:    0 bXProp:   39 Bins:   2422 BRemL:  31306 BRemN:      0 P: 200.0M T: 10.73
2185.58/552.88	c Replacing       49 vars Replaced    45609 lits Time:     0.31 s 
2186.38/553.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2189.98/553.97	c bin-w-bin subsume rem        18912 bins  time:  0.89 s
2213.96/559.97	c subs with bin:     1226  lits-rem:     25318  v-fix:    0  time:  6.00 s
2219.94/561.48	c Subs w/ non-existent bins:     16 l-rem:    316 v-fix:     0 done:  11599 time:  1.50 s
2221.14/561.80	c Removed useless bin:    1996  fixed:     0  props:  20.00M  time:  0.32 s
2229.93/563.95	c lits-rem:        83  cl-subs:     8544  v-elim:   3911  v-fix:    0  time:  2.15 s
2236.31/565.55	c subs with bin:      286  lits-rem:      1866  v-fix:    0  time:  1.50 s
2240.71/566.64	c lits-rem:     12213  cl-subs:     1187  v-elim:      0  v-fix:    0  time:  0.99 s
2242.71/567.20	c asymm  cl-useful: 217/988/416646 lits-rem:1213 time: 0.56
2243.51/567.34	c calculated reachability. Time: 0.00
2243.51/567.34	c  N dy  2409    537236     56158    416646   5999130     40891   7366943   9360945     31.69   no data
2281.85/576.95	c  N dy  2492    557315     56158    416646   6000883     30836   7366934   8590204     31.56     39.33
2324.19/587.51	c  N dy  2593    577395     56157    416646   6001540     50581   7366918  10056646     31.46     41.03
2366.93/598.20	c  N dy  2676    598055     56157    416646   6002080     36639   7366913   8749390     31.33     33.02
2408.07/608.50	c  N dy  2769    618294     56157    416646   6002622     56556   7366905  10355072     31.27     33.05
2453.62/619.92	c  N dy  2896    638296     56157    416646   6002942     39471   7366885   8803763     31.29     48.67
2497.56/630.98	c  N dy  3008    658451     56146    416646   6368886     59246   7366817  11056922     31.25     32.95
2498.36/631.15	c Finding binary XORs  T:     0.07 s  found:      26
2541.49/641.95	c  N dy  3114    678831     56146    416637   6366228     40798   7362791   9501056     31.21     33.31
2595.82/655.58	c  N dy  3190    708593     56146    416637   6366529     69957   7362763  11557425     30.78     32.64
2642.15/667.18	c  N dy  3285    728747     56146    416637   6366979     50039   7362726  10150493     30.71     34.70
2666.91/673.32	c Finding binary XORs  T:     0.08 s  found:      10
2686.88/678.33	c  N dy  3393    748757     56145    416637   6460185     69751   7362399  11905515     30.69     59.21
2718.05/686.13	c  N dy  3430    768764     56142    416637   6465451     48458   7362397   9875270     30.36     42.40
2760.38/696.73	c  N dy  3514    791421     56142    416637   6465877     70794   7362367  11729449     30.21     31.85
2792.75/704.85	c  S st  3590    805855     56141    416637   6466314     42738   7362354   9583575     30.17   no data
2795.54/705.59	c  S st  3590    806355     56141    416637   6466347     43203   7362353   9596361     30.17   no data
2796.34/705.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
2846.68/718.30	c Flit:     3 Blit:      0 bXBeca:    0 bXProp:    5 Bins:  54438 BRemL:  53709 BRemN:     93 P: 200.0M T: 12.36
2847.86/718.64	c Replacing       42 vars Replaced   102984 lits Time:     0.33 s 
2848.66/718.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2852.66/719.83	c bin-w-bin subsume rem        31625 bins  time:  1.01 s
2875.82/725.63	c subs with bin:     1274  lits-rem:     16899  v-fix:    0  time:  5.80 s
2879.42/726.57	c Subs w/ non-existent bins:     15 l-rem:    508 v-fix:     0 done:   3052 time:  0.92 s
2881.02/726.90	c Removed useless bin:    3972  fixed:     0  props:  20.00M  time:  0.33 s
2886.61/728.33	c lits-rem:        17  cl-subs:      164  v-elim:      8  v-fix:    0  time:  1.43 s
2891.40/729.54	c subs with bin:      772  lits-rem:      3432  v-fix:    0  time:  1.13 s
2893.40/730.09	c lits-rem:      2838  cl-subs:      571  v-elim:      0  v-fix:    0  time:  0.45 s
2895.39/730.55	c vivif2 --  cl tried   415088 cl shrink     2235 lits rem       7494 time: 0.45
2896.19/730.75	c vivif2 --  cl tried    41820 cl shrink     3112 lits rem      13703 time: 0.20
2898.59/731.36	c asymm  cl-useful: 128/1266/415068 lits-rem:434 time: 0.62
2900.19/731.74	c calculated reachability. Time: 0.23
2900.19/731.75	c  N dy  3590    806355     56086    415068   6429055     41448   7308762   9506149     30.17   no data
2903.41/732.51	c Finding binary XORs  T:     0.76 s  found:       5
2931.34/739.60	c Finding binary XORs  T:     0.77 s  found:      11
2963.30/747.51	c  N dy  3626    835467     55911    414636   6631274     68201   7244177  11458129     29.71     31.99
3012.04/759.73	c  N dy  3658    859223     55907    414636   6632053     49360   7244171  10439055     29.38     31.28
3051.18/769.50	c  N dy  3680    879328     55903    414636   6632687     69134   7244164  11880849     29.13     30.79
3095.12/780.52	c  N dy  3718    900420     55902    414636   6633192     46213   7244157  10125618     28.92     30.45
3132.67/789.91	c  N dy  3756    920558     55879    414636   6633658     65860   7244144  11401353     28.71     30.52
3169.42/799.16	c  N dy  3779    940967     55875    414636   6634086     85927   7244141  12656666     28.50     30.16
3214.16/810.39	c  N dy  3831    963841     55874    414636   6634669     63606   7244129  11335009     28.27     29.98
3261.70/822.26	c  N dy  3878    986103     55869    414636   6635082     85495   7244118  12911616     28.05     29.60
3299.27/831.66	c  N dy  3884   1006830     55868    414636   6635476     59886   7244115  10827176     27.76     29.57
3344.78/843.03	c  N dy  3941   1027816     55862    414636   6636048     80432   7244102  12632871     27.64     29.27
3387.53/853.74	c  N dy  3990   1047872     55369    414636   6636908     53057   7244090  10498155     27.51     31.43
3434.66/865.55	c  N dy  4065   1068107     55367    414636   6637306     72933   7244071  12141118     27.43     28.92
3443.05/867.61	c  F st  4075   1071876     55366    414636   6637431     76647   7244071  12477340     27.40     21.74
3444.27/867.95	c Replacing       16 vars Replaced   105491 lits Time:     0.20 s 
3486.20/878.42	c  N dy  4085   1092661     55350    410858   6379252     46216   7088486   9687487     27.26     28.71
3533.32/890.27	c  N dy  4163   1112758     55349    410858   6379919     65852   7088472  11382947     27.18     28.75
3576.87/901.16	c  N dy  4210   1132776     55345    410858   6380248     85567   7088451  13364488     27.03     28.60
3622.01/912.43	c  N dy  4236   1153090     55340    410858   6380633     57816   7088437  10476641     26.86     30.72
3651.55/919.88	c Finding binary XORs  T:     0.84 s  found:      48
3679.92/926.90	c  N dy  4257   1181351     55330    410804   6543105     85129   7086314  12426287     26.60     28.31
3728.65/939.12	c  N dy  4264   1207672     55327    410804   6544762     61925   7086306  10790202     26.38     27.83
3731.04/939.73	c  S st  4265   1209534     55327    410804   6544831     63765   7086306  10940319     26.37     18.98
3734.27/940.57	c  S st  4265   1210034     55326    410804   6544863     64230   7086304  10954585     26.37   no data
3735.04/940.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
3784.17/953.06	c Flit:   124 Blit:      1 bXBeca:    0 bXProp:    4 Bins: 202416 BRemL:  11775 BRemN:     65 P: 200.0M T: 12.21
3784.17/953.06	c Cleaning up after failed var search:     0.00 s 
3785.37/953.39	c Replacing       52 vars Replaced    86372 lits Time:     0.33 s 
3786.18/953.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3792.96/955.29	c bin-w-bin subsume rem        78822 bins  time:  1.70 s
3816.13/961.00	c subs with bin:      648  lits-rem:      2741  v-fix:    0  time:  5.71 s
3821.33/962.37	c Subs w/ non-existent bins:     10 l-rem:     57 v-fix:     0 done:  25362 time:  1.35 s
3822.92/962.71	c Removed useless bin:    3490  fixed:     0  props:  20.00M  time:  0.34 s
3830.93/964.79	c lits-rem:      3763  cl-subs:     2993  v-elim:   2765  v-fix:    0  time:  2.08 s
3837.70/966.45	c subs with bin:      122  lits-rem:      6776  v-fix:    0  time:  1.56 s
3841.69/967.45	c lits-rem:      5298  cl-subs:     1525  v-elim:      0  v-fix:    0  time:  0.90 s
3844.11/968.08	c vivif2 --  cl tried   408412 cl shrink     5279 lits rem      23206 time: 0.63
3846.09/968.58	c vivif2 --  cl tried    54055 cl shrink     7400 lits rem      56260 time: 0.50
3848.51/969.17	c asymm  cl-useful: 49/1404/408372 lits-rem:282 time: 0.59
3850.49/969.66	c calculated reachability. Time: 0.34
3850.49/969.66	c  N dy  4265   1210034     52375    408372   6252691     53620   6721586  10062791     26.37   no data
3855.67/970.90	c Finding binary XORs  T:     1.24 s  found:      21
3901.61/982.42	c  N dy  4271   1236395     52370    408372   6254555     79436   6721584  11437858     26.08     28.05
3945.95/993.57	c  N dy  4286   1259134     52333    408372   6350211     55744   6721577  10501636     25.88     29.38
3950.74/994.77	c Finding binary XORs  T:     1.10 s  found:       3
3992.29/1005.13	c  N dy  4314   1280982     52320    408372   6331862     76825   6720037  11737368     25.70     27.15
4027.85/1014.07	c  N dy  4320   1301715     52294    408372   6376327     97181   6720035  13049259     25.49     27.24
4062.59/1022.70	c  N dy  4336   1321806     52243    408372   6376868     67662   6720031  11072086     25.36     27.34
4108.92/1034.32	c Finding binary XORs  T:     1.12 s  found:       5
4110.54/1034.72	c  N dy  4384   1342510     52237    407753   6315129     87202   6692472  12365128     25.25     26.83
4150.48/1044.79	c  N dy  4403   1363819     52204    407753   6315409     56846   6692463  10110830     25.11     26.63
4185.63/1053.59	c  N dy  4414   1383945     52202    407753   6315734     76627   6692462  11200940     24.98     27.06
4241.15/1067.42	c  N dy  4429   1416148     52200    407753   6315980     55153   6692456   9933352     24.74     26.21
4287.91/1079.14	c  N dy  4441   1442542     52197    407753   6316357     81185   6692451  11615294     24.55     25.89
4324.64/1088.33	c  N dy  4450   1464454     52195    407753   6316838    102765   6692443  12735301     24.41     25.70
4364.59/1098.31	c  N dy  4468   1486333     52193    407753   6317005     69606   6692440  10837778     24.28     25.74
4402.53/1107.87	c  N dy  4482   1507444     52191    407753   6317341     90461   6692431  12166269     24.15     25.63
4446.87/1118.92	c  N dy  4491   1531312     52188    407753   6317522     57999   6692423   9976412     23.99     25.37
4505.60/1133.60	c  N dy  4508   1568229     51642    403395   6045292     84519   6557879  11105677     23.73     26.41
4542.76/1142.95	c  N dy  4518   1590524     51640    403395   6045666     54360   6557875   9453964     23.61     25.30
4577.51/1151.63	c  N dy  4542   1610585     51639    403395   6046108     74119   6557870  10728543     23.51     29.38
4621.45/1162.64	c  N dy  4611   1631733     51633    403395   6046374     94973   6557862  12433620     23.46     24.83
4654.99/1171.08	c  N dy  4630   1652289     51632    403395   6046631     59644   6557841   9668549     23.35     25.14
4712.51/1185.49	c  N dy  4646   1687168     51630    403395   6046963     94006   6557834  11917340     23.16     24.75
4754.85/1196.04	c  N dy  4689   1710038     51629    403395   6047273     58685   6557831   9434122     23.07     17.62
4754.85/1196.04	c  S st  4689   1710038     51629    403395   6047273     58685   6557831   9434122     23.07     17.62
4759.65/1197.28	c Finding binary XORs  T:     1.08 s  found:      33
4762.84/1198.00	c  S st  4689   1710539     51585    403192   6107589     59122   6552279   9568138     23.07   no data
4763.24/1198.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3293612-1304131049/watcher-3293612-1304131049 -o /tmp/evaluation-result-3293612-1304131049/solver-3293612-1304131049 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3293612-1304131049.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: 3.68 4.57 6.12 2/172 1028
/proc/meminfo: memFree=24848752/32950940 swapFree=67111364/67111528
[pid=1028] ppid=1026 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/1028/stat : 1028 (strangenight2-m) R 1026 1028 32427 0 -1 4202496 408 0 0 0 0 0 0 0 21 0 4 0 603335708 52441088 347 33554432000 4194304 4627427 140735486711408 18446744073709551615 215988648945 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1028/statm: 12803 347 299 106 0 7774 0
[pid=1028/tid=1029] ppid=1026 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/1028/task/1029/stat : 1029 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 5 0 0 0 0 0 0 0 22 0 4 0 603335708 52441088 352 33554432000 4194304 4627427 140735486711408 18446744073709551615 215988592571 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1028/tid=1030] ppid=1026 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/1028/task/1030/stat : 1030 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 603335708 52441088 352 33554432000 4194304 4627427 140735486711408 18446744073709551615 47250895013810 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1028/tid=1031] ppid=1026 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/1028/task/1031/stat : 1031 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 603335708 52441088 352 33554432000 4194304 4627427 140735486711408 18446744073709551615 215983639638 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.078238 s]
/proc/loadavg: 3.68 4.57 6.12 2/172 1028
/proc/meminfo: memFree=24848752/32950940 swapFree=67111364/67111528
[pid=1028] ppid=1026 vsize=356820 CPUtime=0.26 cores=1,3,5,7
/proc/1028/stat : 1028 (strangenight2-m) S 1026 1028 32427 0 -1 4202496 10154 0 0 0 21 5 0 0 18 0 4 0 603335708 365383680 9630 33554432000 4194304 4627427 140735486711408 18446744073709551615 215988697582 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1028/statm: 89239 9813 339 106 0 84210 0
[pid=1028/tid=1029] ppid=1026 vsize=357544 CPUtime=0.06 cores=1,3,5,7
/proc/1028/task/1029/stat : 1029 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 2467 0 0 0 5 1 0 0 18 0 4 0 603335708 366125056 9992 33554432000 4194304 4627427 140735486711408 18446744073709551615 4301215 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1028/tid=1030] ppid=1026 vsize=357544 CPUtime=0.06 cores=1,3,5,7
/proc/1028/task/1030/stat : 1030 (strangenight2-m) S 1026 1028 32427 0 -1 4202560 2659 0 0 0 5 1 0 0 18 0 4 0 603335708 366125056 10178 33554432000 4194304 4627427 140735486711408 18446744073709551615 215988697582 0 0 4096 2 18446604471143529472 0 0 -1 7 0 0 0
[pid=1028/tid=1031] ppid=1026 vsize=357544 CPUtime=0.06 cores=1,3,5,7
/proc/1028/task/1031/stat : 1031 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 2422 0 0 0 5 1 0 0 18 0 4 0 603335708 366125056 10194 33554432000 4194304 4627427 140735486711408 18446744073709551615 215988261231 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 356820

[startup+0.111367 s]
/proc/loadavg: 3.68 4.57 6.12 2/172 1028
/proc/meminfo: memFree=24848752/32950940 swapFree=67111364/67111528
[pid=1028] ppid=1026 vsize=362132 CPUtime=0.39 cores=1,3,5,7
/proc/1028/stat : 1028 (strangenight2-m) R 1026 1028 32427 0 -1 4202496 14245 0 0 0 32 7 0 0 18 0 4 0 603335708 370823168 13191 33554432000 4194304 4627427 140735486711408 18446744073709551615 215988289291 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1028/statm: 90634 13637 339 106 0 85605 0
[pid=1028/tid=1029] ppid=1026 vsize=362536 CPUtime=0.09 cores=1,3,5,7
/proc/1028/task/1029/stat : 1029 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 3556 0 0 0 8 1 0 0 18 0 4 0 603335708 371236864 13732 33554432000 4194304 4627427 140735486711408 18446744073709551615 215988253729 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1028/tid=1030] ppid=1026 vsize=362668 CPUtime=0.1 cores=1,3,5,7
/proc/1028/task/1030/stat : 1030 (strangenight2-m) S 1026 1028 32427 0 -1 4202560 3705 0 0 0 9 1 0 0 18 0 4 0 603335708 371372032 14045 33554432000 4194304 4627427 140735486711408 18446744073709551615 215988697582 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1028/tid=1031] ppid=1026 vsize=362948 CPUtime=0.1 cores=1,3,5,7
/proc/1028/task/1031/stat : 1031 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 3659 0 0 0 8 2 0 0 18 0 4 0 603335708 371658752 14425 33554432000 4194304 4627427 140735486711408 18446744073709551615 4530789 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 362132

[startup+0.304443 s]
/proc/loadavg: 3.68 4.57 6.12 2/172 1028
/proc/meminfo: memFree=24848752/32950940 swapFree=67111364/67111528
[pid=1028] ppid=1026 vsize=385628 CPUtime=1.14 cores=1,3,5,7
/proc/1028/stat : 1028 (strangenight2-m) R 1026 1028 32427 0 -1 4202496 35389 0 0 0 98 16 0 0 18 0 4 0 603335708 394883072 33208 33554432000 4194304 4627427 140735486711408 18446744073709551615 4531714 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1028/statm: 96407 33274 339 106 0 91378 0
[pid=1028/tid=1029] ppid=1026 vsize=385628 CPUtime=0.28 cores=1,3,5,7
/proc/1028/task/1029/stat : 1029 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 8668 0 0 0 25 3 0 0 18 0 4 0 603335708 394883072 33339 33554432000 4194304 4627427 140735486711408 18446744073709551615 4302894 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1028/tid=1030] ppid=1026 vsize=385760 CPUtime=0.29 cores=1,3,5,7
/proc/1028/task/1030/stat : 1030 (strangenight2-m) S 1026 1028 32427 0 -1 4202560 8869 0 0 0 25 4 0 0 18 0 4 0 603335708 395018240 33393 33554432000 4194304 4627427 140735486711408 18446744073709551615 215988697582 0 0 4096 2 18446604471143529472 0 0 -1 7 0 0 0
[pid=1028/tid=1031] ppid=1026 vsize=385760 CPUtime=0.28 cores=1,3,5,7
/proc/1028/task/1031/stat : 1031 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 8688 0 0 0 24 4 0 0 18 0 4 0 603335708 395018240 33530 33554432000 4194304 4627427 140735486711408 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 385628

[startup+0.701125 s]
/proc/loadavg: 3.68 4.57 6.12 2/172 1028
/proc/meminfo: memFree=24848752/32950940 swapFree=67111364/67111528
[pid=1028] ppid=1026 vsize=561968 CPUtime=2.65 cores=1,3,5,7
/proc/1028/stat : 1028 (strangenight2-m) R 1026 1028 32427 0 -1 4202496 76897 0 0 0 223 42 0 0 18 0 4 0 603335708 575455232 72454 33554432000 4194304 4627427 140735486711408 18446744073709551615 215988253729 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1028/statm: 140492 72455 339 106 0 135463 0
[pid=1028/tid=1029] ppid=1026 vsize=561968 CPUtime=0.66 cores=1,3,5,7
/proc/1028/task/1029/stat : 1029 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 19046 0 0 0 56 10 0 0 18 0 4 0 603335708 575455232 72455 33554432000 4194304 4627427 140735486711408 18446744073709551615 215988697631 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1028/tid=1030] ppid=1026 vsize=561968 CPUtime=0.66 cores=1,3,5,7
/proc/1028/task/1030/stat : 1030 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 19391 0 0 0 56 10 0 0 18 0 4 0 603335708 575455232 72457 33554432000 4194304 4627427 140735486711408 18446744073709551615 215988697582 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1028/tid=1031] ppid=1026 vsize=561968 CPUtime=0.65 cores=1,3,5,7
/proc/1028/task/1031/stat : 1031 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 18794 0 0 0 55 10 0 0 18 0 4 0 603335708 575455232 72462 33554432000 4194304 4627427 140735486711408 18446744073709551615 4360269 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 561968

[startup+1.50099 s]
/proc/loadavg: 3.95 4.61 6.12 9/184 1041
/proc/meminfo: memFree=24041808/32950940 swapFree=67111364/67111528
[pid=1028] ppid=1026 vsize=828696 CPUtime=5.7 cores=1,3,5,7
/proc/1028/stat : 1028 (strangenight2-m) R 1026 1028 32427 0 -1 4202496 151199 0 0 0 484 86 0 0 18 0 4 0 603335708 848584704 142347 33554432000 4194304 4627427 140735486711408 18446744073709551615 4309272 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1028/statm: 207174 142347 364 106 0 202145 0
[pid=1028/tid=1029] ppid=1026 vsize=828696 CPUtime=1.41 cores=1,3,5,7
/proc/1028/task/1029/stat : 1029 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 37900 0 0 0 120 21 0 0 18 0 4 0 603335708 848584704 142347 33554432000 4194304 4627427 140735486711408 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1028/tid=1030] ppid=1026 vsize=828696 CPUtime=1.43 cores=1,3,5,7
/proc/1028/task/1030/stat : 1030 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 37888 0 0 0 121 22 0 0 18 0 4 0 603335708 848584704 142347 33554432000 4194304 4627427 140735486711408 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1028/tid=1031] ppid=1026 vsize=828696 CPUtime=1.41 cores=1,3,5,7
/proc/1028/task/1031/stat : 1031 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 36793 0 0 0 120 21 0 0 18 0 4 0 603335708 848584704 142347 33554432000 4194304 4627427 140735486711408 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.7
Current children cumulated vsize (KiB) 828696

[startup+3.10071 s]
/proc/loadavg: 3.95 4.61 6.12 9/184 1041
/proc/meminfo: memFree=23578172/32950940 swapFree=67111364/67111528
[pid=1028] ppid=1026 vsize=831436 CPUtime=12.1 cores=1,3,5,7
/proc/1028/stat : 1028 (strangenight2-m) R 1026 1028 32427 0 -1 4202496 155042 0 0 0 1123 87 0 0 20 0 4 0 603335708 851390464 145627 33554432000 4194304 4627427 140735486711408 18446744073709551615 4309272 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1028/statm: 207859 145627 365 106 0 202830 0
[pid=1028/tid=1029] ppid=1026 vsize=831436 CPUtime=3.02 cores=1,3,5,7
/proc/1028/task/1029/stat : 1029 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 38658 0 0 0 280 22 0 0 20 0 4 0 603335708 851390464 145627 33554432000 4194304 4627427 140735486711408 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1028/tid=1030] ppid=1026 vsize=831436 CPUtime=3.02 cores=1,3,5,7
/proc/1028/task/1030/stat : 1030 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 38646 0 0 0 280 22 0 0 20 0 4 0 603335708 851390464 145627 33554432000 4194304 4627427 140735486711408 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1028/tid=1031] ppid=1026 vsize=831436 CPUtime=3.01 cores=1,3,5,7
/proc/1028/task/1031/stat : 1031 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 38407 0 0 0 280 21 0 0 20 0 4 0 603335708 851390464 145627 33554432000 4194304 4627427 140735486711408 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.1
Current children cumulated vsize (KiB) 831436

[startup+6.30115 s]
/proc/loadavg: 3.95 4.61 6.12 9/184 1041
/proc/meminfo: memFree=23528100/32950940 swapFree=67111364/67111528
[pid=1028] ppid=1026 vsize=834628 CPUtime=24.89 cores=1,3,5,7
/proc/1028/stat : 1028 (strangenight2-m) R 1026 1028 32427 0 -1 4202496 158588 0 0 0 2400 89 0 0 25 0 4 0 603335708 854659072 149173 33554432000 4194304 4627427 140735486711408 18446744073709551615 4238282 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1028/statm: 208657 149173 366 106 0 203628 0
[pid=1028/tid=1029] ppid=1026 vsize=834628 CPUtime=6.22 cores=1,3,5,7
/proc/1028/task/1029/stat : 1029 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 39515 0 0 0 600 22 0 0 25 0 4 0 603335708 854659072 149173 33554432000 4194304 4627427 140735486711408 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1028/tid=1030] ppid=1026 vsize=834628 CPUtime=6.2 cores=1,3,5,7
/proc/1028/task/1030/stat : 1030 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 39522 0 0 0 598 22 0 0 25 0 4 0 603335708 854659072 149173 33554432000 4194304 4627427 140735486711408 18446744073709551615 4299536 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1028/tid=1031] ppid=1026 vsize=834628 CPUtime=6.22 cores=1,3,5,7
/proc/1028/task/1031/stat : 1031 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 39416 0 0 0 600 22 0 0 25 0 4 0 603335708 854659072 149173 33554432000 4194304 4627427 140735486711408 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.89
Current children cumulated vsize (KiB) 834628

[startup+12.701 s]
/proc/loadavg: 4.64 4.74 6.14 9/184 1041
/proc/meminfo: memFree=22930852/32950940 swapFree=67111364/67111528
[pid=1028] ppid=1026 vsize=1310084 CPUtime=50.42 cores=1,3,5,7
/proc/1028/stat : 1028 (strangenight2-m) R 1026 1028 32427 0 -1 4202496 244830 0 0 0 4935 107 0 0 18 0 4 0 603335708 1341526016 235415 33554432000 4194304 4627427 140735486711408 18446744073709551615 4424704 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1028/statm: 327521 235415 377 106 0 322492 0
[pid=1028/tid=1029] ppid=1026 vsize=1310084 CPUtime=12.61 cores=1,3,5,7
/proc/1028/task/1029/stat : 1029 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 67183 0 0 0 1234 27 0 0 18 0 4 0 603335708 1341526016 235415 33554432000 4194304 4627427 140735486711408 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1028/tid=1030] ppid=1026 vsize=1310084 CPUtime=12.56 cores=1,3,5,7
/proc/1028/task/1030/stat : 1030 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 67338 0 0 0 1227 29 0 0 18 0 4 0 603335708 1341526016 235415 33554432000 4194304 4627427 140735486711408 18446744073709551615 4424704 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1028/tid=1031] ppid=1026 vsize=1310084 CPUtime=12.61 cores=1,3,5,7
/proc/1028/task/1031/stat : 1031 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 42432 0 0 0 1238 23 0 0 25 0 4 0 603335708 1341526016 235415 33554432000 4194304 4627427 140735486711408 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.42
Current children cumulated vsize (KiB) 1310084

[startup+25.5008 s]
/proc/loadavg: 5.16 4.85 6.16 9/184 1042
/proc/meminfo: memFree=22557488/32950940 swapFree=67111364/67111528
[pid=1028] ppid=1026 vsize=1344672 CPUtime=101.55 cores=1,3,5,7
/proc/1028/stat : 1028 (strangenight2-m) R 1026 1028 32427 0 -1 4202496 272416 0 0 0 10040 115 0 0 25 0 4 0 603335708 1376944128 263001 33554432000 4194304 4627427 140735486711408 18446744073709551615 4420161 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1028/statm: 336168 263001 382 106 0 331139 0
[pid=1028/tid=1029] ppid=1026 vsize=1344672 CPUtime=25.41 cores=1,3,5,7
/proc/1028/task/1029/stat : 1029 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 75816 0 0 0 2513 28 0 0 25 0 4 0 603335708 1376944128 263001 33554432000 4194304 4627427 140735486711408 18446744073709551615 4420151 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1028/tid=1030] ppid=1026 vsize=1344672 CPUtime=25.29 cores=1,3,5,7
/proc/1028/task/1030/stat : 1030 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 75802 0 0 0 2498 31 0 0 25 0 4 0 603335708 1376944128 263001 33554432000 4194304 4627427 140735486711408 18446744073709551615 4420151 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1028/tid=1031] ppid=1026 vsize=1344672 CPUtime=25.42 cores=1,3,5,7
/proc/1028/task/1031/stat : 1031 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 44337 0 0 0 2517 25 0 0 25 0 4 0 603335708 1376944128 263001 33554432000 4194304 4627427 140735486711408 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 1344672

[startup+51.1003 s]
/proc/loadavg: 6.13 5.10 6.21 9/184 1042
/proc/meminfo: memFree=22466624/32950940 swapFree=67111364/67111528
[pid=1028] ppid=1026 vsize=1353068 CPUtime=203.8 cores=1,3,5,7
/proc/1028/stat : 1028 (strangenight2-m) R 1026 1028 32427 0 -1 4202496 300377 0 0 0 20255 125 0 0 25 0 4 0 603335708 1385541632 278219 33554432000 4194304 4627427 140735486711408 18446744073709551615 4308280 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1028/statm: 338267 278219 388 106 0 333238 0
[pid=1028/tid=1029] ppid=1026 vsize=1353068 CPUtime=51 cores=1,3,5,7
/proc/1028/task/1029/stat : 1029 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 83883 0 0 0 5070 30 0 0 25 0 4 0 603335708 1385541632 278219 33554432000 4194304 4627427 140735486711408 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1028/tid=1030] ppid=1026 vsize=1353068 CPUtime=50.75 cores=1,3,5,7
/proc/1028/task/1030/stat : 1030 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 81980 0 0 0 5042 33 0 0 25 0 4 0 603335708 1385541632 278219 33554432000 4194304 4627427 140735486711408 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1028/tid=1031] ppid=1026 vsize=1353068 CPUtime=51.01 cores=1,3,5,7
/proc/1028/task/1031/stat : 1031 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 53744 0 0 0 5073 28 0 0 25 0 4 0 603335708 1385541632 278219 33554432000 4194304 4627427 140735486711408 18446744073709551615 4306556 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.8
Current children cumulated vsize (KiB) 1353068

[startup+102.306 s]
/proc/loadavg: 7.36 5.62 6.32 8/184 1047
/proc/meminfo: memFree=21028560/32950940 swapFree=67111364/67111528
[pid=1028] ppid=1026 vsize=2173652 CPUtime=400.47 cores=1,3,5,7
/proc/1028/stat : 1028 (strangenight2-m) R 1026 1028 32427 0 -1 4202496 518968 0 0 0 39876 171 0 0 25 0 4 0 603335708 2225819648 448157 33554432000 4194304 4627427 140735486711408 18446744073709551615 4324663 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1028/statm: 543413 448157 391 106 0 538384 0
[pid=1028/tid=1029] ppid=1026 vsize=2173652 CPUtime=100.11 cores=1,3,5,7
/proc/1028/task/1029/stat : 1029 (strangenight2-m) S 1026 1028 32427 0 -1 4202560 116026 0 0 0 9973 38 0 0 25 0 4 0 603335708 2225819648 448157 33554432000 4194304 4627427 140735486711408 18446744073709551615 47250895012382 0 0 4096 2 18446604471143529472 0 0 -1 1 0 0 0
[pid=1028/tid=1030] ppid=1026 vsize=2173652 CPUtime=99.92 cores=1,3,5,7
/proc/1028/task/1030/stat : 1030 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 101470 0 0 0 9954 38 0 0 23 0 4 0 603335708 2225819648 448157 33554432000 4194304 4627427 140735486711408 18446744073709551615 4538320 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1028/tid=1031] ppid=1026 vsize=2173652 CPUtime=100.13 cores=1,3,5,7
/proc/1028/task/1031/stat : 1031 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 184037 0 0 0 9958 55 0 0 25 0 4 0 603335708 2225819648 448157 33554432000 4194304 4627427 140735486711408 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 400.47
Current children cumulated vsize (KiB) 2173652

[startup+162.301 s]

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


[startup+702.3 s]
/proc/loadavg: 8.18 7.77 7.13 9/184 1063
/proc/meminfo: memFree=17858112/32950940 swapFree=67111364/67111528
[pid=1028] ppid=1026 vsize=3795900 CPUtime=2782.75 cores=1,3,5,7
/proc/1028/stat : 1028 (strangenight2-m) R 1026 1028 32427 0 -1 4202496 1603593 0 0 0 277815 460 0 0 25 0 4 0 603335708 3887001600 799384 33554432000 4194304 4627427 140735486711408 18446744073709551615 4299605 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1028/statm: 948975 799384 391 106 0 943946 0
[pid=1028/tid=1029] ppid=1026 vsize=3795900 CPUtime=698.35 cores=1,3,5,7
/proc/1028/task/1029/stat : 1029 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 339566 0 0 0 69735 100 0 0 25 0 4 0 603335708 3887001600 799384 33554432000 4194304 4627427 140735486711408 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1028/tid=1030] ppid=1026 vsize=3795900 CPUtime=691.22 cores=1,3,5,7
/proc/1028/task/1030/stat : 1030 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 331794 0 0 0 69017 105 0 0 25 0 4 0 603335708 3887001600 799384 33554432000 4194304 4627427 140735486711408 18446744073709551615 4495429 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1028/tid=1031] ppid=1026 vsize=3795900 CPUtime=694.8 cores=1,3,5,7
/proc/1028/task/1031/stat : 1031 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 576364 0 0 0 69329 151 0 0 25 0 4 0 603335708 3887001600 799384 33554432000 4194304 4627427 140735486711408 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2782.75
Current children cumulated vsize (KiB) 3795900

[startup+762.307 s]
/proc/loadavg: 8.14 7.82 7.19 9/184 1064
/proc/meminfo: memFree=17388712/32950940 swapFree=67111364/67111528
[pid=1028] ppid=1026 vsize=4273492 CPUtime=3022.45 cores=1,3,5,7
/proc/1028/stat : 1028 (strangenight2-m) R 1026 1028 32427 0 -1 4202496 1785751 0 0 0 301733 512 0 0 25 0 4 0 603335708 4376055808 903036 33554432000 4194304 4627427 140735486711408 18446744073709551615 4308304 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1028/statm: 1068373 903036 391 106 0 1063344 0
[pid=1028/tid=1029] ppid=1026 vsize=4273492 CPUtime=758.36 cores=1,3,5,7
/proc/1028/task/1029/stat : 1029 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 367333 0 0 0 75727 109 0 0 25 0 4 0 603335708 4376055808 903036 33554432000 4194304 4627427 140735486711408 18446744073709551615 4308143 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1028/tid=1030] ppid=1026 vsize=4273492 CPUtime=750.9 cores=1,3,5,7
/proc/1028/task/1030/stat : 1030 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 352029 0 0 0 74978 112 0 0 25 0 4 0 603335708 4376055808 903036 33554432000 4194304 4627427 140735486711408 18446744073709551615 4309111 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1028/tid=1031] ppid=1026 vsize=4273492 CPUtime=754.8 cores=1,3,5,7
/proc/1028/task/1031/stat : 1031 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 597628 0 0 0 75322 158 0 0 25 0 4 0 603335708 4376055808 903036 33554432000 4194304 4627427 140735486711408 18446744073709551615 4308268 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3022.45
Current children cumulated vsize (KiB) 4273492

[startup+822.3 s]
/proc/loadavg: 8.12 7.87 7.24 9/184 1066
/proc/meminfo: memFree=17345288/32950940 swapFree=67111364/67111528
[pid=1028] ppid=1026 vsize=4558648 CPUtime=3262.1 cores=1,3,5,7
/proc/1028/stat : 1028 (strangenight2-m) R 1026 1028 32427 0 -1 4202496 1869530 0 0 0 325671 539 0 0 25 0 4 0 603335708 4668055552 913742 33554432000 4194304 4627427 140735486711408 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1028/statm: 1139662 913742 391 106 0 1134633 0
[pid=1028/tid=1029] ppid=1026 vsize=4558648 CPUtime=818.36 cores=1,3,5,7
/proc/1028/task/1029/stat : 1029 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 388512 0 0 0 81721 115 0 0 25 0 4 0 603335708 4668055552 913742 33554432000 4194304 4627427 140735486711408 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1028/tid=1030] ppid=1026 vsize=4558648 CPUtime=810.57 cores=1,3,5,7
/proc/1028/task/1030/stat : 1030 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 372564 0 0 0 80939 118 0 0 25 0 4 0 603335708 4668055552 913742 33554432000 4194304 4627427 140735486711408 18446744073709551615 4308218 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1028/tid=1031] ppid=1026 vsize=4558648 CPUtime=814.79 cores=1,3,5,7
/proc/1028/task/1031/stat : 1031 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 619084 0 0 0 81315 164 0 0 25 0 4 0 603335708 4668055552 913742 33554432000 4194304 4627427 140735486711408 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3262.1
Current children cumulated vsize (KiB) 4558648

[startup+882.301 s]
/proc/loadavg: 8.04 7.89 7.29 9/184 1068
/proc/meminfo: memFree=17282496/32950940 swapFree=67111364/67111528
[pid=1028] ppid=1026 vsize=4495348 CPUtime=3501.77 cores=1,3,5,7
/proc/1028/stat : 1028 (strangenight2-m) R 1026 1028 32427 0 -1 4202496 1969909 0 0 0 349609 568 0 0 25 0 4 0 603335708 4603236352 916882 33554432000 4194304 4627427 140735486711408 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1028/statm: 1123837 916882 391 106 0 1118808 0
[pid=1028/tid=1029] ppid=1026 vsize=4495348 CPUtime=878.36 cores=1,3,5,7
/proc/1028/task/1029/stat : 1029 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 408607 0 0 0 87716 120 0 0 25 0 4 0 603335708 4603236352 916882 33554432000 4194304 4627427 140735486711408 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1028/tid=1030] ppid=1026 vsize=4495348 CPUtime=870.25 cores=1,3,5,7
/proc/1028/task/1030/stat : 1030 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 397849 0 0 0 86898 127 0 0 25 0 4 0 603335708 4603236352 916882 33554432000 4194304 4627427 140735486711408 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1028/tid=1031] ppid=1026 vsize=4495348 CPUtime=874.79 cores=1,3,5,7
/proc/1028/task/1031/stat : 1031 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 642647 0 0 0 87309 170 0 0 25 0 4 0 603335708 4603236352 916882 33554432000 4194304 4627427 140735486711408 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3501.77
Current children cumulated vsize (KiB) 4495348

[startup+942.3 s]
/proc/loadavg: 8.08 7.92 7.33 9/184 1069
/proc/meminfo: memFree=16801824/32950940 swapFree=67111364/67111528
[pid=1028] ppid=1026 vsize=4771852 CPUtime=3741.44 cores=1,3,5,7
/proc/1028/stat : 1028 (strangenight2-m) R 1026 1028 32427 0 -1 4202496 2145057 0 0 0 373530 614 0 0 25 0 4 0 603335708 4886376448 1015014 33554432000 4194304 4627427 140735486711408 18446744073709551615 4238603 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1028/statm: 1192963 1015016 391 106 0 1187934 0
[pid=1028/tid=1029] ppid=1026 vsize=4771852 CPUtime=938.36 cores=1,3,5,7
/proc/1028/task/1029/stat : 1029 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 506182 0 0 0 93693 143 0 0 25 0 4 0 603335708 4886376448 1015017 33554432000 4194304 4627427 140735486711408 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1028/tid=1030] ppid=1026 vsize=4771852 CPUtime=929.92 cores=1,3,5,7
/proc/1028/task/1030/stat : 1030 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 417726 0 0 0 92859 133 0 0 25 0 4 0 603335708 4886376448 1015017 33554432000 4194304 4627427 140735486711408 18446744073709551615 4327552 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1028/tid=1031] ppid=1026 vsize=4771852 CPUtime=934.78 cores=1,3,5,7
/proc/1028/task/1031/stat : 1031 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 671737 0 0 0 93299 179 0 0 25 0 4 0 603335708 4886376448 1015017 33554432000 4194304 4627427 140735486711408 18446744073709551615 4308345 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3741.44
Current children cumulated vsize (KiB) 4771852

[startup+1002.3 s]
/proc/loadavg: 8.09 7.95 7.38 9/184 1071
/proc/meminfo: memFree=15640540/32950940 swapFree=67111364/67111528
[pid=1028] ppid=1026 vsize=5756296 CPUtime=3981.11 cores=1,3,5,7
/proc/1028/stat : 1028 (strangenight2-m) R 1026 1028 32427 0 -1 4202496 2382345 0 0 0 397439 672 0 0 25 0 4 0 603335708 5894447104 1212813 33554432000 4194304 4627427 140735486711408 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1028/statm: 1439074 1212813 397 106 0 1434045 0
[pid=1028/tid=1029] ppid=1026 vsize=5756296 CPUtime=998.36 cores=1,3,5,7
/proc/1028/task/1029/stat : 1029 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 527269 0 0 0 99686 150 0 0 25 0 4 0 603335708 5894447104 1212813 33554432000 4194304 4627427 140735486711408 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1028/tid=1030] ppid=1026 vsize=5756296 CPUtime=989.59 cores=1,3,5,7
/proc/1028/task/1030/stat : 1030 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 521952 0 0 0 98805 154 0 0 25 0 4 0 603335708 5894447104 1212813 33554432000 4194304 4627427 140735486711408 18446744073709551615 4520550 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1028/tid=1031] ppid=1026 vsize=5756296 CPUtime=994.77 cores=1,3,5,7
/proc/1028/task/1031/stat : 1031 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 715291 0 0 0 99286 191 0 0 25 0 4 0 603335708 5894447104 1212813 33554432000 4194304 4627427 140735486711408 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3981.11
Current children cumulated vsize (KiB) 5756296

[startup+1062.3 s]
/proc/loadavg: 8.02 7.96 7.41 9/184 1072
/proc/meminfo: memFree=15534856/32950940 swapFree=67111364/67111528
[pid=1028] ppid=1026 vsize=5813504 CPUtime=4220.78 cores=1,3,5,7
/proc/1028/stat : 1028 (strangenight2-m) R 1026 1028 32427 0 -1 4202496 2458716 0 0 0 421383 695 0 0 25 0 4 0 603335708 5953028096 1223141 33554432000 4194304 4627427 140735486711408 18446744073709551615 4352192 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1028/statm: 1453376 1223141 397 106 0 1448347 0
[pid=1028/tid=1029] ppid=1026 vsize=5813504 CPUtime=1058.35 cores=1,3,5,7
/proc/1028/task/1029/stat : 1029 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 551372 0 0 0 105679 156 0 0 25 0 4 0 603335708 5953028096 1223141 33554432000 4194304 4627427 140735486711408 18446744073709551615 4299688 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1028/tid=1030] ppid=1026 vsize=5813504 CPUtime=1049.26 cores=1,3,5,7
/proc/1028/task/1030/stat : 1030 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 533749 0 0 0 104768 158 0 0 25 0 4 0 603335708 5953028096 1223141 33554432000 4194304 4627427 140735486711408 18446744073709551615 4324648 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1028/tid=1031] ppid=1026 vsize=5813504 CPUtime=1054.78 cores=1,3,5,7
/proc/1028/task/1031/stat : 1031 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 735865 0 0 0 105281 197 0 0 25 0 4 0 603335708 5953028096 1223141 33554432000 4194304 4627427 140735486711408 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4220.78
Current children cumulated vsize (KiB) 5813504

[startup+1122.3 s]
/proc/loadavg: 8.17 8.01 7.46 9/184 1074
/proc/meminfo: memFree=15403764/32950940 swapFree=67111364/67111528
[pid=1028] ppid=1026 vsize=5780208 CPUtime=4460.46 cores=1,3,5,7
/proc/1028/stat : 1028 (strangenight2-m) R 1026 1028 32427 0 -1 4202496 2540197 0 0 0 445324 722 0 0 25 0 4 0 603335708 5918932992 1233309 33554432000 4194304 4627427 140735486711408 18446744073709551615 4322185 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1028/statm: 1445052 1233309 397 106 0 1440023 0
[pid=1028/tid=1029] ppid=1026 vsize=5780208 CPUtime=1118.36 cores=1,3,5,7
/proc/1028/task/1029/stat : 1029 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 564422 0 0 0 111674 162 0 0 25 0 4 0 603335708 5918932992 1233309 33554432000 4194304 4627427 140735486711408 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1028/tid=1030] ppid=1026 vsize=5780208 CPUtime=1108.94 cores=1,3,5,7
/proc/1028/task/1030/stat : 1030 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 550705 0 0 0 110731 163 0 0 25 0 4 0 603335708 5918932992 1233309 33554432000 4194304 4627427 140735486711408 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1028/tid=1031] ppid=1026 vsize=5780208 CPUtime=1114.78 cores=1,3,5,7
/proc/1028/task/1031/stat : 1031 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 760344 0 0 0 111273 205 0 0 25 0 4 0 603335708 5918932992 1233309 33554432000 4194304 4627427 140735486711408 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4460.46
Current children cumulated vsize (KiB) 5780208

[startup+1182.3 s]
/proc/loadavg: 8.15 8.03 7.50 9/184 1076
/proc/meminfo: memFree=15156084/32950940 swapFree=67111364/67111528
[pid=1028] ppid=1026 vsize=6362708 CPUtime=4700.13 cores=1,3,5,7
/proc/1028/stat : 1028 (strangenight2-m) R 1026 1028 32427 0 -1 4202496 2648191 0 0 0 469260 753 0 0 25 0 4 0 603335708 6515412992 1296258 33554432000 4194304 4627427 140735486711408 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1028/statm: 1590677 1296258 397 106 0 1585648 0
[pid=1028/tid=1029] ppid=1026 vsize=6362708 CPUtime=1178.37 cores=1,3,5,7
/proc/1028/task/1029/stat : 1029 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 616676 0 0 0 117663 174 0 0 25 0 4 0 603335708 6515412992 1296258 33554432000 4194304 4627427 140735486711408 18446744073709551615 4424709 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1028/tid=1030] ppid=1026 vsize=6362708 CPUtime=1168.61 cores=1,3,5,7
/proc/1028/task/1030/stat : 1030 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 571289 0 0 0 116691 170 0 0 25 0 4 0 603335708 6515412992 1296258 33554432000 4194304 4627427 140735486711408 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1028/tid=1031] ppid=1026 vsize=6362708 CPUtime=1174.78 cores=1,3,5,7
/proc/1028/task/1031/stat : 1031 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 774807 0 0 0 117268 210 0 0 25 0 4 0 603335708 6515412992 1296258 33554432000 4194304 4627427 140735486711408 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4700.13
Current children cumulated vsize (KiB) 6362708



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1207.4 s]
/proc/loadavg: 8.25 8.06 7.53 9/184 1076
/proc/meminfo: memFree=14936476/32950940 swapFree=67111364/67111528
[pid=1028] ppid=1026 vsize=6528216 CPUtime=4800.4 cores=1,3,5,7
/proc/1028/stat : 1028 (strangenight2-m) R 1026 1028 32427 0 -1 4202496 2708251 0 0 0 479269 771 0 0 25 0 4 0 603335708 6684893184 1341476 33554432000 4194304 4627427 140735486711408 18446744073709551615 4238603 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1028/statm: 1632054 1341476 397 106 0 1627025 0
[pid=1028/tid=1029] ppid=1026 vsize=6528216 CPUtime=1203.47 cores=1,3,5,7
/proc/1028/task/1029/stat : 1029 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 626265 0 0 0 120170 177 0 0 25 0 4 0 603335708 6684893184 1341479 33554432000 4194304 4627427 140735486711408 18446744073709551615 4299595 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1028/tid=1030] ppid=1026 vsize=6528216 CPUtime=1193.58 cores=1,3,5,7
/proc/1028/task/1030/stat : 1030 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 581055 0 0 0 119185 173 0 0 25 0 4 0 603335708 6684893184 1341479 33554432000 4194304 4627427 140735486711408 18446744073709551615 4308928 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1028/tid=1031] ppid=1026 vsize=6528216 CPUtime=1199.89 cores=1,3,5,7
/proc/1028/task/1031/stat : 1031 (strangenight2-m) R 1026 1028 32427 0 -1 4202560 784154 0 0 0 119776 213 0 0 25 0 4 0 603335708 6684893184 1341479 33554432000 4194304 4627427 140735486711408 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.4
Current children cumulated vsize (KiB) 6528216

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

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

[startup+1207.6 s]
/proc/loadavg: 8.25 8.06 7.53 9/184 1076
/proc/meminfo: memFree=14936476/32950940 swapFree=67111364/67111528
[pid=1028] ppid=1026 vsize=0 CPUtime=4800.62 cores=1,3,5,7
/proc/1028/stat : 1028 (strangenight2-m) Z 1026 1028 32427 0 -1 4203548 2708259 0 0 0 479272 790 0 0 25 0 2 0 603335708 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1028/statm: 0 0 0 0 0 0 0
[pid=1028/tid=1030] ppid=1026 vsize=0 CPUtime=1193.77 cores=1,3,5,7
/proc/1028/task/1030/stat : 1030 (strangenight2-m) R 1026 1028 32427 0 -1 4203588 581055 0 0 0 119185 192 0 0 25 0 2 0 603335708 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) 4800.62
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1207.64
CPU time (s): 4800.67
CPU user time (s): 4792.72
CPU system time (s): 7.95079
CPU usage (%): 397.524
Max. virtual memory (cumulated for all children) (KiB): 6528216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.72
system time used= 7.95079
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2708259
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= 71727
involuntary context switches= 18846

runsolver used 1.79273 second user time and 4.82227 second system time

The end

Launcher Data 

Begin job on node117 at 2011-04-30 04:37:29
IDJOB=3293612
IDBENCH=88163
IDSOLVER=1586
FILE ID=node117/3293612-1304131049
RUNJOBID= node117-1304131049-1017
PBS_JOBID= 13170762
Free space on /tmp= 72460 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT-Race-2010-CNF/hardware-verification/velev/11pipe_11_ooo.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3293612-1304131049/watcher-3293612-1304131049 -o /tmp/evaluation-result-3293612-1304131049/solver-3293612-1304131049 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3293612-1304131049.cnf

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

MD5SUM BENCH= f603f11fbfe855df381282b7bce010ea
RANDOM SEED=339379840

node117.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.849
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.69
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.849
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.849
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.74
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.849
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.75
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.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
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.74
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.849
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.849
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	: 5267.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      24849032 kB
Buffers:       1882716 kB
Cached:        5589276 kB
SwapCached:        160 kB
Active:         978560 kB
Inactive:      6557272 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      24849032 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:          179672 kB
Writeback:           0 kB
AnonPages:       63888 kB
Mapped:          14496 kB
Slab:           503440 kB
PageTables:       4316 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS:   187144 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= 72448 MiB
End job on node117 at 2011-04-30 04:57:39