Trace number 3366793

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 4800.19 1202.56

General information on the benchmark

NameSAT03/handmade/anton/SAT/
SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf
MD5SUM22bbcb4a25a1da66113c240898c75509
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.19197
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of clauses28508
Sum of the clauses size57436
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 228493
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 515

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3366793-1305415682.cnf'
0.00/0.00	c -- header says num vars:            450
0.00/0.00	c -- header says num clauses:       28508
0.00/0.01	c -- clauses added:            0 learnts,        28508 normals,            0 xors
0.00/0.01	c -- vars added        450
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       450        15     28493         0     57436         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/15/15 lits-rem:0 time: 0.00
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
0.00/0.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    450 time:  0.00 s
0.00/0.10	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.00 s
0.00/0.10	c lits-rem:        97  cl-subs:        0  v-elim:     15  v-fix:    0  time:  0.00 s
0.00/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.10	c calculated reachability. Time: 0.00
0.00/0.10	c Calc default polars -  time:   0.00 s pos:     210 undec:      15 neg:     225
0.00/0.10	c =========================================================================================
0.00/0.10	c types(t): F = full restart, N = normal restart
0.00/0.10	c types(t): S = simplification begin/end, E = solution found
0.00/0.10	c restart types(rt): st = static, dy = dynamic
0.00/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.10	c  B st     0         0       435       299     27759         0     67331         0   no data   no data
1.16/0.36	c  N dy    10      4016       435       299     27759      3754     67331    518321     14.27     15.32
3.17/0.81	c  N dy    36      8074       435       299     27759      5257     67329    619631     16.58     29.54
5.15/1.34	c  N dy    47     12397       435       299     27759      5320     67329    552023     15.72     16.65
7.56/1.91	c  N dy    62     16408       435       299     27759      9155     67329   1037758     15.92     22.20
10.35/2.62	c  N dy    86     20861       435       299     27759      8008     67329    840601     16.62     17.49
12.74/3.30	c  N dy    91     24966       435       299     27759     11879     67329   1379069     16.08     17.12
13.17/3.31	c  F st    92     25000       435       299     27759     11910     67329   1382197     16.10   no data
16.74/4.20	c  N dy    98     30002       435       299     27759     10243     67329   1064955     16.10   no data
16.74/4.20	c  S st    98     30002       435       299     27759     10243     67329   1064955     16.10   no data
16.74/4.28	c  S st    98     30504       435       299     27759     10741     67329   1112767     16.10   no data
16.74/4.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.56/4.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.5M T:  0.14
17.56/4.43	c blocked clauses removed:        0 vars:      0 tried:         435 T: 0.00 s
17.56/4.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.56/4.50	c subs with bin:        0  lits-rem:      1358  v-fix:    0  time:  0.07 s
17.56/4.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
17.97/4.51	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.00 s
17.97/4.52	c lits-rem:       218  cl-subs:       10  v-elim:     10  v-fix:    0  time:  0.01 s
22.72/5.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.26 s
23.92/6.03	c lits-rem:       156  cl-subs:      220  v-elim:      0  v-fix:    0  time:  0.25 s
24.32/6.10	c asymm  cl-useful: 430/617/632 lits-rem:5405 time: 0.06
24.32/6.10	c calculated reachability. Time: 0.00
24.32/6.10	c  N dy    98     30504       425       632     26574      3475     83382    320169     16.10   no data
25.92/6.53	c  N dy   109     35189       425       632     26574      7901     83382    833013     15.75     16.60
27.50/6.93	c  N dy   117     39249       425       632     26574      7726     83382    780289     15.47     29.33
30.31/7.69	c  N dy   148     43595       425       632     26574     11827     83382   1265140     15.93     17.09
31.50/7.99	c  S st   155     45758       425       632     26574      7185     83382    652879     15.82     10.73
31.90/8.03	c  S st   155     46260       425       632     26574      7683     83382    698205     15.82   no data
31.90/8.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
32.30/8.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.7M T:  0.09
32.30/8.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
32.30/8.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
32.70/8.29	c subs with bin:        0  lits-rem:        99  v-fix:    0  time:  0.17 s
33.10/8.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    425 time:  0.00 s
33.10/8.30	c Removed useless bin:       0  fixed:     0  props:   0.13M  time:  0.00 s
33.10/8.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
38.29/9.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.32 s
41.48/10.44	c lits-rem:       661  cl-subs:      260  v-elim:      0  v-fix:    0  time:  0.79 s
41.48/10.44	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
41.48/10.45	c vivif2 --  cl tried     7423 cl shrink        0 lits rem          0 time: 0.01
41.88/10.55	c asymm  cl-useful: 4/632/632 lits-rem:4 time: 0.10
41.88/10.56	c calculated reachability. Time: 0.00
41.88/10.56	c  N dy   155     46260       425       632     26574      7423     83279    672449     15.82   no data
44.31/11.12	c  N dy   173     50592       425       632     26574     11501     83279   1142904     15.87     16.83
47.88/12.08	c  N dy   208     54632       425       632     26574     15368     83279   1610993     16.56     18.29
51.06/12.85	c  N dy   222     58729       425       632     26574     10640     83279    978561     16.55     17.43
54.25/13.68	c  N dy   243     63049       425       632     26574     14700     83279   1497327     16.72     17.74
58.24/14.65	c  N dy   252     67095       425       632     26574     18523     83279   1889156     16.60     21.04
60.65/15.20	c  S st   261     69390       425       632     26574     10760     83279    928526     16.58   no data
60.65/15.26	c  S st   261     69893       425       632     26574     11257     83279    974137     16.58   no data
60.65/15.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
61.47/15.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.5M T:  0.18
61.47/15.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
61.47/15.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
62.23/15.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.17 s
62.23/15.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    425 time:  0.00 s
62.23/15.62	c Removed useless bin:       0  fixed:     0  props:   0.13M  time:  0.00 s
62.23/15.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
67.83/17.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.41 s
73.01/18.32	c lits-rem:       919  cl-subs:      248  v-elim:      0  v-fix:    0  time:  1.26 s
73.01/18.33	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
73.01/18.34	c vivif2 --  cl tried    11009 cl shrink        0 lits rem          0 time: 0.01
73.81/18.50	c asymm  cl-useful: 10/632/632 lits-rem:18 time: 0.16
73.81/18.50	c calculated reachability. Time: 0.00
73.81/18.50	c  N dy   261     69893       425       632     26574     11009     83261    953691     16.58   no data
77.01/19.39	c  N dy   289     74451       425       632     26574     15313     83261   1463025     16.84     25.79
82.99/20.88	c  N dy   320     79289       425       632     26574     19853     83261   1996783     17.09     19.30
88.22/22.12	c  N dy   343     84780       425       632     26574     13951     83261   1225073     17.11     18.12
90.58/22.71	c  F st   354     87501       425       632     26574     16525     83261   1575142     17.05      9.78
94.16/23.61	c  N st   359     90799       425       632     26574     19557     83261   1937466     17.05   no data
101.39/25.48	c  N dy   376     96675       425       632     26574     12950     83261   1073225     17.09     23.92
106.13/26.63	c  N dy   386    102996       425       632     26574     18839     83261   1790976     16.87     17.79
107.74/27.01	c  S st   390    104840       425       632     26574     20532     83261   1998228     16.83     15.40
108.14/27.12	c  S st   390    105341       425       632     26574     21024     83261   2047286     16.83   no data
108.14/27.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
109.34/27.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 10.9M T:  0.29
109.34/27.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
109.34/27.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
109.77/27.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.17 s
109.77/27.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    425 time:  0.00 s
109.77/27.60	c Removed useless bin:       0  fixed:     0  props:   0.13M  time:  0.00 s
110.17/27.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
116.92/29.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.65 s
145.66/36.52	c lits-rem:      3506  cl-subs:      901  v-elim:      0  v-fix:    0  time:  7.19 s
145.66/36.52	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
145.66/36.55	c vivif2 --  cl tried    20123 cl shrink        0 lits rem          0 time: 0.03
146.85/36.83	c asymm  cl-useful: 2/561/632 lits-rem:3 time: 0.28
146.85/36.83	c calculated reachability. Time: 0.00
146.85/36.83	c  N dy   390    105341       425       632     26574     20123     83258   1964898     16.83   no data
154.07/38.62	c  N dy   410    112159       425       632     26574     13530     83258   1087294     16.76     28.14
160.03/40.14	c  N dy   428    119627       425       632     26574     20491     83258   1955754     16.60     17.57
169.21/42.46	c  N dy   454    128101       425       632     26574     14420     83258   1137900     16.49     17.51
176.39/44.21	c  N dy   483    137505       425       632     26574     23146     83258   2137549     16.50     17.65
185.18/46.49	c  N dy   508    146332       425       632     26574     16500     83258   1336024     16.39     17.37
193.95/48.65	c  N dy   537    155673       425       632     26574     25235     83258   2308912     16.33     17.22
196.76/49.32	c  S st   546    158012       425       632     26574     27416     83258   2565740     16.30     11.31
197.16/49.48	c  S st   546    158513       425       632     26574     27913     83258   2615267     16.30   no data
197.16/49.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
198.75/49.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 13.1M T:  0.39
198.75/49.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
198.75/49.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
199.55/50.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.17 s
199.55/50.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    425 time:  0.00 s
199.55/50.05	c Removed useless bin:       0  fixed:     0  props:   0.13M  time:  0.00 s
199.55/50.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
206.37/51.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.61 s
265.42/66.52	c lits-rem:      3277  cl-subs:     1124  v-elim:      0  v-fix:    0  time: 14.78 s
265.42/66.52	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
265.42/66.56	c vivif2 --  cl tried    26789 cl shrink        0 lits rem          0 time: 0.04
267.02/66.95	c asymm  cl-useful: 6/461/632 lits-rem:23 time: 0.39
267.02/66.95	c calculated reachability. Time: 0.00
267.02/66.95	c  N dy   546    158513       425       632     26574     26789     83235   2525677     16.30   no data
279.38/70.01	c  N dy   611    168701       425       632     26575     20539     83235   1769993     16.68     26.10
292.96/73.48	c  N dy   663    179521       425       632     26575     30746     83235   3017847     16.82     30.10
305.73/76.67	c  N dy   708    191015       425       632     26575     24593     83235   2200799     16.83     22.99
324.09/81.28	c  N dy   760    203218       425       632     26575     18273     83235   1459018     16.88     30.90
345.64/86.60	c  N dy   828    220725       425       632     26575     34724     83235   3406499     16.97     17.92
362.41/90.89	c  N dy   867    235301       425       632     26575     29591     83235   2720332     16.91     18.12
366.80/91.93	c  S st   882    237770       425       632     26575     31919     83235   3014646     16.94   no data
367.60/92.13	c  S st   882    238271       425       632     26575     32413     83235   3060335     16.94   no data
367.60/92.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
369.60/92.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 15.3M T:  0.49
369.60/92.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
369.60/92.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
370.00/92.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.17 s
370.00/92.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    425 time:  0.00 s
370.40/92.80	c Removed useless bin:       0  fixed:     0  props:   0.13M  time:  0.00 s
370.40/92.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
378.01/94.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.90 s
437.46/109.64	c lits-rem:      3965  cl-subs:     1297  v-elim:      0  v-fix:    0  time: 14.85 s
437.46/109.64	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
437.46/109.69	c vivif2 --  cl tried    31116 cl shrink        7 lits rem          7 time: 0.04
438.66/109.97	c asymm  cl-useful: 3/410/632 lits-rem:18 time: 0.28
438.66/109.97	c calculated reachability. Time: 0.00
438.66/109.97	c  N dy   882    238271       425       632     26575     31116     83217   2962880     16.94   no data
459.41/115.16	c  N dy   939    253483       425       632     26579     25612     83217   2213258     16.90     17.95
482.56/120.97	c  N dy   974    271613       425       632     26579     21934     83217   1683187     16.70     17.71
506.10/126.89	c  N dy  1059    289289       425       632     26580     38321     83217   3556656     16.70     17.92
528.47/132.47	c  F st  1127    306250       425       632     26582     32766     83217   2826724     16.69     14.19
531.70/133.22	c  N st  1131    308286       425       632     26582     34654     83217   3003549     16.69   no data
558.03/139.81	c  N dy  1171    330083       425       632     26583     32674     83217   2758133     16.53     17.87
586.74/147.07	c  N dy  1251    350315       425       632     26584     28238     83217   2168562     16.51     17.45
595.93/149.39	c  S st  1274    357408       425       632     26585     34825     83217   2840450     16.48     11.88
596.73/149.57	c  S st  1274    357908       425       632     26585     35319     83217   2886835     16.48   no data
596.73/149.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
598.72/150.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 14.9M T:  0.47
598.72/150.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
598.72/150.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
599.52/150.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.17 s
599.52/150.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    425 time:  0.00 s
599.52/150.22	c Removed useless bin:       0  fixed:     0  props:   0.13M  time:  0.00 s
599.52/150.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
606.70/152.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.78 s
668.97/167.63	c lits-rem:      5176  cl-subs:     2697  v-elim:      0  v-fix:    0  time: 15.54 s
668.97/167.63	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
668.97/167.68	c vivif2 --  cl tried    32622 cl shrink      305 lits rem        370 time: 0.04
670.17/167.97	c asymm  cl-useful: 3/418/632 lits-rem:3 time: 0.30
670.17/167.97	c calculated reachability. Time: 0.00
670.17/167.97	c  N dy  1274    357908       425       632     26585     32622     83214   2775954     16.48   no data
699.31/175.21	c  N dy  1352    377933       425       632     26586     27120     83214   2078225     16.45     17.53
728.06/182.48	c  N dy  1436    397994       425       632     26586     45668     83214   4124008     16.45     17.34
755.63/189.35	c  N dy  1518    418008       425       632     26590     39243     83214   3379422     16.46     18.08
785.55/196.86	c  N dy  1599    438093       425       632     26590     31958     83214   2456934     16.46     21.11
816.27/204.57	c  N dy  1694    458198       425       632     26590     50653     83214   4471229     16.52     17.41
843.80/211.46	c  N dy  1792    478231       425       632     26592     42451     83214   3551950     16.59     30.60
874.95/219.23	c  N dy  1876    498795       425       632     26593     33635     83214   2527587     16.60     17.79
908.91/227.76	c  N dy  1971    519032       425       632     26594     52455     83214   4589941     16.63     17.52
934.03/234.09	c  S st  2043    536864       425       632     26594     40140     83214   3101806     16.65   no data
934.83/234.24	c  S st  2043    537367       425       632     26594     40639     83214   3149247     16.65   no data
934.83/234.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
937.22/234.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 17.0M T:  0.55
937.22/234.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
937.22/234.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
937.62/234.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.17 s
937.62/234.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    425 time:  0.00 s
937.62/234.98	c Removed useless bin:       0  fixed:     0  props:   0.13M  time:  0.00 s
938.02/235.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
946.00/237.06	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  1.98 s
997.89/250.08	c lits-rem:      3614  cl-subs:     2561  v-elim:      0  v-fix:    0  time: 13.01 s
997.89/250.08	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
998.29/250.13	c vivif2 --  cl tried    38077 cl shrink      811 lits rem       1579 time: 0.05
999.49/250.42	c asymm  cl-useful: 1/323/632 lits-rem:1 time: 0.30
999.49/250.43	c calculated reachability. Time: 0.00
999.49/250.43	c  N dy  2043    537367       425       632     26594     38077     83213   3061498     16.65   no data
1037.40/259.91	c  N dy  2132    558085       425       632     26595     57326     83213   5168755     16.68     17.76
1066.98/267.37	c  N dy  2231    578134       425       632     26595     46258     83213   3835399     16.77     19.46
1106.07/277.12	c  N dy  2340    598193       425       632     26595     34270     83213   2498856     16.88     24.68
1137.24/284.92	c  N dy  2423    618286       425       632     26596     52803     83213   4422864     16.90     25.69
1171.93/293.64	c  N dy  2518    638368       425       632     26599     39849     83213   3042536     16.95     18.35
1205.46/302.07	c  N dy  2600    658535       425       632     26600     58621     83213   5019973     16.96     18.28
1240.99/310.92	c  N dy  2681    679128       425       632     26601     45237     83213   3545820     16.96     18.07
1283.30/321.55	c  N dy  2790    699891       425       632     26601     64301     83213   5487709     17.01     18.06
1310.44/328.36	c  N dy  2846    719896       425       632     26602     49452     83213   3834133     16.98     21.60
1361.17/341.10	c  N dy  2953    741112       425       632     26604     34900     83213   2382071     17.06     18.46
1396.30/349.83	c  N dy  3071    761163       425       632     26604     53481     83213   4299070     17.15     28.76
1443.37/361.62	c  N dy  3169    781347       425       632     26605     36994     83213   2550713     17.20     18.16
1478.10/370.31	c  N dy  3263    801734       425       632     26605     55860     83213   4551528     17.23     18.23
1487.68/372.73	c  S st  3288    806050       425       632     26605     59804     83213   4989439     17.24      9.15
1488.51/372.99	c  S st  3288    806553       425       632     26605     60302     83213   5038241     17.24   no data
1488.51/373.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1492.06/373.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 22.4M T:  0.81
1492.06/373.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1492.06/373.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1492.47/373.99	c subs with bin:        0  lits-rem:         1  v-fix:    0  time:  0.17 s
1492.47/373.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    425 time:  0.00 s
1492.47/373.99	c Removed useless bin:       0  fixed:     0  props:   0.13M  time:  0.00 s
1492.90/374.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
1500.85/376.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.84 s
1625.02/407.19	c lits-rem:      8337  cl-subs:     4349  v-elim:      0  v-fix:    0  time: 31.17 s
1625.02/407.19	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
1625.38/407.26	c vivif2 --  cl tried    55953 cl shrink      696 lits rem       1442 time: 0.07
1626.99/407.61	c asymm  cl-useful: 1/308/632 lits-rem:7 time: 0.34
1626.99/407.61	c calculated reachability. Time: 0.00
1626.99/407.61	c  N dy  3288    806553       425       632     26605     55953     83205   4874540     17.24   no data
1679.29/420.76	c  N dy  3415    827233       425       632     26607     39342     83205   2880964     17.35     18.46
1715.20/429.78	c  N dy  3514    847292       425       632     26607     57899     83205   4789273     17.39     18.31
1765.89/442.42	c  N dy  3635    868092       425       632     26607     40232     83205   2880204     17.48     18.63
1802.23/451.54	c  N dy  3745    888132       425       632     26609     58800     83205   4757685     17.52     25.61
1857.34/465.35	c  N dy  3868    908215       425       632     26611     39492     83205   2743941     17.61     32.51
1894.03/474.58	c  N dy  4007    928349       425       632     26612     58297     83205   4663849     17.73     18.68
1947.52/487.98	c  N dy  4107    948465       425       632     26612     76965     83205   6481622     17.79     18.81
1991.44/498.97	c  N dy  4245    969553       425       632     26612     57607     83205   4528509     17.88     18.98
2046.56/512.74	c  N dy  4354    991217       425       632     26612     77540     83205   6601580     17.91     18.92
2085.25/522.41	c  N dy  4463   1011845       425       632     26613     56867     83205   4419157     17.95     19.01
2137.54/535.52	c  N dy  4571   1032392       425       632     26614     75865     83205   6354202     17.99     19.61
2178.28/545.75	c  N dy  4651   1052473       425       632     26616     53558     83205   4047101     18.01     29.43
2222.20/556.79	c  F st  4746   1071876       425       632     26618     71612     83205   5922139     18.06   no data
2224.16/557.25	c  N st  4748   1072503       425       632     26618     72202     83205   5980863     18.06   no data
2274.88/569.96	c  N dy  4814   1093377       425       632     26619     49746     83205   3648292     18.06     19.40
2315.16/580.02	c  N dy  4911   1114004       425       632     26619     68799     83205   5566442     18.08     19.16
2371.50/594.16	c  N dy  5002   1134034       425       632     26620     44836     83205   3198599     18.11     37.39
2418.15/605.82	c  N dy  5105   1154636       425       632     26621     63937     83205   5075941     18.14     19.38
2484.81/622.52	c  N dy  5232   1174639       425       632     26622     82479     83205   6905861     18.22     29.30
2528.72/633.50	c  N dy  5320   1194746       425       632     26624     57400     83205   4207869     18.24     19.79
2559.89/641.38	c  S st  5382   1209830       425       632     26625     71377     83205   5642534     18.25     12.39
2561.06/641.66	c  S st  5382   1210330       425       632     26625     71874     83205   5694343     18.25   no data
2561.06/641.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2565.84/642.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 27.1M T:  1.15
2565.84/642.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2565.84/642.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2566.64/643.00	c subs with bin:        0  lits-rem:         3  v-fix:    0  time:  0.17 s
2566.64/643.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    425 time:  0.00 s
2566.64/643.01	c Removed useless bin:       0  fixed:     0  props:   0.13M  time:  0.00 s
2566.64/643.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
2579.42/646.27	c subs with bin:       66  lits-rem:       799  v-fix:    0  time:  3.08 s
2742.27/687.05	c lits-rem:      7138  cl-subs:     5524  v-elim:      0  v-fix:    0  time: 40.77 s
2742.27/687.05	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
2742.67/687.15	c vivif2 --  cl tried    66284 cl shrink     2827 lits rem       8015 time: 0.10
2744.29/687.53	c asymm  cl-useful: 0/275/632 lits-rem:0 time: 0.38
2744.29/687.53	c calculated reachability. Time: 0.00
2744.29/687.53	c  N dy  5382   1210330       425       632     26625     66284     83202   5504093     18.25   no data
2812.92/704.79	c  N dy  5511   1230377       425       632     26629     84925     83202   7271426     18.32     27.65
2855.23/715.36	c  N dy  5586   1250481       425       632     26635     59239     83202   4569745     18.32     19.49
2900.74/726.79	c  N dy  5665   1270658       425       632     26638     77841     83202   6278226     18.32     19.47
2949.84/739.08	c  N dy  5740   1290728       425       632     26638     51142     83202   3677579     18.33     21.06
2989.36/749.00	c  N dy  5834   1310788       425       632     26642     69775     83202   5536060     18.36     28.60
3055.62/765.55	c  N dy  5940   1331010       425       632     26647     88547     83202   7277318     18.40     19.52
3100.72/776.83	c  N dy  6029   1351095       425       632     26657     60833     83202   4453280     18.40     29.77
3150.22/789.21	c  N dy  6108   1371145       424       632     26663     79390     83202   6176905     18.40     31.37
3210.90/804.44	c  N dy  6233   1392585       424       632     26664     52128     83202   3617814     18.46     19.70
3250.41/814.32	c  N dy  6315   1412653       424       632     26665     70746     83202   5498897     18.48     26.68
3307.50/828.67	c  N dy  6408   1433601       424       632     26665     90291     83202   7541040     18.51     19.55
3359.43/841.61	c  N dy  6531   1453695       424       632     26667     60955     83202   4357365     18.59     22.23
3406.50/853.45	c  N dy  6618   1473784       424       632     26667     79562     83202   6292991     18.60     24.96
3472.38/869.95	c  N dy  6717   1493816       424       632     26669     98204     83202   8231186     18.63     23.21
3511.49/879.79	c  N dy  6809   1513862       424       632     26670     67490     83202   5010519     18.66     20.38
3569.81/894.40	c  N dy  6932   1533952       424       632     26670     86256     83202   6909857     18.72     28.33
3629.66/909.39	c  N dy  7031   1554030       424       632     26670     54638     83202   3634572     18.75     23.36
3666.81/918.64	c  N dy  7128   1574441       424       632     26670     73671     83202   5527998     18.78     19.82
3718.68/931.69	c  N dy  7220   1594980       424       632     26671     92810     83202   7445790     18.80     20.65
3772.56/945.14	c  N dy  7309   1615008       424       632     26674     60268     83202   4244487     18.80     28.36
3818.88/956.75	c  N dy  7415   1635058       424       632     26674     78891     83202   6157740     18.84     19.88
3880.75/972.27	c  N dy  7528   1655178       424       632     26675     97635     83202   8038511     18.88     19.89
3929.89/984.55	c  N dy  7651   1675210       424       632     26676     64275     83202   4393710     18.93     20.60
3968.17/994.10	c  N dy  7721   1695511       424       632     26676     83106     83202   6204385     18.93     20.13
4008.50/1004.21	c  S st  7788   1710330       424       632     26676     96986     83202   7568460     18.94     17.56
4009.69/1004.50	c  S st  7788   1710832       424       632     26676     97483     83202   7614859     18.94   no data
4009.69/1004.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4015.28/1005.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 34.6M T:  1.42
4015.28/1005.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4015.28/1005.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4016.08/1006.11	c subs with bin:        0  lits-rem:         7  v-fix:    0  time:  0.17 s
4016.08/1006.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    424 time:  0.00 s
4016.08/1006.12	c Removed useless bin:       0  fixed:     0  props:   0.13M  time:  0.00 s
4016.08/1006.19	c lits-rem:         2  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
4026.48/1008.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.35 s
4249.60/1064.60	c lits-rem:      9107  cl-subs:     5806  v-elim:      0  v-fix:    0  time: 55.82 s
4249.60/1064.60	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
4250.00/1064.73	c vivif2 --  cl tried    87306 cl shrink     2814 lits rem       4573 time: 0.14
4251.59/1065.13	c asymm  cl-useful: 2/234/632 lits-rem:2 time: 0.40
4251.59/1065.14	c calculated reachability. Time: 0.00
4251.59/1065.14	c  N dy  7788   1710832       424       632     26456     87306     82833   7261267     18.94   no data
4316.70/1081.45	c  N dy  7886   1730934       424       632     26463     55134     82833   3829589     18.96     21.32
4356.97/1091.53	c  N dy  7963   1750993       424       632     26465     73642     82833   5671130     18.96     25.58
4414.87/1106.01	c  N dy  8052   1771153       424       632     26466     92226     82833   7512762     18.98     20.31
4471.15/1120.12	c  N dy  8138   1793112       424       632     26469     59916     82833   4220454     18.98     20.09
4521.05/1132.65	c  N dy  8242   1816105       424       632     26469     81203     82833   6320295     18.99     20.21
4578.94/1147.11	c  N dy  8309   1836719       424       632     26477    100159     82833   8170566     18.98     20.25
4616.46/1156.53	c  N dy  8369   1856747       424       632     26479     64940     82833   4628737     18.96     25.73
4663.96/1168.45	c  N dy  8448   1876803       424       632     26479     83543     82833   6461444     18.97     30.61
4727.44/1184.37	c  N dy  8520   1896875       424       632     26483    102101     82833   8223398     18.97     34.17
4784.52/1198.65	c  N dy  8615   1917924       424       632     26485     66278     82833   4656487     18.99     20.01

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

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

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


