Trace number 3281330

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-mtUNSAT 3627.22 1010.65

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.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-3281330-1304028697.cnf'
0.00/0.00	c -- header says num vars:         306095
0.00/0.00	c -- header says num clauses:     6069108
8.23/2.39	c -- clauses added:            0 learnts,      6069108 normals,            0 xors
8.23/2.39	c -- vars added     306095
8.23/2.39	c Parsing time:  1.72 s
8.23/2.39	c  N st     0         0    306095    323996   5745111         0  17675753         0   no data   no data
11.01/3.04	c asymm  cl-useful: 68/76/323988 lits-rem:1368 time: 0.62
46.16/11.88	c Flit:    78 Blit:  77882 bXBeca:    0 bXProp:   23 Bins:      0 BRemL:      0 BRemN:      0 P: 200.4M T:  8.83
48.95/12.58	c Cleaning up after failed var search:     0.70 s 
50.95/13.10	c Replacing       23 vars Replaced   212813 lits Time:     0.51 s 
53.31/13.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
54.91/14.08	c bin-w-bin subsume rem         1310 bins  time:  0.48 s
75.68/19.22	c subs with bin:     9993  lits-rem:     97808  v-fix:    0  time:  5.14 s
94.04/23.86	c Subs w/ non-existent bins:      6 l-rem:   1321 v-fix:   350 done:  33249 time:  4.60 s
95.25/24.16	c Removed useless bin:     856  fixed:     0  props:  20.03M  time:  0.27 s
151.52/38.26	c lits-rem:     14113  cl-subs:    25135  v-elim:  73348  v-fix:    0  time: 14.04 s
151.92/38.34	c Finding binary XORs  T:     0.08 s  found:     110
152.74/38.52	c Replacing      110 vars Replaced    12621 lits Time:     0.18 s 
155.90/39.35	c Finding non-binary XORs:     0.74 s (found:       0, avg size: nan)
155.90/39.35	c calculated reachability. Time: 0.01
156.30/39.43	c Calc default polars -  time:   0.08 s pos:   22374 undec:  156296 neg:  127425
156.30/39.43	c =========================================================================================
156.30/39.43	c types(t): F = full restart, N = normal restart
156.30/39.43	c types(t): S = simplification begin/end, E = solution found
156.30/39.43	c restart types(rt): st = static, dy = dynamic
156.30/39.43	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
156.30/39.43	c  B st     0         0    151679    328941   2934430         0  10502748         0   no data   no data
187.06/47.12	c  N dy    20      4342    151678    328941   2934566      4094  10502720    154118     20.02     21.09
201.07/50.62	c  N dy    38      8354    151677    328941   2935588      7931  10502720    316415     19.18     21.63
213.84/53.87	c  N dy    64     12492    151677    328941   2935677     11829  10502712    474782     19.64     20.80
227.43/57.25	c  N dy    87     16950    151675    328941   2936059     16065  10502688    674846     19.28     20.39
248.18/62.43	c  N dy   114     21091    151674    328941   2936359     10578  10502686    299311     20.19     21.44
268.55/67.55	c  F st   141     25000    151674    328941   2936877     14300  10502676    462834     20.28   no data
271.74/68.34	c  N st   142     25252    151674    328715   2936736     14401  10500980    468622     20.28   no data
288.54/72.58	c  N dy   147     30000    151674    328715   2936810     19017  10500918    729935     20.28   no data
288.54/72.58	c  S st   147     30000    151674    328715   2936810     19017  10500918    729935     20.28   no data
292.93/73.64	c  S st   147     30502    151669    328715   2936937     19385  10500918    733192     20.28   no data
293.33/73.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
369.21/92.72	c Flit:   598 Blit:   3088 bXBeca:    0 bXProp:   14 Bins:1845875 BRemL:   8441 BRemN:    735 P: 200.2M T: 18.92
369.61/92.87	c Cleaning up after failed var search:     0.15 s 
370.81/93.16	c Replacing       14 vars Replaced    52818 lits Time:     0.28 s 
372.43/93.54	c blocked clauses removed:      148 vars:   1814 tried:       97268 T: 0.11 s
374.40/94.06	c bin-w-bin subsume rem        12114 bins  time:  0.52 s
397.57/99.82	c subs with bin:    28169  lits-rem:    306518  v-fix:    0  time:  5.76 s
417.95/104.99	c Subs w/ non-existent bins:    150 l-rem:   2446 v-fix:     0 done:   5007 time:  5.15 s
420.76/105.61	c Removed useless bin:    1212  fixed:     0  props:  20.05M  time:  0.26 s
436.72/109.63	c lits-rem:      8865  cl-subs:     1584  v-elim:   3582  v-fix:    0  time:  4.02 s
441.11/110.71	c subs with bin:       43  lits-rem:     11436  v-fix:    0  time:  0.99 s
443.11/111.29	c lits-rem:      6621  cl-subs:     1315  v-elim:      0  v-fix:    0  time:  0.43 s
445.50/111.84	c asymm  cl-useful: 104/414/289472 lits-rem:1574 time: 0.55
445.91/111.94	c calculated reachability. Time: 0.01
445.91/111.95	c  N dy   147     30502    139976    289472   4052367     16981   9610712   3021625     20.28   no data
446.30/112.04	c Finding binary XORs  T:     0.09 s  found:      77
497.58/125.57	c  N dy   161     34670    134248    275289   3839101     20948   9359484   2871870     19.95     21.44
524.69/136.79	c Finding binary XORs  T:     0.09 s  found:     787
527.35/137.93	c  N dy   188     38672    131217    269838   4257319     24655   9206884   3969365     20.21     21.46
530.15/139.32	c  N dy   189     42826    131217    269838   4257412     14532   9206884   3399058     19.24     20.42
592.65/183.18	c Finding binary XORs  T:     0.10 s  found:     244
593.05/183.21	c  S st   197     45758    127541    258068   4480360     17329   8985228   4130689     19.05   no data
597.05/184.27	c  S st   197     46258    127540    258068   4480475     17712   8985228   4135438     19.05   no data
597.85/184.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.16
650.56/197.66	c Flit:   959 Blit:   1273 bXBeca:    0 bXProp:   77 Bins: 807457 BRemL:   6701 BRemN:     74 P: 200.1M T: 13.22
650.96/197.79	c Cleaning up after failed var search:     0.12 s 
652.56/198.15	c Replacing     1185 vars Replaced   437367 lits Time:     0.35 s 
653.36/198.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
656.96/199.27	c bin-w-bin subsume rem        99017 bins  time:  0.88 s
678.14/204.60	c subs with bin:    23212  lits-rem:    169463  v-fix:    0  time:  5.33 s
692.49/208.11	c Subs w/ non-existent bins:    171 l-rem:   1542 v-fix:     9 done:  28776 time:  3.50 s
694.09/208.52	c Removed useless bin:   20580  fixed:    12  props:  20.00M  time:  0.39 s
709.29/212.35	c lits-rem:      4408  cl-subs:     5521  v-elim:  13766  v-fix:    3  time:  3.83 s
712.06/213.09	c subs with bin:      349  lits-rem:     15181  v-fix:    0  time:  0.65 s
714.06/213.55	c lits-rem:      4933  cl-subs:      940  v-elim:      0  v-fix:    0  time:  0.34 s
716.06/214.09	c asymm  cl-useful: 54/1187/226684 lits-rem:1673 time: 0.54
716.46/214.19	c calculated reachability. Time: 0.01
716.46/214.19	c  N dy   197     46258    109808    226684   3968369     11646   7648846   3688040     19.05   no data
716.86/214.29	c Finding binary XORs  T:     0.09 s  found:      41
754.53/227.12	c  N dy   232     50312    109787    226684   3971277     15579   7648839   3909663     19.61     20.79
762.61/230.29	c  N dy   256     54587    109776    226684   3971333     19692   7648837   4078030     19.67     21.13
813.44/253.08	c Finding binary XORs  T:     0.09 s  found:      21
819.00/254.44	c  N dy   288     58655    109316    226314   4115966     23643   7624833   4591577     20.09     26.94
835.41/258.50	c  N dy   317     62671    109304    226314   4116591     27502   7624825   4779718     20.38     21.74
850.96/262.48	c  N dy   342     67213    109304    226314   4116657     16685   7624824   4012198     20.34     21.48
859.75/264.65	c  S st   359     69387    109301    226314   4117045     18799   7624791   4127879     20.46   no data
863.34/265.57	c  S st   359     69887    109299    226314   4117166     19173   7624791   4132678     20.46   no data
864.14/265.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
886.98/275.83	c Flit:   549 Blit:    239 bXBeca:    0 bXProp:   13 Bins: 642393 BRemL:   4690 BRemN:   4008 P: 200.0M T: 10.13
886.98/275.83	c Cleaning up after failed var search:     0.00 s 
887.59/276.14	c Replacing       75 vars Replaced    85747 lits Time:     0.30 s 
887.98/276.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
889.18/276.97	c bin-w-bin subsume rem        29077 bins  time:  0.66 s
897.57/281.01	c subs with bin:     9358  lits-rem:     33234  v-fix:    0  time:  4.04 s
905.36/283.67	c Subs w/ non-existent bins:    522 l-rem:   6917 v-fix:     0 done:  17564 time:  2.65 s
906.56/284.03	c Removed useless bin:   20528  fixed:     0  props:  20.00M  time:  0.37 s
911.06/285.53	c lits-rem:       383  cl-subs:     3494  v-elim:   3001  v-fix:    0  time:  1.50 s
912.34/286.14	c subs with bin:      518  lits-rem:      7499  v-fix:    0  time:  0.55 s
913.14/286.52	c lits-rem:      6071  cl-subs:      863  v-elim:      0  v-fix:    0  time:  0.28 s
913.94/286.90	c asymm  cl-useful: 24/985/214279 lits-rem:267 time: 0.38
913.94/287.00	c calculated reachability. Time: 0.00
913.94/287.00	c  N dy   359     69887    105404    214279   4137922     17498   7285336   4303986     20.46   no data
914.15/287.08	c Finding binary XORs  T:     0.08 s  found:       9
920.34/290.19	c  N dy   392     74437    105403    214279   4137997     21864   7285331   4520017     20.62     28.60
1001.12/327.47	c Finding binary XORs  T:     0.09 s  found:      33
1008.32/330.33	c  N dy   413     79310    103877    212306   4846550     26425   7230742   6215045     20.54     21.72
1034.98/339.39	c  N dy   451     84410    103613    212306   4870022     31354   7230739   6533796     20.77     22.09
1044.57/341.73	c  F st   471     87500    103613    212306   4871769     34325   7230736   6679771     20.87   no data
1046.19/342.16	c Replacing       42 vars Replaced    60509 lits Time:     0.34 s 
1048.17/342.62	c Found part       33 vars:          2 clauses:         1 lits size:         2
1048.17/342.62	c Found part       35 vars:          2 clauses:         1 lits size:         2
1048.17/342.62	c Found part       36 vars:          2 clauses:         1 lits size:         2
1048.17/342.62	c Found part       37 vars:          2 clauses:         1 lits size:         2
1048.17/342.62	c Found part       38 vars:     103339 clauses:   2378976 lits size:   7205138
1048.17/342.63	c Found parts:          5 time: 0.90 s
1048.17/342.63	c Solving part 33
1048.95/342.85	c  N st     0         0         2         0         1         0         2         0   no data   no data
1048.95/342.85	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
1048.95/342.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
1048.95/342.87	c Finding binary XORs  T:     0.02 s  found:       0
1048.95/342.87	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
1048.95/342.87	c calculated reachability. Time: 0.00
1048.95/342.88	c Calc default polars -  time:   0.00 s pos:       0 undec:  306093 neg:       2
1048.95/342.88	c =========================================================================================
1048.95/342.88	c types(t): F = full restart, N = normal restart
1048.95/342.88	c types(t): S = simplification begin/end, E = solution found
1048.95/342.88	c restart types(rt): st = static, dy = dynamic
1048.95/342.88	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1048.95/342.88	c  B st     0         0         2         0         1         0         2         0   no data   no data
1048.95/342.88	c  E st     1         0         0         0         1         0         2         0   no data   no data
1048.95/342.88	c Verified 0 clauses.
1048.95/342.88	c Verified 0 clauses.
1048.95/342.88	c Solved part
1048.95/342.88	c =========================================================================================
1048.95/342.89	c Solving part 35
1050.15/343.12	c  N st     0         0         2         0         1         0         2         0   no data   no data
1050.15/343.12	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
1050.15/343.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
1050.15/343.13	c Finding binary XORs  T:     0.02 s  found:       0
1050.15/343.14	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
1050.15/343.14	c calculated reachability. Time: 0.00
1050.15/343.14	c Calc default polars -  time:   0.00 s pos:       0 undec:  306093 neg:       2
1050.15/343.14	c =========================================================================================
1050.15/343.14	c types(t): F = full restart, N = normal restart
1050.15/343.14	c types(t): S = simplification begin/end, E = solution found
1050.15/343.14	c restart types(rt): st = static, dy = dynamic
1050.15/343.14	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1050.15/343.14	c  B st     0         0         2         0         1         0         2         0   no data   no data
1050.15/343.14	c  E st     1         0         0         0         1         0         2         0   no data   no data
1050.15/343.15	c Verified 0 clauses.
1050.15/343.15	c Verified 0 clauses.
1050.15/343.15	c Solved part
1050.15/343.15	c =========================================================================================
1050.15/343.16	c Solving part 36
1050.91/343.37	c  N st     0         0         2         0         1         0         2         0   no data   no data
1050.91/343.37	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
1050.91/343.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
1050.91/343.39	c Finding binary XORs  T:     0.02 s  found:       0
1051.31/343.40	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
1051.31/343.40	c calculated reachability. Time: 0.00
1051.31/343.40	c Calc default polars -  time:   0.00 s pos:       0 undec:  306093 neg:       2
1051.31/343.40	c =========================================================================================
1051.31/343.40	c types(t): F = full restart, N = normal restart
1051.31/343.40	c types(t): S = simplification begin/end, E = solution found
1051.31/343.40	c restart types(rt): st = static, dy = dynamic
1051.31/343.40	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1051.31/343.40	c  B st     0         0         2         0         1         0         2         0   no data   no data
1051.31/343.40	c  E st     1         0         0         0         1         0         2         0   no data   no data
1051.31/343.41	c Verified 0 clauses.
1051.31/343.41	c Verified 0 clauses.
1051.31/343.41	c Solved part
1051.31/343.41	c =========================================================================================
1051.31/343.42	c Solving part 37
1052.12/343.63	c  N st     0         0         2         0         1         0         2         0   no data   no data
1052.12/343.63	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
1052.12/343.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
1052.12/343.65	c Finding binary XORs  T:     0.02 s  found:       0
1052.12/343.65	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
1052.12/343.65	c calculated reachability. Time: 0.00
1052.12/343.65	c Calc default polars -  time:   0.00 s pos:       0 undec:  306093 neg:       2
1052.12/343.65	c =========================================================================================
1052.12/343.65	c types(t): F = full restart, N = normal restart
1052.12/343.65	c types(t): S = simplification begin/end, E = solution found
1052.12/343.65	c restart types(rt): st = static, dy = dynamic
1052.12/343.65	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1052.12/343.65	c  B st     0         0         2         0         1         0         2         0   no data   no data
1052.12/343.66	c  E st     1         0         0         0         1         0         2         0   no data   no data
1052.12/343.66	c Verified 0 clauses.
1052.12/343.66	c Verified 0 clauses.
1052.12/343.66	c Solved part
1052.12/343.66	c =========================================================================================
1052.12/343.67	c Coming back to original instance
1052.12/343.67	c =========================================================================================
1062.51/346.27	c  N st   476     90805    103563    211212   4379690     19145   7205136   4793326     20.87   no data
1083.68/351.54	c  N dy   505     96605    103562    211212   4382740     24803   7205134   5109130     21.05     23.51
1101.65/356.09	c  N dy   542    103162    103562    211212   4383496     31147   7205123   5471326     21.13     22.27
1105.65/357.08	c  S st   549    104835    103562    211212   4383523     32720   7205118   5540103     21.09     21.23
1110.04/358.14	c  S st   549    105335    103561    211212   4383633     33108   7205118   5544097     21.09   no data
1110.44/358.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
1164.38/371.79	c Flit:   474 Blit:    121 bXBeca:    0 bXProp:   15 Bins: 391157 BRemL:   4047 BRemN:    344 P: 200.0M T: 13.51
1164.38/371.80	c Cleaning up after failed var search:     0.00 s 
1165.95/372.13	c Replacing       15 vars Replaced    52554 lits Time:     0.33 s 
1166.75/372.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1169.56/373.03	c bin-w-bin subsume rem        20976 bins  time:  0.70 s
1185.93/377.11	c subs with bin:     4160  lits-rem:     22838  v-fix:    0  time:  4.08 s
1196.31/379.75	c Subs w/ non-existent bins:    298 l-rem:   5788 v-fix:     0 done:  29113 time:  2.64 s
1198.71/380.38	c Removed useless bin:   52795  fixed:     0  props:  20.04M  time:  0.62 s
1203.92/381.66	c lits-rem:      1456  cl-subs:     1656  v-elim:   1313  v-fix:    0  time:  1.28 s
1210.69/383.32	c subs with bin:      412  lits-rem:      8815  v-fix:    0  time:  1.56 s
1213.48/384.03	c lits-rem:      9447  cl-subs:     1569  v-elim:      0  v-fix:    0  time:  0.59 s
1215.49/384.53	c asymm  cl-useful: 11/819/209976 lits-rem:116 time: 0.50
1215.89/384.63	c calculated reachability. Time: 0.01
1215.89/384.64	c  N dy   549    105335    101638    209976   4320009     30773   7089031   5459051     21.09   no data
1228.15/392.42	c Finding binary XORs  T:     0.09 s  found:      29
1253.36/405.06	c  N dy   588    112100    101593    209890   4857515     37301   7087569   6852142     21.20     23.05
1276.13/410.75	c  N dy   628    119306    101593    209890   4857763     23857   7087569   6013790     21.24     22.57
1291.31/414.57	c  N dy   632    127458    101593    209890   4857844     31621   7087561   6362530     20.72     21.84
1324.86/422.98	c  N dy   704    135615    100673    209890   4858893     39570   7087551   6836260     21.30     22.68
1358.04/431.26	c  N dy   778    144333    100673    209890   4859312     25778   7087535   6071638     21.71     44.33
1391.17/439.57	c  N dy   850    153572    100671    209890   4859970     34750   7087533   6563292     22.05     27.66
1405.15/443.09	c  S st   882    158002    100671    209890   4860005     39067   7087523   6790351     22.12     17.13
1409.14/444.08	c  S st   882    158502    100667    209890   4860352     39473   7087523   6798122     22.12   no data
1409.94/444.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.15
1463.37/457.69	c Flit:   792 Blit:   4779 bXBeca:    0 bXProp:   66 Bins:  97966 BRemL:   2333 BRemN:   2002 P: 200.0M T: 13.47
1464.14/457.85	c Cleaning up after failed var search:     0.15 s 
1465.34/458.19	c Replacing       95 vars Replaced   172709 lits Time:     0.33 s 
1466.14/458.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1469.34/459.18	c bin-w-bin subsume rem        21067 bins  time:  0.81 s
1484.94/463.06	c subs with bin:     3168  lits-rem:     41890  v-fix:    0  time:  3.88 s
1494.50/465.43	c Subs w/ non-existent bins:    472 l-rem:   2691 v-fix:     6 done:  59978 time:  2.37 s
1495.70/465.72	c Removed useless bin:   13111  fixed:     0  props:  20.01M  time:  0.29 s
1503.28/467.63	c lits-rem:      2666  cl-subs:     6057  v-elim:   3207  v-fix:    5  time:  1.90 s
1509.69/469.29	c subs with bin:      665  lits-rem:     15712  v-fix:    0  time:  1.56 s
1513.28/470.13	c lits-rem:     41953  cl-subs:     1446  v-elim:      0  v-fix:    0  time:  0.72 s
1515.28/470.65	c asymm  cl-useful: 157/1164/193048 lits-rem:933 time: 0.52
1515.69/470.72	c calculated reachability. Time: 0.00
1515.69/470.72	c  N dy   882    158502     91582    193048   2769901     29298   6557807   2548558     22.12   no data
1515.69/470.80	c Finding binary XORs  T:     0.08 s  found:      20
1554.42/480.41	c  N dy   951    168648     91579    193048   2888487     39109   6557806   3260279     22.28     24.42
1555.23/480.70	c Finding binary XORs  T:     0.08 s  found:      21
1597.15/491.12	c  N dy  1042    179498     91579    193047   2889957     30105   6557741   2735775     22.77     32.34
1635.51/500.76	c  N dy  1137    191127     91579    193047   2890659     41430   6557735   3390938     23.12     24.61
1682.48/515.13	c Finding binary XORs  T:     0.07 s  found:      33
1684.60/515.83	c  N dy  1237    203372     91333    192886   3454212     30324   6547801   3717793     23.55     35.14
1726.78/526.68	c  N dy  1343    216608     91333    192886   3455343     43171   6547787   4450460     23.95     25.39
1777.91/539.45	c  N dy  1455    230478     90365    190621   3432725     31273   6515499   3653480     24.37     41.62
1803.07/545.77	c  S st  1513    237753     90365    190621   3433077     38361   6515499   4082278     24.59     23.22
1807.87/546.93	c  S st  1513    238255     90363    190621   3433202     38735   6515499   4088687     24.59   no data
1808.27/547.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
1859.81/559.94	c Flit:   397 Blit:    672 bXBeca:    0 bXProp:   70 Bins: 642969 BRemL:   8964 BRemN:     35 P: 200.1M T: 12.89
1860.19/560.03	c Cleaning up after failed var search:     0.09 s 
1861.39/560.30	c Replacing      145 vars Replaced   109944 lits Time:     0.26 s 
1861.78/560.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1866.58/561.65	c bin-w-bin subsume rem        34500 bins  time:  1.18 s
1880.56/565.13	c subs with bin:     3450  lits-rem:     15482  v-fix:    0  time:  3.48 s
1886.95/566.70	c Subs w/ non-existent bins:   1641 l-rem:   5246 v-fix:     1 done:  33024 time:  1.56 s
1888.15/567.07	c Removed useless bin:   27152  fixed:     0  props:  20.00M  time:  0.37 s
1894.15/568.57	c lits-rem:      1272  cl-subs:     4541  v-elim:   1659  v-fix:    0  time:  1.50 s
1900.93/570.23	c subs with bin:      551  lits-rem:      8520  v-fix:    0  time:  1.55 s
1903.75/570.94	c lits-rem:     18754  cl-subs:     1350  v-elim:      0  v-fix:    0  time:  0.60 s
1905.73/571.49	c asymm  cl-useful: 155/1268/184625 lits-rem:426 time: 0.55
1906.13/571.58	c calculated reachability. Time: 0.00
1906.13/571.58	c  N dy  1513    238255     87475    184625   3394611     34597   6346463   3990208     24.59   no data
1906.53/571.66	c Finding binary XORs  T:     0.08 s  found:      27
1944.28/581.24	c Finding binary XORs  T:     0.08 s  found:      21
1962.65/585.83	c  N dy  1624    253516     87242    184461   3558962     49465   6340417   5142912     24.83     26.25
2016.58/599.34	c  N dy  1744    269839     87242    184461   3559861     39936   6340405   4454078     25.07     27.78
2064.92/611.48	c  N dy  1827    287297     87241    184461   3560853     29700   6340389   3783115     25.01     26.48
2106.85/621.93	c  N dy  1872    305792     87241    184461   3561775     47345   6340383   4545993     24.63     26.02
2108.86/622.42	c  F st  1877    306251     87241    184461   3561778     47797   6340383   4569938     24.63   no data
2110.05/622.77	c Replacing       48 vars Replaced    51300 lits Time:     0.26 s 
2111.65/623.16	c Found part       20 vars:      86966 clauses:   2067948 lits size:   6338952
2111.65/623.16	c Found part       21 vars:          2 clauses:         1 lits size:         2
2111.65/623.16	c Found parts:          2 time: 0.73 s
2111.65/623.16	c Solving part 21
2112.45/623.36	c  N st     0         0         2         0         1         0         2         0   no data   no data
2112.45/623.36	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
2112.45/623.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
2112.45/623.38	c Finding binary XORs  T:     0.02 s  found:       0
2112.45/623.38	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
2112.45/623.38	c calculated reachability. Time: 0.00
2112.45/623.38	c Calc default polars -  time:   0.00 s pos:       0 undec:  306093 neg:       2
2112.45/623.38	c =========================================================================================
2112.45/623.38	c types(t): F = full restart, N = normal restart
2112.45/623.38	c types(t): S = simplification begin/end, E = solution found
2112.45/623.38	c restart types(rt): st = static, dy = dynamic
2112.45/623.38	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2112.45/623.38	c  B st     0         0         2         0         1         0         2         0   no data   no data
2112.45/623.38	c  E st     1         0         0         0         1         0         2         0   no data   no data
2112.45/623.39	c Verified 0 clauses.
2112.45/623.39	c Verified 0 clauses.
2112.45/623.39	c Solved part
2112.45/623.39	c =========================================================================================
2112.85/623.40	c Coming back to original instance
2112.85/623.40	c =========================================================================================
2175.96/639.26	c  N dy  1993    325392     87065    184105   3562527     37993   6338935   4197433     24.86     26.23
2243.06/656.00	c  N dy  2142    345442     87065    184105   3563198     57495   6338903   5342631     25.12     27.03
2288.60/667.59	c Finding binary XORs  T:     0.08 s  found:     165
2292.99/668.63	c  S st  2234    357385     85549    180708   3366741     39174   6267992   3815447     25.25   no data
2296.58/669.58	c  S st  2234    357885     85549    180708   3366830     39583   6267992   3818403     25.25   no data
2296.98/669.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
2349.71/682.85	c Flit:   232 Blit:    153 bXBeca:    0 bXProp:   12 Bins: 563860 BRemL:  13781 BRemN:   1141 P: 200.0M T: 13.16
2349.71/682.86	c Cleaning up after failed var search:     0.00 s 
2350.93/683.18	c Replacing      177 vars Replaced   117767 lits Time:     0.31 s 
2351.70/683.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2356.10/684.44	c bin-w-bin subsume rem        34115 bins  time:  1.10 s
2369.68/687.83	c subs with bin:     3247  lits-rem:     17208  v-fix:    0  time:  3.39 s
2377.67/689.80	c Subs w/ non-existent bins:    780 l-rem:   2264 v-fix:     2 done:  59252 time:  1.97 s
2378.47/690.09	c Removed useless bin:   19729  fixed:     0  props:  20.01M  time:  0.29 s
2384.46/691.55	c lits-rem:      1669  cl-subs:     4690  v-elim:   2557  v-fix:    0  time:  1.46 s
2390.47/693.09	c subs with bin:     1014  lits-rem:      8447  v-fix:    0  time:  1.44 s
2393.64/693.84	c lits-rem:     25545  cl-subs:     1917  v-elim:      0  v-fix:    0  time:  0.65 s
2396.04/694.44	c asymm  cl-useful: 182/1147/177652 lits-rem:3381 time: 0.59
2396.44/694.52	c calculated reachability. Time: 0.00
2396.44/694.52	c  N dy  2234    357885     82369    177621   3430932     34921   6133335   3923635     25.25   no data
2396.84/694.61	c Finding binary XORs  T:     0.08 s  found:       6
2419.22/700.52	c Finding binary XORs  T:     0.08 s  found:      25
2464.46/711.91	c  N dy  2368    377984     82287    177601   3764257     54488   6131483   5691041     25.37     27.53
2533.99/729.32	c  N dy  2538    398000     81909    177601   3765173     44110   6131467   5059075     25.75     38.95
2590.28/743.47	c  N dy  2659    418425     81907    177601   3766127     32426   6131452   4246185     25.85     27.48
2660.19/760.99	c  N dy  2794    442716     81907    177601   3766913     55973   6131451   5550507     25.90     27.35
2729.29/778.21	c  N dy  2955    462754     81907    177601   3767781     43076   6131394   4838714     26.17     43.25
2793.23/794.26	c  N dy  3095    482850     81907    177601   3768591     62658   6131390   5957629     26.30     36.05
2858.31/810.58	c  N dy  3249    502929     81907    177601   3769257     48429   6131389   5099181     26.52     27.97
2922.23/826.54	c  N dy  3362    526013     81906    177601   3770027     35802   6131355   4201712     26.49     27.92
2954.58/834.68	c  S st  3442    536828     81903    177601   3770396     46408   6131339   4848847     26.59   no data
2958.57/835.64	c  S st  3442    537328     81902    177601   3770467     46836   6131339   4852972     26.59   no data
2958.97/835.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
3004.91/847.27	c Flit:   234 Blit:   1738 bXBeca:    0 bXProp:  161 Bins: 267597 BRemL:  15378 BRemN:     97 P: 200.0M T: 11.52
3005.71/847.41	c Cleaning up after failed var search:     0.14 s 
3008.13/848.05	c Replacing      193 vars Replaced   223193 lits Time:     0.62 s 
3008.91/848.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3015.70/849.94	c bin-w-bin subsume rem        48162 bins  time:  1.74 s
3028.48/853.11	c subs with bin:     2804  lits-rem:     13733  v-fix:    0  time:  3.17 s
3035.66/854.99	c Subs w/ non-existent bins:    384 l-rem:   2930 v-fix:     0 done:  40748 time:  1.88 s
3036.86/855.24	c Removed useless bin:   12238  fixed:     0  props:  20.01M  time:  0.24 s
3044.45/857.11	c lits-rem:      1412  cl-subs:     5210  v-elim:   2680  v-fix:    0  time:  1.87 s
3050.45/858.67	c subs with bin:     1330  lits-rem:      9299  v-fix:    0  time:  1.47 s
3054.85/859.71	c lits-rem:     34227  cl-subs:     2457  v-elim:      0  v-fix:    0  time:  0.95 s
3057.24/860.34	c asymm  cl-useful: 227/900/169290 lits-rem:3401 time: 0.63
3057.64/860.41	c calculated reachability. Time: 0.00
3057.64/860.42	c  N dy  3442    537328     77062    169269   2783632     40937   5879712   2891941     26.59   no data
3057.64/860.49	c Finding binary XORs  T:     0.07 s  found:      74
3121.83/876.51	c  N dy  3600    557359     77061    169269   2791929     60524   5879703   4123625     26.82     28.61
3180.15/891.13	c  N dy  3756    577440     77060    169269   2792619     45322   5879690   3009834     27.01     33.37
3228.49/903.29	c  N dy  3832    602439     77060    169269   2793094     69259   5879681   4128932     26.82     28.93
3292.40/919.24	c  N dy  3979    622615     76774    169269   2793800     52768   5879658   3348003     26.93     28.37
3334.34/929.78	c  N dy  4035    642678     76774    169269   2794176     71980   5879658   4248337     26.77     51.59
3396.25/945.20	c  N dy  4183    662738     76734    169269   2794806     54226   5879652   3417731     26.92     30.76
3462.95/961.95	c  N dy  4305    685659     76732    169269   2795242     76428   5879652   4632284     26.90     28.96
3474.16/964.79	c Finding binary XORs  T:     0.07 s  found:      94
3521.28/976.52	c  N dy  4452    705876     75656    161991   2678348     55739   5800257   3265096     27.02     28.60
3570.01/988.77	c  N dy  4546    729032     75656    161991   2678650     39066   5800244   2201565     26.91     30.08
3595.98/995.21	c Finding binary XORs  T:     0.07 s  found:   11935
3596.69/995.50	c Replacing    12103 vars Replaced  1232207 lits Time:     0.29 s 
3626.88/1010.47	c Following stats are for *FIRST FINISHED THREAD ONLY*
3626.88/1010.47	c num threads              : 4          
3626.88/1010.47	c restarts                 : 4777       
3626.88/1010.47	c dynamic restarts         : 4753       
3626.88/1010.47	c static restarts          : 24         
3626.88/1010.47	c full restarts            : 3          
3626.88/1010.47	c total simplify time      : 6.44       
3626.88/1010.47	c learnts DL2              : 0          
3626.88/1010.47	c learnts size 2           : 15883992   
3626.88/1010.47	c learnts size 1           : 132693      (43.35     % of vars)
3626.88/1010.47	c filedLit time            : 87.18       (9.69      % time)
3626.88/1010.47	c v-elim SatELite          : 105542      (34.48     % vars)
3626.88/1010.47	c SatELite time            : 57.84       (6.43      % time)
3626.88/1010.47	c v-elim xor               : 0           (0.00      % vars)
3626.88/1010.47	c xor elim time            : 0.81        (0.09      % time)
3626.88/1010.47	c num binary xor trees     : 9478       
3626.88/1010.47	c binxor trees' crown      : 12496       (1.32      leafs/tree)
3626.88/1010.47	c bin xor find time        : 1.62       
3626.88/1010.47	c OTF clause improved      : 17449       (0.02      clauses/conflict)
3626.88/1010.47	c OTF impr. size diff      : 27027       (1.55       lits/clause)
3626.88/1010.47	c OTF cl watch-shrink      : 414013      (0.53      clauses/conflict)
3626.88/1010.47	c OTF cl watch-sh-lit      : 2169697     (5.24       lits/clause)
3626.88/1010.47	c tried to recurMin cls    : 0           (0.00       % of conflicts)
3626.88/1010.47	c updated cache            : 0           (nan        lits/tried recurMin)
3626.88/1010.47	c unit cls recevied        : 8816        (6.64      % of units)
3626.88/1010.47	c unit cls sent            : 98470       (74.21     % of units)
3626.88/1010.47	c bin cls recevied         : 5228848    
3626.88/1010.47	c bin cls sent             : 4039066    
3626.88/1010.47	c clauses over max glue    : 0           (0.00      % of all clauses)
3626.88/1010.47	c conflicts                : 785930      (873.36    / sec)
3626.88/1010.47	c decisions                : 181690138   (0.08      % random)
3626.88/1010.47	c bogo-props               : 14086013468 (15652931.48 / sec)
3626.88/1010.47	c conflict literals        : 41906022    (24.39     % deleted)
3626.88/1010.47	c Memory used              : 4533.06     MB
3626.88/1010.47	c single-thread CPU time   : 899.90      s
3626.88/1010.47	c all-threads sum CPU time : 3622.43     s
3626.88/1010.47	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3281330-1304028697/watcher-3281330-1304028697 -o /tmp/evaluation-result-3281330-1304028697/solver-3281330-1304028697 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3281330-1304028697.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: 0.40 0.09 0.03 5/184 16100
/proc/meminfo: memFree=24998232/32951124 swapFree=67111524/67111528
[pid=16100] ppid=16098 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/16100/stat : 16100 (strangenight2-m) R 16098 16100 16058 0 -1 4202496 408 0 0 0 0 0 0 0 21 0 4 0 514468222 52441088 347 33554432000 4194304 4627427 140735857056720 18446744073709551615 47388972861352 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16100/statm: 12803 347 299 106 0 7774 0
[pid=16100/tid=16101] ppid=16098 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/16100/task/16101/stat : 16101 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 514468222 52441088 347 33554432000 4194304 4627427 140735857056720 18446744073709551615 47388972861362 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16100/tid=16102] ppid=16098 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/16100/task/16102/stat : 16102 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 514468222 52441088 347 33554432000 4194304 4627427 140735857056720 18446744073709551615 232335948785 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16100/tid=16103] ppid=16098 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/16100/task/16103/stat : 16103 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 514468222 52441088 347 33554432000 4194304 4627427 140735857056720 18446744073709551615 47388972861352 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.03769 s]
/proc/loadavg: 0.40 0.09 0.03 5/184 16100
/proc/meminfo: memFree=24998232/32951124 swapFree=67111524/67111528
[pid=16100] ppid=16098 vsize=353664 CPUtime=0.11 cores=1,3,5,7
/proc/16100/stat : 16100 (strangenight2-m) S 16098 16100 16058 0 -1 4202496 5631 0 0 0 8 3 0 0 18 0 4 0 514468222 362151936 5133 33554432000 4194304 4627427 140735857056720 18446744073709551615 232335997422 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16100/statm: 88416 5286 339 106 0 83387 0
[pid=16100/tid=16101] ppid=16098 vsize=353848 CPUtime=0.02 cores=1,3,5,7
/proc/16100/task/16101/stat : 16101 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 1142 0 0 0 2 0 0 0 17 0 4 0 514468222 362340352 5308 33554432000 4194304 4627427 140735857056720 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16100/tid=16102] ppid=16098 vsize=353988 CPUtime=0.02 cores=1,3,5,7
/proc/16100/task/16102/stat : 16102 (strangenight2-m) S 16098 16100 16058 0 -1 4202560 1484 0 0 0 2 0 0 0 18 0 4 0 514468222 362483712 5335 33554432000 4194304 4627427 140735857056720 18446744073709551615 232335997422 0 0 4096 2 18446604454223473344 0 0 -1 7 0 0 0
[pid=16100/tid=16103] ppid=16098 vsize=353988 CPUtime=0.02 cores=1,3,5,7
/proc/16100/task/16103/stat : 16103 (strangenight2-m) S 16098 16100 16058 0 -1 4202560 1328 0 0 0 2 0 0 0 18 0 4 0 514468222 362483712 5347 33554432000 4194304 4627427 140735857056720 18446744073709551615 232335997422 0 0 4096 2 18446604454223473344 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 353664

