Trace number 3369641

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.21 1202.63

General information on the benchmark

NameAPPLICATIONS/bitverif/
maxxororand/maxxororand064.cnf
MD5SUM49dbd2fb16b3d5ce554d30c48729a56d
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 variables92464
Number of clauses276623
Sum of the clauses size645451
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2184414
Number of clauses of size 392207
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.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-3369641-1305389868.cnf'
0.00/0.01	c -- header says num vars:          92464
0.00/0.01	c -- header says num clauses:      276623
0.35/1.13	c -- clauses added:            0 learnts,       276623 normals,            0 xors
0.35/1.13	c -- vars added      92464
0.35/1.13	c Parsing time:  0.42 s
0.35/1.13	c  N st     0         0     92464     92207    184414         0    645449         0   no data   no data  --
0.35/1.13	c asymm  cl-useful: 0/15665/92198 lits-rem:0 time: 1.43
33.41/8.41	c Flit:    71 Blit:    123 bXBeca:    0 bXProp:  501 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 31.29
33.41/8.41	c Cleaning up after failed var search:     0.00 s 
33.41/8.44	c Replacing      501 vars Replaced     7176 lits Time:     0.11 s 
33.41/8.49	c bin-w-bin subsume rem            2 bins  time:  0.06 s
33.81/8.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.14 s
39.39/9.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  90196 time:  5.56 s
39.79/10.02	c Removed useless bin:     189  fixed:     0  props:  20.01M  time:  0.41 s
41.38/10.48	c lits-rem:         0  cl-subs:      572  v-elim:  30586  v-fix:    0  time:  1.76 s
41.78/10.50	c Finding binary XORs  T:     0.07 s  found:      71
41.78/10.51	c Replacing       71 vars Replaced     1015 lits Time:     0.07 s 
41.78/10.58	c Finding non-binary XORs:     0.19 s (found:    3248, avg size: 3.0)
41.78/10.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
41.78/10.60	c Calc default polars -  time:   0.04 s pos:    1056 undec:   36655 neg:   54753
41.78/10.60	c =========================================================================================
41.78/10.60	c types(t): F = full restart, N = normal restart
41.78/10.60	c types(t): S = simplification begin/end, E = solution found
41.78/10.60	c restart types(rt): st = static, dy = dynamic
41.78/10.60	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
41.78/10.60	c  B st     0         0     61102     90516    107622         0    613927         0   no data   no data  --
47.39/11.92	c  N dy    16      4054     61102     90516    107764      3859    613927    111241     10.72     16.49  --
52.95/13.38	c  N dy    38      8072     61102     90516    109069      7605    613927    202062     10.02     11.09  --
60.15/15.19	c  N dy    66     12578     61102     90516    109306     11777    613927    332484     10.64     12.21  --
61.74/15.52	c Finding binary XORs  T:     0.07 s  found:     375
66.52/16.79	c  N dy    87     16630     61102     90516    110843     15663    613927    433423     10.47     11.36  --
75.31/18.96	c  N dy   112     20873     61102     90516    111629     10307    613927     71657     11.45     12.06  --
82.92/20.81	c  N dy   136     24961     61102     90516    112436     14228    613927    202597     11.66     12.33  --
82.92/20.83	c  F st   137     25000     61102     90516    112436     14267    613927    204581     11.70   no data  --
82.92/20.86	c Replacing      375 vars Replaced    11116 lits Time:     0.10 s 
91.30/22.95	c  N dy   143     30000     60727     90150    111789     18845    612829    413417     11.70   no data  --
91.30/22.96	c  S st   143     30000     60727     90150    111789     18845    612829    413417     11.70   no data  --
92.47/23.26	c  S st   143     30505     60727     90150    111845     19293    612829    427351     11.70   no data  --
92.47/23.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
130.39/32.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  436 Bins:   1059 BRemL:      2 BRemN:      0 P: 200.0M T: 37.34
130.39/32.74	c Replacing      436 vars Replaced    15230 lits Time:     0.10 s 
130.81/32.83	c bin-w-bin subsume rem          835 bins  time:  0.06 s
131.20/32.92	c subs with bin:     2214  lits-rem:      1087  v-fix:    0  time:  0.37 s
131.57/33.05	c Subs w/ non-existent bins:    103 l-rem:   4884 v-fix:     0 done:   4375 time:  0.50 s
131.97/33.19	c Removed useless bin:      74  fixed:     0  props:  20.00M  time:  0.56 s
138.76/34.84	c lits-rem:      3171  cl-subs:    13457  v-elim:  36721  v-fix:    0  time:  6.49 s
139.98/35.16	c asymm  cl-useful: 2141/16713/83119 lits-rem:2242 time: 1.26
140.36/35.23	c calculated reachability. Time: 0.26
140.36/35.23	c  N dy   143     30505     23570     83116     39895      7089    507545     51666     11.70   no data  --
141.16/35.42	c Finding binary XORs  T:     0.75 s  found:      21
146.34/36.76	c  N dy   159     34513     23568     83116     40603     10946    507545    251885     11.56     13.17  --
150.73/37.88	c  N dy   182     38629     23568     83116     40722     14862    507543    387285     11.71     12.40  --
155.52/39.02	c  N dy   207     43076     23568     83116     40899     19048    507542    538842     11.86     13.42  --
158.71/39.84	c  S st   222     45757     23568     83116     41270     21644    507542    612015     11.82      7.42  --
159.51/40.05	c  S st   222     46260     23568     83116     41331     22085    507542    620547     11.82   no data  --
159.51/40.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
159.51/40.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.06
184.65/46.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  308 Bins:   4285 BRemL:     22 BRemN:      2 P: 98.7M T: 24.85
184.65/46.35	c Replacing      331 vars Replaced    11513 lits Time:     0.14 s 
185.05/46.43	c bin-w-bin subsume rem           69 bins  time:  0.04 s
185.86/46.65	c subs with bin:     2105  lits-rem:      1967  v-fix:    0  time:  0.87 s
185.86/46.69	c Subs w/ non-existent bins:    296 l-rem:   2123 v-fix:     0 done:   3403 time:  0.16 s
186.26/46.72	c Removed useless bin:      89  fixed:     0  props:   2.55M  time:  0.13 s
192.26/48.25	c lits-rem:      3934  cl-subs:     4255  v-elim:    356  v-fix:    0  time:  6.10 s
192.67/48.33	c vivif2 --  cl tried    80634 cl shrink     5087 lits rem       5288 time: 0.31
192.67/48.40	c vivif2 --  cl tried    17430 cl shrink     3521 lits rem      28715 time: 0.25
194.24/48.77	c asymm  cl-useful: 37/4765/79932 lits-rem:111 time: 1.51
194.64/48.82	c calculated reachability. Time: 0.14
194.64/48.82	c  N dy   222     46260     22881     79895     45154     17356    495887    302596     11.82   no data  --
195.04/48.92	c Finding binary XORs  T:     0.40 s  found:       1
200.22/50.28	c  N dy   239     50291     22879     79895     46795     21230    495887    563577     11.71     12.72  --
204.62/51.39	c  N dy   254     54413     22879     79895     46851     25235    495887    778282     11.61     12.31  --
212.20/53.25	c  N dy   273     61100     22879     79895     47448     17638    495883    276252     11.48     12.18  --
212.60/53.35	c Finding binary XORs  T:     0.38 s  found:     665
212.60/53.38	c Replacing      668 vars Replaced    19651 lits Time:     0.10 s 
216.99/54.45	c  N dy   297     65134     22210     78645     46458     20482    491033    394314     11.61     13.90  --
221.38/55.58	c  N dy   325     69306     22209     78645     46548     24550    491032    565244     11.90     14.31  --
221.78/55.61	c  S st   326     69390     22209     78645     46549     24633    491032    568171     11.92   no data  --
222.58/55.86	c  S st   326     69891     22209     78645     46622     25059    491032    579161     11.92   no data  --
222.58/55.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
222.58/55.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.07
248.52/62.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  109 Bins:   1458 BRemL:    377 BRemN:      3 P: 97.3M T: 25.74
248.92/62.40	c Replacing      110 vars Replaced     3944 lits Time:     0.12 s 
248.92/62.46	c bin-w-bin subsume rem          203 bins  time:  0.04 s
250.12/62.71	c subs with bin:     1679  lits-rem:      3007  v-fix:    0  time:  0.98 s
250.12/62.76	c Subs w/ non-existent bins:    174 l-rem:   1513 v-fix:     0 done:   2323 time:  0.18 s
250.12/62.79	c Removed useless bin:    1152  fixed:     0  props:   1.93M  time:  0.12 s
260.50/65.36	c lits-rem:      3168  cl-subs:     1751  v-elim:    178  v-fix:    0  time: 10.25 s
260.90/65.44	c vivif2 --  cl tried    76883 cl shrink       94 lits rem        110 time: 0.33
261.30/65.53	c vivif2 --  cl tried    23004 cl shrink     4757 lits rem      42053 time: 0.36
262.93/65.93	c asymm  cl-useful: 316/3441/76842 lits-rem:948 time: 1.59
262.93/65.97	c calculated reachability. Time: 0.16
262.93/65.97	c  N dy   326     69891     21921     76526     46350     23000    483623    454106     11.92   no data  --
268.08/67.25	c Finding binary XORs  T:     0.42 s  found:     149
270.88/67.90	c  N dy   334     75034     21921     76526     46445     28006    483622   1031520     11.73     12.39  --
272.47/68.32	c Finding binary XORs  T:     0.40 s  found:     316
272.47/68.36	c Replacing      465 vars Replaced    15606 lits Time:     0.15 s 
281.26/70.58	c  N dy   352     81140     21455     75711     54382     17001    480000    275279     11.66     12.35  --
287.24/72.04	c  N dy   378     86337     21452     75711     54769     22004    479998    508582     11.72     17.59  --
288.86/72.47	c  F st   389     87500     21452     75711     54960     23147    479995    598858     11.82     11.05  --
288.86/72.50	c Replacing        3 vars Replaced       77 lits Time:     0.07 s 
296.43/74.31	c  N dy   395     92692     21449     75697     54967     28040    479918   1280606     11.82   no data  --
303.61/76.15	c  N dy   436     98641     21449     75697     55224     33869    479918   1555459     12.04     24.57  --
307.60/77.15	c Finding binary XORs  T:     0.41 s  found:     415
308.00/77.21	c Replacing      415 vars Replaced    19250 lits Time:     0.22 s 
312.38/78.31	c  S st   478    104836     21034     74772     54695     20178    476535    284032     12.23     12.07  --
313.18/78.53	c  S st   478    105337     21034     74772     54730     20642    476535    309464     12.23   no data  --
313.18/78.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
313.18/78.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.07
341.14/85.51	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:   30 Bins:    449 BRemL:   3714 BRemN:      0 P: 99.9M T: 27.63
341.14/85.54	c Replacing       30 vars Replaced     1114 lits Time:     0.11 s 
341.14/85.58	c bin-w-bin subsume rem          235 bins  time:  0.04 s
341.96/85.73	c subs with bin:     1665  lits-rem:       722  v-fix:    0  time:  0.58 s
342.32/85.83	c Subs w/ non-existent bins:    632 l-rem:    890 v-fix:     0 done:   8348 time:  0.39 s
342.32/85.85	c Removed useless bin:     130  fixed:     0  props:   1.44M  time:  0.10 s
347.11/87.01	c lits-rem:      1056  cl-subs:      700  v-elim:    260  v-fix:    0  time:  4.62 s
347.51/87.10	c vivif2 --  cl tried    73034 cl shrink       23 lits rem         23 time: 0.35
347.51/87.14	c vivif2 --  cl tried    19408 cl shrink     1002 lits rem       8695 time: 0.16
349.11/87.52	c asymm  cl-useful: 173/2550/73031 lits-rem:519 time: 1.52
349.11/87.57	c calculated reachability. Time: 0.16
349.11/87.57	c  N dy   478    105337     20743     72858     50705     19394    471030    267176     12.23   no data  --
361.09/90.52	c  N dy   507    112309     20742     72858     51827     26267    471028   1239923     12.22     12.99  --
363.91/91.30	c Finding binary XORs  T:     0.46 s  found:     474
364.28/91.36	c Replacing      475 vars Replaced    20710 lits Time:     0.25 s 
372.29/93.36	c  N dy   541    119629     20264     71942     51108     32963    467192   2055655     12.26     14.59  --
382.24/95.84	c  N dy   579    127277     20264     71942     52662     40497    467191   2567586     12.42     14.66  --
385.46/96.62	c Finding binary XORs  T:     0.41 s  found:     381
385.46/96.68	c Replacing      383 vars Replaced    17745 lits Time:     0.26 s 
395.01/99.04	c  N dy   628    135561     19879     71015     52049     27344    463862    845705     12.65     13.95  --
408.59/102.42	c  N dy   702    144309     19879     71015     52252     35976    463858   1715082     13.22     22.10  --
417.37/104.60	c  N dy   717    153622     19878     71015     52376     45140    463856   2277362     13.12     14.31  --
423.36/106.18	c  S st   739    158006     19877     71015     52512     26798    463855    639759     13.12   no data  --
424.56/106.41	c  S st   739    158509     19877     71015     52540     27267    463855    652253     13.12   no data  --
424.56/106.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
424.56/106.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.08
458.89/115.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  258 Bins:    701 BRemL:    358 BRemN:      1 P: 104.5M T: 34.42
459.29/115.12	c Replacing      261 vars Replaced    11623 lits Time:     0.14 s 
459.29/115.18	c bin-w-bin subsume rem          246 bins  time:  0.04 s
461.67/115.70	c subs with bin:      922  lits-rem:       997  v-fix:    0  time:  2.06 s
461.67/115.74	c Subs w/ non-existent bins:     78 l-rem:    947 v-fix:     0 done:   2718 time:  0.16 s
461.67/115.76	c Removed useless bin:      33  fixed:     0  props:   1.12M  time:  0.08 s
476.05/119.33	c lits-rem:      3694  cl-subs:     1354  v-elim:    174  v-fix:    0  time: 14.23 s
476.45/119.42	c vivif2 --  cl tried    69630 cl shrink       49 lits rem         59 time: 0.38
476.85/119.50	c vivif2 --  cl tried    25410 cl shrink     2298 lits rem      34586 time: 0.30
478.44/119.93	c asymm  cl-useful: 211/2889/69625 lits-rem:633 time: 1.71
478.44/119.98	c calculated reachability. Time: 0.16
478.44/119.98	c  N dy   739    158509     19442     69414     51810     25393    458941    529370     13.12   no data  --
478.84/120.09	c Finding binary XORs  T:     0.46 s  found:     134
490.84/123.10	c Finding binary XORs  T:     0.45 s  found:     559
491.25/123.16	c Replacing      696 vars Replaced    34224 lits Time:     0.27 s 
495.23/124.14	c  N dy   783    168653     18741     68137     54545     34465    453514   1602244     13.14     13.97  --
508.81/127.54	c  N dy   830    179850     18741     68137     54887     45475    453508   2370832     13.15     14.28  --
523.55/131.21	c  N dy   852    191387     18741     68137     55111     33366    453506   1232000     12.99     13.96  --
539.14/135.15	c  N dy   917    203858     18740     68137     55395     45650    453493   2049312     13.10     14.90  --
539.91/135.33	c Finding binary XORs  T:     0.45 s  found:     399
540.31/135.41	c Replacing      400 vars Replaced    42651 lits Time:     0.36 s 
557.48/139.70	c  N dy   966    217595     18340     67291     55174     33894    450399    998389     13.08     13.80  --
574.68/144.03	c  N dy  1038    231884     18339     67291     55359     47982    450389   1806859     13.22     14.14  --
582.64/146.06	c  S st  1072    237763     18339     67291     55413     27715    450386    506614     13.33      8.66  --
583.82/146.39	c Finding binary XORs  T:     0.45 s  found:     192
584.22/146.41	c Replacing      192 vars Replaced     9714 lits Time:     0.10 s 
584.22/146.44	c  S st  1072    238265     18147     66866     55058     27772    448853    539275     13.33   no data  --
584.22/146.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
584.22/146.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.08
618.59/155.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    9 Bins:   1064 BRemL:    656 BRemN:      0 P: 103.7M T: 34.26
618.59/155.09	c Replacing        9 vars Replaced      529 lits Time:     0.07 s 
618.95/155.14	c bin-w-bin subsume rem          553 bins  time:  0.04 s
620.55/155.54	c subs with bin:      658  lits-rem:      2664  v-fix:    0  time:  1.58 s
620.55/155.58	c Subs w/ non-existent bins:     12 l-rem:    816 v-fix:     0 done:   2778 time:  0.16 s
620.55/155.60	c Removed useless bin:      22  fixed:     0  props:   0.97M  time:  0.07 s
633.33/158.79	c lits-rem:      1755  cl-subs:     1582  v-elim:    151  v-fix:    0  time: 12.74 s
633.73/158.89	c vivif2 --  cl tried    66283 cl shrink       31 lits rem         46 time: 0.42
634.13/158.96	c vivif2 --  cl tried    26126 cl shrink     2038 lits rem      15906 time: 0.28
635.74/159.38	c asymm  cl-useful: 69/2370/66276 lits-rem:207 time: 1.67
636.15/159.43	c calculated reachability. Time: 0.15
636.15/159.43	c  N dy  1072    238265     17987     66207     53994     26105    446240    439931     13.33   no data  --
636.52/159.54	c Finding binary XORs  T:     0.46 s  found:      52
655.28/164.29	c Finding binary XORs  T:     0.45 s  found:     180
655.68/164.35	c Replacing      233 vars Replaced    17752 lits Time:     0.21 s 
662.49/166.03	c  N dy  1096    253822     17752     65846     57408     40949    444654   1806619     13.10     13.80  --
693.60/173.88	c  N dy  1161    270638     17750     65846     57631     30678    444651   1018002     13.08     13.77  --
724.73/181.63	c  N dy  1241    288008     17749     65846     57723     47800    444648   3552657     13.14     13.87  --
751.48/188.38	c Finding binary XORs  T:     0.45 s  found:      99
753.08/188.73	c  F st  1330    306251     17745     65836     57743     38712    444398   1259600     13.27   no data  --
753.08/188.78	c Replacing      105 vars Replaced    14113 lits Time:     0.21 s 
753.48/188.87	c  N st  1331    306503     17640     65650     57546     38801    443665   1272596     13.27   no data  --
780.65/195.70	c Finding binary XORs  T:     0.48 s  found:      71
782.62/196.19	c  N dy  1431    326205     17640     65650     58980     58217    443661   3156264     13.55     14.32  --
813.35/203.86	c  N dy  1531    346238     17635     65650     59135     50337    443657   2262360     13.76     16.42  --
830.13/208.00	c  S st  1617    357402     17632     65650     59267     61312    443655   3043708     14.06   no data  --
831.32/208.34	c  S st  1617    357904     17632     65650     59293     61786    443655   3104724     14.06   no data  --
831.32/208.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
831.32/208.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.07
868.46/217.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   60 Bins:   1034 BRemL:    556 BRemN:      0 P: 126.0M T: 37.18
869.24/217.80	c Replacing      134 vars Replaced    17956 lits Time:     0.38 s 
869.64/217.99	c bin-w-bin subsume rem          358 bins  time:  0.04 s
876.03/219.54	c subs with bin:       62  lits-rem:      3464  v-fix:    0  time:  6.18 s
876.03/219.58	c Subs w/ non-existent bins:     16 l-rem:   1865 v-fix:     0 done:   4166 time:  0.16 s
876.43/219.60	c Removed useless bin:      29  fixed:     0  props:   0.83M  time:  0.07 s
901.57/225.98	c lits-rem:        65  cl-subs:     5453  v-elim:     41  v-fix:    0  time: 25.43 s
901.97/226.08	c vivif2 --  cl tried    65197 cl shrink      100 lits rem        228 time: 0.42
903.59/226.44	c vivif2 --  cl tried    54954 cl shrink    15697 lits rem     315424 time: 1.40
905.16/226.85	c asymm  cl-useful: 31/1221/65174 lits-rem:93 time: 1.64
905.16/226.89	c calculated reachability. Time: 0.15
905.16/226.90	c  N dy  1617    357904     17457     65143     58771     54920    440418   2185873     14.06   no data  --
905.96/227.01	c Finding binary XORs  T:     0.48 s  found:      25
943.88/236.54	c  N dy  1675    378257     17454     65143     59913     47791    440417   3194914     13.94     14.93  --
949.87/238.05	c Finding binary XORs  T:     0.48 s  found:      70
988.20/247.64	c  N dy  1787    398400     17451     65129     60018     67505    440209   6614889     14.08     15.06  --
1019.33/255.41	c  N dy  1911    418435     17447     65129     60211     57657    440205   2880840     14.31     43.92  --
1052.07/263.60	c Finding binary XORs  T:     0.47 s  found:      24
1052.47/263.75	c  N dy  2065    438478     17446     65100     60220     47026    439911   1402476     14.88     15.82  --
1084.04/271.68	c  N dy  2209    458576     17445     65100     60335     66896    439907   3611330     15.34     47.92  --
1116.74/279.84	c  N dy  2343    478927     17443     65100     60459     55385    439905   2087461     15.69     17.13  --
1154.66/289.36	c  N dy  2521    499303     17442     65100     60600     75556    439900   4727404     16.41     17.46  --
1170.23/293.22	c Finding binary XORs  T:     0.48 s  found:      32
1185.40/297.07	c  N dy  2648    519362     17442     65063     60659     62803    439596   2685778     16.79     31.38  --
1217.34/305.01	c  S st  2769    536858     17442     65063     60781     80098    439595   4933709     17.25   no data  --
1218.53/305.31	c  S st  2769    537359     17442     65063     60788     80592    439595   4976025     17.25   no data  --
1218.53/305.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     22 locsubst:     0 time:   0.10
1218.53/305.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.08
1257.65/315.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   11 Bins:   1545 BRemL:   6461 BRemN:      0 P: 141.1M T: 39.13
1258.45/315.37	c Replacing      164 vars Replaced    59135 lits Time:     0.82 s 
1259.67/315.66	c bin-w-bin subsume rem          341 bins  time:  0.04 s
1266.04/317.25	c subs with bin:       35  lits-rem:        45  v-fix:    0  time:  6.34 s
1266.04/317.29	c Subs w/ non-existent bins:      6 l-rem:   1991 v-fix:     0 done:    426 time:  0.14 s
1266.44/317.31	c Removed useless bin:       6  fixed:     0  props:   0.80M  time:  0.07 s
1424.51/356.91	c lits-rem:       391  cl-subs:     3307  v-elim:     31  v-fix:    0  time: 157.84 s
1424.91/357.02	c vivif2 --  cl tried    64760 cl shrink       74 lits rem        146 time: 0.45
1427.30/357.65	c vivif2 --  cl tried    77027 cl shrink    23058 lits rem     601978 time: 2.50
1429.30/358.10	c asymm  cl-useful: 4/1098/64755 lits-rem:12 time: 1.79
1429.30/358.15	c calculated reachability. Time: 0.16
1429.30/358.15	c  N dy  2769    537359     17226     64751     55018     76952    437640   4110468     17.25   no data  --
1429.70/358.27	c Finding binary XORs  T:     0.50 s  found:       7
1470.04/368.34	c Finding binary XORs  T:     0.49 s  found:      23
1478.41/370.42	c  N dy  2826    557382     17221     64707     59526     62158    437191   4919977     17.12     18.23  --
1537.08/385.11	c  N dy  2936    577491     17218     64707     59598     81788    437191   8789301     17.15     18.44  --
1567.06/392.66	c Finding binary XORs  T:     0.50 s  found:      19
1577.40/395.21	c  N dy  3055    597611     17212     64699     60989     66960    437135   2594018     17.28     18.26  --
1611.73/403.82	c  N dy  3201    617638     17211     64699     61097     86782    437134   4509656     17.60     42.65  --
1643.27/411.79	c  N dy  3325    637706     17207     64699     61159     71866    437134   2575133     17.83     30.39  --
1667.64/417.89	c Finding binary XORs  T:     0.51 s  found:      20
1678.40/420.57	c  N dy  3460    657757     17206     64657     64089     90463    436819   4461542     18.09     27.76  --
1709.14/428.27	c  N dy  3604    677883     17204     64657     64187     75433    436819   2764141     18.28     19.25  --
1745.06/437.29	c  N dy  3768    697884     17203     64657     64288     95195    436818   4838403     18.65     25.18  --
1775.80/444.90	c  N dy  3896    717981     17202     64657     64360     77889    436818   2595953     18.82     19.81  --
1812.13/454.05	c  N dy  4054    738714     17202     64657     64471     98398    436818   4692216     19.12     20.18  --
1822.10/456.59	c Finding binary XORs  T:     0.49 s  found:      15
1846.06/462.57	c  N dy  4201    758754     17201     64647     64531     79627    436749   2579859     19.41     31.80  --
1879.98/471.09	c  N dy  4350    778804     17194     64647     64624     99531    436748   4695753     19.75     27.79  --
1916.31/480.14	c  N dy  4480    799092     17194     64647     64709     80160    436748   2633875     19.94     21.22  --
1927.48/482.91	c  S st  4530    806038     17194     64647     64745     87044    436748   3377002     20.01      8.40  --
1928.69/483.26	c  S st  4530    806539     17194     64647     64749     87539    436748   3442980     20.01   no data  --
1928.69/483.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     22 locsubst:     0 time:   0.10
1929.09/483.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.08
1967.80/493.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   14 Bins:   2643 BRemL:   3391 BRemN:      0 P: 157.7M T: 38.81
1968.60/493.21	c Replacing      103 vars Replaced    57433 lits Time:     0.69 s 
1969.40/493.40	c bin-w-bin subsume rem          552 bins  time:  0.05 s
1975.79/495.05	c subs with bin:      189  lits-rem:      7962  v-fix:    0  time:  6.58 s
1975.79/495.09	c Subs w/ non-existent bins:      7 l-rem:   1433 v-fix:     0 done:    141 time:  0.14 s
1976.19/495.11	c Removed useless bin:      44  fixed:     0  props:   0.78M  time:  0.07 s
2004.54/502.29	c lits-rem:        48  cl-subs:     3647  v-elim:     33  v-fix:    0  time: 28.64 s
2005.33/502.41	c vivif2 --  cl tried    64314 cl shrink       73 lits rem        134 time: 0.48
2007.32/502.92	c vivif2 --  cl tried    83446 cl shrink    19579 lits rem     308046 time: 2.05
2008.93/503.35	c asymm  cl-useful: 4/1317/64307 lits-rem:12 time: 1.72
2009.33/503.40	c calculated reachability. Time: 0.16
2009.33/503.40	c  N dy  4530    806539     17038     64303     62995     83275    434115   2724505     20.01   no data  --
2009.73/503.54	c Finding binary XORs  T:     0.52 s  found:       8
2064.81/517.31	c  N dy  4588    826587     17037     64303     63237    103193    434114   9422779     19.90     24.36  --
2124.32/532.21	c  N dy  4677    847447     17034     64303     63343     81245    434114   4597416     19.86     22.71  --
2182.57/546.80	c  N dy  4758    867556     17031     64303     63452    100885    434114   8249814     19.82     21.90  --
2185.37/547.53	c Finding binary XORs  T:     0.52 s  found:       5
2240.85/561.49	c  N dy  4846    887661     17028     64295     63477     78784    434057   2510376     19.80     21.97  --
2276.38/570.40	c  N dy  4943    907735     17027     64295     63615     98594    434056   4467387     19.86     41.92  --
2313.90/579.70	c  N dy  5083    927882     17025     64295     63681     76456    434055   1732849     20.06     21.73  --
2349.04/588.54	c  N dy  5222    947902     17024     64295     63774     96312    434055   4079257     20.26     37.66  --
2373.79/594.75	c Finding binary XORs  T:     0.52 s  found:      14
2388.95/598.56	c  N dy  5388    967954     17023     64245     63731    114798    433719   6403852     20.62     49.41  --
2424.08/607.32	c  N dy  5514    988048     17022     64245     63797     91680    433719   3053338     20.74     61.45  --
2462.01/616.84	c  N dy  5667   1008051     17022     64245     63880    111509    433719   5655831     21.02     64.12  --
2505.11/627.65	c  N dy  5840   1028124     17020     64245     63952     86698    433717   2425198     21.39     23.60  --
2544.64/637.58	c  N dy  5991   1048225     17020     64245     64023    106605    433717   4899748     21.64     62.03  --
2587.74/648.32	c  N dy  6152   1068290     17020     64245     64052    126476    433717   7671716     22.00     43.73  --
2594.93/650.12	c  F st  6184   1071877     17020     64245     64055     84198    433717   1806089     22.04   no data  --
2594.93/650.19	c Replacing       30 vars Replaced    11589 lits Time:     0.22 s 
2602.12/651.93	c Finding binary XORs  T:     0.59 s  found:      13
2628.87/658.62	c  N dy  6269   1088338     16990     64175     69516    100293    433284   4015190     22.14     45.70  --
2637.25/660.79	c Finding binary XORs  T:     0.60 s  found:       3
2672.78/669.67	c  N dy  6427   1108440     16990     64174     69545    120230    433277   6616814     22.43     48.09  --
2713.49/679.84	c  N dy  6564   1128588     16990     64174     69571     93248    433277   2706367     22.64     23.91  --
2752.23/689.60	c  N dy  6698   1148672     16990     64174     69610    113145    433277   5209869     22.79     38.39  --
2794.52/700.13	c  N dy  6854   1168710     16990     64174     69630    133051    433277   7901171     23.06     24.48  --
2813.70/704.93	c Finding binary XORs  T:     0.55 s  found:      12
2830.85/709.24	c  N dy  6995   1188812     16988     64172     72324    105023    433263   3838971     23.20     24.72  --
2872.77/719.78	c  N dy  7150   1209169     16975     64172     72368    125153    433263   6488657     23.46     25.02  --
2874.36/720.16	c  S st  7156   1209816     16975     64172     72377    125783    433263   6548915     23.47     14.71  --
2875.95/720.54	c  S st  7156   1210316     16975     64172     72385    126274    433263   6611547     23.47   no data  --
2875.95/720.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     60 locsubst:     0 time:   0.12
2875.95/720.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.09
2923.48/732.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   23 Bins:  25425 BRemL:   3544 BRemN:    318 P: 183.8M T: 47.36
2924.65/732.76	c Replacing       59 vars Replaced    61634 lits Time:     1.17 s 
2926.25/733.13	c bin-w-bin subsume rem          719 bins  time:  0.06 s
2933.04/734.89	c subs with bin:      240  lits-rem:     26005  v-fix:    0  time:  7.05 s
2933.44/734.94	c Subs w/ non-existent bins:      5 l-rem:   1688 v-fix:     0 done:     56 time:  0.17 s
2933.44/734.95	c Removed useless bin:     108  fixed:     0  props:   0.77M  time:  0.07 s
3174.18/795.22	c lits-rem:        44  cl-subs:     3857  v-elim:     63  v-fix:    0  time: 240.05 s
3174.55/795.35	c vivif2 --  cl tried    63827 cl shrink      106 lits rem        134 time: 0.50
3178.94/796.42	c vivif2 --  cl tried   121615 cl shrink    37395 lits rem     878701 time: 4.29
3180.53/796.85	c asymm  cl-useful: 2/947/63820 lits-rem:6 time: 1.70
3180.93/796.90	c calculated reachability. Time: 0.17
3180.93/796.90	c  N dy  7156   1210316     16794     63818     92479    121430    429574   5437215     23.47   no data  --
3181.33/797.04	c Finding binary XORs  T:     0.56 s  found:       1
3235.65/810.67	c  N dy  7185   1231256     16785     63818     93284     91386    429574   3210208     23.34     25.56  --
3273.94/820.25	c Finding binary XORs  T:     0.54 s  found:      14
3287.12/823.57	c  N dy  7244   1251977     16784     63808     93346    111725    429506   8835653     23.28     25.12  --
3351.39/839.62	c  N dy  7319   1273613     16782     63808     93411    133068    429506  13835556     23.23     24.92  --
3400.09/851.87	c  N dy  7392   1293814     16782     63808     93459    102620    429506   4315987     23.19     24.90  --
3445.61/863.21	c  N dy  7514   1314014     16780     63808     93504    122627    429506   7880162     23.28     25.07  --
3491.10/874.61	c  N dy  7612   1334713     16779     63808     93568     91590    429506   2074875     23.36     24.78  --
3530.62/884.52	c  N dy  7722   1354804     16778     63808     93629    111509    429506   5767966     23.45     24.87  --
3574.93/895.63	c  N dy  7821   1374860     16778     63808     93669    131357    429506   9364397     23.49     30.93  --
3618.84/906.63	c  N dy  7933   1394917     16777     63808     93701     98958    429506   2930291     23.58     28.68  --
3661.18/917.26	c  N dy  8008   1415705     16777     63808     93745    119537    429506   6798540     23.58     24.99  --
3709.06/929.29	c  N dy  8143   1436574     16777     63808     93814    140249    429506  10453219     23.74     25.24  --
3752.18/940.01	c  N dy  8269   1456682     16777     63808     93844    107176    429506   3738271     23.85     25.27  --
3795.68/950.93	c  N dy  8393   1476955     16777     63808     93920    127232    429506   6671055     23.95     25.29  --
3837.23/961.31	c  N dy  8496   1497053     16777     63808     93971    147148    429506   9708229     24.01     50.24  --
3872.36/970.13	c Finding binary XORs  T:     0.54 s  found:      31
3885.89/973.58	c  N dy  8585   1518702     16777     63750     95270    114353    429198   5548180     24.04     25.66  --
3932.60/985.28	c  N dy  8709   1539072     16777     63750     95311    134558    429198   8819160     24.14     26.19  --
3985.70/998.53	c  N dy  8845   1559119     16777     63750     95337    154400    429198  11659696     24.28     31.94  --
4030.80/1009.90	c  N dy  8954   1579121     16775     63750     95360    118784    429198   4811165     24.34     40.16  --
4048.00/1014.15	c Finding binary XORs  T:     0.57 s  found:       5
4077.90/1021.66	c  N dy  9069   1599377     16771     63691     97740    138256    428877   7630912     24.44     26.55  --
4129.40/1034.51	c  N dy  9146   1619604     16770     63691     97780    102088    428877   2308891     24.50     26.02  --
4171.71/1045.13	c  N dy  9241   1639612     16766     63691     97799    121947    428877   5642624     24.54     30.20  --
4220.01/1057.22	c  N dy  9360   1659631     16766     63691     97827    141783    428877   9170514     24.68     59.16  --
4271.12/1070.07	c  N dy  9478   1679698     16764     63691     97854    104078    428877   2230349     24.77     26.90  --
4311.05/1080.08	c  N dy  9571   1699796     16762     63691     97887    124009    428877   5320744     24.78     35.43  --
4335.78/1086.22	c  S st  9628   1710318     16762     63691     97892    134448    428876   6988391     24.82   no data  --
4336.99/1086.56	c  S st  9628   1710821     16762     63691     97893    134950    428876   7064815     24.82   no data  --
4336.99/1086.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    104 locsubst:     0 time:   0.14
4337.41/1086.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.08
4382.09/1097.87	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:   19 Bins:   1425 BRemL:    242 BRemN:      0 P: 192.1M T: 44.89
4383.28/1098.19	c Replacing       81 vars Replaced    81910 lits Time:     1.25 s 
4384.89/1098.57	c bin-w-bin subsume rem         2176 bins  time:  0.07 s
4391.67/1100.22	c subs with bin:      160  lits-rem:      2498  v-fix:    0  time:  6.59 s
4391.67/1100.26	c Subs w/ non-existent bins:      5 l-rem:   1434 v-fix:     0 done:    497 time:  0.15 s
4391.67/1100.29	c Removed useless bin:       1  fixed:     0  props:   0.80M  time:  0.06 s
4718.21/1182.06	c lits-rem:        67  cl-subs:     3725  v-elim:    110  v-fix:    0  time: 325.91 s
4719.01/1182.20	c vivif2 --  cl tried    63022 cl shrink      104 lits rem        120 time: 0.54
4723.40/1183.30	c vivif2 --  cl tried   131135 cl shrink    32660 lits rem     766200 time: 4.38
4724.99/1183.77	c asymm  cl-useful: 2/705/63006 lits-rem:6 time: 1.86
4725.39/1183.83	c calculated reachability. Time: 0.18
4725.39/1183.83	c  N dy  9628   1710821     16466     63004     95960    130951    422415   6055559     24.82   no data  --
4725.79/1183.98	c Finding binary XORs  T:     0.60 s  found:       2
4784.07/1198.50	c  N dy  9655   1730844     16459     63004     97034    150875    422415  13697469     24.73     27.46  --
4799.64/1202.46	c Finding binary XORs  T:     0.56 s  found:      11

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: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3369641-1305389868/watcher-3369641-1305389868 -o /tmp/evaluation-result-3369641-1305389868/solver-3369641-1305389868 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369641-1305389868.cnf 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.89 6.24 4.51 5/253 11429
/proc/meminfo: memFree=20045492/32951124 swapFree=67056788/67111528
[pid=11429] ppid=11427 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/11429/stat : 11429 (strangenight1-m) R 11427 11429 11320 0 -1 4202496 412 0 0 0 0 0 0 0 24 0 4 0 650584698 52465664 353 33554432000 4194304 4650419 140735767489968 18446744073709551615 46963513157548 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11429/statm: 12809 353 303 112 0 7774 0
[pid=11429/tid=11430] ppid=11427 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/11429/task/11430/stat : 11430 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 650584698 52465664 358 33554432000 4194304 4650419 140735767489968 18446744073709551615 271545584726 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11429/tid=11431] ppid=11427 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/11429/task/11431/stat : 11431 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 650584698 52465664 358 33554432000 4194304 4650419 140735767489968 18446744073709551615 271545584726 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11429/tid=11432] ppid=11427 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/11429/task/11432/stat : 11432 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 650584698 52465664 358 33554432000 4194304 4650419 140735767489968 18446744073709551615 271550537659 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.106698 s]
/proc/loadavg: 7.89 6.24 4.51 5/253 11429
/proc/meminfo: memFree=20045492/32951124 swapFree=67056788/67111528
[pid=11429] ppid=11427 vsize=390984 CPUtime=0.35 cores=1,3,5,7
/proc/11429/stat : 11429 (strangenight1-m) S 11427 11429 11320 0 -1 4202496 24183 0 0 0 23 12 0 0 17 0 4 0 650584698 400367616 19842 33554432000 4194304 4650419 140735767489968 18446744073709551615 271550642670 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/11429/statm: 97746 20111 344 112 0 92711 0
[pid=11429/tid=11430] ppid=11427 vsize=390984 CPUtime=0.08 cores=1,3,5,7
/proc/11429/task/11430/stat : 11430 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 6009 0 0 0 5 3 0 0 17 0 4 0 650584698 400367616 20218 33554432000 4194304 4650419 140735767489968 18446744073709551615 271550642719 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11429/tid=11431] ppid=11427 vsize=390984 CPUtime=0.09 cores=1,3,5,7
/proc/11429/task/11431/stat : 11431 (strangenight1-m) S 11427 11429 11320 0 -1 4202560 6235 0 0 0 6 3 0 0 17 0 4 0 650584698 400367616 20355 33554432000 4194304 4650419 140735767489968 18446744073709551615 271550642670 0 0 4096 2 18446604463172180032 0 0 -1 1 0 0 0
[pid=11429/tid=11432] ppid=11427 vsize=390984 CPUtime=0.09 cores=1,3,5,7
/proc/11429/task/11432/stat : 11432 (strangenight1-m) S 11427 11429 11320 0 -1 4202560 6030 0 0 0 6 3 0 0 17 0 4 0 650584698 400367616 20494 33554432000 4194304 4650419 140735767489968 18446744073709551615 271550642670 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 390984

