Trace number 3173690

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.28 1201.78

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v35000-c147000-S883457431-033-UNKNOWN.cnf
MD5SUM0d0abbf84f73b4226aa3bedf08367d2e
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark291.591
Satisfiable
(Un)Satisfiability was proved
Number of variables35000
Number of clauses147000
Sum of the clauses size441000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3147000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 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-3173690-1304029980.cnf'
0.00/0.00	c -- header says num vars:          35000
0.00/0.00	c -- header says num clauses:      147000
0.42/0.13	c -- clauses added:            0 learnts,       147000 normals,            0 xors
0.42/0.13	c -- vars added      35000
0.42/0.13	c Parsing time:  0.11 s
0.42/0.13	c  N st     0         0     35000    147000         0         0    441000         0   no data   no data
0.77/0.27	c asymm  cl-useful: 0/147000/147000 lits-rem:0 time: 0.13
1.17/0.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.08
1.57/0.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.57/0.46	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.57/0.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.57/0.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  35000 time:  0.01 s
1.97/0.50	c Removed useless bin:       0  fixed:     0  props:   0.34M  time:  0.01 s
2.77/0.76	c lits-rem:         0  cl-subs:        0  v-elim:    865  v-fix:    0  time:  0.25 s
2.77/0.77	c Finding binary XORs  T:     0.01 s  found:       0
3.16/0.83	c Finding non-binary XORs:     0.05 s (found:       0, avg size: nan)
3.16/0.83	c calculated reachability. Time: 0.00
3.16/0.84	c Calc default polars -  time:   0.01 s pos:   15676 undec:    3924 neg:   15400
3.16/0.84	c =========================================================================================
3.16/0.84	c types(t): F = full restart, N = normal restart
3.16/0.84	c types(t): S = simplification begin/end, E = solution found
3.16/0.84	c restart types(rt): st = static, dy = dynamic
3.16/0.84	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.16/0.84	c  B st     0         0     34135    145973         0         0    443162         0   no data   no data
10.75/2.72	c  N dy    18      4093     34135    145973         0      4092    443162   1186652    173.74    185.48
18.74/4.70	c  N dy    45      8320     34135    145973         0      8319    443162   2283827    168.98    178.41
26.36/6.64	c  N dy    72     12433     34135    145973         0     12431    443162   3357004    168.51    177.39
34.32/8.63	c  N dy    99     16502     34135    145973         0     16500    443162   4401497    167.89    192.14
42.70/10.74	c  N dy   127     20679     34135    145973         0     10679    443162    847708    167.49    188.16
51.10/12.81	c  F st   158     25000     34135    145973         0     15000    443162   1967657    168.09    166.15
51.10/12.87	c  N st   158     25000     34135    145973         0     15000    443162   1967657    168.09    166.15
61.51/15.40	c  N dy   164     30002     34135    145973         0     20001    443162   3660340    168.09   no data
61.51/15.40	c  S st   164     30002     34135    145973         0     20001    443162   3660340    168.09   no data
62.28/15.65	c  S st   164     30508     34135    145973         0     20507    443162   3760085    168.09   no data
62.28/15.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
63.08/15.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.18
63.48/15.91	c blocked clauses removed:      731 vars:    121 tried:       34135 T: 0.02 s
63.48/15.92	c bin-w-bin subsume rem            0 bins  time:  0.01 s
63.48/15.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
63.48/15.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34014 time:  0.01 s
63.48/15.96	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
64.28/16.16	c lits-rem:         0  cl-subs:        0  v-elim:     23  v-fix:    0  time:  0.19 s
65.90/16.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
69.89/17.51	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time:  0.95 s
70.29/17.68	c asymm  cl-useful: 0/145221/145221 lits-rem:0 time: 0.17
70.29/17.69	c calculated reachability. Time: 0.00
70.29/17.69	c  N dy   164     30508     33991    145221         0     20175    441067   3602757    168.09   no data
78.68/19.73	c  N dy   190     34524     33991    145221         0     24191    441067   4620522    167.69    180.87
87.05/21.83	c  N dy   216     38538     33991    145221         0     28205    441067   5634496    167.42    176.32
95.44/23.96	c  N dy   245     42583     33991    145221         0     16916    441067   1197177    167.75    178.78
101.83/25.54	c  S st   265     45762     33991    145221         0     20095    441067   1990537    167.48    153.00
102.63/25.79	c  S st   265     46263     33991    145221         0     20596    441067   2072702    167.48   no data
103.03/25.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
103.43/25.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.18
103.83/26.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
103.83/26.04	c bin-w-bin subsume rem            0 bins  time:  0.01 s
103.83/26.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
103.83/26.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33991 time:  0.01 s
103.83/26.08	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
104.63/26.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
105.04/26.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
106.62/26.71	c lits-rem:         2  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.31 s
106.62/26.74	c vivif2 --  cl tried   145221 cl shrink        0 lits rem          0 time: 0.02
106.62/26.77	c vivif2 --  cl tried    20595 cl shrink        0 lits rem          0 time: 0.04
107.42/26.95	c asymm  cl-useful: 0/145221/145221 lits-rem:0 time: 0.17
107.42/26.96	c calculated reachability. Time: 0.00
107.42/26.96	c  N dy   265     46263     33991    145221         0     20595    441067   2072558    167.48   no data
115.81/29.02	c  N dy   293     50368     33991    145221         0     24700    441067   3081279    166.84    185.38
123.80/31.07	c  N dy   319     54426     33991    145221         0     28758    441067   4152307    166.99    185.32
132.59/33.23	c  N dy   346     58519     33991    145221         0     32851    441067   5225365    167.15    179.54
141.37/35.50	c  N dy   377     62694     33991    145221         0     37026    441067   6305438    167.42    179.16
149.76/37.57	c  N dy   405     66739     33991    145221         0     22406    441067   1753921    167.65    202.93
155.35/38.93	c  S st   423     69396     33991    145221         0     25063    441067   2417483    167.61   no data
156.16/39.18	c  S st   423     69897     33991    145221         0     25564    441067   2518411    167.61   no data
156.56/39.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
156.95/39.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.19
157.35/39.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
157.35/39.44	c bin-w-bin subsume rem            0 bins  time:  0.01 s
157.35/39.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
157.35/39.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33991 time:  0.01 s
157.35/39.48	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
158.17/39.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
158.94/39.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
160.55/40.29	c lits-rem:         1  cl-subs:        5  v-elim:      0  v-fix:    0  time:  0.46 s
160.95/40.31	c vivif2 --  cl tried   145221 cl shrink        0 lits rem          0 time: 0.02
160.95/40.36	c vivif2 --  cl tried    25559 cl shrink        0 lits rem          0 time: 0.05
161.75/40.54	c asymm  cl-useful: 0/145221/145221 lits-rem:0 time: 0.18
161.75/40.55	c calculated reachability. Time: 0.00
161.75/40.55	c  N dy   423     69897     33991    145221         0     25559    441067   2516048    167.61   no data
171.35/42.95	c  N dy   455     74436     33991    145221         0     30098    441067   3693397    167.81    247.88
181.72/45.53	c  N dy   489     79251     33991    145221         0     34913    441067   4899559    167.75    177.67
192.50/48.29	c  N dy   524     84345     33991    145221         0     40007    441067   6207267    167.59    179.04
199.29/49.97	c  F st   541     87500     33991    145221         0     22329    441067   1082345    167.28   no data
207.28/51.94	c  N st   546     90796     33991    145221         0     25625    441067   2456903    167.28   no data
220.46/55.21	c  N dy   575     96781     33991    145221         0     31610    441067   4400323    167.32    183.68
233.65/58.51	c  N dy   614    102971     33991    145221         0     37800    441067   5959806    167.01    179.35
237.65/59.53	c  S st   628    104845     33991    145221         0     39674    441067   6431969    167.03    167.01
238.84/59.81	c  S st   628    105354     33991    145221         0     40183    441067   6520743    167.03   no data
238.84/59.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
239.65/60.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.20
239.65/60.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
239.65/60.09	c bin-w-bin subsume rem            0 bins  time:  0.01 s
240.05/60.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
240.05/60.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33991 time:  0.01 s
240.05/60.13	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
240.85/60.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
242.44/60.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
249.64/62.54	c lits-rem:         2  cl-subs:        5  v-elim:      0  v-fix:    0  time:  1.72 s
249.64/62.57	c vivif2 --  cl tried   145221 cl shrink        0 lits rem          0 time: 0.02
250.06/62.68	c vivif2 --  cl tried    40178 cl shrink        0 lits rem          0 time: 0.12
250.83/62.89	c asymm  cl-useful: 0/145221/145221 lits-rem:0 time: 0.21
251.23/62.90	c calculated reachability. Time: 0.00
251.23/62.90	c  N dy   628    105354     33991    145221         0     40178    441067   6517839    167.03   no data
266.01/66.67	c  N dy   675    112185     33991    145221         0     24591    441067   1246097    167.08    179.98
281.21/70.46	c  N dy   725    119397     33991    145221         0     31801    441067   3073845    167.05    177.61
297.98/74.69	c  N dy   786    127095     33991    145221         0     39499    441067   5105307    167.43    176.53
316.75/79.34	c  N dy   844    135234     33991    145221         0     23931    441067    689058    167.71    185.25
335.13/83.91	c  N dy   902    143866     33991    145221         0     32563    441067   2948257    167.75    176.92
355.52/89.04	c  N dy   968    153117     33991    145221         0     41814    441067   5382483    168.03    188.40
366.28/91.78	c  S st   998    158032     33991    145221         0     46729    441067   6642586    168.04   no data
367.48/92.08	c  S st   998    158537     33991    145221         0     47234    441067   6756912    168.04   no data
367.88/92.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
368.70/92.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
368.70/92.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
368.70/92.36	c bin-w-bin subsume rem            0 bins  time:  0.01 s
368.70/92.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
368.70/92.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33991 time:  0.01 s
369.10/92.40	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
369.87/92.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
371.48/93.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
381.07/95.48	c lits-rem:         9  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.39 s
381.47/95.50	c vivif2 --  cl tried   145221 cl shrink        0 lits rem          0 time: 0.02
381.88/95.63	c vivif2 --  cl tried    47231 cl shrink        0 lits rem          0 time: 0.12
382.66/95.85	c asymm  cl-useful: 0/145221/145221 lits-rem:0 time: 0.22
382.66/95.86	c calculated reachability. Time: 0.00
382.66/95.86	c  N dy   998    158537     33991    145221         0     47231    441067   6755510    168.04   no data
404.63/101.34	c  N dy  1066    168681     33991    145221         0     32522    441067   2604528    168.11    196.91
429.00/107.46	c  N dy  1148    179608     33991    145221         0     43448    441067   5468575    168.42    181.87
454.96/113.98	c  N dy  1223    191145     33991    145221         0     29059    441067   1387866    168.38    177.64
481.73/120.62	c  N dy  1308    203361     33991    145221         0     41275    441067   4589201    168.66    177.70
511.28/128.07	c  N dy  1395    216452     33991    145221         0     27404    441067    662087    168.65    178.31
542.05/135.73	c  N dy  1490    230457     33991    145221         0     41409    441067   4348809    168.77    177.78
558.82/139.96	c  S st  1543    237806     33991    145221         0     48757    441067   6300322    168.95   no data
560.03/140.26	c  S st  1543    238311     33991    145221         0     49262    441067   6395798    168.95   no data
560.03/140.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
561.23/140.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
561.23/140.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
561.23/140.55	c bin-w-bin subsume rem            0 bins  time:  0.01 s
561.23/140.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
561.23/140.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33991 time:  0.01 s
561.23/140.59	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
562.05/140.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
563.62/141.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
573.61/143.63	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.42 s
573.61/143.65	c vivif2 --  cl tried   145221 cl shrink        0 lits rem          0 time: 0.02
574.01/143.77	c vivif2 --  cl tried    49258 cl shrink        0 lits rem          0 time: 0.12
574.80/144.00	c asymm  cl-useful: 0/145221/145221 lits-rem:0 time: 0.23
575.22/144.01	c calculated reachability. Time: 0.00
575.22/144.01	c  N dy  1543    238311     33991    145221         0     49258    441067   6394023    168.95   no data
608.77/152.48	c  N dy  1642    253522     33991    145221         0     36486    441067   2681738    168.96    180.66
645.11/161.54	c  N dy  1749    269725     33991    145221         0     52688    441067   6891025    168.95    185.18
684.27/171.33	c  N dy  1869    287008     33991    145221         0     40982    441067   3707298    169.14    179.16
726.20/181.87	c  N dy  1997    305357     33991    145221         0     59328    441067   8450256    169.19    182.55
728.60/182.44	c  F st  2003    306251     33991    145221         0     30229    441067    563193    169.16    141.66
770.54/192.91	c  N dy  2098    324882     33991    145221         0     48858    441067   5856223    169.10    181.82
816.90/204.52	c  N dy  2241    344952     33991    145221         0     37933    441067   2326063    169.24    178.67
845.23/211.61	c  S st  2325    357467     33991    145221         0     50447    441067   5533069    169.20   no data
846.44/211.91	c  S st  2325    357974     33991    145221         0     50954    441067   5619678    169.20   no data
846.44/211.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
847.24/212.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
847.24/212.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
847.24/212.20	c bin-w-bin subsume rem            0 bins  time:  0.01 s
847.65/212.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
847.65/212.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33991 time:  0.01 s
847.65/212.24	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
848.44/212.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
849.63/212.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
858.42/214.99	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  2.18 s
858.82/215.01	c vivif2 --  cl tried   145221 cl shrink        0 lits rem          0 time: 0.02
859.22/215.12	c vivif2 --  cl tried    50953 cl shrink        0 lits rem          0 time: 0.10
860.02/215.34	c asymm  cl-useful: 0/145221/145221 lits-rem:0 time: 0.23
860.02/215.36	c calculated reachability. Time: 0.00
860.02/215.36	c  N dy  2325    357974     33991    145221         0     50953    441067   5619424    169.20   no data
906.35/226.91	c  N dy  2454    378057     33991    145221         0     39038    441067   2313750    169.10    182.10
952.29/238.41	c  N dy  2586    398079     33991    145221         0     59058    441067   7435639    168.98    184.83
998.62/250.02	c  N dy  2725    418178     33991    145221         0     46162    441067   3949427    169.04    208.12
1046.16/261.97	c  N dy  2862    438256     33991    145221         0     66239    441067   9227664    169.10    181.17
1092.10/273.47	c  N dy  3007    458319     33991    145221         0     52300    441067   5363550    169.27    242.79
1140.43/285.51	c  N dy  3147    478496     33991    145221         0     37486    441067   1155537    169.36    179.40
1186.39/297.06	c  N dy  3292    498639     33991    145221         0     57627    441067   6438632    169.45    180.14
1233.90/308.92	c  N dy  3428    518714     33991    145221         0     41696    441067   1946188    169.47    181.09
1276.25/319.53	c  S st  3551    536961     33991    145221         0     59941    441067   6652055    169.45    144.15
1277.45/319.85	c  S st  3551    537462     33991    145221         0     60442    441067   6741407    169.45   no data
1277.45/319.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1278.66/320.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
1278.66/320.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1278.66/320.16	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1278.66/320.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1278.66/320.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33991 time:  0.01 s
1279.05/320.20	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
1279.85/320.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
1281.44/320.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1293.82/323.96	c lits-rem:         0  cl-subs:        5  v-elim:      0  v-fix:    0  time:  3.11 s
1293.82/323.98	c vivif2 --  cl tried   145221 cl shrink        0 lits rem          0 time: 0.02
1294.62/324.11	c vivif2 --  cl tried    60437 cl shrink        0 lits rem          0 time: 0.13
1295.42/324.35	c asymm  cl-useful: 0/145221/145221 lits-rem:0 time: 0.25
1295.42/324.37	c calculated reachability. Time: 0.00
1295.42/324.37	c  N dy  3551    537462     33991    145221         0     60437    441067   6739693    169.45   no data
1343.77/336.41	c  N dy  3694    557611     33991    145221         0     43587    441067   2145454    169.49    183.09
1390.10/348.08	c  N dy  3826    577628     33991    145221         0     63604    441067   7282268    169.48    208.74
1438.43/360.11	c  N dy  3963    597736     33991    145221         0     45712    441067   2516400    169.55    182.69
1485.57/371.93	c  N dy  4094    617853     33991    145221         0     65829    441067   7770162    169.54    180.58
1534.30/384.11	c  N dy  4232    637913     33991    145221         0     46891    441067   2582390    169.60    179.81
1581.45/395.96	c  N dy  4370    657948     33991    145221         0     66923    441067   7763655    169.67    178.87
1630.97/408.35	c  N dy  4514    678172     33991    145221         0     47149    441067   2423430    169.78    179.46
1679.70/420.53	c  N dy  4651    698287     33991    145221         0     67263    441067   7690001    169.83    183.61
1728.84/432.85	c  N dy  4790    718327     33991    145221         0     46305    441067   1877551    169.81    205.10
1776.37/444.72	c  N dy  4928    738388     33991    145221         0     66362    441067   7110772    169.84    203.66
1826.30/457.26	c  N dy  5067    758420     33991    145221         0     44399    441067   1117094    169.87    183.61
1873.84/469.14	c  N dy  5206    778482     33991    145221         0     64461    441067   6423943    169.92    180.07
1924.58/481.83	c  N dy  5344    798557     33991    145221         0     84535    441067  11660310    169.94    188.75
1942.94/486.40	c  S st  5398    806193     33991    145221         0     49173    441067   2088447    169.94   no data
1944.15/486.70	c  S st  5398    806695     33991    145221         0     49675    441067   2182993    169.94   no data
1944.15/486.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1944.95/486.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
1944.95/486.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1944.95/486.98	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1944.95/486.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1945.35/487.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33991 time:  0.01 s
1945.35/487.02	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
1945.75/487.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
1946.56/487.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1949.73/488.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.75 s
1949.73/488.13	c vivif2 --  cl tried   145221 cl shrink        0 lits rem          0 time: 0.02
1949.73/488.18	c vivif2 --  cl tried    49675 cl shrink        0 lits rem          0 time: 0.04
1950.95/488.40	c asymm  cl-useful: 0/145221/145221 lits-rem:0 time: 0.23
1950.95/488.41	c calculated reachability. Time: 0.00
1950.95/488.41	c  N dy  5398    806695     33991    145221         0     49675    441067   2182993    169.94   no data
1999.65/500.67	c  N dy  5547    826763     33991    145221         0     69743    441067   7546797    170.08    182.55
2051.18/513.59	c  N dy  5689    846768     33991    145221         0     45748    441067   1001084    170.17    186.74
2099.52/525.61	c  N dy  5828    866802     33991    145221         0     65781    441067   6224851    170.21    198.36
2149.85/538.29	c  N dy  5963    886893     33991    145221         0     85869    441067  11511403    170.27    185.09
2198.59/550.46	c  N dy  6099    906948     33991    145221         0     60923    441067   4674260    170.30    189.40
2248.92/563.04	c  N dy  6234    927025     33991    145221         0     80998    441067   9920902    170.29    187.60
2299.24/575.67	c  N dy  6373    947142     33991    145221         0     55118    441067   2859534    170.29    181.61
2348.78/588.00	c  N dy  6513    967155     33991    145221         0     75130    441067   8119265    170.31    185.25
2401.11/601.17	c  N dy  6651    987227     33991    145221         0     48204    441067    838893    170.34    201.56
2449.04/613.14	c  N dy  6783   1007380     33991    145221         0     68355    441067   6069224    170.32    181.76
2500.57/626.06	c  N dy  6917   1027511     33991    145221         0     88485    441067  11306440    170.30    183.27
2550.10/638.44	c  N dy  7054   1047537     33991    145221         0     60516    441067   3794116    170.30    183.76
2600.43/651.00	c  N dy  7190   1067615     33991    145221         0     80594    441067   9074613    170.30    185.23
2611.21/653.78	c  F st  7221   1071876     33991    145221         0     84855    441067  10156669    170.29   no data
2653.57/664.40	c  N dy  7302   1087695     33991    145221         0     51676    441067   1253449    170.30    180.16
2702.69/676.64	c  N dy  7436   1107793     33991    145221         0     71773    441067   6566847    170.31    182.68
2756.62/690.13	c  N dy  7571   1128485     33991    145221         0     92461    441067  12120556    170.34    180.44
2807.36/702.83	c  N dy  7705   1148551     33991    145221         0     62534    441067   3763556    170.32    181.12
2858.48/715.65	c  N dy  7844   1168771     33991    145221         0     82753    441067   9092821    170.35    179.55
2912.01/729.01	c  N dy  7976   1188850     33991    145221         0     51833    441067    762261    170.37    231.57
2961.93/741.50	c  N dy  8122   1208932     33991    145221         0     71914    441067   6136784    170.43    189.07
2964.33/742.18	c  S st  8129   1210042     33991    145221         0     73024    441067   6416366    170.42   no data
2965.96/742.51	c  S st  8129   1210543     33991    145221         0     73525    441067   6522746    170.42   no data
2965.96/742.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2966.73/742.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.23
2967.13/742.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2967.13/742.83	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2967.13/742.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2967.13/742.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33991 time:  0.01 s
2967.13/742.87	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
2967.93/743.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
2969.53/743.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2984.31/747.10	c lits-rem:         1  cl-subs:        3  v-elim:      0  v-fix:    0  time:  3.59 s
2984.31/747.13	c vivif2 --  cl tried   145221 cl shrink        0 lits rem          0 time: 0.02
2984.71/747.25	c vivif2 --  cl tried    73522 cl shrink        0 lits rem          0 time: 0.13
2985.91/747.52	c asymm  cl-useful: 0/145221/145221 lits-rem:0 time: 0.27
2985.91/747.54	c calculated reachability. Time: 0.00
2985.91/747.54	c  N dy  8129   1210543     33991    145221         0     73522    441067   6522290    170.42   no data
3039.03/760.83	c  N dy  8271   1230635     33991    145221         0     93614    441067  11788184    170.45    179.48
3091.75/774.07	c  N dy  8410   1250980     33991    145221         0     61963    441067   3183029    170.47    180.23
3142.89/786.85	c  N dy  8547   1271076     33991    145221         0     82059    441067   8492338    170.51    191.88
3196.81/800.35	c  N dy  8687   1291154     33991    145221         0    102137    441067  13778037    170.52    189.92
3247.16/812.98	c  N dy  8818   1311285     33991    145221         0     69264    441067   4736462    170.49    181.89
3299.48/826.06	c  N dy  8963   1331372     33991    145221         0     89350    441067  10116333    170.55    180.65
3353.79/839.63	c  N dy  9094   1351373     33991    145221         0     55351    441067    909371    170.55    183.45
3404.12/852.25	c  N dy  9233   1371869     33991    145221         0     75846    441067   6294017    170.57    182.82
3457.25/865.50	c  N dy  9371   1391882     33991    145221         0     95858    441067  11570318    170.59    183.18
3510.79/878.96	c  N dy  9506   1411967     33991    145221         0     60945    441067   2091696    170.59    180.00
3561.49/891.64	c  N dy  9640   1432068     33991    145221         0     81044    441067   7444332    170.61    179.86
3614.62/904.98	c  N dy  9766   1452197     33991    145221         0    101172    441067  12662067    170.58    183.15
3667.34/918.14	c  N dy  9898   1472262     33991    145221         0     65239    441067   3012730    170.61    180.01
3718.07/930.86	c  N dy 10025   1492443     33991    145221         0     85420    441067   8183209    170.57    182.85
3772.38/944.45	c  N dy 10158   1512542     33991    145221         0    105518    441067  13432897    170.56    181.21
3825.51/957.71	c  N dy 10292   1532677     33991    145221         0     68650    441067   3640828    170.57    179.75
3876.65/970.50	c  N dy 10416   1552764     33991    145221         0     88736    441067   8813058    170.54    181.09
3931.77/984.33	c  N dy 10549   1572770     33991    145221         0    108740    441067  14043061    170.53    217.42
3984.10/997.42	c  N dy 10686   1592797     33991    145221         0     70777    441067   3942369    170.53    196.71
4036.43/1010.54	c  N dy 10828   1612863     33991    145221         0     90843    441067   9297506    170.57    183.28
4091.94/1024.44	c  N dy 10959   1632901     33991    145221         0    110880    441067  14545361    170.59    182.58
4144.66/1037.60	c  N dy 11094   1653053     33991    145221         0     72026    441067   3918197    170.57    182.71
4197.00/1050.77	c  N dy 11232   1673110     33991    145221         0     92081    441067   9288349    170.59    260.64
4253.72/1064.95	c  N dy 11373   1693246     33991    145221         0    112216    441067  14567089    170.61    181.45
4300.06/1076.57	c  S st 11493   1710543     33991    145221         0     69519    441067   3078356    170.61    161.66
4301.67/1076.91	c  S st 11493   1711047     33991    145221         0     70023    441067   3179395    170.61   no data
4301.67/1076.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4302.45/1077.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.23
4302.85/1077.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4302.85/1077.22	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4302.85/1077.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4302.85/1077.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33991 time:  0.01 s
4302.85/1077.26	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
4303.65/1077.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
4304.45/1077.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4312.83/1079.75	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.08 s
4312.83/1079.78	c vivif2 --  cl tried   145221 cl shrink        0 lits rem          0 time: 0.02
4313.23/1079.84	c vivif2 --  cl tried    70019 cl shrink        0 lits rem          0 time: 0.06
4314.44/1080.10	c asymm  cl-useful: 0/145221/145221 lits-rem:0 time: 0.26
4314.44/1080.11	c calculated reachability. Time: 0.00
4314.44/1080.11	c  N dy 11493   1711047     33991    145221         0     70019    441067   3178380    170.61   no data
4366.37/1093.16	c  N dy 11630   1731169     33991    145221         0     90141    441067   8432630    170.61    180.20
4422.69/1107.25	c  N dy 11767   1751446     33991    145221         0    110418    441067  13859721    170.65    185.51
4477.43/1120.94	c  N dy 11905   1771490     33991    145221         0     69457    441067   2819175    170.66    181.51
4528.94/1133.81	c  N dy 12040   1791495     33991    145221         0     89461    441067   8053681    170.68    202.67
4584.06/1147.63	c  N dy 12168   1811626     33991    145221         0    109590    441067  13321959    170.67    180.72
4640.00/1161.63	c  N dy 12305   1831714     33991    145221         0     67683    441067   2090959    170.69    180.88
4691.90/1174.70	c  N dy 12447   1851795     33991    145221         0     87763    441067   7384554    170.72    182.45
4748.63/1188.81	c  N dy 12587   1871877     33991    145221         0    107841    441067  12657402    170.73    180.97

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3173690-1304029980/watcher-3173690-1304029980 -o /tmp/evaluation-result-3173690-1304029980/solver-3173690-1304029980 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173690-1304029980.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: 7.78 7.92 6.02 5/180 25027
/proc/meminfo: memFree=15571048/32950928 swapFree=67111528/67111528
[pid=25027] ppid=25025 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/25027/stat : 25027 (strangenight2-m) R 25025 25027 24860 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 4 0 514596802 52441088 347 33554432000 4194304 4627427 140735397977536 18446744073709551615 46990511814578 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25027/statm: 12803 347 299 106 0 7774 0
[pid=25027/tid=25028] ppid=25025 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/25027/task/25028/stat : 25028 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 514596802 52441088 347 33554432000 4194304 4627427 140735397977536 18446744073709551615 46990511814576 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25027/tid=25029] ppid=25025 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/25027/task/25029/stat : 25029 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 514596802 52441088 347 33554432000 4194304 4627427 140735397977536 18446744073709551615 268272745457 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25027/tid=25030] ppid=25025 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/25027/task/25030/stat : 25030 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 514596802 52441088 347 33554432000 4194304 4627427 140735397977536 18446744073709551615 268284486710 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.017185 s]
/proc/loadavg: 7.78 7.92 6.02 5/180 25027
/proc/meminfo: memFree=15571048/32950928 swapFree=67111528/67111528
[pid=25027] ppid=25025 vsize=267664 CPUtime=0.04 cores=0,2,4,6
/proc/25027/stat : 25027 (strangenight2-m) D 25025 25027 24860 0 -1 4202496 8005 0 0 0 3 1 0 0 25 0 4 0 514596802 274087936 6471 33554432000 4194304 4627427 140735397977536 18446744073709551615 268272732295 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25027/statm: 66659 6214 337 106 0 61630 0
[pid=25027/tid=25028] ppid=25025 vsize=266636 CPUtime=0 cores=0,2,4,6
/proc/25027/task/25028/stat : 25028 (strangenight2-m) D 25025 25027 24860 0 -1 4202560 1903 0 0 0 0 0 0 0 25 0 4 0 514596802 273035264 6214 33554432000 4194304 4627427 140735397977536 18446744073709551615 268272732343 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25027/tid=25029] ppid=25025 vsize=265608 CPUtime=0 cores=0,2,4,6
/proc/25027/task/25029/stat : 25029 (strangenight2-m) D 25025 25027 24860 0 -1 4202560 1878 0 0 0 0 0 0 0 25 0 4 0 514596802 271982592 6214 33554432000 4194304 4627427 140735397977536 18446744073709551615 268272714858 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25027/tid=25030] ppid=25025 vsize=265608 CPUtime=0 cores=0,2,4,6
/proc/25027/task/25030/stat : 25030 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 1905 0 0 0 0 0 0 0 25 0 4 0 514596802 271982592 5957 33554432000 4194304 4627427 140735397977536 18446744073709551615 268272732295 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 267664