[startup+0.104618 s]
/proc/loadavg: 0.40 0.09 0.03 5/184 16100
/proc/meminfo: memFree=24998232/32951124 swapFree=67111524/67111528
[pid=16100] ppid=16098 vsize=367848 CPUtime=0.34 cores=1,3,5,7
/proc/16100/stat : 16100 (strangenight2-m) S 16098 16100 16058 0 -1 4202496 14036 0 0 0 26 8 0 0 18 0 4 0 514468222 376676352 11937 33554432000 4194304 4627427 140735857056720 18446744073709551615 232335997422 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16100/statm: 91962 11947 339 106 0 86933 0
[pid=16100/tid=16101] ppid=16098 vsize=367848 CPUtime=0.08 cores=1,3,5,7
/proc/16100/task/16101/stat : 16101 (strangenight2-m) S 16098 16100 16058 0 -1 4202560 3305 0 0 0 6 2 0 0 17 0 4 0 514468222 376676352 11953 33554432000 4194304 4627427 140735857056720 18446744073709551615 232335997422 0 0 4096 2 18446604454223473344 0 0 -1 3 0 0 0
[pid=16100/tid=16102] ppid=16098 vsize=367848 CPUtime=0.08 cores=1,3,5,7
/proc/16100/task/16102/stat : 16102 (strangenight2-m) S 16098 16100 16058 0 -1 4202560 3553 0 0 0 6 2 0 0 18 0 4 0 514468222 376676352 11967 33554432000 4194304 4627427 140735857056720 18446744073709551615 232335997422 0 0 4096 2 18446604454223473344 0 0 -1 7 0 0 0
[pid=16100/tid=16103] ppid=16098 vsize=367848 CPUtime=0.07 cores=1,3,5,7
/proc/16100/task/16103/stat : 16103 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 3256 0 0 0 6 1 0 0 18 0 4 0 514468222 376676352 11982 33554432000 4194304 4627427 140735857056720 18446744073709551615 232335589561 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 367848

