Trace number 3288828

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.54 1202.54

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom26.cnf
MD5SUM98fee1752ddf8cd7cd77925ecf4bfe6e
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 variables73074
Number of clauses245746
Sum of the clauses size628346
Maximum clause length2232
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2124096
Number of clauses of size 3120415
Number of clauses of size 4350
Number of clauses of size 524
Number of clauses of size over 5860

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3288828-1304117201.cnf'
0.00/0.00	c -- header says num vars:          73074
0.00/0.00	c -- header says num clauses:      245746
0.00/0.12	c -- clauses added:            0 learnts,       245746 normals,            0 xors
0.00/0.12	c -- vars added      73074
0.00/0.12	c Parsing time:  0.08 s
0.00/0.83	c  N st     0         0     73074    120183    110047         0    592644         0   no data   no data
0.00/0.83	c asymm  cl-useful: 9/17588/120183 lits-rem:99 time: 0.50
31.10/7.86	c Flit:    98 Blit:   6220 bXBeca:    0 bXProp: 11837 Bins:      0 BRemL:      0 BRemN:      0 P: 129.0M T:  7.24
31.10/7.87	c Cleaning up after failed var search:     0.01 s 
31.50/7.91	c Replacing    11837 vars Replaced   339280 lits Time:     0.04 s 
31.50/7.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
31.50/7.96	c bin-w-bin subsume rem         1133 bins  time:  0.01 s
31.50/7.98	c subs with bin:        0  lits-rem:        12  v-fix:    0  time:  0.02 s
31.90/8.04	c Subs w/ non-existent bins:      0 l-rem:      4 v-fix:     0 done:  51906 time:  0.07 s
32.30/8.10	c Removed useless bin:      51  fixed:     0  props:   8.76M  time:  0.05 s
33.10/8.33	c lits-rem:         0  cl-subs:      345  v-elim:  17302  v-fix:    0  time:  0.22 s
33.10/8.34	c Finding binary XORs  T:     0.01 s  found:       0
33.52/8.45	c Finding non-binary XORs:     0.07 s (found:   17174, avg size: 3.0)
33.52/8.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   2808 locsubst: 11000 time:   0.04
33.52/8.46	c Replacing     5500 vars Replaced    33000 lits Time:     0.01 s 
33.52/8.47	c calculated reachability. Time: 0.00
33.52/8.47	c Calc default polars -  time:   0.00 s pos:    2750 undec:   46854 neg:   23470
33.52/8.47	c =========================================================================================
33.52/8.47	c types(t): F = full restart, N = normal restart
33.52/8.47	c types(t): S = simplification begin/end, E = solution found
33.52/8.47	c restart types(rt): st = static, dy = dynamic
33.52/8.47	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
33.52/8.47	c  B st     0         0     26296     43499     32879         0    286566         0   no data   no data
34.69/8.78	c Decided on static restart strategy
37.09/9.32	c  N st     8      4916     26295     43499     32893      4759    286566    305514   no data   no data
41.09/10.35	c  N st    10     11298     26295     43499     33005     10920    286566    650978   no data   no data
45.88/11.54	c  N st    11     17043     26295     43499     33017     16533    286566    986270   no data   no data
62.66/15.77	c  F st    12     25000     26288     43499     33235     14767    286566   2965453   no data   no data
63.06/15.81	c  N st    12     25000     26288     43497     33129     14767    286336   2965453   no data   no data
67.45/16.94	c Decided on static restart strategy
67.45/16.95	c  N st    18     30000     26286     43497     33254     19693    286336   3396752   no data   no data
67.45/16.95	c  S st    18     30000     26286     43497     33254     19693    286336   3396752   no data   no data
68.25/17.14	c  S st    18     30502     26286     43497     33291     20154    286335   3405570   no data   no data
68.25/17.17	c x-sub:  5500 x-cut:      0 vfix:      0 v-elim:   1404 locsubst:     0 time:   0.03
76.24/19.14	c Flit:    86 Blit:      2 bXBeca:    0 bXProp:   35 Bins: 332385 BRemL:  93277 BRemN:      9 P: 23.8M T:  1.95
76.24/19.17	c Replacing       35 vars Replaced     1818 lits Time:     0.02 s 
76.24/19.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
76.64/19.22	c bin-w-bin subsume rem          276 bins  time:  0.04 s
76.64/19.25	c subs with bin:      778  lits-rem:       674  v-fix:    0  time:  0.03 s
77.04/19.32	c Subs w/ non-existent bins:    172 l-rem:      8 v-fix:     0 done:  24759 time:  0.06 s
77.04/19.33	c Removed useless bin:      25  fixed:     0  props:   0.77M  time:  0.02 s
77.45/19.43	c lits-rem:       389  cl-subs:      272  v-elim:   2936  v-fix:    0  time:  0.09 s
77.45/19.49	c subs with bin:       79  lits-rem:       441  v-fix:    0  time:  0.05 s
77.86/19.53	c lits-rem:       178  cl-subs:      334  v-elim:      0  v-fix:    0  time:  0.03 s
79.03/19.82	c asymm  cl-useful: 0/19050/43172 lits-rem:0 time: 0.29
79.03/19.84	c calculated reachability. Time: 0.01
79.03/19.84	c  N st    18     30502     21823     43172    236244      5456    259246    543909   no data   no data
79.03/19.86	c Finding binary XORs  T:     0.02 s  found:       0
87.06/22.24	c  N st    20     37612     21822     43172    320690     12358    259246   1013592   no data   no data
87.06/22.27	c Finding binary XORs  T:     0.02 s  found:       8
89.84/23.05	c  N st    21     44012     21812     43128    320258     10718    258701    848723   no data   no data
91.03/23.34	c Finding binary XORs  T:     0.02 s  found:       1
92.23/23.63	c  S st    22     45753     21809     43113    484837     12408    258576   1256448   no data   no data
92.63/23.80	c  S st    22     46256     21809     43113    484841     12902    258576   1267210   no data   no data
93.04/23.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    702 locsubst:     2 time:   0.03
97.85/25.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   47 Bins:  23587 BRemL:  64263 BRemN:      0 P: 12.9M T:  1.20
97.85/25.05	c Replacing       57 vars Replaced     1317 lits Time:     0.02 s 
97.85/25.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
98.22/25.16	c bin-w-bin subsume rem        64207 bins  time:  0.09 s
98.62/25.21	c subs with bin:      403  lits-rem:       779  v-fix:    0  time:  0.04 s
98.62/25.26	c Subs w/ non-existent bins:      5 l-rem:     50 v-fix:     0 done:  21051 time:  0.06 s
98.62/25.28	c Removed useless bin:      68  fixed:     0  props:   0.85M  time:  0.02 s
99.02/25.33	c lits-rem:        20  cl-subs:      205  v-elim:     91  v-fix:    0  time:  0.04 s
99.42/25.41	c subs with bin:       15  lits-rem:       382  v-fix:    0  time:  0.07 s
99.42/25.48	c lits-rem:       451  cl-subs:      419  v-elim:      0  v-fix:    0  time:  0.06 s
99.42/25.49	c vivif2 --  cl tried    42475 cl shrink      259 lits rem        813 time: 0.01
99.82/25.51	c vivif2 --  cl tried     9793 cl shrink     1094 lits rem       3506 time: 0.02
100.22/25.65	c asymm  cl-useful: 0/5729/42367 lits-rem:0 time: 0.14
100.22/25.67	c calculated reachability. Time: 0.01
100.22/25.67	c  N st    22     46256     20960     42367    363580      9792    253453    899103   no data   no data
114.68/29.31	c  N st    23     60656     20960     42367    363582     23850    253453   2187255   no data   no data
115.76/29.66	c Finding binary XORs  T:     0.02 s  found:       2
125.73/32.17	c  N st    24     69385     20955     42363    516511     19264    253242   2305686   no data   no data
125.73/32.17	c  S st    24     69385     20955     42363    516511     19264    253242   2305686   no data   no data
126.53/32.34	c  S st    24     69889     20952     42363    516640     19753    253242   2316781   no data   no data
126.53/32.37	c x-sub:     1 x-cut:      0 vfix:      0 v-elim:    322 locsubst:     0 time:   0.03
131.33/33.55	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:   48 Bins:     20 BRemL:  53636 BRemN:      0 P: 12.7M T:  1.18
131.33/33.58	c Replacing       50 vars Replaced     1202 lits Time:     0.03 s 
131.73/33.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
131.73/33.66	c bin-w-bin subsume rem        24274 bins  time:  0.06 s
132.14/33.71	c subs with bin:      128  lits-rem:        89  v-fix:    0  time:  0.05 s
132.14/33.78	c Subs w/ non-existent bins:      0 l-rem:      4 v-fix:     0 done:  20580 time:  0.06 s
132.14/33.80	c Removed useless bin:       2  fixed:     0  props:   0.90M  time:  0.02 s
132.54/33.84	c lits-rem:         0  cl-subs:      114  v-elim:     89  v-fix:    0  time:  0.05 s
133.31/34.00	c subs with bin:        5  lits-rem:        55  v-fix:    0  time:  0.14 s
133.31/34.07	c lits-rem:       351  cl-subs:      186  v-elim:      0  v-fix:    0  time:  0.06 s
133.31/34.08	c vivif2 --  cl tried    42117 cl shrink      153 lits rem        300 time: 0.01
133.71/34.10	c vivif2 --  cl tried    11796 cl shrink      205 lits rem        684 time: 0.02
134.91/34.48	c asymm  cl-useful: 423/23081/42115 lits-rem:1490 time: 0.38
135.31/34.50	c calculated reachability. Time: 0.01
135.31/34.50	c  N st    24     69889     20491     42104    398269     11796    250068   1045421   no data   no data
155.29/39.52	c  F st    25     87502     20491     42104    398274     15178    250068   1504668   no data   no data
155.29/39.56	c  N st    25     87502     20491     42104    398274     15178    250068   1504668   no data   no data
159.28/40.56	c  N dy    34     93184     20488     42104    398304     20698    250068   1946029     10.74     12.85
163.67/41.61	c  N dy    57     99229     20485     42104    399931     26619    250067   2201918     10.14     14.30
168.07/42.72	c  S st    87    104833     20484     42104    399955     32147    250066   2580134     10.21      7.59
168.87/42.92	c  S st    87    105334     20484     42104    399955     32647    250066   2595308     10.21   no data
168.87/42.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    162 locsubst:     0 time:   0.03
174.06/44.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   25 Bins:    129 BRemL:  45831 BRemN:      0 P: 16.1M T:  1.30
174.06/44.29	c Replacing       25 vars Replaced     1398 lits Time:     0.04 s 
174.46/44.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
174.46/44.34	c bin-w-bin subsume rem          470 bins  time:  0.04 s
174.46/44.39	c subs with bin:       64  lits-rem:        45  v-fix:    0  time:  0.05 s
174.86/44.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20297 time:  0.05 s
174.86/44.46	c Removed useless bin:       2  fixed:     0  props:   0.81M  time:  0.02 s
175.26/44.52	c lits-rem:         5  cl-subs:      190  v-elim:     56  v-fix:    0  time:  0.06 s
180.88/45.93	c subs with bin:        2  lits-rem:        28  v-fix:    0  time:  1.34 s
183.26/46.54	c lits-rem:      1514  cl-subs:      861  v-elim:      0  v-fix:    0  time:  0.61 s
183.26/46.55	c vivif2 --  cl tried    41817 cl shrink        8 lits rem          8 time: 0.01
183.66/46.64	c vivif2 --  cl tried    29320 cl shrink     3101 lits rem      33010 time: 0.09
184.87/46.96	c asymm  cl-useful: 0/12759/41817 lits-rem:0 time: 0.32
184.87/46.98	c calculated reachability. Time: 0.01
184.87/46.98	c  N dy    87    105334     20241     41817    330067     29320    247919   2120129     10.21   no data
190.04/48.28	c  N dy   108    112323     20231     41817    330407     18306    247917    998284      9.90     10.46
196.03/49.70	c  N dy   141    119566     20229     41817    330460     25435    247917   1445315      9.89     10.42
201.22/51.09	c Finding binary XORs  T:     0.02 s  found:       0
201.62/51.12	c  N dy   181    127296     20226     41798    308748     32207    247352   1767572     10.07     10.84
208.42/52.87	c  N dy   239    135517     20225     41798    308786     40305    247351   2331004     10.65     11.30
215.62/54.64	c  N dy   278    144221     20225     41798    308935     28068    247351   1293453     10.67     11.78
223.60/56.60	c  N dy   318    153444     20220     41798    308971     37137    247351   1777305     10.71     11.33
227.19/57.53	c  S st   335    158002     20220     41798    309005     41597    247351   2192105     10.67      7.97
228.00/57.74	c  S st   335    158505     20220     41798    309011     42088    247351   2205349     10.67   no data
228.00/57.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
233.20/59.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:    119 BRemL:  42464 BRemN:      0 P: 16.7M T:  1.31
233.60/59.11	c Replacing        2 vars Replaced     1398 lits Time:     0.03 s 
233.60/59.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
233.60/59.15	c bin-w-bin subsume rem          400 bins  time:  0.02 s
233.60/59.18	c subs with bin:       50  lits-rem:        54  v-fix:    0  time:  0.03 s
233.98/59.23	c Subs w/ non-existent bins:      2 l-rem:      4 v-fix:     0 done:  20218 time:  0.04 s
233.98/59.24	c Removed useless bin:       0  fixed:     0  props:   0.77M  time:  0.02 s
233.98/59.29	c lits-rem:         6  cl-subs:       31  v-elim:      7  v-fix:    0  time:  0.05 s
239.97/60.75	c subs with bin:      153  lits-rem:       587  v-fix:    0  time:  1.39 s
243.17/61.54	c lits-rem:      2379  cl-subs:     1213  v-elim:      0  v-fix:    0  time:  0.78 s
243.17/61.55	c vivif2 --  cl tried    41701 cl shrink        3 lits rem          7 time: 0.01
243.57/61.65	c vivif2 --  cl tried    40579 cl shrink     5498 lits rem      37130 time: 0.10
244.37/61.81	c asymm  cl-useful: 30/5861/41701 lits-rem:90 time: 0.16
244.37/61.83	c calculated reachability. Time: 0.01
244.37/61.83	c  N dy   335    158505     20211     41671    235856     40577    246834   1954400     10.67   no data
253.56/64.11	c  N dy   361    169393     20206     41671    235941     28161    246834   1448575     10.45     11.07
263.55/66.68	c  N dy   390    180207     20206     41671    236076     38771    246834   2668727     10.36     18.28
277.55/70.16	c  N dy   437    195324     20205     41671    236379     28842    246834   1037447     10.25     10.93
287.91/72.73	c  N dy   481    207859     20205     41671    236461     41133    246834   1529264     10.24     13.14
300.70/75.98	c  N dy   570    221205     20204     41671    236517     28151    246834   1014112     10.40     11.95
304.29/76.88	c Finding binary XORs  T:     0.02 s  found:      16
313.08/79.09	c  N dy   658    235324     20201     41661    224354     41479    246629   1758776     10.54     13.36
315.47/79.67	c  S st   675    237759     20201     41661    224497     43893    246629   1942820     10.58      8.63
316.69/79.91	c  S st   675    238260     20201     41661    224502     44384    246629   1956612     10.58   no data
316.69/79.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
322.27/81.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:    229 BRemL:  41418 BRemN:      0 P: 16.6M T:  1.37
322.27/81.33	c Replacing       17 vars Replaced      430 lits Time:     0.03 s 
322.27/81.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
322.27/81.37	c bin-w-bin subsume rem          386 bins  time:  0.02 s
322.66/81.40	c subs with bin:       63  lits-rem:        67  v-fix:    0  time:  0.03 s
322.66/81.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20184 time:  0.04 s
322.66/81.45	c Removed useless bin:      47  fixed:     0  props:   0.60M  time:  0.01 s
323.06/81.50	c lits-rem:         3  cl-subs:       39  v-elim:     11  v-fix:    0  time:  0.05 s
328.66/82.95	c subs with bin:       60  lits-rem:       317  v-fix:    0  time:  1.40 s
331.05/83.59	c lits-rem:      1596  cl-subs:     1278  v-elim:      0  v-fix:    0  time:  0.63 s
331.45/83.60	c vivif2 --  cl tried    41561 cl shrink        3 lits rem          3 time: 0.01
331.45/83.70	c vivif2 --  cl tried    42619 cl shrink     4949 lits rem      45322 time: 0.09
333.45/84.10	c asymm  cl-useful: 122/13201/41561 lits-rem:223 time: 0.40
333.45/84.12	c calculated reachability. Time: 0.01
333.45/84.12	c  N dy   675    238260     20173     41559    174471     42619    245820   1735492     10.58   no data
348.63/87.91	c  N dy   743    253562     20171     41559    174616     30807    245818   1118530     10.62     11.31
364.21/91.81	c  N dy   814    269820     20170     41559    174646     46871    245818   2707565     10.62     11.23
380.19/95.90	c  N dy   883    287563     20169     41559    174681     36164    245817   1525965     10.57     11.14
399.77/100.72	c  N dy   970    306082     20169     41559    174713     54498    245816   3030035     10.58     11.17
399.77/100.76	c  F st   971    306251     20169     41559    174713     54666    245816   3051148     10.58      9.27
417.75/105.24	c Finding binary XORs  T:     0.02 s  found:       0
418.54/105.40	c  N dy  1032    325625     20169     41547    163866     44343    245751   1565641     10.55     15.56
438.11/110.32	c  N dy  1096    345738     20169     41547    163917     33679    245751    876759     10.49     11.68
448.92/113.01	c  S st  1144    357391     20169     41547    163943     45201    245751   1601396     10.48      9.44
449.69/113.23	c  S st  1144    357891     20169     41547    163944     45692    245750   1616319     10.48   no data
449.69/113.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
455.28/114.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   6578 BRemL:  58705 BRemN:     44 P: 19.6M T:  1.39
455.28/114.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
455.28/114.66	c bin-w-bin subsume rem          140 bins  time:  0.01 s
455.28/114.69	c subs with bin:       18  lits-rem:        16  v-fix:    0  time:  0.02 s
455.68/114.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20169 time:  0.03 s
455.68/114.74	c Removed useless bin:       6  fixed:     0  props:   0.77M  time:  0.01 s
455.68/114.79	c lits-rem:         0  cl-subs:       34  v-elim:      2  v-fix:    0  time:  0.05 s
459.28/115.63	c subs with bin:      203  lits-rem:      1060  v-fix:    0  time:  0.80 s
461.27/116.15	c lits-rem:       907  cl-subs:     1091  v-elim:      0  v-fix:    0  time:  0.51 s
461.27/116.16	c vivif2 --  cl tried    41490 cl shrink        1 lits rem          1 time: 0.01
461.69/116.27	c vivif2 --  cl tried    44200 cl shrink     4185 lits rem      83334 time: 0.11
462.88/116.59	c asymm  cl-useful: 13/13203/41490 lits-rem:15 time: 0.32
463.28/116.61	c calculated reachability. Time: 0.01
463.28/116.61	c  N dy  1144    357891     20167     41489    111635     44200    245324   1383426     10.48   no data
463.28/116.63	c Finding binary XORs  T:     0.02 s  found:       0
476.05/119.89	c Finding binary XORs  T:     0.02 s  found:       0
485.24/122.17	c  N dy  1212    378342     20166     41485    116481     32937    245289    762206     10.43     11.02
504.42/126.92	c  N dy  1268    398401     20164     41485    116521     52674    245289   1940363     10.37     10.99
525.59/132.28	c  N dy  1320    418850     20164     41485    116680     40297    245289    931469     10.31     10.91
545.18/137.12	c  N dy  1396    438918     20163     41485    116695     60024    245289   1946365     10.28     10.93
564.34/141.91	c  N dy  1459    458936     20163     41485    116707     46351    245289   1272486     10.23     10.95
585.90/147.38	c  N dy  1548    479156     20163     41485    116721     66339    245289   2350026     10.24     10.93
605.48/152.21	c  N dy  1617    499172     20163     41485    116743     51583    245289   1510660     10.21     20.41
627.06/157.68	c  N dy  1686    519350     20163     41485    116777     35942    245289    692542     10.19     10.73
645.03/162.13	c  S st  1755    536838     20163     41485    116822     53216    245289   1681916     10.18   no data
645.82/162.35	c  S st  1755    537343     20163     41485    116822     53718    245289   1703448     10.18   no data
645.82/162.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
651.04/163.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    8 Bins:   7260 BRemL:  12516 BRemN:      1 P: 20.8M T:  1.27
651.04/163.68	c Replacing        8 vars Replaced      264 lits Time:     0.03 s 
651.04/163.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
651.41/163.71	c bin-w-bin subsume rem          323 bins  time:  0.01 s
651.41/163.73	c subs with bin:       34  lits-rem:        26  v-fix:    0  time:  0.02 s
651.41/163.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20155 time:  0.03 s
651.41/163.77	c Removed useless bin:       0  fixed:     0  props:   0.67M  time:  0.01 s
651.81/163.83	c lits-rem:         2  cl-subs:       18  v-elim:      8  v-fix:    0  time:  0.05 s
655.80/164.83	c subs with bin:      955  lits-rem:      1826  v-fix:    0  time:  0.95 s
659.42/165.77	c lits-rem:      2072  cl-subs:     1853  v-elim:      0  v-fix:    0  time:  0.93 s
659.42/165.78	c vivif2 --  cl tried    41409 cl shrink        2 lits rem          2 time: 0.01
660.20/165.94	c vivif2 --  cl tried    50714 cl shrink     5718 lits rem      84260 time: 0.16
661.41/166.26	c asymm  cl-useful: 3/15005/41409 lits-rem:9 time: 0.32
661.41/166.28	c calculated reachability. Time: 0.01
661.41/166.28	c  N dy  1755    537343     20147     41406    109875     50712    245061   1550281     10.18   no data
661.81/166.30	c Finding binary XORs  T:     0.02 s  found:       1
681.79/171.34	c Finding binary XORs  T:     0.02 s  found:       0
682.57/171.52	c  N dy  1857    557374     20146     41405    110371     70475    245036   2614458     10.22     17.29
702.15/176.40	c  N dy  1965    577444     20146     41405    111732     53902    245036   1580894     10.26     10.89
718.92/180.67	c Finding binary XORs  T:     0.02 s  found:       2
722.52/181.54	c  N dy  2068    597540     20146     41405    111755     73757    245036   2540323     10.29     24.86
741.30/186.29	c  N dy  2181    617606     20146     41405    111767     56178    245036   1681080     10.34     15.17
761.67/191.36	c  N dy  2290    637611     20145     41405    111777     75924    245035   2702644     10.39     19.91
780.85/196.11	c  N dy  2393    658302     20144     41405    111785     57886    245034   1622766     10.43     11.11
801.21/201.25	c  N dy  2495    679044     20144     41405    111793     78400    245034   2846115     10.46     11.04
822.41/206.52	c  N dy  2634    699890     20143     41405    111810     59513    245034   1748134     10.53     11.20
845.15/212.29	c  N dy  2768    720498     20143     41405    111837     79876    245034   2967173     10.61     11.18
863.93/216.98	c  N dy  2880    740534     20143     41405    111849     59143    245033   1787630     10.66     27.00
885.90/222.48	c  N dy  2980    760539     20143     41405    111879     78843    245033   2712111     10.69     17.75
889.10/223.23	c Finding binary XORs  T:     0.02 s  found:       7
906.26/227.51	c  N dy  3069    781093     20143     41401    111369     56749    244925   1456189     10.70     11.35
928.24/233.06	c  N dy  3196    801108     20142     41401    111406     76435    244925   2600336     10.77     37.91
933.83/234.49	c  S st  3232    806017     20142     41401    111417     81310    244925   2921647     10.79      6.99
935.03/234.78	c  S st  3232    806519     20142     41401    111417     81810    244925   2941060     10.79   no data
935.43/234.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
941.04/236.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    928 BRemL:  10728 BRemN:      3 P: 26.6M T:  1.45
941.42/236.31	c Replacing       10 vars Replaced      332 lits Time:     0.05 s 
941.42/236.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
941.42/236.33	c bin-w-bin subsume rem          697 bins  time:  0.01 s
941.42/236.35	c subs with bin:       21  lits-rem:        10  v-fix:    0  time:  0.02 s
941.42/236.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20132 time:  0.03 s
941.81/236.40	c Removed useless bin:       2  fixed:     0  props:   0.67M  time:  0.01 s
941.81/236.46	c lits-rem:         0  cl-subs:       14  v-elim:      7  v-fix:    0  time:  0.06 s
948.22/238.01	c subs with bin:      589  lits-rem:       670  v-fix:    0  time:  1.45 s
956.60/240.14	c lits-rem:      3973  cl-subs:     2101  v-elim:      0  v-fix:    0  time:  2.13 s
956.60/240.16	c vivif2 --  cl tried    41353 cl shrink        2 lits rem          2 time: 0.01
957.41/240.37	c vivif2 --  cl tried    75738 cl shrink    14023 lits rem     155354 time: 0.21
959.00/240.77	c asymm  cl-useful: 36/2647/41353 lits-rem:51 time: 0.40
959.00/240.79	c calculated reachability. Time: 0.01
959.00/240.79	c  N dy  3232    806519     20125     41353    100660     75737    244602   2627183     10.79   no data
959.40/240.81	c Finding binary XORs  T:     0.02 s  found:       0
981.77/246.49	c  N dy  3323    826886     20124     41353    101712     55685    244601   3181845     10.79     11.46
1003.34/251.89	c  N dy  3390    846924     20124     41353    101732     75454    244601   5509278     10.77     11.57
1006.13/252.50	c Finding binary XORs  T:     0.02 s  found:       0
1027.31/257.85	c  N dy  3472    867921     20123     41352    100676     53689    244584   2383210     10.77     11.38
1049.27/263.38	c  N dy  3567    887977     20123     41352    100687     73554    244584   4656228     10.79     16.10
1072.86/269.23	c  N dy  3625    907988     20122     41352    100716     49437    244584   1360575     10.76     11.36
1097.61/275.47	c  N dy  3714    929405     20122     41352    100731     70647    244584   4066662     10.76     11.41
1121.97/281.53	c  N dy  3799    949728     20122     41352    100741     45552    244584    910141     10.76     11.37
1144.74/287.26	c  N dy  3895    969861     20122     41352    100753     65466    244584   3319673     10.76     11.65
1170.31/293.68	c  N dy  3985    989924     20122     41352    100767     85272    244584   5422125     10.77     11.43
1193.08/299.37	c  N dy  4053   1010424     20122     41352    100783     59125    244584   1924112     10.75     11.70
1216.24/305.11	c  N dy  4135   1030820     20121     41352    100969     79148    244584   3550778     10.75     11.35
1239.43/310.95	c  N dy  4217   1050837     20121     41352    100979     51649    244583   1363263     10.76     14.43
1262.58/316.78	c  N dy  4285   1070992     20121     41352    100985     71565    244583   3546095     10.75     11.36
1263.78/317.01	c  F st  4291   1071876     20121     41352    100985     72428    244583   3587410     10.75   no data
1269.78/318.55	c Decided on static restart strategy
1303.72/327.01	c  N st  4301   1100178     20120     41350    100008     52376    244507   3656225     10.75   no data
1361.65/341.52	c  N st  4303   1136178     20120     41350    100011     87797    244507   7636376     10.75   no data
1427.96/358.16	c  N st  4304   1168571     20120     41350    100017     74287    244507  13411357     10.75   no data
1515.43/380.01	c  N st  4305   1209778     20120     41350    100030     66462    244507   5570498     10.75   no data
1515.43/380.01	c  S st  4305   1209778     20120     41350    100030     66462    244507   5570498     10.75   no data
1516.24/380.29	c  S st  4305   1210279     20120     41350    100044     66963    244507   5586940     10.75   no data
1516.64/380.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1521.41/381.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bins:    145 BRemL:   1359 BRemN:      1 P: 20.9M T:  1.27
1521.81/381.65	c Replacing        5 vars Replaced      159 lits Time:     0.06 s 
1521.81/381.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1521.81/381.68	c bin-w-bin subsume rem          170 bins  time:  0.01 s
1522.21/381.70	c subs with bin:       19  lits-rem:        12  v-fix:    0  time:  0.02 s
1522.21/381.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20115 time:  0.03 s
1522.21/381.75	c Removed useless bin:       0  fixed:     0  props:   0.68M  time:  0.01 s
1522.61/381.84	c lits-rem:         2  cl-subs:       11  v-elim:      6  v-fix:    0  time:  0.09 s
1529.42/383.52	c subs with bin:       18  lits-rem:       661  v-fix:    0  time:  1.47 s
1544.98/387.48	c lits-rem:      5026  cl-subs:     2078  v-elim:      0  v-fix:    0  time:  3.96 s
1545.38/387.50	c vivif2 --  cl tried    41308 cl shrink        0 lits rem          0 time: 0.01
1546.58/387.89	c vivif2 --  cl tried    61968 cl shrink    11351 lits rem     546088 time: 0.39
1548.57/388.31	c asymm  cl-useful: 39/21698/41308 lits-rem:42 time: 0.43
1548.57/388.33	c calculated reachability. Time: 0.01
1548.57/388.33	c  N st  4305   1210279     20109     41307     98602     61955    244262   4807876     10.75   no data
1671.21/419.06	c  N st  4306   1283161     20109     41307     98603     85335    244261  10775478     10.75   no data
1889.30/473.68	c  N st  4307   1392484     20109     41307     98616     89771    244261  13444591     10.75   no data
1889.71/473.78	c Finding binary XORs  T:     0.02 s  found:       0
2330.65/584.18	c  N st  4308   1556468     20108     41305     99006     86941    244182  12290558     10.75   no data
2878.28/721.24	c  N st  4309   1710281     20107     41305     99051    124003    244182  35916507     10.75   no data
2878.28/721.24	c  S st  4309   1710281     20107     41305     99051    124003    244182  35916507     10.75   no data
2880.66/721.85	c  S st  4309   1710781     20105     41305     99120    124502    244182  35935792     10.75   no data
2881.06/721.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
2887.46/723.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     45 BRemL:    735 BRemN:      1 P: 27.0M T:  1.62
2887.46/723.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2887.46/723.58	c bin-w-bin subsume rem          117 bins  time:  0.01 s
2887.84/723.60	c subs with bin:       12  lits-rem:         6  v-fix:    0  time:  0.02 s
2887.84/723.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20105 time:  0.03 s
2887.84/723.65	c Removed useless bin:       1  fixed:     0  props:   0.69M  time:  0.02 s
2889.04/723.99	c lits-rem:         0  cl-subs:        7  v-elim:      1  v-fix:    0  time:  0.35 s
2902.23/727.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.51 s
3040.43/761.87	c lits-rem:     10986  cl-subs:     1973  v-elim:      0  v-fix:    0  time: 34.59 s
3040.43/761.88	c vivif2 --  cl tried    41282 cl shrink        0 lits rem          0 time: 0.01
3050.42/764.30	c vivif2 --  cl tried   120788 cl shrink    40081 lits rem     724413 time: 2.37
3052.02/764.72	c asymm  cl-useful: 1/1811/41282 lits-rem:3 time: 0.41
3052.02/764.74	c calculated reachability. Time: 0.01
3052.02/764.74	c  N st  4309   1710781     20104     41281     95158    120788    244072  34512916     10.75   no data
3988.28/999.18	c  N st  4310   2079748     20104     41281     95160    115916    244072  16981692     10.75   no data
3988.68/999.29	c Finding binary XORs  T:     0.02 s  found:       2
4217.97/1056.60	c  N st  4311   2210781     20103     41280     95873    113944    244023  15548779     10.75   no data
4217.97/1056.60	c  S st  4311   2210781     20103     41280     95873    113944    244023  15548779     10.75   no data
4219.56/1057.04	c  S st  4311   2211283     20103     41280     95965    114446    244023  15565484     10.75   no data
4219.56/1057.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
4225.96/1058.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:    799 BRemL:   2983 BRemN:      0 P: 27.9M T:  1.57
4226.36/1058.72	c Replacing        3 vars Replaced       61 lits Time:     0.05 s 
4226.36/1058.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4226.36/1058.74	c bin-w-bin subsume rem          137 bins  time:  0.01 s
4226.36/1058.76	c subs with bin:       10  lits-rem:        18  v-fix:    0  time:  0.02 s
4226.76/1058.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20100 time:  0.03 s
4226.76/1058.81	c Removed useless bin:       1  fixed:     0  props:   0.68M  time:  0.02 s
4227.58/1059.00	c lits-rem:         1  cl-subs:        6  v-elim:      2  v-fix:    0  time:  0.19 s
4236.74/1061.37	c subs with bin:       26  lits-rem:      2726  v-fix:    0  time:  1.83 s
4281.48/1072.52	c lits-rem:      8350  cl-subs:     1891  v-elim:      0  v-fix:    0  time: 11.13 s
4281.48/1072.53	c vivif2 --  cl tried    41263 cl shrink        0 lits rem          0 time: 0.01
4285.48/1073.59	c vivif2 --  cl tried   112520 cl shrink    26625 lits rem     270715 time: 1.04
4287.47/1074.04	c asymm  cl-useful: 0/12056/41263 lits-rem:0 time: 0.45
4287.47/1074.05	c calculated reachability. Time: 0.01
4287.47/1074.05	c  N st  4311   2211283     20098     41263     93603    112517    243952  15053167     10.75   no data
4287.47/1074.08	c Finding binary XORs  T:     0.02 s  found:       0

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-3288828-1304117201/watcher-3288828-1304117201 -o /tmp/evaluation-result-3288828-1304117201/solver-3288828-1304117201 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3288828-1304117201.cnf 