[startup+0.114593 s]
/proc/loadavg: 7.78 7.92 6.02 5/180 25027
/proc/meminfo: memFree=15571048/32950928 swapFree=67111528/67111528
[pid=25027] ppid=25025 vsize=321316 CPUtime=0.42 cores=0,2,4,6
/proc/25027/stat : 25027 (strangenight2-m) R 25025 25027 24860 0 -1 4202496 23752 0 0 0 38 4 0 0 25 0 4 0 514596802 329027584 19547 33554432000 4194304 4627427 140735397977536 18446744073709551615 4303215 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25027/statm: 80329 19547 339 106 0 75300 0
[pid=25027/tid=25028] ppid=25025 vsize=321316 CPUtime=0.1 cores=0,2,4,6
/proc/25027/task/25028/stat : 25028 (strangenight2-m) D 25025 25027 24860 0 -1 4202560 5823 0 0 0 10 0 0 0 25 0 4 0 514596802 329027584 19547 33554432000 4194304 4627427 140735397977536 18446744073709551615 4504795 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25027/tid=25029] ppid=25025 vsize=321316 CPUtime=0.09 cores=0,2,4,6
/proc/25027/task/25029/stat : 25029 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 5876 0 0 0 8 1 0 0 25 0 4 0 514596802 329027584 19547 33554432000 4194304 4627427 140735397977536 18446744073709551615 4361048 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25027/tid=25030] ppid=25025 vsize=321316 CPUtime=0.1 cores=0,2,4,6
/proc/25027/task/25030/stat : 25030 (strangenight2-m) D 25025 25027 24860 0 -1 4202560 5823 0 0 0 9 1 0 0 25 0 4 0 514596802 329027584 19547 33554432000 4194304 4627427 140735397977536 18446744073709551615 268272732343 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 321316