[startup+0.301621 s]
/proc/loadavg: 0.40 0.09 0.03 5/184 16100
/proc/meminfo: memFree=24998232/32951124 swapFree=67111524/67111528
[pid=16100] ppid=16098 vsize=401796 CPUtime=1.02 cores=1,3,5,7
/proc/16100/stat : 16100 (strangenight2-m) S 16098 16100 16058 0 -1 4202496 35391 0 0 0 78 24 0 0 17 0 4 0 514468222 411439104 31074 33554432000 4194304 4627427 140735857056720 18446744073709551615 232335997422 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16100/statm: 100482 31165 339 106 0 95453 0
[pid=16100/tid=16101] ppid=16098 vsize=401928 CPUtime=0.24 cores=1,3,5,7
/proc/16100/task/16101/stat : 16101 (strangenight2-m) S 16098 16100 16058 0 -1 4202560 8265 0 0 0 19 5 0 0 17 0 4 0 514468222 411574272 31182 33554432000 4194304 4627427 140735857056720 18446744073709551615 232335997422 0 0 4096 2 18446604454223473344 0 0 -1 3 0 0 0
[pid=16100/tid=16102] ppid=16098 vsize=401928 CPUtime=0.25 cores=1,3,5,7
/proc/16100/task/16102/stat : 16102 (strangenight2-m) S 16098 16100 16058 0 -1 4202560 8955 0 0 0 18 7 0 0 17 0 4 0 514468222 411574272 31220 33554432000 4194304 4627427 140735857056720 18446744073709551615 232335997422 0 0 4096 2 18446604454223473344 0 0 -1 7 0 0 0
[pid=16100/tid=16103] ppid=16098 vsize=401928 CPUtime=0.25 cores=1,3,5,7
/proc/16100/task/16103/stat : 16103 (strangenight2-m) D 16098 16100 16058 0 -1 4202560 8605 0 0 0 20 5 0 0 18 0 4 0 514468222 411574272 31226 33554432000 4194304 4627427 140735857056720 18446744073709551615 232335553569 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 401796