[startup+0.560231 s]
/proc/loadavg: 7.89 6.24 4.51 5/253 11429
/proc/meminfo: memFree=20045492/32951124 swapFree=67056788/67111528
[pid=11429] ppid=11427 vsize=452660 CPUtime=2.15 cores=1,3,5,7
/proc/11429/stat : 11429 (strangenight1-m) D 11427 11429 11320 0 -1 4202496 49811 0 0 0 192 23 0 0 18 0 4 0 650584698 463523840 40475 33554432000 4194304 4650419 140735767489968 18446744073709551615 271550580871 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/11429/statm: 113165 40475 373 112 0 108130 0
[pid=11429/tid=11430] ppid=11427 vsize=452660 CPUtime=0.53 cores=1,3,5,7
/proc/11429/task/11430/stat : 11430 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 12480 0 0 0 47 6 0 0 18 0 4 0 650584698 463523840 40475 33554432000 4194304 4650419 140735767489968 18446744073709551615 271550580871 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11429/tid=11431] ppid=11427 vsize=436244 CPUtime=1.09 cores=1,3,5,7
/proc/11429/task/11431/stat : 11431 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 12785 0 0 0 104 5 0 0 19 0 4 0 650584698 446713856 39788 33554432000 4194304 4650419 140735767489968 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11429/tid=11432] ppid=11427 vsize=436244 CPUtime=1.1 cores=1,3,5,7
/proc/11429/task/11432/stat : 11432 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 11373 0 0 0 105 5 0 0 19 0 4 0 650584698 446713856 39788 33554432000 4194304 4650419 140735767489968 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 452660