[startup+0.301112 s]
/proc/loadavg: 7.78 7.92 6.02 5/180 25027
/proc/meminfo: memFree=15571048/32950928 swapFree=67111528/67111528
[pid=25027] ppid=25025 vsize=324276 CPUtime=1.17 cores=0,2,4,6
/proc/25027/stat : 25027 (strangenight2-m) R 25025 25027 24860 0 -1 4202496 26886 0 0 0 112 5 0 0 18 0 4 0 514596802 332058624 22681 33554432000 4194304 4627427 140735397977536 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25027/statm: 81069 22681 366 106 0 76040 0
[pid=25027/tid=25028] ppid=25025 vsize=324276 CPUtime=0.28 cores=0,2,4,6
/proc/25027/task/25028/stat : 25028 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 6579 0 0 0 28 0 0 0 25 0 4 0 514596802 332058624 22681 33554432000 4194304 4627427 140735397977536 18446744073709551615 4238928 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25027/tid=25029] ppid=25025 vsize=324276 CPUtime=0.28 cores=0,2,4,6
/proc/25027/task/25029/stat : 25029 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 6605 0 0 0 27 1 0 0 25 0 4 0 514596802 332058624 22681 33554432000 4194304 4627427 140735397977536 18446744073709551615 4237931 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25027/tid=25030] ppid=25025 vsize=324276 CPUtime=0.29 cores=0,2,4,6
/proc/25027/task/25030/stat : 25030 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 6701 0 0 0 28 1 0 0 25 0 4 0 514596802 332058624 22681 33554432000 4194304 4627427 140735397977536 18446744073709551615 4310378 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 324276