[startup+0.700511 s]
/proc/loadavg: 0.40 0.09 0.03 5/184 16100
/proc/meminfo: memFree=24998232/32951124 swapFree=67111524/67111528
[pid=16100] ppid=16098 vsize=457032 CPUtime=2.44 cores=1,3,5,7
/proc/16100/stat : 16100 (strangenight2-m) R 16098 16100 16058 0 -1 4202496 78784 0 0 0 187 57 0 0 17 0 4 0 514468222 468000768 70047 33554432000 4194304 4627427 140735857056720 18446744073709551615 232335553569 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16100/statm: 114258 70052 339 106 0 109229 0
[pid=16100/tid=16101] ppid=16098 vsize=457032 CPUtime=0.59 cores=1,3,5,7
/proc/16100/task/16101/stat : 16101 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 18591 0 0 0 46 13 0 0 17 0 4 0 514468222 468000768 70053 33554432000 4194304 4627427 140735857056720 18446744073709551615 232335997471 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16100/tid=16102] ppid=16098 vsize=457032 CPUtime=0.6 cores=1,3,5,7
/proc/16100/task/16102/stat : 16102 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 19663 0 0 0 46 14 0 0 17 0 4 0 514468222 468000768 70054 33554432000 4194304 4627427 140735857056720 18446744073709551615 4360277 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16100/tid=16103] ppid=16098 vsize=457032 CPUtime=0.61 cores=1,3,5,7
/proc/16100/task/16103/stat : 16103 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 19216 0 0 0 47 14 0 0 17 0 4 0 514468222 468000768 70056 33554432000 4194304 4627427 140735857056720 18446744073709551615 4530637 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.44
Current children cumulated vsize (KiB) 457032

