Trace number 3367077

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 (fixed)UNSAT 3315.51 943.533

General information on the benchmark

Nameindustrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq7.cnf
MD5SUM0fbc00fde383cec371bb97d621c5e7e5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark485.526
Satisfiable
(Un)Satisfiability was proved
Number of variables306095
Number of clauses6069108
Sum of the clauses size17675754
Maximum clause length163
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 25745111
Number of clauses of size 366910
Number of clauses of size 44878
Number of clauses of size 518476
Number of clauses of size over 5233732

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 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3367077-1305389192.cnf'
0.00/0.01	c -- header says num vars:         306095
0.00/0.01	c -- header says num clauses:     6069108
7.46/2.27	c -- clauses added:            0 learnts,      6069108 normals,            0 xors
7.46/2.27	c -- vars added     306095
7.46/2.27	c Parsing time:  1.62 s
7.46/2.27	c  N st     0         0    306095    323996   5745111         0  17675753         0   no data   no data
9.78/2.87	c asymm  cl-useful: 68/76/323988 lits-rem:1368 time: 0.56
42.12/10.96	c Flit:    78 Blit:  77882 bXBeca:    0 bXProp:   23 Bins:      0 BRemL:      0 BRemN:      0 P: 200.4M T:  8.08
44.48/11.57	c Cleaning up after failed var search:     0.60 s 
46.50/12.01	c Replacing       23 vars Replaced   212813 lits Time:     0.44 s 
48.44/12.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
49.65/12.88	c bin-w-bin subsume rem         1310 bins  time:  0.37 s
69.98/17.93	c subs with bin:     9993  lits-rem:     97808  v-fix:    0  time:  5.05 s
87.93/22.49	c Subs w/ non-existent bins:      6 l-rem:   1321 v-fix:   350 done:  33249 time:  4.53 s
89.12/22.79	c Removed useless bin:     856  fixed:     0  props:  20.03M  time:  0.27 s
145.74/36.99	c lits-rem:     14113  cl-subs:    25135  v-elim:  73348  v-fix:    0  time: 14.11 s
146.14/37.07	c Finding binary XORs  T:     0.07 s  found:     110
146.94/37.25	c Replacing      110 vars Replaced    12621 lits Time:     0.18 s 
149.72/37.99	c Finding non-binary XORs:     0.66 s (found:       0, avg size: nan)
149.72/37.99	c calculated reachability. Time: 0.00
150.13/38.06	c Calc default polars -  time:   0.07 s pos:   22374 undec:  156296 neg:  127425
150.13/38.06	c =========================================================================================
150.13/38.06	c types(t): F = full restart, N = normal restart
150.13/38.06	c types(t): S = simplification begin/end, E = solution found
150.13/38.06	c restart types(rt): st = static, dy = dynamic
150.13/38.06	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
150.13/38.06	c  B st     0         0    151679    328941   2934430         0  10502748         0   no data   no data
180.43/45.63	c  N dy    20      4342    151678    328941   2934566      4094  10502720    154118     20.02     21.09
194.00/49.08	c  N dy    38      8354    151677    328941   2935588      7931  10502720    316415     19.18     21.63
206.76/52.26	c  N dy    64     12492    151677    328941   2935677     11829  10502712    474782     19.64     20.80
219.92/55.56	c  N dy    87     16950    151675    328941   2936059     16065  10502688    674846     19.28     20.39
240.26/60.66	c  N dy   114     21091    151674    328941   2936359     10578  10502686    299311     20.19     21.44
260.21/65.69	c  F st   141     25000    151674    328941   2936825     14303  10502676    462544     20.28   no data
263.40/66.45	c  N st   142     25254    151674    328715   2936681     14410  10500980    470704     20.28   no data
285.73/72.08	c  N dy   147     30000    151674    328715   2936765     19017  10500979    731689     20.28   no data
285.73/72.08	c  S st   147     30000    151674    328715   2936765     19017  10500979    731689     20.28   no data
290.52/73.27	c  S st   147     30501    151532    328715   2936875     19395  10500974    735076     20.28   no data
290.92/73.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
351.53/88.57	c Flit:   769 Blit:   2295 bXBeca:    0 bXProp:  104 Bins:2658626 BRemL:  13896 BRemN:    856 P: 200.0M T: 15.15
352.33/88.78	c Cleaning up after failed var search:     0.20 s 
353.97/89.12	c Replacing      105 vars Replaced   252567 lits Time:     0.33 s 
355.13/89.49	c blocked clauses removed:      554 vars:   1814 tried:       85991 T: 0.11 s
357.94/90.17	c bin-w-bin subsume rem        58889 bins  time:  0.67 s
379.46/95.51	c subs with bin:    28191  lits-rem:    352746  v-fix:    0  time:  5.34 s
383.45/96.59	c Subs w/ non-existent bins:   2334 l-rem:  13512 v-fix:     7 done:   4912 time:  1.07 s
385.04/96.99	c Removed useless bin:    5715  fixed:     0  props:  20.00M  time:  0.31 s
410.17/103.20	c lits-rem:     14493  cl-subs:     9916  v-elim:  11794  v-fix:    1  time:  6.20 s
414.56/104.31	c subs with bin:       53  lits-rem:     21593  v-fix:    0  time:  1.00 s
416.55/104.82	c lits-rem:      7222  cl-subs:     1611  v-elim:      0  v-fix:    0  time:  0.39 s
418.54/105.30	c asymm  cl-useful: 131/919/258874 lits-rem:7028 time: 0.48
418.94/105.40	c calculated reachability. Time: 0.01
418.94/105.41	c  N dy   147     30501    122585    258874   4371884     16990   8806435   4200304     20.28   no data
418.94/105.50	c Finding binary XORs  T:     0.09 s  found:     517
489.13/131.36	c  N dy   178     34555    120645    254428   4292919     20908   8715620   4261422     20.58     28.35
566.40/192.86	c Finding binary XORs  T:     0.10 s  found:     299
568.80/193.41	c  N dy   209     39182    119403    252451   4646014     25352   8659739   5205565     20.91     22.48
581.96/196.71	c  N dy   216     45751    119403    252451   4646121     17270   8659739   4610281     19.87     13.30
581.96/196.71	c  S st   216     45751    119403    252451   4646121     17270   8659739   4610281     19.87     13.30
585.55/197.69	c  S st   216     46252    118948    252451   4658328     17609   8659739   4637899     19.87   no data
586.35/197.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
631.41/209.10	c Flit:   477 Blit:   3563 bXBeca:    0 bXProp:   39 Bins: 856919 BRemL:   6514 BRemN:    219 P: 200.1M T: 11.27
631.81/209.24	c Cleaning up after failed var search:     0.14 s 
633.01/209.55	c Replacing      855 vars Replaced   231610 lits Time:     0.30 s 
633.81/209.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
636.99/210.60	c bin-w-bin subsume rem        81419 bins  time:  0.82 s
657.38/215.70	c subs with bin:    16943  lits-rem:    169459  v-fix:    0  time:  5.10 s
668.10/218.35	c Subs w/ non-existent bins:   2929 l-rem:   5482 v-fix:    17 done:  38891 time:  2.65 s
669.70/218.70	c Removed useless bin:   14230  fixed:     0  props:  20.02M  time:  0.34 s
681.27/221.69	c lits-rem:      3156  cl-subs:     9109  v-elim:   8156  v-fix:    0  time:  2.99 s
683.29/222.14	c subs with bin:      775  lits-rem:     11793  v-fix:    0  time:  0.36 s
685.25/222.60	c lits-rem:     10608  cl-subs:     1617  v-elim:      0  v-fix:    0  time:  0.35 s
686.85/223.05	c asymm  cl-useful: 21/1033/220422 lits-rem:435 time: 0.45
687.25/223.14	c calculated reachability. Time: 0.01
687.25/223.14	c  N dy   216     46252    105799    220422   3324278     12478   7439896   2437628     19.87   no data
687.68/223.24	c Finding binary XORs  T:     0.10 s  found:      45
695.99/225.34	c  N dy   220     50318    105799    220422   3324337     16259   7439893   2537386     19.12     29.86
726.87/236.09	c  N dy   253     54411    105799    220422   3326195     20208   7439885   2722872     19.61     31.31
749.90/245.95	c  N dy   283     58477    105778    220422   3340626     24152   7439885   2961605     19.89     28.69
758.68/248.11	c  N dy   306     62537    105778    220422   3340692     28051   7439839   3177273     19.90     21.27
776.91/254.00	c  N dy   325     66936    105037    220422   3754532     16145   7439839   3372005     19.79     20.85
777.75/254.16	c Finding binary XORs  T:     0.08 s  found:      70
784.08/255.74	c  S st   332     69378    104873    218434   3709216     18429   7388836   3416217     19.66     12.71
787.28/256.53	c  S st   332     69880    104872    218434   3709323     18818   7388836   3421457     19.66   no data
787.68/256.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
833.14/268.03	c Flit:   527 Blit:    145 bXBeca:    0 bXProp:   23 Bins: 770725 BRemL:  12173 BRemN:   1941 P: 200.0M T: 11.38
833.14/268.03	c Cleaning up after failed var search:     0.00 s 
834.33/268.33	c Replacing      138 vars Replaced   107517 lits Time:     0.29 s 
834.91/268.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
836.10/268.97	c bin-w-bin subsume rem        31255 bins  time:  0.47 s
845.61/272.72	c subs with bin:     6387  lits-rem:     43309  v-fix:    0  time:  3.75 s
850.01/274.94	c Subs w/ non-existent bins:    524 l-rem:   3460 v-fix:    15 done:  46042 time:  2.21 s
850.40/275.19	c Removed useless bin:    2271  fixed:     0  props:  20.01M  time:  0.24 s
852.59/276.20	c lits-rem:       307  cl-subs:     1747  v-elim:    919  v-fix:    0  time:  1.02 s
853.59/276.77	c subs with bin:      674  lits-rem:     12306  v-fix:    0  time:  0.48 s
854.41/277.17	c lits-rem:      8266  cl-subs:     1292  v-elim:      0  v-fix:    0  time:  0.31 s
855.19/277.50	c asymm  cl-useful: 15/834/210975 lits-rem:217 time: 0.33
855.19/277.60	c calculated reachability. Time: 0.00
855.39/277.60	c  N dy   332     69880    102990    210975   4085145     16736   7254274   4164922     19.66   no data
855.39/277.67	c Finding binary XORs  T:     0.08 s  found:       7
909.51/308.88	c Finding binary XORs  T:     0.08 s  found:       8
917.55/311.23	c  N dy   359     74395    102759    210869   4912011     21051   7247911   6004662     19.73     32.37
936.67/316.00	c  N dy   401     79207    101695    208768   4895526     22374   7190706   6141874     20.37     60.62
955.81/320.82	c  N dy   446     84513    101695    208768   4895835     27519   7190693   6415783     20.71     21.81
964.58/323.07	c  F st   474     87506    101694    208768   4895869     30419   7190668   6580026     20.93     48.99
965.81/323.37	c Replacing       15 vars Replaced     6326 lits Time:     0.20 s 
967.37/323.77	c Found part       36 vars:     101100 clauses:   2368130 lits size:   7190426
967.37/323.77	c Found part       37 vars:          2 clauses:         1 lits size:         2
967.37/323.77	c Found part       38 vars:          2 clauses:         1 lits size:         2
967.37/323.77	c Found part       39 vars:          2 clauses:         1 lits size:         2
967.37/323.77	c Found part       40 vars:          2 clauses:         1 lits size:         2
967.37/323.77	c Found parts:          5 time: 0.70 s
967.37/323.77	c Solving part 37
968.16/323.98	c  N st     0         0         2         0         1         0         2         0   no data   no data
968.16/323.98	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
968.16/323.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
968.56/324.00	c Finding binary XORs  T:     0.02 s  found:       0
968.56/324.00	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
968.56/324.00	c calculated reachability. Time: 0.00
968.56/324.01	c Calc default polars -  time:   0.00 s pos:       0 undec:  306093 neg:       2
968.56/324.01	c =========================================================================================
968.56/324.01	c types(t): F = full restart, N = normal restart
968.56/324.01	c types(t): S = simplification begin/end, E = solution found
968.56/324.01	c restart types(rt): st = static, dy = dynamic
968.56/324.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
968.56/324.01	c  B st     0         0         2         0         1         0         2         0   no data   no data
968.56/324.01	c  E st     1         0         0         0         1         0         2         0   no data   no data
968.56/324.02	c Verified 0 clauses.
968.56/324.02	c Verified 0 clauses.
968.56/324.02	c Solved part
968.56/324.02	c =========================================================================================
968.56/324.02	c Solving part 38
969.37/324.24	c  N st     0         0         2         0         1         0         2         0   no data   no data
969.37/324.24	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
969.37/324.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
969.37/324.26	c Finding binary XORs  T:     0.02 s  found:       0
969.37/324.26	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
969.37/324.26	c calculated reachability. Time: 0.00
969.37/324.27	c Calc default polars -  time:   0.00 s pos:       0 undec:  306093 neg:       2
969.37/324.27	c =========================================================================================
969.37/324.27	c types(t): F = full restart, N = normal restart
969.37/324.27	c types(t): S = simplification begin/end, E = solution found
969.37/324.27	c restart types(rt): st = static, dy = dynamic
969.37/324.27	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
969.37/324.27	c  B st     0         0         2         0         1         0         2         0   no data   no data
969.37/324.27	c  E st     1         0         0         0         1         0         2         0   no data   no data
969.37/324.28	c Verified 0 clauses.
969.37/324.28	c Verified 0 clauses.
969.37/324.28	c Solved part
969.37/324.28	c =========================================================================================
969.37/324.29	c Solving part 39
970.18/324.50	c  N st     0         0         2         0         1         0         2         0   no data   no data
970.18/324.50	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
970.18/324.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
970.59/324.52	c Finding binary XORs  T:     0.02 s  found:       0
970.59/324.52	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
970.59/324.52	c calculated reachability. Time: 0.00
970.59/324.52	c Calc default polars -  time:   0.00 s pos:       0 undec:  306093 neg:       2
970.59/324.52	c =========================================================================================
970.59/324.52	c types(t): F = full restart, N = normal restart
970.59/324.52	c types(t): S = simplification begin/end, E = solution found
970.59/324.52	c restart types(rt): st = static, dy = dynamic
970.59/324.52	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
970.59/324.52	c  B st     0         0         2         0         1         0         2         0   no data   no data
970.59/324.52	c  E st     1         0         0         0         1         0         2         0   no data   no data
970.59/324.53	c Verified 0 clauses.
970.59/324.53	c Verified 0 clauses.
970.59/324.53	c Solved part
970.59/324.53	c =========================================================================================
970.59/324.54	c Solving part 40
971.34/324.74	c  N st     0         0         2         0         1         0         2         0   no data   no data
971.34/324.74	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
971.34/324.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
971.34/324.76	c Finding binary XORs  T:     0.02 s  found:       0
971.34/324.76	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
971.34/324.76	c calculated reachability. Time: 0.00
971.34/324.77	c Calc default polars -  time:   0.00 s pos:       0 undec:  306093 neg:       2
971.34/324.77	c =========================================================================================
971.34/324.77	c types(t): F = full restart, N = normal restart
971.34/324.77	c types(t): S = simplification begin/end, E = solution found
971.34/324.77	c restart types(rt): st = static, dy = dynamic
971.34/324.77	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
971.34/324.77	c  B st     0         0         2         0         1         0         2         0   no data   no data
971.34/324.77	c  E st     1         0         0         0         1         0         2         0   no data   no data
971.34/324.77	c Verified 0 clauses.
971.34/324.77	c Verified 0 clauses.
971.34/324.77	c Solved part
971.34/324.77	c =========================================================================================
971.34/324.78	c Coming back to original instance
971.34/324.78	c =========================================================================================
979.71/326.84	c  N st   479     90802    101672    208721   4895809     33591   7190426   6766265     20.93   no data
999.66/331.87	c  N dy   508     96679    101672    208721   4896220     22044   7190393   6011540     21.05     36.30
1007.36/335.96	c Finding binary XORs  T:     0.09 s  found:      64
1030.90/341.80	c  N dy   558    102888    100261    203929   4689097     27556   7077581   5953059     21.37     24.98
1037.27/343.48	c  S st   574    104820    100261    203929   4692276     29425   7077567   6045468     21.41   no data
1040.07/344.15	c  S st   574    105320    100259    203929   4692344     29854   7077567   6052763     21.41   no data
1040.49/344.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
1092.72/357.31	c Flit:   577 Blit:    343 bXBeca:    0 bXProp:   86 Bins: 635176 BRemL:   8279 BRemN:     43 P: 200.1M T: 13.03
1093.14/357.41	c Cleaning up after failed var search:     0.10 s 
1094.30/357.76	c Replacing      150 vars Replaced   225884 lits Time:     0.34 s 
1095.10/357.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1098.29/358.75	c bin-w-bin subsume rem        88279 bins  time:  0.78 s
1113.85/362.64	c subs with bin:     3150  lits-rem:     27988  v-fix:    0  time:  3.89 s
1123.03/364.98	c Subs w/ non-existent bins:    253 l-rem:   4682 v-fix:     6 done:  47947 time:  2.34 s
1125.01/365.41	c Removed useless bin:   43453  fixed:     0  props:  20.01M  time:  0.43 s
1131.39/367.02	c lits-rem:      1977  cl-subs:     3144  v-elim:   2440  v-fix:    0  time:  1.60 s
1137.43/368.55	c subs with bin:      365  lits-rem:     17103  v-fix:    0  time:  1.41 s
1139.77/369.18	c lits-rem:     19365  cl-subs:     1240  v-elim:      0  v-fix:    0  time:  0.53 s
1141.81/369.63	c asymm  cl-useful: 50/895/202523 lits-rem:261 time: 0.45
1142.16/369.74	c calculated reachability. Time: 0.01
1142.16/369.74	c  N dy   574    105320     96668    202523   4264459     25992   6876495   5226809     21.41   no data
1142.56/369.83	c Finding binary XORs  T:     0.09 s  found:       5
1185.40/390.76	c Finding binary XORs  T:     0.09 s  found:      29
1189.00/392.55	c  N dy   628    112192     96584    202433   5123000     32671   6874062   7293474     21.63     23.18
1236.79/415.72	c  N dy   694    119411     96584    202433   5130572     20888   6874060   6578374     22.23     24.30
1267.08/423.33	c  N dy   760    127052     96584    202433   5131447     28285   6874058   7001121     22.68     26.69
1297.00/430.80	c  N dy   825    135224     96584    202433   5131791     36230   6874036   7441102     23.02     24.26
1324.96/437.83	c  N dy   887    143893     96582    202433   5132247     23103   6874010   6567380     23.17     32.96
1350.06/444.21	c  N dy   943    153821     96582    202433   5132701     32611   6874010   7083617     23.15     24.44
1363.00/448.47	c Finding binary XORs  T:     0.08 s  found:      62
1369.40/450.39	c  S st   964    157981     93031    196197   4056080     35400   6761649   5162098     23.11     22.38
1373.39/451.39	c  S st   964    158481     93030    196197   4056195     35783   6761649   5166938     23.11   no data
1374.19/451.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
1422.85/463.78	c Flit:   400 Blit:    383 bXBeca:    0 bXProp:   11 Bins: 658138 BRemL:   9840 BRemN:    586 P: 200.0M T: 12.12
1422.85/463.78	c Cleaning up after failed var search:     0.00 s 
1425.23/464.32	c Replacing      108 vars Replaced   211098 lits Time:     0.52 s 
1426.03/464.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1428.43/465.13	c bin-w-bin subsume rem        33802 bins  time:  0.62 s
1444.38/469.11	c subs with bin:     2994  lits-rem:     37909  v-fix:    0  time:  3.93 s
1453.16/471.39	c Subs w/ non-existent bins:    322 l-rem:   2855 v-fix:     1 done:  58985 time:  2.25 s
1454.36/471.69	c Removed useless bin:   26153  fixed:     0  props:  20.00M  time:  0.30 s
1462.34/473.61	c lits-rem:      2777  cl-subs:     5413  v-elim:   1848  v-fix:    0  time:  1.89 s
1468.77/475.23	c subs with bin:     1594  lits-rem:     19796  v-fix:    0  time:  1.48 s
1472.74/476.21	c lits-rem:     21478  cl-subs:     2360  v-elim:      0  v-fix:    0  time:  0.86 s
1474.70/476.70	c asymm  cl-useful: 131/1060/193061 lits-rem:1844 time: 0.49
1475.10/476.80	c calculated reachability. Time: 0.00
1475.10/476.80	c  N dy   964    158481     90280    193060   3996452     29307   6548312   4917422     23.11   no data
1475.10/476.89	c Finding binary XORs  T:     0.09 s  found:       7
1511.84/487.16	c  N dy  1029    168733     90279    193060   4007100     39245   6548309   5469690     23.31     24.60
1543.74/495.10	c  N dy  1091    179579     90279    193060   4007639     28554   6548308   4831308     23.43     25.34
1586.84/505.95	c  N dy  1176    191078     90257    193060   4008313     39735   6548296   5404084     23.69     27.88
1624.70/515.45	c  N dy  1261    203278     90255    193060   4008789     27879   6548294   4639804     23.96     25.22
1666.98/526.01	c  N dy  1354    216300     90252    193060   4009445     40537   6548274   5357603     24.22     26.24
1692.14/532.47	c Finding binary XORs  T:     0.08 s  found:      66
1714.07/537.93	c  N dy  1438    230153     87170    184247   3753512     27596   6409168   4158043     24.24     26.88
1734.78/543.10	c  S st  1483    237721     87170    184247   3753724     34910   6409168   4535928     24.25   no data
1739.15/544.23	c  S st  1483    238221     87170    184247   3753846     35287   6409168   4539422     24.25   no data
1739.55/544.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
1786.22/556.08	c Flit:    96 Blit:    271 bXBeca:    0 bXProp:   62 Bins: 541220 BRemL:  11062 BRemN:     38 P: 200.0M T: 11.59
1786.22/556.08	c Cleaning up after failed var search:     0.00 s 
1788.65/556.69	c Replacing      135 vars Replaced   191154 lits Time:     0.59 s 
1789.40/556.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1791.80/557.41	c bin-w-bin subsume rem        39778 bins  time:  0.54 s
1805.37/560.80	c subs with bin:     2525  lits-rem:     16484  v-fix:    0  time:  3.36 s
1811.34/562.31	c Subs w/ non-existent bins:    506 l-rem:   3184 v-fix:     0 done:  48859 time:  1.48 s
1812.54/562.62	c Removed useless bin:   14629  fixed:     0  props:  20.00M  time:  0.31 s
1818.95/564.28	c lits-rem:      1897  cl-subs:     3863  v-elim:   2086  v-fix:    0  time:  1.63 s
1824.90/565.79	c subs with bin:      539  lits-rem:      7522  v-fix:    0  time:  1.42 s
1828.49/566.65	c lits-rem:     24463  cl-subs:     1837  v-elim:      0  v-fix:    0  time:  0.74 s
1830.49/567.14	c asymm  cl-useful: 213/1259/182330 lits-rem:1092 time: 0.49
1830.89/567.24	c calculated reachability. Time: 0.01
1830.89/567.24	c  N dy  1483    238221     84583    182330   3945630     30857   6251718   4882909     24.25   no data
1831.29/567.33	c Finding binary XORs  T:     0.08 s  found:       1
1881.94/580.34	c  N dy  1600    253457     83910    182330   3970453     45694   6251700   5793263     24.61     29.51
1941.00/595.16	c  N dy  1731    269691     83909    182330   3971602     36321   6251697   5129947     25.03     26.93
1996.01/608.93	c  N dy  1863    286939     83909    182330   3972780     53092   6251671   6094455     25.37     50.07
2060.61/625.15	c  N dy  2006    305486     83909    182330   3973712     44057   6251639   5503474     25.71     27.41
2063.01/625.77	c  F st  2013    306251     83909    182330   3973722     44796   6251636   5546291     25.72   no data
2064.20/626.07	c Replacing        1 vars Replaced      142 lits Time:     0.16 s 
2089.34/632.32	c Finding binary XORs  T:     0.08 s  found:      31
2121.23/640.34	c  N dy  2103    325015     81799    174657   3252191     33365   6166098   3446993     25.77     27.21
2143.17/645.84	c Finding binary XORs  T:     0.08 s  found:      66
2183.85/656.07	c  N dy  2248    345066     81799    174657   3274373     52892   6166097   4627738     26.00     27.95
2226.53/666.76	c  S st  2345    357331     81799    174657   3274890     35427   6166085   3547637     26.23     21.21
2230.92/667.87	c  S st  2345    357831     81798    174657   3274983     35833   6166085   3550598     26.23   no data
2231.32/667.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
2274.02/678.65	c Flit:   386 Blit:    107 bXBeca:    0 bXProp:  105 Bins: 703298 BRemL:  17627 BRemN:     23 P: 200.0M T: 10.54
2274.02/678.65	c Cleaning up after failed var search:     0.00 s 
2275.58/679.01	c Replacing      203 vars Replaced   318234 lits Time:     0.34 s 
2275.98/679.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2278.40/679.72	c bin-w-bin subsume rem        82129 bins  time:  0.54 s
2291.57/683.06	c subs with bin:     2279  lits-rem:     24865  v-fix:    0  time:  3.30 s
2296.72/684.33	c Subs w/ non-existent bins:     85 l-rem:   1845 v-fix:     0 done:  63621 time:  1.25 s
2297.92/684.69	c Removed useless bin:   45010  fixed:     0  props:  20.00M  time:  0.36 s
2304.16/686.24	c lits-rem:      1940  cl-subs:     5062  v-elim:   1989  v-fix:    0  time:  1.55 s
2308.94/687.54	c subs with bin:      696  lits-rem:      6738  v-fix:    0  time:  1.22 s
2311.69/688.22	c lits-rem:     19915  cl-subs:     3416  v-elim:      0  v-fix:    0  time:  0.59 s
2313.68/688.71	c asymm  cl-useful: 228/1118/170645 lits-rem:3334 time: 0.49
2313.68/688.79	c calculated reachability. Time: 0.00
2313.68/688.80	c  N dy  2345    357831     79114    170620   3396205     32299   5932214   3883589     26.23   no data
2314.08/688.87	c Finding binary XORs  T:     0.08 s  found:       3
2329.21/692.86	c Finding binary XORs  T:     0.08 s  found:      30
2383.04/706.34	c  N dy  2484    377865     79072    170615   4097403     51753   5931465   6380351     26.41     28.39
2403.00/711.33	c Finding binary XORs  T:     0.08 s  found:       8
2452.05/723.60	c  N dy  2639    397901     79070    170615   4097496     41448   5931313   5622330     26.59     32.49
2515.86/739.65	c  N dy  2770    419654     79070    170615   4098214     62563   5931306   6800486     26.72     28.88
2584.52/756.82	c  N dy  2925    439738     79070    170615   4099226     50775   5931266   6147288     26.97     36.87
2645.93/772.25	c  N dy  3068    459756     79070    170615   4099975     37435   5931237   5248345     27.19     34.21
2706.12/787.33	c  N dy  3220    479846     79070    170615   4100723     57148   5931231   6489637     27.43     32.13
2757.97/800.38	c  N dy  3310    499913     79070    170615   4101375     42460   5931217   5510396     27.36     35.20
2816.63/815.07	c  N dy  3420    523431     79070    170615   4102187     65170   5931217   6673107     27.29     28.98
2857.28/825.24	c  S st  3512    536746     79070    170615   4102648     43354   5931203   5497947     27.38   no data
2861.67/826.38	c  S st  3512    537246     79068    170615   4102716     43783   5931203   5501211     27.38   no data
2862.07/826.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
2904.37/837.09	c Flit:    87 Blit:   1174 bXBeca:    0 bXProp:  119 Bins: 268377 BRemL:  15044 BRemN:     50 P: 200.0M T: 10.60
2905.13/837.28	c Cleaning up after failed var search:     0.18 s 
2909.17/838.24	c Replacing      161 vars Replaced   165148 lits Time:     0.96 s 
2909.92/838.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2913.91/839.48	c bin-w-bin subsume rem        83290 bins  time:  1.08 s
2925.49/842.32	c subs with bin:     1333  lits-rem:     10726  v-fix:    0  time:  2.84 s
2930.70/843.61	c Subs w/ non-existent bins:    116 l-rem:    894 v-fix:     0 done:  75300 time:  1.30 s
2931.86/843.90	c Removed useless bin:   19829  fixed:     0  props:  20.00M  time:  0.28 s
2939.90/845.98	c lits-rem:      1883  cl-subs:     3973  v-elim:   3335  v-fix:    0  time:  2.08 s
2945.83/847.45	c subs with bin:      267  lits-rem:      3687  v-fix:    0  time:  1.39 s
2949.42/848.39	c lits-rem:     35059  cl-subs:     1575  v-elim:      0  v-fix:    0  time:  0.85 s
2951.82/848.94	c asymm  cl-useful: 249/1088/164626 lits-rem:5274 time: 0.55
2952.22/849.01	c calculated reachability. Time: 0.00
2952.22/849.01	c  N dy  3512    537246     73340    164610   2623060     38415   5641021   2610068     27.38   no data
2952.22/849.08	c Finding binary XORs  T:     0.07 s  found:       4
3013.63/864.46	c  N dy  3666    557441     73340    164610   2626796     58083   5641012   3814993     27.59     29.09
3074.25/879.66	c  N dy  3790    577506     73340    164610   2627519     43443   5641012   2764296     27.65     29.96
3132.52/894.28	c  N dy  3917    597538     73340    164610   2628141     62918   5641009   3898640     27.76     30.16
3194.69/909.88	c  N dy  3971    626793     73340    164610   2628543     54758   5641004   2962921     27.43     28.96
3252.92/924.49	c  N dy  4096    646882     66441    164610   2654609     74356   5640974   4112239     27.49     44.78
3260.50/926.37	c Finding binary XORs  T:     0.07 s  found:   11065
3261.70/926.66	c Replacing    11069 vars Replaced  1122442 lits Time:     0.29 s 
3293.61/934.69	c  E dy  4173    664343     54930     74594   2050844     28106   4630358   2005107     27.43   no data
3315.21/943.36	c Following stats are for *FIRST FINISHED THREAD ONLY*
3315.21/943.36	c num threads              : 4          
3315.21/943.36	c restarts                 : 4173       
3315.21/943.36	c dynamic restarts         : 4149       
3315.21/943.36	c static restarts          : 24         
3315.21/943.36	c full restarts            : 3          
3315.21/943.36	c total simplify time      : 5.85       
3315.21/943.36	c learnts DL2              : 0          
3315.21/943.36	c learnts size 2           : 17458958   
3315.21/943.36	c learnts size 1           : 131693      (43.02     % of vars)
3315.21/943.36	c filedLit time            : 105.00      (12.70     % time)
3315.21/943.36	c v-elim SatELite          : 107729      (35.19     % vars)
3315.21/943.36	c SatELite time            : 55.85       (6.76      % time)
3315.21/943.36	c v-elim xor               : 0           (0.00      % vars)
3315.21/943.36	c xor elim time            : 0.97        (0.12      % time)
3315.21/943.36	c num binary xor trees     : 9861       
3315.21/943.36	c binxor trees' crown      : 13073       (1.33      leafs/tree)
3315.21/943.36	c bin xor find time        : 1.75       
3315.21/943.36	c OTF clause improved      : 14097       (0.02      clauses/conflict)
3315.21/943.36	c OTF impr. size diff      : 22019       (1.56       lits/clause)
3315.21/943.36	c OTF cl watch-shrink      : 337606      (0.51      clauses/conflict)
3315.21/943.36	c OTF cl watch-sh-lit      : 1714468     (5.08       lits/clause)
3315.21/943.36	c tried to recurMin cls    : 0           (0.00       % of conflicts)
3315.21/943.36	c updated cache            : 0           (nan        lits/tried recurMin)
3315.21/943.36	c unit cls recevied        : 8606        (6.53      % of units)
3315.21/943.36	c unit cls sent            : 24301       (18.45     % of units)
3315.21/943.36	c bin cls recevied         : 4446274    
3315.21/943.36	c bin cls sent             : 7219757    
3315.21/943.36	c clauses over max glue    : 0           (0.00      % of all clauses)
3315.21/943.36	c conflicts                : 664343      (803.55    / sec)
3315.21/943.36	c decisions                : 167814149   (0.07      % random)
3315.21/943.36	c bogo-props               : 11891446208 (14383184.61 / sec)
3315.21/943.36	c conflict literals        : 35715912    (20.27     % deleted)
3315.21/943.36	c Memory used              : 4726.78     MB
3315.21/943.36	c single-thread CPU time   : 826.76      s
3315.21/943.36	c all-threads sum CPU time : 3311.17     s
3315.21/943.36	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-3367077-1305389192/watcher-3367077-1305389192 -o /tmp/evaluation-result-3367077-1305389192/solver-3367077-1305389192 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3367077-1305389192.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.17 3.82 3.69 5/355 16749
/proc/meminfo: memFree=24416900/32950928 swapFree=67056568/67111528
[pid=16749] ppid=16747 vsize=51168 CPUtime=0.01 cores=1,3,5,7
/proc/16749/stat : 16749 (strangenight2-m) R 16747 16749 16708 0 -1 4202496 407 0 0 0 1 0 0 0 22 0 4 0 650516659 52396032 347 33554432000 4194304 4580107 140734193432064 18446744073709551615 47343196661682 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16749/statm: 12792 347 299 95 0 7774 0
[pid=16749/tid=16750] ppid=16747 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/16749/task/16750/stat : 16750 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 650516660 52396032 351 33554432000 4194304 4580107 140734193432064 18446744073709551615 47343196661682 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16749/tid=16751] ppid=16747 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/16749/task/16751/stat : 16751 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 650516660 52396032 351 33554432000 4194304 4580107 140734193432064 18446744073709551615 47343196661682 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16749/tid=16752] ppid=16747 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/16749/task/16752/stat : 16752 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 4 0 650516660 52396032 351 33554432000 4194304 4580107 140734193432064 18446744073709551615 239476694971 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.087935 s]
/proc/loadavg: 3.17 3.82 3.69 5/355 16749
/proc/meminfo: memFree=24416900/32950928 swapFree=67056568/67111528
[pid=16749] ppid=16747 vsize=300248 CPUtime=0.22 cores=1,3,5,7
/proc/16749/stat : 16749 (strangenight2-m) R 16747 16749 16708 0 -1 4202496 12265 0 0 0 20 2 0 0 18 0 4 0 650516659 307453952 10639 33554432000 4194304 4580107 140734193432064 18446744073709551615 239476800031 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16749/statm: 75062 10639 337 95 0 70044 0
[pid=16749/tid=16750] ppid=16747 vsize=300380 CPUtime=0.02 cores=1,3,5,7
/proc/16749/task/16750/stat : 16750 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 1298 0 0 0 2 0 0 0 17 0 4 0 650516660 307589120 10887 33554432000 4194304 4580107 140734193432064 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16749/tid=16751] ppid=16747 vsize=300380 CPUtime=0.06 cores=1,3,5,7
/proc/16749/task/16751/stat : 16751 (strangenight2-m) S 16747 16749 16708 0 -1 4202560 3797 0 0 0 6 0 0 0 18 0 4 0 650516660 307589120 10931 33554432000 4194304 4580107 140734193432064 18446744073709551615 239476799982 0 0 4096 2 18446604455380941632 0 0 -1 7 0 0 0
[pid=16749/tid=16752] ppid=16747 vsize=300380 CPUtime=0.04 cores=1,3,5,7
/proc/16749/task/16752/stat : 16752 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 3182 0 0 0 4 0 0 0 18 0 4 0 650516660 307589120 10936 33554432000 4194304 4580107 140734193432064 18446744073709551615 239476800031 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 300248

