Trace number 3285150

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (MO) 2467.27 618.431

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf
MD5SUMc4319228342e10028de028a9b67c3404
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables133566
Number of clauses676901
Sum of the clauses size1609791
Maximum clause length63
Minimum clause length1
Number of clauses of size 1211
Number of clauses of size 2668220
Number of clauses of size 32100
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 56370

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3285150-1304037934.cnf'
0.00/0.00	c -- header says num vars:         133566
0.00/0.00	c -- header says num clauses:      676901
0.76/0.23	c -- clauses added:            0 learnts,       676901 normals,            0 xors
0.76/0.23	c -- vars added     133566
0.76/0.23	c Parsing time:  0.73 s
0.76/0.23	c  N st     0         0    133566      7085    457072         0   1074623         0   no data   no data  --
1.56/0.45	c asymm  cl-useful: 15/290/6963 lits-rem:450 time: 0.87
22.33/5.64	c Flit:   990 Blit:    887 bXBeca:    0 bXProp:  597 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 20.71
22.33/5.65	c Cleaning up after failed var search:     0.03 s 
22.33/5.67	c Replacing      598 vars Replaced    25724 lits Time:     0.07 s 
22.72/5.72	c bin-w-bin subsume rem         3857 bins  time:  0.12 s
23.12/5.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.43 s
32.71/8.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38940 time:  9.48 s
33.10/8.35	c Removed useless bin:    4451  fixed:     0  props:  20.01M  time:  0.54 s
33.50/8.44	c lits-rem:       227  cl-subs:      413  v-elim:  33786  v-fix:    0  time:  0.38 s
33.50/8.46	c Finding binary XORs  T:     0.06 s  found:     567
33.50/8.47	c Replacing      567 vars Replaced    36283 lits Time:     0.06 s 
33.50/8.49	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
33.50/8.49	c Calc default polars -  time:   0.03 s pos:    3941 undec:   94353 neg:   35272
33.50/8.49	c =========================================================================================
33.50/8.49	c types(t): F = full restart, N = normal restart
33.50/8.49	c types(t): S = simplification begin/end, E = solution found
33.50/8.49	c restart types(rt): st = static, dy = dynamic
33.50/8.49	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
33.50/8.49	c  B st     0         0     67007      8658    337398         0    921565         0   no data   no data  --
127.77/32.10	c  N dy     8     10796     67006      8658    337402      8138    921565   3858339     32.18     35.19  --
249.61/62.57	c  N dy    16     15392     66932      8658    337867      8458    921565   4556270     30.12     31.72  --
295.13/73.97	c  N dy    19     19664     66919      8658    338018      7123    921565   2057351     26.75     28.33  --
336.67/84.30	c  N dy    31     23743     66886      8658    338194     11104    921565   4237987     25.77     29.42  --
361.03/90.46	c  F st    32     25000     66886      8658    338196     12342    921565   5244953     25.31     16.25  --
396.18/99.26	c  N st    37     28295     66874      8550    336573      8887    917067   2148293     25.31   no data  --
399.40/100.07	c  S st    38     30002     66873      8550    336581     10548    917067   2797329     25.31   no data  --
402.98/100.97	c  S st    38     30503     66773      8550    336688     11042    917067   3075948     25.31   no data  --
402.98/100.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
444.47/111.35	c Flit:   226 Blit:    154 bXBeca:    0 bXProp:    0 Bins:   5318 BRemL:      0 BRemN:    314 P: 200.0M T: 39.64
444.47/111.36	c Cleaning up after failed var search:     0.00 s 
445.66/111.63	c bin-w-bin subsume rem         2855 bins  time:  0.08 s
451.66/113.10	c subs with bin:      229  lits-rem:     22332  v-fix:    0  time:  5.68 s
453.25/113.54	c Subs w/ non-existent bins:     63 l-rem:    492 v-fix:     0 done:  10530 time:  1.71 s
454.05/113.72	c Removed useless bin:    5562  fixed:     0  props:  20.01M  time:  0.68 s
472.82/118.48	c lits-rem:      1538  cl-subs:     2582  v-elim:  15088  v-fix:    0  time: 18.42 s
474.04/118.72	c asymm  cl-useful: 361/400/8202 lits-rem:7515 time: 0.90
474.82/118.99	c calculated reachability. Time: 1.06
475.22/119.00	c  N dy    38     30503     51305      8202    325699      9211    839668   2282496     25.31   no data  --
478.01/119.74	c Finding binary XORs  T:     2.86 s  found:       4
502.33/125.87	c  N dy    42     34509     51304      8202    325743     13137    839668   5559508     23.64     25.01  --
538.69/134.99	c  N dy    44     40616     51288      8202    326145     11456    839668   4100457     21.79     23.43  --
558.26/139.89	c  N dy    48     45534     51095      8202    326247     16295    839668   6568047     21.10     22.65  --
559.46/140.13	c  S st    49     45757     51095      8202    326248     16517    839668   6691957     21.06     16.63  --
561.87/140.80	c  S st    49     46258     51065      8202    326250     17012    839668   6889184     21.06   no data  --
562.27/140.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
562.27/140.84	c Cache  BProp: 256 Set: 35 BXProp: 0 T: 0.03
602.60/150.92	c Flit:   148 Blit:    206 bXBeca:    0 bXProp:    0 Bins:   5199 BRemL:      0 BRemN:    264 P: 200.0M T: 40.12
602.60/150.96	c Cleaning up after failed var search:     0.15 s 
602.60/150.99	c Replacing        4 vars Replaced      145 lits Time:     0.12 s 
604.20/151.39	c bin-w-bin subsume rem           34 bins  time:  0.09 s
610.61/152.95	c subs with bin:        0  lits-rem:       481  v-fix:    0  time:  6.15 s
616.18/154.38	c Subs w/ non-existent bins:     17 l-rem:    655 v-fix:     0 done:   2219 time:  0.85 s
616.18/154.38	c Removed useless bin:    4163  fixed:     0  props:  20.00M  time:  0.60 s
621.77/155.73	c lits-rem:       231  cl-subs:      468  v-elim:    288  v-fix:    0  time:  9.59 s
621.77/155.77	c vivif2 --  cl tried     8123 cl shrink      699 lits rem      13211 time: 0.16
623.80/156.30	c vivif2 --  cl tried    16060 cl shrink     6593 lits rem    1514910 time: 2.09
624.97/156.56	c asymm  cl-useful: 131/382/8084 lits-rem:333 time: 1.01
626.97/157.07	c calculated reachability. Time: 2.01
626.97/157.07	c  N dy    49     46258     50384      8084    321183     15895    800475   5097103     21.06   no data  --
634.16/158.81	c  N dy    52     50345     50383      8084    323353     11552    800475   1726798     20.38     21.58  --
640.55/160.49	c  N dy    57     55537     50301      8084    323402     16623    800475   2745638     19.58     20.70  --
651.73/163.21	c  N dy    62     60301     50301      8084    323436     11745    800475   1115475     19.02     20.85  --
674.10/168.83	c  N dy    72     69390     50299      8084    323541     20688    800475   4040650     18.33      7.79  --
674.10/168.83	c  S st    72     69390     50299      8084    323541     20688    800475   4040650     18.33      7.79  --
675.70/169.23	c  S st    72     69892     50287      8084    323577     21186    800475   4163625     18.33   no data  --
675.70/169.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
675.70/169.26	c Cache  BProp: 456 Set: 0 BXProp: 3 T: 0.05
722.83/181.08	c Flit:    49 Blit:    162 bXBeca:    0 bXProp:    0 Bins:   4458 BRemL:      0 BRemN:      0 P: 200.1M T: 47.03
722.83/181.09	c Cleaning up after failed var search:     0.00 s 
723.24/181.14	c Replacing        3 vars Replaced      235 lits Time:     0.21 s 
724.04/181.40	c bin-w-bin subsume rem           84 bins  time:  0.08 s
729.63/182.77	c subs with bin:       71  lits-rem:      1798  v-fix:    0  time:  5.48 s
730.43/182.97	c Subs w/ non-existent bins:     17 l-rem:    458 v-fix:     0 done:   1100 time:  0.80 s
731.23/183.12	c Removed useless bin:    4014  fixed:     0  props:  20.01M  time:  0.58 s
738.42/184.92	c lits-rem:       244  cl-subs:      800  v-elim:    150  v-fix:    0  time:  7.18 s
738.42/184.97	c vivif2 --  cl tried     8092 cl shrink      132 lits rem       1978 time: 0.19
740.81/185.51	c vivif2 --  cl tried    20325 cl shrink     5532 lits rem    1184884 time: 2.12
741.62/185.75	c asymm  cl-useful: 5/309/8072 lits-rem:105 time: 0.97
744.40/186.45	c calculated reachability. Time: 2.75
744.40/186.46	c  N dy    72     69892     49923      8069    320731     20281    780987   2651871     18.33   no data  --
752.40/188.43	c Finding binary XORs  T:     7.82 s  found:      14
770.37/192.97	c  N dy    85     75538     49861      8069    320788     15252    780987   3080689     18.05     19.46  --
784.35/196.47	c  N dy    88     83463     49328      8000    327224     22822    767197   5001039     17.27     18.87  --
788.34/197.49	c  F st    90     87508     49328      8000    327239     15240    767197   1258068     16.92     13.94  --
788.75/197.52	c Replacing       14 vars Replaced      888 lits Time:     0.09 s 
788.75/197.57	c Found part      150 vars:      49249 clauses:    304500 lits size:    767049
788.75/197.57	c Found part      151 vars:         14 clauses:        13 lits size:        26
788.75/197.57	c Found part      152 vars:         14 clauses:        13 lits size:        26
788.75/197.57	c Found part      153 vars:         13 clauses:        12 lits size:        24
788.75/197.57	c Found part      154 vars:         13 clauses:        12 lits size:        24
788.75/197.57	c Found part      155 vars:         13 clauses:        12 lits size:        24
788.75/197.57	c Found parts:          6 time: 0.30 s
788.75/197.57	c Solving part 153
789.14/197.63	c  N st     0         0        13         0        12         0        24         0   no data   no data  --
789.14/197.63	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
789.14/197.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
789.14/197.64	c Finding binary XORs  T:     0.03 s  found:       0
789.14/197.64	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
789.14/197.64	c calculated reachability. Time: 0.00
789.14/197.64	c Calc default polars -  time:   0.00 s pos:       1 undec:  133564 neg:       1
789.14/197.64	c =========================================================================================
789.14/197.64	c types(t): F = full restart, N = normal restart
789.14/197.64	c types(t): S = simplification begin/end, E = solution found
789.14/197.64	c restart types(rt): st = static, dy = dynamic
789.14/197.64	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
789.14/197.64	c  B st     0         0        13         0        12         0        24         0   no data   no data  --
789.14/197.64	c  E st     1         0         0         0        12         0        24         0   no data   no data  --
789.14/197.64	c Verified 0 clauses.
789.14/197.64	c Verified 0 clauses.
789.14/197.64	c Solved part
789.14/197.64	c =========================================================================================
789.14/197.64	c Solving part 154
789.55/197.70	c  N st     0         0        13         0        12         0        24         0   no data   no data  --
789.55/197.70	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
789.55/197.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
789.55/197.71	c Finding binary XORs  T:     0.03 s  found:       0
789.55/197.71	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
789.55/197.71	c calculated reachability. Time: 0.00
789.55/197.71	c Calc default polars -  time:   0.01 s pos:       1 undec:  133564 neg:       1
789.55/197.71	c =========================================================================================
789.55/197.71	c types(t): F = full restart, N = normal restart
789.55/197.71	c types(t): S = simplification begin/end, E = solution found
789.55/197.71	c restart types(rt): st = static, dy = dynamic
789.55/197.71	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
789.55/197.71	c  B st     0         0        13         0        12         0        24         0   no data   no data  --
789.55/197.71	c  E st     1         0         0         0        12         0        24         0   no data   no data  --
789.55/197.71	c Verified 0 clauses.
789.55/197.71	c Verified 0 clauses.
789.55/197.71	c Solved part
789.55/197.71	c =========================================================================================
789.55/197.72	c Solving part 155
789.55/197.77	c  N st     0         0        13         0        12         0        24         0   no data   no data  --
789.55/197.77	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
789.55/197.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
789.55/197.78	c Finding binary XORs  T:     0.03 s  found:       0
789.55/197.78	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
789.55/197.78	c calculated reachability. Time: 0.00
789.55/197.78	c Calc default polars -  time:   0.01 s pos:       1 undec:  133564 neg:       1
789.55/197.78	c =========================================================================================
789.55/197.78	c types(t): F = full restart, N = normal restart
789.55/197.78	c types(t): S = simplification begin/end, E = solution found
789.55/197.78	c restart types(rt): st = static, dy = dynamic
789.55/197.78	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
789.55/197.78	c  B st     0         0        13         0        12         0        24         0   no data   no data  --
789.55/197.78	c  E st     1         0         0         0        12         0        24         0   no data   no data  --
789.55/197.78	c Verified 0 clauses.
789.55/197.78	c Verified 0 clauses.
789.55/197.78	c Solved part
789.55/197.78	c =========================================================================================
789.55/197.78	c Solving part 151
789.94/197.84	c  N st     0         0        14         0        13         0        26         0   no data   no data  --
789.94/197.84	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
789.94/197.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
789.94/197.85	c Finding binary XORs  T:     0.03 s  found:       0
789.94/197.85	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
789.94/197.85	c calculated reachability. Time: 0.00
789.94/197.85	c Calc default polars -  time:   0.00 s pos:       1 undec:  133564 neg:       1
789.94/197.85	c =========================================================================================
789.94/197.85	c types(t): F = full restart, N = normal restart
789.94/197.85	c types(t): S = simplification begin/end, E = solution found
789.94/197.85	c restart types(rt): st = static, dy = dynamic
789.94/197.85	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
789.94/197.85	c  B st     0         0        14         0        13         0        26         0   no data   no data  --
789.94/197.85	c  E st     1         0         0         0        13         0        26         0   no data   no data  --
789.94/197.85	c Verified 0 clauses.
789.94/197.85	c Verified 0 clauses.
789.94/197.85	c Solved part
789.94/197.85	c =========================================================================================
789.94/197.85	c Solving part 152
790.35/197.91	c  N st     0         0        14         0        13         0        26         0   no data   no data  --
790.35/197.91	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
790.35/197.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
790.35/197.92	c Finding binary XORs  T:     0.03 s  found:       0
790.35/197.92	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
790.35/197.92	c calculated reachability. Time: 0.00
790.35/197.92	c Calc default polars -  time:   0.01 s pos:       1 undec:  133564 neg:       1
790.35/197.92	c =========================================================================================
790.35/197.92	c types(t): F = full restart, N = normal restart
790.35/197.92	c types(t): S = simplification begin/end, E = solution found
790.35/197.92	c restart types(rt): st = static, dy = dynamic
790.35/197.92	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
790.35/197.92	c  B st     0         0        14         0        13         0        26         0   no data   no data  --
790.35/197.92	c  E st     1         0         0         0        13         0        26         0   no data   no data  --
790.35/197.92	c Verified 0 clauses.
790.35/197.92	c Verified 0 clauses.
790.35/197.92	c Solved part
790.35/197.92	c =========================================================================================
790.35/197.92	c Coming back to original instance
790.35/197.92	c =========================================================================================
794.33/198.95	c  N st    94     89540     49249      8000    327169     17239    767049   1913965     16.92   no data  --
811.51/203.24	c  N dy   104     96386     49242      8000    327241     23990    767049   5142595     16.68     18.66  --
832.28/208.43	c Finding binary XORs  T:     8.03 s  found:      65
836.27/209.43	c  N dy   117    102620     49234      8000    327361     17496    766721   2552690     16.44     17.39  --
839.86/210.30	c  S st   121    104839     49232      8000    327506     19676    766721   3114555     16.27      8.80  --
840.66/210.58	c  S st   121    105343     49221      8000    327511     20169    766721   3267815     16.27   no data  --
841.07/210.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
841.07/210.62	c Cache  BProp: 604 Set: 0 BXProp: 0 T: 0.07
890.59/223.08	c Flit:    20 Blit:     60 bXBeca:    0 bXProp:    0 Bins:   5079 BRemL:      0 BRemN:    161 P: 200.1M T: 49.57
891.00/223.13	c Replacing       65 vars Replaced     4627 lits Time:     0.19 s 
891.82/223.30	c bin-w-bin subsume rem          601 bins  time:  0.10 s
897.79/224.85	c subs with bin:        1  lits-rem:        54  v-fix:    0  time:  6.18 s
899.39/225.29	c Subs w/ non-existent bins:     67 l-rem:   1478 v-fix:     0 done:   3392 time:  1.73 s
900.21/225.44	c Removed useless bin:    2697  fixed:     1  props:  20.00M  time:  0.60 s
906.57/227.05	c lits-rem:       501  cl-subs:      406  v-elim:    245  v-fix:    0  time:  6.40 s
906.98/227.11	c vivif2 --  cl tried     7844 cl shrink      169 lits rem       1803 time: 0.22
908.57/227.55	c vivif2 --  cl tried    19824 cl shrink     2674 lits rem     922553 time: 1.76
909.77/227.83	c asymm  cl-useful: 27/311/7774 lits-rem:788 time: 1.08
913.38/228.72	c calculated reachability. Time: 3.53
913.38/228.72	c  N dy   121    105343     48829      7752    328017     19807    752774   2285640     16.27   no data  --
931.36/233.28	c  N dy   135    112152     48731      7752    328774     26528    752774   5189397     16.00     19.72  --
952.12/238.41	c  N dy   142    121310     48645      7752    328994     21921    752774   3297764     15.63     16.57  --
962.50/241.04	c  N dy   149    132894     48645      7752    329034     18723    752774   1014239     15.16     17.21  --
973.69/243.86	c  N dy   163    142314     48641      7752    329112     28010    752774   2966593     14.95     15.79  --
996.47/249.57	c Finding binary XORs  T:    10.16 s  found:       5
1007.25/252.20	c  N dy   179    154978     48538      7732    329195     24771    745670   3293857     14.69     15.72  --
1014.86/254.11	c  S st   188    158015     48498      7732    329317     27754    745670   4469651     14.62      9.56  --
1015.64/254.33	c  S st   188    158517     48428      7732    329321     28250    745670   4654985     14.62   no data  --
1015.64/254.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
1015.64/254.38	c Cache  BProp: 621 Set: 2 BXProp: 0 T: 0.08
1048.40/262.57	c Flit:    13 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   2549 BRemL:      0 BRemN:    111 P: 200.0M T: 32.54
1048.79/262.63	c Replacing        5 vars Replaced      527 lits Time:     0.25 s 
1049.61/262.88	c bin-w-bin subsume rem          190 bins  time:  0.10 s
1055.98/264.40	c subs with bin:        7  lits-rem:       752  v-fix:    0  time:  6.03 s
1056.78/264.68	c Subs w/ non-existent bins:     35 l-rem:   1750 v-fix:     0 done:   1910 time:  1.12 s
1057.58/264.83	c Removed useless bin:    3180  fixed:     0  props:  20.01M  time:  0.61 s
1071.98/268.41	c lits-rem:      1238  cl-subs:      492  v-elim:    188  v-fix:    0  time: 14.28 s
1071.98/268.47	c vivif2 --  cl tried     7732 cl shrink      108 lits rem        472 time: 0.25
1074.76/269.13	c vivif2 --  cl tried    27667 cl shrink     6098 lits rem    2340204 time: 2.60
1075.97/269.40	c asymm  cl-useful: 22/412/7725 lits-rem:367 time: 1.11
1079.95/270.45	c calculated reachability. Time: 4.14
1079.95/270.45	c  N dy   188    158517     48220      7719    326944     27622    734236   2201116     14.62   no data  --
1102.74/276.11	c  N dy   197    168659     48050      7719    327804     21030    734236   2002164     14.32     21.26  --
1120.32/280.52	c  N dy   215    179667     48042      7719    328503     31892    734236   5304688     14.05     15.57  --
1132.68/283.68	c  N dy   234    192495     47972      7719    328556     26847    734236   2530607     13.81     14.55  --
1147.06/287.26	c  N dy   261    205090     47956      7719    328723     20539    734236   1179980     13.64     14.39  --
1175.42/294.33	c Finding binary XORs  T:    11.71 s  found:      12
1175.82/294.48	c  N dy   292    218474     47900      7702    325835     33550    726957   4613330     13.50     14.35  --
1199.78/300.48	c  N dy   328    234610     47861      7702    326143     29849    726957   3421671     13.35     14.19  --
1205.79/301.97	c  S st   335    237778     47851      7702    326249     32978    726957   4461098     13.33     13.61  --
1206.59/302.13	c  S st   335    238281     47851      7702    326250     33478    726957   4579973     13.33   no data  --
1206.59/302.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
1206.59/302.18	c Cache  BProp: 433 Set: 3 BXProp: 0 T: 0.09
1254.52/314.19	c Flit:    65 Blit:     42 bXBeca:    0 bXProp:    1 Bins:   7438 BRemL:      0 BRemN:    209 P: 200.1M T: 47.87
1254.52/314.19	c Cleaning up after failed var search:     0.00 s 
1254.92/314.26	c Replacing       13 vars Replaced     1973 lits Time:     0.24 s 
1256.14/314.51	c bin-w-bin subsume rem          370 bins  time:  0.09 s
1262.10/316.02	c subs with bin:        3  lits-rem:        44  v-fix:    0  time:  6.02 s
1262.10/316.09	c Subs w/ non-existent bins:      1 l-rem:     85 v-fix:     2 done:    353 time:  0.28 s
1262.91/316.24	c Removed useless bin:    2995  fixed:     0  props:  20.00M  time:  0.61 s
1271.29/318.35	c lits-rem:       273  cl-subs:      627  v-elim:    225  v-fix:    0  time:  8.37 s
1271.69/318.41	c vivif2 --  cl tried     7613 cl shrink       92 lits rem        595 time: 0.26
1275.69/319.41	c vivif2 --  cl tried    32805 cl shrink     9504 lits rem    2846778 time: 3.97
1276.49/319.68	c asymm  cl-useful: 6/582/7598 lits-rem:118 time: 1.06
1281.28/320.80	c calculated reachability. Time: 4.43
1281.28/320.80	c  N dy   335    238281     47501      7594    328470     32606    714740   1665152     13.33   no data  --
1297.65/324.95	c  N dy   368    253510     47389      7594    328963     27158    714740   1687140     13.21     32.40  --
1314.83/329.29	c Finding binary XORs  T:    12.84 s  found:       6
1338.40/335.12	c  N dy   421    270127     47183      7581    329084     43392    712131   7056721     13.10     13.79  --
1360.37/340.60	c  N dy   441    290452     47177      7581    329137     42209    712131   5949525     12.83     13.66  --
1378.75/345.24	c  F st   474    306251     47064      7581    329624     36199    712131   4281084     12.72      9.99  --
1378.75/345.30	c Replacing        6 vars Replaced      726 lits Time:     0.12 s 
1379.16/345.35	c Found part      182 vars:      47012 clauses:    280315 lits size:    705010
1379.16/345.35	c Found part      183 vars:         13 clauses:        12 lits size:        24
1379.16/345.35	c Found part      184 vars:         12 clauses:        11 lits size:        22
1379.16/345.35	c Found part      185 vars:         13 clauses:        12 lits size:        24
1379.16/345.35	c Found part      186 vars:          9 clauses:         8 lits size:        16
1379.16/345.35	c Found parts:          5 time: 0.42 s
1379.16/345.35	c Solving part 186
1379.56/345.43	c  N st     0         0         9         0         8         0        16         0   no data   no data  --
1379.56/345.43	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
1379.56/345.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
1379.56/345.44	c Finding binary XORs  T:     0.03 s  found:       0
1379.56/345.44	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
1379.56/345.44	c calculated reachability. Time: 0.00
1379.56/345.44	c Calc default polars -  time:   0.01 s pos:       1 undec:  133564 neg:       1
1379.56/345.44	c =========================================================================================
1379.56/345.44	c types(t): F = full restart, N = normal restart
1379.56/345.44	c types(t): S = simplification begin/end, E = solution found
1379.56/345.44	c restart types(rt): st = static, dy = dynamic
1379.56/345.44	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1379.56/345.44	c  B st     0         0         9         0         8         0        16         0   no data   no data  --
1379.56/345.44	c  E st     1         0         0         0         8         0        16         0   no data   no data  --
1379.56/345.44	c Verified 0 clauses.
1379.56/345.44	c Verified 0 clauses.
1379.56/345.44	c Solved part
1379.56/345.44	c =========================================================================================
1379.56/345.45	c Solving part 184
1379.94/345.52	c  N st     0         0        12         0        11         0        22         0   no data   no data  --
1379.94/345.52	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
1379.94/345.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.01
1379.94/345.53	c Finding binary XORs  T:     0.03 s  found:       0
1379.94/345.53	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
1379.94/345.53	c calculated reachability. Time: 0.00
1379.94/345.53	c Calc default polars -  time:   0.00 s pos:       1 undec:  133564 neg:       1
1379.94/345.53	c =========================================================================================
1379.94/345.53	c types(t): F = full restart, N = normal restart
1379.94/345.53	c types(t): S = simplification begin/end, E = solution found
1379.94/345.53	c restart types(rt): st = static, dy = dynamic
1379.94/345.53	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1379.94/345.53	c  B st     0         0        12         0        11         0        22         0   no data   no data  --
1379.94/345.53	c  E st     1         0         0         0        11         0        22         0   no data   no data  --
1379.94/345.54	c Verified 0 clauses.
1379.94/345.54	c Verified 0 clauses.
1379.94/345.54	c Solved part
1379.94/345.54	c =========================================================================================
1379.94/345.54	c Solving part 183
1380.34/345.61	c  N st     0         0        13         0        12         0        24         0   no data   no data  --
1380.34/345.61	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
1380.34/345.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
1380.34/345.62	c Finding binary XORs  T:     0.03 s  found:       0
1380.34/345.62	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
1380.34/345.62	c calculated reachability. Time: 0.00
1380.34/345.63	c Calc default polars -  time:   0.01 s pos:       1 undec:  133564 neg:       1
1380.34/345.63	c =========================================================================================
1380.34/345.63	c types(t): F = full restart, N = normal restart
1380.34/345.63	c types(t): S = simplification begin/end, E = solution found
1380.34/345.63	c restart types(rt): st = static, dy = dynamic
1380.34/345.63	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1380.34/345.63	c  B st     0         0        13         0        12         0        24         0   no data   no data  --
1380.34/345.63	c  E st     1         0         0         0        12         0        24         0   no data   no data  --
1380.34/345.63	c Verified 0 clauses.
1380.34/345.63	c Verified 0 clauses.
1380.34/345.63	c Solved part
1380.34/345.63	c =========================================================================================
1380.34/345.63	c Solving part 185
1380.74/345.70	c  N st     0         0        13         0        12         0        24         0   no data   no data  --
1380.74/345.70	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
1380.74/345.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
1380.74/345.72	c Finding binary XORs  T:     0.03 s  found:       0
1380.74/345.72	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
1380.74/345.72	c calculated reachability. Time: 0.00
1380.74/345.72	c Calc default polars -  time:   0.01 s pos:       1 undec:  133564 neg:       1
1380.74/345.72	c =========================================================================================
1380.74/345.72	c types(t): F = full restart, N = normal restart
1380.74/345.72	c types(t): S = simplification begin/end, E = solution found
1380.74/345.72	c restart types(rt): st = static, dy = dynamic
1380.74/345.72	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1380.74/345.72	c  B st     0         0        13         0        12         0        24         0   no data   no data  --
1380.74/345.72	c  E st     1         0         0         0        12         0        24         0   no data   no data  --
1380.74/345.72	c Verified 0 clauses.
1380.74/345.72	c Verified 0 clauses.
1380.74/345.72	c Solved part
1380.74/345.72	c =========================================================================================
1380.74/345.73	c Coming back to original instance
1380.74/345.73	c =========================================================================================
1385.13/346.80	c  N st   479    309550     47010      7565    326374     39247    705010   5292962     12.72   no data  --
1415.08/354.38	c  N dy   537    329524     46993      7565    326594     36434    705010   3198109     12.62     13.47  --
1442.65/361.21	c  N dy   551    357421     46973      7565    326695     40349    705010   3226268     12.34      8.03  --
1442.65/361.21	c  S st   551    357421     46973      7565    326695     40349    705010   3226268     12.34      8.03  --
1443.45/361.47	c  S st   551    357921     46907      7565    327507     40834    705010   3375765     12.34   no data  --
1443.45/361.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
1443.85/361.52	c Cache  BProp: 390 Set: 7 BXProp: 0 T: 0.10
1481.39/370.92	c Flit:    31 Blit:     23 bXBeca:    0 bXProp:    4 Bins:   4343 BRemL:      0 BRemN:    158 P: 200.0M T: 37.46
1481.39/370.98	c Replacing        5 vars Replaced      785 lits Time:     0.24 s 
1482.59/371.22	c bin-w-bin subsume rem          252 bins  time:  0.10 s
1489.01/372.86	c subs with bin:       25  lits-rem:       225  v-fix:    0  time:  6.54 s
1489.78/373.09	c Subs w/ non-existent bins:     19 l-rem:   1785 v-fix:     0 done:   1104 time:  0.92 s
1490.58/373.25	c Removed useless bin:    3044  fixed:     0  props:  20.00M  time:  0.64 s
1519.29/380.41	c lits-rem:       537  cl-subs:      669  v-elim:    260  v-fix:    0  time: 28.50 s
1519.29/380.49	c vivif2 --  cl tried     7748 cl shrink       31 lits rem        200 time: 0.29
1522.86/381.39	c vivif2 --  cl tried    40030 cl shrink     6786 lits rem    1486023 time: 3.59
1524.08/381.66	c asymm  cl-useful: 15/516/7736 lits-rem:47 time: 1.07
1528.87/382.83	c calculated reachability. Time: 4.60
1528.87/382.83	c  N dy   551    357921     46580      7735    326445     39950    694044   1812784     12.34   no data  --
1542.01/386.16	c Finding binary XORs  T:    13.24 s  found:       9
1564.29/391.70	c  N dy   566    380387     46400      7735    326945     37224    694044   1850439     12.15     12.85  --
1593.01/398.95	c  N dy   622    400492     46385      7735    327247     57031    694044   8114898     12.08     13.13  --
1613.34/404.04	c  N dy   646    420732     46377      7735    327356     51916    694044   5697488     11.97     12.79  --
1645.68/412.18	c  N dy   687    446341     46365      7735    327503     50451    694044   4276147     11.88     12.51  --
1674.41/419.31	c  N dy   703    467267     46353      7735    327622     43698    694044   2509354     11.79     12.96  --
1696.77/424.99	c  N dy   759    489259     46341      7735    327685     65405    694044   7558222     11.76     12.43  --
1725.10/432.08	c  N dy   819    509704     46323      7735    327839     56828    694044   6067652     11.72     12.42  --
1752.65/438.94	c  N dy   891    530094     46298      7735    327966     47794    694044   2917699     11.72     12.37  --
1760.21/440.89	c  S st   917    536882     46294      7735    328013     54470    694044   4541155     11.71      6.65  --
1761.42/441.14	c  S st   917    537387     46294      7735    328016     54969    694044   4746456     11.71   no data  --
1761.42/441.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
1761.42/441.20	c Cache  BProp: 75 Set: 3 BXProp: 1 T: 0.10
1802.48/451.45	c Flit:    38 Blit:     28 bXBeca:    0 bXProp:    0 Bins:   6276 BRemL:      0 BRemN:    172 P: 200.1M T: 40.79
1802.88/451.52	c Replacing       11 vars Replaced     2380 lits Time:     0.27 s 
1803.68/451.79	c bin-w-bin subsume rem          230 bins  time:  0.11 s
1810.05/453.37	c subs with bin:      106  lits-rem:       837  v-fix:    0  time:  6.29 s
1811.25/453.62	c Subs w/ non-existent bins:     26 l-rem:   1025 v-fix:     0 done:   1755 time:  1.01 s
1812.05/453.80	c Removed useless bin:    3103  fixed:     0  props:  20.00M  time:  0.70 s
1830.02/458.31	c lits-rem:       847  cl-subs:     1498  v-elim:    170  v-fix:    0  time: 17.99 s
1830.02/458.38	c vivif2 --  cl tried     7661 cl shrink       84 lits rem        240 time: 0.27
1834.79/459.56	c vivif2 --  cl tried    53129 cl shrink     7079 lits rem    1559108 time: 4.69
1836.02/459.84	c asymm  cl-useful: 17/324/7637 lits-rem:17 time: 1.13
1840.77/461.00	c calculated reachability. Time: 4.57
1840.77/461.01	c  N dy   917    537387     46043      7637    326764     53076    678184   2807198     11.71   no data  --
1853.92/464.38	c Finding binary XORs  T:    13.36 s  found:       9
1892.18/473.97	c  N dy   961    558665     46021      7637    327089     43774    678184   1426356     11.65     12.42  --
1913.28/479.22	c  N dy   993    580115     46014      7637    327129     64941    678184   5101429     11.57     12.27  --
1938.80/485.69	c  N dy  1047    600450     45861      7637    327753     53985    678184   3824899     11.53     12.59  --
1966.29/492.59	c  N dy  1137    620804     45840      7637    327841     74076    678184   9555998     11.60     12.28  --
1997.33/500.34	c  N dy  1194    649297     45833      7637    327892     69843    678184   5792662     11.52     12.52  --
2020.05/506.04	c  N dy  1240    669578     45743      7637    328531     56593    678184   2509011     11.48     12.31  --
2037.90/510.55	c Finding binary XORs  T:    13.07 s  found:       3
2055.72/515.00	c  N dy  1307    690790     45664      7610    327521     77288    670445   7054233     11.49     12.11  --
2081.68/521.51	c  N dy  1361    714814     45655      7610    327619     66911    670445   4897717     11.45     12.13  --
2102.86/526.81	c  N dy  1408    735014     45648      7610    327717     86853    670445   9216055     11.40     12.02  --
2124.42/532.29	c  N dy  1464    756154     45645      7610    327776     72836    670445   5319109     11.38     12.04  --
2152.77/539.39	c  N dy  1509    788163     45630      7610    327852     68116    670445   3389483     11.30     11.97  --
2172.35/544.27	c  S st  1555    806085     45615      7610    327919     85893    670445   7775341     11.30     10.02  --
2173.16/544.50	c  S st  1555    806586     45615      7610    327920     86392    670445   7991166     11.30   no data  --
2173.56/544.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
2173.56/544.55	c Cache  BProp: 73 Set: 9 BXProp: 0 T: 0.09
2208.31/553.28	c Flit:    33 Blit:     17 bXBeca:    0 bXProp:    2 Bins:   4820 BRemL:      1 BRemN:    118 P: 200.1M T: 34.78
2209.09/553.40	c Replacing       14 vars Replaced     5085 lits Time:     0.46 s 
2210.69/553.84	c bin-w-bin subsume rem          198 bins  time:  0.11 s
2216.68/555.36	c subs with bin:        2  lits-rem:        23  v-fix:    0  time:  6.04 s
2217.88/555.66	c Subs w/ non-existent bins:     18 l-rem:   1059 v-fix:     0 done:   3922 time:  1.20 s
2218.67/555.84	c Removed useless bin:    2733  fixed:     0  props:  20.00M  time:  0.69 s
2357.70/590.61	c lits-rem:      3487  cl-subs:     3582  v-elim:    256  v-fix:    0  time: 138.58 s
2357.70/590.68	c vivif2 --  cl tried     7876 cl shrink      147 lits rem        262 time: 0.26
2364.86/592.40	c vivif2 --  cl tried    82871 cl shrink    17152 lits rem    2823286 time: 6.87
2365.66/592.69	c asymm  cl-useful: 28/482/7843 lits-rem:78 time: 1.13
2370.46/593.83	c calculated reachability. Time: 4.49
2370.46/593.83	c  N dy  1555    806586     45271      7842    327623     82732    660776   4080130     11.30   no data  --
2383.64/597.17	c Finding binary XORs  T:    13.28 s  found:       2
2420.77/606.45	c  N dy  1631    831685     45134      7842    328192     69920    660776   3670990     11.29     12.17  --
2448.74/613.49	c  N dy  1688    856146     45122      7842    328270     94049    660776   9158769     11.26     11.94  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3285150-1304037934/watcher-3285150-1304037934 -o /tmp/evaluation-result-3285150-1304037934/solver-3285150-1304037934 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3285150-1304037934.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: 8.00 8.02 7.94 5/180 7984
/proc/meminfo: memFree=14358964/32950928 swapFree=67111528/67111528
[pid=7984] ppid=7982 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/7984/stat : 7984 (strangenight1-m) R 7982 7984 7632 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 515392090 52465664 352 33554432000 4194304 4650419 140733434283360 18446744073709551615 47833725814696 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7984/statm: 12809 352 303 112 0 7774 0
[pid=7984/tid=7985] ppid=7982 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/7984/task/7985/stat : 7985 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 515392091 52465664 352 33554432000 4194304 4650419 140733434283360 18446744073709551615 251814296561 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7984/tid=7986] ppid=7982 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/7984/task/7986/stat : 7986 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 515392091 52465664 352 33554432000 4194304 4650419 140733434283360 18446744073709551615 47833725814696 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7984/tid=7987] ppid=7982 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/7984/task/7987/stat : 7987 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 515392091 52465664 352 33554432000 4194304 4650419 140733434283360 18446744073709551615 47833725814706 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.049803 s]
/proc/loadavg: 8.00 8.02 7.94 5/180 7984
/proc/meminfo: memFree=14358964/32950928 swapFree=67111528/67111528
[pid=7984] ppid=7982 vsize=311832 CPUtime=0.17 cores=1,3,5,7
/proc/7984/stat : 7984 (strangenight1-m) D 7982 7984 7632 0 -1 4202496 13695 0 0 0 14 3 0 0 25 0 4 0 515392090 319315968 11496 33554432000 4194304 4650419 140733434283360 18446744073709551615 251814283354 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7984/statm: 77958 11496 345 112 0 72923 0
[pid=7984/tid=7985] ppid=7982 vsize=311832 CPUtime=0.03 cores=1,3,5,7
/proc/7984/task/7985/stat : 7985 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 3301 0 0 0 3 0 0 0 25 0 4 0 515392091 319315968 11496 33554432000 4194304 4650419 140733434283360 18446744073709551615 4319766 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7984/tid=7986] ppid=7982 vsize=311832 CPUtime=0.03 cores=1,3,5,7
/proc/7984/task/7986/stat : 7986 (strangenight1-m) D 7982 7984 7632 0 -1 4202560 3331 0 0 0 3 0 0 0 25 0 4 0 515392091 319315968 11496 33554432000 4194304 4650419 140733434283360 18446744073709551615 251813902694 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7984/tid=7987] ppid=7982 vsize=311832 CPUtime=0.03 cores=1,3,5,7
/proc/7984/task/7987/stat : 7987 (strangenight1-m) D 7982 7984 7632 0 -1 4202560 3325 0 0 0 3 0 0 0 25 0 4 0 515392091 319315968 11496 33554432000 4194304 4650419 140733434283360 18446744073709551615 251814283354 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 311832

