Trace number 3369108

Some explanations

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

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

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

Solver answer on this benchmark

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

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.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369108-1305434367.cnf'
0.00/0.01	c -- header says num vars:           2377
0.00/0.01	c -- header says num clauses:      566749
0.09/0.11	c -- clauses added:            0 learnts,       566749 normals,            0 xors
0.09/0.11	c -- vars added       2377
0.09/0.11	c Parsing time:  0.36 s
0.09/0.11	c  N st     0         0      2377        50    566699         0   1135775         0   no data   no data  --
0.09/0.11	c asymm  cl-useful: 0/50/50 lits-rem:0 time: 0.00
0.41/0.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.1M T:  0.34
0.41/0.44	c bin-w-bin subsume rem            0 bins  time:  0.47 s
0.41/0.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.33 s
2.02/0.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2377 time:  0.24 s
2.02/0.54	c Removed useless bin:       0  fixed:     0  props:   2.84M  time:  0.22 s
2.76/0.77	c lits-rem:       127  cl-subs:        0  v-elim:     50  v-fix:    0  time:  0.98 s
2.76/0.78	c Finding binary XORs  T:     0.04 s  found:       0
3.16/0.81	c Finding non-binary XORs:     0.07 s (found:       0, avg size: nan)
3.16/0.81	c calculated reachability. Time: 0.01
3.16/0.82	c Calc default polars -  time:   0.02 s pos:       0 undec:      50 neg:    2327
3.16/0.82	c =========================================================================================
3.16/0.82	c types(t): F = full restart, N = normal restart
3.16/0.82	c types(t): S = simplification begin/end, E = solution found
3.16/0.82	c restart types(rt): st = static, dy = dynamic
3.16/0.82	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.16/0.82	c  B st     0         0      2327     11199    553173         0   1690501         0   no data   no data  --
5.55/1.46	c  N dy    14      4355      2327     11199    553173      4241   1690497    839638     11.55     12.22  --
7.95/2.04	c  N dy    26      8407      2327     11199    553173      5755   1690496    553029     10.28     10.84  --
10.33/2.62	c  N dy    53     12410      2327     11199    553173      5520   1690495    541666     10.83     17.24  --
12.74/3.25	c  N dy    70     16442      2327     11199    553173      9457   1690486   1201149     11.18     12.65  --
15.53/3.95	c  N dy    86     20793      2327     11199    553173      8205   1690470    945686     11.24     11.85  --
18.36/4.66	c  N dy   102     24870      2327     11199    553173     12190   1690468   1394868     11.19     12.13  --
18.36/4.69	c  F st   104     25000      2327     11199    553173     12316   1690468   1408188     11.22   no data  --
21.92/5.50	c  N dy   110     30000      2327     11199    553173     10523   1690468    831519     11.22   no data  --
21.92/5.50	c  S st   110     30000      2327     11199    553173     10523   1690468    831519     11.22   no data  --
21.92/5.58	c  S st   110     30500      2327     11199    553173     11018   1690468    871590     11.22   no data  --
21.92/5.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
21.92/5.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
25.90/6.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 40.1M T:  3.72
26.30/6.65	c bin-w-bin subsume rem            0 bins  time:  0.27 s
31.52/7.95	c subs with bin:        0  lits-rem:      1680  v-fix:    0  time:  5.17 s
31.87/8.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2327 time:  0.22 s
31.87/8.06	c Removed useless bin:       0  fixed:     0  props:   2.77M  time:  0.22 s
37.06/9.32	c lits-rem:      3487  cl-subs:      862  v-elim:      0  v-fix:    0  time:  5.02 s
37.86/9.56	c asymm  cl-useful: 106/1214/11199 lits-rem:709 time: 0.98
37.86/9.58	c calculated reachability. Time: 0.01
37.86/9.58	c  N dy   110     30500      2327     11199    553173     10156   1681568    841859     11.22   no data  --
41.05/10.32	c  N dy   131     35207      2327     11199    553173     14743   1681566   1313992     11.20     12.27  --
43.85/11.02	c  N dy   150     39703      2327     11199    553173     11423   1681563   1182463     11.29     12.04  --
47.04/11.85	c  N dy   168     44159      2327     11199    553173     15782   1681558   1777612     11.34     12.26  --
48.24/12.17	c  S st   173     45750      2327     11199    553173     17319   1681558   1890578     11.29   no data  --
48.67/12.28	c  S st   173     46251      2327     11199    553173      9110   1681558    678584     11.29   no data  --
48.67/12.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
48.67/12.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
52.62/13.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 38.3M T:  3.74
53.05/13.32	c bin-w-bin subsume rem            0 bins  time:  0.25 s
58.20/14.61	c subs with bin:        0  lits-rem:      1388  v-fix:    0  time:  5.13 s
58.20/14.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2327 time:  0.22 s
58.60/14.72	c Removed useless bin:       0  fixed:     0  props:   2.77M  time:  0.22 s
62.59/15.71	c lits-rem:      1993  cl-subs:      164  v-elim:      0  v-fix:    0  time:  3.94 s
62.59/15.74	c vivif2 --  cl tried    11199 cl shrink     9498 lits rem     132952 time: 0.14
62.59/15.76	c vivif2 --  cl tried     8946 cl shrink        0 lits rem          0 time: 0.07
63.39/15.95	c asymm  cl-useful: 0/1275/11199 lits-rem:0 time: 0.76
63.39/15.97	c calculated reachability. Time: 0.01
63.39/15.97	c  N dy   173     46251      2327     11199    553173      8946   1545014    671695     11.29   no data  --
66.22/16.65	c  N dy   195     50287      2327     11199    553173     12892   1545013   1341892     11.38     12.30  --
69.38/17.45	c  N dy   206     54724      2327     11199    553173     17226   1545013   1866118     11.32     11.96  --
72.97/18.37	c  N dy   217     59204      2327     11199    553173     11828   1545013    835427     11.27     12.02  --
75.75/19.09	c  N dy   243     63389      2327     11199    553173     15915   1545013   1485999     11.44     12.08  --
79.38/20.01	c  N dy   266     67451      2327     11199    553173     19908   1545013   2097091     11.59     16.63  --
81.34/20.48	c  S st   274     69376      2327     11199    553173     11071   1545013    821458     11.60   no data  --
81.74/20.56	c  S st   274     69876      2327     11199    553173     11569   1545013    861997     11.60   no data  --
81.74/20.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
81.74/20.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
86.13/21.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 40.9M T:  4.48
86.93/21.80	c bin-w-bin subsume rem            0 bins  time:  0.26 s
91.72/23.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.01 s
92.12/23.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2327 time:  0.22 s
92.12/23.16	c Removed useless bin:       0  fixed:     0  props:   2.77M  time:  0.22 s
96.94/24.31	c lits-rem:       861  cl-subs:      144  v-elim:      0  v-fix:    0  time:  4.56 s
96.94/24.32	c vivif2 --  cl tried    11199 cl shrink        0 lits rem          0 time: 0.04
96.94/24.35	c vivif2 --  cl tried    11425 cl shrink        0 lits rem          0 time: 0.09
97.70/24.56	c asymm  cl-useful: 0/781/11199 lits-rem:0 time: 0.87
97.70/24.58	c calculated reachability. Time: 0.01
97.70/24.58	c  N dy   274     69876      2327     11199    553173     11425   1544731    856771     11.60   no data  --
100.89/25.41	c  N dy   293     74835      2327     11199    553173     16213   1544731   1333380     11.63     12.29  --
104.88/26.32	c  N dy   321     79707      2327     11199    553173     20970   1544731   2082937     11.70     13.47  --
108.87/27.33	c  N dy   339     84826      2327     11199    553173     14275   1544731   1239873     11.66     12.31  --
110.86/27.85	c  F st   351     87501      2327     11199    553173     16877   1544730   1678797     11.69   no data  --
113.66/28.60	c  N st   356     90800      2327     11199    553173     20102   1544730   2221023     11.69   no data  --
119.63/30.09	c  N dy   387     96670      2327     11199    553173     13166   1544730    988001     11.87     17.59  --
124.42/31.20	c  N dy   428    102930      2327     11199    553173     19275   1544726   1724464     11.96     17.30  --
126.02/31.61	c  S st   440    104814      2327     11199    553173     21089   1544726   1890927     11.97   no data  --
126.41/31.71	c  S st   440    105317      2327     11199    553173     21592   1544726   1949157     11.97   no data  --
126.41/31.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
126.41/31.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
131.61/33.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 52.5M T:  5.42
132.45/33.22	c bin-w-bin subsume rem            0 bins  time:  0.26 s
137.18/34.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.95 s
137.58/34.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2327 time:  0.23 s
137.58/34.57	c Removed useless bin:       0  fixed:     0  props:   2.77M  time:  0.21 s
150.74/37.83	c lits-rem:      1033  cl-subs:      393  v-elim:      0  v-fix:    0  time: 12.99 s
150.74/37.84	c vivif2 --  cl tried    11199 cl shrink        0 lits rem          0 time: 0.04
150.74/37.89	c vivif2 --  cl tried    21199 cl shrink        0 lits rem          0 time: 0.18
151.95/38.18	c asymm  cl-useful: 0/585/11199 lits-rem:0 time: 1.14
151.95/38.19	c calculated reachability. Time: 0.01
151.95/38.19	c  N dy   440    105317      2327     11199    553173     21199   1544688   1916104     11.97   no data  --
157.94/39.61	c  N dy   476    112119      2327     11199    553173     14192   1544688   1101928     12.02     19.32  --
164.30/41.30	c  N dy   498    121017      2327     11199    553173     22891   1544688   2227558     11.90     12.63  --
172.29/43.27	c  N dy   505    129116      2327     11199    553173     16117   1544688   1169936     11.75     12.37  --
178.68/44.84	c  N dy   533    137560      2327     11199    553173     24362   1544688   2231380     11.70     12.37  --
187.04/46.97	c  N dy   564    146604      2327     11199    553173     17601   1544687   1367856     11.66     12.36  --
195.42/49.06	c  N dy   623    156443      2327     11199    553173     27246   1544687   2775266     11.75     12.52  --
197.02/49.40	c  S st   627    157975      2327     11199    553173     28743   1544687   2973908     11.74     10.52  --
197.42/49.53	c  S st   627    158478      2327     11199    553173     29244   1544687   3034859     11.74   no data  --
197.42/49.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
197.42/49.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
204.60/51.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 63.8M T:  7.16
205.40/51.51	c bin-w-bin subsume rem            0 bins  time:  0.26 s
212.18/53.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.70 s
212.18/53.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2327 time:  0.23 s
212.58/53.31	c Removed useless bin:       0  fixed:     0  props:   2.77M  time:  0.22 s
236.12/59.27	c lits-rem:      2540  cl-subs:      423  v-elim:      0  v-fix:    0  time: 23.75 s
236.12/59.28	c vivif2 --  cl tried    11199 cl shrink        0 lits rem          0 time: 0.04
236.52/59.34	c vivif2 --  cl tried    28821 cl shrink        0 lits rem          0 time: 0.25
237.34/59.59	c asymm  cl-useful: 0/869/11199 lits-rem:0 time: 0.97
237.34/59.60	c calculated reachability. Time: 0.01
237.34/59.60	c  N dy   627    158478      2327     11199    553173     28821   1544657   2994110     11.74   no data  --
247.28/62.08	c  N dy   678    169226      2327     11199    553174     22758   1544657   1800978     11.77     12.43  --
257.26/64.57	c  N dy   718    181193      2327     11199    553174     34486   1544657   3242861     11.75     12.39  --
268.07/67.26	c  N dy   758    193035      2327     11199    553174     28432   1544657   2640347     11.69     12.31  --
280.79/70.50	c  N dy   789    205982      2327     11199    553174     22444   1544657   1853767     11.62     12.27  --
297.14/74.56	c  N dy   851    219340      2327     11199    553174     35394   1544657   3604623     11.68     12.30  --
312.70/78.43	c  N dy   910    233463      2327     11199    553174     29727   1544656   3054128     11.70     12.34  --
319.09/80.00	c  S st   923    237718      2327     11199    553174     33896   1544656   3726416     11.70      9.78  --
319.49/80.17	c  S st   923    238220      2327     11199    553174     34395   1544655   3796389     11.70   no data  --
319.49/80.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
319.49/80.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
330.65/82.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 75.9M T: 10.82
331.05/83.09	c bin-w-bin subsume rem            0 bins  time:  0.26 s
336.24/84.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.13 s
336.64/84.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2327 time:  0.23 s
336.64/84.49	c Removed useless bin:       0  fixed:     0  props:   2.77M  time:  0.22 s
372.14/93.36	c lits-rem:      1815  cl-subs:      914  v-elim:      0  v-fix:    0  time: 35.26 s
372.14/93.37	c vivif2 --  cl tried    11199 cl shrink        1 lits rem          1 time: 0.04
372.54/93.44	c vivif2 --  cl tried    33481 cl shrink       17 lits rem         17 time: 0.29
373.78/93.73	c asymm  cl-useful: 0/487/11199 lits-rem:0 time: 1.13
373.78/93.74	c calculated reachability. Time: 0.01
373.78/93.74	c  N dy   923    238220      2327     11199    553174     33481   1544646   3732902     11.70   no data  --
392.09/98.39	c  N dy   979    254048      2327     11199    553174     28390   1544645   2544267     11.70     12.33  --
410.04/102.84	c  N dy  1061    270329      2327     11199    553174     22823   1544644   1881155     11.76     17.97  --
428.80/107.54	c  N dy  1127    287798      2327     11199    553174     39862   1544643   4180440     11.79     12.53  --
449.93/112.85	c  F st  1201    306254      2327     11199    553174     35489   1544641   3774243     11.81     12.82  --
450.33/112.93	c  N st  1201    306254      2327     11199    553174     35489   1544641   3774243     11.81     12.82  --
473.08/118.65	c  N dy  1258    325923      2327     11199    553174     31320   1544641   2613157     11.81     12.57  --
497.40/124.70	c  N dy  1305    346032      2327     11199    553175     26488   1544641   1718539     11.72     12.37  --
508.18/127.44	c  S st  1374    357331      2327     11199    553175     37543   1544641   3291973     11.77      9.57  --
508.58/127.58	c  S st  1374    357833      2327     11199    553175     38044   1544641   3350206     11.77   no data  --
508.97/127.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
508.97/127.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
516.95/129.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 69.0M T:  8.35
517.75/129.86	c bin-w-bin subsume rem            0 bins  time:  0.26 s
523.32/131.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.49 s
523.72/131.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2327 time:  0.23 s
523.72/131.35	c Removed useless bin:       0  fixed:     0  props:   2.77M  time:  0.21 s
552.85/138.67	c lits-rem:      2505  cl-subs:      885  v-elim:      0  v-fix:    0  time: 29.17 s
552.85/138.68	c vivif2 --  cl tried    11199 cl shrink        0 lits rem          0 time: 0.04
553.28/138.76	c vivif2 --  cl tried    37159 cl shrink       19 lits rem         19 time: 0.30
554.44/139.05	c asymm  cl-useful: 0/385/11199 lits-rem:0 time: 1.16
554.44/139.07	c calculated reachability. Time: 0.01
554.44/139.07	c  N dy  1374    357833      2327     11199    553175     37159   1544627   3307165     11.77   no data  --
580.77/145.69	c  N dy  1475    379407      2327     11199    553175     32844   1544627   2753135     11.84     12.47  --
609.90/152.94	c  N dy  1564    400128      2327     11199    553175     26721   1544627   1768369     11.89     12.54  --
633.83/158.97	c  N dy  1667    420221      2327     11199    553176     46347   1544627   4630694     11.95     12.73  --
659.36/165.39	c  N dy  1763    440305      2327     11199    553176     38569   1544627   3089124     11.99     16.49  --
687.28/172.31	c  N dy  1859    461099      2327     11199    553176     30529   1544627   2123431     12.05     12.69  --
708.43/177.67	c  N dy  1930    481611      2327     11199    553176     50446   1544627   4239745     12.03     13.13  --
731.16/183.31	c  N dy  2020    501652      2327     11199    553176     40825   1544626   3445956     12.07     12.73  --
761.08/190.82	c  N dy  2112    523926      2327     11199    553176     32279   1544626   2051436     12.10     12.78  --
773.85/194.07	c  S st  2168    536750      2327     11199    553176     44835   1544626   3621413     12.11      8.76  --
774.65/194.20	c  S st  2168    537250      2327     11199    553176     45330   1544626   3685969     12.11   no data  --
774.65/194.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
774.65/194.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
783.82/196.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 76.3M T:  9.44
784.62/196.77	c bin-w-bin subsume rem            0 bins  time:  0.26 s
791.40/198.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.83 s
791.80/198.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2327 time:  0.23 s
791.80/198.60	c Removed useless bin:       0  fixed:     0  props:   2.77M  time:  0.22 s
816.13/204.70	c lits-rem:       872  cl-subs:     1049  v-elim:      0  v-fix:    0  time: 24.32 s
816.13/204.71	c vivif2 --  cl tried    11199 cl shrink        0 lits rem          0 time: 0.03
816.56/204.80	c vivif2 --  cl tried    44281 cl shrink        0 lits rem          0 time: 0.37
818.13/205.10	c asymm  cl-useful: 0/373/11199 lits-rem:0 time: 1.19
818.13/205.11	c calculated reachability. Time: 0.01
818.13/205.11	c  N dy  2168    537250      2327     11199    553176     44281   1544580   3643374     12.11   no data  --
846.06/212.11	c  N dy  2277    557302      2327     11199    553176     32660   1544580   2149845     12.18     12.87  --
866.80/217.30	c  N dy  2353    577353      2327     11199    553176     52224   1544580   4735926     12.18     17.16  --
893.13/223.95	c  N dy  2429    597381      2327     11199    553176     39558   1544580   2826248     12.18     12.85  --
915.86/229.67	c  N dy  2509    617428      2327     11199    553176     59046   1544580   5109611     12.18     22.45  --
940.19/235.72	c  N dy  2579    637432      2327     11199    553177     45305   1544580   2988441     12.17     16.57  --
964.13/241.74	c  N dy  2666    657504      2327     11199    553177     64884   1544580   5545752     12.19     13.11  --
986.87/247.47	c  N dy  2742    678241      2327     11199    553177     50984   1544580   4205553     12.19     13.00  --
1018.42/255.36	c  N dy  2827    698379      2327     11199    553177     35585   1544579   2132983     12.21     13.03  --
1042.31/261.37	c  N dy  2929    718398      2327     11199    553177     55019   1544579   4578841     12.26     15.47  --
1075.87/269.77	c  N dy  2998    738453      2327     11199    553177     38430   1544579   2332785     12.25     14.90  --
1100.15/275.89	c  N dy  3073    758687      2327     11199    553177     58115   1544577   4846265     12.24     12.94  --
1135.66/284.77	c  N dy  3153    780568      2327     11199    553177     42489   1544577   2553111     12.25     13.21  --
1161.59/291.21	c  N dy  3246    800662      2327     11199    553177     62006   1544576   5047981     12.28     14.21  --
1169.57/293.21	c  S st  3258    805875      2327     11199    553177     67007   1544576   5511920     12.27     11.70  --
1169.97/293.39	c  S st  3258    806379      2327     11199    553177     67510   1544576   5575710     12.27   no data  --
1170.37/293.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
1170.37/293.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1183.93/296.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 95.0M T: 13.62
1184.73/297.09	c bin-w-bin subsume rem            0 bins  time:  0.26 s
1189.95/298.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.02 s
1190.31/298.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2327 time:  0.23 s
1190.31/298.46	c Removed useless bin:       0  fixed:     0  props:   2.77M  time:  0.22 s
1354.27/339.56	c lits-rem:      2283  cl-subs:     3302  v-elim:      0  v-fix:    0  time: 163.75 s
1354.27/339.57	c vivif2 --  cl tried    11199 cl shrink        1 lits rem          1 time: 0.04
1355.07/339.71	c vivif2 --  cl tried    64208 cl shrink      456 lits rem        456 time: 0.57
1356.29/340.04	c asymm  cl-useful: 0/272/11199 lits-rem:0 time: 1.29
1356.29/340.06	c calculated reachability. Time: 0.01
1356.29/340.06	c  N dy  3258    806379      2327     11199    553177     64208   1544550   5471458     12.27   no data  --
1382.19/346.54	c  N dy  3344    827023      2327     11199    553177     46437   1544550   3212017     12.28     13.05  --
1405.72/352.41	c  N dy  3416    847182      2327     11199    553178     65968   1544550   5476948     12.28     12.99  --
1434.05/359.52	c  N dy  3518    867197      2327     11199    553178     46631   1544550   3170232     12.31     13.00  --
1459.97/366.05	c  N dy  3601    887339      2327     11199    553178     66177   1544550   5418760     12.31     13.02  --
1489.09/373.36	c  N dy  3676    907409      2327     11199    553178     45912   1544550   3048612     12.32     13.00  --
1514.26/379.63	c  N dy  3729    927493      2327     11199    553178     65306   1544550   5208392     12.30     23.32  --
1543.75/387.10	c  N dy  3824    948121      2327     11199    553178     44570   1544549   2725637     12.32     13.18  --
1568.08/393.12	c  N dy  3924    968142      2327     11199    553178     63991   1544549   5072883     12.35     20.71  --
1603.18/401.90	c  N dy  4037    988370      2327     11199    553178     41954   1544548   2362815     12.38     13.05  --
1626.73/407.85	c  N dy  4108   1008402      2327     11199    553178     61433   1544548   4657263     12.38     14.90  --
1663.87/417.12	c  N dy  4183   1030443      2327     11199    553178     82802   1544548   7484406     12.37     13.25  --
1690.55/423.83	c  N dy  4273   1050571      2327     11199    553178     59644   1544548   4297838     12.38     13.05  --
1719.67/431.16	c  N dy  4363   1071373      2327     11199    553178     79881   1544548   6865525     12.40     13.20  --
1720.50/431.37	c  F st  4367   1071875      2327     11199    553178     80371   1544548   6931347     12.40   no data  --
1746.40/437.90	c  N dy  4443   1091405      2327     11199    553178     55646   1544547   3938076     12.41     13.15  --
1779.91/446.26	c  N dy  4500   1115426      2327     11199    553178     78980   1544546   6605005     12.38     13.06  --
1808.67/453.43	c  N dy  4581   1135846      2327     11199    553178     54147   1544546   3599394     12.38     13.35  --
1834.59/459.98	c  N dy  4672   1156158      2327     11199    553179     73897   1544546   5822956     12.39     13.15  --
1868.47/468.42	c  N dy  4775   1177199      2327     11199    553179     48680   1544546   2839807     12.42     13.57  --
1891.64/474.27	c  N dy  4867   1197419      2327     11199    553179     68309   1544546   5049103     12.43     13.28  --
1910.35/478.94	c  S st  4929   1209569      2327     11199    553179     80088   1544546   6344809     12.44     10.43  --
1911.14/479.18	c  S st  4929   1210075      2327     11199    553179     80592   1544546   6398863     12.44   no data  --
1911.54/479.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
1911.54/479.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1925.12/482.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 99.9M T: 13.87
1926.31/482.95	c bin-w-bin subsume rem            0 bins  time:  0.26 s
1931.53/484.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.35 s
1931.89/484.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2327 time:  0.23 s
1932.28/484.40	c Removed useless bin:       0  fixed:     0  props:   2.77M  time:  0.22 s
2135.34/535.31	c lits-rem:      1380  cl-subs:     4366  v-elim:      0  v-fix:    0  time: 202.88 s
2135.34/535.32	c vivif2 --  cl tried    11199 cl shrink        1 lits rem          1 time: 0.04
2136.14/535.50	c vivif2 --  cl tried    76226 cl shrink      952 lits rem        952 time: 0.74
2137.36/535.85	c asymm  cl-useful: 0/228/11199 lits-rem:0 time: 1.40
2137.36/535.87	c calculated reachability. Time: 0.01
2137.36/535.87	c  N dy  4929   1210075      2327     11199    553179     76226   1544544   6286296     12.44   no data  --
2172.04/544.53	c  N dy  5007   1230323      2327     11199    553180     49342   1544543   2914476     12.45     13.16  --
2195.17/550.33	c  N dy  5074   1251015      2327     11199    553180     69464   1544543   5217231     12.45     13.15  --
2224.30/557.62	c  N dy  5132   1271208      2327     11199    553180     89006   1544543   7211752     12.43     13.09  --
2251.03/564.31	c  N dy  5210   1291271      2327     11199    553180     60904   1544543   4230723     12.44     13.22  --
2280.54/571.77	c  N dy  5274   1311296      2327     11199    553180     80241   1544543   6101837     12.44     13.13  --
2317.68/581.03	c  N dy  5353   1332055      2327     11199    553180     51881   1544543   2945259     12.44     13.14  --
2341.57/587.01	c  N dy  5417   1352094      2327     11199    553180     71442   1544543   5100354     12.43     13.57  --
2373.49/595.05	c  N dy  5511   1372176      2327     11199    553180     90835   1544543   7478852     12.45     15.79  --
2404.61/602.80	c  N dy  5593   1392274      2327     11199    553180     60864   1544543   3892603     12.46     27.44  --
2438.51/611.35	c  N dy  5687   1413890      2327     11199    553180     81822   1544543   6497136     12.47     13.30  --
2480.39/621.89	c  N dy  5786   1434166      2327     11199    553180     51104   1544543   2803251     12.48     13.15  --
2506.37/628.36	c  N dy  5891   1454346      2327     11199    553180     70746   1544543   5081529     12.50     13.18  --
2540.63/637.00	c  N dy  5969   1474792      2327     11199    553180     90522   1544543   7372464     12.51     13.20  --
2575.33/645.64	c  N dy  6044   1495662      2327     11199    553181     59371   1544543   3584309     12.50     13.19  --
2600.47/651.93	c  N dy  6133   1515815      2327     11199    553181     79002   1544543   5872638     12.51     13.35  --
2633.62/660.26	c  N dy  6212   1535942      2327     11199    553181     98398   1544543   8000948     12.51     13.18  --
2663.49/667.77	c  N dy  6292   1556507      2327     11199    553181     65954   1544543   4158655     12.52     13.46  --
2691.02/674.64	c  N dy  6390   1576604      2327     11199    553181     85368   1544543   6148540     12.53     15.75  --
2724.53/683.04	c  N dy  6480   1596815      2327     11199    553181    105004   1544543   8593687     12.55     13.62  --
2751.25/689.75	c  N dy  6568   1616899      2327     11199    553182     71028   1544543   4667232     12.56     18.88  --
2781.17/697.29	c  N dy  6638   1637080      2327     11199    553182     90549   1544543   6712313     12.56     13.25  --
2817.08/706.29	c  N dy  6725   1657212      2327     11199    553182     55815   1544543   2959825     12.56     13.27  --
2842.21/712.54	c  N dy  6808   1678023      2327     11199    553182     75913   1544543   5144942     12.57     13.47  --
2877.71/721.44	c  N dy  6862   1698408      2327     11199    553182     95546   1544543   6571767     12.55     13.22  --
2896.50/726.18	c  S st  6896   1710077      2327     11199    553182    106870   1544543   7584768     12.55     10.04  --
2897.65/726.41	c  S st  6896   1710580      2327     11199    553182    107370   1544543   7670111     12.55   no data  --
2897.65/726.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
2897.65/726.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2913.61/730.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 105.9M T: 16.13
2914.80/730.79	c bin-w-bin subsume rem            0 bins  time:  0.26 s
2920.40/732.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.39 s
2920.40/732.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2327 time:  0.23 s
2920.79/732.25	c Removed useless bin:       0  fixed:     0  props:   2.77M  time:  0.22 s
3213.59/805.61	c lits-rem:      1043  cl-subs:     7303  v-elim:      0  v-fix:    0  time: 292.33 s
3213.59/805.62	c vivif2 --  cl tried    11199 cl shrink        1 lits rem          1 time: 0.04
3214.39/805.88	c vivif2 --  cl tried   100067 cl shrink     1579 lits rem       1590 time: 1.03
3215.99/806.25	c asymm  cl-useful: 0/216/11199 lits-rem:0 time: 1.49
3215.99/806.27	c calculated reachability. Time: 0.01
3215.99/806.27	c  N dy  6896   1710580      2327     11199    553182    100067   1544542   7496480     12.55   no data  --
3248.69/814.42	c  N dy  6990   1730637      2327     11199    553183     64517   1544542   4087783     12.56     13.31  --
3281.01/822.58	c  N dy  7078   1751050      2327     11199    553183     84374   1544542   6559129     12.57     13.28  --
3324.89/833.56	c  N dy  7174   1771259      2327     11199    553183    103873   1544542   8776062     12.58     13.62  --
3361.19/842.65	c  N dy  7252   1791307      2327     11199    553183     67139   1544542   4012038     12.59     13.60  --
3387.95/849.34	c  N dy  7303   1811338      2327     11199    553183     86462   1544542   5656546     12.58     13.37  --
3420.63/857.58	c  N dy  7373   1831339      2327     11199    553183    105847   1544542   7691017     12.58     13.67  --
3449.78/864.86	c  N dy  7466   1851570      2327     11199    553183     68464   1544542   4201954     12.59     13.30  --
3478.46/872.00	c  N dy  7558   1871589      2327     11199    553183     87869   1544542   6652908     12.60     13.31  --
3520.34/882.52	c  N dy  7638   1891604      2327     11199    553183    107261   1544542   8822404     12.60     14.90  --
3559.84/892.42	c  N dy  7714   1912000      2327     11199    553183     69040   1544542   4197321     12.60     13.32  --
3589.79/899.92	c  N dy  7800   1932360      2327     11199    553183     88802   1544542   6342712     12.60     13.49  --
3627.65/909.45	c  N dy  7899   1952422      2327     11199    553183    108335   1544542   8734347     12.61     22.53  --
3663.96/918.52	c  N dy  7979   1972480      2327     11199    553183     68536   1544542   4102761     12.62     13.39  --
3693.08/925.88	c  N dy  8043   1993073      2327     11199    553183     88466   1544542   6371269     12.61     13.28  --
3730.97/935.33	c  N dy  8110   2013208      2327     11199    553183    107920   1544542   8784457     12.61     13.30  --
3775.25/946.42	c  N dy  8185   2035048      2327     11199    553183     68953   1544542   3825512     12.61     13.31  --
3803.98/953.65	c  N dy  8280   2055433      2327     11199    553183     88796   1544542   6100923     12.61     13.33  --
3839.48/962.59	c  N dy  8361   2075435      2327     11199    553183    108127   1544542   7876208     12.62     23.88  --
3877.37/972.09	c  N dy  8437   2095535      2327     11199    553183     66503   1544542   3690586     12.62     16.48  --
3906.89/979.45	c  N dy  8523   2116057      2327     11199    553183     86315   1544542   5787867     12.63     13.38  --
3947.58/989.65	c  N dy  8601   2136135      2327     11199    553183    105840   1544541   8151969     12.64     19.45  --
3993.06/1001.11	c  N dy  8673   2156171      2327     11199    553183     63310   1544541   3308649     12.63     14.51  --
4020.57/1007.96	c  N dy  8757   2176489      2327     11199    553184     82993   1544541   5404675     12.64     13.31  --
4054.10/1016.32	c  N dy  8820   2196948      2327     11199    553184    102615   1544541   7360459     12.64     13.35  --
4080.82/1023.03	c  S st  8853   2210583      2327     11199    553184    115899   1544541   8785497     12.63     10.66  --
4082.01/1023.35	c  S st  8853   2211086      2327     11199    553184    116399   1544541   8846130     12.63   no data  --
4082.01/1023.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
4082.01/1023.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4101.96/1028.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 121.2M T: 19.82
4103.19/1028.69	c bin-w-bin subsume rem            0 bins  time:  0.25 s
4112.72/1031.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  9.39 s
4113.12/1031.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2327 time:  0.23 s
4113.12/1031.17	c Removed useless bin:       0  fixed:     0  props:   2.77M  time:  0.22 s
4633.32/1161.51	c lits-rem:      3224  cl-subs:     7127  v-elim:      0  v-fix:    0  time: 519.40 s
4633.32/1161.52	c vivif2 --  cl tried    11199 cl shrink        2 lits rem          2 time: 0.04
4634.14/1161.80	c vivif2 --  cl tried   109272 cl shrink     1266 lits rem       1266 time: 1.08
4635.70/1162.18	c asymm  cl-useful: 0/193/11199 lits-rem:0 time: 1.53
4636.10/1162.20	c calculated reachability. Time: 0.01
4636.10/1162.20	c  N dy  8853   2211086      2327     11199    553184    109272   1544539   8675064     12.63   no data  --
4677.20/1172.57	c  N dy  8939   2231174      2327     11199    553185     65999   1544539   3745706     12.63     19.61  --
4709.50/1180.68	c  N dy  9032   2251517      2327     11199    553185     85678   1544539   5934244     12.64     13.43  --
4748.23/1190.37	c  N dy  9106   2272712      2327     11199    553185    106189   1544539   8210902     12.64     13.40  --
4795.67/1202.24	c  N dy  9186   2292743      2327     11199    553185    125652   1544539  10371191     12.65     14.94  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

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

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

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