[startup+0.106984 s]
/proc/loadavg: 3.17 3.82 3.69 5/355 16749
/proc/meminfo: memFree=24416900/32950928 swapFree=67056568/67111528
[pid=16749] ppid=16747 vsize=302164 CPUtime=0.27 cores=1,3,5,7
/proc/16749/stat : 16749 (strangenight2-m) R 16747 16749 16708 0 -1 4202496 14295 0 0 0 24 3 0 0 18 0 4 0 650516659 309415936 12643 33554432000 4194304 4580107 140734193432064 18446744073709551615 4354920 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16749/statm: 75541 12715 337 95 0 70523 0
[pid=16749/tid=16750] ppid=16747 vsize=302164 CPUtime=0.03 cores=1,3,5,7
/proc/16749/task/16750/stat : 16750 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 2002 0 0 0 3 0 0 0 17 0 4 0 650516660 309415936 12716 33554432000 4194304 4580107 140734193432064 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16749/tid=16751] ppid=16747 vsize=302164 CPUtime=0.08 cores=1,3,5,7
/proc/16749/task/16751/stat : 16751 (strangenight2-m) D 16747 16749 16708 0 -1 4202560 4303 0 0 0 8 0 0 0 18 0 4 0 650516660 309415936 12853 33554432000 4194304 4580107 140734193432064 18446744073709551615 239476738231 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16749/tid=16752] ppid=16747 vsize=302296 CPUtime=0.05 cores=1,3,5,7
/proc/16749/task/16752/stat : 16752 (strangenight2-m) S 16747 16749 16708 0 -1 4202560 3664 0 0 0 5 0 0 0 18 0 4 0 650516660 309551104 13048 33554432000 4194304 4580107 140734193432064 18446744073709551615 239476799982 0 0 4096 2 18446604455380941632 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 302164