[startup+0.701042 s]
/proc/loadavg: 7.78 7.92 6.02 5/180 25027
/proc/meminfo: memFree=15571048/32950928 swapFree=67111528/67111528
[pid=25027] ppid=25025 vsize=362884 CPUtime=2.77 cores=0,2,4,6
/proc/25027/stat : 25027 (strangenight2-m) R 25025 25027 24860 0 -1 4202496 47906 0 0 0 267 10 0 0 18 0 4 0 514596802 371593216 37493 33554432000 4194304 4627427 140735397977536 18446744073709551615 4412572 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25027/statm: 90721 37493 381 106 0 85692 0
[pid=25027/tid=25028] ppid=25025 vsize=362884 CPUtime=0.68 cores=0,2,4,6
/proc/25027/task/25028/stat : 25028 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 13769 0 0 0 66 2 0 0 25 0 4 0 514596802 371593216 37493 33554432000 4194304 4627427 140735397977536 18446744073709551615 4442946 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25027/tid=25029] ppid=25025 vsize=362884 CPUtime=0.68 cores=0,2,4,6
/proc/25027/task/25029/stat : 25029 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 12975 0 0 0 66 2 0 0 25 0 4 0 514596802 371593216 37493 33554432000 4194304 4627427 140735397977536 18446744073709551615 4443450 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25027/tid=25030] ppid=25025 vsize=362884 CPUtime=0.69 cores=0,2,4,6
/proc/25027/task/25030/stat : 25030 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 6978 0 0 0 68 1 0 0 25 0 4 0 514596802 371593216 37493 33554432000 4194304 4627427 140735397977536 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 362884