[startup+0.103784 s]
/proc/loadavg: 8.00 8.02 7.94 5/180 7984
/proc/meminfo: memFree=14358964/32950928 swapFree=67111528/67111528
[pid=7984] ppid=7982 vsize=337620 CPUtime=0.38 cores=1,3,5,7
/proc/7984/stat : 7984 (strangenight1-m) D 7982 7984 7632 0 -1 4202496 27598 0 0 0 32 6 0 0 25 0 4 0 515392090 345722880 23098 33554432000 4194304 4650419 140733434283360 18446744073709551615 4361571 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7984/statm: 84405 23098 345 112 0 79370 0
[pid=7984/tid=7985] ppid=7982 vsize=337620 CPUtime=0.08 cores=1,3,5,7
/proc/7984/task/7985/stat : 7985 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 6749 0 0 0 7 1 0 0 25 0 4 0 515392091 345722880 23098 33554432000 4194304 4650419 140733434283360 18446744073709551615 251814283354 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7984/tid=7986] ppid=7982 vsize=337620 CPUtime=0.09 cores=1,3,5,7
/proc/7984/task/7986/stat : 7986 (strangenight1-m) D 7982 7984 7632 0 -1 4202560 6759 0 0 0 8 1 0 0 25 0 4 0 515392091 345722880 23098 33554432000 4194304 4650419 140733434283360 18446744073709551615 251814283354 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7984/tid=7987] ppid=7982 vsize=337620 CPUtime=0.09 cores=1,3,5,7
/proc/7984/task/7987/stat : 7987 (strangenight1-m) D 7982 7984 7632 0 -1 4202560 6752 0 0 0 8 1 0 0 25 0 4 0 515392091 345722880 23098 33554432000 4194304 4650419 140733434283360 18446744073709551615 4316340 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 337620