[startup+0.300895 s]
/proc/loadavg: 3.17 3.82 3.69 5/355 16749
/proc/meminfo: memFree=24416900/32950928 swapFree=67056568/67111528
[pid=16749] ppid=16747 vsize=335164 CPUtime=0.83 cores=1,3,5,7
/proc/16749/stat : 16749 (strangenight2-m) R 16747 16749 16708 0 -1 4202496 34935 0 0 0 73 10 0 0 17 0 4 0 650516659 343207936 31030 33554432000 4194304 4580107 140734193432064 18446744073709551615 4309730 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16749/statm: 83791 31031 337 95 0 78773 0
[pid=16749/tid=16750] ppid=16747 vsize=335164 CPUtime=0.16 cores=1,3,5,7
/proc/16749/task/16750/stat : 16750 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 8017 0 0 0 14 2 0 0 17 0 4 0 650516660 343207936 31032 33554432000 4194304 4580107 140734193432064 18446744073709551615 4341162 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16749/tid=16751] ppid=16747 vsize=335164 CPUtime=0.25 cores=1,3,5,7
/proc/16749/task/16751/stat : 16751 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 9738 0 0 0 23 2 0 0 18 0 4 0 650516660 343207936 31032 33554432000 4194304 4580107 140734193432064 18446744073709551615 4309565 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16749/tid=16752] ppid=16747 vsize=335164 CPUtime=0.18 cores=1,3,5,7
/proc/16749/task/16752/stat : 16752 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 8599 0 0 0 16 2 0 0 18 0 4 0 650516660 343207936 31033 33554432000 4194304 4580107 140734193432064 18446744073709551615 4354912 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.83
Current children cumulated vsize (KiB) 335164