[startup+0 s]
/proc/loadavg: 8.09 8.09 8.00 5/277 32486
/proc/meminfo: memFree=24827288/32951124 swapFree=67083432/67111528
[pid=32486] ppid=32484 vsize=281828 CPUtime=0 cores=0,2,4,6
/proc/32486/stat : 32486 (strangenight2-m) D 32484 32486 31966 0 -1 4202496 1090 0 0 0 0 0 0 0 25 0 4 0 731798776 288591872 1008 33554432000 4194304 4580107 140737461377392 18446744073709551615 260020057121 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32486/statm: 70457 1011 336 95 0 65439 0
[pid=32486/tid=32487] ppid=32484 vsize=281828 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32487/stat : 32487 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 170 0 0 0 0 0 0 0 25 0 4 0 731798777 288591872 1014 33554432000 4194304 4580107 140737461377392 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32486/tid=32488] ppid=32484 vsize=281828 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32488/stat : 32488 (strangenight2-m) D 32484 32486 31966 0 -1 4202560 173 0 0 0 0 0 0 0 25 0 4 0 731798777 288591872 1015 33554432000 4194304 4580107 140737461377392 18446744073709551615 260020439223 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32486/tid=32489] ppid=32484 vsize=281828 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32489/stat : 32489 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 171 0 0 0 0 0 0 0 25 0 4 0 731798777 288591872 1017 33554432000 4194304 4580107 140737461377392 18446744073709551615 260020057121 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.109069 s]
/proc/loadavg: 8.09 8.09 8.00 5/277 32486
/proc/meminfo: memFree=24827288/32951124 swapFree=67083432/67111528
[pid=32486] ppid=32484 vsize=283004 CPUtime=0.4 cores=0,2,4,6
/proc/32486/stat : 32486 (strangenight2-m) R 32484 32486 31966 0 -1 4202496 2937 0 0 0 40 0 0 0 25 0 4 0 731798776 289796096 2855 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32486/statm: 70751 2855 376 95 0 65733 0
[pid=32486/tid=32487] ppid=32484 vsize=283004 CPUtime=0.1 cores=0,2,4,6
/proc/32486/task/32487/stat : 32487 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 667 0 0 0 10 0 0 0 18 0 4 0 731798777 289796096 2855 33554432000 4194304 4580107 140737461377392 18446744073709551615 260020056773 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32486/tid=32488] ppid=32484 vsize=283004 CPUtime=0.09 cores=0,2,4,6
/proc/32486/task/32488/stat : 32488 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 640 0 0 0 9 0 0 0 18 0 4 0 731798777 289796096 2856 33554432000 4194304 4580107 140737461377392 18446744073709551615 4293308 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32486/tid=32489] ppid=32484 vsize=283004 CPUtime=0.09 cores=0,2,4,6
/proc/32486/task/32489/stat : 32489 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 532 0 0 0 9 0 0 0 25 0 4 0 731798777 289796096 2856 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 283004