running on 4 cores: 0,2,4,6

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.13 8.15 7.96 2/174 23227
/proc/meminfo: memFree=31044696/32951124 swapFree=67103364/67111528
[pid=23227] ppid=23225 vsize=51212 CPUtime=0.01 cores=0,2,4,6
/proc/23227/stat : 23227 (strangenight2-m) R 23225 23227 23098 0 -1 4202496 409 0 0 0 1 0 0 0 25 0 4 0 601950790 52441088 348 33554432000 4194304 4627427 140733420920400 18446744073709551615 47543670146984 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23227/statm: 12803 348 299 106 0 7774 0
[pid=23227/tid=23228] ppid=23225 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/23227/task/23228/stat : 23228 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 601950790 52441088 348 33554432000 4194304 4627427 140733420920400 18446744073709551615 224284982257 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23227/tid=23229] ppid=23225 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/23227/task/23229/stat : 23229 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 601950790 52441088 348 33554432000 4194304 4627427 140733420920400 18446744073709551615 47543670146992 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23227/tid=23230] ppid=23225 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/23227/task/23230/stat : 23230 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 601950790 52441088 348 33554432000 4194304 4627427 140733420920400 18446744073709551615 47543670146994 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0999581 s]
/proc/loadavg: 8.13 8.15 7.96 2/174 23227
/proc/meminfo: memFree=31044696/32951124 swapFree=67103364/67111528
[pid=23227] ppid=23225 vsize=358072 CPUtime=0.35 cores=0,2,4,6
/proc/23227/stat : 23227 (strangenight2-m) R 23225 23227 23098 0 -1 4202496 36947 0 0 0 29 6 0 0 18 0 4 0 601950790 366665728 28514 33554432000 4194304 4627427 140733420920400 18446744073709551615 224284969143 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23227/statm: 90015 29697 341 106 0 84986 0
[pid=23227/tid=23228] ppid=23225 vsize=364192 CPUtime=0.77 cores=0,2,4,6
/proc/23227/task/23228/stat : 23228 (strangenight2-m) D 23225 23227 23098 0 -1 4202560 9726 0 0 0 76 1 0 0 19 0 4 0 601950790 372932608 34015 33554432000 4194304 4627427 140733420920400 18446744073709551615 224284969143 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23227/tid=23229] ppid=23225 vsize=364192 CPUtime=0.85 cores=0,2,4,6
/proc/23227/task/23229/stat : 23229 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 10872 0 0 0 84 1 0 0 19 0 4 0 601950790 372932608 34184 33554432000 4194304 4627427 140733420920400 18446744073709551615 4308280 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23227/tid=23230] ppid=23225 vsize=364192 CPUtime=0.84 cores=0,2,4,6
/proc/23227/task/23230/stat : 23230 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 10613 0 0 0 83 1 0 0 18 0 4 0 601950790 372932608 34184 33554432000 4194304 4627427 140733420920400 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 358072