[startup+1.55965 s]
/proc/loadavg: 3.17 3.82 3.69 5/355 16749
/proc/meminfo: memFree=24416900/32950928 swapFree=67056568/67111528
[pid=16749] ppid=16747 vsize=979044 CPUtime=5.03 cores=1,3,5,7
/proc/16749/stat : 16749 (strangenight2-m) R 16747 16749 16708 0 -1 4202496 175964 0 0 0 421 82 0 0 17 0 4 0 650516659 1002541056 158466 33554432000 4194304 4580107 140734193432064 18446744073709551615 239476800031 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16749/statm: 244761 158470 337 95 0 239743 0
[pid=16749/tid=16750] ppid=16747 vsize=979044 CPUtime=1.22 cores=1,3,5,7
/proc/16749/task/16750/stat : 16750 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 46769 0 0 0 101 21 0 0 17 0 4 0 650516660 1002541056 158470 33554432000 4194304 4580107 140734193432064 18446744073709551615 239476362196 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16749/tid=16751] ppid=16747 vsize=979044 CPUtime=1.31 cores=1,3,5,7
/proc/16749/task/16751/stat : 16751 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 43022 0 0 0 110 21 0 0 17 0 4 0 650516660 1002541056 158472 33554432000 4194304 4580107 140734193432064 18446744073709551615 239476799982 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16749/tid=16752] ppid=16747 vsize=979044 CPUtime=1.2 cores=1,3,5,7
/proc/16749/task/16752/stat : 16752 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 44367 0 0 0 101 19 0 0 17 0 4 0 650516660 1002541056 158474 33554432000 4194304 4580107 140734193432064 18446744073709551615 239476356129 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.03
Current children cumulated vsize (KiB) 979044

