Trace number 3251639

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? (TO) 4800.19 1201.67

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf
MD5SUM71638ad618721ad48c6bd2d48b828020
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark3.2785
Satisfiable
(Un)Satisfiability was proved
Number of variables2377
Number of clauses566749
Sum of the clauses size1135775
Maximum clause length52
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2566699
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 550

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-3251639-1304182916.cnf'
0.00/0.00	c -- header says num vars:           2377
0.00/0.00	c -- header says num clauses:      566749
0.00/0.11	c -- clauses added:            0 learnts,       566749 normals,            0 xors
0.00/0.11	c -- vars added       2377
0.00/0.11	c Parsing time:  0.36 s
0.00/0.11	c  N st     0         0      2377        50    566699         0   1135775         0   no data   no data  --
0.00/0.11	c asymm  cl-useful: 0/50/50 lits-rem:0 time: 0.00
0.40/0.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.1M T:  0.34
0.40/0.32	c bin-w-bin subsume rem            0 bins  time:  0.47 s
0.40/0.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.33 s
1.73/0.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2377 time:  0.24 s
1.73/0.53	c Removed useless bin:       0  fixed:     0  props:   2.84M  time:  0.22 s
2.75/0.78	c lits-rem:       127  cl-subs:        0  v-elim:     50  v-fix:    0  time:  0.98 s
2.75/0.79	c Finding binary XORs  T:     0.04 s  found:       0
3.16/0.82	c Finding non-binary XORs:     0.07 s (found:       0, avg size: nan)
3.16/0.82	c calculated reachability. Time: 0.01
3.16/0.83	c Calc default polars -  time:   0.02 s pos:       0 undec:      50 neg:    2327
3.16/0.83	c =========================================================================================
3.16/0.83	c types(t): F = full restart, N = normal restart
3.16/0.83	c types(t): S = simplification begin/end, E = solution found
3.16/0.83	c restart types(rt): st = static, dy = dynamic
3.16/0.83	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.16/0.83	c  B st     0         0      2327     11199    553173         0   1690501         0   no data   no data  --
5.58/1.47	c  N dy    14      4355      2327     11199    553173      4241   1690497    839638     11.55     12.22  --
7.94/2.05	c  N dy    26      8407      2327     11199    553173      5755   1690496    553029     10.28     10.84  --
10.34/2.63	c  N dy    53     12410      2327     11199    553173      5520   1690495    541666     10.83     17.24  --
12.75/3.26	c  N dy    70     16442      2327     11199    553173      9457   1690486   1201149     11.18     12.65  --
15.54/3.96	c  N dy    86     20793      2327     11199    553173      8205   1690470    945686     11.24     11.85  --
18.36/4.68	c  N dy   102     24870      2327     11199    553173     12190   1690468   1394868     11.19     12.13  --
18.75/4.71	c  F st   104     25000      2327     11199    553173     12316   1690468   1408188     11.22   no data  --
21.93/5.52	c  N dy   110     30000      2327     11199    553173     10523   1690468    831519     11.22   no data  --
21.93/5.52	c  S st   110     30000      2327     11199    553173     10523   1690468    831519     11.22   no data  --
22.33/5.60	c  S st   110     30500      2327     11199    553173     11018   1690468    871590     11.22   no data  --
22.33/5.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
22.33/5.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
25.92/6.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 40.1M T:  3.72
26.32/6.66	c bin-w-bin subsume rem            0 bins  time:  0.27 s
31.53/7.99	c subs with bin:        0  lits-rem:      1680  v-fix:    0  time:  5.28 s
31.93/8.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2327 time:  0.23 s
32.31/8.10	c Removed useless bin:       0  fixed:     0  props:   2.77M  time:  0.22 s
37.11/9.38	c lits-rem:      3487  cl-subs:      862  v-elim:      0  v-fix:    0  time:  5.09 s
38.31/9.63	c asymm  cl-useful: 106/1214/11199 lits-rem:709 time: 0.99
38.31/9.64	c calculated reachability. Time: 0.01
38.31/9.64	c  N dy   110     30500      2327     11199    553173     10156   1681568    841859     11.22   no data  --
41.10/10.38	c  N dy   131     35207      2327     11199    553173     14743   1681566   1313992     11.20     12.27  --
43.90/11.07	c  N dy   150     39703      2327     11199    553173     11423   1681563   1182463     11.29     12.04  --
47.49/11.91	c  N dy   168     44159      2327     11199    553173     15782   1681558   1777612     11.34     12.26  --
48.68/12.23	c  S st   173     45750      2327     11199    553173     17319   1681558   1890578     11.29   no data  --
49.10/12.33	c  S st   173     46251      2327     11199    553173      9110   1681558    678584     11.29   no data  --
49.10/12.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
49.10/12.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
52.68/13.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 38.3M T:  3.72
53.08/13.37	c bin-w-bin subsume rem            0 bins  time:  0.26 s
58.30/14.67	c subs with bin:        0  lits-rem:      1388  v-fix:    0  time:  5.16 s
58.68/14.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2327 time:  0.22 s
58.68/14.78	c Removed useless bin:       0  fixed:     0  props:   2.77M  time:  0.22 s
62.69/15.78	c lits-rem:      1993  cl-subs:      164  v-elim:      0  v-fix:    0  time:  3.98 s
63.07/15.82	c vivif2 --  cl tried    11199 cl shrink     9498 lits rem     132952 time: 0.14
63.07/15.83	c vivif2 --  cl tried     8946 cl shrink        0 lits rem          0 time: 0.07
63.86/16.03	c asymm  cl-useful: 0/1275/11199 lits-rem:0 time: 0.77
63.86/16.04	c calculated reachability. Time: 0.01
63.86/16.04	c  N dy   173     46251      2327     11199    553173      8946   1545014    671695     11.29   no data  --
66.68/16.73	c  N dy   195     50287      2327     11199    553173     12892   1545013   1341892     11.38     12.30  --
69.86/17.52	c  N dy   206     54724      2327     11199    553173     17226   1545013   1866118     11.32     11.96  --
73.45/18.44	c  N dy   217     59204      2327     11199    553173     11828   1545013    835427     11.27     12.02  --
76.25/19.18	c  N dy   243     63389      2327     11199    553173     15915   1545013   1485999     11.44     12.08  --
79.86/20.07	c  N dy   266     67451      2327     11199    553173     19908   1545013   2097091     11.59     16.63  --
81.85/20.55	c  S st   274     69376      2327     11199    553173     11071   1545013    821458     11.60   no data  --
82.25/20.63	c  S st   274     69876      2327     11199    553173     11569   1545013    861997     11.60   no data  --
82.25/20.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
82.25/20.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
86.64/21.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 40.9M T:  4.47
87.04/21.86	c bin-w-bin subsume rem            0 bins  time:  0.26 s
92.23/23.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.06 s
92.23/23.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2327 time:  0.23 s
92.63/23.24	c Removed useless bin:       0  fixed:     0  props:   2.77M  time:  0.22 s
97.03/24.38	c lits-rem:       861  cl-subs:      144  v-elim:      0  v-fix:    0  time:  4.55 s
97.03/24.39	c vivif2 --  cl tried    11199 cl shrink        0 lits rem          0 time: 0.04
97.44/24.41	c vivif2 --  cl tried    11425 cl shrink        0 lits rem          0 time: 0.09
98.22/24.63	c asymm  cl-useful: 0/781/11199 lits-rem:0 time: 0.86
98.22/24.64	c calculated reachability. Time: 0.01
98.22/24.64	c  N dy   274     69876      2327     11199    553173     11425   1544731    856771     11.60   no data  --
101.42/25.47	c  N dy   293     74835      2327     11199    553173     16213   1544731   1333380     11.63     12.29  --
105.01/26.39	c  N dy   321     79707      2327     11199    553173     20970   1544731   2082937     11.70     13.47  --
109.41/27.40	c  N dy   339     84826      2327     11199    553173     14275   1544731   1239873     11.66     12.31  --
111.41/27.92	c  F st   351     87501      2327     11199    553173     16877   1544730   1678797     11.69   no data  --
114.21/28.67	c  N st   356     90800      2327     11199    553173     20102   1544730   2221023     11.69   no data  --
120.20/30.16	c  N dy   387     96670      2327     11199    553173     13166   1544730    988001     11.87     17.59  --
124.59/31.27	c  N dy   428    102930      2327     11199    553173     19275   1544726   1724464     11.96     17.30  --
126.20/31.68	c  S st   440    104814      2327     11199    553173     21089   1544726   1890927     11.97   no data  --
126.59/31.77	c  S st   440    105317      2327     11199    553173     21592   1544726   1949157     11.97   no data  --
126.59/31.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
126.59/31.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
132.19/33.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 52.5M T:  5.38
132.60/33.28	c bin-w-bin subsume rem            0 bins  time:  0.26 s
137.77/34.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.13 s
138.17/34.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2327 time:  0.23 s
138.17/34.67	c Removed useless bin:       0  fixed:     0  props:   2.77M  time:  0.22 s
151.36/37.99	c lits-rem:      1033  cl-subs:      393  v-elim:      0  v-fix:    0  time: 13.23 s
151.76/38.00	c vivif2 --  cl tried    11199 cl shrink        0 lits rem          0 time: 0.04
151.76/38.04	c vivif2 --  cl tried    21199 cl shrink        0 lits rem          0 time: 0.18
152.96/38.30	c asymm  cl-useful: 0/585/11199 lits-rem:0 time: 1.04
152.96/38.32	c calculated reachability. Time: 0.01
152.96/38.32	c  N dy   440    105317      2327     11199    553173     21199   1544688   1916104     11.97   no data  --
158.55/39.73	c  N dy   476    112119      2327     11199    553173     14192   1544688   1101928     12.02     19.32  --
165.34/41.44	c  N dy   498    121017      2327     11199    553173     22891   1544688   2227558     11.90     12.63  --
172.92/43.35	c  N dy   505    129116      2327     11199    553173     16117   1544688   1169936     11.75     12.37  --
179.32/44.92	c  N dy   533    137560      2327     11199    553173     24362   1544688   2231380     11.70     12.37  --
187.71/47.05	c  N dy   564    146604      2327     11199    553173     17601   1544687   1367856     11.66     12.36  --
196.10/49.15	c  N dy   623    156443      2327     11199    553173     27246   1544687   2775266     11.75     12.52  --
197.30/49.48	c  S st   627    157975      2327     11199    553173     28743   1544687   2973908     11.74     10.52  --
198.10/49.62	c  S st   627    158478      2327     11199    553173     29244   1544687   3034859     11.74   no data  --
198.10/49.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
198.10/49.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
205.29/51.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 63.8M T:  7.12
205.69/51.59	c bin-w-bin subsume rem            0 bins  time:  0.26 s
212.47/53.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.74 s
212.87/53.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2327 time:  0.22 s
212.87/53.39	c Removed useless bin:       0  fixed:     0  props:   2.77M  time:  0.22 s
236.85/59.35	c lits-rem:      2540  cl-subs:      423  v-elim:      0  v-fix:    0  time: 23.79 s
236.85/59.36	c vivif2 --  cl tried    11199 cl shrink        0 lits rem          0 time: 0.04
237.25/59.43	c vivif2 --  cl tried    28821 cl shrink        0 lits rem          0 time: 0.25
238.07/59.67	c asymm  cl-useful: 0/869/11199 lits-rem:0 time: 0.97
238.07/59.69	c calculated reachability. Time: 0.01
238.07/59.69	c  N dy   627    158478      2327     11199    553173     28821   1544657   2994110     11.74   no data  --
248.03/62.16	c  N dy   678    169226      2327     11199    553174     22758   1544657   1800978     11.77     12.43  --
258.02/64.65	c  N dy   718    181193      2327     11199    553174     34486   1544657   3242861     11.75     12.39  --
268.82/67.36	c  N dy   758    193035      2327     11199    553174     28432   1544657   2640347     11.69     12.31  --
282.01/70.66	c  N dy   789    205982      2327     11199    553174     22444   1544657   1853767     11.62     12.27  --
298.36/74.76	c  N dy   851    219340      2327     11199    553174     35394   1544657   3604623     11.68     12.30  --
313.54/78.59	c  N dy   910    233463      2327     11199    553174     29727   1544656   3054128     11.70     12.34  --
319.94/80.17	c  S st   923    237718      2327     11199    553174     33896   1544656   3726416     11.70      9.78  --
320.74/80.34	c  S st   923    238220      2327     11199    553174     34395   1544655   3796389     11.70   no data  --
320.74/80.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
320.74/80.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
331.52/83.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 75.9M T: 10.90
332.32/83.28	c bin-w-bin subsume rem            0 bins  time:  0.26 s
337.52/84.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.10 s
337.92/84.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2327 time:  0.22 s
337.92/84.67	c Removed useless bin:       0  fixed:     0  props:   2.77M  time:  0.22 s
373.07/93.47	c lits-rem:      1815  cl-subs:      914  v-elim:      0  v-fix:    0  time: 35.12 s
373.07/93.48	c vivif2 --  cl tried    11199 cl shrink        1 lits rem          1 time: 0.04
373.48/93.55	c vivif2 --  cl tried    33481 cl shrink       17 lits rem         17 time: 0.29
374.69/93.84	c asymm  cl-useful: 0/487/11199 lits-rem:0 time: 1.14
374.69/93.85	c calculated reachability. Time: 0.01
374.69/93.85	c  N dy   923    238220      2327     11199    553174     33481   1544646   3732902     11.70   no data  --
393.04/98.49	c  N dy   979    254048      2327     11199    553174     28390   1544645   2544267     11.70     12.33  --
411.02/102.96	c  N dy  1061    270329      2327     11199    553174     22823   1544644   1881155     11.76     17.97  --
429.79/107.64	c  N dy  1127    287798      2327     11199    553174     39862   1544643   4180440     11.79     12.53  --
450.97/112.94	c  F st  1201    306254      2327     11199    553174     35489   1544641   3774243     11.81     12.82  --
451.37/113.02	c  N st  1201    306254      2327     11199    553174     35489   1544641   3774243     11.81     12.82  --
475.35/119.08	c  N dy  1262    326422      2327     11199    553175     31805   1544641   3012031     11.81     12.49  --
501.72/125.62	c  N dy  1359    346569      2327     11199    553175     27059   1544639   2198906     11.91     12.85  --
513.69/128.61	c  S st  1404    357330      2327     11199    553175     37571   1544639   3702783     11.92     11.80  --
514.09/128.77	c  S st  1404    357833      2327     11199    553175     38074   1544639   3747759     11.92   no data  --
514.09/128.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
514.09/128.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
523.70/131.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 77.9M T:  9.61
524.48/131.38	c bin-w-bin subsume rem            0 bins  time:  0.26 s
530.07/132.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.55 s
530.47/132.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2327 time:  0.22 s
530.47/132.88	c Removed useless bin:       0  fixed:     0  props:   2.77M  time:  0.22 s
563.25/141.05	c lits-rem:      2630  cl-subs:      798  v-elim:      0  v-fix:    0  time: 32.60 s
563.25/141.06	c vivif2 --  cl tried    11199 cl shrink        0 lits rem          0 time: 0.04
563.65/141.14	c vivif2 --  cl tried    37276 cl shrink       23 lits rem         23 time: 0.32
564.83/141.45	c asymm  cl-useful: 0/336/11199 lits-rem:0 time: 1.26
564.83/141.47	c calculated reachability. Time: 0.01
564.83/141.47	c  N dy  1404    357833      2327     11199    553175     37276   1544625   3700412     11.92   no data  --
590.78/147.92	c  N dy  1498    378418      2327     11199    553176     31962   1544624   2870705     11.97     12.78  --
617.55/154.68	c  N dy  1574    398579      2327     11199    553176     51510   1544623   5260257     11.96     12.71  --
641.52/160.63	c  N dy  1651    418744      2327     11199    553176     44754   1544623   4012927     11.97     12.81  --
665.89/166.74	c  N dy  1731    439070      2327     11199    553176     37311   1544623   3325813     12.02     12.68  --
691.85/173.25	c  N dy  1817    459123      2327     11199    553176     28625   1544623   1899067     12.04     12.87  --
714.23/178.82	c  N dy  1910    479154      2327     11199    553177     48075   1544623   4622904     12.06     16.00  --
739.42/185.13	c  N dy  2005    499655      2327     11199    553177     38818   1544623   2885532     12.09     13.00  --
766.16/191.85	c  N dy  2087    520317      2327     11199    553177     58814   1544623   5329830     12.11     12.76  --
784.14/196.36	c  S st  2147    536750      2327     11199    553177     44790   1544623   4041485     12.11   no data  --
784.94/196.53	c  S st  2147    537254      2327     11199    553177     45293   1544623   4095846     12.11   no data  --
784.94/196.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
784.94/196.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
794.93/199.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 80.2M T: 10.03
795.72/199.25	c bin-w-bin subsume rem            0 bins  time:  0.26 s
801.31/200.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.42 s
801.31/200.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2327 time:  0.22 s
801.71/200.72	c Removed useless bin:       0  fixed:     0  props:   2.77M  time:  0.22 s
832.08/208.31	c lits-rem:      1202  cl-subs:     1456  v-elim:      0  v-fix:    0  time: 30.30 s
832.08/208.32	c vivif2 --  cl tried    11199 cl shrink        1 lits rem          1 time: 0.04
832.48/208.41	c vivif2 --  cl tried    43837 cl shrink      289 lits rem        289 time: 0.38
833.68/208.71	c asymm  cl-useful: 0/337/11199 lits-rem:0 time: 1.19
833.68/208.72	c calculated reachability. Time: 0.01
833.68/208.72	c  N dy  2147    537254      2327     11199    553177     43837   1544581   4043365     12.11   no data  --
865.64/216.72	c  N dy  2250    557395      2327     11199    553177     32363   1544581   2209933     12.16     12.87  --
887.20/222.18	c  N dy  2328    577412      2327     11199    553177     51844   1544581   4523660     12.16     12.82  --
912.38/228.50	c  N dy  2412    597444      2327     11199    553177     39252   1544581   2753276     12.17     35.06  --
938.74/235.02	c  N dy  2490    618093      2327     11199    553177     59403   1544580   5703173     12.16     13.16  --
966.70/242.07	c  N dy  2606    639041      2327     11199    553177     46729   1544580   3731950     12.22     13.09  --
996.66/249.55	c  N dy  2695    659242      2327     11199    553177     66359   1544579   6309090     12.24     12.98  --
1021.43/255.73	c  N dy  2772    679342      2327     11199    553177     51927   1544579   4570834     12.24     13.17  --
1057.78/264.89	c  N dy  2848    699594      2327     11199    553177     36482   1544578   2334032     12.24     12.99  --
1084.54/271.54	c  N dy  2938    719680      2327     11199    553177     56060   1544577   4771645     12.27     24.87  --
1117.71/279.88	c  N dy  3025    739777      2327     11199    553177     39558   1544577   2653904     12.29     13.30  --
1144.87/286.65	c  N dy  3096    760664      2327     11199    553177     59990   1544577   5255174     12.30     13.02  --
1175.63/294.30	c  N dy  3158    781165      2327     11199    553177     42891   1544577   3036132     12.29     13.28  --
1201.20/300.75	c  N dy  3243    801260      2327     11199    553177     62429   1544577   5299895     12.30     13.00  --
1208.39/302.54	c  S st  3266    805881      2327     11199    553177     66918   1544577   5897435     12.30     11.70  --
1209.21/302.73	c  S st  3266    806384      2327     11199    553177     67420   1544577   5970875     12.30   no data  --
1209.21/302.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
1209.21/302.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1222.79/306.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 101.1M T: 13.64
1223.96/306.43	c bin-w-bin subsume rem            0 bins  time:  0.26 s
1231.58/308.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.62 s
1231.58/308.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2327 time:  0.22 s
1231.96/308.45	c Removed useless bin:       0  fixed:     0  props:   2.77M  time:  0.22 s
1417.30/354.85	c lits-rem:      2914  cl-subs:     2285  v-elim:      0  v-fix:    0  time: 185.16 s
1417.30/354.86	c vivif2 --  cl tried    11199 cl shrink        0 lits rem          0 time: 0.04
1418.10/355.01	c vivif2 --  cl tried    65135 cl shrink        0 lits rem          0 time: 0.58
1419.70/355.40	c asymm  cl-useful: 0/246/11199 lits-rem:0 time: 1.56
1419.70/355.42	c calculated reachability. Time: 0.01
1419.70/355.42	c  N dy  3266    806384      2327     11199    553177     65135   1544555   5872444     12.30   no data  --
1448.06/362.53	c  N dy  3337    826844      2327     11199    553177     47078   1544555   3419179     12.30     12.95  --
1476.43/369.64	c  N dy  3414    846865      2327     11199    553177     66559   1544555   5845938     12.30     13.29  --
1507.58/377.46	c  N dy  3497    867042      2327     11199    553177     47349   1544555   3395235     12.32     12.97  --
1535.54/384.49	c  N dy  3563    887198      2327     11199    553177     66889   1544555   5519992     12.31     13.01  --
1563.91/391.52	c  N dy  3652    907465      2327     11199    553177     46646   1544555   3167019     12.32     13.03  --
1588.28/397.69	c  N dy  3744    927611      2327     11199    553177     66325   1544555   5558654     12.33     13.15  --
1618.26/405.11	c  N dy  3815    948624      2327     11199    553178     45791   1544555   2911314     12.33     13.05  --
1643.81/411.58	c  N dy  3897    968641      2327     11199    553178     65238   1544555   5209867     12.33     13.13  --
1679.38/420.50	c  N dy  3987    988692      2327     11199    553178     42906   1544555   2525022     12.36     13.05  --
1703.33/426.43	c  N dy  4064   1009500      2327     11199    553178     63078   1544555   4786978     12.35     13.26  --
1732.11/433.64	c  N dy  4139   1030141      2327     11199    553179     83140   1544555   7204849     12.35     13.10  --
1758.49/440.30	c  N dy  4231   1051313      2327     11199    553179     61013   1544555   4711661     12.38     13.28  --
1790.03/448.12	c  F st  4318   1071875      2327     11199    553179     81026   1544555   7058297     12.38      9.30  --
1790.03/448.19	c  N st  4318   1071875      2327     11199    553179     81026   1544555   7058297     12.38      9.30  --
1820.01/455.65	c  N dy  4387   1094537      2327     11199    553179     59289   1544555   4108423     12.38     13.17  --
1847.56/462.54	c  N dy  4482   1114739      2327     11199    553179     78929   1544555   6527863     12.40     13.19  --
1877.53/470.09	c  N dy  4590   1135393      2327     11199    553179     54309   1544555   3397275     12.43     14.13  --
1904.67/476.87	c  N dy  4673   1155483      2327     11199    553179     73821   1544555   5575402     12.44     13.18  --
1939.05/485.49	c  N dy  4775   1176443      2327     11199    553179     48556   1544555   2819698     12.46     13.23  --
1965.42/492.03	c  N dy  4864   1197459      2327     11199    553179     68992   1544555   5279506     12.46     13.21  --
1985.38/497.08	c  S st  4918   1209579      2327     11199    553179     80755   1544554   6611076     12.47   no data  --
1986.58/497.30	c  S st  4918   1210081      2327     11199    553179     81255   1544554   6681123     12.47   no data  --
1986.58/497.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
1986.58/497.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2003.36/501.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 106.9M T: 16.82
2004.57/501.82	c bin-w-bin subsume rem            0 bins  time:  0.25 s
2012.14/503.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.55 s
2012.14/503.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2327 time:  0.22 s
2012.54/503.82	c Removed useless bin:       0  fixed:     0  props:   2.77M  time:  0.22 s
2235.84/559.74	c lits-rem:       934  cl-subs:     4011  v-elim:      0  v-fix:    0  time: 223.19 s
2235.84/559.75	c vivif2 --  cl tried    11199 cl shrink        1 lits rem          1 time: 0.04
2236.63/559.94	c vivif2 --  cl tried    77244 cl shrink     1768 lits rem       1768 time: 0.76
2237.85/560.27	c asymm  cl-useful: 0/226/11199 lits-rem:0 time: 1.32
2237.85/560.29	c calculated reachability. Time: 0.01
2237.85/560.29	c  N dy  4918   1210081      2327     11199    553179     77244   1544551   6569528     12.47   no data  --
2273.01/569.03	c  N dy  5017   1230463      2327     11199    553180     50460   1544551   3248869     12.49     13.22  --
2298.16/575.34	c  N dy  5076   1250925      2327     11199    553180     70310   1544550   5469159     12.48     13.14  --
2334.91/584.50	c  N dy  5189   1271039      2327     11199    553180     89833   1544550   7930702     12.51     13.19  --
2364.07/591.89	c  N dy  5278   1291157      2327     11199    553180     61813   1544550   4427434     12.53     13.26  --
2395.65/599.76	c  N dy  5371   1311163      2327     11199    553180     81250   1544550   6706090     12.55     13.23  --
2434.78/609.57	c  N dy  5448   1331376      2327     11199    553180     52295   1544550   3185541     12.55     13.23  --
2462.33/616.48	c  N dy  5521   1352208      2327     11199    553180     72536   1544550   5624962     12.55     13.24  --
2500.29/625.90	c  N dy  5609   1372935      2327     11199    553180     92639   1544550   7943196     12.56     13.51  --
2531.45/633.76	c  N dy  5693   1393851      2327     11199    553180     63350   1544550   4368397     12.56     13.41  --
2561.02/641.15	c  N dy  5767   1414778      2327     11199    553180     83591   1544550   6239603     12.56     13.24  --
2593.78/649.31	c  N dy  5849   1434862      2327     11199    553180     52685   1544550   3117347     12.56     13.32  --
2618.14/655.43	c  N dy  5948   1455035      2327     11199    553180     72265   1544550   5356270     12.58     13.28  --
2650.51/663.59	c  N dy  6036   1475204      2327     11199    553180     91837   1544550   7569264     12.58     13.58  --
2680.47/671.07	c  N dy  6103   1495269      2327     11199    553180     59933   1544550   3651992     12.58     18.43  --
2708.05/677.95	c  N dy  6175   1515351      2327     11199    553180     79306   1544550   5684427     12.58     26.60  --
2741.19/686.27	c  N dy  6247   1535558      2327     11199    553181     98842   1544550   7808015     12.58     13.29  --
2767.16/692.70	c  N dy  6321   1555653      2327     11199    553181     65977   1544550   4221208     12.57     20.73  --
2793.92/699.40	c  N dy  6401   1576013      2327     11199    553181     85773   1544550   6614305     12.58     13.29  --
2829.49/708.32	c  N dy  6498   1596878      2327     11199    553181    105991   1544550   9029230     12.60     13.33  --
2855.85/714.96	c  N dy  6578   1617442      2327     11199    553181     72643   1544550   5047098     12.60     13.84  --
2885.82/722.41	c  N dy  6647   1637611      2327     11199    553181     92154   1544550   7004599     12.59     13.70  --
2920.17/731.02	c  N dy  6714   1657719      2327     11199    553181     57439   1544550   3263670     12.59     13.48  --
2947.34/737.83	c  N dy  6791   1679620      2327     11199    553181     78708   1544550   5606031     12.59     13.61  --
2979.70/745.92	c  N dy  6880   1700073      2327     11199    553181     98520   1544550   7958645     12.59     13.39  --
2998.88/750.79	c  S st  6913   1710083      2327     11199    553181    108184   1544550   8848470     12.59      7.94  --
3000.08/751.09	c  S st  6913   1710585      2327     11199    553181    108685   1544550   8903978     12.59   no data  --
3000.48/751.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
3000.48/751.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3018.85/755.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 119.8M T: 18.58
3020.45/756.12	c bin-w-bin subsume rem            0 bins  time:  0.26 s
3026.05/757.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.76 s
3026.45/757.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2327 time:  0.22 s
3026.45/757.67	c Removed useless bin:       0  fixed:     0  props:   2.77M  time:  0.22 s
3520.17/881.30	c lits-rem:      2032  cl-subs:     6300  v-elim:      0  v-fix:    0  time: 493.04 s
3520.59/881.31	c vivif2 --  cl tried    11199 cl shrink        1 lits rem          1 time: 0.04
3521.37/881.57	c vivif2 --  cl tried   102385 cl shrink     1404 lits rem       1404 time: 1.05
3522.97/881.97	c asymm  cl-useful: 0/192/11199 lits-rem:0 time: 1.59
3522.97/881.98	c calculated reachability. Time: 0.01
3522.97/881.98	c  N dy  6913   1710585      2327     11199    553181    102385   1544549   8733089     12.59   no data  --
3556.92/890.41	c  N dy  7000   1730974      2327     11199    553181     67015   1544549   4469695     12.59     13.35  --
3590.08/898.74	c  N dy  7080   1751234      2327     11199    553181     86504   1544549   6576530     12.59     13.41  --
3632.02/909.26	c  N dy  7165   1771247      2327     11199    553181    105906   1544549   9024789     12.61     22.03  --
3666.77/917.97	c  N dy  7257   1791940      2327     11199    553181     69908   1544549   4878916     12.62     13.29  --
3704.72/927.40	c  N dy  7322   1812481      2327     11199    553181     89767   1544549   6999659     12.61     13.34  --
3749.86/938.73	c  N dy  7417   1833322      2327     11199    553182    109991   1544549   9245403     12.63     13.38  --
3781.42/946.60	c  N dy  7517   1853891      2327     11199    553182     72799   1544549   4912433     12.64     13.69  --
3812.59/954.40	c  N dy  7584   1874312      2327     11199    553182     92665   1544549   7025487     12.64     13.47  --
3852.94/964.57	c  N dy  7697   1895301      2327     11199    553182    113019   1544549   9469211     12.65     13.32  --
3881.70/971.75	c  N dy  7800   1915304      2327     11199    553182     74299   1544549   5152068     12.67     13.37  --
3916.85/980.54	c  N dy  7897   1935891      2327     11199    553182     94260   1544549   7330136     12.68     13.45  --
3954.01/989.85	c  N dy  7967   1955991      2327     11199    553182    113646   1544549   9376337     12.68     17.17  --
3985.17/997.69	c  N dy  8050   1976011      2327     11199    553182     73879   1544549   4758221     12.68     13.91  --
4019.52/1006.24	c  N dy  8132   1996334      2327     11199    553182     93590   1544548   6840703     12.68     13.36  --
4063.47/1017.24	c  N dy  8252   2016716      2327     11199    553182    113385   1544548   9313797     12.70     13.43  --
4099.83/1026.31	c  N dy  8339   2037203      2327     11199    553182     73184   1544548   4754098     12.71     13.62  --
4132.18/1034.43	c  N dy  8431   2057325      2327     11199    553183     92670   1544548   6878498     12.72     13.43  --
4175.74/1045.34	c  N dy  8529   2079239      2327     11199    553183    113811   1544548   9139471     12.73     13.68  --
4210.49/1054.03	c  N dy  8618   2099359      2327     11199    553183     72271   1544548   4092668     12.73     13.45  --
4236.86/1060.70	c  N dy  8688   2119897      2327     11199    553183     92174   1544548   6263354     12.74     13.54  --
4269.59/1068.89	c  N dy  8762   2139907      2327     11199    553183    111600   1544548   8440405     12.74     16.02  --
4306.35/1078.06	c  N dy  8875   2160792      2327     11199    553183     69814   1544548   4066065     12.75     13.75  --
4334.71/1085.12	c  N dy  8957   2180873      2327     11199    553183     89258   1544548   6286667     12.76     14.05  --
4373.86/1094.93	c  N dy  9064   2201313      2327     11199    553183    109088   1544548   8424502     12.77     13.48  --
4394.24/1100.04	c  S st  9113   2210586      2327     11199    553183    118078   1544548   9427151     12.77   no data  --
4395.45/1100.33	c  S st  9113   2211088      2327     11199    553183    118577   1544548   9492641     12.77   no data  --
4395.45/1100.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
4395.45/1100.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4415.40/1105.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 131.5M T: 19.94
4416.61/1105.70	c bin-w-bin subsume rem            0 bins  time:  0.26 s
4422.20/1107.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.22 s
4422.20/1107.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2327 time:  0.22 s
4422.60/1107.12	c Removed useless bin:       0  fixed:     0  props:   2.77M  time:  0.22 s

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-3251639-1304182916/watcher-3251639-1304182916 -o /tmp/evaluation-result-3251639-1304182916/solver-3251639-1304182916 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3251639-1304182916.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: 3.68 4.62 6.14 8/180 10168
/proc/meminfo: memFree=30428356/32950928 swapFree=67111464/67111528
[pid=10168] ppid=10166 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/10168/stat : 10168 (strangenight1-m) R 10166 10168 9128 0 -1 4202496 413 0 0 0 0 0 0 0 21 0 4 0 529890401 52465664 352 33554432000 4194304 4650419 140736501232960 18446744073709551615 47383247185842 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10168/statm: 12809 352 303 112 0 7774 0
[pid=10168/tid=10169] ppid=10166 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/10168/task/10169/stat : 10169 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 529890401 52465664 352 33554432000 4194304 4650419 140736501232960 18446744073709551615 47383247185842 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10168/tid=10170] ppid=10166 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/10168/task/10170/stat : 10170 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 529890401 52465664 352 33554432000 4194304 4650419 140736501232960 18446744073709551615 268272745457 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10168/tid=10171] ppid=10166 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/10168/task/10171/stat : 10171 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 529890401 52465664 352 33554432000 4194304 4650419 140736501232960 18446744073709551615 47383247185842 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.105712 s]
/proc/loadavg: 3.68 4.62 6.14 8/180 10168
/proc/meminfo: memFree=30428356/32950928 swapFree=67111464/67111528
[pid=10168] ppid=10166 vsize=295776 CPUtime=0.4 cores=0,2,4,6
/proc/10168/stat : 10168 (strangenight1-m) R 10166 10168 9128 0 -1 4202496 14174 0 0 0 35 5 0 0 23 0 4 0 529890401 302874624 13957 33554432000 4194304 4650419 140736501232960 18446744073709551615 4545938 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10168/statm: 73944 14241 353 112 0 68909 0
[pid=10168/tid=10169] ppid=10166 vsize=295776 CPUtime=0.1 cores=0,2,4,6
/proc/10168/task/10169/stat : 10169 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 3455 0 0 0 8 2 0 0 18 0 4 0 529890401 302874624 14282 33554432000 4194304 4650419 140736501232960 18446744073709551615 268272732343 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10168/tid=10170] ppid=10166 vsize=295776 CPUtime=0.09 cores=0,2,4,6
/proc/10168/task/10170/stat : 10170 (strangenight1-m) D 10166 10168 9128 0 -1 4202560 3598 0 0 0 8 1 0 0 18 0 4 0 529890401 302874624 14542 33554432000 4194304 4650419 140736501232960 18446744073709551615 268272732343 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10168/tid=10171] ppid=10166 vsize=295800 CPUtime=0.1 cores=0,2,4,6
/proc/10168/task/10171/stat : 10171 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 3672 0 0 0 10 0 0 0 18 0 4 0 529890401 302899200 14809 33554432000 4194304 4650419 140736501232960 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 295776