[startup+0 s]
/proc/loadavg: 6.82 7.84 7.83 6/352 12570
/proc/meminfo: memFree=26107860/32951124 swapFree=53501236/67111528
[pid=12570] ppid=12568 vsize=51236 CPUtime=0.02 cores=1,3,5,7
/proc/12570/stat : 12570 (strangenight1-m) R 12568 12570 11874 0 -1 4202496 417 0 0 0 2 0 0 0 21 0 4 0 655039367 52465664 357 33554432000 4194304 4650419 140736894359296 18446744073709551615 47169188374035 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12570/statm: 12809 357 306 112 0 7774 0
[pid=12570/tid=12571] ppid=12568 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/12570/task/12571/stat : 12571 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 655039367 52465664 357 33554432000 4194304 4650419 140736894359296 18446744073709551615 47169188374450 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12570/tid=12572] ppid=12568 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/12570/task/12572/stat : 12572 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 655039367 52465664 357 33554432000 4194304 4650419 140736894359296 18446744073709551615 47169188374041 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12570/tid=12573] ppid=12568 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/12570/task/12573/stat : 12573 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 655039367 52465664 357 33554432000 4194304 4650419 140736894359296 18446744073709551615 47169188374039 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0290419 s]
/proc/loadavg: 6.82 7.84 7.83 6/352 12570
/proc/meminfo: memFree=26107860/32951124 swapFree=53501236/67111528
[pid=12570] ppid=12568 vsize=285092 CPUtime=0.09 cores=1,3,5,7
/proc/12570/stat : 12570 (strangenight1-m) R 12568 12570 11874 0 -1 4202496 4012 0 0 0 9 0 0 0 18 0 4 0 655039367 291934208 3828 33554432000 4194304 4650419 140736894359296 18446744073709551615 4545952 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12570/statm: 71339 4120 343 112 0 66304 0
[pid=12570/tid=12571] ppid=12568 vsize=285620 CPUtime=0.02 cores=1,3,5,7
/proc/12570/task/12571/stat : 12571 (strangenight1-m) D 12568 12570 11874 0 -1 4202560 1038 0 0 0 2 0 0 0 18 0 4 0 655039367 292474880 4311 33554432000 4194304 4650419 140736894359296 18446744073709551615 216634558647 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12570/tid=12572] ppid=12568 vsize=285884 CPUtime=0.03 cores=1,3,5,7
/proc/12570/task/12572/stat : 12572 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 1095 0 0 0 3 0 0 0 18 0 4 0 655039367 292745216 4475 33554432000 4194304 4650419 140736894359296 18446744073709551615 4372926 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12570/tid=12573] ppid=12568 vsize=285884 CPUtime=0.02 cores=1,3,5,7
/proc/12570/task/12573/stat : 12573 (strangenight1-m) D 12568 12570 11874 0 -1 4202560 998 0 0 0 2 0 0 0 18 0 4 0 655039367 292745216 4502 33554432000 4194304 4650419 140736894359296 18446744073709551615 216634558647 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 285092