[startup+1.60065 s]
/proc/loadavg: 3.17 3.82 3.69 5/355 16749
/proc/meminfo: memFree=24416900/32950928 swapFree=67056568/67111528
[pid=16749] ppid=16747 vsize=986340 CPUtime=5.18 cores=1,3,5,7
/proc/16749/stat : 16749 (strangenight2-m) R 16747 16749 16708 0 -1 4202496 178921 0 0 0 433 85 0 0 17 0 4 0 650516659 1010012160 161385 33554432000 4194304 4580107 140734193432064 18446744073709551615 4510992 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16749/statm: 246585 161388 337 95 0 241567 0
[pid=16749/tid=16750] ppid=16747 vsize=986340 CPUtime=1.26 cores=1,3,5,7
/proc/16749/task/16750/stat : 16750 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 47374 0 0 0 104 22 0 0 17 0 4 0 650516660 1010012160 161389 33554432000 4194304 4580107 140734193432064 18446744073709551615 4513949 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16749/tid=16751] ppid=16747 vsize=986340 CPUtime=1.35 cores=1,3,5,7
/proc/16749/task/16751/stat : 16751 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 44104 0 0 0 113 22 0 0 17 0 4 0 650516660 1010012160 161389 33554432000 4194304 4580107 140734193432064 18446744073709551615 239476800031 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16749/tid=16752] ppid=16747 vsize=986340 CPUtime=1.24 cores=1,3,5,7
/proc/16749/task/16752/stat : 16752 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 45014 0 0 0 104 20 0 0 17 0 4 0 650516660 1010012160 161390 33554432000 4194304 4580107 140734193432064 18446744073709551615 4353868 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.18
Current children cumulated vsize (KiB) 986340

[startup+3.10036 s]
/proc/loadavg: 3.17 3.82 3.69 8/359 16753
/proc/meminfo: memFree=23579724/32950928 swapFree=67056568/67111528
[pid=16749] ppid=16747 vsize=1338240 CPUtime=10.98 cores=1,3,5,7
/proc/16749/stat : 16749 (strangenight2-m) R 16747 16749 16708 0 -1 4202496 276540 0 0 0 963 135 0 0 19 0 4 0 650516659 1370357760 241754 33554432000 4194304 4580107 140734193432064 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16749/statm: 334560 241754 360 95 0 329542 0
[pid=16749/tid=16750] ppid=16747 vsize=1338240 CPUtime=2.7 cores=1,3,5,7
/proc/16749/task/16750/stat : 16750 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 73669 0 0 0 236 34 0 0 19 0 4 0 650516660 1370357760 241754 33554432000 4194304 4580107 140734193432064 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16749/tid=16751] ppid=16747 vsize=1338240 CPUtime=2.82 cores=1,3,5,7
/proc/16749/task/16751/stat : 16751 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 65497 0 0 0 247 35 0 0 19 0 4 0 650516660 1370357760 241754 33554432000 4194304 4580107 140734193432064 18446744073709551615 4234970 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16749/tid=16752] ppid=16747 vsize=1338240 CPUtime=2.68 cores=1,3,5,7
/proc/16749/task/16752/stat : 16752 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 71295 0 0 0 235 33 0 0 19 0 4 0 650516660 1370357760 241754 33554432000 4194304 4580107 140734193432064 18446744073709551615 4318494 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10.98
Current children cumulated vsize (KiB) 1338240

[startup+6.30075 s]
/proc/loadavg: 3.56 3.89 3.71 9/359 16753
/proc/meminfo: memFree=23289968/32950928 swapFree=67056568/67111528
[pid=16749] ppid=16747 vsize=1342644 CPUtime=23.74 cores=1,3,5,7
/proc/16749/stat : 16749 (strangenight2-m) R 16747 16749 16708 0 -1 4202496 280707 0 0 0 2237 137 0 0 25 0 4 0 650516659 1374867456 244789 33554432000 4194304 4580107 140734193432064 18446744073709551615 4294316 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16749/statm: 335661 244789 360 95 0 330643 0
[pid=16749/tid=16750] ppid=16747 vsize=1342644 CPUtime=5.86 cores=1,3,5,7
/proc/16749/task/16750/stat : 16750 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 74009 0 0 0 552 34 0 0 25 0 4 0 650516660 1374867456 244789 33554432000 4194304 4580107 140734193432064 18446744073709551615 4294598 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16749/tid=16751] ppid=16747 vsize=1342644 CPUtime=6.02 cores=1,3,5,7
/proc/16749/task/16751/stat : 16751 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 65661 0 0 0 567 35 0 0 25 0 4 0 650516660 1374867456 244789 33554432000 4194304 4580107 140734193432064 18446744073709551615 4234794 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16749/tid=16752] ppid=16747 vsize=1342644 CPUtime=5.87 cores=1,3,5,7
/proc/16749/task/16752/stat : 16752 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 74593 0 0 0 553 34 0 0 25 0 4 0 650516660 1374867456 244789 33554432000 4194304 4580107 140734193432064 18446744073709551615 4294704 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 23.74
Current children cumulated vsize (KiB) 1342644