[startup+0.201053 s]
/proc/loadavg: 8.09 8.09 8.00 5/277 32486
/proc/meminfo: memFree=24827288/32951124 swapFree=67083432/67111528
[pid=32486] ppid=32484 vsize=283136 CPUtime=0.76 cores=0,2,4,6
/proc/32486/stat : 32486 (strangenight2-m) R 32484 32486 31966 0 -1 4202496 3585 0 0 0 76 0 0 0 25 0 4 0 731798776 289931264 3503 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32486/statm: 70784 3503 377 95 0 65766 0
[pid=32486/tid=32487] ppid=32484 vsize=283136 CPUtime=0.19 cores=0,2,4,6
/proc/32486/task/32487/stat : 32487 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 841 0 0 0 19 0 0 0 18 0 4 0 731798777 289931264 3503 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32486/tid=32488] ppid=32484 vsize=283136 CPUtime=0.18 cores=0,2,4,6
/proc/32486/task/32488/stat : 32488 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 744 0 0 0 18 0 0 0 18 0 4 0 731798777 289931264 3503 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32486/tid=32489] ppid=32484 vsize=283136 CPUtime=0.18 cores=0,2,4,6
/proc/32486/task/32489/stat : 32489 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 736 0 0 0 18 0 0 0 25 0 4 0 731798777 289931264 3503 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 283136