[startup+1.5009 s]
/proc/loadavg: 7.78 7.92 6.02 9/184 25031
/proc/meminfo: memFree=15417128/32950928 swapFree=67111528/67111528
[pid=25027] ppid=25025 vsize=362884 CPUtime=5.95 cores=0,2,4,6
/proc/25027/stat : 25027 (strangenight2-m) R 25025 25027 24860 0 -1 4202496 51068 0 0 0 585 10 0 0 19 0 4 0 514596802 371593216 39341 33554432000 4194304 4627427 140735397977536 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25027/statm: 90721 39341 385 106 0 85692 0
[pid=25027/tid=25028] ppid=25025 vsize=362884 CPUtime=1.49 cores=0,2,4,6
/proc/25027/task/25028/stat : 25028 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 14888 0 0 0 146 3 0 0 25 0 4 0 514596802 371593216 39341 33554432000 4194304 4627427 140735397977536 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25027/tid=25029] ppid=25025 vsize=362884 CPUtime=1.47 cores=0,2,4,6
/proc/25027/task/25029/stat : 25029 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 13395 0 0 0 145 2 0 0 25 0 4 0 514596802 371593216 39341 33554432000 4194304 4627427 140735397977536 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25027/tid=25030] ppid=25025 vsize=362884 CPUtime=1.48 cores=0,2,4,6
/proc/25027/task/25030/stat : 25030 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 7508 0 0 0 147 1 0 0 25 0 4 0 514596802 371593216 39341 33554432000 4194304 4627427 140735397977536 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 362884

[startup+3.10061 s]
/proc/loadavg: 7.78 7.92 6.02 9/184 25031
/proc/meminfo: memFree=15417996/32950928 swapFree=67111528/67111528
[pid=25027] ppid=25025 vsize=494148 CPUtime=12.35 cores=0,2,4,6
/proc/25027/stat : 25027 (strangenight2-m) R 25025 25027 24860 0 -1 4202496 55230 0 0 0 1223 12 0 0 24 0 4 0 514596802 506007552 43503 33554432000 4194304 4627427 140735397977536 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25027/statm: 123537 43503 385 106 0 118508 0
[pid=25027/tid=25028] ppid=25025 vsize=494148 CPUtime=3.08 cores=0,2,4,6
/proc/25027/task/25028/stat : 25028 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 15869 0 0 0 305 3 0 0 25 0 4 0 514596802 506007552 43503 33554432000 4194304 4627427 140735397977536 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25027/tid=25029] ppid=25025 vsize=494148 CPUtime=3.06 cores=0,2,4,6
/proc/25027/task/25029/stat : 25029 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 14305 0 0 0 304 2 0 0 25 0 4 0 514596802 506007552 43503 33554432000 4194304 4627427 140735397977536 18446744073709551615 4332767 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25027/tid=25030] ppid=25025 vsize=494148 CPUtime=3.08 cores=0,2,4,6
/proc/25027/task/25030/stat : 25030 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 8804 0 0 0 307 1 0 0 25 0 4 0 514596802 506007552 43503 33554432000 4194304 4627427 140735397977536 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 494148

[startup+6.30104 s]
/proc/loadavg: 7.80 7.92 6.03 9/184 25031
/proc/meminfo: memFree=15379432/32950928 swapFree=67111528/67111528
[pid=25027] ppid=25025 vsize=494148 CPUtime=25.14 cores=0,2,4,6
/proc/25027/stat : 25027 (strangenight2-m) R 25025 25027 24860 0 -1 4202496 62163 0 0 0 2500 14 0 0 25 0 4 0 514596802 506007552 50436 33554432000 4194304 4627427 140735397977536 18446744073709551615 4305826 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25027/statm: 123537 50436 385 106 0 118508 0
[pid=25027/tid=25028] ppid=25025 vsize=494148 CPUtime=6.29 cores=0,2,4,6
/proc/25027/task/25028/stat : 25028 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 17621 0 0 0 625 4 0 0 25 0 4 0 514596802 506007552 50436 33554432000 4194304 4627427 140735397977536 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25027/tid=25029] ppid=25025 vsize=494148 CPUtime=6.26 cores=0,2,4,6
/proc/25027/task/25029/stat : 25029 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 15991 0 0 0 623 3 0 0 25 0 4 0 514596802 506007552 50436 33554432000 4194304 4627427 140735397977536 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25027/tid=25030] ppid=25025 vsize=494148 CPUtime=6.28 cores=0,2,4,6
/proc/25027/task/25030/stat : 25030 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 10546 0 0 0 627 1 0 0 25 0 4 0 514596802 506007552 50436 33554432000 4194304 4627427 140735397977536 18446744073709551615 4327897 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 494148

[startup+12.7009 s]
/proc/loadavg: 7.81 7.92 6.04 9/184 25031
/proc/meminfo: memFree=15412208/32950928 swapFree=67111528/67111528
[pid=25027] ppid=25025 vsize=392400 CPUtime=50.7 cores=0,2,4,6
/proc/25027/stat : 25027 (strangenight2-m) R 25025 25027 24860 0 -1 4202496 82443 0 0 0 5051 19 0 0 25 0 4 0 514596802 401817600 46312 33554432000 4194304 4627427 140735397977536 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25027/statm: 98100 46312 387 106 0 93071 0
[pid=25027/tid=25028] ppid=25025 vsize=392400 CPUtime=12.69 cores=0,2,4,6
/proc/25027/task/25028/stat : 25028 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 22785 0 0 0 1264 5 0 0 25 0 4 0 514596802 401817600 46312 33554432000 4194304 4627427 140735397977536 18446744073709551615 4330282 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25027/tid=25029] ppid=25025 vsize=392400 CPUtime=12.62 cores=0,2,4,6
/proc/25027/task/25029/stat : 25029 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 20781 0 0 0 1258 4 0 0 25 0 4 0 514596802 401817600 46312 33554432000 4194304 4627427 140735397977536 18446744073709551615 4306552 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25027/tid=25030] ppid=25025 vsize=392400 CPUtime=12.68 cores=0,2,4,6
/proc/25027/task/25030/stat : 25030 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 15737 0 0 0 1265 3 0 0 25 0 4 0 514596802 401817600 46312 33554432000 4194304 4627427 140735397977536 18446744073709551615 4308343 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 392400