[startup+0.439522 s]
/proc/loadavg: 3.68 4.62 6.14 8/180 10168
/proc/meminfo: memFree=30428356/32950928 swapFree=67111464/67111528
[pid=10168] ppid=10166 vsize=297120 CPUtime=1.73 cores=0,2,4,6
/proc/10168/stat : 10168 (strangenight1-m) R 10166 10168 9128 0 -1 4202496 20864 0 0 0 166 7 0 0 25 0 4 0 529890401 304250880 20635 33554432000 4194304 4650419 140736501232960 18446744073709551615 268272350241 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10168/statm: 74280 20671 385 112 0 69245 0
[pid=10168/tid=10169] ppid=10166 vsize=297120 CPUtime=0.42 cores=0,2,4,6
/proc/10168/task/10169/stat : 10169 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 5476 0 0 0 40 2 0 0 18 0 4 0 529890401 304250880 20720 33554432000 4194304 4650419 140736501232960 18446744073709551615 268272350241 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10168/tid=10170] ppid=10166 vsize=306292 CPUtime=0.42 cores=0,2,4,6
/proc/10168/task/10170/stat : 10170 (strangenight1-m) D 10166 10168 9128 0 -1 4202560 5220 0 0 0 40 2 0 0 18 0 4 0 529890401 313643008 20746 33554432000 4194304 4650419 140736501232960 18446744073709551615 268272350241 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10168/tid=10171] ppid=10166 vsize=306292 CPUtime=0.42 cores=0,2,4,6
/proc/10168/task/10171/stat : 10171 (strangenight1-m) D 10166 10168 9128 0 -1 4202560 4626 0 0 0 42 0 0 0 18 0 4 0 529890401 313643008 20756 33554432000 4194304 4650419 140736501232960 18446744073709551615 268272349893 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 297120