[startup+1.23835 s]
/proc/loadavg: 7.89 6.24 4.51 5/253 11429
/proc/meminfo: memFree=20045492/32951124 swapFree=67056788/67111528
[pid=11429] ppid=11427 vsize=436244 CPUtime=4.82 cores=1,3,5,7
/proc/11429/stat : 11429 (strangenight1-m) R 11427 11429 11320 0 -1 4202496 50216 0 0 0 459 23 0 0 19 0 4 0 650584698 446713856 39797 33554432000 4194304 4650419 140735767489968 18446744073709551615 4369373 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/11429/statm: 109061 39797 373 112 0 104026 0
[pid=11429/tid=11430] ppid=11427 vsize=436244 CPUtime=1.2 cores=1,3,5,7
/proc/11429/task/11430/stat : 11430 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 12661 0 0 0 114 6 0 0 19 0 4 0 650584698 446713856 39797 33554432000 4194304 4650419 140735767489968 18446744073709551615 4370872 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11429/tid=11431] ppid=11427 vsize=436244 CPUtime=1.19 cores=1,3,5,7
/proc/11429/task/11431/stat : 11431 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 12785 0 0 0 114 5 0 0 19 0 4 0 650584698 446713856 39797 33554432000 4194304 4650419 140735767489968 18446744073709551615 4243576 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11429/tid=11432] ppid=11427 vsize=436244 CPUtime=1.2 cores=1,3,5,7
/proc/11429/task/11432/stat : 11432 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 11381 0 0 0 115 5 0 0 19 0 4 0 650584698 446713856 39797 33554432000 4194304 4650419 140735767489968 18446744073709551615 4363493 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.82
Current children cumulated vsize (KiB) 436244