[startup+1.50037 s]
/proc/loadavg: 0.40 0.09 0.03 10/188 16104
/proc/meminfo: memFree=24614916/32951124 swapFree=67111524/67111528
[pid=16100] ppid=16098 vsize=842752 CPUtime=5.29 cores=1,3,5,7
/proc/16100/stat : 16100 (strangenight2-m) S 16098 16100 16058 0 -1 4202496 165527 0 0 0 415 114 0 0 17 0 4 0 514468222 862978048 147989 33554432000 4194304 4627427 140735857056720 18446744073709551615 232335997422 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16100/statm: 210688 147989 339 106 0 205659 0
[pid=16100/tid=16101] ppid=16098 vsize=842752 CPUtime=1.31 cores=1,3,5,7
/proc/16100/task/16101/stat : 16101 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 39172 0 0 0 105 26 0 0 17 0 4 0 514468222 862978048 147989 33554432000 4194304 4627427 140735857056720 18446744073709551615 232335589845 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16100/tid=16102] ppid=16098 vsize=842752 CPUtime=1.3 cores=1,3,5,7
/proc/16100/task/16102/stat : 16102 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 39408 0 0 0 100 30 0 0 17 0 4 0 514468222 862978048 147989 33554432000 4194304 4627427 140735857056720 18446744073709551615 4530776 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16100/tid=16103] ppid=16098 vsize=842752 CPUtime=1.32 cores=1,3,5,7
/proc/16100/task/16103/stat : 16103 (strangenight2-m) S 16098 16100 16058 0 -1 4202560 41870 0 0 0 104 28 0 0 17 0 4 0 514468222 862978048 147989 33554432000 4194304 4627427 140735857056720 18446744073709551615 232335997422 0 0 4096 2 18446604454223473344 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.29
Current children cumulated vsize (KiB) 842752

[startup+3.10109 s]
/proc/loadavg: 0.40 0.09 0.03 10/188 16104
/proc/meminfo: memFree=24190836/32951124 swapFree=67111524/67111528
[pid=16100] ppid=16098 vsize=1252272 CPUtime=11.41 cores=1,3,5,7
/proc/16100/stat : 16100 (strangenight2-m) R 16098 16100 16058 0 -1 4202496 276599 0 0 0 965 176 0 0 18 0 4 0 514468222 1282326528 241625 33554432000 4194304 4627427 140735857056720 18446744073709551615 4308987 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16100/statm: 313068 241625 367 106 0 308039 0
[pid=16100/tid=16101] ppid=16098 vsize=1252272 CPUtime=2.83 cores=1,3,5,7
/proc/16100/task/16101/stat : 16101 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 67523 0 0 0 241 42 0 0 18 0 4 0 514468222 1282326528 241625 33554432000 4194304 4627427 140735857056720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16100/tid=16102] ppid=16098 vsize=1252272 CPUtime=2.83 cores=1,3,5,7
/proc/16100/task/16102/stat : 16102 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 68932 0 0 0 238 45 0 0 18 0 4 0 514468222 1282326528 241625 33554432000 4194304 4627427 140735857056720 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16100/tid=16103] ppid=16098 vsize=1252272 CPUtime=2.85 cores=1,3,5,7
/proc/16100/task/16103/stat : 16103 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 67763 0 0 0 242 43 0 0 18 0 4 0 514468222 1282326528 241625 33554432000 4194304 4627427 140735857056720 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11.41
Current children cumulated vsize (KiB) 1252272