[startup+0.926896 s]
/proc/loadavg: 8.13 8.15 7.96 2/174 23227
/proc/meminfo: memFree=31044696/32951124 swapFree=67103364/67111528
[pid=23227] ppid=23225 vsize=364192 CPUtime=3.82 cores=0,2,4,6
/proc/23227/stat : 23227 (strangenight2-m) R 23225 23227 23098 0 -1 4202496 42894 0 0 0 374 8 0 0 19 0 4 0 601950790 372932608 34441 33554432000 4194304 4627427 140733420920400 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23227/statm: 91048 34441 368 106 0 86019 0
[pid=23227/tid=23228] ppid=23225 vsize=364192 CPUtime=0.94 cores=0,2,4,6
/proc/23227/task/23228/stat : 23228 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 9858 0 0 0 93 1 0 0 19 0 4 0 601950790 372932608 34441 33554432000 4194304 4627427 140733420920400 18446744073709551615 4297761 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23227/tid=23229] ppid=23225 vsize=364192 CPUtime=0.94 cores=0,2,4,6
/proc/23227/task/23229/stat : 23229 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 10953 0 0 0 93 1 0 0 19 0 4 0 601950790 372932608 34441 33554432000 4194304 4627427 140733420920400 18446744073709551615 4308954 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23227/tid=23230] ppid=23225 vsize=364192 CPUtime=0.94 cores=0,2,4,6
/proc/23227/task/23230/stat : 23230 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 10628 0 0 0 93 1 0 0 19 0 4 0 601950790 372932608 34441 33554432000 4194304 4627427 140733420920400 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 364192