[startup+0.110209 s]
/proc/loadavg: 6.82 7.84 7.83 6/352 12570
/proc/meminfo: memFree=26107860/32951124 swapFree=53501236/67111528
[pid=12570] ppid=12568 vsize=295828 CPUtime=0.41 cores=1,3,5,7
/proc/12570/stat : 12570 (strangenight1-m) D 12568 12570 11874 0 -1 4202496 13935 0 0 0 39 2 0 0 18 0 4 0 655039367 302927872 13751 33554432000 4194304 4650419 140736894359296 18446744073709551615 216634176197 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12570/statm: 73992 14338 363 112 0 68957 0
[pid=12570/tid=12571] ppid=12568 vsize=295968 CPUtime=0.09 cores=1,3,5,7
/proc/12570/task/12571/stat : 12571 (strangenight1-m) D 12568 12570 11874 0 -1 4202560 3564 0 0 0 9 0 0 0 18 0 4 0 655039367 303071232 14614 33554432000 4194304 4650419 140736894359296 18446744073709551615 216634176545 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12570/tid=12572] ppid=12568 vsize=296376 CPUtime=0.11 cores=1,3,5,7
/proc/12570/task/12572/stat : 12572 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 3736 0 0 0 11 0 0 0 18 0 4 0 655039367 303489024 15046 33554432000 4194304 4650419 140736894359296 18446744073709551615 4246544 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12570/tid=12573] ppid=12568 vsize=296640 CPUtime=0.11 cores=1,3,5,7
/proc/12570/task/12573/stat : 12573 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 3669 0 0 0 11 0 0 0 18 0 4 0 655039367 303759360 15418 33554432000 4194304 4650419 140736894359296 18446744073709551615 4334293 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 295828