[startup+12.7005 s]
/proc/loadavg: 3.91 3.96 3.74 9/359 16754
/proc/meminfo: memFree=23137360/32950928 swapFree=67056568/67111528
[pid=16749] ppid=16747 vsize=1637436 CPUtime=49.24 cores=1,3,5,7
/proc/16749/stat : 16749 (strangenight2-m) R 16747 16749 16708 0 -1 4202496 359488 0 0 0 4771 153 0 0 18 0 4 0 650516659 1676734464 323569 33554432000 4194304 4580107 140734193432064 18446744073709551615 4446889 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16749/statm: 409359 323569 370 95 0 404341 0
[pid=16749/tid=16750] ppid=16747 vsize=1637436 CPUtime=12.18 cores=1,3,5,7
/proc/16749/task/16750/stat : 16750 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 98055 0 0 0 1180 38 0 0 18 0 4 0 650516660 1676734464 323569 33554432000 4194304 4580107 140734193432064 18446744073709551615 4507434 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16749/tid=16751] ppid=16747 vsize=1637436 CPUtime=12.41 cores=1,3,5,7
/proc/16749/task/16751/stat : 16751 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 91902 0 0 0 1200 41 0 0 18 0 4 0 650516660 1676734464 323569 33554432000 4194304 4580107 140734193432064 18446744073709551615 4446851 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16749/tid=16752] ppid=16747 vsize=1637436 CPUtime=12.27 cores=1,3,5,7
/proc/16749/task/16752/stat : 16752 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 75293 0 0 0 1193 34 0 0 25 0 4 0 650516660 1676734464 323569 33554432000 4194304 4580107 140734193432064 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 49.24
Current children cumulated vsize (KiB) 1637436

[startup+25.5011 s]
/proc/loadavg: 4.90 4.17 3.81 9/359 16754
/proc/meminfo: memFree=22134252/32950928 swapFree=67056568/67111528
[pid=16749] ppid=16747 vsize=1824084 CPUtime=100.29 cores=1,3,5,7
/proc/16749/stat : 16749 (strangenight2-m) R 16747 16749 16708 0 -1 4202496 404045 0 0 0 9865 164 0 0 25 0 4 0 650516659 1867862016 368095 33554432000 4194304 4580107 140734193432064 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16749/statm: 456021 368095 374 95 0 451003 0
[pid=16749/tid=16750] ppid=16747 vsize=1824084 CPUtime=24.83 cores=1,3,5,7
/proc/16749/task/16750/stat : 16750 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 113547 0 0 0 2442 41 0 0 25 0 4 0 650516660 1867862016 368095 33554432000 4194304 4580107 140734193432064 18446744073709551615 4406408 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16749/tid=16751] ppid=16747 vsize=1824084 CPUtime=25.2 cores=1,3,5,7
/proc/16749/task/16751/stat : 16751 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 104861 0 0 0 2476 44 0 0 25 0 4 0 650516660 1867862016 368095 33554432000 4194304 4580107 140734193432064 18446744073709551615 4406395 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16749/tid=16752] ppid=16747 vsize=1824084 CPUtime=25.07 cores=1,3,5,7
/proc/16749/task/16752/stat : 16752 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 79522 0 0 0 2472 35 0 0 25 0 4 0 650516660 1867862016 368095 33554432000 4194304 4580107 140734193432064 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 100.29
Current children cumulated vsize (KiB) 1824084

[startup+51.1012 s]
/proc/loadavg: 6.09 4.51 3.93 9/359 16755
/proc/meminfo: memFree=21879520/32950928 swapFree=67056568/67111528
[pid=16749] ppid=16747 vsize=2311448 CPUtime=202.37 cores=1,3,5,7
/proc/16749/stat : 16749 (strangenight2-m) R 16747 16749 16708 0 -1 4202496 483403 0 0 0 20047 190 0 0 25 0 4 0 650516659 2366922752 415011 33554432000 4194304 4580107 140734193432064 18446744073709551615 4321036 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16749/statm: 577862 415011 378 95 0 572844 0
[pid=16749/tid=16750] ppid=16747 vsize=2311448 CPUtime=50.37 cores=1,3,5,7
/proc/16749/task/16750/stat : 16750 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 138536 0 0 0 4989 48 0 0 25 0 4 0 650516660 2366922752 415011 33554432000 4194304 4580107 140734193432064 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16749/tid=16751] ppid=16747 vsize=2311448 CPUtime=50.8 cores=1,3,5,7
/proc/16749/task/16751/stat : 16751 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 132539 0 0 0 5027 53 0 0 25 0 4 0 650516660 2366922752 415011 33554432000 4194304 4580107 140734193432064 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16749/tid=16752] ppid=16747 vsize=2311448 CPUtime=50.42 cores=1,3,5,7
/proc/16749/task/16752/stat : 16752 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 80645 0 0 0 5007 35 0 0 25 0 4 0 650516660 2366922752 415011 33554432000 4194304 4580107 140734193432064 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 202.37
Current children cumulated vsize (KiB) 2311448

[startup+102.313 s]
/proc/loadavg: 7.29 5.08 4.15 9/359 16756
/proc/meminfo: memFree=21271152/32950928 swapFree=67056568/67111528
[pid=16749] ppid=16747 vsize=2722780 CPUtime=406.62 cores=1,3,5,7
/proc/16749/stat : 16749 (strangenight2-m) R 16747 16749 16708 0 -1 4202496 667965 0 0 0 40436 226 0 0 25 0 4 0 650516659 2788126720 553103 33554432000 4194304 4580107 140734193432064 18446744073709551615 4406440 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16749/statm: 680695 553103 380 95 0 675677 0
[pid=16749/tid=16750] ppid=16747 vsize=2722780 CPUtime=101.58 cores=1,3,5,7
/proc/16749/task/16750/stat : 16750 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 163261 0 0 0 10105 53 0 0 25 0 4 0 650516660 2788126720 553103 33554432000 4194304 4580107 140734193432064 18446744073709551615 4515156 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16749/tid=16751] ppid=16747 vsize=2722780 CPUtime=102 cores=1,3,5,7
/proc/16749/task/16751/stat : 16751 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 152348 0 0 0 10143 57 0 0 25 0 4 0 650516660 2788126720 553103 33554432000 4194304 4580107 140734193432064 18446744073709551615 4413617 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16749/tid=16752] ppid=16747 vsize=2722780 CPUtime=101.03 cores=1,3,5,7
/proc/16749/task/16752/stat : 16752 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 176541 0 0 0 10051 52 0 0 25 0 4 0 650516660 2788126720 553103 33554432000 4194304 4580107 140734193432064 18446744073709551615 4397332 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 406.62
Current children cumulated vsize (KiB) 2722780

[startup+162.301 s]

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

[pid=16749] ppid=16747 vsize=4078008 CPUtime=1652.23 cores=1,3,5,7
/proc/16749/stat : 16749 (strangenight2-m) R 16747 16749 16708 0 -1 4202496 1327154 0 0 0 164873 350 0 0 25 0 4 0 650516659 4175880192 854466 33554432000 4194304 4580107 140734193432064 18446744073709551615 4294220 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16749/statm: 1019502 854466 381 95 0 1014484 0
[pid=16749/tid=16750] ppid=16747 vsize=4078008 CPUtime=401.69 cores=1,3,5,7
/proc/16749/task/16750/stat : 16750 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 274139 0 0 0 40095 74 0 0 25 0 4 0 650516660 4175880192 854466 33554432000 4194304 4580107 140734193432064 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16749/tid=16751] ppid=16747 vsize=4078008 CPUtime=420.53 cores=1,3,5,7
/proc/16749/task/16751/stat : 16751 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 298755 0 0 0 41966 87 0 0 25 0 4 0 650516660 4175880192 854466 33554432000 4194304 4580107 140734193432064 18446744073709551615 4293288 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16749/tid=16752] ppid=16747 vsize=4078008 CPUtime=421.29 cores=1,3,5,7
/proc/16749/task/16752/stat : 16752 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 412156 0 0 0 42035 94 0 0 25 0 4 0 650516660 4175880192 854466 33554432000 4194304 4580107 140734193432064 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1652.23
Current children cumulated vsize (KiB) 4078008

[startup+582.301 s]
/proc/loadavg: 7.94 6.97 5.39 9/359 16769
/proc/meminfo: memFree=19591424/32950928 swapFree=67056568/67111528
[pid=16749] ppid=16747 vsize=4357432 CPUtime=1889.91 cores=1,3,5,7
/proc/16749/stat : 16749 (strangenight2-m) R 16747 16749 16708 0 -1 4202496 1416559 0 0 0 188622 369 0 0 25 0 4 0 650516659 4462010368 914400 33554432000 4194304 4580107 140734193432064 18446744073709551615 4305975 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16749/statm: 1089358 914400 381 95 0 1084340 0
[pid=16749/tid=16750] ppid=16747 vsize=4357432 CPUtime=461.68 cores=1,3,5,7
/proc/16749/task/16750/stat : 16750 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 280734 0 0 0 46092 76 0 0 25 0 4 0 650516660 4462010368 914400 33554432000 4194304 4580107 140734193432064 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16749/tid=16751] ppid=16747 vsize=4357432 CPUtime=479.28 cores=1,3,5,7
/proc/16749/task/16751/stat : 16751 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 351602 0 0 0 47832 96 0 0 25 0 4 0 650516660 4462010368 914400 33554432000 4194304 4580107 140734193432064 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16749/tid=16752] ppid=16747 vsize=4357432 CPUtime=480.95 cores=1,3,5,7
/proc/16749/task/16752/stat : 16752 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 432064 0 0 0 47996 99 0 0 25 0 4 0 650516660 4462010368 914400 33554432000 4194304 4580107 140734193432064 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1889.91
Current children cumulated vsize (KiB) 4357432