[startup+1.07061 s]
/proc/loadavg: 8.13 8.15 7.96 2/174 23227
/proc/meminfo: memFree=31044696/32951124 swapFree=67103364/67111528
[pid=23227] ppid=23225 vsize=364192 CPUtime=4.22 cores=0,2,4,6
/proc/23227/stat : 23227 (strangenight2-m) R 23225 23227 23098 0 -1 4202496 42914 0 0 0 414 8 0 0 19 0 4 0 601950790 372932608 34461 33554432000 4194304 4627427 140733420920400 18446744073709551615 4308392 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23227/statm: 91048 34461 368 106 0 86019 0
[pid=23227/tid=23228] ppid=23225 vsize=364192 CPUtime=1.04 cores=0,2,4,6
/proc/23227/task/23228/stat : 23228 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 9861 0 0 0 103 1 0 0 19 0 4 0 601950790 372932608 34461 33554432000 4194304 4627427 140733420920400 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23227/tid=23229] ppid=23225 vsize=364192 CPUtime=1.04 cores=0,2,4,6
/proc/23227/task/23229/stat : 23229 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 10956 0 0 0 103 1 0 0 19 0 4 0 601950790 372932608 34461 33554432000 4194304 4627427 140733420920400 18446744073709551615 4308499 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23227/tid=23230] ppid=23225 vsize=364192 CPUtime=1.04 cores=0,2,4,6
/proc/23227/task/23230/stat : 23230 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 10639 0 0 0 103 1 0 0 19 0 4 0 601950790 372932608 34461 33554432000 4194304 4627427 140733420920400 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.22
Current children cumulated vsize (KiB) 364192