[startup+0.444086 s]
/proc/loadavg: 6.82 7.84 7.83 6/352 12570
/proc/meminfo: memFree=26107860/32951124 swapFree=53501236/67111528
[pid=12570] ppid=12568 vsize=299808 CPUtime=1.74 cores=1,3,5,7
/proc/12570/stat : 12570 (strangenight1-m) R 12568 12570 11874 0 -1 4202496 21470 0 0 0 170 4 0 0 18 0 4 0 655039367 307003392 21274 33554432000 4194304 4650419 140736894359296 18446744073709551615 216634176545 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12570/statm: 74985 21540 383 112 0 69950 0
[pid=12570/tid=12571] ppid=12568 vsize=299940 CPUtime=0.43 cores=1,3,5,7
/proc/12570/task/12571/stat : 12571 (strangenight1-m) D 12568 12570 11874 0 -1 4202560 5408 0 0 0 42 1 0 0 18 0 4 0 655039367 307138560 21619 33554432000 4194304 4650419 140736894359296 18446744073709551615 216634558647 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12570/tid=12572] ppid=12568 vsize=300084 CPUtime=0.43 cores=1,3,5,7
/proc/12570/task/12572/stat : 12572 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 5188 0 0 0 42 1 0 0 18 0 4 0 655039367 307286016 21708 33554432000 4194304 4650419 140736894359296 18446744073709551615 4551534 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12570/tid=12573] ppid=12568 vsize=300216 CPUtime=0.43 cores=1,3,5,7
/proc/12570/task/12573/stat : 12573 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 4726 0 0 0 43 0 0 0 18 0 4 0 655039367 307421184 21793 33554432000 4194304 4650419 140736894359296 18446744073709551615 4328251 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 299808