[startup+1.33834 s]
/proc/loadavg: 7.89 6.24 4.51 5/253 11429
/proc/meminfo: memFree=20045492/32951124 swapFree=67056788/67111528
[pid=11429] ppid=11427 vsize=436244 CPUtime=5.22 cores=1,3,5,7
/proc/11429/stat : 11429 (strangenight1-m) R 11427 11429 11320 0 -1 4202496 50220 0 0 0 499 23 0 0 19 0 4 0 650584698 446713856 39801 33554432000 4194304 4650419 140735767489968 18446744073709551615 4244814 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/11429/statm: 109061 39801 373 112 0 104026 0
[pid=11429/tid=11430] ppid=11427 vsize=436244 CPUtime=1.3 cores=1,3,5,7
/proc/11429/task/11430/stat : 11430 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 12661 0 0 0 124 6 0 0 19 0 4 0 650584698 446713856 39801 33554432000 4194304 4650419 140735767489968 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11429/tid=11431] ppid=11427 vsize=436244 CPUtime=1.29 cores=1,3,5,7
/proc/11429/task/11431/stat : 11431 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 12785 0 0 0 124 5 0 0 19 0 4 0 650584698 446713856 39801 33554432000 4194304 4650419 140735767489968 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11429/tid=11432] ppid=11427 vsize=436244 CPUtime=1.3 cores=1,3,5,7
/proc/11429/task/11432/stat : 11432 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 11385 0 0 0 125 5 0 0 19 0 4 0 650584698 446713856 39801 33554432000 4194304 4650419 140735767489968 18446744073709551615 4364944 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.22
Current children cumulated vsize (KiB) 436244