[startup+0.300674 s]
/proc/loadavg: 8.00 8.02 7.94 5/180 7984
/proc/meminfo: memFree=14358964/32950928 swapFree=67111528/67111528
[pid=7984] ppid=7982 vsize=416968 CPUtime=1.16 cores=1,3,5,7
/proc/7984/stat : 7984 (strangenight1-m) R 7982 7984 7632 0 -1 4202496 64725 0 0 0 101 15 0 0 25 0 4 0 515392090 426975232 47400 33554432000 4194304 4650419 140733434283360 18446744073709551615 4369378 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7984/statm: 104242 47400 368 112 0 99207 0
[pid=7984/tid=7985] ppid=7982 vsize=416968 CPUtime=0.28 cores=1,3,5,7
/proc/7984/task/7985/stat : 7985 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 15939 0 0 0 24 4 0 0 25 0 4 0 515392091 426975232 47400 33554432000 4194304 4650419 140733434283360 18446744073709551615 4369169 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7984/tid=7986] ppid=7982 vsize=416968 CPUtime=0.28 cores=1,3,5,7
/proc/7984/task/7986/stat : 7986 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 15946 0 0 0 25 3 0 0 25 0 4 0 515392091 426975232 47400 33554432000 4194304 4650419 140733434283360 18446744073709551615 4370286 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7984/tid=7987] ppid=7982 vsize=416968 CPUtime=0.28 cores=1,3,5,7
/proc/7984/task/7987/stat : 7987 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 16479 0 0 0 25 3 0 0 25 0 4 0 515392091 426975232 47400 33554432000 4194304 4650419 140733434283360 18446744073709551615 4315122 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 416968