[startup+0.538822 s]
/proc/loadavg: 3.68 4.62 6.14 8/180 10168
/proc/meminfo: memFree=30428356/32950928 swapFree=67111464/67111528
[pid=10168] ppid=10166 vsize=298688 CPUtime=2.11 cores=0,2,4,6
/proc/10168/stat : 10168 (strangenight1-m) R 10166 10168 9128 0 -1 4202496 25050 0 0 0 202 9 0 0 25 0 4 0 529890401 305856512 24168 33554432000 4194304 4650419 140736501232960 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10168/statm: 74672 24168 389 112 0 69637 0
[pid=10168/tid=10169] ppid=10166 vsize=298688 CPUtime=0.52 cores=0,2,4,6
/proc/10168/task/10169/stat : 10169 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 6495 0 0 0 49 3 0 0 18 0 4 0 529890401 305856512 24169 33554432000 4194304 4650419 140736501232960 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10168/tid=10170] ppid=10166 vsize=298688 CPUtime=0.51 cores=0,2,4,6
/proc/10168/task/10170/stat : 10170 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 6510 0 0 0 49 2 0 0 18 0 4 0 529890401 305856512 24169 33554432000 4194304 4650419 140736501232960 18446744073709551615 268272794094 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10168/tid=10171] ppid=10166 vsize=298688 CPUtime=0.52 cores=0,2,4,6
/proc/10168/task/10171/stat : 10171 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 5161 0 0 0 52 0 0 0 18 0 4 0 529890401 305856512 24169 33554432000 4194304 4650419 140736501232960 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.11
Current children cumulated vsize (KiB) 298688