[startup+25.5006 s]
/proc/loadavg: 7.85 7.92 6.07 9/184 25031
/proc/meminfo: memFree=15169876/32950928 swapFree=67111528/67111528
[pid=25027] ppid=25025 vsize=615056 CPUtime=101.83 cores=0,2,4,6
/proc/25027/stat : 25027 (strangenight2-m) R 25025 25027 24860 0 -1 4202496 175848 0 0 0 10140 43 0 0 25 0 4 0 514596802 629817344 104688 33554432000 4194304 4627427 140735397977536 18446744073709551615 4309405 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25027/statm: 153764 104688 390 106 0 148735 0
[pid=25027/tid=25028] ppid=25025 vsize=615056 CPUtime=25.49 cores=0,2,4,6
/proc/25027/task/25028/stat : 25028 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 58875 0 0 0 2534 15 0 0 25 0 4 0 514596802 629817344 104688 33554432000 4194304 4627427 140735397977536 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25027/tid=25029] ppid=25025 vsize=615056 CPUtime=25.36 cores=0,2,4,6
/proc/25027/task/25029/stat : 25029 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 34502 0 0 0 2529 7 0 0 25 0 4 0 514596802 629817344 104688 33554432000 4194304 4627427 140735397977536 18446744073709551615 4329529 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25027/tid=25030] ppid=25025 vsize=615056 CPUtime=25.48 cores=0,2,4,6
/proc/25027/task/25030/stat : 25030 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 30712 0 0 0 2541 7 0 0 25 0 4 0 514596802 629817344 104688 33554432000 4194304 4627427 140735397977536 18446744073709551615 4527264 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 615056

[startup+51.101 s]
/proc/loadavg: 7.90 7.93 6.12 9/184 25032
/proc/meminfo: memFree=15014356/32950928 swapFree=67111528/67111528
[pid=25027] ppid=25025 vsize=746980 CPUtime=204.09 cores=0,2,4,6
/proc/25027/stat : 25027 (strangenight2-m) R 25025 25027 24860 0 -1 4202496 252285 0 0 0 20345 64 0 0 25 0 4 0 514596802 764907520 134949 33554432000 4194304 4627427 140735397977536 18446744073709551615 4308654 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25027/statm: 186745 134950 390 106 0 181716 0
[pid=25027/tid=25028] ppid=25025 vsize=746980 CPUtime=51.08 cores=0,2,4,6
/proc/25027/task/25028/stat : 25028 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 76237 0 0 0 5090 18 0 0 25 0 4 0 514596802 764907520 134950 33554432000 4194304 4627427 140735397977536 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25027/tid=25029] ppid=25025 vsize=746980 CPUtime=50.82 cores=0,2,4,6
/proc/25027/task/25029/stat : 25029 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 51780 0 0 0 5071 11 0 0 25 0 4 0 514596802 764907520 134950 33554432000 4194304 4627427 140735397977536 18446744073709551615 4428380 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25027/tid=25030] ppid=25025 vsize=746980 CPUtime=51.07 cores=0,2,4,6
/proc/25027/task/25030/stat : 25030 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 50597 0 0 0 5094 13 0 0 25 0 4 0 514596802 764907520 134950 33554432000 4194304 4627427 140735397977536 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 746980

[startup+102.307 s]
/proc/loadavg: 7.96 7.94 6.21 9/184 25033
/proc/meminfo: memFree=14761624/32950928 swapFree=67111528/67111528
[pid=25027] ppid=25025 vsize=1143300 CPUtime=408.65 cores=0,2,4,6
/proc/25027/stat : 25027 (strangenight2-m) R 25025 25027 24860 0 -1 4202496 379894 0 0 0 40766 99 0 0 25 0 4 0 514596802 1170739200 192818 33554432000 4194304 4627427 140735397977536 18446744073709551615 4332830 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25027/statm: 285825 192818 390 106 0 280796 0
[pid=25027/tid=25028] ppid=25025 vsize=1143300 CPUtime=102.29 cores=0,2,4,6
/proc/25027/task/25028/stat : 25028 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 102686 0 0 0 10204 25 0 0 25 0 4 0 514596802 1170739200 192818 33554432000 4194304 4627427 140735397977536 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25027/tid=25029] ppid=25025 vsize=1143300 CPUtime=101.76 cores=0,2,4,6
/proc/25027/task/25029/stat : 25029 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 71971 0 0 0 10160 16 0 0 25 0 4 0 514596802 1170739200 192818 33554432000 4194304 4627427 140735397977536 18446744073709551615 4308588 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25027/tid=25030] ppid=25025 vsize=1143300 CPUtime=102.27 cores=0,2,4,6
/proc/25027/task/25030/stat : 25030 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 88428 0 0 0 10202 25 0 0 25 0 4 0 514596802 1170739200 192818 33554432000 4194304 4627427 140735397977536 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 1143300

[startup+162.301 s]

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

[pid=25027] ppid=25025 vsize=1651828 CPUtime=2805.35 cores=0,2,4,6
/proc/25027/stat : 25027 (strangenight2-m) R 25025 25027 24860 0 -1 4202496 1371858 0 0 0 280112 423 0 0 25 0 4 0 514596802 1691471872 323193 33554432000 4194304 4627427 140735397977536 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25027/statm: 412957 323193 390 106 0 407928 0
[pid=25027/tid=25028] ppid=25025 vsize=1651828 CPUtime=702.27 cores=0,2,4,6
/proc/25027/task/25028/stat : 25028 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 358378 0 0 0 70120 107 0 0 25 0 4 0 514596802 1691471872 323193 33554432000 4194304 4627427 140735397977536 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25027/tid=25029] ppid=25025 vsize=1651828 CPUtime=698.54 cores=0,2,4,6
/proc/25027/task/25029/stat : 25029 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 290375 0 0 0 69767 87 0 0 25 0 4 0 514596802 1691471872 323193 33554432000 4194304 4627427 140735397977536 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25027/tid=25030] ppid=25025 vsize=1651828 CPUtime=702.25 cores=0,2,4,6
/proc/25027/task/25030/stat : 25030 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 352427 0 0 0 70112 113 0 0 25 0 4 0 514596802 1691471872 323193 33554432000 4194304 4627427 140735397977536 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.35
Current children cumulated vsize (KiB) 1651828

[startup+762.307 s]
/proc/loadavg: 8.08 8.02 7.11 9/184 25082
/proc/meminfo: memFree=14389760/32950928 swapFree=67111528/67111528
[pid=25027] ppid=25025 vsize=1602120 CPUtime=3045.04 cores=0,2,4,6
/proc/25027/stat : 25027 (strangenight2-m) R 25025 25027 24860 0 -1 4202496 1463209 0 0 0 304050 454 0 0 25 0 4 0 514596802 1640570880 323691 33554432000 4194304 4627427 140735397977536 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25027/statm: 400530 323691 390 106 0 395501 0
[pid=25027/tid=25028] ppid=25025 vsize=1602120 CPUtime=762.28 cores=0,2,4,6
/proc/25027/task/25028/stat : 25028 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 383194 0 0 0 76112 116 0 0 25 0 4 0 514596802 1640570880 323691 33554432000 4194304 4627427 140735397977536 18446744073709551615 4308231 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25027/tid=25029] ppid=25025 vsize=1602120 CPUtime=758.21 cores=0,2,4,6
/proc/25027/task/25029/stat : 25029 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 313131 0 0 0 75727 94 0 0 25 0 4 0 514596802 1640570880 323691 33554432000 4194304 4627427 140735397977536 18446744073709551615 4321761 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25027/tid=25030] ppid=25025 vsize=1602120 CPUtime=762.25 cores=0,2,4,6
/proc/25027/task/25030/stat : 25030 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 376393 0 0 0 76104 121 0 0 25 0 4 0 514596802 1640570880 323691 33554432000 4194304 4627427 140735397977536 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.04
Current children cumulated vsize (KiB) 1602120