[startup+1.1706 s]
/proc/loadavg: 8.13 8.15 7.96 2/174 23227
/proc/meminfo: memFree=31044696/32951124 swapFree=67103364/67111528
[pid=23227] ppid=23225 vsize=364192 CPUtime=4.62 cores=0,2,4,6
/proc/23227/stat : 23227 (strangenight2-m) R 23225 23227 23098 0 -1 4202496 42939 0 0 0 454 8 0 0 19 0 4 0 601950790 372932608 34486 33554432000 4194304 4627427 140733420920400 18446744073709551615 4308987 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23227/statm: 91048 34486 368 106 0 86019 0
[pid=23227/tid=23228] ppid=23225 vsize=364192 CPUtime=1.14 cores=0,2,4,6
/proc/23227/task/23228/stat : 23228 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 9861 0 0 0 113 1 0 0 19 0 4 0 601950790 372932608 34486 33554432000 4194304 4627427 140733420920400 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23227/tid=23229] ppid=23225 vsize=364192 CPUtime=1.14 cores=0,2,4,6
/proc/23227/task/23229/stat : 23229 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 10956 0 0 0 113 1 0 0 19 0 4 0 601950790 372932608 34486 33554432000 4194304 4627427 140733420920400 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23227/tid=23230] ppid=23225 vsize=364192 CPUtime=1.14 cores=0,2,4,6
/proc/23227/task/23230/stat : 23230 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 10664 0 0 0 113 1 0 0 19 0 4 0 601950790 372932608 34486 33554432000 4194304 4627427 140733420920400 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.62
Current children cumulated vsize (KiB) 364192

[startup+1.50054 s]
/proc/loadavg: 8.13 8.15 7.96 2/174 23227
/proc/meminfo: memFree=31044696/32951124 swapFree=67103364/67111528
[pid=23227] ppid=23225 vsize=364192 CPUtime=5.94 cores=0,2,4,6
/proc/23227/stat : 23227 (strangenight2-m) R 23225 23227 23098 0 -1 4202496 42972 0 0 0 586 8 0 0 19 0 4 0 601950790 372932608 34519 33554432000 4194304 4627427 140733420920400 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23227/statm: 91048 34519 368 106 0 86019 0
[pid=23227/tid=23228] ppid=23225 vsize=364192 CPUtime=1.47 cores=0,2,4,6
/proc/23227/task/23228/stat : 23228 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 9861 0 0 0 146 1 0 0 20 0 4 0 601950790 372932608 34519 33554432000 4194304 4627427 140733420920400 18446744073709551615 4297761 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23227/tid=23229] ppid=23225 vsize=364192 CPUtime=1.47 cores=0,2,4,6
/proc/23227/task/23229/stat : 23229 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 10956 0 0 0 146 1 0 0 19 0 4 0 601950790 372932608 34519 33554432000 4194304 4627427 140733420920400 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23227/tid=23230] ppid=23225 vsize=364192 CPUtime=1.47 cores=0,2,4,6
/proc/23227/task/23230/stat : 23230 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 10697 0 0 0 146 1 0 0 19 0 4 0 601950790 372932608 34519 33554432000 4194304 4627427 140733420920400 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 364192

[startup+3.10028 s]
/proc/loadavg: 8.52 8.23 7.99 9/184 23240
/proc/meminfo: memFree=30713740/32951124 swapFree=67103364/67111528
[pid=23227] ppid=23225 vsize=367712 CPUtime=12.33 cores=0,2,4,6
/proc/23227/stat : 23227 (strangenight2-m) R 23225 23227 23098 0 -1 4202496 44111 0 0 0 1225 8 0 0 25 0 4 0 601950790 376537088 35658 33554432000 4194304 4627427 140733420920400 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23227/statm: 91928 35658 369 106 0 86899 0
[pid=23227/tid=23228] ppid=23225 vsize=367712 CPUtime=3.05 cores=0,2,4,6
/proc/23227/task/23228/stat : 23228 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 9864 0 0 0 304 1 0 0 25 0 4 0 601950790 376537088 35658 33554432000 4194304 4627427 140733420920400 18446744073709551615 4308668 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23227/tid=23229] ppid=23225 vsize=367712 CPUtime=3.07 cores=0,2,4,6
/proc/23227/task/23229/stat : 23229 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 10959 0 0 0 306 1 0 0 25 0 4 0 601950790 376537088 35658 33554432000 4194304 4627427 140733420920400 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23227/tid=23230] ppid=23225 vsize=367712 CPUtime=3.08 cores=0,2,4,6
/proc/23227/task/23230/stat : 23230 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 11828 0 0 0 306 2 0 0 25 0 4 0 601950790 376537088 35658 33554432000 4194304 4627427 140733420920400 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 367712