[startup+642.301 s]
/proc/loadavg: 8.04 7.17 5.56 9/359 16770
/proc/meminfo: memFree=19536896/32950928 swapFree=67056568/67111528
[pid=16749] ppid=16747 vsize=4322700 CPUtime=2129.24 cores=1,3,5,7
/proc/16749/stat : 16749 (strangenight2-m) R 16747 16749 16708 0 -1 4202496 1442088 0 0 0 212548 376 0 0 25 0 4 0 650516659 4426444800 930007 33554432000 4194304 4580107 140734193432064 18446744073709551615 4306246 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16749/statm: 1080675 930007 381 95 0 1075657 0
[pid=16749/tid=16750] ppid=16747 vsize=4322700 CPUtime=521.7 cores=1,3,5,7
/proc/16749/task/16750/stat : 16750 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 282774 0 0 0 52093 77 0 0 25 0 4 0 650516660 4426444800 930007 33554432000 4194304 4580107 140734193432064 18446744073709551615 4301898 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16749/tid=16751] ppid=16747 vsize=4322700 CPUtime=539.29 cores=1,3,5,7
/proc/16749/task/16751/stat : 16751 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 359890 0 0 0 53831 98 0 0 25 0 4 0 650516660 4426444800 930007 33554432000 4194304 4580107 140734193432064 18446744073709551615 4301741 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16749/tid=16752] ppid=16747 vsize=4322700 CPUtime=540.97 cores=1,3,5,7
/proc/16749/task/16752/stat : 16752 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 432774 0 0 0 53998 99 0 0 25 0 4 0 650516660 4426444800 930007 33554432000 4194304 4580107 140734193432064 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2129.24
Current children cumulated vsize (KiB) 4322700

[startup+702.301 s]
/proc/loadavg: 8.01 7.32 5.71 9/359 16772
/proc/meminfo: memFree=19509936/32950928 swapFree=67056568/67111528
[pid=16749] ppid=16747 vsize=4396300 CPUtime=2367.1 cores=1,3,5,7
/proc/16749/stat : 16749 (strangenight2-m) R 16747 16749 16708 0 -1 4202496 1460338 0 0 0 236328 382 0 0 25 0 4 0 650516659 4501811200 938033 33554432000 4194304 4580107 140734193432064 18446744073709551615 4293292 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16749/statm: 1099075 938033 381 95 0 1094057 0
[pid=16749/tid=16750] ppid=16747 vsize=4396300 CPUtime=580.67 cores=1,3,5,7
/proc/16749/task/16750/stat : 16750 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 287769 0 0 0 57988 79 0 0 25 0 4 0 650516660 4501811200 938033 33554432000 4194304 4580107 140734193432064 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16749/tid=16751] ppid=16747 vsize=4396300 CPUtime=598.68 cores=1,3,5,7
/proc/16749/task/16751/stat : 16751 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 364835 0 0 0 59768 100 0 0 25 0 4 0 650516660 4501811200 938033 33554432000 4194304 4580107 140734193432064 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16749/tid=16752] ppid=16747 vsize=4396300 CPUtime=600.96 cores=1,3,5,7
/proc/16749/task/16752/stat : 16752 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 437325 0 0 0 59996 100 0 0 25 0 4 0 650516660 4501811200 938033 33554432000 4194304 4580107 140734193432064 18446744073709551615 4315310 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2367.1
Current children cumulated vsize (KiB) 4396300

[startup+762.313 s]
/proc/loadavg: 8.05 7.46 5.85 9/359 16774
/proc/meminfo: memFree=19433592/32950928 swapFree=67056568/67111528
[pid=16749] ppid=16747 vsize=4420920 CPUtime=2606.45 cores=1,3,5,7
/proc/16749/stat : 16749 (strangenight2-m) R 16747 16749 16708 0 -1 4202496 1479629 0 0 0 260257 388 0 0 25 0 4 0 650516659 4527022080 957320 33554432000 4194304 4580107 140734193432064 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16749/statm: 1105230 957320 381 95 0 1100212 0
[pid=16749/tid=16750] ppid=16747 vsize=4420920 CPUtime=639.98 cores=1,3,5,7
/proc/16749/task/16750/stat : 16750 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 289717 0 0 0 63918 80 0 0 25 0 4 0 650516660 4527022080 957320 33554432000 4194304 4580107 140734193432064 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16749/tid=16751] ppid=16747 vsize=4420920 CPUtime=658.69 cores=1,3,5,7
/proc/16749/task/16751/stat : 16751 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 370345 0 0 0 65768 101 0 0 25 0 4 0 650516660 4527022080 957320 33554432000 4194304 4580107 140734193432064 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16749/tid=16752] ppid=16747 vsize=4420920 CPUtime=660.97 cores=1,3,5,7
/proc/16749/task/16752/stat : 16752 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 438295 0 0 0 65997 100 0 0 25 0 4 0 650516660 4527022080 957320 33554432000 4194304 4580107 140734193432064 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2606.45
Current children cumulated vsize (KiB) 4420920

[startup+822.301 s]
/proc/loadavg: 8.06 7.57 5.99 9/359 16775
/proc/meminfo: memFree=19440428/32950928 swapFree=67056568/67111528
[pid=16749] ppid=16747 vsize=4420920 CPUtime=2845.71 cores=1,3,5,7
/proc/16749/stat : 16749 (strangenight2-m) R 16747 16749 16708 0 -1 4202496 1486307 0 0 0 284180 391 0 0 25 0 4 0 650516659 4527022080 952462 33554432000 4194304 4580107 140734193432064 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16749/statm: 1105230 952462 381 95 0 1100212 0
[pid=16749/tid=16750] ppid=16747 vsize=4420920 CPUtime=699.28 cores=1,3,5,7
/proc/16749/task/16750/stat : 16750 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 290239 0 0 0 69847 81 0 0 25 0 4 0 650516660 4527022080 952462 33554432000 4194304 4580107 140734193432064 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16749/tid=16751] ppid=16747 vsize=4420920 CPUtime=718.68 cores=1,3,5,7
/proc/16749/task/16751/stat : 16751 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 371578 0 0 0 71766 102 0 0 25 0 4 0 650516660 4527022080 952462 33554432000 4194304 4580107 140734193432064 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16749/tid=16752] ppid=16747 vsize=4420920 CPUtime=720.96 cores=1,3,5,7
/proc/16749/task/16752/stat : 16752 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 442246 0 0 0 71995 101 0 0 25 0 4 0 650516660 4527022080 952462 33554432000 4194304 4580107 140734193432064 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2845.71
Current children cumulated vsize (KiB) 4420920

[startup+882.301 s]
/proc/loadavg: 8.02 7.64 6.11 9/359 16777
/proc/meminfo: memFree=19296636/32950928 swapFree=67056568/67111528
[pid=16749] ppid=16747 vsize=4470164 CPUtime=3085.02 cores=1,3,5,7
/proc/16749/stat : 16749 (strangenight2-m) R 16747 16749 16708 0 -1 4202496 1509130 0 0 0 308101 401 0 0 25 0 4 0 650516659 4577447936 968247 33554432000 4194304 4580107 140734193432064 18446744073709551615 4298000 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16749/statm: 1117541 968247 381 95 0 1112523 0
[pid=16749/tid=16750] ppid=16747 vsize=4470164 CPUtime=758.58 cores=1,3,5,7
/proc/16749/task/16750/stat : 16750 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 295743 0 0 0 75775 83 0 0 25 0 4 0 650516660 4577447936 968247 33554432000 4194304 4580107 140734193432064 18446744073709551615 4294185 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16749/tid=16751] ppid=16747 vsize=4470164 CPUtime=778.68 cores=1,3,5,7
/proc/16749/task/16751/stat : 16751 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 377472 0 0 0 77763 105 0 0 25 0 4 0 650516660 4577447936 968247 33554432000 4194304 4580107 140734193432064 18446744073709551615 4301898 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16749/tid=16752] ppid=16747 vsize=4470164 CPUtime=780.97 cores=1,3,5,7
/proc/16749/task/16752/stat : 16752 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 449448 0 0 0 77992 105 0 0 25 0 4 0 650516660 4577447936 968247 33554432000 4194304 4580107 140734193432064 18446744073709551615 4302360 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3085.02
Current children cumulated vsize (KiB) 4470164