[startup+0.301036 s]
/proc/loadavg: 8.09 8.09 8.00 5/277 32486
/proc/meminfo: memFree=24827288/32951124 swapFree=67083432/67111528
[pid=32486] ppid=32484 vsize=283268 CPUtime=1.16 cores=0,2,4,6
/proc/32486/stat : 32486 (strangenight2-m) R 32484 32486 31966 0 -1 4202496 4244 0 0 0 116 0 0 0 25 0 4 0 731798776 290066432 4162 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32486/statm: 70817 4162 377 95 0 65799 0
[pid=32486/tid=32487] ppid=32484 vsize=283268 CPUtime=0.29 cores=0,2,4,6
/proc/32486/task/32487/stat : 32487 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 1000 0 0 0 29 0 0 0 18 0 4 0 731798777 290066432 4162 33554432000 4194304 4580107 140737461377392 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32486/tid=32488] ppid=32484 vsize=283268 CPUtime=0.28 cores=0,2,4,6
/proc/32486/task/32488/stat : 32488 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 937 0 0 0 28 0 0 0 18 0 4 0 731798777 290066432 4162 33554432000 4194304 4580107 140737461377392 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32486/tid=32489] ppid=32484 vsize=283268 CPUtime=0.28 cores=0,2,4,6
/proc/32486/task/32489/stat : 32489 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 880 0 0 0 28 0 0 0 25 0 4 0 731798777 290066432 4162 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 283268