[startup+0.700603 s]
/proc/loadavg: 8.00 8.02 7.94 5/180 7984
/proc/meminfo: memFree=14358964/32950928 swapFree=67111528/67111528
[pid=7984] ppid=7982 vsize=422100 CPUtime=2.75 cores=1,3,5,7
/proc/7984/stat : 7984 (strangenight1-m) R 7982 7984 7632 0 -1 4202496 67455 0 0 0 260 15 0 0 25 0 4 0 515392090 432230400 49590 33554432000 4194304 4650419 140733434283360 18446744073709551615 4302842 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7984/statm: 105525 49590 373 112 0 100490 0
[pid=7984/tid=7985] ppid=7982 vsize=422100 CPUtime=0.68 cores=1,3,5,7
/proc/7984/task/7985/stat : 7985 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 16766 0 0 0 64 4 0 0 25 0 4 0 515392091 432230400 49590 33554432000 4194304 4650419 140733434283360 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7984/tid=7986] ppid=7982 vsize=422100 CPUtime=0.68 cores=1,3,5,7
/proc/7984/task/7986/stat : 7986 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 16773 0 0 0 65 3 0 0 25 0 4 0 515392091 432230400 49590 33554432000 4194304 4650419 140733434283360 18446744073709551615 4244814 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7984/tid=7987] ppid=7982 vsize=422100 CPUtime=0.68 cores=1,3,5,7
/proc/7984/task/7987/stat : 7987 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 16722 0 0 0 65 3 0 0 25 0 4 0 515392091 432230400 49590 33554432000 4194304 4650419 140733434283360 18446744073709551615 4315210 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 422100