[startup+6.30052 s]
/proc/loadavg: 1.01 0.22 0.07 10/188 16104
/proc/meminfo: memFree=23937020/32951124 swapFree=67111524/67111528
[pid=16100] ppid=16098 vsize=1254320 CPUtime=24.19 cores=1,3,5,7
/proc/16100/stat : 16100 (strangenight2-m) R 16098 16100 16058 0 -1 4202496 280206 0 0 0 2241 178 0 0 25 0 4 0 514468222 1284423680 244698 33554432000 4194304 4627427 140735857056720 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16100/statm: 313580 244698 367 106 0 308551 0
[pid=16100/tid=16101] ppid=16098 vsize=1254320 CPUtime=6.02 cores=1,3,5,7
/proc/16100/task/16101/stat : 16101 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 67753 0 0 0 560 42 0 0 25 0 4 0 514468222 1284423680 244698 33554432000 4194304 4627427 140735857056720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16100/tid=16102] ppid=16098 vsize=1254320 CPUtime=6.01 cores=1,3,5,7
/proc/16100/task/16102/stat : 16102 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 69289 0 0 0 556 45 0 0 25 0 4 0 514468222 1284423680 244698 33554432000 4194304 4627427 140735857056720 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16100/tid=16103] ppid=16098 vsize=1254320 CPUtime=6.05 cores=1,3,5,7
/proc/16100/task/16103/stat : 16103 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 70427 0 0 0 561 44 0 0 25 0 4 0 514468222 1284423680 244698 33554432000 4194304 4627427 140735857056720 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 24.19
Current children cumulated vsize (KiB) 1254320

[startup+12.7004 s]
/proc/loadavg: 1.57 0.35 0.11 10/188 16104
/proc/meminfo: memFree=23871300/32951124 swapFree=67111524/67111528
[pid=16100] ppid=16098 vsize=1256172 CPUtime=49.75 cores=1,3,5,7
/proc/16100/stat : 16100 (strangenight2-m) R 16098 16100 16058 0 -1 4202496 281963 0 0 0 4797 178 0 0 25 0 4 0 514468222 1286320128 246455 33554432000 4194304 4627427 140735857056720 18446744073709551615 4259007 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16100/statm: 314043 246455 371 106 0 309014 0
[pid=16100/tid=16101] ppid=16098 vsize=1256172 CPUtime=12.42 cores=1,3,5,7
/proc/16100/task/16101/stat : 16101 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 68084 0 0 0 1200 42 0 0 25 0 4 0 514468222 1286320128 246455 33554432000 4194304 4627427 140735857056720 18446744073709551615 4497815 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16100/tid=16102] ppid=16098 vsize=1256172 CPUtime=12.37 cores=1,3,5,7
/proc/16100/task/16102/stat : 16102 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 69595 0 0 0 1192 45 0 0 25 0 4 0 514468222 1286320128 246455 33554432000 4194304 4627427 140735857056720 18446744073709551615 4497808 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16100/tid=16103] ppid=16098 vsize=1256172 CPUtime=12.45 cores=1,3,5,7
/proc/16100/task/16103/stat : 16103 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 71222 0 0 0 1201 44 0 0 25 0 4 0 514468222 1286320128 246455 33554432000 4194304 4627427 140735857056720 18446744073709551615 4305816 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 49.75
Current children cumulated vsize (KiB) 1256172

[startup+25.5011 s]
/proc/loadavg: 2.99 0.72 0.24 10/188 16105
/proc/meminfo: memFree=23305076/32951124 swapFree=67111524/67111528
[pid=16100] ppid=16098 vsize=1800040 CPUtime=100.82 cores=1,3,5,7
/proc/16100/stat : 16100 (strangenight2-m) R 16098 16100 16058 0 -1 4202496 404009 0 0 0 9876 206 0 0 25 0 4 0 514468222 1843240960 368464 33554432000 4194304 4627427 140735857056720 18446744073709551615 4420146 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16100/statm: 450010 368464 381 106 0 444981 0
[pid=16100/tid=16101] ppid=16098 vsize=1800040 CPUtime=25.21 cores=1,3,5,7
/proc/16100/task/16101/stat : 16101 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 108849 0 0 0 2468 53 0 0 25 0 4 0 514468222 1843240960 368464 33554432000 4194304 4627427 140735857056720 18446744073709551615 4420278 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16100/tid=16102] ppid=16098 vsize=1800040 CPUtime=25.09 cores=1,3,5,7
/proc/16100/task/16102/stat : 16102 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 111082 0 0 0 2455 54 0 0 18 0 4 0 514468222 1843240960 368464 33554432000 4194304 4627427 140735857056720 18446744073709551615 4420136 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16100/tid=16103] ppid=16098 vsize=1800040 CPUtime=25.25 cores=1,3,5,7
/proc/16100/task/16103/stat : 16103 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 75281 0 0 0 2480 45 0 0 25 0 4 0 514468222 1843240960 368464 33554432000 4194304 4627427 140735857056720 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 100.82
Current children cumulated vsize (KiB) 1800040

[startup+51.1005 s]
/proc/loadavg: 4.85 1.34 0.45 10/188 16105
/proc/meminfo: memFree=22996336/32951124 swapFree=67111524/67111528
[pid=16100] ppid=16098 vsize=2391784 CPUtime=203.04 cores=1,3,5,7
/proc/16100/stat : 16100 (strangenight2-m) R 16098 16100 16058 0 -1 4202496 473750 0 0 0 20071 233 0 0 25 0 4 0 514468222 2449186816 416509 33554432000 4194304 4627427 140735857056720 18446744073709551615 4305890 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16100/statm: 597946 416509 387 106 0 592917 0
[pid=16100/tid=16101] ppid=16098 vsize=2391784 CPUtime=50.78 cores=1,3,5,7
/proc/16100/task/16101/stat : 16101 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 135397 0 0 0 5016 62 0 0 25 0 4 0 514468222 2449186816 416509 33554432000 4194304 4627427 140735857056720 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16100/tid=16102] ppid=16098 vsize=2391784 CPUtime=50.55 cores=1,3,5,7
/proc/16100/task/16102/stat : 16102 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 133779 0 0 0 4991 64 0 0 25 0 4 0 514468222 2449186816 416509 33554432000 4194304 4627427 140735857056720 18446744073709551615 4299670 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16100/tid=16103] ppid=16098 vsize=2391784 CPUtime=50.83 cores=1,3,5,7
/proc/16100/task/16103/stat : 16103 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 76424 0 0 0 5037 46 0 0 25 0 4 0 514468222 2449186816 416509 33554432000 4194304 4627427 140735857056720 18446744073709551615 4308918 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.04
Current children cumulated vsize (KiB) 2391784

[startup+102.306 s]
/proc/loadavg: 6.78 2.47 0.89 10/188 16107
/proc/meminfo: memFree=22467848/32951124 swapFree=67111524/67111528
[pid=16100] ppid=16098 vsize=2484044 CPUtime=407.58 cores=1,3,5,7
/proc/16100/stat : 16100 (strangenight2-m) R 16098 16100 16058 0 -1 4202496 625312 0 0 0 40493 265 0 0 21 0 4 0 514468222 2543661056 517081 33554432000 4194304 4627427 140735857056720 18446744073709551615 4534764 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16100/statm: 621011 517081 391 106 0 615982 0
[pid=16100/tid=16101] ppid=16098 vsize=2484044 CPUtime=102 cores=1,3,5,7
/proc/16100/task/16101/stat : 16101 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 162011 0 0 0 10132 68 0 0 25 0 4 0 514468222 2543661056 517081 33554432000 4194304 4627427 140735857056720 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16100/tid=16102] ppid=16098 vsize=2484044 CPUtime=101.47 cores=1,3,5,7
/proc/16100/task/16102/stat : 16102 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 156039 0 0 0 10078 69 0 0 25 0 4 0 514468222 2543661056 517081 33554432000 4194304 4627427 140735857056720 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16100/tid=16103] ppid=16098 vsize=2484044 CPUtime=102.03 cores=1,3,5,7
/proc/16100/task/16103/stat : 16103 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 148734 0 0 0 10143 60 0 0 25 0 4 0 514468222 2543661056 517081 33554432000 4194304 4627427 140735857056720 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 407.58
Current children cumulated vsize (KiB) 2484044

[startup+162.301 s]

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


[startup+702.301 s]
/proc/loadavg: 8.25 7.12 4.08 9/188 16153
/proc/meminfo: memFree=21091340/32951124 swapFree=67111524/67111528
[pid=16100] ppid=16098 vsize=4304220 CPUtime=2426.11 cores=1,3,5,7
/proc/16100/stat : 16100 (strangenight2-m) R 16098 16100 16058 0 -1 4202496 1390399 0 0 0 242185 426 0 0 25 0 4 0 514468222 4407521280 936846 33554432000 4194304 4627427 140735857056720 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16100/statm: 1076055 936846 391 106 0 1071026 0
[pid=16100/tid=16101] ppid=16098 vsize=4304220 CPUtime=592.93 cores=1,3,5,7
/proc/16100/task/16101/stat : 16101 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 370111 0 0 0 59181 112 0 0 25 0 4 0 514468222 4407521280 936846 33554432000 4194304 4627427 140735857056720 18446744073709551615 4306360 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16100/tid=16102] ppid=16098 vsize=4304220 CPUtime=610.45 cores=1,3,5,7
/proc/16100/task/16102/stat : 16102 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 244817 0 0 0 60948 97 0 0 25 0 4 0 514468222 4407521280 936846 33554432000 4194304 4627427 140735857056720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16100/tid=16103] ppid=16098 vsize=4304220 CPUtime=616.87 cores=1,3,5,7
/proc/16100/task/16103/stat : 16103 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 445095 0 0 0 61571 116 0 0 25 0 4 0 514468222 4407521280 936846 33554432000 4194304 4627427 140735857056720 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2426.11
Current children cumulated vsize (KiB) 4304220