[startup+0.700962 s]
/proc/loadavg: 8.09 8.09 8.00 5/277 32486
/proc/meminfo: memFree=24827288/32951124 swapFree=67083432/67111528
[pid=32486] ppid=32484 vsize=288624 CPUtime=2.77 cores=0,2,4,6
/proc/32486/stat : 32486 (strangenight2-m) R 32484 32486 31966 0 -1 4202496 7492 0 0 0 276 1 0 0 25 0 4 0 731798776 295550976 5044 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294612 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32486/statm: 72156 5044 377 95 0 67138 0
[pid=32486/tid=32487] ppid=32484 vsize=288624 CPUtime=0.69 cores=0,2,4,6
/proc/32486/task/32487/stat : 32487 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 1766 0 0 0 69 0 0 0 18 0 4 0 731798777 295550976 5044 33554432000 4194304 4580107 140737461377392 18446744073709551615 4320616 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32486/tid=32488] ppid=32484 vsize=288624 CPUtime=0.68 cores=0,2,4,6
/proc/32486/task/32488/stat : 32488 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 1792 0 0 0 68 0 0 0 18 0 4 0 731798777 295550976 5044 33554432000 4194304 4580107 140737461377392 18446744073709551615 4324083 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32486/tid=32489] ppid=32484 vsize=288624 CPUtime=0.68 cores=0,2,4,6
/proc/32486/task/32489/stat : 32489 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 1667 0 0 0 68 0 0 0 25 0 4 0 731798777 295550976 5044 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 288624

[startup+1.50082 s]
/proc/loadavg: 8.09 8.09 8.00 9/281 32491
/proc/meminfo: memFree=24801092/32951124 swapFree=67083432/67111528
[pid=32486] ppid=32484 vsize=291468 CPUtime=5.95 cores=0,2,4,6
/proc/32486/stat : 32486 (strangenight2-m) R 32484 32486 31966 0 -1 4202496 12481 0 0 0 594 1 0 0 25 0 4 0 731798776 298463232 6365 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32486/statm: 72867 6365 377 95 0 67849 0
[pid=32486/tid=32487] ppid=32484 vsize=291468 CPUtime=1.49 cores=0,2,4,6
/proc/32486/task/32487/stat : 32487 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 2997 0 0 0 149 0 0 0 19 0 4 0 731798777 298463232 6365 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32486/tid=32488] ppid=32484 vsize=291468 CPUtime=1.48 cores=0,2,4,6
/proc/32486/task/32488/stat : 32488 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 3081 0 0 0 148 0 0 0 19 0 4 0 731798777 298463232 6365 33554432000 4194304 4580107 140737461377392 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32486/tid=32489] ppid=32484 vsize=291468 CPUtime=1.48 cores=0,2,4,6
/proc/32486/task/32489/stat : 32489 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 2818 0 0 0 148 0 0 0 25 0 4 0 731798777 298463232 6365 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 291468

[startup+3.10052 s]
/proc/loadavg: 8.09 8.09 8.00 9/281 32491
/proc/meminfo: memFree=24790436/32951124 swapFree=67083432/67111528
[pid=32486] ppid=32484 vsize=294320 CPUtime=12.35 cores=0,2,4,6
/proc/32486/stat : 32486 (strangenight2-m) R 32484 32486 31966 0 -1 4202496 20480 0 0 0 1232 3 0 0 25 0 4 0 731798776 301383680 8776 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294524 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32486/statm: 73580 8776 378 95 0 68562 0
[pid=32486/tid=32487] ppid=32484 vsize=294320 CPUtime=3.08 cores=0,2,4,6
/proc/32486/task/32487/stat : 32487 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 4871 0 0 0 308 0 0 0 25 0 4 0 731798777 301383680 8776 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32486/tid=32488] ppid=32484 vsize=294320 CPUtime=3.08 cores=0,2,4,6
/proc/32486/task/32488/stat : 32488 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 5074 0 0 0 308 0 0 0 25 0 4 0 731798777 301383680 8776 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32486/tid=32489] ppid=32484 vsize=294320 CPUtime=3.06 cores=0,2,4,6
/proc/32486/task/32489/stat : 32489 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 5029 0 0 0 306 0 0 0 25 0 4 0 731798777 301383680 8777 33554432000 4194304 4580107 140737461377392 18446744073709551615 4320897 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 294320

[startup+6.30093 s]
/proc/loadavg: 8.09 8.09 8.00 10/281 32491
/proc/meminfo: memFree=24775804/32951124 swapFree=67083432/67111528
[pid=32486] ppid=32484 vsize=294320 CPUtime=25.12 cores=0,2,4,6
/proc/32486/stat : 32486 (strangenight2-m) R 32484 32486 31966 0 -1 4202496 36265 0 0 0 2506 6 0 0 25 0 4 0 731798776 301383680 15764 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32486/statm: 73580 15764 379 95 0 68562 0
[pid=32486/tid=32487] ppid=32484 vsize=294320 CPUtime=6.29 cores=0,2,4,6
/proc/32486/task/32487/stat : 32487 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 9587 0 0 0 628 1 0 0 25 0 4 0 731798777 301383680 15764 33554432000 4194304 4580107 140737461377392 18446744073709551615 4413617 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32486/tid=32488] ppid=32484 vsize=294320 CPUtime=6.29 cores=0,2,4,6
/proc/32486/task/32488/stat : 32488 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 8686 0 0 0 627 2 0 0 25 0 4 0 731798777 301383680 15764 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32486/tid=32489] ppid=32484 vsize=294320 CPUtime=6.23 cores=0,2,4,6
/proc/32486/task/32489/stat : 32489 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 8586 0 0 0 623 0 0 0 25 0 4 0 731798777 301383680 15764 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 294320