[startup+822.3 s]
/proc/loadavg: 8.16 8.04 7.18 9/184 25084
/proc/meminfo: memFree=14264752/32950928 swapFree=67111528/67111528
[pid=25027] ppid=25025 vsize=1668676 CPUtime=3284.68 cores=0,2,4,6
/proc/25027/stat : 25027 (strangenight2-m) R 25025 25027 24860 0 -1 4202496 1554929 0 0 0 327984 484 0 0 25 0 4 0 514596802 1708724224 347479 33554432000 4194304 4627427 140735397977536 18446744073709551615 4308715 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25027/statm: 417169 347479 390 106 0 412140 0
[pid=25027/tid=25028] ppid=25025 vsize=1668676 CPUtime=822.27 cores=0,2,4,6
/proc/25027/task/25028/stat : 25028 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 404834 0 0 0 82106 121 0 0 25 0 4 0 514596802 1708724224 347479 33554432000 4194304 4627427 140735397977536 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25027/tid=25029] ppid=25025 vsize=1668676 CPUtime=817.88 cores=0,2,4,6
/proc/25027/task/25029/stat : 25029 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 334520 0 0 0 81685 103 0 0 25 0 4 0 514596802 1708724224 347479 33554432000 4194304 4627427 140735397977536 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25027/tid=25030] ppid=25025 vsize=1668676 CPUtime=822.24 cores=0,2,4,6
/proc/25027/task/25030/stat : 25030 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 397875 0 0 0 82096 128 0 0 25 0 4 0 514596802 1708724224 347479 33554432000 4194304 4627427 140735397977536 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.68
Current children cumulated vsize (KiB) 1668676

[startup+882.301 s]
/proc/loadavg: 8.18 8.06 7.24 9/184 25085
/proc/meminfo: memFree=14283464/32950928 swapFree=67111528/67111528
[pid=25027] ppid=25025 vsize=1735584 CPUtime=3524.34 cores=0,2,4,6
/proc/25027/stat : 25027 (strangenight2-m) R 25025 25027 24860 0 -1 4202496 1649191 0 0 0 351920 514 0 0 25 0 4 0 514596802 1777238016 338160 33554432000 4194304 4627427 140735397977536 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25027/statm: 433896 338161 390 106 0 428867 0
[pid=25027/tid=25028] ppid=25025 vsize=1735584 CPUtime=882.27 cores=0,2,4,6
/proc/25027/task/25028/stat : 25028 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 431903 0 0 0 88098 129 0 0 25 0 4 0 514596802 1777238016 338161 33554432000 4194304 4627427 140735397977536 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25027/tid=25029] ppid=25025 vsize=1735584 CPUtime=877.54 cores=0,2,4,6
/proc/25027/task/25029/stat : 25029 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 351526 0 0 0 87646 108 0 0 25 0 4 0 514596802 1777238016 338161 33554432000 4194304 4627427 140735397977536 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25027/tid=25030] ppid=25025 vsize=1735584 CPUtime=882.23 cores=0,2,4,6
/proc/25027/task/25030/stat : 25030 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 425021 0 0 0 88087 136 0 0 25 0 4 0 514596802 1777238016 338161 33554432000 4194304 4627427 140735397977536 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.34
Current children cumulated vsize (KiB) 1735584

[startup+942.301 s]
/proc/loadavg: 8.17 8.08 7.29 9/184 25087
/proc/meminfo: memFree=14261616/32950928 swapFree=67111528/67111528
[pid=25027] ppid=25025 vsize=1685264 CPUtime=3764 cores=0,2,4,6
/proc/25027/stat : 25027 (strangenight2-m) R 25025 25027 24860 0 -1 4202496 1747321 0 0 0 375852 548 0 0 25 0 4 0 514596802 1725710336 353881 33554432000 4194304 4627427 140735397977536 18446744073709551615 4333037 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25027/statm: 421316 353881 390 106 0 416287 0
[pid=25027/tid=25028] ppid=25025 vsize=1685264 CPUtime=942.27 cores=0,2,4,6
/proc/25027/task/25028/stat : 25028 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 454366 0 0 0 94090 137 0 0 25 0 4 0 514596802 1725710336 353881 33554432000 4194304 4627427 140735397977536 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25027/tid=25029] ppid=25025 vsize=1685264 CPUtime=937.21 cores=0,2,4,6
/proc/25027/task/25029/stat : 25029 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 375411 0 0 0 93604 117 0 0 25 0 4 0 514596802 1725710336 353881 33554432000 4194304 4627427 140735397977536 18446744073709551615 4309197 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25027/tid=25030] ppid=25025 vsize=1685264 CPUtime=942.23 cores=0,2,4,6
/proc/25027/task/25030/stat : 25030 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 451534 0 0 0 94077 146 0 0 25 0 4 0 514596802 1725710336 353881 33554432000 4194304 4627427 140735397977536 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764
Current children cumulated vsize (KiB) 1685264

[startup+1002.3 s]
/proc/loadavg: 8.12 8.08 7.34 9/184 25088
/proc/meminfo: memFree=14119620/32950928 swapFree=67111528/67111528
[pid=25027] ppid=25025 vsize=1749284 CPUtime=4003.67 cores=0,2,4,6
/proc/25027/stat : 25027 (strangenight2-m) R 25025 25027 24860 0 -1 4202496 1835245 0 0 0 399789 578 0 0 25 0 4 0 514596802 1791266816 349396 33554432000 4194304 4627427 140735397977536 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25027/statm: 437321 349396 390 106 0 432292 0
[pid=25027/tid=25028] ppid=25025 vsize=1749284 CPUtime=1002.27 cores=0,2,4,6
/proc/25027/task/25028/stat : 25028 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 479610 0 0 0 100082 145 0 0 25 0 4 0 514596802 1791266816 349396 33554432000 4194304 4627427 140735397977536 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25027/tid=25029] ppid=25025 vsize=1749284 CPUtime=996.89 cores=0,2,4,6
/proc/25027/task/25029/stat : 25029 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 394159 0 0 0 99564 125 0 0 25 0 4 0 514596802 1791266816 349396 33554432000 4194304 4627427 140735397977536 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25027/tid=25030] ppid=25025 vsize=1749284 CPUtime=1002.23 cores=0,2,4,6
/proc/25027/task/25030/stat : 25030 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 472721 0 0 0 100070 153 0 0 25 0 4 0 514596802 1791266816 349396 33554432000 4194304 4627427 140735397977536 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.67
Current children cumulated vsize (KiB) 1749284

[startup+1062.3 s]
/proc/loadavg: 8.16 8.09 7.39 9/184 25090
/proc/meminfo: memFree=14090224/32950928 swapFree=67111528/67111528
[pid=25027] ppid=25025 vsize=1686724 CPUtime=4243.33 cores=0,2,4,6
/proc/25027/stat : 25027 (strangenight2-m) R 25025 25027 24860 0 -1 4202496 1929210 0 0 0 423723 610 0 0 25 0 4 0 514596802 1727205376 355855 33554432000 4194304 4627427 140735397977536 18446744073709551615 4309272 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25027/statm: 421681 355855 390 106 0 416652 0
[pid=25027/tid=25028] ppid=25025 vsize=1686724 CPUtime=1062.26 cores=0,2,4,6
/proc/25027/task/25028/stat : 25028 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 501970 0 0 0 106074 152 0 0 25 0 4 0 514596802 1727205376 355855 33554432000 4194304 4627427 140735397977536 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25027/tid=25029] ppid=25025 vsize=1686724 CPUtime=1056.57 cores=0,2,4,6
/proc/25027/task/25029/stat : 25029 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 414595 0 0 0 105524 133 0 0 25 0 4 0 514596802 1727205376 355855 33554432000 4194304 4627427 140735397977536 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25027/tid=25030] ppid=25025 vsize=1686724 CPUtime=1062.23 cores=0,2,4,6
/proc/25027/task/25030/stat : 25030 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 499162 0 0 0 106061 162 0 0 25 0 4 0 514596802 1727205376 355855 33554432000 4194304 4627427 140735397977536 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.33
Current children cumulated vsize (KiB) 1686724