[startup+762.307 s]
/proc/loadavg: 8.22 7.34 4.36 9/188 16154
/proc/meminfo: memFree=20981220/32951124 swapFree=67111524/67111528
[pid=16100] ppid=16098 vsize=4395148 CPUtime=2665.81 cores=1,3,5,7
/proc/16100/stat : 16100 (strangenight2-m) R 16098 16100 16058 0 -1 4202496 1410252 0 0 0 266149 432 0 0 25 0 4 0 514468222 4500631552 950527 33554432000 4194304 4627427 140735857056720 18446744073709551615 4308987 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16100/statm: 1098787 950527 391 106 0 1093758 0
[pid=16100/tid=16101] ppid=16098 vsize=4395148 CPUtime=652.94 cores=1,3,5,7
/proc/16100/task/16101/stat : 16101 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 379223 0 0 0 65179 115 0 0 25 0 4 0 514468222 4500631552 950527 33554432000 4194304 4627427 140735857056720 18446744073709551615 4308764 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16100/tid=16102] ppid=16098 vsize=4395148 CPUtime=670.13 cores=1,3,5,7
/proc/16100/task/16102/stat : 16102 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 249462 0 0 0 66915 98 0 0 25 0 4 0 514468222 4500631552 950527 33554432000 4194304 4627427 140735857056720 18446744073709551615 4310565 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16100/tid=16103] ppid=16098 vsize=4395148 CPUtime=676.88 cores=1,3,5,7
/proc/16100/task/16103/stat : 16103 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 450520 0 0 0 67571 117 0 0 25 0 4 0 514468222 4500631552 950527 33554432000 4194304 4627427 140735857056720 18446744073709551615 4327482 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2665.81
Current children cumulated vsize (KiB) 4395148

[startup+822.3 s]
/proc/loadavg: 8.24 7.49 4.58 9/188 16156
/proc/meminfo: memFree=20909440/32951124 swapFree=67111524/67111528
[pid=16100] ppid=16098 vsize=4526220 CPUtime=2905.44 cores=1,3,5,7
/proc/16100/stat : 16100 (strangenight2-m) R 16098 16100 16058 0 -1 4202496 1435415 0 0 0 290104 440 0 0 25 0 4 0 514468222 4634849280 969913 33554432000 4194304 4627427 140735857056720 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16100/statm: 1131555 969913 391 106 0 1126526 0
[pid=16100/tid=16101] ppid=16098 vsize=4526220 CPUtime=712.93 cores=1,3,5,7
/proc/16100/task/16101/stat : 16101 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 387087 0 0 0 71175 118 0 0 25 0 4 0 514468222 4634849280 969913 33554432000 4194304 4627427 140735857056720 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16100/tid=16102] ppid=16098 vsize=4526220 CPUtime=729.79 cores=1,3,5,7
/proc/16100/task/16102/stat : 16102 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 255756 0 0 0 72878 101 0 0 25 0 4 0 514468222 4634849280 969913 33554432000 4194304 4627427 140735857056720 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16100/tid=16103] ppid=16098 vsize=4526220 CPUtime=736.88 cores=1,3,5,7
/proc/16100/task/16103/stat : 16103 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 455868 0 0 0 73569 119 0 0 25 0 4 0 514468222 4634849280 969913 33554432000 4194304 4627427 140735857056720 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2905.44
Current children cumulated vsize (KiB) 4526220

[startup+882.301 s]
/proc/loadavg: 8.20 7.63 4.82 9/188 16157
/proc/meminfo: memFree=20886020/32951124 swapFree=67111524/67111528
[pid=16100] ppid=16098 vsize=4420124 CPUtime=3144.99 cores=1,3,5,7
/proc/16100/stat : 16100 (strangenight2-m) R 16098 16100 16058 0 -1 4202496 1449155 0 0 0 314053 446 0 0 25 0 4 0 514468222 4526206976 966845 33554432000 4194304 4627427 140735857056720 18446744073709551615 4308987 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16100/statm: 1105031 966845 391 106 0 1100002 0
[pid=16100/tid=16101] ppid=16098 vsize=4420124 CPUtime=772.93 cores=1,3,5,7
/proc/16100/task/16101/stat : 16101 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 387823 0 0 0 77174 119 0 0 25 0 4 0 514468222 4526206976 966845 33554432000 4194304 4627427 140735857056720 18446744073709551615 4321831 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16100/tid=16102] ppid=16098 vsize=4420124 CPUtime=789.33 cores=1,3,5,7
/proc/16100/task/16102/stat : 16102 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 256496 0 0 0 78832 101 0 0 25 0 4 0 514468222 4526206976 966845 33554432000 4194304 4627427 140735857056720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16100/tid=16103] ppid=16098 vsize=4420124 CPUtime=796.87 cores=1,3,5,7
/proc/16100/task/16103/stat : 16103 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 466852 0 0 0 79565 122 0 0 25 0 4 0 514468222 4526206976 966845 33554432000 4194304 4627427 140735857056720 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3144.99
Current children cumulated vsize (KiB) 4420124

[startup+942.301 s]
/proc/loadavg: 8.34 7.77 5.03 9/188 16159
/proc/meminfo: memFree=20762872/32951124 swapFree=67111524/67111528
[pid=16100] ppid=16098 vsize=4445240 CPUtime=3384.67 cores=1,3,5,7
/proc/16100/stat : 16100 (strangenight2-m) R 16098 16100 16058 0 -1 4202496 1461043 0 0 0 338017 450 0 0 25 0 4 0 514468222 4551925760 978733 33554432000 4194304 4627427 140735857056720 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16100/statm: 1111310 978733 391 106 0 1106281 0
[pid=16100/tid=16101] ppid=16098 vsize=4445240 CPUtime=832.92 cores=1,3,5,7
/proc/16100/task/16101/stat : 16101 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 393250 0 0 0 83172 120 0 0 25 0 4 0 514468222 4551925760 978733 33554432000 4194304 4627427 140735857056720 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16100/tid=16102] ppid=16098 vsize=4445240 CPUtime=849.01 cores=1,3,5,7
/proc/16100/task/16102/stat : 16102 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 257019 0 0 0 84800 101 0 0 25 0 4 0 514468222 4551925760 978733 33554432000 4194304 4627427 140735857056720 18446744073709551615 4330271 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16100/tid=16103] ppid=16098 vsize=4445240 CPUtime=856.88 cores=1,3,5,7
/proc/16100/task/16103/stat : 16103 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 472399 0 0 0 85563 125 0 0 25 0 4 0 514468222 4551925760 978733 33554432000 4194304 4627427 140735857056720 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3384.67
Current children cumulated vsize (KiB) 4445240

[startup+1002.3 s]
/proc/loadavg: 7.92 7.79 5.22 7/188 16161
/proc/meminfo: memFree=20491476/32951124 swapFree=67111524/67111528
[pid=16100] ppid=16098 vsize=4641848 CPUtime=3610.68 cores=1,3,5,7
/proc/16100/stat : 16100 (strangenight2-m) S 16098 16100 16058 0 -1 4202496 1499938 0 0 0 360609 459 0 0 25 0 4 0 514468222 4753252352 1017553 33554432000 4194304 4627427 140735857056720 18446744073709551615 47388972860980 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16100/statm: 1160462 1017553 391 106 0 1155433 0
[pid=16100/tid=16101] ppid=16098 vsize=4641848 CPUtime=892.92 cores=1,3,5,7
/proc/16100/task/16101/stat : 16101 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 394940 0 0 0 89171 121 0 0 25 0 4 0 514468222 4753252352 1017553 33554432000 4194304 4627427 140735857056720 18446744073709551615 47388972836395 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16100/tid=16102] ppid=16098 vsize=4641848 CPUtime=908.72 cores=1,3,5,7
/proc/16100/task/16102/stat : 16102 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 274883 0 0 0 90767 105 0 0 25 0 4 0 514468222 4753252352 1017553 33554432000 4194304 4627427 140735857056720 18446744073709551615 4308188 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16100/tid=16103] ppid=16098 vsize=4641848 CPUtime=909.88 cores=1,3,5,7
/proc/16100/task/16103/stat : 16103 (strangenight2-m) S 16098 16100 16058 0 -1 4202560 482596 0 0 0 90861 127 0 0 25 0 4 0 514468222 4753252352 1017553 33554432000 4194304 4627427 140735857056720 18446744073709551615 47388972860980 0 0 4096 2 18446604454223473344 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3610.68
Current children cumulated vsize (KiB) 4641848

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