[startup+1.50047 s]
/proc/loadavg: 8.00 8.02 7.94 9/184 7988
/proc/meminfo: memFree=14161152/32950928 swapFree=67111528/67111528
[pid=7984] ppid=7982 vsize=422100 CPUtime=5.95 cores=1,3,5,7
/proc/7984/stat : 7984 (strangenight1-m) R 7982 7984 7632 0 -1 4202496 67590 0 0 0 580 15 0 0 25 0 4 0 515392090 432230400 49725 33554432000 4194304 4650419 140733434283360 18446744073709551615 4370239 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7984/statm: 105525 49725 373 112 0 100490 0
[pid=7984/tid=7985] ppid=7982 vsize=422100 CPUtime=1.47 cores=1,3,5,7
/proc/7984/task/7985/stat : 7985 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 16766 0 0 0 143 4 0 0 25 0 4 0 515392091 432230400 49725 33554432000 4194304 4650419 140733434283360 18446744073709551615 4302800 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7984/tid=7986] ppid=7982 vsize=422100 CPUtime=1.48 cores=1,3,5,7
/proc/7984/task/7986/stat : 7986 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 16773 0 0 0 145 3 0 0 25 0 4 0 515392091 432230400 49725 33554432000 4194304 4650419 140733434283360 18446744073709551615 4370270 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7984/tid=7987] ppid=7982 vsize=422100 CPUtime=1.48 cores=1,3,5,7
/proc/7984/task/7987/stat : 7987 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 16857 0 0 0 145 3 0 0 25 0 4 0 515392091 432230400 49725 33554432000 4194304 4650419 140733434283360 18446744073709551615 4315094 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 422100