[startup+12.7008 s]
/proc/loadavg: 8.07 8.08 8.00 9/281 32491
/proc/meminfo: memFree=24722752/32951124 swapFree=67083432/67111528
[pid=32486] ppid=32484 vsize=345204 CPUtime=50.66 cores=0,2,4,6
/proc/32486/stat : 32486 (strangenight2-m) R 32484 32486 31966 0 -1 4202496 66521 0 0 0 5055 11 0 0 25 0 4 0 731798776 353488896 29816 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294558 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32486/statm: 86301 29816 379 95 0 81283 0
[pid=32486/tid=32487] ppid=32484 vsize=345204 CPUtime=12.69 cores=0,2,4,6
/proc/32486/task/32487/stat : 32487 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 21217 0 0 0 1266 3 0 0 25 0 4 0 731798777 353488896 29816 33554432000 4194304 4580107 140737461377392 18446744073709551615 4413635 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32486/tid=32488] ppid=32484 vsize=345204 CPUtime=12.68 cores=0,2,4,6
/proc/32486/task/32488/stat : 32488 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 17030 0 0 0 1265 3 0 0 25 0 4 0 731798777 353488896 29816 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32486/tid=32489] ppid=32484 vsize=345204 CPUtime=12.58 cores=0,2,4,6
/proc/32486/task/32489/stat : 32489 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 13589 0 0 0 1257 1 0 0 25 0 4 0 731798777 353488896 29816 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 345204

[startup+25.5004 s]
/proc/loadavg: 8.06 8.08 8.00 9/281 32491
/proc/meminfo: memFree=24624544/32951124 swapFree=67083432/67111528
[pid=32486] ppid=32484 vsize=334344 CPUtime=101.74 cores=0,2,4,6
/proc/32486/stat : 32486 (strangenight2-m) R 32484 32486 31966 0 -1 4202496 101507 0 0 0 10156 18 0 0 25 0 4 0 731798776 342368256 50031 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32486/statm: 83586 50031 379 95 0 78568 0
[pid=32486/tid=32487] ppid=32484 vsize=334344 CPUtime=25.48 cores=0,2,4,6
/proc/32486/task/32487/stat : 32487 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 23535 0 0 0 2545 3 0 0 25 0 4 0 731798777 342368256 50031 33554432000 4194304 4580107 140737461377392 18446744073709551615 4322517 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32486/tid=32488] ppid=32484 vsize=334344 CPUtime=25.48 cores=0,2,4,6
/proc/32486/task/32488/stat : 32488 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 29513 0 0 0 2543 5 0 0 25 0 4 0 731798777 342368256 50031 33554432000 4194304 4580107 140737461377392 18446744073709551615 4416028 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32486/tid=32489] ppid=32484 vsize=334344 CPUtime=25.28 cores=0,2,4,6
/proc/32486/task/32489/stat : 32489 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 24640 0 0 0 2524 4 0 0 25 0 4 0 731798777 342368256 50031 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 334344

[startup+51.1007 s]
/proc/loadavg: 8.04 8.07 8.00 9/281 32492
/proc/meminfo: memFree=24519240/32951124 swapFree=67083432/67111528
[pid=32486] ppid=32484 vsize=455536 CPUtime=203.94 cores=0,2,4,6
/proc/32486/stat : 32486 (strangenight2-m) R 32484 32486 31966 0 -1 4202496 150267 0 0 0 20365 29 0 0 25 0 4 0 731798776 466468864 78026 33554432000 4194304 4580107 140737461377392 18446744073709551615 4412930 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32486/statm: 113884 78026 379 95 0 108866 0
[pid=32486/tid=32487] ppid=32484 vsize=455536 CPUtime=51.09 cores=0,2,4,6
/proc/32486/task/32487/stat : 32487 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 33066 0 0 0 5104 5 0 0 25 0 4 0 731798777 466468864 78026 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32486/tid=32488] ppid=32484 vsize=455536 CPUtime=51.09 cores=0,2,4,6
/proc/32486/task/32488/stat : 32488 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 33881 0 0 0 5102 7 0 0 25 0 4 0 731798777 466468864 78026 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32486/tid=32489] ppid=32484 vsize=455536 CPUtime=50.67 cores=0,2,4,6
/proc/32486/task/32489/stat : 32489 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 44279 0 0 0 5059 8 0 0 25 0 4 0 731798777 466468864 78026 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.94
Current children cumulated vsize (KiB) 455536

[startup+102.3 s]
/proc/loadavg: 8.11 8.09 8.01 9/281 32493
/proc/meminfo: memFree=24420136/32951124 swapFree=67083432/67111528
[pid=32486] ppid=32484 vsize=590788 CPUtime=408.35 cores=0,2,4,6
/proc/32486/stat : 32486 (strangenight2-m) R 32484 32486 31966 0 -1 4202496 214996 0 0 0 40790 45 0 0 25 0 4 0 731798776 604966912 97627 33554432000 4194304 4580107 140737461377392 18446744073709551615 4416036 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32486/statm: 147697 97627 379 95 0 142679 0
[pid=32486/tid=32487] ppid=32484 vsize=590788 CPUtime=102.3 cores=0,2,4,6
/proc/32486/task/32487/stat : 32487 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 36503 0 0 0 10224 6 0 0 25 0 4 0 731798777 604966912 97627 33554432000 4194304 4580107 140737461377392 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32486/tid=32488] ppid=32484 vsize=590788 CPUtime=102.29 cores=0,2,4,6
/proc/32486/task/32488/stat : 32488 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 54723 0 0 0 10217 12 0 0 25 0 4 0 731798777 604966912 97627 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32486/tid=32489] ppid=32484 vsize=590788 CPUtime=101.44 cores=0,2,4,6
/proc/32486/task/32489/stat : 32489 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 73060 0 0 0 10130 14 0 0 25 0 4 0 731798777 604966912 97627 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.35
Current children cumulated vsize (KiB) 590788

[startup+162.3 s]

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

[pid=32486] ppid=32484 vsize=1296272 CPUtime=2563.85 cores=0,2,4,6
/proc/32486/stat : 32486 (strangenight2-m) R 32484 32486 31966 0 -1 4202496 811383 0 0 0 256197 188 0 0 25 0 4 0 731798776 1327382528 215942 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32486/statm: 324068 215942 379 95 0 319050 0
[pid=32486/tid=32487] ppid=32484 vsize=1296272 CPUtime=642.3 cores=0,2,4,6
/proc/32486/task/32487/stat : 32487 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 166040 0 0 0 64194 36 0 0 25 0 4 0 731798777 1327382528 215942 33554432000 4194304 4580107 140737461377392 18446744073709551615 4416036 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32486/tid=32488] ppid=32484 vsize=1296272 CPUtime=642.3 cores=0,2,4,6
/proc/32486/task/32488/stat : 32488 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 229713 0 0 0 64172 58 0 0 25 0 4 0 731798777 1327382528 215942 33554432000 4194304 4580107 140737461377392 18446744073709551615 4412649 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32486/tid=32489] ppid=32484 vsize=1296272 CPUtime=637.03 cores=0,2,4,6
/proc/32486/task/32489/stat : 32489 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 241675 0 0 0 63650 53 0 0 25 0 4 0 731798777 1327382528 215942 33554432000 4194304 4580107 140737461377392 18446744073709551615 4321126 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2563.85
Current children cumulated vsize (KiB) 1296272

[startup+702.301 s]
/proc/loadavg: 8.32 8.17 8.06 9/281 32512
/proc/meminfo: memFree=23871616/32951124 swapFree=67083432/67111528
[pid=32486] ppid=32484 vsize=1274464 CPUtime=2803.34 cores=0,2,4,6
/proc/32486/stat : 32486 (strangenight2-m) R 32484 32486 31966 0 -1 4202496 828389 0 0 0 280136 198 0 0 25 0 4 0 731798776 1305051136 214474 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294520 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32486/statm: 318616 214474 379 95 0 313598 0
[pid=32486/tid=32487] ppid=32484 vsize=1274464 CPUtime=702.31 cores=0,2,4,6
/proc/32486/task/32487/stat : 32487 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 169189 0 0 0 70192 39 0 0 25 0 4 0 731798777 1305051136 214474 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32486/tid=32488] ppid=32484 vsize=1274464 CPUtime=702.3 cores=0,2,4,6
/proc/32486/task/32488/stat : 32488 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 230939 0 0 0 70172 58 0 0 25 0 4 0 731798777 1305051136 214474 33554432000 4194304 4580107 140737461377392 18446744073709551615 4301832 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32486/tid=32489] ppid=32484 vsize=1274464 CPUtime=696.52 cores=0,2,4,6
/proc/32486/task/32489/stat : 32489 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 252424 0 0 0 69594 58 0 0 25 0 4 0 731798777 1305051136 214474 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2803.34
Current children cumulated vsize (KiB) 1274464