[startup+0.700801 s]
/proc/loadavg: 6.82 7.84 7.83 6/352 12570
/proc/meminfo: memFree=26107860/32951124 swapFree=53501236/67111528
[pid=12570] ppid=12568 vsize=313768 CPUtime=2.76 cores=1,3,5,7
/proc/12570/stat : 12570 (strangenight1-m) R 12568 12570 11874 0 -1 4202496 33361 0 0 0 269 7 0 0 18 0 4 0 655039367 321298432 32512 33554432000 4194304 4650419 140736894359296 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12570/statm: 78442 32512 389 112 0 73407 0
[pid=12570/tid=12571] ppid=12568 vsize=313768 CPUtime=0.67 cores=1,3,5,7
/proc/12570/task/12571/stat : 12571 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 9788 0 0 0 65 2 0 0 18 0 4 0 655039367 321298432 32513 33554432000 4194304 4650419 140736894359296 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12570/tid=12572] ppid=12568 vsize=313768 CPUtime=0.68 cores=1,3,5,7
/proc/12570/task/12572/stat : 12572 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 7797 0 0 0 67 1 0 0 18 0 4 0 655039367 321298432 32514 33554432000 4194304 4650419 140736894359296 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12570/tid=12573] ppid=12568 vsize=313768 CPUtime=0.69 cores=1,3,5,7
/proc/12570/task/12573/stat : 12573 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 5429 0 0 0 68 1 0 0 18 0 4 0 655039367 321298432 32514 33554432000 4194304 4650419 140736894359296 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 313768

[startup+1.50066 s]
/proc/loadavg: 6.82 7.84 7.83 12/356 12574
/proc/meminfo: memFree=25934280/32951124 swapFree=53501236/67111528
[pid=12570] ppid=12568 vsize=317132 CPUtime=5.95 cores=1,3,5,7
/proc/12570/stat : 12570 (strangenight1-m) R 12568 12570 11874 0 -1 4202496 38335 0 0 0 587 8 0 0 19 0 4 0 655039367 324743168 36397 33554432000 4194304 4650419 140736894359296 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12570/statm: 79283 36397 392 112 0 74248 0
[pid=12570/tid=12571] ppid=12568 vsize=317132 CPUtime=1.46 cores=1,3,5,7
/proc/12570/task/12571/stat : 12571 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 11193 0 0 0 144 2 0 0 19 0 4 0 655039367 324743168 36398 33554432000 4194304 4650419 140736894359296 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12570/tid=12572] ppid=12568 vsize=317132 CPUtime=1.48 cores=1,3,5,7
/proc/12570/task/12572/stat : 12572 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 8359 0 0 0 147 1 0 0 19 0 4 0 655039367 324743168 36398 33554432000 4194304 4650419 140736894359296 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12570/tid=12573] ppid=12568 vsize=317132 CPUtime=1.48 cores=1,3,5,7
/proc/12570/task/12573/stat : 12573 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 7163 0 0 0 147 1 0 0 19 0 4 0 655039367 324743168 36398 33554432000 4194304 4650419 140736894359296 18446744073709551615 4364849 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 317132

[startup+3.10037 s]
/proc/loadavg: 6.82 7.84 7.83 9/356 12574
/proc/meminfo: memFree=25921012/32951124 swapFree=53501236/67111528
[pid=12570] ppid=12568 vsize=332272 CPUtime=12.34 cores=1,3,5,7
/proc/12570/stat : 12570 (strangenight1-m) R 12568 12570 11874 0 -1 4202496 49244 0 0 0 1224 10 0 0 22 0 4 0 655039367 340246528 37485 33554432000 4194304 4650419 140736894359296 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12570/statm: 83068 37486 393 112 0 78033 0
[pid=12570/tid=12571] ppid=12568 vsize=332272 CPUtime=3.05 cores=1,3,5,7
/proc/12570/task/12571/stat : 12571 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 14597 0 0 0 302 3 0 0 22 0 4 0 655039367 340246528 37486 33554432000 4194304 4650419 140736894359296 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12570/tid=12572] ppid=12568 vsize=332272 CPUtime=3.08 cores=1,3,5,7
/proc/12570/task/12572/stat : 12572 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 9830 0 0 0 306 2 0 0 22 0 4 0 655039367 340246528 37486 33554432000 4194304 4650419 140736894359296 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12570/tid=12573] ppid=12568 vsize=332272 CPUtime=3.09 cores=1,3,5,7
/proc/12570/task/12573/stat : 12573 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 9872 0 0 0 307 2 0 0 23 0 4 0 655039367 340246528 37486 33554432000 4194304 4650419 140736894359296 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 332272