[startup+3.1012 s]
/proc/loadavg: 8.00 8.02 7.94 9/184 7988
/proc/meminfo: memFree=14157984/32950928 swapFree=67111528/67111528
[pid=7984] ppid=7982 vsize=422100 CPUtime=12.35 cores=1,3,5,7
/proc/7984/stat : 7984 (strangenight1-m) R 7982 7984 7632 0 -1 4202496 69002 0 0 0 1219 16 0 0 25 0 4 0 515392090 432230400 51137 33554432000 4194304 4650419 140733434283360 18446744073709551615 4370340 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7984/statm: 105525 51137 373 112 0 100490 0
[pid=7984/tid=7985] ppid=7982 vsize=422100 CPUtime=3.07 cores=1,3,5,7
/proc/7984/task/7985/stat : 7985 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 16775 0 0 0 303 4 0 0 25 0 4 0 515392091 432230400 51137 33554432000 4194304 4650419 140733434283360 18446744073709551615 4370621 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7984/tid=7986] ppid=7982 vsize=422100 CPUtime=3.08 cores=1,3,5,7
/proc/7984/task/7986/stat : 7986 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 16782 0 0 0 305 3 0 0 25 0 4 0 515392091 432230400 51137 33554432000 4194304 4650419 140733434283360 18446744073709551615 4369075 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7984/tid=7987] ppid=7982 vsize=422100 CPUtime=3.08 cores=1,3,5,7
/proc/7984/task/7987/stat : 7987 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 18249 0 0 0 305 3 0 0 25 0 4 0 515392091 432230400 51137 33554432000 4194304 4650419 140733434283360 18446744073709551615 4315069 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 422100

[startup+6.30066 s]
/proc/loadavg: 8.00 8.02 7.94 9/184 7988
/proc/meminfo: memFree=14142224/32950928 swapFree=67111528/67111528
[pid=7984] ppid=7982 vsize=434980 CPUtime=25.12 cores=1,3,5,7
/proc/7984/stat : 7984 (strangenight1-m) R 7982 7984 7632 0 -1 4202496 81835 0 0 0 2493 19 0 0 25 0 4 0 515392090 445419520 63970 33554432000 4194304 4650419 140733434283360 18446744073709551615 4550148 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7984/statm: 108745 63970 385 112 0 103710 0
[pid=7984/tid=7985] ppid=7982 vsize=434980 CPUtime=6.25 cores=1,3,5,7
/proc/7984/task/7985/stat : 7985 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 20030 0 0 0 620 5 0 0 25 0 4 0 515392091 445419520 63970 33554432000 4194304 4650419 140733434283360 18446744073709551615 4446475 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7984/tid=7986] ppid=7982 vsize=434980 CPUtime=6.28 cores=1,3,5,7
/proc/7984/task/7986/stat : 7986 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 20036 0 0 0 624 4 0 0 25 0 4 0 515392091 445419520 63970 33554432000 4194304 4650419 140733434283360 18446744073709551615 4446475 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7984/tid=7987] ppid=7982 vsize=434980 CPUtime=6.28 cores=1,3,5,7
/proc/7984/task/7987/stat : 7987 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 21313 0 0 0 624 4 0 0 25 0 4 0 515392091 445419520 63970 33554432000 4194304 4650419 140733434283360 18446744073709551615 4303895 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 434980

[startup+12.7006 s]
/proc/loadavg: 8.00 8.02 7.94 9/184 7988
/proc/meminfo: memFree=14074024/32950928 swapFree=67111528/67111528
[pid=7984] ppid=7982 vsize=437364 CPUtime=50.68 cores=1,3,5,7
/proc/7984/stat : 7984 (strangenight1-m) R 7982 7984 7632 0 -1 4202496 91360 0 0 0 5047 21 0 0 25 0 4 0 515392090 447860736 71457 33554432000 4194304 4650419 140733434283360 18446744073709551615 4315116 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7984/statm: 109341 71457 393 112 0 104306 0
[pid=7984/tid=7985] ppid=7982 vsize=437364 CPUtime=12.61 cores=1,3,5,7
/proc/7984/task/7985/stat : 7985 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 21433 0 0 0 1256 5 0 0 25 0 4 0 515392091 447860736 71457 33554432000 4194304 4650419 140733434283360 18446744073709551615 4315114 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7984/tid=7986] ppid=7982 vsize=437364 CPUtime=12.68 cores=1,3,5,7
/proc/7984/task/7986/stat : 7986 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 20992 0 0 0 1264 4 0 0 25 0 4 0 515392091 447860736 71457 33554432000 4194304 4650419 140733434283360 18446744073709551615 4315137 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7984/tid=7987] ppid=7982 vsize=437364 CPUtime=12.68 cores=1,3,5,7
/proc/7984/task/7987/stat : 7987 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 26955 0 0 0 1263 5 0 0 25 0 4 0 515392091 447860736 71457 33554432000 4194304 4650419 140733434283360 18446744073709551615 4315114 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 437364

[startup+25.5004 s]
/proc/loadavg: 8.00 8.01 7.94 9/184 7989
/proc/meminfo: memFree=14032072/32950928 swapFree=67111528/67111528
[pid=7984] ppid=7982 vsize=591048 CPUtime=101.81 cores=1,3,5,7
/proc/7984/stat : 7984 (strangenight1-m) R 7982 7984 7632 0 -1 4202496 110891 0 0 0 10155 26 0 0 25 0 4 0 515392090 605233152 80990 33554432000 4194304 4650419 140733434283360 18446744073709551615 4315488 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7984/statm: 147762 80990 393 112 0 142727 0
[pid=7984/tid=7985] ppid=7982 vsize=591048 CPUtime=25.34 cores=1,3,5,7
/proc/7984/task/7985/stat : 7985 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 24120 0 0 0 2528 6 0 0 25 0 4 0 515392091 605233152 80990 33554432000 4194304 4650419 140733434283360 18446744073709551615 4315977 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7984/tid=7986] ppid=7982 vsize=591048 CPUtime=25.48 cores=1,3,5,7
/proc/7984/task/7986/stat : 7986 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 24567 0 0 0 2543 5 0 0 25 0 4 0 515392091 605233152 80990 33554432000 4194304 4650419 140733434283360 18446744073709551615 4315252 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7984/tid=7987] ppid=7982 vsize=591048 CPUtime=25.48 cores=1,3,5,7
/proc/7984/task/7987/stat : 7987 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 34968 0 0 0 2539 9 0 0 25 0 4 0 515392091 605233152 80990 33554432000 4194304 4650419 140733434283360 18446744073709551615 4315114 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 591048

[startup+51.1011 s]
/proc/loadavg: 8.06 8.03 7.95 9/184 7990
/proc/meminfo: memFree=13941752/32950928 swapFree=67111528/67111528
[pid=7984] ppid=7982 vsize=851256 CPUtime=204.07 cores=1,3,5,7
/proc/7984/stat : 7984 (strangenight1-m) R 7982 7984 7632 0 -1 4202496 273086 0 0 0 20357 50 0 0 25 0 4 0 515392090 871686144 118615 33554432000 4194304 4650419 140733434283360 18446744073709551615 4315244 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7984/statm: 212814 118615 395 112 0 207779 0
[pid=7984/tid=7985] ppid=7982 vsize=851256 CPUtime=50.8 cores=1,3,5,7
/proc/7984/task/7985/stat : 7985 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 33943 0 0 0 5073 7 0 0 25 0 4 0 515392091 871686144 118615 33554432000 4194304 4650419 140733434283360 18446744073709551615 4315081 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7984/tid=7986] ppid=7982 vsize=851256 CPUtime=51.08 cores=1,3,5,7
/proc/7984/task/7986/stat : 7986 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 30512 0 0 0 5102 6 0 0 25 0 4 0 515392091 871686144 118615 33554432000 4194304 4650419 140733434283360 18446744073709551615 4315137 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7984/tid=7987] ppid=7982 vsize=851256 CPUtime=51.07 cores=1,3,5,7
/proc/7984/task/7987/stat : 7987 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 176169 0 0 0 5079 28 0 0 25 0 4 0 515392091 871686144 118615 33554432000 4194304 4650419 140733434283360 18446744073709551615 4528405 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.07
Current children cumulated vsize (KiB) 851256

[startup+102.307 s]
/proc/loadavg: 8.16 8.05 7.96 9/184 7991
/proc/meminfo: memFree=11115604/32950928 swapFree=67111528/67111528
[pid=7984] ppid=7982 vsize=3596036 CPUtime=408.59 cores=1,3,5,7
/proc/7984/stat : 7984 (strangenight1-m) R 7982 7984 7632 0 -1 4202496 5712780 0 0 0 40127 732 0 0 25 0 4 0 515392090 3682340864 807874 33554432000 4194304 4650419 140733434283360 18446744073709551615 4230706 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7984/statm: 899009 807882 396 112 0 893974 0
[pid=7984/tid=7985] ppid=7982 vsize=3596036 CPUtime=101.72 cores=1,3,5,7
/proc/7984/task/7985/stat : 7985 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 53989 0 0 0 10159 13 0 0 25 0 4 0 515392091 3682340864 807885 33554432000 4194304 4650419 140733434283360 18446744073709551615 4227332 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7984/tid=7986] ppid=7982 vsize=3596036 CPUtime=102.28 cores=1,3,5,7
/proc/7984/task/7986/stat : 7986 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 41430 0 0 0 10219 9 0 0 25 0 4 0 515392091 3682340864 807890 33554432000 4194304 4650419 140733434283360 18446744073709551615 4315194 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7984/tid=7987] ppid=7982 vsize=3596036 CPUtime=102.28 cores=1,3,5,7
/proc/7984/task/7987/stat : 7987 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 5576914 0 0 0 9530 698 0 0 25 0 4 0 515392091 3682340864 807895 33554432000 4194304 4650419 140733434283360 18446744073709551615 4316948 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.59
Current children cumulated vsize (KiB) 3596036