[startup+0.700606 s]
/proc/loadavg: 3.68 4.62 6.14 8/180 10168
/proc/meminfo: memFree=30428356/32950928 swapFree=67111464/67111528
[pid=10168] ppid=10166 vsize=300024 CPUtime=2.75 cores=0,2,4,6
/proc/10168/stat : 10168 (strangenight1-m) R 10166 10168 9128 0 -1 4202496 32920 0 0 0 263 12 0 0 25 0 4 0 529890401 307224576 32038 33554432000 4194304 4650419 140736501232960 18446744073709551615 4451365 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10168/statm: 75006 32038 389 112 0 69971 0
[pid=10168/tid=10169] ppid=10166 vsize=300024 CPUtime=0.68 cores=0,2,4,6
/proc/10168/task/10169/stat : 10169 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 9315 0 0 0 64 4 0 0 18 0 4 0 529890401 307224576 32038 33554432000 4194304 4650419 140736501232960 18446744073709551615 4451365 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10168/tid=10170] ppid=10166 vsize=300024 CPUtime=0.68 cores=0,2,4,6
/proc/10168/task/10170/stat : 10170 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 9453 0 0 0 64 4 0 0 18 0 4 0 529890401 307224576 32038 33554432000 4194304 4650419 140736501232960 18446744073709551615 4432373 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10168/tid=10171] ppid=10166 vsize=300024 CPUtime=0.69 cores=0,2,4,6
/proc/10168/task/10171/stat : 10171 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 5498 0 0 0 68 1 0 0 18 0 4 0 529890401 307224576 32042 33554432000 4194304 4650419 140736501232960 18446744073709551615 268272385803 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 300024