[startup+1004.7 s]
/proc/loadavg: 7.92 7.79 5.22 7/188 16161
/proc/meminfo: memFree=20490856/32951124 swapFree=67111524/67111528
[pid=16100] ppid=16098 vsize=4641848 CPUtime=3615.49 cores=1,3,5,7
/proc/16100/stat : 16100 (strangenight2-m) S 16098 16100 16058 0 -1 4202496 1502474 0 0 0 361089 460 0 0 25 0 4 0 514468222 4753252352 1020089 33554432000 4194304 4627427 140735857056720 18446744073709551615 47388972860980 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16100/statm: 1160462 1020089 391 106 0 1155433 0
[pid=16100/tid=16101] ppid=16098 vsize=4641848 CPUtime=895.32 cores=1,3,5,7
/proc/16100/task/16101/stat : 16101 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 394940 0 0 0 89411 121 0 0 25 0 4 0 514468222 4753252352 1020089 33554432000 4194304 4627427 140735857056720 18446744073709551615 47388972836395 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16100/tid=16102] ppid=16098 vsize=4641848 CPUtime=911.11 cores=1,3,5,7
/proc/16100/task/16102/stat : 16102 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 277419 0 0 0 91006 105 0 0 25 0 4 0 514468222 4753252352 1020089 33554432000 4194304 4627427 140735857056720 18446744073709551615 4424696 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16100/tid=16103] ppid=16098 vsize=4641848 CPUtime=909.88 cores=1,3,5,7
/proc/16100/task/16103/stat : 16103 (strangenight2-m) S 16098 16100 16058 0 -1 4202560 482596 0 0 0 90861 127 0 0 25 0 4 0 514468222 4753252352 1020089 33554432000 4194304 4627427 140735857056720 18446744073709551615 47388972860980 0 0 4096 2 18446604454223473344 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3615.49
Current children cumulated vsize (KiB) 4641848

[startup+1007.9 s]
/proc/loadavg: 7.85 7.77 5.23 7/188 16161
/proc/meminfo: memFree=20468784/32951124 swapFree=67111524/67111528
[pid=16100] ppid=16098 vsize=4641848 CPUtime=3621.88 cores=1,3,5,7
/proc/16100/stat : 16100 (strangenight2-m) S 16098 16100 16058 0 -1 4202496 1510186 0 0 0 361727 461 0 0 25 0 4 0 514468222 4753252352 1021392 33554432000 4194304 4627427 140735857056720 18446744073709551615 47388972860980 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16100/statm: 1160462 1021392 391 106 0 1155433 0
[pid=16100/tid=16101] ppid=16098 vsize=4641848 CPUtime=898.52 cores=1,3,5,7
/proc/16100/task/16101/stat : 16101 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 394940 0 0 0 89731 121 0 0 25 0 4 0 514468222 4753252352 1021392 33554432000 4194304 4627427 140735857056720 18446744073709551615 47388972836548 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16100/tid=16102] ppid=16098 vsize=4641848 CPUtime=914.32 cores=1,3,5,7
/proc/16100/task/16102/stat : 16102 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 285131 0 0 0 91325 107 0 0 25 0 4 0 514468222 4753252352 1021392 33554432000 4194304 4627427 140735857056720 18446744073709551615 4424686 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16100/tid=16103] ppid=16098 vsize=4641848 CPUtime=909.88 cores=1,3,5,7
/proc/16100/task/16103/stat : 16103 (strangenight2-m) S 16098 16100 16058 0 -1 4202560 482596 0 0 0 90861 127 0 0 25 0 4 0 514468222 4753252352 1021392 33554432000 4194304 4627427 140735857056720 18446744073709551615 47388972860980 0 0 4096 2 18446604454223473344 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3621.88
Current children cumulated vsize (KiB) 4641848

[startup+1009.5 s]
/proc/loadavg: 7.85 7.77 5.23 7/188 16161
/proc/meminfo: memFree=20460352/32951124 swapFree=67111524/67111528
[pid=16100] ppid=16098 vsize=4641848 CPUtime=3625.08 cores=1,3,5,7
/proc/16100/stat : 16100 (strangenight2-m) S 16098 16100 16058 0 -1 4202496 1511445 0 0 0 362047 461 0 0 25 0 4 0 514468222 4753252352 1022650 33554432000 4194304 4627427 140735857056720 18446744073709551615 47388972860980 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16100/statm: 1160462 1022650 391 106 0 1155433 0
[pid=16100/tid=16101] ppid=16098 vsize=4641848 CPUtime=900.12 cores=1,3,5,7
/proc/16100/task/16101/stat : 16101 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 394940 0 0 0 89891 121 0 0 25 0 4 0 514468222 4753252352 1022650 33554432000 4194304 4627427 140735857056720 18446744073709551615 47388972836548 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16100/tid=16102] ppid=16098 vsize=4641848 CPUtime=915.91 cores=1,3,5,7
/proc/16100/task/16102/stat : 16102 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 286390 0 0 0 91484 107 0 0 25 0 4 0 514468222 4753252352 1022650 33554432000 4194304 4627427 140735857056720 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16100/tid=16103] ppid=16098 vsize=4641848 CPUtime=909.88 cores=1,3,5,7
/proc/16100/task/16103/stat : 16103 (strangenight2-m) S 16098 16100 16058 0 -1 4202560 482596 0 0 0 90861 127 0 0 25 0 4 0 514468222 4753252352 1022650 33554432000 4194304 4627427 140735857056720 18446744073709551615 47388972860980 0 0 4096 2 18446604454223473344 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3625.08
Current children cumulated vsize (KiB) 4641848

[startup+1010.3 s]
/proc/loadavg: 7.85 7.77 5.23 7/188 16161
/proc/meminfo: memFree=20449936/32951124 swapFree=67111524/67111528
[pid=16100] ppid=16098 vsize=4641848 CPUtime=3626.68 cores=1,3,5,7
/proc/16100/stat : 16100 (strangenight2-m) S 16098 16100 16058 0 -1 4202496 1512512 0 0 0 362207 461 0 0 25 0 4 0 514468222 4753252352 1022269 33554432000 4194304 4627427 140735857056720 18446744073709551615 47388972860980 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16100/statm: 1160462 1022269 391 106 0 1155433 0
[pid=16100/tid=16101] ppid=16098 vsize=4641848 CPUtime=900.92 cores=1,3,5,7
/proc/16100/task/16101/stat : 16101 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 394940 0 0 0 89971 121 0 0 25 0 4 0 514468222 4753252352 1022269 33554432000 4194304 4627427 140735857056720 18446744073709551615 47388972836544 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16100/tid=16102] ppid=16098 vsize=4641848 CPUtime=916.71 cores=1,3,5,7
/proc/16100/task/16102/stat : 16102 (strangenight2-m) R 16098 16100 16058 0 -1 4202560 287457 0 0 0 91564 107 0 0 25 0 4 0 514468222 4753252352 1022269 33554432000 4194304 4627427 140735857056720 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16100/tid=16103] ppid=16098 vsize=4641848 CPUtime=909.88 cores=1,3,5,7
/proc/16100/task/16103/stat : 16103 (strangenight2-m) S 16098 16100 16058 0 -1 4202560 482596 0 0 0 90861 127 0 0 25 0 4 0 514468222 4753252352 1022269 33554432000 4194304 4627427 140735857056720 18446744073709551615 47388972860980 0 0 4096 2 18446604454223473344 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3626.68
Current children cumulated vsize (KiB) 4641848

[startup+1010.5 s]
/proc/loadavg: 7.85 7.77 5.23 7/188 16161
/proc/meminfo: memFree=20449936/32951124 swapFree=67111524/67111528
[pid=16100] ppid=16098 vsize=0 CPUtime=3627.06 cores=1,3,5,7
/proc/16100/stat : 16100 (strangenight2-m) R 16098 16100 16058 0 -1 4203524 1512515 0 0 0 362242 464 0 0 18 0 1 0 514468222 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16100/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 3627.06
Current children cumulated vsize (KiB) 0

[startup+1010.6 s]
/proc/loadavg: 7.85 7.77 5.23 7/188 16161
/proc/meminfo: memFree=20449936/32951124 swapFree=67111524/67111528
[pid=16100] ppid=16098 vsize=0 CPUtime=3627.16 cores=1,3,5,7
/proc/16100/stat : 16100 (strangenight2-m) R 16098 16100 16058 0 -1 4203524 1512515 0 0 0 362242 474 0 0 18 0 1 0 514468222 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16100/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 3627.16
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 1010.65
CPU time (s): 3627.22
CPU user time (s): 3622.43
CPU system time (s): 4.78827
CPU usage (%): 358.9
Max. virtual memory (cumulated for all children) (KiB): 4707384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3622.43
system time used= 4.78827
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1512515
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= 158226
involuntary context switches= 27703

runsolver used 1.48577 second user time and 4.02139 second system time

The end

Launcher Data 

Begin job on node132 at 2011-04-29 00:11:41
IDJOB=3281330
IDBENCH=20580
IDSOLVER=1586
FILE ID=node132/3281330-1304028697
RUNJOBID= node132-1304028687-16078
PBS_JOBID= 13170320
Free space on /tmp= 71736 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
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-3281330-1304028697/watcher-3281330-1304028697 -o /tmp/evaluation-result-3281330-1304028697/solver-3281330-1304028697 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3281330-1304028697.cnf

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

MD5SUM BENCH= 0fbc00fde383cec371bb97d621c5e7e5
RANDOM SEED=901166023

node132.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.833
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.66
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.833
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.74
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.833
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.76
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.833
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.833
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.77
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.833
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.67
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.833
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.833
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24998636 kB
Buffers:        734544 kB
Cached:        6284836 kB
SwapCached:          4 kB
Active:        2038880 kB
Inactive:      5418364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24998636 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:          146428 kB
Writeback:           0 kB
AnonPages:      437436 kB
Mapped:          15528 kB
Slab:           431688 kB
PageTables:       5636 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   670468 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71728 MiB
End job on node132 at 2011-04-29 00:28:31