[startup+6.30081 s]
/proc/loadavg: 6.91 7.84 7.83 9/356 12575
/proc/meminfo: memFree=25817228/32951124 swapFree=53501236/67111528
[pid=12570] ppid=12568 vsize=337296 CPUtime=25.1 cores=1,3,5,7
/proc/12570/stat : 12570 (strangenight1-m) R 12568 12570 11874 0 -1 4202496 68079 0 0 0 2497 13 0 0 25 0 4 0 655039367 345391104 45562 33554432000 4194304 4650419 140736894359296 18446744073709551615 4371120 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12570/statm: 84324 45562 394 112 0 79289 0
[pid=12570/tid=12571] ppid=12568 vsize=337296 CPUtime=6.21 cores=1,3,5,7
/proc/12570/task/12571/stat : 12571 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 19974 0 0 0 617 4 0 0 25 0 4 0 655039367 345391104 45562 33554432000 4194304 4650419 140736894359296 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12570/tid=12572] ppid=12568 vsize=337296 CPUtime=6.28 cores=1,3,5,7
/proc/12570/task/12572/stat : 12572 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 12940 0 0 0 626 2 0 0 25 0 4 0 655039367 345391104 45562 33554432000 4194304 4650419 140736894359296 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12570/tid=12573] ppid=12568 vsize=337296 CPUtime=6.29 cores=1,3,5,7
/proc/12570/task/12573/stat : 12573 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 16158 0 0 0 626 3 0 0 25 0 4 0 655039367 345391104 45562 33554432000 4194304 4650419 140736894359296 18446744073709551615 4436145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 337296

[startup+12.7007 s]
/proc/loadavg: 7.00 7.85 7.83 9/356 12575
/proc/meminfo: memFree=25707148/32951124 swapFree=53501236/67111528
[pid=12570] ppid=12568 vsize=443828 CPUtime=50.62 cores=1,3,5,7
/proc/12570/stat : 12570 (strangenight1-m) R 12568 12570 11874 0 -1 4202496 98312 0 0 0 5045 17 0 0 25 0 4 0 655039367 454479872 67718 33554432000 4194304 4650419 140736894359296 18446744073709551615 4369052 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12570/statm: 110957 67718 394 112 0 105922 0
[pid=12570/tid=12571] ppid=12568 vsize=443828 CPUtime=12.55 cores=1,3,5,7
/proc/12570/task/12571/stat : 12571 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 28522 0 0 0 1249 6 0 0 25 0 4 0 655039367 454479872 67718 33554432000 4194304 4650419 140736894359296 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12570/tid=12572] ppid=12568 vsize=443828 CPUtime=12.68 cores=1,3,5,7
/proc/12570/task/12572/stat : 12572 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 19079 0 0 0 1265 3 0 0 25 0 4 0 655039367 454479872 67718 33554432000 4194304 4650419 140736894359296 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12570/tid=12573] ppid=12568 vsize=443828 CPUtime=12.69 cores=1,3,5,7
/proc/12570/task/12573/stat : 12573 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 22584 0 0 0 1265 4 0 0 25 0 4 0 655039367 454479872 67718 33554432000 4194304 4650419 140736894359296 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 443828

[startup+25.5134 s]
/proc/loadavg: 7.30 7.87 7.83 9/356 12575
/proc/meminfo: memFree=25563584/32951124 swapFree=53501236/67111528
[pid=12570] ppid=12568 vsize=577284 CPUtime=101.73 cores=1,3,5,7
/proc/12570/stat : 12570 (strangenight1-m) R 12568 12570 11874 0 -1 4202496 137301 0 0 0 10149 24 0 0 25 0 4 0 655039367 591138816 82565 33554432000 4194304 4650419 140736894359296 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12570/statm: 144321 82565 394 112 0 139286 0
[pid=12570/tid=12571] ppid=12568 vsize=577284 CPUtime=25.21 cores=1,3,5,7
/proc/12570/task/12571/stat : 12571 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 42296 0 0 0 2513 8 0 0 25 0 4 0 655039367 591138816 82565 33554432000 4194304 4650419 140736894359296 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12570/tid=12572] ppid=12568 vsize=577284 CPUtime=25.49 cores=1,3,5,7
/proc/12570/task/12572/stat : 12572 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 28017 0 0 0 2545 4 0 0 25 0 4 0 655039367 591138816 82565 33554432000 4194304 4650419 140736894359296 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12570/tid=12573] ppid=12568 vsize=577284 CPUtime=25.5 cores=1,3,5,7
/proc/12570/task/12573/stat : 12573 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 33962 0 0 0 2544 6 0 0 25 0 4 0 655039367 591138816 82565 33554432000 4194304 4650419 140736894359296 18446744073709551615 4439089 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 577284

[startup+51.1009 s]
/proc/loadavg: 7.54 7.88 7.84 9/356 12576
/proc/meminfo: memFree=25345912/32951124 swapFree=53501236/67111528
[pid=12570] ppid=12568 vsize=679020 CPUtime=203.81 cores=1,3,5,7
/proc/12570/stat : 12570 (strangenight1-m) R 12568 12570 11874 0 -1 4202496 213101 0 0 0 20340 41 0 0 25 0 4 0 655039367 695316480 112244 33554432000 4194304 4650419 140736894359296 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12570/statm: 169755 112244 394 112 0 164720 0
[pid=12570/tid=12571] ppid=12568 vsize=679020 CPUtime=50.53 cores=1,3,5,7
/proc/12570/task/12571/stat : 12571 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 58426 0 0 0 5041 12 0 0 25 0 4 0 655039367 695316480 112244 33554432000 4194304 4650419 140736894359296 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12570/tid=12572] ppid=12568 vsize=679020 CPUtime=51.07 cores=1,3,5,7
/proc/12570/task/12572/stat : 12572 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 47308 0 0 0 5098 9 0 0 25 0 4 0 655039367 695316480 112244 33554432000 4194304 4650419 140736894359296 18446744073709551615 4366068 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12570/tid=12573] ppid=12568 vsize=679020 CPUtime=51.08 cores=1,3,5,7
/proc/12570/task/12573/stat : 12573 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 58126 0 0 0 5097 11 0 0 25 0 4 0 655039367 695316480 112244 33554432000 4194304 4650419 140736894359296 18446744073709551615 4315081 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.81
Current children cumulated vsize (KiB) 679020

[startup+102.301 s]
/proc/loadavg: 7.85 7.91 7.85 9/356 12577
/proc/meminfo: memFree=25132132/32951124 swapFree=53501236/67111528
[pid=12570] ppid=12568 vsize=796452 CPUtime=408.06 cores=1,3,5,7
/proc/12570/stat : 12570 (strangenight1-m) R 12568 12570 11874 0 -1 4202496 369379 0 0 0 40731 75 0 0 25 0 4 0 655039367 815566848 144225 33554432000 4194304 4650419 140736894359296 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12570/statm: 199113 144225 394 112 0 194078 0
[pid=12570/tid=12571] ppid=12568 vsize=796452 CPUtime=101.17 cores=1,3,5,7
/proc/12570/task/12571/stat : 12571 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 126463 0 0 0 10095 22 0 0 25 0 4 0 655039367 815566848 144225 33554432000 4194304 4650419 140736894359296 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12570/tid=12572] ppid=12568 vsize=796452 CPUtime=102.28 cores=1,3,5,7
/proc/12570/task/12572/stat : 12572 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 72046 0 0 0 10210 18 0 0 25 0 4 0 655039367 815566848 144225 33554432000 4194304 4650419 140736894359296 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12570/tid=12573] ppid=12568 vsize=796452 CPUtime=102.29 cores=1,3,5,7
/proc/12570/task/12573/stat : 12573 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 95683 0 0 0 10209 20 0 0 25 0 4 0 655039367 815566848 144225 33554432000 4194304 4650419 140736894359296 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.06
Current children cumulated vsize (KiB) 796452

[startup+162.3 s]

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

[pid=12570] ppid=12568 vsize=1217180 CPUtime=2801.52 cores=1,3,5,7
/proc/12570/stat : 12570 (strangenight1-m) R 12568 12570 11874 0 -1 4202496 1514600 0 0 0 279780 372 0 0 25 0 4 0 655039367 1246392320 227594 33554432000 4194304 4650419 140736894359296 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12570/statm: 304295 227594 394 112 0 299260 0
[pid=12570/tid=12571] ppid=12568 vsize=1217180 CPUtime=694.62 cores=1,3,5,7
/proc/12570/task/12571/stat : 12571 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 421556 0 0 0 69358 104 0 0 25 0 4 0 655039367 1246392320 227594 33554432000 4194304 4650419 140736894359296 18446744073709551615 4371120 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12570/tid=12572] ppid=12568 vsize=1217180 CPUtime=702.27 cores=1,3,5,7
/proc/12570/task/12572/stat : 12572 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 517226 0 0 0 70110 117 0 0 25 0 4 0 655039367 1246392320 227594 33554432000 4194304 4650419 140736894359296 18446744073709551615 4368284 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12570/tid=12573] ppid=12568 vsize=1217180 CPUtime=702.29 cores=1,3,5,7
/proc/12570/task/12573/stat : 12573 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 344863 0 0 0 70147 82 0 0 25 0 4 0 655039367 1246392320 227594 33554432000 4194304 4650419 140736894359296 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2801.52
Current children cumulated vsize (KiB) 1217180