[startup+162.3 s]
/proc/loadavg: 7.60 7.93 7.92 9/184 8023
/proc/meminfo: memFree=7993000/32950928 swapFree=67111528/67111528
[pid=7984] ppid=7982 vsize=7878436 CPUtime=648.14 cores=1,3,5,7
/proc/7984/stat : 7984 (strangenight1-m) R 7982 7984 7632 0 -1 4202496 8633884 0 0 0 63694 1120 0 0 25 0 4 0 515392090 8067518464 1671416 33554432000 4194304 4650419 140733434283360 18446744073709551615 4315952 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7984/statm: 1969609 1671416 396 112 0 1964574 0
[pid=7984/tid=7985] ppid=7982 vsize=7878436 CPUtime=161.58 cores=1,3,5,7
/proc/7984/task/7985/stat : 7985 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 285871 0 0 0 16099 59 0 0 25 0 4 0 515392091 8067518464 1671416 33554432000 4194304 4650419 140733434283360 18446744073709551615 4476185 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7984/tid=7986] ppid=7982 vsize=7878436 CPUtime=162.03 cores=1,3,5,7
/proc/7984/task/7986/stat : 7986 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 169025 0 0 0 16171 32 0 0 25 0 4 0 515392091 8067518464 1671416 33554432000 4194304 4650419 140733434283360 18446744073709551615 4315210 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7984/tid=7987] ppid=7982 vsize=7878436 CPUtime=162.26 cores=1,3,5,7
/proc/7984/task/7987/stat : 7987 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 7893382 0 0 0 15241 985 0 0 25 0 4 0 515392091 8067518464 1671416 33554432000 4194304 4650419 140733434283360 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 648.14
Current children cumulated vsize (KiB) 7878436

[startup+222.3 s]
/proc/loadavg: 7.70 7.92 7.91 6/179 8028
/proc/meminfo: memFree=7965432/32950928 swapFree=67111528/67111528
[pid=7984] ppid=7982 vsize=10454104 CPUtime=887.8 cores=1,3,5,7
/proc/7984/stat : 7984 (strangenight1-m) R 7982 7984 7632 0 -1 4202496 9205584 0 0 0 87568 1212 0 0 25 0 4 0 515392090 10705002496 2117740 33554432000 4194304 4650419 140733434283360 18446744073709551615 4370329 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7984/statm: 2613526 2117743 396 112 0 2608491 0
[pid=7984/tid=7985] ppid=7982 vsize=10454104 CPUtime=221.58 cores=1,3,5,7
/proc/7984/task/7985/stat : 7985 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 432831 0 0 0 22074 84 0 0 25 0 4 0 515392091 10705002496 2117743 33554432000 4194304 4650419 140733434283360 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7984/tid=7986] ppid=7982 vsize=10454104 CPUtime=221.71 cores=1,3,5,7
/proc/7984/task/7986/stat : 7986 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 283773 0 0 0 22120 51 0 0 25 0 4 0 515392091 10705002496 2117743 33554432000 4194304 4650419 140733434283360 18446744073709551615 4315286 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7984/tid=7987] ppid=7982 vsize=10454104 CPUtime=222.26 cores=1,3,5,7
/proc/7984/task/7987/stat : 7987 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 8036997 0 0 0 21219 1007 0 0 25 0 4 0 515392091 10705002496 2117743 33554432000 4194304 4650419 140733434283360 18446744073709551615 4315094 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 887.8
Current children cumulated vsize (KiB) 10454104

[startup+282.3 s]
/proc/loadavg: 7.75 7.86 7.89 9/184 8057
/proc/meminfo: memFree=4041212/32950928 swapFree=67111528/67111528
[pid=7984] ppid=7982 vsize=12401916 CPUtime=1127.49 cores=1,3,5,7
/proc/7984/stat : 7984 (strangenight1-m) R 7982 7984 7632 0 -1 4202496 9654000 0 0 0 111462 1287 0 0 25 0 4 0 515392090 12699561984 2488836 33554432000 4194304 4650419 140733434283360 18446744073709551615 4315122 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7984/statm: 3100479 2488836 399 112 0 3095444 0
[pid=7984/tid=7985] ppid=7982 vsize=12401916 CPUtime=281.57 cores=1,3,5,7
/proc/7984/task/7985/stat : 7985 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 524800 0 0 0 28057 100 0 0 25 0 4 0 515392091 12699561984 2488836 33554432000 4194304 4650419 140733434283360 18446744073709551615 4528900 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7984/tid=7986] ppid=7982 vsize=12401916 CPUtime=281.4 cores=1,3,5,7
/proc/7984/task/7986/stat : 7986 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 396850 0 0 0 28071 69 0 0 25 0 4 0 515392091 12699561984 2488836 33554432000 4194304 4650419 140733434283360 18446744073709551615 4315992 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7984/tid=7987] ppid=7982 vsize=12401916 CPUtime=282.25 cores=1,3,5,7
/proc/7984/task/7987/stat : 7987 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 8175608 0 0 0 27194 1031 0 0 25 0 4 0 515392091 12699561984 2488836 33554432000 4194304 4650419 140733434283360 18446744073709551615 4315094 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1127.49
Current children cumulated vsize (KiB) 12401916

[startup+342.3 s]
/proc/loadavg: 7.95 7.90 7.90 9/184 8059
/proc/meminfo: memFree=3018616/32950928 swapFree=67111528/67111528
[pid=7984] ppid=7982 vsize=13703748 CPUtime=1367.16 cores=1,3,5,7
/proc/7984/stat : 7984 (strangenight1-m) R 7982 7984 7632 0 -1 4202496 10008194 0 0 0 135362 1354 0 0 25 0 4 0 515392090 14032637952 2732827 33554432000 4194304 4650419 140733434283360 18446744073709551615 4341274 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7984/statm: 3425937 2732827 396 112 0 3420902 0
[pid=7984/tid=7985] ppid=7982 vsize=13703748 CPUtime=341.58 cores=1,3,5,7
/proc/7984/task/7985/stat : 7985 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 574090 0 0 0 34045 113 0 0 25 0 4 0 515392091 14032637952 2732827 33554432000 4194304 4650419 140733434283360 18446744073709551615 4314858 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7984/tid=7986] ppid=7982 vsize=13703748 CPUtime=341.09 cores=1,3,5,7
/proc/7984/task/7986/stat : 7986 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 507233 0 0 0 34019 90 0 0 25 0 4 0 515392091 14032637952 2732827 33554432000 4194304 4650419 140733434283360 18446744073709551615 4314848 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7984/tid=7987] ppid=7982 vsize=13703748 CPUtime=342.25 cores=1,3,5,7
/proc/7984/task/7987/stat : 7987 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 8305179 0 0 0 33173 1052 0 0 25 0 4 0 515392091 14032637952 2732827 33554432000 4194304 4650419 140733434283360 18446744073709551615 4315636 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1367.16
Current children cumulated vsize (KiB) 13703748

[startup+402.301 s]
/proc/loadavg: 8.19 7.98 7.93 9/184 8060
/proc/meminfo: memFree=368276/32950928 swapFree=67111528/67111528
[pid=7984] ppid=7982 vsize=14395024 CPUtime=1606.57 cores=1,3,5,7
/proc/7984/stat : 7984 (strangenight1-m) R 7982 7984 7632 0 -1 4202496 10228307 0 0 0 159242 1415 0 0 25 0 4 0 515392090 14740504576 2837035 33554432000 4194304 4650419 140733434283360 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7984/statm: 3598756 2837035 396 112 0 3593721 0
[pid=7984/tid=7985] ppid=7982 vsize=14395024 CPUtime=401.57 cores=1,3,5,7
/proc/7984/task/7985/stat : 7985 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 654824 0 0 0 40025 132 0 0 25 0 4 0 515392091 14740504576 2837035 33554432000 4194304 4650419 140733434283360 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7984/tid=7986] ppid=7982 vsize=14395024 CPUtime=400.77 cores=1,3,5,7
/proc/7984/task/7986/stat : 7986 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 546427 0 0 0 39974 103 0 0 25 0 4 0 515392091 14740504576 2837035 33554432000 4194304 4650419 140733434283360 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7984/tid=7987] ppid=7982 vsize=14395024 CPUtime=401.98 cores=1,3,5,7
/proc/7984/task/7987/stat : 7987 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 8347894 0 0 0 39133 1065 0 0 25 0 4 0 515392091 14740504576 2837035 33554432000 4194304 4650419 140733434283360 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1606.57
Current children cumulated vsize (KiB) 14395024