[startup+6.30674 s]
/proc/loadavg: 8.56 8.24 8.00 9/184 23240
/proc/meminfo: memFree=30700476/32951124 swapFree=67103364/67111528
[pid=23227] ppid=23225 vsize=374380 CPUtime=25.14 cores=0,2,4,6
/proc/23227/stat : 23227 (strangenight2-m) R 23225 23227 23098 0 -1 4202496 45925 0 0 0 2505 9 0 0 25 0 4 0 601950790 383365120 35926 33554432000 4194304 4627427 140733420920400 18446744073709551615 4309379 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23227/statm: 93595 35926 370 106 0 88566 0
[pid=23227/tid=23228] ppid=23225 vsize=374380 CPUtime=6.24 cores=0,2,4,6
/proc/23227/task/23228/stat : 23228 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 9895 0 0 0 623 1 0 0 25 0 4 0 601950790 383365120 35926 33554432000 4194304 4627427 140733420920400 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23227/tid=23229] ppid=23225 vsize=374380 CPUtime=6.29 cores=0,2,4,6
/proc/23227/task/23229/stat : 23229 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 10990 0 0 0 627 2 0 0 25 0 4 0 601950790 383365120 35926 33554432000 4194304 4627427 140733420920400 18446744073709551615 4299583 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23227/tid=23230] ppid=23225 vsize=374380 CPUtime=6.28 cores=0,2,4,6
/proc/23227/task/23230/stat : 23230 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 13548 0 0 0 626 2 0 0 25 0 4 0 601950790 383365120 35926 33554432000 4194304 4627427 140733420920400 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 374380

[startup+12.7007 s]
/proc/loadavg: 8.52 8.24 8.00 9/184 23242
/proc/meminfo: memFree=30529744/32951124 swapFree=67103364/67111528
[pid=23227] ppid=23225 vsize=447312 CPUtime=50.68 cores=0,2,4,6
/proc/23227/stat : 23227 (strangenight2-m) R 23225 23227 23098 0 -1 4202496 92300 0 0 0 5052 16 0 0 25 0 4 0 601950790 458047488 66982 33554432000 4194304 4627427 140733420920400 18446744073709551615 4327427 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23227/statm: 111828 66982 390 106 0 106799 0
[pid=23227/tid=23228] ppid=23225 vsize=447312 CPUtime=12.61 cores=0,2,4,6
/proc/23227/task/23228/stat : 23228 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 24364 0 0 0 1257 4 0 0 25 0 4 0 601950790 458047488 66982 33554432000 4194304 4627427 140733420920400 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23227/tid=23229] ppid=23225 vsize=447312 CPUtime=12.68 cores=0,2,4,6
/proc/23227/task/23229/stat : 23229 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 24953 0 0 0 1264 4 0 0 25 0 4 0 601950790 458047488 66982 33554432000 4194304 4627427 140733420920400 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23227/tid=23230] ppid=23225 vsize=447312 CPUtime=12.68 cores=0,2,4,6
/proc/23227/task/23230/stat : 23230 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 16190 0 0 0 1265 3 0 0 25 0 4 0 601950790 458047488 66982 33554432000 4194304 4627427 140733420920400 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 447312

[startup+25.5005 s]
/proc/loadavg: 8.36 8.21 7.99 9/184 23242
/proc/meminfo: memFree=30323532/32951124 swapFree=67103364/67111528
[pid=23227] ppid=23225 vsize=633476 CPUtime=99.82 cores=0,2,4,6
/proc/23227/stat : 23227 (strangenight2-m) R 23225 23227 23098 0 -1 4202496 158403 0 0 0 9950 32 0 0 25 0 4 0 601950790 648679424 105917 33554432000 4194304 4627427 140733420920400 18446744073709551615 4520569 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23227/statm: 158369 105917 391 106 0 153340 0
[pid=23227/tid=23228] ppid=23225 vsize=633476 CPUtime=25.34 cores=0,2,4,6
/proc/23227/task/23228/stat : 23228 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 40295 0 0 0 2527 7 0 0 25 0 4 0 601950790 648679424 105917 33554432000 4194304 4627427 140733420920400 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23227/tid=23229] ppid=23225 vsize=633476 CPUtime=24.86 cores=0,2,4,6
/proc/23227/task/23229/stat : 23229 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 40893 0 0 0 2478 8 0 0 25 0 4 0 601950790 648679424 105917 33554432000 4194304 4627427 140733420920400 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23227/tid=23230] ppid=23225 vsize=633476 CPUtime=24.73 cores=0,2,4,6
/proc/23227/task/23230/stat : 23230 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 35003 0 0 0 2466 7 0 0 25 0 4 0 601950790 648679424 105917 33554432000 4194304 4627427 140733420920400 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 99.82
Current children cumulated vsize (KiB) 633476

[startup+51.1003 s]
/proc/loadavg: 8.30 8.21 8.00 9/184 23242
/proc/meminfo: memFree=30162120/32951124 swapFree=67103364/67111528
[pid=23227] ppid=23225 vsize=710956 CPUtime=201.62 cores=0,2,4,6
/proc/23227/stat : 23227 (strangenight2-m) R 23225 23227 23098 0 -1 4202496 204413 0 0 0 20118 44 0 0 25 0 4 0 601950790 728018944 129992 33554432000 4194304 4627427 140733420920400 18446744073709551615 4328310 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23227/statm: 177739 129992 391 106 0 172710 0
[pid=23227/tid=23228] ppid=23225 vsize=710956 CPUtime=50.81 cores=0,2,4,6
/proc/23227/task/23228/stat : 23228 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 55756 0 0 0 5069 12 0 0 25 0 4 0 601950790 728018944 129992 33554432000 4194304 4627427 140733420920400 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23227/tid=23229] ppid=23225 vsize=710956 CPUtime=50.46 cores=0,2,4,6
/proc/23227/task/23229/stat : 23229 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 51138 0 0 0 5035 11 0 0 25 0 4 0 601950790 728018944 129992 33554432000 4194304 4627427 140733420920400 18446744073709551615 4309646 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23227/tid=23230] ppid=23225 vsize=710956 CPUtime=49.87 cores=0,2,4,6
/proc/23227/task/23230/stat : 23230 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 41278 0 0 0 4979 8 0 0 25 0 4 0 601950790 728018944 129992 33554432000 4194304 4627427 140733420920400 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 201.62
Current children cumulated vsize (KiB) 710956

[startup+102.301 s]
/proc/loadavg: 8.18 8.19 8.00 9/184 23244
/proc/meminfo: memFree=29965036/32951124 swapFree=67103364/67111528
[pid=23227] ppid=23225 vsize=844212 CPUtime=406.15 cores=0,2,4,6
/proc/23227/stat : 23227 (strangenight2-m) R 23225 23227 23098 0 -1 4202496 260004 0 0 0 40557 58 0 0 25 0 4 0 601950790 864473088 157685 33554432000 4194304 4627427 140733420920400 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23227/statm: 211053 157685 391 106 0 206024 0
[pid=23227/tid=23228] ppid=23225 vsize=844212 CPUtime=101.73 cores=0,2,4,6
/proc/23227/task/23228/stat : 23228 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 71323 0 0 0 10158 15 0 0 25 0 4 0 601950790 864473088 157685 33554432000 4194304 4627427 140733420920400 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23227/tid=23229] ppid=23225 vsize=844212 CPUtime=101.65 cores=0,2,4,6
/proc/23227/task/23229/stat : 23229 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 62748 0 0 0 10151 14 0 0 25 0 4 0 601950790 864473088 157685 33554432000 4194304 4627427 140733420920400 18446744073709551615 4308499 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23227/tid=23230] ppid=23225 vsize=844212 CPUtime=101.08 cores=0,2,4,6
/proc/23227/task/23230/stat : 23230 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 49852 0 0 0 10098 10 0 0 25 0 4 0 601950790 864473088 157685 33554432000 4194304 4627427 140733420920400 18446744073709551615 4299595 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 406.15
Current children cumulated vsize (KiB) 844212

[startup+162.301 s]

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


[startup+702.301 s]
/proc/loadavg: 8.13 8.11 8.01 9/184 23260
/proc/meminfo: memFree=28935736/32951124 swapFree=67103364/67111528
[pid=23227] ppid=23225 vsize=1942712 CPUtime=2802.77 cores=0,2,4,6
/proc/23227/stat : 23227 (strangenight2-m) R 23225 23227 23098 0 -1 4202496 1250443 0 0 0 279953 324 0 0 25 0 4 0 601950790 1989337088 348107 33554432000 4194304 4627427 140733420920400 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23227/statm: 485678 348107 398 106 0 480649 0
[pid=23227/tid=23228] ppid=23225 vsize=1942712 CPUtime=698.46 cores=0,2,4,6
/proc/23227/task/23228/stat : 23228 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 414464 0 0 0 69749 97 0 0 25 0 4 0 601950790 1989337088 348107 33554432000 4194304 4627427 140733420920400 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23227/tid=23229] ppid=23225 vsize=1942712 CPUtime=701.62 cores=0,2,4,6
/proc/23227/task/23229/stat : 23229 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 389747 0 0 0 70059 103 0 0 25 0 4 0 601950790 1989337088 348107 33554432000 4194304 4627427 140733420920400 18446744073709551615 4299569 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23227/tid=23230] ppid=23225 vsize=1942712 CPUtime=701.09 cores=0,2,4,6
/proc/23227/task/23230/stat : 23230 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 92093 0 0 0 70085 24 0 0 25 0 4 0 601950790 1989337088 348107 33554432000 4194304 4627427 140733420920400 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2802.77
Current children cumulated vsize (KiB) 1942712