[startup+942.301 s]
/proc/loadavg: 7.85 7.67 6.22 7/359 16778
/proc/meminfo: memFree=19061016/32950928 swapFree=67056568/67111528
[pid=16749] ppid=16747 vsize=4840216 CPUtime=3313.21 cores=1,3,5,7
/proc/16749/stat : 16749 (strangenight2-m) R 16747 16749 16708 0 -1 4202496 1572413 0 0 0 330904 417 0 0 25 0 4 0 650516659 4956381184 1025372 33554432000 4194304 4580107 140734193432064 18446744073709551615 47343196636868 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16749/statm: 1210054 1025372 381 95 0 1205036 0
[pid=16749/tid=16750] ppid=16747 vsize=4840216 CPUtime=814.38 cores=1,3,5,7
/proc/16749/task/16750/stat : 16750 (strangenight2-m) S 16747 16749 16708 0 -1 4202560 325421 0 0 0 81347 91 0 0 25 0 4 0 650516660 4956381184 1025372 33554432000 4194304 4580107 140734193432064 18446744073709551615 47343196661300 0 0 4096 2 18446604455380941632 0 0 -1 3 0 0 0
[pid=16749/tid=16751] ppid=16747 vsize=4840216 CPUtime=831.16 cores=1,3,5,7
/proc/16749/task/16751/stat : 16751 (strangenight2-m) S 16747 16749 16708 0 -1 4202560 380743 0 0 0 83011 105 0 0 25 0 4 0 650516660 4956381184 1025372 33554432000 4194304 4580107 140734193432064 18446744073709551615 47343196661300 0 0 4096 2 18446604455380941632 0 0 -1 5 0 0 0
[pid=16749/tid=16752] ppid=16747 vsize=4840216 CPUtime=840.85 cores=1,3,5,7
/proc/16749/task/16752/stat : 16752 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 475873 0 0 0 83975 110 0 0 25 0 4 0 650516660 4956381184 1025372 33554432000 4194304 4580107 140734193432064 18446744073709551615 4502095 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3313.21
Current children cumulated vsize (KiB) 4840216

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

[startup+942.601 s]
/proc/loadavg: 7.85 7.67 6.22 7/359 16778
/proc/meminfo: memFree=19060148/32950928 swapFree=67056568/67111528
[pid=16749] ppid=16747 vsize=4840216 CPUtime=3313.82 cores=1,3,5,7
/proc/16749/stat : 16749 (strangenight2-m) R 16747 16749 16708 0 -1 4202496 1572413 0 0 0 330965 417 0 0 25 0 4 0 650516659 4956381184 1025372 33554432000 4194304 4580107 140734193432064 18446744073709551615 47343196636868 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16749/statm: 1210054 1025372 381 95 0 1205036 0
[pid=16749/tid=16750] ppid=16747 vsize=4840216 CPUtime=814.38 cores=1,3,5,7
/proc/16749/task/16750/stat : 16750 (strangenight2-m) S 16747 16749 16708 0 -1 4202560 325421 0 0 0 81347 91 0 0 25 0 4 0 650516660 4956381184 1025372 33554432000 4194304 4580107 140734193432064 18446744073709551615 47343196661300 0 0 4096 2 18446604455380941632 0 0 -1 3 0 0 0
[pid=16749/tid=16751] ppid=16747 vsize=4840216 CPUtime=831.16 cores=1,3,5,7
/proc/16749/task/16751/stat : 16751 (strangenight2-m) S 16747 16749 16708 0 -1 4202560 380743 0 0 0 83011 105 0 0 25 0 4 0 650516660 4956381184 1025372 33554432000 4194304 4580107 140734193432064 18446744073709551615 47343196661300 0 0 4096 2 18446604455380941632 0 0 -1 5 0 0 0
[pid=16749/tid=16752] ppid=16747 vsize=4840216 CPUtime=841.16 cores=1,3,5,7
/proc/16749/task/16752/stat : 16752 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 475873 0 0 0 84006 110 0 0 25 0 4 0 650516660 4956381184 1025372 33554432000 4194304 4580107 140734193432064 18446744073709551615 4502108 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3313.82
Current children cumulated vsize (KiB) 4840216

[startup+943.001 s]
/proc/loadavg: 7.85 7.67 6.22 7/359 16778
/proc/meminfo: memFree=19060148/32950928 swapFree=67056568/67111528
[pid=16749] ppid=16747 vsize=4840216 CPUtime=3314.61 cores=1,3,5,7
/proc/16749/stat : 16749 (strangenight2-m) R 16747 16749 16708 0 -1 4202496 1572511 0 0 0 331044 417 0 0 25 0 4 0 650516659 4956381184 1025470 33554432000 4194304 4580107 140734193432064 18446744073709551615 47343196636868 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16749/statm: 1210054 1025470 381 95 0 1205036 0
[pid=16749/tid=16750] ppid=16747 vsize=4840216 CPUtime=814.38 cores=1,3,5,7
/proc/16749/task/16750/stat : 16750 (strangenight2-m) S 16747 16749 16708 0 -1 4202560 325421 0 0 0 81347 91 0 0 25 0 4 0 650516660 4956381184 1025470 33554432000 4194304 4580107 140734193432064 18446744073709551615 47343196661300 0 0 4096 2 18446604455380941632 0 0 -1 3 0 0 0
[pid=16749/tid=16751] ppid=16747 vsize=4840216 CPUtime=831.16 cores=1,3,5,7
/proc/16749/task/16751/stat : 16751 (strangenight2-m) S 16747 16749 16708 0 -1 4202560 380743 0 0 0 83011 105 0 0 25 0 4 0 650516660 4956381184 1025470 33554432000 4194304 4580107 140734193432064 18446744073709551615 47343196661300 0 0 4096 2 18446604455380941632 0 0 -1 5 0 0 0
[pid=16749/tid=16752] ppid=16747 vsize=4840216 CPUtime=841.55 cores=1,3,5,7
/proc/16749/task/16752/stat : 16752 (strangenight2-m) R 16747 16749 16708 0 -1 4202560 475971 0 0 0 84045 110 0 0 25 0 4 0 650516660 4956381184 1025470 33554432000 4194304 4580107 140734193432064 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3314.61
Current children cumulated vsize (KiB) 4840216

[startup+943.401 s]
/proc/loadavg: 7.85 7.67 6.22 7/359 16778
/proc/meminfo: memFree=19060148/32950928 swapFree=67056568/67111528
[pid=16749] ppid=16747 vsize=0 CPUtime=3315.37 cores=1,3,5,7
/proc/16749/stat : 16749 (strangenight2-m) Z 16747 16749 16708 0 -1 4202524 1572522 0 0 0 331117 420 0 0 25 0 2 0 650516659 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16749/statm: 0 0 0 0 0 0 0
[pid=16749/tid=16750] ppid=16747 vsize=0 CPUtime=814.42 cores=1,3,5,7
/proc/16749/task/16750/stat : 16750 (strangenight2-m) R 16747 16749 16708 0 -1 4203588 325421 0 0 0 81347 95 0 0 18 0 2 0 650516660 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) 3315.37
Current children cumulated vsize (KiB) 0

[startup+943.501 s]
/proc/loadavg: 7.85 7.67 6.22 7/359 16778
/proc/meminfo: memFree=19060148/32950928 swapFree=67056568/67111528
[pid=16749] ppid=16747 vsize=0 CPUtime=3315.47 cores=1,3,5,7
/proc/16749/stat : 16749 (strangenight2-m) Z 16747 16749 16708 0 -1 4202524 1572522 0 0 0 331117 430 0 0 25 0 2 0 650516659 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16749/statm: 0 0 0 0 0 0 0
[pid=16749/tid=16750] ppid=16747 vsize=0 CPUtime=814.52 cores=1,3,5,7
/proc/16749/task/16750/stat : 16750 (strangenight2-m) R 16747 16749 16708 0 -1 4203588 325421 0 0 0 81347 105 0 0 18 0 2 0 650516660 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) 3315.47
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 943.533
CPU time (s): 3315.51
CPU user time (s): 3311.17
CPU system time (s): 4.33834
CPU usage (%): 351.393
Max. virtual memory (cumulated for all children) (KiB): 4840216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3311.17
system time used= 4.33834
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1572522
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= 128449
involuntary context switches= 28105

runsolver used 3.07653 second user time and 7.67783 second system time

The end

Launcher Data 

Begin job on node148 at 2011-05-14 18:06:36
IDJOB=3367077
IDBENCH=20580
IDSOLVER=1844
FILE ID=node148/3367077-1305389192
RUNJOBID= node148-1305389192-16727
PBS_JOBID= 13324440
Free space on /tmp= 72696 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq7.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3367077-1305389192/watcher-3367077-1305389192 -o /tmp/evaluation-result-3367077-1305389192/solver-3367077-1305389192 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3367077-1305389192.cnf

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

MD5SUM BENCH= 0fbc00fde383cec371bb97d621c5e7e5
RANDOM SEED=1265763171

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      24417180 kB
Buffers:        310876 kB
Cached:        4712464 kB
SwapCached:       8488 kB
Active:        4891688 kB
Inactive:      3283212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24417180 kB
SwapTotal:    67111528 kB
SwapFree:     67056568 kB
Dirty:          153740 kB
Writeback:           0 kB
AnonPages:     3148808 kB
Mapped:          27720 kB
Slab:           263268 kB
PageTables:      29488 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 84945036 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= 72692 MiB
End job on node148 at 2011-05-14 18:22:20