[startup+762.301 s]
/proc/loadavg: 8.13 8.05 7.94 9/356 12595
/proc/meminfo: memFree=24289032/32951124 swapFree=53501236/67111528
[pid=12570] ppid=12568 vsize=1219332 CPUtime=3040.87 cores=1,3,5,7
/proc/12570/stat : 12570 (strangenight1-m) R 12568 12570 11874 0 -1 4202496 1583242 0 0 0 303687 400 0 0 25 0 4 0 655039367 1248595968 228644 33554432000 4194304 4650419 140736894359296 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12570/statm: 304833 228644 394 112 0 299798 0
[pid=12570/tid=12571] ppid=12568 vsize=1219332 CPUtime=753.97 cores=1,3,5,7
/proc/12570/task/12571/stat : 12571 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 444897 0 0 0 75286 111 0 0 25 0 4 0 655039367 1248595968 228644 33554432000 4194304 4650419 140736894359296 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12570/tid=12572] ppid=12568 vsize=1219332 CPUtime=762.28 cores=1,3,5,7
/proc/12570/task/12572/stat : 12572 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 544621 0 0 0 76099 129 0 0 25 0 4 0 655039367 1248595968 228644 33554432000 4194304 4650419 140736894359296 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12570/tid=12573] ppid=12568 vsize=1219332 CPUtime=762.29 cores=1,3,5,7
/proc/12570/task/12573/stat : 12573 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 359665 0 0 0 76139 90 0 0 25 0 4 0 655039367 1248595968 228644 33554432000 4194304 4650419 140736894359296 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3040.87
Current children cumulated vsize (KiB) 1219332

[startup+822.301 s]
/proc/loadavg: 8.22 8.09 7.95 9/356 12596
/proc/meminfo: memFree=24205176/32951124 swapFree=53501236/67111528
[pid=12570] ppid=12568 vsize=1425972 CPUtime=3280.21 cores=1,3,5,7
/proc/12570/stat : 12570 (strangenight1-m) R 12568 12570 11874 0 -1 4202496 1656700 0 0 0 327595 426 0 0 25 0 4 0 655039367 1460195328 248722 33554432000 4194304 4650419 140736894359296 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12570/statm: 356493 248722 394 112 0 351458 0
[pid=12570/tid=12571] ppid=12568 vsize=1425972 CPUtime=813.75 cores=1,3,5,7
/proc/12570/task/12571/stat : 12571 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 466149 0 0 0 81256 119 0 0 25 0 4 0 655039367 1460195328 248722 33554432000 4194304 4650419 140736894359296 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12570/tid=12572] ppid=12568 vsize=1425972 CPUtime=822.28 cores=1,3,5,7
/proc/12570/task/12572/stat : 12572 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 563561 0 0 0 82094 134 0 0 25 0 4 0 655039367 1460195328 248722 33554432000 4194304 4650419 140736894359296 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12570/tid=12573] ppid=12568 vsize=1425972 CPUtime=821.85 cores=1,3,5,7
/proc/12570/task/12573/stat : 12573 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 380460 0 0 0 82087 98 0 0 25 0 4 0 655039367 1460195328 248722 33554432000 4194304 4650419 140736894359296 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3280.21
Current children cumulated vsize (KiB) 1425972

[startup+882.301 s]
/proc/loadavg: 8.21 8.10 7.96 9/356 12598
/proc/meminfo: memFree=24134980/32951124 swapFree=53501236/67111528
[pid=12570] ppid=12568 vsize=1426752 CPUtime=3519.58 cores=1,3,5,7
/proc/12570/stat : 12570 (strangenight1-m) R 12568 12570 11874 0 -1 4202496 1712309 0 0 0 351508 450 0 0 25 0 4 0 655039367 1460994048 251969 33554432000 4194304 4650419 140736894359296 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12570/statm: 356688 251969 394 112 0 351653 0
[pid=12570/tid=12571] ppid=12568 vsize=1426752 CPUtime=873.76 cores=1,3,5,7
/proc/12570/task/12571/stat : 12571 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 487775 0 0 0 87247 129 0 0 25 0 4 0 655039367 1460994048 251970 33554432000 4194304 4650419 140736894359296 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12570/tid=12572] ppid=12568 vsize=1426752 CPUtime=882.29 cores=1,3,5,7
/proc/12570/task/12572/stat : 12572 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 580999 0 0 0 88090 139 0 0 25 0 4 0 655039367 1460994048 251970 33554432000 4194304 4650419 140736894359296 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12570/tid=12573] ppid=12568 vsize=1426752 CPUtime=881.2 cores=1,3,5,7
/proc/12570/task/12573/stat : 12573 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 387840 0 0 0 88018 102 0 0 25 0 4 0 655039367 1460994048 251970 33554432000 4194304 4650419 140736894359296 18446744073709551615 4439371 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3519.58
Current children cumulated vsize (KiB) 1426752

[startup+942.301 s]
/proc/loadavg: 8.14 8.09 7.97 9/356 12600
/proc/meminfo: memFree=24020616/32951124 swapFree=53501236/67111528
[pid=12570] ppid=12568 vsize=1494620 CPUtime=3758.9 cores=1,3,5,7
/proc/12570/stat : 12570 (strangenight1-m) R 12568 12570 11874 0 -1 4202496 1773670 0 0 0 375415 475 0 0 25 0 4 0 655039367 1530490880 271502 33554432000 4194304 4650419 140736894359296 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12570/statm: 373655 271502 394 112 0 368620 0
[pid=12570/tid=12571] ppid=12568 vsize=1494620 CPUtime=933.75 cores=1,3,5,7
/proc/12570/task/12571/stat : 12571 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 509478 0 0 0 93238 137 0 0 25 0 4 0 655039367 1530490880 271502 33554432000 4194304 4650419 140736894359296 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12570/tid=12572] ppid=12568 vsize=1494620 CPUtime=942.28 cores=1,3,5,7
/proc/12570/task/12572/stat : 12572 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 604223 0 0 0 94080 148 0 0 25 0 4 0 655039367 1530490880 271502 33554432000 4194304 4650419 140736894359296 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12570/tid=12573] ppid=12568 vsize=1494620 CPUtime=940.54 cores=1,3,5,7
/proc/12570/task/12573/stat : 12573 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 387840 0 0 0 93952 102 0 0 25 0 4 0 655039367 1530490880 271502 33554432000 4194304 4650419 140736894359296 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3758.9
Current children cumulated vsize (KiB) 1494620

[startup+1002.31 s]
/proc/loadavg: 8.16 8.11 7.98 9/356 12601
/proc/meminfo: memFree=24017260/32951124 swapFree=53501236/67111528
[pid=12570] ppid=12568 vsize=1365472 CPUtime=3998.29 cores=1,3,5,7
/proc/12570/stat : 12570 (strangenight1-m) R 12568 12570 11874 0 -1 4202496 1830494 0 0 0 399331 498 0 0 25 0 4 0 655039367 1398243328 269206 33554432000 4194304 4650419 140736894359296 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12570/statm: 341368 269206 394 112 0 336333 0
[pid=12570/tid=12571] ppid=12568 vsize=1365472 CPUtime=993.77 cores=1,3,5,7
/proc/12570/task/12571/stat : 12571 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 538132 0 0 0 99231 146 0 0 25 0 4 0 655039367 1398243328 269206 33554432000 4194304 4650419 140736894359296 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12570/tid=12572] ppid=12568 vsize=1365472 CPUtime=1002.29 cores=1,3,5,7
/proc/12570/task/12572/stat : 12572 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 622571 0 0 0 100073 156 0 0 25 0 4 0 655039367 1398243328 269206 33554432000 4194304 4650419 140736894359296 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12570/tid=12573] ppid=12568 vsize=1365472 CPUtime=999.89 cores=1,3,5,7
/proc/12570/task/12573/stat : 12573 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 390001 0 0 0 99885 104 0 0 25 0 4 0 655039367 1398243328 269206 33554432000 4194304 4650419 140736894359296 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3998.29
Current children cumulated vsize (KiB) 1365472