[startup+1.50046 s]
/proc/loadavg: 4.11 4.69 6.16 9/184 10172
/proc/meminfo: memFree=30252732/32950928 swapFree=67111464/67111528
[pid=10168] ppid=10166 vsize=302316 CPUtime=5.96 cores=0,2,4,6
/proc/10168/stat : 10168 (strangenight1-m) R 10166 10168 9128 0 -1 4202496 38139 0 0 0 582 14 0 0 25 0 4 0 529890401 309571584 36012 33554432000 4194304 4650419 140736501232960 18446744073709551615 4352090 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10168/statm: 75579 36012 392 112 0 70544 0
[pid=10168/tid=10169] ppid=10166 vsize=302316 CPUtime=1.48 cores=0,2,4,6
/proc/10168/task/10169/stat : 10169 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 10381 0 0 0 144 4 0 0 19 0 4 0 529890401 309571584 36012 33554432000 4194304 4650419 140736501232960 18446744073709551615 4315153 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10168/tid=10170] ppid=10166 vsize=302316 CPUtime=1.47 cores=0,2,4,6
/proc/10168/task/10170/stat : 10170 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 10494 0 0 0 143 4 0 0 19 0 4 0 529890401 309571584 36013 33554432000 4194304 4650419 140736501232960 18446744073709551615 4314793 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10168/tid=10171] ppid=10166 vsize=302316 CPUtime=1.48 cores=0,2,4,6
/proc/10168/task/10171/stat : 10171 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 7293 0 0 0 147 1 0 0 19 0 4 0 529890401 309571584 36013 33554432000 4194304 4650419 140736501232960 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 302316

[startup+3.10017 s]
/proc/loadavg: 4.11 4.69 6.16 9/184 10172
/proc/meminfo: memFree=30241076/32950928 swapFree=67111464/67111528
[pid=10168] ppid=10166 vsize=317012 CPUtime=12.35 cores=0,2,4,6
/proc/10168/stat : 10168 (strangenight1-m) R 10166 10168 9128 0 -1 4202496 49028 0 0 0 1219 16 0 0 25 0 4 0 529890401 324620288 37080 33554432000 4194304 4650419 140736501232960 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10168/statm: 79253 37080 393 112 0 74218 0
[pid=10168/tid=10169] ppid=10166 vsize=317012 CPUtime=3.08 cores=0,2,4,6
/proc/10168/task/10169/stat : 10169 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 13564 0 0 0 303 5 0 0 22 0 4 0 529890401 324620288 37081 33554432000 4194304 4650419 140736501232960 18446744073709551615 4364984 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10168/tid=10170] ppid=10166 vsize=317012 CPUtime=3.06 cores=0,2,4,6
/proc/10168/task/10170/stat : 10170 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 12179 0 0 0 302 4 0 0 22 0 4 0 529890401 324620288 37081 33554432000 4194304 4650419 140736501232960 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10168/tid=10171] ppid=10166 vsize=317012 CPUtime=3.08 cores=0,2,4,6
/proc/10168/task/10171/stat : 10171 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 10058 0 0 0 307 1 0 0 23 0 4 0 529890401 324620288 37081 33554432000 4194304 4650419 140736501232960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 317012