[startup+762.301 s]
/proc/loadavg: 6.54 7.76 7.92 5/272 32532
/proc/meminfo: memFree=24265504/32951124 swapFree=67083432/67111528
[pid=32486] ppid=32484 vsize=1326676 CPUtime=3042.88 cores=0,2,4,6
/proc/32486/stat : 32486 (strangenight2-m) R 32484 32486 31966 0 -1 4202496 881384 0 0 0 304077 211 0 0 25 0 4 0 731798776 1358516224 221334 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32486/statm: 331669 221334 379 95 0 326651 0
[pid=32486/tid=32487] ppid=32484 vsize=1326676 CPUtime=762.31 cores=0,2,4,6
/proc/32486/task/32487/stat : 32487 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 183232 0 0 0 76189 42 0 0 25 0 4 0 731798777 1358516224 221334 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32486/tid=32488] ppid=32484 vsize=1326676 CPUtime=762.31 cores=0,2,4,6
/proc/32486/task/32488/stat : 32488 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 245978 0 0 0 76170 61 0 0 25 0 4 0 731798777 1358516224 221334 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32486/tid=32489] ppid=32484 vsize=1326676 CPUtime=756.03 cores=0,2,4,6
/proc/32486/task/32489/stat : 32489 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 261081 0 0 0 75542 61 0 0 25 0 4 0 731798777 1358516224 221334 33554432000 4194304 4580107 140737461377392 18446744073709551615 4295702 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3042.88
Current children cumulated vsize (KiB) 1326676

[startup+822.301 s]
/proc/loadavg: 4.93 7.07 7.67 5/272 32533
/proc/meminfo: memFree=24231856/32951124 swapFree=67083432/67111528
[pid=32486] ppid=32484 vsize=1363348 CPUtime=3282.35 cores=0,2,4,6
/proc/32486/stat : 32486 (strangenight2-m) R 32484 32486 31966 0 -1 4202496 922307 0 0 0 328015 220 0 0 25 0 4 0 731798776 1396068352 230022 33554432000 4194304 4580107 140737461377392 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32486/statm: 340837 230022 379 95 0 335819 0
[pid=32486/tid=32487] ppid=32484 vsize=1363348 CPUtime=822.32 cores=0,2,4,6
/proc/32486/task/32487/stat : 32487 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 189229 0 0 0 82187 45 0 0 25 0 4 0 731798777 1396068352 230022 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32486/tid=32488] ppid=32484 vsize=1363348 CPUtime=822.3 cores=0,2,4,6
/proc/32486/task/32488/stat : 32488 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 261677 0 0 0 82166 64 0 0 25 0 4 0 731798777 1396068352 230022 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32486/tid=32489] ppid=32484 vsize=1363348 CPUtime=815.55 cores=0,2,4,6
/proc/32486/task/32489/stat : 32489 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 270902 0 0 0 81491 64 0 0 25 0 4 0 731798777 1396068352 230023 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3282.35
Current children cumulated vsize (KiB) 1363348

[startup+882.31 s]
/proc/loadavg: 4.34 6.51 7.44 5/272 32535
/proc/meminfo: memFree=24237532/32951124 swapFree=67083432/67111528
[pid=32486] ppid=32484 vsize=1295544 CPUtime=3521.9 cores=0,2,4,6
/proc/32486/stat : 32486 (strangenight2-m) R 32484 32486 31966 0 -1 4202496 962971 0 0 0 351957 233 0 0 25 0 4 0 731798776 1326637056 228180 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32486/statm: 323886 228181 379 95 0 318868 0
[pid=32486/tid=32487] ppid=32484 vsize=1295544 CPUtime=882.32 cores=0,2,4,6
/proc/32486/task/32487/stat : 32487 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 198421 0 0 0 88184 48 0 0 25 0 4 0 731798777 1326637056 228181 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32486/tid=32488] ppid=32484 vsize=1295544 CPUtime=882.31 cores=0,2,4,6
/proc/32486/task/32488/stat : 32488 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 272941 0 0 0 88163 68 0 0 25 0 4 0 731798777 1326637056 228181 33554432000 4194304 4580107 140737461377392 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32486/tid=32489] ppid=32484 vsize=1295544 CPUtime=875.06 cores=0,2,4,6
/proc/32486/task/32489/stat : 32489 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 275551 0 0 0 87442 64 0 0 25 0 4 0 731798777 1326637056 228181 33554432000 4194304 4580107 140737461377392 18446744073709551615 4416310 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3521.9
Current children cumulated vsize (KiB) 1295544

[startup+942.301 s]
/proc/loadavg: 4.12 6.05 7.22 5/272 32537
/proc/meminfo: memFree=24219916/32951124 swapFree=67083432/67111528
[pid=32486] ppid=32484 vsize=1209112 CPUtime=3761.39 cores=0,2,4,6
/proc/32486/stat : 32486 (strangenight2-m) R 32484 32486 31966 0 -1 4202496 1019890 0 0 0 375892 247 0 0 25 0 4 0 731798776 1238130688 232815 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32486/statm: 302278 232815 379 95 0 297260 0
[pid=32486/tid=32487] ppid=32484 vsize=1209112 CPUtime=942.31 cores=0,2,4,6
/proc/32486/task/32487/stat : 32487 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 210166 0 0 0 94180 51 0 0 25 0 4 0 731798777 1238130688 232815 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32486/tid=32488] ppid=32484 vsize=1209112 CPUtime=942.31 cores=0,2,4,6
/proc/32486/task/32488/stat : 32488 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 288692 0 0 0 94159 72 0 0 25 0 4 0 731798777 1238130688 232815 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32486/tid=32489] ppid=32484 vsize=1209112 CPUtime=934.56 cores=0,2,4,6
/proc/32486/task/32489/stat : 32489 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 289907 0 0 0 93389 67 0 0 25 0 4 0 731798777 1238130688 232815 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3761.39
Current children cumulated vsize (KiB) 1209112

[startup+1002.3 s]
/proc/loadavg: 4.08 5.69 7.02 5/272 32538
/proc/meminfo: memFree=24182700/32951124 swapFree=67083432/67111528
[pid=32486] ppid=32484 vsize=1455728 CPUtime=4000.91 cores=0,2,4,6
/proc/32486/stat : 32486 (strangenight2-m) R 32484 32486 31966 0 -1 4202496 1064216 0 0 0 399831 260 0 0 25 0 4 0 731798776 1490665472 242103 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32486/statm: 363932 242103 379 95 0 358914 0
[pid=32486/tid=32487] ppid=32484 vsize=1455728 CPUtime=1002.32 cores=0,2,4,6
/proc/32486/task/32487/stat : 32487 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 218691 0 0 0 100178 54 0 0 25 0 4 0 731798777 1490665472 242103 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32486/tid=32488] ppid=32484 vsize=1455728 CPUtime=1002.31 cores=0,2,4,6
/proc/32486/task/32488/stat : 32488 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 299844 0 0 0 100156 75 0 0 25 0 4 0 731798777 1490665472 242103 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32486/tid=32489] ppid=32484 vsize=1455728 CPUtime=994.08 cores=0,2,4,6
/proc/32486/task/32489/stat : 32489 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 301846 0 0 0 99337 71 0 0 25 0 4 0 731798777 1490665472 242103 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4000.91
Current children cumulated vsize (KiB) 1455728