[startup+1.50031 s]
/proc/loadavg: 7.89 6.24 4.51 5/253 11429
/proc/meminfo: memFree=20045492/32951124 swapFree=67056788/67111528
[pid=11429] ppid=11427 vsize=436244 CPUtime=5.86 cores=1,3,5,7
/proc/11429/stat : 11429 (strangenight1-m) R 11427 11429 11320 0 -1 4202496 50237 0 0 0 563 23 0 0 19 0 4 0 650584698 446713856 39818 33554432000 4194304 4650419 140735767489968 18446744073709551615 4369176 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/11429/statm: 109061 39818 373 112 0 104026 0
[pid=11429/tid=11430] ppid=11427 vsize=436244 CPUtime=1.46 cores=1,3,5,7
/proc/11429/task/11430/stat : 11430 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 12661 0 0 0 140 6 0 0 19 0 4 0 650584698 446713856 39818 33554432000 4194304 4650419 140735767489968 18446744073709551615 4369176 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11429/tid=11431] ppid=11427 vsize=436244 CPUtime=1.45 cores=1,3,5,7
/proc/11429/task/11431/stat : 11431 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 12785 0 0 0 140 5 0 0 19 0 4 0 650584698 446713856 39818 33554432000 4194304 4650419 140735767489968 18446744073709551615 4369240 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11429/tid=11432] ppid=11427 vsize=436244 CPUtime=1.46 cores=1,3,5,7
/proc/11429/task/11432/stat : 11432 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 11402 0 0 0 141 5 0 0 19 0 4 0 650584698 446713856 39818 33554432000 4194304 4650419 140735767489968 18446744073709551615 4364962 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.86
Current children cumulated vsize (KiB) 436244