[startup+6.30061 s]
/proc/loadavg: 4.50 4.76 6.17 9/184 10172
/proc/meminfo: memFree=30140648/32950928 swapFree=67111464/67111528
[pid=10168] ppid=10166 vsize=333036 CPUtime=25.12 cores=0,2,4,6
/proc/10168/stat : 10168 (strangenight1-m) R 10166 10168 9128 0 -1 4202496 68380 0 0 0 2493 19 0 0 25 0 4 0 529890401 341028864 45629 33554432000 4194304 4650419 140736501232960 18446744073709551615 4370732 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10168/statm: 83259 45629 394 112 0 78224 0
[pid=10168/tid=10169] ppid=10166 vsize=333036 CPUtime=6.29 cores=0,2,4,6
/proc/10168/task/10169/stat : 10169 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 18735 0 0 0 623 6 0 0 25 0 4 0 529890401 341028864 45629 33554432000 4194304 4650419 140736501232960 18446744073709551615 4333987 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10168/tid=10170] ppid=10166 vsize=333036 CPUtime=6.25 cores=0,2,4,6
/proc/10168/task/10170/stat : 10170 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 15555 0 0 0 620 5 0 0 25 0 4 0 529890401 341028864 45629 33554432000 4194304 4650419 140736501232960 18446744073709551615 4333785 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10168/tid=10171] ppid=10166 vsize=333036 CPUtime=6.28 cores=0,2,4,6
/proc/10168/task/10171/stat : 10171 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 16333 0 0 0 626 2 0 0 25 0 4 0 529890401 341028864 45629 33554432000 4194304 4650419 140736501232960 18446744073709551615 4436457 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 333036

[startup+12.7005 s]
/proc/loadavg: 4.78 4.81 6.18 9/184 10172
/proc/meminfo: memFree=30043700/32950928 swapFree=67111464/67111528
[pid=10168] ppid=10166 vsize=475748 CPUtime=50.68 cores=0,2,4,6
/proc/10168/stat : 10168 (strangenight1-m) R 10166 10168 9128 0 -1 4202496 98646 0 0 0 5043 25 0 0 25 0 4 0 529890401 487165952 64956 33554432000 4194304 4650419 140736501232960 18446744073709551615 4370749 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10168/statm: 118937 64956 394 112 0 113902 0
[pid=10168/tid=10169] ppid=10166 vsize=475748 CPUtime=12.68 cores=0,2,4,6
/proc/10168/task/10169/stat : 10169 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 27122 0 0 0 1261 7 0 0 25 0 4 0 529890401 487165952 64956 33554432000 4194304 4650419 140736501232960 18446744073709551615 4328361 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10168/tid=10170] ppid=10166 vsize=475748 CPUtime=12.62 cores=0,2,4,6
/proc/10168/task/10170/stat : 10170 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 24021 0 0 0 1255 7 0 0 25 0 4 0 529890401 487165952 64956 33554432000 4194304 4650419 140736501232960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10168/tid=10171] ppid=10166 vsize=475748 CPUtime=12.68 cores=0,2,4,6
/proc/10168/task/10171/stat : 10171 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 20672 0 0 0 1265 3 0 0 25 0 4 0 529890401 487165952 64956 33554432000 4194304 4650419 140736501232960 18446744073709551615 4313048 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) 475748

[startup+25.5002 s]
/proc/loadavg: 5.49 4.97 6.21 9/184 10172
/proc/meminfo: memFree=29862832/32950928 swapFree=67111464/67111528
[pid=10168] ppid=10166 vsize=497568 CPUtime=101.84 cores=0,2,4,6
/proc/10168/stat : 10168 (strangenight1-m) R 10166 10168 9128 0 -1 4202496 137905 0 0 0 10149 35 0 0 25 0 4 0 529890401 509509632 83727 33554432000 4194304 4650419 140736501232960 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10168/statm: 124392 83727 394 112 0 119357 0
[pid=10168/tid=10169] ppid=10166 vsize=497568 CPUtime=25.49 cores=0,2,4,6
/proc/10168/task/10169/stat : 10169 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 40373 0 0 0 2538 11 0 0 25 0 4 0 529890401 509509632 83727 33554432000 4194304 4650419 140736501232960 18446744073709551615 4314709 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10168/tid=10170] ppid=10166 vsize=497568 CPUtime=25.36 cores=0,2,4,6
/proc/10168/task/10170/stat : 10170 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 32579 0 0 0 2528 8 0 0 25 0 4 0 529890401 509509632 83727 33554432000 4194304 4650419 140736501232960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10168/tid=10171] ppid=10166 vsize=497568 CPUtime=25.48 cores=0,2,4,6
/proc/10168/task/10171/stat : 10171 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 29668 0 0 0 2543 5 0 0 25 0 4 0 529890401 509509632 83727 33554432000 4194304 4650419 140736501232960 18446744073709551615 4439366 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 497568

[startup+51.1006 s]
/proc/loadavg: 6.35 5.21 6.26 9/184 10173
/proc/meminfo: memFree=29670068/32950928 swapFree=67111464/67111528
[pid=10168] ppid=10166 vsize=636324 CPUtime=204.09 cores=0,2,4,6
/proc/10168/stat : 10168 (strangenight1-m) R 10166 10168 9128 0 -1 4202496 209779 0 0 0 20357 52 0 0 25 0 4 0 529890401 651595776 102812 33554432000 4194304 4650419 140736501232960 18446744073709551615 4345615 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10168/statm: 159081 102812 394 112 0 154046 0
[pid=10168/tid=10169] ppid=10166 vsize=636324 CPUtime=51.08 cores=0,2,4,6
/proc/10168/task/10169/stat : 10169 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 57992 0 0 0 5094 14 0 0 25 0 4 0 529890401 651595776 102812 33554432000 4194304 4650419 140736501232960 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10168/tid=10170] ppid=10166 vsize=636324 CPUtime=50.84 cores=0,2,4,6
/proc/10168/task/10170/stat : 10170 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 48264 0 0 0 5072 12 0 0 25 0 4 0 529890401 651595776 102812 33554432000 4194304 4650419 140736501232960 18446744073709551615 4334396 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10168/tid=10171] ppid=10166 vsize=636324 CPUtime=51.09 cores=0,2,4,6
/proc/10168/task/10171/stat : 10171 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 45888 0 0 0 5097 12 0 0 25 0 4 0 529890401 651595776 102812 33554432000 4194304 4650419 140736501232960 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 636324

[startup+102.301 s]
/proc/loadavg: 7.39 5.67 6.36 9/184 10175
/proc/meminfo: memFree=29459964/32950928 swapFree=67111464/67111528
[pid=10168] ppid=10166 vsize=761836 CPUtime=408.62 cores=0,2,4,6
/proc/10168/stat : 10168 (strangenight1-m) R 10166 10168 9128 0 -1 4202496 320844 0 0 0 40782 80 0 0 25 0 4 0 529890401 780120064 135251 33554432000 4194304 4650419 140736501232960 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10168/statm: 190459 135251 394 112 0 185424 0
[pid=10168/tid=10169] ppid=10166 vsize=761836 CPUtime=102.26 cores=0,2,4,6
/proc/10168/task/10169/stat : 10169 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 78025 0 0 0 10208 18 0 0 25 0 4 0 529890401 780120064 135251 33554432000 4194304 4650419 140736501232960 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10168/tid=10170] ppid=10166 vsize=761836 CPUtime=101.78 cores=0,2,4,6
/proc/10168/task/10170/stat : 10170 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 71974 0 0 0 10160 18 0 0 25 0 4 0 529890401 780120064 135251 33554432000 4194304 4650419 140736501232960 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10168/tid=10171] ppid=10166 vsize=761836 CPUtime=102.28 cores=0,2,4,6
/proc/10168/task/10171/stat : 10171 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 85290 0 0 0 10206 22 0 0 25 0 4 0 529890401 780120064 135251 33554432000 4194304 4650419 140736501232960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 761836

[startup+162.301 s]

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

[pid=10168] ppid=10166 vsize=1384760 CPUtime=2805.51 cores=0,2,4,6
/proc/10168/stat : 10168 (strangenight1-m) R 10166 10168 9128 0 -1 4202496 1333176 0 0 0 280188 363 0 0 25 0 4 0 529890401 1417994240 242092 33554432000 4194304 4650419 140736501232960 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10168/statm: 346190 242092 394 112 0 341155 0
[pid=10168/tid=10169] ppid=10166 vsize=1384760 CPUtime=702.22 cores=0,2,4,6
/proc/10168/task/10169/stat : 10169 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 363865 0 0 0 70127 95 0 0 25 0 4 0 529890401 1417994240 242092 33554432000 4194304 4650419 140736501232960 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10168/tid=10170] ppid=10166 vsize=1384760 CPUtime=698.74 cores=0,2,4,6
/proc/10168/task/10170/stat : 10170 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 370626 0 0 0 69782 92 0 0 25 0 4 0 529890401 1417994240 242092 33554432000 4194304 4650419 140736501232960 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10168/tid=10171] ppid=10166 vsize=1384760 CPUtime=702.29 cores=0,2,4,6
/proc/10168/task/10171/stat : 10171 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 272700 0 0 0 70147 82 0 0 25 0 4 0 529890401 1417994240 242092 33554432000 4194304 4650419 140736501232960 18446744073709551615 4365303 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.51
Current children cumulated vsize (KiB) 1384760