[startup+762.301 s]
/proc/loadavg: 8.16 8.12 8.02 9/184 23262
/proc/meminfo: memFree=28299936/32951124 swapFree=67103364/67111528
[pid=23227] ppid=23225 vsize=2546716 CPUtime=3042.43 cores=0,2,4,6
/proc/23227/stat : 23227 (strangenight2-m) R 23225 23227 23098 0 -1 4202496 1459148 0 0 0 303881 362 0 0 25 0 4 0 601950790 2607837184 520723 33554432000 4194304 4627427 140733420920400 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23227/statm: 636679 520723 398 106 0 631650 0
[pid=23227/tid=23228] ppid=23225 vsize=2546716 CPUtime=758.13 cores=0,2,4,6
/proc/23227/task/23228/stat : 23228 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 442130 0 0 0 75708 105 0 0 25 0 4 0 601950790 2607837184 520723 33554432000 4194304 4627427 140733420920400 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23227/tid=23229] ppid=23225 vsize=2546716 CPUtime=761.63 cores=0,2,4,6
/proc/23227/task/23229/stat : 23229 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 413523 0 0 0 76052 111 0 0 25 0 4 0 601950790 2607837184 520724 33554432000 4194304 4627427 140733420920400 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23227/tid=23230] ppid=23225 vsize=2546716 CPUtime=761.09 cores=0,2,4,6
/proc/23227/task/23230/stat : 23230 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 94114 0 0 0 76084 25 0 0 25 0 4 0 601950790 2607837184 520724 33554432000 4194304 4627427 140733420920400 18446744073709551615 4326744 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3042.43
Current children cumulated vsize (KiB) 2546716

[startup+822.301 s]
/proc/loadavg: 8.10 8.11 8.02 9/184 23262
/proc/meminfo: memFree=28216684/32951124 swapFree=67103364/67111528
[pid=23227] ppid=23225 vsize=2649704 CPUtime=3282.09 cores=0,2,4,6
/proc/23227/stat : 23227 (strangenight2-m) R 23225 23227 23098 0 -1 4202496 1581847 0 0 0 327814 395 0 0 25 0 4 0 601950790 2713296896 518563 33554432000 4194304 4627427 140733420920400 18446744073709551615 4321764 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23227/statm: 662426 518563 398 106 0 657397 0
[pid=23227/tid=23228] ppid=23225 vsize=2649704 CPUtime=817.8 cores=0,2,4,6
/proc/23227/task/23228/stat : 23228 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 475933 0 0 0 81667 113 0 0 25 0 4 0 601950790 2713296896 518563 33554432000 4194304 4627427 140733420920400 18446744073709551615 4309067 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23227/tid=23229] ppid=23225 vsize=2649704 CPUtime=821.63 cores=0,2,4,6
/proc/23227/task/23229/stat : 23229 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 437382 0 0 0 82044 119 0 0 25 0 4 0 601950790 2713296896 518563 33554432000 4194304 4627427 140733420920400 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23227/tid=23230] ppid=23225 vsize=2649704 CPUtime=821.09 cores=0,2,4,6
/proc/23227/task/23230/stat : 23230 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 95443 0 0 0 82084 25 0 0 25 0 4 0 601950790 2713296896 518563 33554432000 4194304 4627427 140733420920400 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3282.09
Current children cumulated vsize (KiB) 2649704

[startup+882.301 s]
/proc/loadavg: 8.07 8.10 8.02 9/184 23273
/proc/meminfo: memFree=28279368/32951124 swapFree=67103364/67111528
[pid=23227] ppid=23225 vsize=2658960 CPUtime=3521.74 cores=0,2,4,6
/proc/23227/stat : 23227 (strangenight2-m) R 23225 23227 23098 0 -1 4202496 1667394 0 0 0 351753 421 0 0 25 0 4 0 601950790 2722775040 503457 33554432000 4194304 4627427 140733420920400 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23227/statm: 664740 503457 397 106 0 659711 0
[pid=23227/tid=23228] ppid=23225 vsize=2658960 CPUtime=877.46 cores=0,2,4,6
/proc/23227/task/23228/stat : 23228 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 511653 0 0 0 87622 124 0 0 25 0 4 0 601950790 2722775040 503457 33554432000 4194304 4627427 140733420920400 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23227/tid=23229] ppid=23225 vsize=2658960 CPUtime=881.61 cores=0,2,4,6
/proc/23227/task/23229/stat : 23229 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 457536 0 0 0 88037 124 0 0 25 0 4 0 601950790 2722775040 503457 33554432000 4194304 4627427 140733420920400 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23227/tid=23230] ppid=23225 vsize=2658960 CPUtime=881.09 cores=0,2,4,6
/proc/23227/task/23230/stat : 23230 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 97604 0 0 0 88083 26 0 0 25 0 4 0 601950790 2722775040 503457 33554432000 4194304 4627427 140733420920400 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3521.74
Current children cumulated vsize (KiB) 2658960

[startup+942.301 s]
/proc/loadavg: 8.06 8.09 8.02 9/184 23275
/proc/meminfo: memFree=28190908/32951124 swapFree=67103364/67111528
[pid=23227] ppid=23225 vsize=2726084 CPUtime=3761.42 cores=0,2,4,6
/proc/23227/stat : 23227 (strangenight2-m) R 23225 23227 23098 0 -1 4202496 1749429 0 0 0 375693 449 0 0 25 0 4 0 601950790 2791510016 512683 33554432000 4194304 4627427 140733420920400 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23227/statm: 681521 512683 397 106 0 676492 0
[pid=23227/tid=23228] ppid=23225 vsize=2726084 CPUtime=937.14 cores=0,2,4,6
/proc/23227/task/23228/stat : 23228 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 538803 0 0 0 93579 135 0 0 25 0 4 0 601950790 2791510016 512683 33554432000 4194304 4627427 140733420920400 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23227/tid=23229] ppid=23225 vsize=2726084 CPUtime=941.62 cores=0,2,4,6
/proc/23227/task/23229/stat : 23229 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 479223 0 0 0 94031 131 0 0 25 0 4 0 601950790 2791510016 512683 33554432000 4194304 4627427 140733420920400 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23227/tid=23230] ppid=23225 vsize=2726084 CPUtime=941.09 cores=0,2,4,6
/proc/23227/task/23230/stat : 23230 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 100225 0 0 0 94082 27 0 0 25 0 4 0 601950790 2791510016 512683 33554432000 4194304 4627427 140733420920400 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3761.42
Current children cumulated vsize (KiB) 2726084

[startup+1002.3 s]
/proc/loadavg: 8.02 8.07 8.01 9/184 23277
/proc/meminfo: memFree=28203140/32951124 swapFree=67103364/67111528
[pid=23227] ppid=23225 vsize=2685216 CPUtime=4001.08 cores=0,2,4,6
/proc/23227/stat : 23227 (strangenight2-m) R 23225 23227 23098 0 -1 4202496 1833702 0 0 0 399631 477 0 0 25 0 4 0 601950790 2749661184 515867 33554432000 4194304 4627427 140733420920400 18446744073709551615 4308438 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23227/statm: 671304 515867 397 106 0 666275 0
[pid=23227/tid=23228] ppid=23225 vsize=2685216 CPUtime=996.81 cores=0,2,4,6
/proc/23227/task/23228/stat : 23228 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 572126 0 0 0 99536 145 0 0 25 0 4 0 601950790 2749661184 515867 33554432000 4194304 4627427 140733420920400 18446744073709551615 4309149 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23227/tid=23229] ppid=23225 vsize=2685216 CPUtime=1001.61 cores=0,2,4,6
/proc/23227/task/23229/stat : 23229 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 495872 0 0 0 100025 136 0 0 25 0 4 0 601950790 2749661184 515867 33554432000 4194304 4627427 140733420920400 18446744073709551615 4332756 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23227/tid=23230] ppid=23225 vsize=2685216 CPUtime=1001.09 cores=0,2,4,6
/proc/23227/task/23230/stat : 23230 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 106081 0 0 0 100080 29 0 0 25 0 4 0 601950790 2749661184 515867 33554432000 4194304 4627427 140733420920400 18446744073709551615 4308606 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4001.08
Current children cumulated vsize (KiB) 2685216