[startup+3.10102 s]
/proc/loadavg: 7.89 6.24 4.51 9/257 11433
/proc/meminfo: memFree=19885872/32951124 swapFree=67056788/67111528
[pid=11429] ppid=11427 vsize=436244 CPUtime=12.28 cores=1,3,5,7
/proc/11429/stat : 11429 (strangenight1-m) R 11427 11429 11320 0 -1 4202496 51483 0 0 0 1205 23 0 0 24 0 4 0 650584698 446713856 41064 33554432000 4194304 4650419 140735767489968 18446744073709551615 4369376 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/11429/statm: 109061 41064 374 112 0 104026 0
[pid=11429/tid=11430] ppid=11427 vsize=436244 CPUtime=3.07 cores=1,3,5,7
/proc/11429/task/11430/stat : 11430 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 12661 0 0 0 301 6 0 0 24 0 4 0 650584698 446713856 41065 33554432000 4194304 4650419 140735767489968 18446744073709551615 4369471 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11429/tid=11431] ppid=11427 vsize=436244 CPUtime=3.06 cores=1,3,5,7
/proc/11429/task/11431/stat : 11431 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 12785 0 0 0 301 5 0 0 24 0 4 0 650584698 446713856 41065 33554432000 4194304 4650419 140735767489968 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11429/tid=11432] ppid=11427 vsize=436244 CPUtime=3.07 cores=1,3,5,7
/proc/11429/task/11432/stat : 11432 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 12629 0 0 0 302 5 0 0 23 0 4 0 650584698 446713856 41065 33554432000 4194304 4650419 140735767489968 18446744073709551615 4363435 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.28
Current children cumulated vsize (KiB) 436244

[startup+6.30044 s]
/proc/loadavg: 7.90 6.27 4.53 9/257 11433
/proc/meminfo: memFree=19901124/32951124 swapFree=67056788/67111528
[pid=11429] ppid=11427 vsize=436244 CPUtime=25.03 cores=1,3,5,7
/proc/11429/stat : 11429 (strangenight1-m) R 11427 11429 11320 0 -1 4202496 51742 0 0 0 2480 23 0 0 25 0 4 0 650584698 446713856 41323 33554432000 4194304 4650419 140735767489968 18446744073709551615 4370329 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/11429/statm: 109061 41323 374 112 0 104026 0
[pid=11429/tid=11430] ppid=11427 vsize=436244 CPUtime=6.26 cores=1,3,5,7
/proc/11429/task/11430/stat : 11430 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 12661 0 0 0 620 6 0 0 25 0 4 0 650584698 446713856 41323 33554432000 4194304 4650419 140735767489968 18446744073709551615 4369075 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11429/tid=11431] ppid=11427 vsize=436244 CPUtime=6.25 cores=1,3,5,7
/proc/11429/task/11431/stat : 11431 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 12785 0 0 0 620 5 0 0 25 0 4 0 650584698 446713856 41323 33554432000 4194304 4650419 140735767489968 18446744073709551615 4369024 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11429/tid=11432] ppid=11427 vsize=436244 CPUtime=6.26 cores=1,3,5,7
/proc/11429/task/11432/stat : 11432 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 12881 0 0 0 621 5 0 0 25 0 4 0 650584698 446713856 41323 33554432000 4194304 4650419 140735767489968 18446744073709551615 4363299 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.03
Current children cumulated vsize (KiB) 436244

[startup+12.7003 s]
/proc/loadavg: 8.07 6.33 4.56 9/257 11433
/proc/meminfo: memFree=19761740/32951124 swapFree=67056788/67111528
[pid=11429] ppid=11427 vsize=544468 CPUtime=50.56 cores=1,3,5,7
/proc/11429/stat : 11429 (strangenight1-m) R 11427 11429 11320 0 -1 4202496 90570 0 0 0 5023 33 0 0 21 0 4 0 650584698 557535232 75732 33554432000 4194304 4650419 140735767489968 18446744073709551615 4364604 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/11429/statm: 136117 75732 395 112 0 131082 0
[pid=11429/tid=11430] ppid=11427 vsize=544468 CPUtime=12.66 cores=1,3,5,7
/proc/11429/task/11430/stat : 11430 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 26083 0 0 0 1257 9 0 0 22 0 4 0 650584698 557535232 75732 33554432000 4194304 4650419 140735767489968 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11429/tid=11431] ppid=11427 vsize=544468 CPUtime=12.66 cores=1,3,5,7
/proc/11429/task/11431/stat : 11431 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 25018 0 0 0 1258 8 0 0 25 0 4 0 650584698 557535232 75732 33554432000 4194304 4650419 140735767489968 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11429/tid=11432] ppid=11427 vsize=544468 CPUtime=12.65 cores=1,3,5,7
/proc/11429/task/11432/stat : 11432 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 14788 0 0 0 1259 6 0 0 25 0 4 0 650584698 557535232 75732 33554432000 4194304 4650419 140735767489968 18446744073709551615 4310809 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.56
Current children cumulated vsize (KiB) 544468

[startup+25.5009 s]
/proc/loadavg: 8.20 6.44 4.62 9/257 11434
/proc/meminfo: memFree=19738176/32951124 swapFree=67056788/67111528
[pid=11429] ppid=11427 vsize=624756 CPUtime=101.65 cores=1,3,5,7
/proc/11429/stat : 11429 (strangenight1-m) R 11427 11429 11320 0 -1 4202496 151604 0 0 0 10122 43 0 0 25 0 4 0 650584698 639750144 86236 33554432000 4194304 4650419 140735767489968 18446744073709551615 4245015 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11429/statm: 156189 86236 395 112 0 151154 0
[pid=11429/tid=11430] ppid=11427 vsize=624756 CPUtime=25.36 cores=1,3,5,7
/proc/11429/task/11430/stat : 11430 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 40896 0 0 0 2525 11 0 0 25 0 4 0 650584698 639750144 86236 33554432000 4194304 4650419 140735767489968 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11429/tid=11431] ppid=11427 vsize=624756 CPUtime=25.45 cores=1,3,5,7
/proc/11429/task/11431/stat : 11431 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 37833 0 0 0 2536 9 0 0 25 0 4 0 650584698 639750144 86236 33554432000 4194304 4650419 140735767489968 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11429/tid=11432] ppid=11427 vsize=624756 CPUtime=25.46 cores=1,3,5,7
/proc/11429/task/11432/stat : 11432 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 17460 0 0 0 2539 7 0 0 25 0 4 0 650584698 639750144 86236 33554432000 4194304 4650419 140735767489968 18446744073709551615 4370340 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (KiB) 624756

[startup+51.1003 s]
/proc/loadavg: 8.20 6.58 4.72 9/257 11434
/proc/meminfo: memFree=18579952/32951124 swapFree=67056788/67111528
[pid=11429] ppid=11427 vsize=1833572 CPUtime=203.82 cores=1,3,5,7
/proc/11429/stat : 11429 (strangenight1-m) R 11427 11429 11320 0 -1 4202496 443326 0 0 0 20277 105 0 0 25 0 4 0 650584698 1877577728 359845 33554432000 4194304 4650419 140735767489968 18446744073709551615 4367986 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11429/statm: 458393 359845 395 112 0 453358 0
[pid=11429/tid=11430] ppid=11427 vsize=1833572 CPUtime=50.9 cores=1,3,5,7
/proc/11429/task/11430/stat : 11430 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 111388 0 0 0 5064 26 0 0 25 0 4 0 650584698 1877577728 359845 33554432000 4194304 4650419 140735767489968 18446744073709551615 4369198 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11429/tid=11431] ppid=11427 vsize=1833572 CPUtime=51.04 cores=1,3,5,7
/proc/11429/task/11431/stat : 11431 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 101478 0 0 0 5080 24 0 0 25 0 4 0 650584698 1877577728 359845 33554432000 4194304 4650419 140735767489968 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11429/tid=11432] ppid=11427 vsize=1833572 CPUtime=50.9 cores=1,3,5,7
/proc/11429/task/11432/stat : 11432 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 118478 0 0 0 5063 27 0 0 25 0 4 0 650584698 1877577728 359845 33554432000 4194304 4650419 140735767489968 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.82
Current children cumulated vsize (KiB) 1833572

[startup+102.301 s]
/proc/loadavg: 8.17 6.82 4.89 9/257 11436
/proc/meminfo: memFree=18228260/32951124 swapFree=67056788/67111528
[pid=11429] ppid=11427 vsize=2144252 CPUtime=408.19 cores=1,3,5,7
/proc/11429/stat : 11429 (strangenight1-m) R 11427 11429 11320 0 -1 4202496 607521 0 0 0 40676 143 0 0 25 0 4 0 650584698 2195714048 434405 33554432000 4194304 4650419 140735767489968 18446744073709551615 4364050 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11429/statm: 536063 434405 395 112 0 531028 0
[pid=11429/tid=11430] ppid=11427 vsize=2144252 CPUtime=102.02 cores=1,3,5,7
/proc/11429/task/11430/stat : 11430 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 138475 0 0 0 10168 34 0 0 25 0 4 0 650584698 2195714048 434405 33554432000 4194304 4650419 140735767489968 18446744073709551615 4363683 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11429/tid=11431] ppid=11427 vsize=2144252 CPUtime=102.24 cores=1,3,5,7
/proc/11429/task/11431/stat : 11431 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 124692 0 0 0 10194 30 0 0 25 0 4 0 650584698 2195714048 434405 33554432000 4194304 4650419 140735767489968 18446744073709551615 4248692 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11429/tid=11432] ppid=11427 vsize=2144252 CPUtime=101.76 cores=1,3,5,7
/proc/11429/task/11432/stat : 11432 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 211909 0 0 0 10132 44 0 0 25 0 4 0 650584698 2195714048 434405 33554432000 4194304 4650419 140735767489968 18446744073709551615 4328328 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.19
Current children cumulated vsize (KiB) 2144252