[startup+762.301 s]
/proc/loadavg: 8.10 7.81 7.23 9/184 10195
/proc/meminfo: memFree=28489068/32950928 swapFree=67111464/67111528
[pid=10168] ppid=10166 vsize=1337156 CPUtime=3045.22 cores=0,2,4,6
/proc/10168/stat : 10168 (strangenight1-m) R 10166 10168 9128 0 -1 4202496 1416198 0 0 0 304136 386 0 0 25 0 4 0 529890401 1369247744 253323 33554432000 4194304 4650419 140736501232960 18446744073709551615 4439361 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10168/statm: 334289 253323 394 112 0 329254 0
[pid=10168/tid=10169] ppid=10166 vsize=1337156 CPUtime=762.21 cores=0,2,4,6
/proc/10168/task/10169/stat : 10169 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 384833 0 0 0 76122 99 0 0 25 0 4 0 529890401 1369247744 253323 33554432000 4194304 4650419 140736501232960 18446744073709551615 4328424 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10168/tid=10170] ppid=10166 vsize=1337156 CPUtime=758.45 cores=0,2,4,6
/proc/10168/task/10170/stat : 10170 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 397512 0 0 0 75743 102 0 0 25 0 4 0 529890401 1369247744 253323 33554432000 4194304 4650419 140736501232960 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10168/tid=10171] ppid=10166 vsize=1337156 CPUtime=762.29 cores=0,2,4,6
/proc/10168/task/10171/stat : 10171 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 281852 0 0 0 76144 85 0 0 25 0 4 0 529890401 1369247744 253323 33554432000 4194304 4650419 140736501232960 18446744073709551615 4310462 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.22
Current children cumulated vsize (KiB) 1337156

[startup+822.3 s]
/proc/loadavg: 8.11 7.86 7.28 9/184 10197
/proc/meminfo: memFree=28396896/32950928 swapFree=67111464/67111528
[pid=10168] ppid=10166 vsize=1403640 CPUtime=3284.89 cores=0,2,4,6
/proc/10168/stat : 10168 (strangenight1-m) R 10166 10168 9128 0 -1 4202496 1496360 0 0 0 328079 410 0 0 25 0 4 0 529890401 1437327360 253145 33554432000 4194304 4650419 140736501232960 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10168/statm: 350910 253145 394 112 0 345875 0
[pid=10168/tid=10169] ppid=10166 vsize=1403640 CPUtime=822.2 cores=0,2,4,6
/proc/10168/task/10169/stat : 10169 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 406443 0 0 0 82112 108 0 0 25 0 4 0 529890401 1437327360 253145 33554432000 4194304 4650419 140736501232960 18446744073709551615 4334468 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10168/tid=10170] ppid=10166 vsize=1403640 CPUtime=818.12 cores=0,2,4,6
/proc/10168/task/10170/stat : 10170 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 426720 0 0 0 81702 110 0 0 25 0 4 0 529890401 1437327360 253145 33554432000 4194304 4650419 140736501232960 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10168/tid=10171] ppid=10166 vsize=1403640 CPUtime=822.29 cores=0,2,4,6
/proc/10168/task/10171/stat : 10171 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 290261 0 0 0 82140 89 0 0 25 0 4 0 529890401 1437327360 253145 33554432000 4194304 4650419 140736501232960 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.89
Current children cumulated vsize (KiB) 1403640

[startup+882.301 s]
/proc/loadavg: 8.10 7.90 7.33 9/184 10198
/proc/meminfo: memFree=28372924/32950928 swapFree=67111464/67111528
[pid=10168] ppid=10166 vsize=1374144 CPUtime=3524.58 cores=0,2,4,6
/proc/10168/stat : 10168 (strangenight1-m) R 10166 10168 9128 0 -1 4202496 1821357 0 0 0 351993 465 0 0 25 0 4 0 529890401 1407123456 257600 33554432000 4194304 4650419 140736501232960 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10168/statm: 343536 257600 394 112 0 338501 0
[pid=10168/tid=10169] ppid=10166 vsize=1374144 CPUtime=882.2 cores=0,2,4,6
/proc/10168/task/10169/stat : 10169 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 427616 0 0 0 88103 117 0 0 25 0 4 0 529890401 1407123456 257600 33554432000 4194304 4650419 140736501232960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10168/tid=10170] ppid=10166 vsize=1374144 CPUtime=877.8 cores=0,2,4,6
/proc/10168/task/10170/stat : 10170 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 605663 0 0 0 87643 137 0 0 25 0 4 0 529890401 1407123456 257600 33554432000 4194304 4650419 140736501232960 18446744073709551615 4334297 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10168/tid=10171] ppid=10166 vsize=1374144 CPUtime=882.29 cores=0,2,4,6
/proc/10168/task/10171/stat : 10171 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 294498 0 0 0 88138 91 0 0 25 0 4 0 529890401 1407123456 257600 33554432000 4194304 4650419 140736501232960 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.58
Current children cumulated vsize (KiB) 1374144

[startup+942.301 s]
/proc/loadavg: 8.14 7.95 7.38 9/184 10200
/proc/meminfo: memFree=28360472/32950928 swapFree=67111464/67111528
[pid=10168] ppid=10166 vsize=1414460 CPUtime=3764.24 cores=0,2,4,6
/proc/10168/stat : 10168 (strangenight1-m) R 10166 10168 9128 0 -1 4202496 1898197 0 0 0 375932 492 0 0 25 0 4 0 529890401 1448407040 271241 33554432000 4194304 4650419 140736501232960 18446744073709551615 4366906 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10168/statm: 353615 271241 394 112 0 348580 0
[pid=10168/tid=10169] ppid=10166 vsize=1414460 CPUtime=942.2 cores=0,2,4,6
/proc/10168/task/10169/stat : 10169 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 450375 0 0 0 94094 126 0 0 25 0 4 0 529890401 1448407040 271242 33554432000 4194304 4650419 140736501232960 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10168/tid=10170] ppid=10166 vsize=1414460 CPUtime=937.48 cores=0,2,4,6
/proc/10168/task/10170/stat : 10170 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 633804 0 0 0 93600 148 0 0 25 0 4 0 529890401 1448407040 271242 33554432000 4194304 4650419 140736501232960 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10168/tid=10171] ppid=10166 vsize=1414460 CPUtime=942.29 cores=0,2,4,6
/proc/10168/task/10171/stat : 10171 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 294807 0 0 0 94138 91 0 0 25 0 4 0 529890401 1448407040 271242 33554432000 4194304 4650419 140736501232960 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.24
Current children cumulated vsize (KiB) 1414460

[startup+1002.3 s]
/proc/loadavg: 8.08 7.97 7.42 9/184 10202
/proc/meminfo: memFree=28272872/32950928 swapFree=67111464/67111528
[pid=10168] ppid=10166 vsize=1463952 CPUtime=4003.96 cores=0,2,4,6
/proc/10168/stat : 10168 (strangenight1-m) R 10166 10168 9128 0 -1 4202496 1978159 0 0 0 399881 515 0 0 25 0 4 0 529890401 1499086848 290734 33554432000 4194304 4650419 140736501232960 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10168/statm: 365988 290734 394 112 0 360953 0
[pid=10168/tid=10169] ppid=10166 vsize=1463952 CPUtime=1002.19 cores=0,2,4,6
/proc/10168/task/10169/stat : 10169 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 469618 0 0 0 100088 131 0 0 25 0 4 0 529890401 1499086848 290734 33554432000 4194304 4650419 140736501232960 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10168/tid=10170] ppid=10166 vsize=1463952 CPUtime=997.19 cores=0,2,4,6
/proc/10168/task/10170/stat : 10170 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 655313 0 0 0 99566 153 0 0 25 0 4 0 529890401 1499086848 290734 33554432000 4194304 4650419 140736501232960 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10168/tid=10171] ppid=10166 vsize=1463952 CPUtime=1002.31 cores=0,2,4,6
/proc/10168/task/10171/stat : 10171 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 316924 0 0 0 100133 98 0 0 25 0 4 0 529890401 1499086848 290734 33554432000 4194304 4650419 140736501232960 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.96
Current children cumulated vsize (KiB) 1463952

[startup+1062.3 s]
/proc/loadavg: 8.03 7.97 7.45 9/184 10203
/proc/meminfo: memFree=28153788/32950928 swapFree=67111464/67111528
[pid=10168] ppid=10166 vsize=1661068 CPUtime=4243.64 cores=0,2,4,6
/proc/10168/stat : 10168 (strangenight1-m) R 10166 10168 9128 0 -1 4202496 2031405 0 0 0 423827 537 0 0 25 0 4 0 529890401 1700933632 297209 33554432000 4194304 4650419 140736501232960 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10168/statm: 415267 297209 394 112 0 410232 0
[pid=10168/tid=10169] ppid=10166 vsize=1661068 CPUtime=1062.19 cores=0,2,4,6
/proc/10168/task/10169/stat : 10169 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 479615 0 0 0 106082 137 0 0 25 0 4 0 529890401 1700933632 297209 33554432000 4194304 4650419 140736501232960 18446744073709551615 4328238 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10168/tid=10170] ppid=10166 vsize=1661068 CPUtime=1056.88 cores=0,2,4,6
/proc/10168/task/10170/stat : 10170 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 668098 0 0 0 105531 157 0 0 25 0 4 0 529890401 1700933632 297209 33554432000 4194304 4650419 140736501232960 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10168/tid=10171] ppid=10166 vsize=1661068 CPUtime=1062.3 cores=0,2,4,6
/proc/10168/task/10171/stat : 10171 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 325279 0 0 0 106129 101 0 0 25 0 4 0 529890401 1700933632 297209 33554432000 4194304 4650419 140736501232960 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.64
Current children cumulated vsize (KiB) 1661068