[startup+1062.31 s]
/proc/loadavg: 8.00 8.06 8.00 9/184 23279
/proc/meminfo: memFree=28068552/32951124 swapFree=67103364/67111528
[pid=23227] ppid=23225 vsize=2746280 CPUtime=4240.76 cores=0,2,4,6
/proc/23227/stat : 23227 (strangenight2-m) R 23225 23227 23098 0 -1 4202496 1938397 0 0 0 423571 505 0 0 25 0 4 0 601950790 2812190720 541347 33554432000 4194304 4627427 140733420920400 18446744073709551615 4468060 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23227/statm: 686570 541347 396 106 0 681541 0
[pid=23227/tid=23228] ppid=23225 vsize=2746280 CPUtime=1056.49 cores=0,2,4,6
/proc/23227/task/23228/stat : 23228 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 616657 0 0 0 105490 159 0 0 25 0 4 0 601950790 2812190720 541347 33554432000 4194304 4627427 140733420920400 18446744073709551615 4332090 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23227/tid=23229] ppid=23225 vsize=2746280 CPUtime=1061.61 cores=0,2,4,6
/proc/23227/task/23229/stat : 23229 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 513419 0 0 0 106021 140 0 0 25 0 4 0 601950790 2812190720 541347 33554432000 4194304 4627427 140733420920400 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23227/tid=23230] ppid=23225 vsize=2746280 CPUtime=1061.09 cores=0,2,4,6
/proc/23227/task/23230/stat : 23230 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 108098 0 0 0 106080 29 0 0 25 0 4 0 601950790 2812190720 541347 33554432000 4194304 4627427 140733420920400 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4240.76
Current children cumulated vsize (KiB) 2746280

[startup+1122.3 s]
/proc/loadavg: 8.05 8.06 8.00 9/184 23279
/proc/meminfo: memFree=27442676/32951124 swapFree=67103364/67111528
[pid=23227] ppid=23225 vsize=3438128 CPUtime=4480.41 cores=0,2,4,6
/proc/23227/stat : 23227 (strangenight2-m) R 23225 23227 23098 0 -1 4202496 2144392 0 0 0 447492 549 0 0 25 0 4 0 601950790 3520643072 701628 33554432000 4194304 4627427 140733420920400 18446744073709551615 4299718 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23227/statm: 859532 701628 396 106 0 854503 0
[pid=23227/tid=23228] ppid=23225 vsize=3438128 CPUtime=1116.16 cores=0,2,4,6
/proc/23227/task/23228/stat : 23228 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 752901 0 0 0 111433 183 0 0 25 0 4 0 601950790 3520643072 701628 33554432000 4194304 4627427 140733420920400 18446744073709551615 4420171 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23227/tid=23229] ppid=23225 vsize=3438128 CPUtime=1121.6 cores=0,2,4,6
/proc/23227/task/23229/stat : 23229 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 558206 0 0 0 112009 151 0 0 25 0 4 0 601950790 3520643072 701628 33554432000 4194304 4627427 140733420920400 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23227/tid=23230] ppid=23225 vsize=3438128 CPUtime=1121.08 cores=0,2,4,6
/proc/23227/task/23230/stat : 23230 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 110135 0 0 0 112077 31 0 0 25 0 4 0 601950790 3520643072 701628 33554432000 4194304 4627427 140733420920400 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4480.41
Current children cumulated vsize (KiB) 3438128

[startup+1182.3 s]
/proc/loadavg: 8.07 8.06 8.00 9/184 23281
/proc/meminfo: memFree=27438916/32951124 swapFree=67103364/67111528
[pid=23227] ppid=23225 vsize=3431500 CPUtime=4720.07 cores=0,2,4,6
/proc/23227/stat : 23227 (strangenight2-m) R 23225 23227 23098 0 -1 4202496 2233051 0 0 0 471434 573 0 0 25 0 4 0 601950790 3513856000 687087 33554432000 4194304 4627427 140733420920400 18446744073709551615 4310580 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23227/statm: 857875 687087 396 106 0 852846 0
[pid=23227/tid=23228] ppid=23225 vsize=3431500 CPUtime=1175.84 cores=0,2,4,6
/proc/23227/task/23228/stat : 23228 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 791427 0 0 0 117393 191 0 0 25 0 4 0 601950790 3513856000 687087 33554432000 4194304 4627427 140733420920400 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23227/tid=23229] ppid=23225 vsize=3431500 CPUtime=1181.61 cores=0,2,4,6
/proc/23227/task/23229/stat : 23229 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 587418 0 0 0 118000 161 0 0 25 0 4 0 601950790 3513856000 687087 33554432000 4194304 4627427 140733420920400 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23227/tid=23230] ppid=23225 vsize=3431500 CPUtime=1181.09 cores=0,2,4,6
/proc/23227/task/23230/stat : 23230 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 115023 0 0 0 118075 34 0 0 25 0 4 0 601950790 3513856000 687087 33554432000 4194304 4627427 140733420920400 18446744073709551615 4308499 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4720.07
Current children cumulated vsize (KiB) 3431500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.4 s]
/proc/loadavg: 8.05 8.06 8.00 5/179 23282
/proc/meminfo: memFree=28319212/32951124 swapFree=67103364/67111528
[pid=23227] ppid=23225 vsize=3349048 CPUtime=4800.37 cores=0,2,4,6
/proc/23227/stat : 23227 (strangenight2-m) R 23225 23227 23098 0 -1 4202496 2262006 0 0 0 479456 581 0 0 25 0 4 0 601950790 3429425152 678544 33554432000 4194304 4627427 140733420920400 18446744073709551615 4308712 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23227/statm: 837262 678544 396 106 0 832233 0
[pid=23227/tid=23228] ppid=23225 vsize=3349048 CPUtime=1195.83 cores=0,2,4,6
/proc/23227/task/23228/stat : 23228 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 800495 0 0 0 119390 193 0 0 25 0 4 0 601950790 3429425152 678545 33554432000 4194304 4627427 140733420920400 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23227/tid=23229] ppid=23225 vsize=3349048 CPUtime=1201.7 cores=0,2,4,6
/proc/23227/task/23229/stat : 23229 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 599573 0 0 0 120006 164 0 0 25 0 4 0 601950790 3429425152 678545 33554432000 4194304 4627427 140733420920400 18446744073709551615 4321883 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23227/tid=23230] ppid=23225 vsize=3349048 CPUtime=1201.19 cores=0,2,4,6
/proc/23227/task/23230/stat : 23230 (strangenight2-m) R 23225 23227 23098 0 -1 4202560 115886 0 0 0 120085 34 0 0 25 0 4 0 601950790 3429425152 678545 33554432000 4194304 4627427 140733420920400 18446744073709551615 4327592 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 3349048

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

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

[startup+1202.51 s]
/proc/loadavg: 8.05 8.06 8.00 5/179 23282
/proc/meminfo: memFree=28319212/32951124 swapFree=67103364/67111528
[pid=23227] ppid=23225 vsize=0 CPUtime=4800.5 cores=0,2,4,6
/proc/23227/stat : 23227 (strangenight2-m) Z 23225 23227 23098 0 -1 4203548 2262012 0 0 0 479459 591 0 0 25 0 2 0 601950790 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23227/statm: 0 0 0 0 0 0 0
[pid=23227/tid=23228] ppid=23225 vsize=0 CPUtime=1195.93 cores=0,2,4,6
/proc/23227/task/23228/stat : 23228 (strangenight2-m) R 23225 23227 23098 0 -1 4203588 800496 0 0 0 119390 203 0 0 25 0 2 0 601950790 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.5
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.54
CPU time (s): 4800.54
CPU user time (s): 4794.59
CPU system time (s): 5.9451
CPU usage (%): 399.2
Max. virtual memory (cumulated for all children) (KiB): 3700276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.59
system time used= 5.9451
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2262012
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= 2783
involuntary context switches= 21013

runsolver used 2.01969 second user time and 4.51231 second system time

The end

Launcher Data 

Begin job on node118 at 2011-04-30 00:46:41
IDJOB=3288828
IDBENCH=83107
IDSOLVER=1586
FILE ID=node118/3288828-1304117201
RUNJOBID= node118-1304115997-23116
PBS_JOBID= 13170712
Free space on /tmp= 71612 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom26.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3288828-1304117201/watcher-3288828-1304117201 -o /tmp/evaluation-result-3288828-1304117201/solver-3288828-1304117201 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3288828-1304117201.cnf

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

MD5SUM BENCH= 98fee1752ddf8cd7cd77925ecf4bfe6e
RANDOM SEED=1788171790

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
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.68
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.842
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.842
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31045108 kB
Buffers:        369728 kB
Cached:        1134668 kB
SwapCached:       2248 kB
Active:          98460 kB
Inactive:      1468728 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31045108 kB
SwapTotal:    67111528 kB
SwapFree:     67103364 kB
Dirty:           11104 kB
Writeback:           0 kB
AnonPages:       61380 kB
Mapped:          14672 kB
Slab:           275608 kB
PageTables:       4844 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   193500 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= 71604 MiB
End job on node118 at 2011-04-30 01:06:46