[startup+162.301 s]

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


[startup+702.301 s]
/proc/loadavg: 8.16 8.00 6.45 9/257 11482
/proc/meminfo: memFree=18573244/32951124 swapFree=67056788/67111528
[pid=11429] ppid=11427 vsize=2929976 CPUtime=2803.3 cores=1,3,5,7
/proc/11429/stat : 11429 (strangenight1-m) R 11427 11429 11320 0 -1 4202496 1430477 0 0 0 279900 430 0 0 25 0 4 0 650584698 3000295424 607620 33554432000 4194304 4650419 140735767489968 18446744073709551615 4314985 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/11429/statm: 732494 607620 395 112 0 727459 0
[pid=11429/tid=11430] ppid=11427 vsize=2929976 CPUtime=701.81 cores=1,3,5,7
/proc/11429/task/11430/stat : 11430 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 327123 0 0 0 70067 114 0 0 25 0 4 0 650584698 3000295424 607620 33554432000 4194304 4650419 140735767489968 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11429/tid=11431] ppid=11427 vsize=2929976 CPUtime=702.26 cores=1,3,5,7
/proc/11429/task/11431/stat : 11431 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 254681 0 0 0 70150 76 0 0 25 0 4 0 650584698 3000295424 607620 33554432000 4194304 4650419 140735767489968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11429/tid=11432] ppid=11427 vsize=2929976 CPUtime=701.76 cores=1,3,5,7
/proc/11429/task/11432/stat : 11432 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 510325 0 0 0 70043 133 0 0 25 0 4 0 650584698 3000295424 607620 33554432000 4194304 4650419 140735767489968 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2803.3
Current children cumulated vsize (KiB) 2929976

[startup+762.301 s]
/proc/loadavg: 8.13 8.03 6.56 9/257 11483
/proc/meminfo: memFree=18455536/32951124 swapFree=67056788/67111528
[pid=11429] ppid=11427 vsize=3094096 CPUtime=3042.81 cores=1,3,5,7
/proc/11429/stat : 11429 (strangenight1-m) R 11427 11429 11320 0 -1 4202496 1651845 0 0 0 303803 478 0 0 25 0 4 0 650584698 3168354304 622960 33554432000 4194304 4650419 140735767489968 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11429/statm: 773524 622960 420 112 0 768489 0
[pid=11429/tid=11430] ppid=11427 vsize=3094096 CPUtime=761.81 cores=1,3,5,7
/proc/11429/task/11430/stat : 11430 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 351931 0 0 0 76055 126 0 0 25 0 4 0 650584698 3168354304 622960 33554432000 4194304 4650419 140735767489968 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11429/tid=11431] ppid=11427 vsize=3094096 CPUtime=762.25 cores=1,3,5,7
/proc/11429/task/11431/stat : 11431 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 269060 0 0 0 76144 81 0 0 25 0 4 0 650584698 3168354304 622960 33554432000 4194304 4650419 140735767489968 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11429/tid=11432] ppid=11427 vsize=3094096 CPUtime=761.49 cores=1,3,5,7
/proc/11429/task/11432/stat : 11432 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 534298 0 0 0 76005 144 0 0 25 0 4 0 650584698 3168354304 622960 33554432000 4194304 4650419 140735767489968 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3042.81
Current children cumulated vsize (KiB) 3094096

[startup+822.301 s]
/proc/loadavg: 8.25 8.08 6.67 9/257 11485
/proc/meminfo: memFree=18205272/32951124 swapFree=67056788/67111528
[pid=11429] ppid=11427 vsize=2985248 CPUtime=3282.33 cores=1,3,5,7
/proc/11429/stat : 11429 (strangenight1-m) R 11427 11429 11320 0 -1 4202496 1799614 0 0 0 327717 516 0 0 25 0 4 0 650584698 3056893952 612428 33554432000 4194304 4650419 140735767489968 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11429/statm: 746312 612428 395 112 0 741277 0
[pid=11429/tid=11430] ppid=11427 vsize=2985248 CPUtime=821.81 cores=1,3,5,7
/proc/11429/task/11430/stat : 11430 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 370435 0 0 0 82047 134 0 0 25 0 4 0 650584698 3056893952 612428 33554432000 4194304 4650419 140735767489968 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11429/tid=11431] ppid=11427 vsize=2985248 CPUtime=822.26 cores=1,3,5,7
/proc/11429/task/11431/stat : 11431 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 287634 0 0 0 82137 89 0 0 25 0 4 0 650584698 3056893952 612428 33554432000 4194304 4650419 140735767489968 18446744073709551615 4315608 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11429/tid=11432] ppid=11427 vsize=2985248 CPUtime=821 cores=1,3,5,7
/proc/11429/task/11432/stat : 11432 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 546411 0 0 0 81950 150 0 0 25 0 4 0 650584698 3056893952 612428 33554432000 4194304 4650419 140735767489968 18446744073709551615 4315069 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3282.33
Current children cumulated vsize (KiB) 2985248

[startup+882.301 s]
/proc/loadavg: 8.21 8.10 6.76 9/257 11486
/proc/meminfo: memFree=17838940/32951124 swapFree=67056788/67111528
[pid=11429] ppid=11427 vsize=3136828 CPUtime=3521.85 cores=1,3,5,7
/proc/11429/stat : 11429 (strangenight1-m) R 11427 11429 11320 0 -1 4202496 1869581 0 0 0 351641 544 0 0 25 0 4 0 650584698 3212111872 630169 33554432000 4194304 4650419 140735767489968 18446744073709551615 4333767 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11429/statm: 784207 630169 395 112 0 779172 0
[pid=11429/tid=11430] ppid=11427 vsize=3136828 CPUtime=881.81 cores=1,3,5,7
/proc/11429/task/11430/stat : 11430 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 390180 0 0 0 88041 140 0 0 25 0 4 0 650584698 3212111872 630169 33554432000 4194304 4650419 140735767489968 18446744073709551615 4334315 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11429/tid=11431] ppid=11427 vsize=3136828 CPUtime=882.25 cores=1,3,5,7
/proc/11429/task/11431/stat : 11431 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 300896 0 0 0 88131 94 0 0 25 0 4 0 650584698 3212111872 630169 33554432000 4194304 4650419 140735767489968 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11429/tid=11432] ppid=11427 vsize=3136828 CPUtime=880.5 cores=1,3,5,7
/proc/11429/task/11432/stat : 11432 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 558582 0 0 0 87895 155 0 0 25 0 4 0 650584698 3212111872 630169 33554432000 4194304 4650419 140735767489968 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3521.85
Current children cumulated vsize (KiB) 3136828

[startup+942.3 s]
/proc/loadavg: 8.31 8.15 6.86 9/257 11488
/proc/meminfo: memFree=17843508/32951124 swapFree=67056788/67111528
[pid=11429] ppid=11427 vsize=3071592 CPUtime=3761.35 cores=1,3,5,7
/proc/11429/stat : 11429 (strangenight1-m) R 11427 11429 11320 0 -1 4202496 1954047 0 0 0 375562 573 0 0 25 0 4 0 650584698 3145310208 634338 33554432000 4194304 4650419 140735767489968 18446744073709551615 4333767 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11429/statm: 767898 634338 395 112 0 762863 0
[pid=11429/tid=11430] ppid=11427 vsize=3071592 CPUtime=941.81 cores=1,3,5,7
/proc/11429/task/11430/stat : 11430 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 414719 0 0 0 94031 150 0 0 25 0 4 0 650584698 3145310208 634338 33554432000 4194304 4650419 140735767489968 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11429/tid=11431] ppid=11427 vsize=3071592 CPUtime=942.25 cores=1,3,5,7
/proc/11429/task/11431/stat : 11431 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 321955 0 0 0 94124 101 0 0 25 0 4 0 650584698 3145310208 634338 33554432000 4194304 4650419 140735767489968 18446744073709551615 4363582 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11429/tid=11432] ppid=11427 vsize=3071592 CPUtime=940.02 cores=1,3,5,7
/proc/11429/task/11432/stat : 11432 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 578183 0 0 0 93839 163 0 0 25 0 4 0 650584698 3145310208 634338 33554432000 4194304 4650419 140735767489968 18446744073709551615 4363693 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3761.35
Current children cumulated vsize (KiB) 3071592

[startup+1002.3 s]
/proc/loadavg: 8.17 8.14 6.93 9/257 11490
/proc/meminfo: memFree=17664420/32951124 swapFree=67056788/67111528
[pid=11429] ppid=11427 vsize=3224376 CPUtime=4000.86 cores=1,3,5,7
/proc/11429/stat : 11429 (strangenight1-m) R 11427 11429 11320 0 -1 4202496 2046735 0 0 0 399482 604 0 0 25 0 4 0 650584698 3301761024 658870 33554432000 4194304 4650419 140735767489968 18446744073709551615 4363335 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11429/statm: 806094 658870 395 112 0 801059 0
[pid=11429/tid=11430] ppid=11427 vsize=3224376 CPUtime=1001.81 cores=1,3,5,7
/proc/11429/task/11430/stat : 11430 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 456593 0 0 0 100022 159 0 0 25 0 4 0 650584698 3301761024 658870 33554432000 4194304 4650419 140735767489968 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11429/tid=11431] ppid=11427 vsize=3224376 CPUtime=1002.25 cores=1,3,5,7
/proc/11429/task/11431/stat : 11431 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 340995 0 0 0 100117 108 0 0 25 0 4 0 650584698 3301761024 658870 33554432000 4194304 4650419 140735767489968 18446744073709551615 4315153 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11429/tid=11432] ppid=11427 vsize=3224376 CPUtime=999.52 cores=1,3,5,7
/proc/11429/task/11432/stat : 11432 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 587147 0 0 0 99787 165 0 0 25 0 4 0 650584698 3301761024 658870 33554432000 4194304 4650419 140735767489968 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4000.86
Current children cumulated vsize (KiB) 3224376