[startup+1062.3 s]
/proc/loadavg: 8.06 8.08 7.98 9/356 12603
/proc/meminfo: memFree=24074144/32951124 swapFree=53501236/67111528
[pid=12570] ppid=12568 vsize=1400384 CPUtime=4237.59 cores=1,3,5,7
/proc/12570/stat : 12570 (strangenight1-m) R 12568 12570 11874 0 -1 4202496 1896823 0 0 0 423237 522 0 0 25 0 4 0 655039367 1433993216 258460 33554432000 4194304 4650419 140736894359296 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12570/statm: 350096 258460 394 112 0 345061 0
[pid=12570/tid=12571] ppid=12568 vsize=1400384 CPUtime=1053.75 cores=1,3,5,7
/proc/12570/task/12571/stat : 12571 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 546899 0 0 0 105224 151 0 0 25 0 4 0 655039367 1433993216 258460 33554432000 4194304 4650419 140736894359296 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12570/tid=12572] ppid=12568 vsize=1400384 CPUtime=1062.28 cores=1,3,5,7
/proc/12570/task/12572/stat : 12572 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 665369 0 0 0 106060 168 0 0 25 0 4 0 655039367 1433993216 258460 33554432000 4194304 4650419 140736894359296 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12570/tid=12573] ppid=12568 vsize=1400384 CPUtime=1059.22 cores=1,3,5,7
/proc/12570/task/12573/stat : 12573 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 401817 0 0 0 105813 109 0 0 25 0 4 0 655039367 1433993216 258460 33554432000 4194304 4650419 140736894359296 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4237.59
Current children cumulated vsize (KiB) 1400384

[startup+1122.3 s]
/proc/loadavg: 8.02 8.07 7.98 9/356 12604
/proc/meminfo: memFree=23946528/32951124 swapFree=53501236/67111528
[pid=12570] ppid=12568 vsize=1521328 CPUtime=4476.93 cores=1,3,5,7
/proc/12570/stat : 12570 (strangenight1-m) R 12568 12570 11874 0 -1 4202496 1955883 0 0 0 447145 548 0 0 25 0 4 0 655039367 1557839872 276266 33554432000 4194304 4650419 140736894359296 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12570/statm: 380332 276266 394 112 0 375297 0
[pid=12570/tid=12571] ppid=12568 vsize=1521328 CPUtime=1113.75 cores=1,3,5,7
/proc/12570/task/12571/stat : 12571 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 568617 0 0 0 111214 161 0 0 25 0 4 0 655039367 1557839872 276266 33554432000 4194304 4650419 140736894359296 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12570/tid=12572] ppid=12568 vsize=1521328 CPUtime=1122.28 cores=1,3,5,7
/proc/12570/task/12572/stat : 12572 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 688428 0 0 0 112051 177 0 0 25 0 4 0 655039367 1557839872 276266 33554432000 4194304 4650419 140736894359296 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12570/tid=12573] ppid=12568 vsize=1521328 CPUtime=1118.56 cores=1,3,5,7
/proc/12570/task/12573/stat : 12573 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 415940 0 0 0 111741 115 0 0 25 0 4 0 655039367 1557839872 276266 33554432000 4194304 4650419 140736894359296 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4476.93
Current children cumulated vsize (KiB) 1521328

[startup+1182.3 s]
/proc/loadavg: 8.06 8.07 7.98 9/356 12606
/proc/meminfo: memFree=23880424/32951124 swapFree=53501236/67111528
[pid=12570] ppid=12568 vsize=1521300 CPUtime=4716.29 cores=1,3,5,7
/proc/12570/stat : 12570 (strangenight1-m) R 12568 12570 11874 0 -1 4202496 2043703 0 0 0 471051 578 0 0 25 0 4 0 655039367 1557811200 283817 33554432000 4194304 4650419 140736894359296 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12570/statm: 380325 283817 394 112 0 375290 0
[pid=12570/tid=12571] ppid=12568 vsize=1521300 CPUtime=1173.76 cores=1,3,5,7
/proc/12570/task/12571/stat : 12571 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 589628 0 0 0 117205 171 0 0 25 0 4 0 655039367 1557811200 283817 33554432000 4194304 4650419 140736894359296 18446744073709551615 4363709 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12570/tid=12572] ppid=12568 vsize=1521300 CPUtime=1182.28 cores=1,3,5,7
/proc/12570/task/12572/stat : 12572 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 724699 0 0 0 118042 186 0 0 25 0 4 0 655039367 1557811200 283817 33554432000 4194304 4650419 140736894359296 18446744073709551615 4439366 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12570/tid=12573] ppid=12568 vsize=1521300 CPUtime=1177.91 cores=1,3,5,7
/proc/12570/task/12573/stat : 12573 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 437108 0 0 0 117668 123 0 0 25 0 4 0 655039367 1557811200 283817 33554432000 4194304 4650419 140736894359296 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4716.29
Current children cumulated vsize (KiB) 1521300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.3 s]
/proc/loadavg: 8.04 8.06 7.98 10/356 12606
/proc/meminfo: memFree=23805504/32951124 swapFree=53501236/67111528
[pid=12570] ppid=12568 vsize=1586844 CPUtime=4800.1 cores=1,3,5,7
/proc/12570/stat : 12570 (strangenight1-m) R 12568 12570 11874 0 -1 4202496 2055861 0 0 0 479425 585 0 0 25 0 4 0 655039367 1624928256 295703 33554432000 4194304 4650419 140736894359296 18446744073709551615 4366906 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12570/statm: 396711 295703 394 112 0 391676 0
[pid=12570/tid=12571] ppid=12568 vsize=1586844 CPUtime=1194.77 cores=1,3,5,7
/proc/12570/task/12571/stat : 12571 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 593809 0 0 0 119304 173 0 0 25 0 4 0 655039367 1624928256 295704 33554432000 4194304 4650419 140736894359296 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12570/tid=12572] ppid=12568 vsize=1586844 CPUtime=1203.29 cores=1,3,5,7
/proc/12570/task/12572/stat : 12572 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 725292 0 0 0 120143 186 0 0 25 0 4 0 655039367 1624928256 295704 33554432000 4194304 4650419 140736894359296 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12570/tid=12573] ppid=12568 vsize=1586844 CPUtime=1198.68 cores=1,3,5,7
/proc/12570/task/12573/stat : 12573 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 440413 0 0 0 119744 124 0 0 25 0 4 0 655039367 1624928256 295704 33554432000 4194304 4650419 140736894359296 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 1586844

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

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

[startup+1203.3 s]
/proc/loadavg: 8.04 8.06 7.98 10/356 12606
/proc/meminfo: memFree=23805504/32951124 swapFree=53501236/67111528
[pid=12570] ppid=12568 vsize=1586844 CPUtime=4800.1 cores=1,3,5,7
/proc/12570/stat : 12570 (strangenight1-m) R 12568 12570 11874 0 -1 4202496 2055861 0 0 0 479425 585 0 0 25 0 4 0 655039367 1624928256 295703 33554432000 4194304 4650419 140736894359296 18446744073709551615 4366906 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12570/statm: 396711 295703 394 112 0 391676 0
[pid=12570/tid=12571] ppid=12568 vsize=1586844 CPUtime=1194.77 cores=1,3,5,7
/proc/12570/task/12571/stat : 12571 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 593809 0 0 0 119304 173 0 0 25 0 4 0 655039367 1624928256 295704 33554432000 4194304 4650419 140736894359296 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12570/tid=12572] ppid=12568 vsize=1586844 CPUtime=1203.29 cores=1,3,5,7
/proc/12570/task/12572/stat : 12572 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 725292 0 0 0 120143 186 0 0 25 0 4 0 655039367 1624928256 295704 33554432000 4194304 4650419 140736894359296 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12570/tid=12573] ppid=12568 vsize=1586844 CPUtime=1198.68 cores=1,3,5,7
/proc/12570/task/12573/stat : 12573 (strangenight1-m) R 12568 12570 11874 0 -1 4202560 440413 0 0 0 119744 124 0 0 25 0 4 0 655039367 1624928256 295704 33554432000 4194304 4650419 140736894359296 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 1586844

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.37
CPU time (s): 4800.18
CPU user time (s): 4794.28
CPU system time (s): 5.8981
CPU usage (%): 398.895
Max. virtual memory (cumulated for all children) (KiB): 1586844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.28
system time used= 5.8981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2055864
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= 6298
involuntary context switches= 34772

runsolver used 3.60245 second user time and 9.56255 second system time

The end

Launcher Data 

Begin job on node103 at 2011-05-15 06:39:27
IDJOB=3369108
IDBENCH=88228
IDSOLVER=1846
FILE ID=node103/3369108-1305434367
RUNJOBID= node103-1305434367-12548
PBS_JOBID= 13324609
Free space on /tmp= 73032 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
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-3369108-1305434367/watcher-3369108-1305434367 -o /tmp/evaluation-result-3369108-1305434367/solver-3369108-1305434367 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369108-1305434367.cnf

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

MD5SUM BENCH= 71638ad618721ad48c6bd2d48b828020
RANDOM SEED=1898338510

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26108140 kB
Buffers:        309376 kB
Cached:        3961936 kB
SwapCached:     340192 kB
Active:        1394260 kB
Inactive:      5178972 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26108140 kB
SwapTotal:    67111528 kB
SwapFree:     53501236 kB
Dirty:           22632 kB
Writeback:           0 kB
AnonPages:     1973056 kB
Mapped:          10588 kB
Slab:           152740 kB
PageTables:      52940 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 78404784 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= 73028 MiB
End job on node103 at 2011-05-15 06:59:33