[startup+1122.31 s]
/proc/loadavg: 8.07 7.99 7.49 9/184 10205
/proc/meminfo: memFree=28230508/32950928 swapFree=67111464/67111528
[pid=10168] ppid=10166 vsize=1622696 CPUtime=4483.34 cores=0,2,4,6
/proc/10168/stat : 10168 (strangenight1-m) R 10166 10168 9128 0 -1 4202496 2102083 0 0 0 447775 559 0 0 25 0 4 0 529890401 1661640704 294614 33554432000 4194304 4650419 140736501232960 18446744073709551615 4439361 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10168/statm: 405674 294614 394 112 0 400639 0
[pid=10168/tid=10169] ppid=10166 vsize=1622696 CPUtime=1122.19 cores=0,2,4,6
/proc/10168/task/10169/stat : 10169 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 494978 0 0 0 112078 141 0 0 25 0 4 0 529890401 1661640704 294614 33554432000 4194304 4650419 140736501232960 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10168/tid=10170] ppid=10166 vsize=1622696 CPUtime=1116.57 cores=0,2,4,6
/proc/10168/task/10170/stat : 10170 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 697908 0 0 0 111491 166 0 0 25 0 4 0 529890401 1661640704 294614 33554432000 4194304 4650419 140736501232960 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10168/tid=10171] ppid=10166 vsize=1622696 CPUtime=1122.31 cores=0,2,4,6
/proc/10168/task/10171/stat : 10171 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 340635 0 0 0 112125 106 0 0 25 0 4 0 529890401 1661640704 294614 33554432000 4194304 4650419 140736501232960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.34
Current children cumulated vsize (KiB) 1622696

[startup+1182.3 s]
/proc/loadavg: 8.08 8.00 7.52 9/184 10206
/proc/meminfo: memFree=28136228/32950928 swapFree=67111464/67111528
[pid=10168] ppid=10166 vsize=1630928 CPUtime=4722.99 cores=0,2,4,6
/proc/10168/stat : 10168 (strangenight1-m) R 10166 10168 9128 0 -1 4202496 2150470 0 0 0 471722 577 0 0 25 0 4 0 529890401 1670070272 302781 33554432000 4194304 4650419 140736501232960 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10168/statm: 407732 302781 394 112 0 402697 0
[pid=10168/tid=10169] ppid=10166 vsize=1630928 CPUtime=1182.17 cores=0,2,4,6
/proc/10168/task/10169/stat : 10169 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 509030 0 0 0 118070 147 0 0 25 0 4 0 529890401 1670070272 302781 33554432000 4194304 4650419 140736501232960 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10168/tid=10170] ppid=10166 vsize=1630928 CPUtime=1176.24 cores=0,2,4,6
/proc/10168/task/10170/stat : 10170 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 724157 0 0 0 117450 174 0 0 25 0 4 0 529890401 1670070272 302781 33554432000 4194304 4650419 140736501232960 18446744073709551615 4439619 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10168/tid=10171] ppid=10166 vsize=1630928 CPUtime=1182.29 cores=0,2,4,6
/proc/10168/task/10171/stat : 10171 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 348419 0 0 0 118120 109 0 0 25 0 4 0 529890401 1670070272 302781 33554432000 4194304 4650419 140736501232960 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.99
Current children cumulated vsize (KiB) 1630928



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 8.05 8.00 7.53 9/184 10207
/proc/meminfo: memFree=28139548/32950928 swapFree=67111464/67111528
[pid=10168] ppid=10166 vsize=1696472 CPUtime=4800.11 cores=0,2,4,6
/proc/10168/stat : 10168 (strangenight1-m) R 10166 10168 9128 0 -1 4202496 2162010 0 0 0 479431 580 0 0 25 0 4 0 529890401 1737187328 306565 33554432000 4194304 4650419 140736501232960 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10168/statm: 424118 306565 394 112 0 419083 0
[pid=10168/tid=10169] ppid=10166 vsize=1696472 CPUtime=1201.48 cores=0,2,4,6
/proc/10168/task/10169/stat : 10169 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 512812 0 0 0 119999 149 0 0 25 0 4 0 529890401 1737187328 306565 33554432000 4194304 4650419 140736501232960 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10168/tid=10170] ppid=10166 vsize=1696472 CPUtime=1195.44 cores=0,2,4,6
/proc/10168/task/10170/stat : 10170 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 731915 0 0 0 119369 175 0 0 25 0 4 0 529890401 1737187328 306565 33554432000 4194304 4650419 140736501232960 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10168/tid=10171] ppid=10166 vsize=1696472 CPUtime=1201.6 cores=0,2,4,6
/proc/10168/task/10171/stat : 10171 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 348419 0 0 0 120051 109 0 0 25 0 4 0 529890401 1737187328 306565 33554432000 4194304 4650419 140736501232960 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.11
Current children cumulated vsize (KiB) 1696472

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

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

[startup+1201.6 s]
/proc/loadavg: 8.05 8.00 7.53 9/184 10207
/proc/meminfo: memFree=28139548/32950928 swapFree=67111464/67111528
[pid=10168] ppid=10166 vsize=1696472 CPUtime=4800.11 cores=0,2,4,6
/proc/10168/stat : 10168 (strangenight1-m) R 10166 10168 9128 0 -1 4202496 2162010 0 0 0 479431 580 0 0 25 0 4 0 529890401 1737187328 306565 33554432000 4194304 4650419 140736501232960 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10168/statm: 424118 306565 394 112 0 419083 0
[pid=10168/tid=10169] ppid=10166 vsize=1696472 CPUtime=1201.48 cores=0,2,4,6
/proc/10168/task/10169/stat : 10169 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 512812 0 0 0 119999 149 0 0 25 0 4 0 529890401 1737187328 306565 33554432000 4194304 4650419 140736501232960 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10168/tid=10170] ppid=10166 vsize=1696472 CPUtime=1195.44 cores=0,2,4,6
/proc/10168/task/10170/stat : 10170 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 731915 0 0 0 119369 175 0 0 25 0 4 0 529890401 1737187328 306565 33554432000 4194304 4650419 140736501232960 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10168/tid=10171] ppid=10166 vsize=1696472 CPUtime=1201.6 cores=0,2,4,6
/proc/10168/task/10171/stat : 10171 (strangenight1-m) R 10166 10168 9128 0 -1 4202560 348419 0 0 0 120051 109 0 0 25 0 4 0 529890401 1737187328 306565 33554432000 4194304 4650419 140736501232960 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.11
Current children cumulated vsize (KiB) 1696472

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.67
CPU time (s): 4800.19
CPU user time (s): 4794.33
CPU system time (s): 5.85611
CPU usage (%): 399.46
Max. virtual memory (cumulated for all children) (KiB): 1696472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.33
system time used= 5.85611
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2162010
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= 9301
involuntary context switches= 35336

runsolver used 1.92571 second user time and 4.25435 second system time

The end

Launcher Data 

Begin job on node122 at 2011-04-30 19:01:56
IDJOB=3251639
IDBENCH=88228
IDSOLVER=1588
FILE ID=node122/3251639-1304182916
RUNJOBID= node122-1304182916-10145
PBS_JOBID= 13172421
Free space on /tmp= 73332 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3251639-1304182916/watcher-3251639-1304182916 -o /tmp/evaluation-result-3251639-1304182916/solver-3251639-1304182916 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3251639-1304182916.cnf

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

MD5SUM BENCH= 71638ad618721ad48c6bd2d48b828020
RANDOM SEED=521602118

node122.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.820
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.64
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.820
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.820
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.75
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.820
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.83
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.820
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.75
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.820
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.820
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.820
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.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30428644 kB
Buffers:        342628 kB
Cached:        1734980 kB
SwapCached:         64 kB
Active:         422552 kB
Inactive:      1755932 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30428644 kB
SwapTotal:    67111528 kB
SwapFree:     67111464 kB
Dirty:           22572 kB
Writeback:           0 kB
AnonPages:      100048 kB
Mapped:          15460 kB
Slab:           279540 kB
PageTables:       4728 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   305460 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= 73324 MiB
End job on node122 at 2011-04-30 19:22:00