[startup+1062.3 s]
/proc/loadavg: 8.15 8.14 7.01 10/257 11491
/proc/meminfo: memFree=17402132/32951124 swapFree=67056788/67111528
[pid=11429] ppid=11427 vsize=3421240 CPUtime=4240.38 cores=1,3,5,7
/proc/11429/stat : 11429 (strangenight1-m) R 11427 11429 11320 0 -1 4202496 2186677 0 0 0 423393 645 0 0 25 0 4 0 650584698 3503349760 680340 33554432000 4194304 4650419 140735767489968 18446744073709551615 4365246 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11429/statm: 855310 680340 395 112 0 850275 0
[pid=11429/tid=11430] ppid=11427 vsize=3421240 CPUtime=1061.81 cores=1,3,5,7
/proc/11429/task/11430/stat : 11430 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 537181 0 0 0 106010 171 0 0 25 0 4 0 650584698 3503349760 680340 33554432000 4194304 4650419 140735767489968 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11429/tid=11431] ppid=11427 vsize=3421240 CPUtime=1062.26 cores=1,3,5,7
/proc/11429/task/11431/stat : 11431 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 354219 0 0 0 106110 116 0 0 25 0 4 0 650584698 3503349760 680340 33554432000 4194304 4650419 140735767489968 18446744073709551615 4328450 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11429/tid=11432] ppid=11427 vsize=3421240 CPUtime=1059.04 cores=1,3,5,7
/proc/11429/task/11432/stat : 11432 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 613847 0 0 0 105726 178 0 0 25 0 4 0 650584698 3503349760 680340 33554432000 4194304 4650419 140735767489968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4240.38
Current children cumulated vsize (KiB) 3421240

[startup+1122.3 s]
/proc/loadavg: 8.10 8.13 7.07 9/257 11493
/proc/meminfo: memFree=17434476/32951124 swapFree=67056788/67111528
[pid=11429] ppid=11427 vsize=3355916 CPUtime=4479.88 cores=1,3,5,7
/proc/11429/stat : 11429 (strangenight1-m) R 11427 11429 11320 0 -1 4202496 2342454 0 0 0 447304 684 0 0 25 0 4 0 650584698 3436457984 671119 33554432000 4194304 4650419 140735767489968 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11429/statm: 838979 671119 395 112 0 833944 0
[pid=11429/tid=11430] ppid=11427 vsize=3355916 CPUtime=1121.82 cores=1,3,5,7
/proc/11429/task/11430/stat : 11430 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 605711 0 0 0 112001 181 0 0 25 0 4 0 650584698 3436457984 671119 33554432000 4194304 4650419 140735767489968 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11429/tid=11431] ppid=11427 vsize=3355916 CPUtime=1122.26 cores=1,3,5,7
/proc/11429/task/11431/stat : 11431 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 364263 0 0 0 112104 122 0 0 25 0 4 0 650584698 3436457984 671119 33554432000 4194304 4650419 140735767489968 18446744073709551615 4363889 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11429/tid=11432] ppid=11427 vsize=3355916 CPUtime=1118.54 cores=1,3,5,7
/proc/11429/task/11432/stat : 11432 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 639388 0 0 0 111663 191 0 0 25 0 4 0 650584698 3436457984 671119 33554432000 4194304 4650419 140735767489968 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4479.88
Current children cumulated vsize (KiB) 3355916

[startup+1182.3 s]
/proc/loadavg: 8.20 8.16 7.15 9/257 11494
/proc/meminfo: memFree=17320868/32951124 swapFree=67056788/67111528
[pid=11429] ppid=11427 vsize=3421460 CPUtime=4719.42 cores=1,3,5,7
/proc/11429/stat : 11429 (strangenight1-m) R 11427 11429 11320 0 -1 4202496 2500142 0 0 0 471218 724 0 0 25 0 4 0 650584698 3503575040 681790 33554432000 4194304 4650419 140735767489968 18446744073709551615 4533839 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11429/statm: 855365 681790 395 112 0 850330 0
[pid=11429/tid=11430] ppid=11427 vsize=3421460 CPUtime=1181.83 cores=1,3,5,7
/proc/11429/task/11430/stat : 11430 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 605711 0 0 0 118002 181 0 0 25 0 4 0 650584698 3503575040 681790 33554432000 4194304 4650419 140735767489968 18446744073709551615 4476129 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11429/tid=11431] ppid=11427 vsize=3421460 CPUtime=1182.27 cores=1,3,5,7
/proc/11429/task/11431/stat : 11431 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 376546 0 0 0 118096 131 0 0 25 0 4 0 650584698 3503575040 681790 33554432000 4194304 4650419 140735767489968 18446744073709551615 4364402 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11429/tid=11432] ppid=11427 vsize=3421460 CPUtime=1178.06 cores=1,3,5,7
/proc/11429/task/11432/stat : 11432 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 660962 0 0 0 117602 204 0 0 25 0 4 0 650584698 3503575040 681790 33554432000 4194304 4650419 140735767489968 18446744073709551615 4314985 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4719.42
Current children cumulated vsize (KiB) 3421460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.5 s]
/proc/loadavg: 8.14 8.15 7.16 9/257 11495
/proc/meminfo: memFree=17165364/32951124 swapFree=67056788/67111528
[pid=11429] ppid=11427 vsize=3421460 CPUtime=4800.06 cores=1,3,5,7
/proc/11429/stat : 11429 (strangenight1-m) R 11427 11429 11320 0 -1 4202496 2546012 0 0 0 479267 739 0 0 25 0 4 0 650584698 3503575040 704116 33554432000 4194304 4650419 140735767489968 18446744073709551615 4315137 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11429/statm: 855365 704116 395 112 0 850330 0
[pid=11429/tid=11430] ppid=11427 vsize=3421460 CPUtime=1202.02 cores=1,3,5,7
/proc/11429/task/11430/stat : 11430 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 625189 0 0 0 120017 185 0 0 25 0 4 0 650584698 3503575040 704121 33554432000 4194304 4650419 140735767489968 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11429/tid=11431] ppid=11427 vsize=3421460 CPUtime=1202.47 cores=1,3,5,7
/proc/11429/task/11431/stat : 11431 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 379756 0 0 0 120115 132 0 0 25 0 4 0 650584698 3503575040 704121 33554432000 4194304 4650419 140735767489968 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11429/tid=11432] ppid=11427 vsize=3421460 CPUtime=1198.09 cores=1,3,5,7
/proc/11429/task/11432/stat : 11432 (strangenight1-m) R 11427 11429 11320 0 -1 4202560 670285 0 0 0 119601 208 0 0 25 0 4 0 650584698 3503575040 704121 33554432000 4194304 4650419 140735767489968 18446744073709551615 4328838 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 3421460

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

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

[startup+1202.62 s]
/proc/loadavg: 8.14 8.15 7.16 9/257 11495
/proc/meminfo: memFree=17165364/32951124 swapFree=67056788/67111528
[pid=11429] ppid=11427 vsize=0 CPUtime=4800.19 cores=1,3,5,7
/proc/11429/stat : 11429 (strangenight1-m) Z 11427 11429 11320 0 -1 4203548 2546027 0 0 0 479270 749 0 0 25 0 2 0 650584698 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11429/statm: 0 0 0 0 0 0 0
[pid=11429/tid=11432] ppid=11427 vsize=0 CPUtime=1198.19 cores=1,3,5,7
/proc/11429/task/11432/stat : 11432 (strangenight1-m) R 11427 11429 11320 0 -1 4203588 670288 0 0 0 119601 218 0 0 25 0 2 0 650584698 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.63
CPU time (s): 4800.21
CPU user time (s): 4792.7
CPU system time (s): 7.50886
CPU usage (%): 399.142
Max. virtual memory (cumulated for all children) (KiB): 3421460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.7
system time used= 7.50886
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2546027
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= 15463
involuntary context switches= 18468

runsolver used 2.76758 second user time and 7.09492 second system time

The end

Launcher Data 

Begin job on node133 at 2011-05-14 18:17:48
IDJOB=3369641
IDBENCH=70797
IDSOLVER=1846
FILE ID=node133/3369641-1305389868
RUNJOBID= node133-1305389564-11339
PBS_JOBID= 13324443
Free space on /tmp= 73628 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxororand/maxxororand064.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369641-1305389868/watcher-3369641-1305389868 -o /tmp/evaluation-result-3369641-1305389868/solver-3369641-1305389868 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369641-1305389868.cnf

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

MD5SUM BENCH= 49dbd2fb16b3d5ce554d30c48729a56d
RANDOM SEED=944267125

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.834
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.83
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.834
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.74
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.834
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:      20045524 kB
Buffers:        263964 kB
Cached:        3159352 kB
SwapCached:       8724 kB
Active:       10279088 kB
Inactive:      2342536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20045524 kB
SwapTotal:    67111528 kB
SwapFree:     67056788 kB
Dirty:           10892 kB
Writeback:           0 kB
AnonPages:     9195760 kB
Mapped:          21572 kB
Slab:           195120 kB
PageTables:      27208 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 21122628 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= 73632 MiB
End job on node133 at 2011-05-14 18:37:53