[startup+462.301 s]
/proc/loadavg: 8.07 7.98 7.93 9/184 8061
/proc/meminfo: memFree=112740/32950928 swapFree=67111524/67111528
[pid=7984] ppid=7982 vsize=14589160 CPUtime=1845.96 cores=1,3,5,7
/proc/7984/stat : 7984 (strangenight1-m) R 7982 7984 7632 0 -1 4202496 10424348 0 0 0 183127 1469 0 0 25 0 4 0 515392090 14939299840 2886465 33554432000 4194304 4650419 140733434283360 18446744073709551615 4528913 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7984/statm: 3647290 2886465 396 112 0 3642255 0
[pid=7984/tid=7985] ppid=7982 vsize=14589160 CPUtime=461.57 cores=1,3,5,7
/proc/7984/task/7985/stat : 7985 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 702738 0 0 0 46011 146 0 0 25 0 4 0 515392091 14939299840 2886465 33554432000 4194304 4650419 140733434283360 18446744073709551615 4363562 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7984/tid=7986] ppid=7982 vsize=14589160 CPUtime=460.44 cores=1,3,5,7
/proc/7984/task/7986/stat : 7986 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 585427 0 0 0 45929 115 0 0 25 0 4 0 515392091 14939299840 2886465 33554432000 4194304 4650419 140733434283360 18446744073709551615 4330582 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7984/tid=7987] ppid=7982 vsize=14589160 CPUtime=461.71 cores=1,3,5,7
/proc/7984/task/7987/stat : 7987 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 8409715 0 0 0 45090 1081 0 0 25 0 4 0 515392091 14939299840 2886465 33554432000 4194304 4650419 140733434283360 18446744073709551615 4370236 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1845.96
Current children cumulated vsize (KiB) 14589160

[startup+522.301 s]
/proc/loadavg: 8.01 7.99 7.93 9/184 8094
/proc/meminfo: memFree=14486136/32950928 swapFree=67111524/67111528
[pid=7984] ppid=7982 vsize=15541856 CPUtime=2084.88 cores=1,3,5,7
/proc/7984/stat : 7984 (strangenight1-m) R 7982 7984 7632 0 -1 4202496 10711054 0 0 0 206947 1541 0 0 25 0 4 0 515392090 15914860544 3078613 33554432000 4194304 4650419 140733434283360 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7984/statm: 3885464 3078613 400 112 0 3880429 0
[pid=7984/tid=7985] ppid=7982 vsize=15541856 CPUtime=521.45 cores=1,3,5,7
/proc/7984/task/7985/stat : 7985 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 777669 0 0 0 51985 160 0 0 25 0 4 0 515392091 15914860544 3078613 33554432000 4194304 4650419 140733434283360 18446744073709551615 4363520 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7984/tid=7986] ppid=7982 vsize=15541856 CPUtime=520.11 cores=1,3,5,7
/proc/7984/task/7986/stat : 7986 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 676378 0 0 0 51873 138 0 0 25 0 4 0 515392091 15914860544 3078613 33554432000 4194304 4650419 140733434283360 18446744073709551615 4333753 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7984/tid=7987] ppid=7982 vsize=15541856 CPUtime=521.09 cores=1,3,5,7
/proc/7984/task/7987/stat : 7987 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 8479660 0 0 0 51010 1099 0 0 25 0 4 0 515392091 15914860544 3078614 33554432000 4194304 4650419 140733434283360 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2084.88
Current children cumulated vsize (KiB) 15541856

[startup+582.301 s]
/proc/loadavg: 8.00 7.99 7.93 9/184 8096
/proc/meminfo: memFree=9719808/32950928 swapFree=67111524/67111528
[pid=7984] ppid=7982 vsize=15747664 CPUtime=2324.53 cores=1,3,5,7
/proc/7984/stat : 7984 (strangenight1-m) R 7982 7984 7632 0 -1 4202496 10901230 0 0 0 230854 1599 0 0 25 0 4 0 515392090 16125607936 3128063 33554432000 4194304 4650419 140733434283360 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7984/statm: 3936916 3128063 400 112 0 3931881 0
[pid=7984/tid=7985] ppid=7982 vsize=15747664 CPUtime=581.44 cores=1,3,5,7
/proc/7984/task/7985/stat : 7985 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 830109 0 0 0 57969 175 0 0 25 0 4 0 515392091 16125607936 3128063 33554432000 4194304 4650419 140733434283360 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7984/tid=7986] ppid=7982 vsize=15747664 CPUtime=579.78 cores=1,3,5,7
/proc/7984/task/7986/stat : 7986 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 734695 0 0 0 57823 155 0 0 25 0 4 0 515392091 16125607936 3128063 33554432000 4194304 4650419 140733434283360 18446744073709551615 4314985 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7984/tid=7987] ppid=7982 vsize=15747664 CPUtime=581.08 cores=1,3,5,7
/proc/7984/task/7987/stat : 7987 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 8532294 0 0 0 56992 1116 0 0 25 0 4 0 515392091 16125607936 3128063 33554432000 4194304 4650419 140733434283360 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2324.53
Current children cumulated vsize (KiB) 15747664



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+617.901 s]
/proc/loadavg: 8.00 7.99 7.93 9/184 8096
/proc/meminfo: memFree=7231224/32950928 swapFree=67111524/67111528
[pid=7984] ppid=7982 vsize=15895848 CPUtime=2466.72 cores=1,3,5,7
/proc/7984/stat : 7984 (strangenight1-m) R 7982 7984 7632 0 -1 4202496 11096964 0 0 0 245026 1646 0 0 25 0 4 0 515392090 16277348352 3158621 33554432000 4194304 4650419 140733434283360 18446744073709551615 4334219 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7984/statm: 3973962 3158621 400 112 0 3968927 0
[pid=7984/tid=7985] ppid=7982 vsize=15895848 CPUtime=617.04 cores=1,3,5,7
/proc/7984/task/7985/stat : 7985 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 912901 0 0 0 61513 191 0 0 25 0 4 0 515392091 16277348352 3158621 33554432000 4194304 4650419 140733434283360 18446744073709551615 4315470 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7984/tid=7986] ppid=7982 vsize=15895848 CPUtime=615.17 cores=1,3,5,7
/proc/7984/task/7986/stat : 7986 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 760955 0 0 0 61353 164 0 0 25 0 4 0 515392091 16277348352 3158621 33554432000 4194304 4650419 140733434283360 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7984/tid=7987] ppid=7982 vsize=15895848 CPUtime=616.69 cores=1,3,5,7
/proc/7984/task/7987/stat : 7987 (strangenight1-m) R 7982 7984 7632 0 -1 4202560 8595958 0 0 0 60537 1132 0 0 25 0 4 0 515392091 16277348352 3158621 33554432000 4194304 4650419 140733434283360 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2466.72
Current children cumulated vsize (KiB) 15895848

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

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

[startup+618.207 s]
/proc/loadavg: 8.00 7.99 7.93 6/183 8098
/proc/meminfo: memFree=11806024/32950928 swapFree=67111524/67111528
[pid=7984] ppid=7982 vsize=0 CPUtime=2467.03 cores=1,3,5,7
/proc/7984/stat : 7984 (strangenight1-m) Z 7982 7984 7632 0 -1 4203548 11096983 0 0 0 245028 1675 0 0 25 0 2 0 515392090 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7984/statm: 0 0 0 0 0 0 0
[pid=7984/tid=7986] ppid=7982 vsize=0 CPUtime=615.48 cores=1,3,5,7
/proc/7984/task/7986/stat : 7986 (strangenight1-m) R 7982 7984 7632 0 -1 4203588 760958 0 0 0 61354 194 0 0 25 0 2 0 515392091 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) 2467.03
Current children cumulated vsize (KiB) 0

[startup+618.401 s]
/proc/loadavg: 8.00 7.99 7.93 6/183 8098
/proc/meminfo: memFree=11806024/32950928 swapFree=67111524/67111528
[pid=7984] ppid=7982 vsize=0 CPUtime=2467.23 cores=1,3,5,7
/proc/7984/stat : 7984 (strangenight1-m) Z 7982 7984 7632 0 -1 4203548 11096983 0 0 0 245028 1695 0 0 25 0 2 0 515392090 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7984/statm: 0 0 0 0 0 0 0
[pid=7984/tid=7986] ppid=7982 vsize=0 CPUtime=615.67 cores=1,3,5,7
/proc/7984/task/7986/stat : 7986 (strangenight1-m) R 7982 7984 7632 0 -1 4203588 760958 0 0 0 61354 213 0 0 25 0 2 0 515392091 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) 2467.23
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 618.431
CPU time (s): 2467.27
CPU user time (s): 2450.29
CPU system time (s): 16.9824
CPU usage (%): 398.956
Max. virtual memory (cumulated for all children) (KiB): 15895848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2450.29
system time used= 16.9824
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11096983
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= 10497
involuntary context switches= 17868

runsolver used 0.960853 second user time and 2.38564 second system time

The end

Launcher Data 

Begin job on node126 at 2011-04-29 02:45:34
IDJOB=3285150
IDBENCH=82372
IDSOLVER=1588
FILE ID=node126/3285150-1304037934
RUNJOBID= node126-1304036472-7651
PBS_JOBID= 13170358
Free space on /tmp= 71560 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3285150-1304037934/watcher-3285150-1304037934 -o /tmp/evaluation-result-3285150-1304037934/solver-3285150-1304037934 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3285150-1304037934.cnf

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

MD5SUM BENCH= c4319228342e10028de028a9b67c3404
RANDOM SEED=750021315

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      14359244 kB
Buffers:       1836236 kB
Cached:       13752804 kB
SwapCached:          0 kB
Active:        6758344 kB
Inactive:     11245548 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      14359244 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           17912 kB
Writeback:           4 kB
AnonPages:     2414784 kB
Mapped:          15540 kB
Slab:           517524 kB
PageTables:       9980 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  2860584 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= 71568 MiB
End job on node126 at 2011-04-29 02:55:54