[startup+1062.3 s]
/proc/loadavg: 4.03 5.38 6.83 5/272 32540
/proc/meminfo: memFree=24174376/32951124 swapFree=67083432/67111528
[pid=32486] ppid=32484 vsize=1598680 CPUtime=4240.42 cores=0,2,4,6
/proc/32486/stat : 32486 (strangenight2-m) R 32484 32486 31966 0 -1 4202496 1101999 0 0 0 423771 271 0 0 25 0 4 0 731798776 1637048320 244345 33554432000 4194304 4580107 140737461377392 18446744073709551615 4417038 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32486/statm: 399670 244345 379 95 0 394652 0
[pid=32486/tid=32487] ppid=32484 vsize=1598680 CPUtime=1062.32 cores=0,2,4,6
/proc/32486/task/32487/stat : 32487 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 223879 0 0 0 106176 56 0 0 25 0 4 0 731798777 1637048320 244345 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32486/tid=32488] ppid=32484 vsize=1598680 CPUtime=1062.31 cores=0,2,4,6
/proc/32486/task/32488/stat : 32488 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 306776 0 0 0 106153 78 0 0 25 0 4 0 731798777 1637048320 244345 33554432000 4194304 4580107 140737461377392 18446744073709551615 4416727 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32486/tid=32489] ppid=32484 vsize=1598680 CPUtime=1053.58 cores=0,2,4,6
/proc/32486/task/32489/stat : 32489 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 316967 0 0 0 105282 76 0 0 25 0 4 0 731798777 1637048320 244345 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4240.42
Current children cumulated vsize (KiB) 1598680

[startup+1122.3 s]
/proc/loadavg: 4.04 5.14 6.66 5/272 32541
/proc/meminfo: memFree=24141396/32951124 swapFree=67083432/67111528
[pid=32486] ppid=32484 vsize=1538056 CPUtime=4479.93 cores=0,2,4,6
/proc/32486/stat : 32486 (strangenight2-m) R 32484 32486 31966 0 -1 4202496 1150591 0 0 0 447708 285 0 0 25 0 4 0 731798776 1574969344 252572 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32486/statm: 384514 252572 379 95 0 379496 0
[pid=32486/tid=32487] ppid=32484 vsize=1538056 CPUtime=1122.32 cores=0,2,4,6
/proc/32486/task/32487/stat : 32487 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 234681 0 0 0 112173 59 0 0 25 0 4 0 731798777 1574969344 252572 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32486/tid=32488] ppid=32484 vsize=1538056 CPUtime=1122.31 cores=0,2,4,6
/proc/32486/task/32488/stat : 32488 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 317998 0 0 0 112150 81 0 0 25 0 4 0 731798777 1574969344 252572 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32486/tid=32489] ppid=32484 vsize=1538056 CPUtime=1113.1 cores=0,2,4,6
/proc/32486/task/32489/stat : 32489 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 328181 0 0 0 111230 80 0 0 25 0 4 0 731798777 1574969344 252572 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4479.93
Current children cumulated vsize (KiB) 1538056

[startup+1182.3 s]
/proc/loadavg: 4.09 4.95 6.49 5/272 32543
/proc/meminfo: memFree=24167556/32951124 swapFree=67083432/67111528
[pid=32486] ppid=32484 vsize=1311268 CPUtime=4719.46 cores=0,2,4,6
/proc/32486/stat : 32486 (strangenight2-m) R 32484 32486 31966 0 -1 4202496 1202803 0 0 0 471648 298 0 0 25 0 4 0 731798776 1342738432 246358 33554432000 4194304 4580107 140737461377392 18446744073709551615 4324255 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32486/statm: 327817 246358 379 95 0 322799 0
[pid=32486/tid=32487] ppid=32484 vsize=1311268 CPUtime=1182.32 cores=0,2,4,6
/proc/32486/task/32487/stat : 32487 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 243791 0 0 0 118171 61 0 0 25 0 4 0 731798777 1342738432 246358 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32486/tid=32488] ppid=32484 vsize=1311268 CPUtime=1182.32 cores=0,2,4,6
/proc/32486/task/32488/stat : 32488 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 333384 0 0 0 118148 84 0 0 25 0 4 0 731798777 1342738432 246358 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32486/tid=32489] ppid=32484 vsize=1311268 CPUtime=1172.61 cores=0,2,4,6
/proc/32486/task/32489/stat : 32489 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 343525 0 0 0 117178 83 0 0 25 0 4 0 731798777 1342738432 246358 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294400 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4719.46
Current children cumulated vsize (KiB) 1311268



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.5 s]
/proc/loadavg: 4.06 4.88 6.44 5/272 32544
/proc/meminfo: memFree=24119444/32951124 swapFree=67083432/67111528
[pid=32486] ppid=32484 vsize=1590440 CPUtime=4800.11 cores=0,2,4,6
/proc/32486/stat : 32486 (strangenight2-m) R 32484 32486 31966 0 -1 4202496 1217093 0 0 0 479710 301 0 0 25 0 4 0 731798776 1628610560 257881 33554432000 4194304 4580107 140737461377392 18446744073709551615 4301509 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32486/statm: 397610 257881 379 95 0 392592 0
[pid=32486/tid=32487] ppid=32484 vsize=1590440 CPUtime=1202.53 cores=0,2,4,6
/proc/32486/task/32487/stat : 32487 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 246479 0 0 0 120191 62 0 0 25 0 4 0 731798777 1628610560 257881 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32486/tid=32488] ppid=32484 vsize=1590440 CPUtime=1202.52 cores=0,2,4,6
/proc/32486/task/32488/stat : 32488 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 336410 0 0 0 120168 84 0 0 25 0 4 0 731798777 1628610560 257881 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32486/tid=32489] ppid=32484 vsize=1590440 CPUtime=1192.64 cores=0,2,4,6
/proc/32486/task/32489/stat : 32489 (strangenight2-m) R 32484 32486 31966 0 -1 4202560 345728 0 0 0 119180 84 0 0 25 0 4 0 731798777 1628610560 257881 33554432000 4194304 4580107 140737461377392 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.11
Current children cumulated vsize (KiB) 1590440

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.56
CPU time (s): 4800.19
CPU user time (s): 4797.13
CPU system time (s): 3.05653
CPU usage (%): 399.164
Max. virtual memory (cumulated for all children) (KiB): 1663268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.13
system time used= 3.05653
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1217094
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= 691
involuntary context switches= 32863

runsolver used 2.95955 second user time and 6.95194 second system time

The end

Launcher Data 

Begin job on node110 at 2011-05-15 01:28:02
IDJOB=3366793
IDBENCH=84010
IDSOLVER=1844
FILE ID=node110/3366793-1305415682
RUNJOBID= node110-1305414477-32370
PBS_JOBID= 13324533
Free space on /tmp= 73584 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT03/handmade/anton/SAT/SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366793-1305415682/watcher-3366793-1305415682 -o /tmp/evaluation-result-3366793-1305415682/solver-3366793-1305415682 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366793-1305415682.cnf

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

MD5SUM BENCH= 22bbcb4a25a1da66113c240898c75509
RANDOM SEED=848628343

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24827336 kB
Buffers:        279580 kB
Cached:        4050380 kB
SwapCached:       1440 kB
Active:        4612384 kB
Inactive:      3182248 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24827336 kB
SwapTotal:    67111528 kB
SwapFree:     67083432 kB
Dirty:            5864 kB
Writeback:           0 kB
AnonPages:     3463352 kB
Mapped:          23360 kB
Slab:           245716 kB
PageTables:      21148 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 46523296 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= 73588 MiB
End job on node110 at 2011-05-15 01:48:07