[startup+1122.3 s]
/proc/loadavg: 8.11 8.09 7.43 9/184 25092
/proc/meminfo: memFree=14140292/32950928 swapFree=67111528/67111528
[pid=25027] ppid=25025 vsize=1751348 CPUtime=4483 cores=0,2,4,6
/proc/25027/stat : 25027 (strangenight2-m) R 25025 25027 24860 0 -1 4202496 2010692 0 0 0 447661 639 0 0 25 0 4 0 514596802 1793380352 340091 33554432000 4194304 4627427 140735397977536 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25027/statm: 437837 340091 390 106 0 432808 0
[pid=25027/tid=25028] ppid=25025 vsize=1751348 CPUtime=1122.26 cores=0,2,4,6
/proc/25027/task/25028/stat : 25028 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 524860 0 0 0 112067 159 0 0 25 0 4 0 514596802 1793380352 340091 33554432000 4194304 4627427 140735397977536 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25027/tid=25029] ppid=25025 vsize=1751348 CPUtime=1116.23 cores=0,2,4,6
/proc/25027/task/25029/stat : 25029 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 433049 0 0 0 111483 140 0 0 25 0 4 0 514596802 1793380352 340091 33554432000 4194304 4627427 140735397977536 18446744073709551615 4308408 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25027/tid=25030] ppid=25025 vsize=1751348 CPUtime=1122.22 cores=0,2,4,6
/proc/25027/task/25030/stat : 25030 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 518237 0 0 0 112054 168 0 0 25 0 4 0 514596802 1793380352 340091 33554432000 4194304 4627427 140735397977536 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483
Current children cumulated vsize (KiB) 1751348

[startup+1182.3 s]
/proc/loadavg: 8.09 8.09 7.47 9/184 25093
/proc/meminfo: memFree=13940268/32950928 swapFree=67111528/67111528
[pid=25027] ppid=25025 vsize=1752156 CPUtime=4722.67 cores=0,2,4,6
/proc/25027/stat : 25027 (strangenight2-m) R 25025 25027 24860 0 -1 4202496 2100709 0 0 0 471596 671 0 0 25 0 4 0 514596802 1794207744 368034 33554432000 4194304 4627427 140735397977536 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25027/statm: 438039 368034 390 106 0 433010 0
[pid=25027/tid=25028] ppid=25025 vsize=1752156 CPUtime=1182.26 cores=0,2,4,6
/proc/25027/task/25028/stat : 25028 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 545453 0 0 0 118060 166 0 0 25 0 4 0 514596802 1794207744 368034 33554432000 4194304 4627427 140735397977536 18446744073709551615 4327570 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25027/tid=25029] ppid=25025 vsize=1752156 CPUtime=1175.91 cores=0,2,4,6
/proc/25027/task/25029/stat : 25029 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 453576 0 0 0 117443 148 0 0 25 0 4 0 514596802 1794207744 368034 33554432000 4194304 4627427 140735397977536 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25027/tid=25030] ppid=25025 vsize=1752156 CPUtime=1182.22 cores=0,2,4,6
/proc/25027/task/25030/stat : 25030 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 542359 0 0 0 118046 176 0 0 25 0 4 0 514596802 1794207744 368034 33554432000 4194304 4627427 140735397977536 18446744073709551615 4308661 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.67
Current children cumulated vsize (KiB) 1752156



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.14 8.10 7.48 9/184 25094
/proc/meminfo: memFree=13899968/32950928 swapFree=67111528/67111528
[pid=25027] ppid=25025 vsize=1830292 CPUtime=4800.18 cores=0,2,4,6
/proc/25027/stat : 25027 (strangenight2-m) R 25025 25027 24860 0 -1 4202496 2148399 0 0 0 479335 683 0 0 25 0 4 0 514596802 1874219008 387440 33554432000 4194304 4627427 140735397977536 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25027/statm: 457573 387440 390 106 0 452544 0
[pid=25027/tid=25028] ppid=25025 vsize=1830292 CPUtime=1201.67 cores=0,2,4,6
/proc/25027/task/25028/stat : 25028 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 554342 0 0 0 119998 169 0 0 25 0 4 0 514596802 1874219008 387440 33554432000 4194304 4627427 140735397977536 18446744073709551615 4332735 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25027/tid=25029] ppid=25025 vsize=1830292 CPUtime=1195.21 cores=0,2,4,6
/proc/25027/task/25029/stat : 25029 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 476227 0 0 0 119370 151 0 0 25 0 4 0 514596802 1874219008 387440 33554432000 4194304 4627427 140735397977536 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25027/tid=25030] ppid=25025 vsize=1830292 CPUtime=1201.63 cores=0,2,4,6
/proc/25027/task/25030/stat : 25030 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 551608 0 0 0 119983 180 0 0 25 0 4 0 514596802 1874219008 387440 33554432000 4194304 4627427 140735397977536 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 1830292

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

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

[startup+1201.7 s]
/proc/loadavg: 8.14 8.10 7.48 9/184 25094
/proc/meminfo: memFree=13899968/32950928 swapFree=67111528/67111528
[pid=25027] ppid=25025 vsize=1830292 CPUtime=4800.18 cores=0,2,4,6
/proc/25027/stat : 25027 (strangenight2-m) R 25025 25027 24860 0 -1 4202496 2148399 0 0 0 479335 683 0 0 25 0 4 0 514596802 1874219008 387440 33554432000 4194304 4627427 140735397977536 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25027/statm: 457573 387440 390 106 0 452544 0
[pid=25027/tid=25028] ppid=25025 vsize=1830292 CPUtime=1201.67 cores=0,2,4,6
/proc/25027/task/25028/stat : 25028 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 554342 0 0 0 119998 169 0 0 25 0 4 0 514596802 1874219008 387440 33554432000 4194304 4627427 140735397977536 18446744073709551615 4332735 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25027/tid=25029] ppid=25025 vsize=1830292 CPUtime=1195.21 cores=0,2,4,6
/proc/25027/task/25029/stat : 25029 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 476227 0 0 0 119370 151 0 0 25 0 4 0 514596802 1874219008 387440 33554432000 4194304 4627427 140735397977536 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25027/tid=25030] ppid=25025 vsize=1830292 CPUtime=1201.63 cores=0,2,4,6
/proc/25027/task/25030/stat : 25030 (strangenight2-m) R 25025 25027 24860 0 -1 4202560 551608 0 0 0 119983 180 0 0 25 0 4 0 514596802 1874219008 387440 33554432000 4194304 4627427 140735397977536 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 1830292

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.78
CPU time (s): 4800.28
CPU user time (s): 4793.38
CPU system time (s): 6.90295
CPU usage (%): 399.431
Max. virtual memory (cumulated for all children) (KiB): 1830292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.38
system time used= 6.90295
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2148408
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= 2667
involuntary context switches= 34913

runsolver used 2.00469 second user time and 4.37733 second system time

The end

Launcher Data 

Begin job on node122 at 2011-04-29 00:33:00
IDJOB=3173690
IDBENCH=82508
IDSOLVER=1586
FILE ID=node122/3173690-1304029980
RUNJOBID= node122-1304028687-24878
PBS_JOBID= 13170330
Free space on /tmp= 71656 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v35000-c147000-S883457431-033-UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173690-1304029980/watcher-3173690-1304029980 -o /tmp/evaluation-result-3173690-1304029980/solver-3173690-1304029980 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173690-1304029980.cnf

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

MD5SUM BENCH= 0d0abbf84f73b4226aa3bedf08367d2e
RANDOM SEED=788505494

node122.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      15571460 kB
Buffers:       1730440 kB
Cached:       14487964 kB
SwapCached:          0 kB
Active:        5813824 kB
Inactive:     11001460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      15571460 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            8596 kB
Writeback:           0 kB
AnonPages:      596092 kB
Mapped:          15700 kB
Slab:           500772 kB
PageTables:       5924 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   905812 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= 71652 MiB
End job on node122 at 2011-04-29 00:53:04