Trace number 3366149

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.36 1203.48

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v30000-c126000-S913491256-073-UNKNOWN.cnf
MD5SUM785309e098f4d0ba8da3027c8426e931
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark245.957
Satisfiable
(Un)Satisfiability was proved
Number of variables30000
Number of clauses126000
Sum of the clauses size378000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3126000
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.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366149-1305397103.cnf'
0.00/0.01	c -- header says num vars:          30000
0.00/0.01	c -- header says num clauses:      126000
0.00/0.22	c -- clauses added:            0 learnts,       126000 normals,            0 xors
0.00/0.22	c -- vars added      30000
0.00/0.22	c Parsing time:  0.09 s
0.00/0.22	c  N st     0         0     30000    126000         0         0    378000         0   no data   no data
0.00/0.22	c asymm  cl-useful: 0/126000/126000 lits-rem:0 time: 0.11
0.00/0.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
0.00/0.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.39	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.00/0.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.00/0.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  30000 time:  0.01 s
0.00/0.39	c Removed useless bin:       0  fixed:     0  props:   0.29M  time:  0.01 s
0.00/0.60	c lits-rem:         0  cl-subs:        0  v-elim:    730  v-fix:    0  time:  0.21 s
0.00/0.60	c Finding binary XORs  T:     0.01 s  found:       0
0.00/0.65	c Finding non-binary XORs:     0.04 s (found:       0, avg size: nan)
0.00/0.65	c calculated reachability. Time: 0.00
0.00/0.66	c Calc default polars -  time:   0.01 s pos:   13484 undec:    3346 neg:   13170
0.00/0.66	c =========================================================================================
0.00/0.66	c types(t): F = full restart, N = normal restart
0.00/0.66	c types(t): S = simplification begin/end, E = solution found
0.00/0.66	c restart types(rt): st = static, dy = dynamic
0.00/0.66	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.66	c  B st     0         0     29270    125231         0         0    380074         0   no data   no data
9.13/2.33	c  N dy    19      4079     29270    125231         0      4079    380074   1224355    140.33    150.90
15.52/3.96	c  N dy    49      8233     29270    125231         0      8233    380074   2163586    146.58    164.27
22.30/5.68	c  N dy    82     12310     29270    125231         0     12310    380074   3129760    150.28    161.08
29.09/7.41	c  N dy   113     16335     29270    125231         0     16335    380074   4074702    151.35    159.66
36.66/9.21	c  N dy   144     20389     29270    125231         0     10390    380074    703243    152.71    160.88
43.44/10.96	c  N dy   171     24511     29270    125231         0     14512    380074   1716018    153.74    163.61
44.23/11.18	c  F st   176     25000     29270    125231         0     15001    380074   1845872    154.11   no data
53.41/13.47	c  N dy   182     30000     29270    125231         0     20000    380074   3530004    154.11   no data
53.41/13.47	c  S st   182     30000     29270    125231         0     20000    380074   3530004    154.11   no data
54.21/13.69	c  S st   182     30501     29270    125231         0     20501    380074   3622395    154.11   no data
54.61/13.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
54.61/13.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.08
55.01/13.83	c blocked clauses removed:      626 vars:     99 tried:       29270 T: 0.02 s
55.01/13.84	c bin-w-bin subsume rem            0 bins  time:  0.01 s
55.01/13.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
55.01/13.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29171 time:  0.01 s
55.01/13.87	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
55.41/14.00	c lits-rem:         0  cl-subs:        0  v-elim:     13  v-fix:    0  time:  0.14 s
57.00/14.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
60.99/15.30	c lits-rem:         3  cl-subs:       10  v-elim:      0  v-fix:    0  time:  0.93 s
61.39/15.45	c asymm  cl-useful: 0/124596/124596 lits-rem:0 time: 0.15
61.39/15.46	c calculated reachability. Time: 0.00
61.39/15.46	c  N dy   182     30501     29158    124596         0     20223    378257   3506846    154.11   no data
69.00/17.37	c  N dy   213     34570     29158    124596         0     24292    378257   4500061    155.33    177.65
76.55/19.27	c  N dy   245     38581     29158    124596         0     28303    378257   5465991    155.59    168.47
84.53/21.22	c  N dy   271     42784     29158    124596         0     17140    378257   1159583    155.49    166.66
89.71/22.51	c  S st   289     45752     29158    124596         0     20108    378257   1881698    155.14   no data
90.51/22.73	c  S st   289     46255     29158    124596         0     20611    378257   1965410    155.14   no data
90.51/22.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
90.93/22.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.08
90.93/22.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
90.93/22.87	c bin-w-bin subsume rem            0 bins  time:  0.01 s
90.93/22.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
90.93/22.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29158 time:  0.01 s
90.93/22.90	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
91.70/23.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
92.10/23.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
93.30/23.44	c lits-rem:         4  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.26 s
93.30/23.46	c vivif2 --  cl tried   124596 cl shrink        0 lits rem          0 time: 0.02
93.70/23.50	c vivif2 --  cl tried    20610 cl shrink        0 lits rem          0 time: 0.04
94.10/23.65	c asymm  cl-useful: 0/124596/124596 lits-rem:0 time: 0.15
94.10/23.66	c calculated reachability. Time: 0.00
94.10/23.66	c  N dy   289     46255     29158    124596         0     20610    378257   1965300    155.14   no data
101.27/25.47	c  N dy   317     50318     29158    124596         0     24671    378257   2925698    155.09    201.80
108.90/27.35	c  N dy   344     54414     29158    124596         0     28767    378257   3950800    155.55    213.69
116.44/29.26	c  N dy   372     58471     29158    124596         0     32824    378257   4953808    155.61    169.64
124.42/31.24	c  N dy   401     62575     29158    124596         0     36928    378257   5987342    155.91    165.48
131.59/33.04	c  N dy   427     66626     29158    124596         0     22300    378257   1600942    155.72    176.19
136.78/34.32	c  S st   443     69386     29158    124596         0     25060    378257   2279892    155.65   no data
137.58/34.55	c  S st   443     69889     29158    124596         0     25563    378257   2367440    155.65   no data
137.58/34.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
137.98/34.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.08
137.98/34.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
137.98/34.68	c bin-w-bin subsume rem            0 bins  time:  0.01 s
137.98/34.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
138.38/34.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29158 time:  0.01 s
138.38/34.72	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
138.78/34.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
139.19/34.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
141.16/35.40	c lits-rem:         2  cl-subs:        3  v-elim:      0  v-fix:    0  time:  0.39 s
141.16/35.42	c vivif2 --  cl tried   124596 cl shrink        0 lits rem          0 time: 0.02
141.16/35.46	c vivif2 --  cl tried    25560 cl shrink        0 lits rem          0 time: 0.04
141.96/35.62	c asymm  cl-useful: 0/124596/124596 lits-rem:0 time: 0.16
141.96/35.62	c calculated reachability. Time: 0.00
141.96/35.62	c  N dy   443     69889     29158    124596         0     25560    378257   2365693    155.65   no data
149.94/37.68	c  N dy   470     74408     29158    124596         0     30079    378257   3422160    155.28    164.43
159.12/39.97	c  N dy   504     79261     29158    124596         0     34932    378257   4551006    155.08    163.33
169.09/42.42	c  N dy   541     84358     29158    124596         0     40029    378257   5811026    155.27    197.21
175.07/43.96	c  F st   562     87500     29158    124596         0     22331    378257   1023164    155.25   no data
181.45/45.56	c  N st   567     90797     29158    124596         0     25626    378257   2049537    155.25   no data
192.63/48.30	c  N dy   595     96661     29158    124596         0     31490    378257   3674397    155.25    166.76
204.20/51.26	c  N dy   636    102847     29158    124596         0     37676    378257   5136368    155.16    196.72
208.18/52.27	c  S st   652    104834     29158    124596         0     39663    378257   5626122    155.36   no data
209.40/52.52	c  S st   652    105335     29158    124596         0     40164    378257   5708527    155.36   no data
209.40/52.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
209.82/52.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
209.82/52.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
209.82/52.68	c bin-w-bin subsume rem            0 bins  time:  0.01 s
209.82/52.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
210.18/52.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29158 time:  0.01 s
210.18/52.71	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
210.58/52.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
212.17/53.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
218.60/54.88	c lits-rem:         1  cl-subs:        2  v-elim:      0  v-fix:    0  time:  1.62 s
218.60/54.89	c vivif2 --  cl tried   124596 cl shrink        0 lits rem          0 time: 0.02
218.95/54.99	c vivif2 --  cl tried    40162 cl shrink        0 lits rem          0 time: 0.10
219.75/55.18	c asymm  cl-useful: 0/124596/124596 lits-rem:0 time: 0.18
219.75/55.18	c calculated reachability. Time: 0.00
219.75/55.18	c  N dy   652    105335     29158    124596         0     40162    378257   5706579    155.36   no data
233.31/58.50	c  N dy   701    112058     29158    124596         0     24465    378257   1150222    155.50    176.05
246.48/61.89	c  N dy   745    119243     29158    124596         0     31650    378257   2884943    155.47    163.69
261.65/65.63	c  N dy   801    126946     29158    124596         0     39353    378257   4747298    155.65    164.24
277.99/69.71	c  N dy   855    135100     29158    124596         0     23797    378257    625214    155.73    168.62
293.95/73.73	c  N dy   917    143810     29158    124596         0     32505    378257   2737583    155.97    177.51
312.30/78.31	c  N dy   979    153298     29158    124596         0     41992    378257   4968427    155.77    172.02
321.47/80.66	c  S st  1011    158003     29158    124596         0     46697    378257   6083923    155.80   no data
322.67/80.92	c  S st  1011    158507     29158    124596         0     47201    378257   6182674    155.80   no data
322.67/80.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
323.07/81.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.10
323.07/81.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
323.07/81.09	c bin-w-bin subsume rem            0 bins  time:  0.01 s
323.07/81.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
323.07/81.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29158 time:  0.01 s
323.49/81.12	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
323.91/81.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
325.46/81.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
334.64/83.91	c lits-rem:         3  cl-subs:        6  v-elim:      0  v-fix:    0  time:  2.22 s
334.64/83.93	c vivif2 --  cl tried   124596 cl shrink        0 lits rem          0 time: 0.02
335.04/84.04	c vivif2 --  cl tried    47195 cl shrink        0 lits rem          0 time: 0.11
335.84/84.24	c asymm  cl-useful: 0/124596/124596 lits-rem:0 time: 0.20
335.84/84.24	c calculated reachability. Time: 0.00
335.84/84.24	c  N dy  1011    158507     29158    124596         0     47195    378257   6179574    155.80   no data
355.37/89.15	c  N dy  1074    168732     29158    124596         0     32568    378257   2421775    155.69    167.71
376.56/94.41	c  N dy  1147    179544     29158    124596         0     43380    378257   5014885    155.76    166.14
399.26/100.14	c  N dy  1220    191014     29158    124596         0     28926    378257   1268394    155.60    169.69
423.20/106.10	c  N dy  1304    203312     29158    124596         0     41224    378257   4251395    155.75    167.46
449.92/112.87	c  N dy  1398    216346     29158    124596         0     27293    378257    605477    155.99    185.37
477.07/119.62	c  N dy  1499    230255     29158    124596         0     41202    378257   3963080    156.14    170.59
492.21/123.48	c  S st  1557    237760     29158    124596         0     48707    378257   5805420    156.27   no data
493.41/123.75	c  S st  1557    238266     29158    124596         0     49213    378257   5891053    156.27   no data
493.41/123.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
493.81/123.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.10
494.21/123.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
494.21/123.92	c bin-w-bin subsume rem            0 bins  time:  0.01 s
494.21/123.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
494.21/123.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29158 time:  0.01 s
494.21/123.95	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
494.62/124.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
496.19/124.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
505.37/126.77	c lits-rem:         2  cl-subs:        7  v-elim:      0  v-fix:    0  time:  2.32 s
505.37/126.79	c vivif2 --  cl tried   124596 cl shrink        0 lits rem          0 time: 0.02
505.77/126.90	c vivif2 --  cl tried    49206 cl shrink        0 lits rem          0 time: 0.10
506.57/127.09	c asymm  cl-useful: 0/124596/124596 lits-rem:0 time: 0.20
506.97/127.10	c calculated reachability. Time: 0.00
506.97/127.10	c  N dy  1557    238266     29158    124596         0     49206    378257   5888771    156.27   no data
537.29/134.72	c  N dy  1659    253563     29158    124596         0     36522    378257   2560841    156.30    184.73
569.99/142.95	c  N dy  1773    269779     29158    124596         0     52738    378257   6494446    156.45    168.44
605.09/151.70	c  N dy  1886    287072     29158    124596         0     41036    378257   3467008    156.52    167.74
642.99/161.23	c  N dy  2014    305493     29158    124596         0     59456    378257   7936798    156.59    171.34
644.59/161.69	c  F st  2021    306252     29158    124596         0     30224    378257    549359    156.64    169.26
682.49/171.17	c  N dy  2126    325101     29158    124596         0     49071    378257   5699325    156.88    167.57
723.97/181.56	c  N dy  2265    345117     29158    124596         0     38092    378257   2219956    156.96    167.99
748.70/187.74	c  S st  2349    357400     29158    124596         0     50373    378257   5194260    156.99    141.96
749.89/188.02	c  S st  2349    357905     29158    124596         0     50878    378257   5291139    156.99   no data
749.89/188.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
750.29/188.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.10
750.29/188.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
750.29/188.19	c bin-w-bin subsume rem            0 bins  time:  0.01 s
750.69/188.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
750.69/188.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29158 time:  0.01 s
750.69/188.22	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
751.09/188.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
752.30/188.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
761.07/190.86	c lits-rem:         2  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.17 s
761.07/190.88	c vivif2 --  cl tried   124596 cl shrink        0 lits rem          0 time: 0.02
761.47/190.97	c vivif2 --  cl tried    50874 cl shrink        0 lits rem          0 time: 0.09
762.29/191.18	c asymm  cl-useful: 0/124596/124596 lits-rem:0 time: 0.20
762.29/191.18	c calculated reachability. Time: 0.00
762.29/191.18	c  N dy  2349    357905     29158    124596         0     50874    378257   5289558    156.99   no data
804.15/201.66	c  N dy  2489    378022     29158    124596         0     38996    378257   2221653    157.14    166.77
846.07/212.18	c  N dy  2621    398080     29158    124596         0     59053    378257   7116195    157.17    165.70
887.92/222.60	c  N dy  2765    418185     29158    124596         0     46156    378257   3734605    157.28    171.01
930.20/233.26	c  N dy  2900    438249     29158    124596         0     66216    378257   8638743    157.34    165.64
971.29/243.55	c  N dy  3041    458322     29158    124596         0     52294    378257   4965246    157.39    177.45
1014.76/254.45	c  N dy  3176    478328     29158    124596         0     37297    378257   1031443    157.44    176.87
1056.28/264.85	c  N dy  3311    498396     29158    124596         0     57364    378257   5910050    157.46    166.06
1099.34/275.69	c  N dy  3454    518556     29158    124596         0     41531    378257   1819798    157.54    179.07
1137.63/285.22	c  S st  3583    536858     29158    124596         0     59827    378257   6234081    157.55    144.87
1138.83/285.51	c  S st  3583    537359     29158    124596         0     60328    378257   6331845    157.55   no data
1138.83/285.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1139.23/285.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.11
1139.23/285.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1139.23/285.69	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1139.23/285.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1139.65/285.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29158 time:  0.01 s
1139.65/285.73	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.02 s
1140.07/285.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
1141.61/286.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1153.58/289.21	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.95 s
1153.58/289.23	c vivif2 --  cl tried   124596 cl shrink        0 lits rem          0 time: 0.02
1153.98/289.34	c vivif2 --  cl tried    60324 cl shrink        0 lits rem          0 time: 0.11
1154.78/289.56	c asymm  cl-useful: 0/124596/124596 lits-rem:0 time: 0.22
1154.78/289.57	c calculated reachability. Time: 0.00
1154.78/289.57	c  N dy  3583    537359     29158    124596         0     60324    378257   6328480    157.55   no data
1197.86/300.36	c  N dy  3716    557394     29158    124596         0     43363    378257   2011030    157.52    166.54
1240.57/311.02	c  N dy  3850    577437     29158    124596         0     63405    378257   6916718    157.56    169.58
1284.03/321.96	c  N dy  3994    597487     29158    124596         0     45454    378257   2341216    157.69    176.10
1327.11/332.73	c  N dy  4126    617675     29158    124596         0     65639    378257   7322888    157.72    172.74
1370.99/343.78	c  N dy  4267    637870     29158    124596         0     46838    378257   2429772    157.80    166.46
1414.46/354.60	c  N dy  4405    657948     29158    124596         0     66915    378257   7331795    157.83    166.81
1458.34/365.61	c  N dy  4537    677952     29158    124596         0     46929    378257   2131852    157.84    167.14
1502.22/376.66	c  N dy  4677    697983     29158    124596         0     66959    378257   7040233    157.92    176.06
1547.30/387.94	c  N dy  4816    718111     29158    124596         0     46081    378257   1774009    157.97    169.68
1589.98/398.70	c  N dy  4946    738294     29158    124596         0     66262    378257   6715030    157.97    170.99
1635.90/410.18	c  N dy  5084    758383     29158    124596         0     44348    378257   1078646    157.98    224.24
1678.13/420.77	c  N dy  5218    778385     29158    124596         0     64348    378257   6004510    157.97    166.48
1724.40/432.30	c  N dy  5356    798439     29158    124596         0     84401    378257  10960932    158.03    195.30
1740.37/436.38	c  S st  5410    806038     29158    124596         0     49005    378257   1962258    158.04   no data
1741.56/436.65	c  S st  5410    806542     29158    124596         0     49509    378257   2064074    158.04   no data
1741.56/436.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1741.96/436.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.10
1742.36/436.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1742.36/436.82	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1742.36/436.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1742.36/436.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29158 time:  0.01 s
1742.36/436.85	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.02 s
1742.76/436.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
1743.55/437.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1746.34/437.85	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.73 s
1746.34/437.87	c vivif2 --  cl tried   124596 cl shrink        0 lits rem          0 time: 0.02
1746.74/437.91	c vivif2 --  cl tried    49508 cl shrink        0 lits rem          0 time: 0.04
1747.54/438.10	c asymm  cl-useful: 0/124596/124596 lits-rem:0 time: 0.20
1747.54/438.11	c calculated reachability. Time: 0.00
1747.54/438.11	c  N dy  5410    806542     29158    124596         0     49508    378257   2063996    158.04   no data
1790.62/448.94	c  N dy  5540    826602     29158    124596         0     69567    378257   6970773    158.05    184.43
1837.31/460.65	c  N dy  5676    846753     29158    124596         0     45723    378257    910399    158.03    169.40
1880.38/471.42	c  N dy  5813    866840     29158    124596         0     65810    378257   5898300    158.04    189.34
1926.65/483.02	c  N dy  5948    887030     29158    124596         0     85998    378257  10882945    158.05    168.12
1970.12/493.93	c  N dy  6083    907102     29158    124596         0     61069    378257   4462698    158.06    168.06
2016.00/505.50	c  N dy  6222    927406     29158    124596         0     81372    378257   9501418    158.08    171.01
2061.10/516.72	c  N dy  6353    947409     29158    124596         0     55377    378257   2773449    158.06    168.77
2105.75/527.92	c  N dy  6495    967491     29158    124596         0     75456    378257   7687715    158.08    168.07
2153.66/539.93	c  N dy  6634    987759     29158    124596         0     48726    378257    943809    158.15    166.52
2197.12/550.86	c  N dy  6775   1007850     29158    124596         0     68815    378257   5909212    158.18    168.58
2244.17/562.61	c  N dy  6910   1027879     29158    124596         0     88843    378257  10843053    158.21    173.53
2288.84/573.88	c  N dy  7044   1048037     29158    124596         0     61005    378257   3719525    158.22    166.75
2334.72/585.31	c  N dy  7179   1068174     29158    124596         0     81139    378257   8620327    158.22    176.17
2343.09/587.45	c  F st  7203   1071875     29158    124596         0     84840    378257   9504995    158.20    140.82
2381.82/597.12	c  N dy  7284   1088203     29158    124596         0     52169    378257   1271472    158.19    168.44
2425.70/608.14	c  N dy  7426   1108293     29158    124596         0     72256    378257   6303885    158.22    166.59
2473.13/620.01	c  N dy  7560   1128323     29158    124596         0     92284    378257  11262354    158.24    193.37
2519.00/631.52	c  N dy  7695   1148433     29158    124596         0     62399    378257   3575793    158.28    167.91
2564.88/643.02	c  N dy  7832   1168574     29158    124596         0     82540    378257   8617012    158.34    168.45
2613.95/655.32	c  N dy  7963   1188755     29158    124596         0     51728    378257    693631    158.32    170.30
2657.41/666.24	c  N dy  8091   1208782     29158    124596         0     71754    378257   5568396    158.30    167.95
2660.21/666.93	c  S st  8098   1209815     29158    124596         0     72787    378257   5815589    158.30   no data
2661.80/667.30	c  S st  8098   1210318     29158    124596         0     73290    378257   5905429    158.30   no data
2661.80/667.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2662.22/667.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.13
2662.22/667.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2662.22/667.51	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2662.64/667.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2662.64/667.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29158 time:  0.01 s
2662.64/667.55	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.02 s
2663.39/667.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
2664.59/668.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2677.36/671.29	c lits-rem:         1  cl-subs:        2  v-elim:      0  v-fix:    0  time:  3.19 s
2677.76/671.31	c vivif2 --  cl tried   124596 cl shrink        0 lits rem          0 time: 0.02
2678.16/671.41	c vivif2 --  cl tried    73288 cl shrink        0 lits rem          0 time: 0.10
2678.96/671.65	c asymm  cl-useful: 0/124596/124596 lits-rem:0 time: 0.24
2678.96/671.66	c calculated reachability. Time: 0.00
2678.96/671.66	c  N dy  8098   1210318     29158    124596         0     73288    378257   5905043    158.30   no data
2726.82/683.60	c  N dy  8236   1230384     29158    124596         0     93353    378257  10828730    158.33    170.64
2773.49/695.36	c  N dy  8367   1250530     29158    124596         0     61499    378257   2855806    158.35    169.62
2819.37/706.86	c  N dy  8506   1270626     29158    124596         0     81595    378257   7788860    158.36    197.02
2868.45/719.16	c  N dy  8641   1290717     29158    124596         0    101683    378257  12748957    158.38    167.43
2914.70/730.71	c  N dy  8780   1310743     29158    124596         0     68708    378257   4527688    158.42    169.77
2961.36/742.48	c  N dy  8923   1330756     29158    124596         0     88721    378257   9441042    158.45    198.80
3012.03/755.12	c  N dy  9057   1350794     29158    124596         0     54763    378257    712984    158.44    167.18
3056.31/766.26	c  N dy  9192   1370887     29158    124596         0     74856    378257   5643707    158.45    168.23
3104.18/778.24	c  N dy  9324   1390959     29158    124596         0     94928    378257  10524978    158.44    167.15
3153.66/790.66	c  N dy  9461   1410976     29158    124596         0     59946    378257   1759127    158.47    169.96
3198.71/801.92	c  N dy  9591   1431039     29158    124596         0     80009    378257   6741994    158.47    171.68
3247.78/814.25	c  N dy  9724   1451129     29158    124596         0    100098    378257  11688082    158.46    171.12
3295.64/826.21	c  N dy  9848   1471140     29158    124596         0     64108    378257   2529428    158.46    174.98
3341.52/837.79	c  N dy  9987   1491268     29158    124596         0     84236    378257   7476408    158.47    168.91
3391.78/850.33	c  N dy 10130   1511328     29158    124596         0    104296    378257  12406352    158.49    168.90
3440.03/862.47	c  N dy 10274   1531410     29158    124596         0     67381    378257   3138163    158.53    169.89
3487.56/874.32	c  N dy 10418   1551466     29158    124596         0     87436    378257   8201401    158.60    171.32
3537.77/886.98	c  N dy 10555   1571636     29158    124596         0    107605    378257  13170179    158.60    167.95
3585.64/898.99	c  N dy 10688   1591736     29158    124596         0     69702    378257   3415148    158.58    166.97
3633.11/910.89	c  N dy 10829   1611797     29158    124596         0     89762    378257   8383216    158.61    170.23
3683.37/923.46	c  N dy 10961   1631835     29158    124596         0    109800    378257  13337760    158.61    178.81
3732.03/935.61	c  N dy 11099   1651937     29158    124596         0     70902    378257   3541619    158.64    167.55
3779.09/947.41	c  N dy 11236   1672003     29158    124596         0     90966    378257   8409346    158.63    172.99
3830.15/960.24	c  N dy 11381   1692042     29158    124596         0    111003    378257  13353354    158.66    168.06
3874.42/971.36	c  S st 11505   1710318     29158    124596         0     69285    378257   2839114    158.65   no data
3875.63/971.67	c  S st 11505   1710820     29158    124596         0     69787    378257   2925807    158.65   no data
3875.63/971.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3876.43/971.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.13
3876.43/971.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3876.43/971.86	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3876.43/971.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3876.43/971.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29158 time:  0.01 s
3876.83/971.90	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.02 s
3877.23/972.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
3878.07/972.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3885.20/974.09	c lits-rem:         2  cl-subs:        5  v-elim:      0  v-fix:    0  time:  1.83 s
3885.60/974.11	c vivif2 --  cl tried   124596 cl shrink        0 lits rem          0 time: 0.02
3885.60/974.16	c vivif2 --  cl tried    69782 cl shrink        0 lits rem          0 time: 0.05
3886.42/974.39	c asymm  cl-useful: 0/124596/124596 lits-rem:0 time: 0.23
3886.42/974.40	c calculated reachability. Time: 0.00
3886.42/974.40	c  N dy 11505   1710820     29158    124596         0     69782    378257   2922002    158.65   no data
3934.68/986.44	c  N dy 11652   1730991     29158    124596         0     89953    378257   7915652    158.68    171.52
3986.12/999.38	c  N dy 11797   1751197     29158    124596         0    110156    378257  12992047    158.72    173.08
4037.17/1012.14	c  N dy 11929   1771303     29158    124596         0     69263    378257   2582329    158.72    168.58
4084.29/1023.96	c  N dy 12062   1791309     29158    124596         0     89267    378257   7423409    158.71    167.23
4135.70/1036.86	c  N dy 12199   1811363     29158    124596         0    109321    378257  12435405    158.75    198.57
4188.34/1050.05	c  N dy 12339   1831451     29158    124596         0     67414    378257   1932323    158.78    168.08
4237.02/1062.29	c  N dy 12478   1851530     29158    124596         0     87492    378257   6894704    158.80    184.49
4288.47/1075.17	c  N dy 12616   1871765     29158    124596         0    107727    378257  11893967    158.81    169.10
4341.92/1088.56	c  N dy 12753   1891767     29158    124596         0     64733    378257   1022294    158.82    170.46
4388.58/1100.28	c  N dy 12888   1911855     29158    124596         0     84820    378257   6002833    158.84    167.22
4440.84/1113.32	c  N dy 13029   1932273     29158    124596         0    105236    378257  11112356    158.86    168.96
4494.29/1126.77	c  N dy 13161   1952312     29158    124596         0    125274    378257  16031295    158.85    175.67
4541.75/1138.68	c  N dy 13296   1972313     29158    124596         0     81280    378257   4803461    158.84    168.14
4591.62/1151.16	c  N dy 13421   1992406     29158    124596         0    101371    378257   9769529    158.83    167.97
4646.26/1164.80	c  N dy 13567   2012463     29158    124596         0    121426    378257  14755456    158.85    168.65
4696.92/1177.51	c  N dy 13699   2032538     29158    124596         0     76504    378257   3506587    158.87    180.69
4745.59/1189.74	c  N dy 13827   2052573     29158    124596         0     96539    378257   8455662    158.86    172.53
4798.65/1203.02	c  N dy 13969   2072625     29158    124596         0    116591    378257  13440361    158.89    168.65

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

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

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


[startup+0 s]
/proc/loadavg: 0.85 1.33 2.36 6/354 7493
/proc/meminfo: memFree=17783044/32950928 swapFree=67111200/67111528
[pid=7493] ppid=7491 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/7493/stat : 7493 (strangenight2-m) R 7491 7493 7452 0 -1 4202496 409 0 0 0 0 0 0 0 21 0 4 0 729940980 52396032 350 33554432000 4194304 4580107 140734834086752 18446744073709551615 256415391675 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7493/statm: 12792 350 302 95 0 7774 0
[pid=7493/tid=7494] ppid=7491 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/7493/task/7494/stat : 7494 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 729940980 52396032 350 33554432000 4194304 4580107 140734834086752 18446744073709551615 46979788302256 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7493/tid=7495] ppid=7491 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/7493/task/7495/stat : 7495 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 729940980 52396032 350 33554432000 4194304 4580107 140734834086752 18446744073709551615 46979788301853 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7493/tid=7496] ppid=7491 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/7493/task/7496/stat : 7496 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 729940980 52396032 350 33554432000 4194304 4580107 140734834086752 18446744073709551615 46979788302252 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0427499 s]
/proc/loadavg: 0.85 1.33 2.36 6/354 7493
/proc/meminfo: memFree=17783044/32950928 swapFree=67111200/67111528
[pid=7493] ppid=7491 vsize=306284 CPUtime=0.22 cores=1,3,5,7
/proc/7493/stat : 7493 (strangenight2-m) R 7491 7493 7452 0 -1 4202496 16392 0 0 0 19 3 0 0 18 0 4 0 729940980 313634816 14259 33554432000 4194304 4580107 140734834086752 18446744073709551615 256415088832 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7493/statm: 77348 16672 337 95 0 72330 0
[pid=7493/tid=7494] ppid=7491 vsize=340192 CPUtime=0.88 cores=1,3,5,7
/proc/7493/task/7494/stat : 7494 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 12105 0 0 0 85 3 0 0 18 0 4 0 729940980 348356608 31578 33554432000 4194304 4580107 140734834086752 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7493/tid=7495] ppid=7491 vsize=340192 CPUtime=0.89 cores=1,3,5,7
/proc/7493/task/7495/stat : 7495 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 11018 0 0 0 88 1 0 0 18 0 4 0 729940980 348356608 31580 33554432000 4194304 4580107 140734834086752 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7493/tid=7496] ppid=7491 vsize=340192 CPUtime=0.89 cores=1,3,5,7
/proc/7493/task/7496/stat : 7496 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 5822 0 0 0 88 1 0 0 19 0 4 0 729940980 348356608 31580 33554432000 4194304 4580107 140734834086752 18446744073709551615 4321217 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 306284

[startup+1.01194 s]
/proc/loadavg: 0.85 1.33 2.36 6/354 7493
/proc/meminfo: memFree=17783044/32950928 swapFree=67111200/67111528
[pid=7493] ppid=7491 vsize=340192 CPUtime=3.99 cores=1,3,5,7
/proc/7493/stat : 7493 (strangenight2-m) R 7491 7493 7452 0 -1 4202496 41849 0 0 0 391 8 0 0 18 0 4 0 729940980 348356608 31850 33554432000 4194304 4580107 140734834086752 18446744073709551615 4293904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7493/statm: 85048 31850 377 95 0 80030 0
[pid=7493/tid=7494] ppid=7491 vsize=340192 CPUtime=0.98 cores=1,3,5,7
/proc/7493/task/7494/stat : 7494 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 12166 0 0 0 95 3 0 0 18 0 4 0 729940980 348356608 31851 33554432000 4194304 4580107 140734834086752 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7493/tid=7495] ppid=7491 vsize=340192 CPUtime=0.99 cores=1,3,5,7
/proc/7493/task/7495/stat : 7495 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 11084 0 0 0 98 1 0 0 18 0 4 0 729940980 348356608 31851 33554432000 4194304 4580107 140734834086752 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7493/tid=7496] ppid=7491 vsize=340192 CPUtime=0.99 cores=1,3,5,7
/proc/7493/task/7496/stat : 7496 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 5900 0 0 0 98 1 0 0 19 0 4 0 729940980 348356608 31851 33554432000 4194304 4580107 140734834086752 18446744073709551615 4295863 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 340192

[startup+1.11192 s]
/proc/loadavg: 0.85 1.33 2.36 6/354 7493
/proc/meminfo: memFree=17783044/32950928 swapFree=67111200/67111528
[pid=7493] ppid=7491 vsize=340192 CPUtime=4.39 cores=1,3,5,7
/proc/7493/stat : 7493 (strangenight2-m) R 7491 7493 7452 0 -1 4202496 42181 0 0 0 431 8 0 0 19 0 4 0 729940980 348356608 32155 33554432000 4194304 4580107 140734834086752 18446744073709551615 4318435 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7493/statm: 85048 32155 377 95 0 80030 0
[pid=7493/tid=7494] ppid=7491 vsize=340192 CPUtime=1.08 cores=1,3,5,7
/proc/7493/task/7494/stat : 7494 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 12226 0 0 0 105 3 0 0 18 0 4 0 729940980 348356608 32155 33554432000 4194304 4580107 140734834086752 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7493/tid=7495] ppid=7491 vsize=340192 CPUtime=1.09 cores=1,3,5,7
/proc/7493/task/7495/stat : 7495 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 11162 0 0 0 108 1 0 0 19 0 4 0 729940980 348356608 32155 33554432000 4194304 4580107 140734834086752 18446744073709551615 4320813 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7493/tid=7496] ppid=7491 vsize=340192 CPUtime=1.09 cores=1,3,5,7
/proc/7493/task/7496/stat : 7496 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 6009 0 0 0 108 1 0 0 19 0 4 0 729940980 348356608 32155 33554432000 4194304 4580107 140734834086752 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 340192

[startup+1.2119 s]
/proc/loadavg: 0.85 1.33 2.36 6/354 7493
/proc/meminfo: memFree=17783044/32950928 swapFree=67111200/67111528
[pid=7493] ppid=7491 vsize=340192 CPUtime=4.79 cores=1,3,5,7
/proc/7493/stat : 7493 (strangenight2-m) R 7491 7493 7452 0 -1 4202496 42526 0 0 0 471 8 0 0 19 0 4 0 729940980 348356608 32474 33554432000 4194304 4580107 140734834086752 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7493/statm: 85048 32474 377 95 0 80030 0
[pid=7493/tid=7494] ppid=7491 vsize=340192 CPUtime=1.18 cores=1,3,5,7
/proc/7493/task/7494/stat : 7494 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 12320 0 0 0 115 3 0 0 19 0 4 0 729940980 348356608 32474 33554432000 4194304 4580107 140734834086752 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7493/tid=7495] ppid=7491 vsize=340192 CPUtime=1.19 cores=1,3,5,7
/proc/7493/task/7495/stat : 7495 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 11237 0 0 0 118 1 0 0 19 0 4 0 729940980 348356608 32474 33554432000 4194304 4580107 140734834086752 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7493/tid=7496] ppid=7491 vsize=340192 CPUtime=1.19 cores=1,3,5,7
/proc/7493/task/7496/stat : 7496 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 6070 0 0 0 118 1 0 0 19 0 4 0 729940980 348356608 32474 33554432000 4194304 4580107 140734834086752 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.79
Current children cumulated vsize (KiB) 340192

[startup+1.50085 s]
/proc/loadavg: 0.85 1.33 2.36 6/354 7493
/proc/meminfo: memFree=17783044/32950928 swapFree=67111200/67111528
[pid=7493] ppid=7491 vsize=340192 CPUtime=5.95 cores=1,3,5,7
/proc/7493/stat : 7493 (strangenight2-m) R 7491 7493 7452 0 -1 4202496 43510 0 0 0 586 9 0 0 19 0 4 0 729940980 348356608 33432 33554432000 4194304 4580107 140734834086752 18446744073709551615 4318418 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7493/statm: 85048 33432 377 95 0 80030 0
[pid=7493/tid=7494] ppid=7491 vsize=340192 CPUtime=1.47 cores=1,3,5,7
/proc/7493/task/7494/stat : 7494 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 12582 0 0 0 144 3 0 0 19 0 4 0 729940980 348356608 33432 33554432000 4194304 4580107 140734834086752 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7493/tid=7495] ppid=7491 vsize=340192 CPUtime=1.48 cores=1,3,5,7
/proc/7493/task/7495/stat : 7495 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 11462 0 0 0 147 1 0 0 19 0 4 0 729940980 348356608 33432 33554432000 4194304 4580107 140734834086752 18446744073709551615 4293685 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7493/tid=7496] ppid=7491 vsize=340192 CPUtime=1.48 cores=1,3,5,7
/proc/7493/task/7496/stat : 7496 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 6256 0 0 0 147 1 0 0 20 0 4 0 729940980 348356608 33432 33554432000 4194304 4580107 140734834086752 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 340192

[startup+3.11354 s]
/proc/loadavg: 0.85 1.33 2.36 9/358 7497
/proc/meminfo: memFree=17623484/32950928 swapFree=67111200/67111528
[pid=7493] ppid=7491 vsize=471456 CPUtime=12.37 cores=1,3,5,7
/proc/7493/stat : 7493 (strangenight2-m) R 7491 7493 7452 0 -1 4202496 47854 0 0 0 1227 10 0 0 24 0 4 0 729940980 482770944 37724 33554432000 4194304 4580107 140734834086752 18446744073709551615 4293108 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7493/statm: 117864 37724 377 95 0 112846 0
[pid=7493/tid=7494] ppid=7491 vsize=471456 CPUtime=3.08 cores=1,3,5,7
/proc/7493/task/7494/stat : 7494 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 13641 0 0 0 305 3 0 0 23 0 4 0 729940980 482770944 37724 33554432000 4194304 4580107 140734834086752 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7493/tid=7495] ppid=7491 vsize=471456 CPUtime=3.1 cores=1,3,5,7
/proc/7493/task/7495/stat : 7495 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 12391 0 0 0 308 2 0 0 24 0 4 0 729940980 482770944 37724 33554432000 4194304 4580107 140734834086752 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7493/tid=7496] ppid=7491 vsize=471456 CPUtime=3.07 cores=1,3,5,7
/proc/7493/task/7496/stat : 7496 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 7590 0 0 0 305 2 0 0 25 0 4 0 729940980 482770944 37724 33554432000 4194304 4580107 140734834086752 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 471456

[startup+6.30094 s]
/proc/loadavg: 1.42 1.44 2.39 9/358 7497
/proc/meminfo: memFree=17531992/32950928 swapFree=67111200/67111528
[pid=7493] ppid=7491 vsize=471456 CPUtime=25.12 cores=1,3,5,7
/proc/7493/stat : 7493 (strangenight2-m) R 7491 7493 7452 0 -1 4202496 55526 0 0 0 2500 12 0 0 25 0 4 0 729940980 482770944 45396 33554432000 4194304 4580107 140734834086752 18446744073709551615 4302544 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7493/statm: 117864 45396 377 95 0 112846 0
[pid=7493/tid=7494] ppid=7491 vsize=471456 CPUtime=6.29 cores=1,3,5,7
/proc/7493/task/7494/stat : 7494 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 15621 0 0 0 625 4 0 0 25 0 4 0 729940980 482770944 45408 33554432000 4194304 4580107 140734834086752 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7493/tid=7495] ppid=7491 vsize=471456 CPUtime=6.3 cores=1,3,5,7
/proc/7493/task/7495/stat : 7495 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 14228 0 0 0 628 2 0 0 25 0 4 0 729940980 482770944 45409 33554432000 4194304 4580107 140734834086752 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7493/tid=7496] ppid=7491 vsize=471456 CPUtime=6.23 cores=1,3,5,7
/proc/7493/task/7496/stat : 7496 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 9499 0 0 0 621 2 0 0 25 0 4 0 729940980 482770944 45409 33554432000 4194304 4580107 140734834086752 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 471456

[startup+12.7007 s]
/proc/loadavg: 1.95 1.55 2.42 9/358 7497
/proc/meminfo: memFree=17507588/32950928 swapFree=67111200/67111528
[pid=7493] ppid=7491 vsize=367500 CPUtime=50.63 cores=1,3,5,7
/proc/7493/stat : 7493 (strangenight2-m) R 7491 7493 7452 0 -1 4202496 76639 0 0 0 5045 18 0 0 25 0 4 0 729940980 376320000 43942 33554432000 4194304 4580107 140734834086752 18446744073709551615 4318418 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7493/statm: 91875 43943 378 95 0 86857 0
[pid=7493/tid=7494] ppid=7491 vsize=367500 CPUtime=12.67 cores=1,3,5,7
/proc/7493/task/7494/stat : 7494 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 21001 0 0 0 1262 5 0 0 25 0 4 0 729940980 376320000 43943 33554432000 4194304 4580107 140734834086752 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7493/tid=7495] ppid=7491 vsize=367500 CPUtime=12.68 cores=1,3,5,7
/proc/7493/task/7495/stat : 7495 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 19370 0 0 0 1265 3 0 0 25 0 4 0 729940980 376320000 43943 33554432000 4194304 4580107 140734834086752 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7493/tid=7496] ppid=7491 vsize=367500 CPUtime=12.56 cores=1,3,5,7
/proc/7493/task/7496/stat : 7496 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 14732 0 0 0 1252 4 0 0 25 0 4 0 729940980 376320000 43943 33554432000 4194304 4580107 140734834086752 18446744073709551615 4293740 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 367500

[startup+25.5013 s]
/proc/loadavg: 3.35 1.88 2.51 9/358 7498
/proc/meminfo: memFree=17162508/32950928 swapFree=67111200/67111528
[pid=7493] ppid=7491 vsize=714544 CPUtime=101.68 cores=1,3,5,7
/proc/7493/stat : 7493 (strangenight2-m) R 7491 7493 7452 0 -1 4202496 176138 0 0 0 10127 41 0 0 25 0 4 0 729940980 731693056 108675 33554432000 4194304 4580107 140734834086752 18446744073709551615 4301441 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7493/statm: 178636 108675 379 95 0 173618 0
[pid=7493/tid=7494] ppid=7491 vsize=714544 CPUtime=25.48 cores=1,3,5,7
/proc/7493/task/7494/stat : 7494 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 55385 0 0 0 2534 14 0 0 25 0 4 0 729940980 731693056 108675 33554432000 4194304 4580107 140734834086752 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7493/tid=7495] ppid=7491 vsize=714544 CPUtime=25.48 cores=1,3,5,7
/proc/7493/task/7495/stat : 7495 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 34224 0 0 0 2541 7 0 0 25 0 4 0 729940980 731693056 108675 33554432000 4194304 4580107 140734834086752 18446744073709551615 4322602 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7493/tid=7496] ppid=7491 vsize=714544 CPUtime=25.21 cores=1,3,5,7
/proc/7493/task/7496/stat : 7496 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 35242 0 0 0 2513 8 0 0 25 0 4 0 729940980 731693056 108675 33554432000 4194304 4580107 140734834086752 18446744073709551615 4294389 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 714544

[startup+51.1004 s]
/proc/loadavg: 5.02 2.39 2.66 9/358 7498
/proc/meminfo: memFree=17043020/32950928 swapFree=67111200/67111528
[pid=7493] ppid=7491 vsize=904392 CPUtime=203.8 cores=1,3,5,7
/proc/7493/stat : 7493 (strangenight2-m) R 7491 7493 7452 0 -1 4202496 247128 0 0 0 20315 65 0 0 25 0 4 0 729940980 926097408 134166 33554432000 4194304 4580107 140734834086752 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7493/statm: 226098 134166 379 95 0 221080 0
[pid=7493/tid=7494] ppid=7491 vsize=904392 CPUtime=51.07 cores=1,3,5,7
/proc/7493/task/7494/stat : 7494 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 73458 0 0 0 5088 19 0 0 25 0 4 0 729940980 926097408 134166 33554432000 4194304 4580107 140734834086752 18446744073709551615 4321137 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7493/tid=7495] ppid=7491 vsize=904392 CPUtime=51.08 cores=1,3,5,7
/proc/7493/task/7495/stat : 7495 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 51377 0 0 0 5095 13 0 0 25 0 4 0 729940980 926097408 134166 33554432000 4194304 4580107 140734834086752 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7493/tid=7496] ppid=7491 vsize=904392 CPUtime=50.53 cores=1,3,5,7
/proc/7493/task/7496/stat : 7496 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 51460 0 0 0 5040 13 0 0 25 0 4 0 729940980 926097408 134166 33554432000 4194304 4580107 140734834086752 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.8
Current children cumulated vsize (KiB) 904392

[startup+102.301 s]
/proc/loadavg: 6.75 3.27 2.94 9/358 7500
/proc/meminfo: memFree=16803444/32950928 swapFree=67111200/67111528
[pid=7493] ppid=7491 vsize=997452 CPUtime=408.04 cores=1,3,5,7
/proc/7493/stat : 7493 (strangenight2-m) R 7491 7493 7452 0 -1 4202496 365260 0 0 0 40704 100 0 0 25 0 4 0 729940980 1021390848 180260 33554432000 4194304 4580107 140734834086752 18446744073709551615 4321718 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7493/statm: 249363 180260 379 95 0 244345 0
[pid=7493/tid=7494] ppid=7491 vsize=997452 CPUtime=102.27 cores=1,3,5,7
/proc/7493/task/7494/stat : 7494 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 101103 0 0 0 10200 27 0 0 25 0 4 0 729940980 1021390848 180260 33554432000 4194304 4580107 140734834086752 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7493/tid=7495] ppid=7491 vsize=997452 CPUtime=102.28 cores=1,3,5,7
/proc/7493/task/7495/stat : 7495 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 73711 0 0 0 10207 21 0 0 25 0 4 0 729940980 1021390848 180260 33554432000 4194304 4580107 140734834086752 18446744073709551615 4318990 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7493/tid=7496] ppid=7491 vsize=997452 CPUtime=101.17 cores=1,3,5,7
/proc/7493/task/7496/stat : 7496 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 82715 0 0 0 10095 22 0 0 25 0 4 0 729940980 1021390848 180260 33554432000 4194304 4580107 140734834086752 18446744073709551615 4301856 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.04
Current children cumulated vsize (KiB) 997452

[startup+162.3 s]

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

[pid=7493] ppid=7491 vsize=1560428 CPUtime=2801.42 cores=1,3,5,7
/proc/7493/stat : 7493 (strangenight2-m) R 7491 7493 7452 0 -1 4202496 1385044 0 0 0 279671 471 0 0 25 0 4 0 729940980 1597878272 316030 33554432000 4194304 4580107 140734834086752 18446744073709551615 4293216 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7493/statm: 390107 316030 379 95 0 385089 0
[pid=7493/tid=7494] ppid=7491 vsize=1560428 CPUtime=702.26 cores=1,3,5,7
/proc/7493/task/7494/stat : 7494 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 365695 0 0 0 70103 123 0 0 25 0 4 0 729940980 1597878272 316030 33554432000 4194304 4580107 140734834086752 18446744073709551615 4293158 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7493/tid=7495] ppid=7491 vsize=1560428 CPUtime=702.28 cores=1,3,5,7
/proc/7493/task/7495/stat : 7495 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 322394 0 0 0 70112 116 0 0 25 0 4 0 729940980 1597878272 316030 33554432000 4194304 4580107 140734834086752 18446744073709551615 4301867 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7493/tid=7496] ppid=7491 vsize=1560428 CPUtime=694.57 cores=1,3,5,7
/proc/7493/task/7496/stat : 7496 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 341169 0 0 0 69347 110 0 0 25 0 4 0 729940980 1597878272 316030 33554432000 4194304 4580107 140734834086752 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2801.42
Current children cumulated vsize (KiB) 1560428

[startup+762.301 s]
/proc/loadavg: 8.14 7.60 5.57 9/358 7517
/proc/meminfo: memFree=15992528/32950928 swapFree=67111200/67111528
[pid=7493] ppid=7491 vsize=1561424 CPUtime=3040.75 cores=1,3,5,7
/proc/7493/stat : 7493 (strangenight2-m) R 7491 7493 7452 0 -1 4202496 1474916 0 0 0 303572 503 0 0 25 0 4 0 729940980 1598898176 299583 33554432000 4194304 4580107 140734834086752 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7493/statm: 390356 299583 379 95 0 385338 0
[pid=7493/tid=7494] ppid=7491 vsize=1561424 CPUtime=762.26 cores=1,3,5,7
/proc/7493/task/7494/stat : 7494 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 389764 0 0 0 76094 132 0 0 25 0 4 0 729940980 1598898176 299584 33554432000 4194304 4580107 140734834086752 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7493/tid=7495] ppid=7491 vsize=1561424 CPUtime=762.28 cores=1,3,5,7
/proc/7493/task/7495/stat : 7495 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 340907 0 0 0 76106 122 0 0 25 0 4 0 729940980 1598898176 299584 33554432000 4194304 4580107 140734834086752 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7493/tid=7496] ppid=7491 vsize=1561424 CPUtime=753.9 cores=1,3,5,7
/proc/7493/task/7496/stat : 7496 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 364750 0 0 0 75271 119 0 0 25 0 4 0 729940980 1598898176 299584 33554432000 4194304 4580107 140734834086752 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3040.75
Current children cumulated vsize (KiB) 1561424

[startup+822.3 s]
/proc/loadavg: 8.16 7.70 5.73 9/358 7519
/proc/meminfo: memFree=15880540/32950928 swapFree=67111200/67111528
[pid=7493] ppid=7491 vsize=1502636 CPUtime=3280.09 cores=1,3,5,7
/proc/7493/stat : 7493 (strangenight2-m) R 7491 7493 7452 0 -1 4202496 1571470 0 0 0 327470 539 0 0 25 0 4 0 729940980 1538699264 312354 33554432000 4194304 4580107 140734834086752 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7493/statm: 375659 312354 379 95 0 370641 0
[pid=7493/tid=7494] ppid=7491 vsize=1502636 CPUtime=822.26 cores=1,3,5,7
/proc/7493/task/7494/stat : 7494 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 413353 0 0 0 82085 141 0 0 25 0 4 0 729940980 1538699264 312354 33554432000 4194304 4580107 140734834086752 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7493/tid=7495] ppid=7491 vsize=1502636 CPUtime=822.28 cores=1,3,5,7
/proc/7493/task/7495/stat : 7495 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 361040 0 0 0 82098 130 0 0 25 0 4 0 729940980 1538699264 312354 33554432000 4194304 4580107 140734834086752 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7493/tid=7496] ppid=7491 vsize=1502636 CPUtime=813.25 cores=1,3,5,7
/proc/7493/task/7496/stat : 7496 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 390386 0 0 0 81196 129 0 0 25 0 4 0 729940980 1538699264 312354 33554432000 4194304 4580107 140734834086752 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3280.09
Current children cumulated vsize (KiB) 1502636

[startup+882.301 s]
/proc/loadavg: 8.15 7.78 5.88 9/358 7521
/proc/meminfo: memFree=15904820/32950928 swapFree=67111200/67111528
[pid=7493] ppid=7491 vsize=1573236 CPUtime=3519.42 cores=1,3,5,7
/proc/7493/stat : 7493 (strangenight2-m) R 7491 7493 7452 0 -1 4202496 1664663 0 0 0 351369 573 0 0 25 0 4 0 729940980 1610993664 319740 33554432000 4194304 4580107 140734834086752 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7493/statm: 393309 319740 379 95 0 388291 0
[pid=7493/tid=7494] ppid=7491 vsize=1573236 CPUtime=882.26 cores=1,3,5,7
/proc/7493/task/7494/stat : 7494 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 438972 0 0 0 88075 151 0 0 25 0 4 0 729940980 1610993664 319740 33554432000 4194304 4580107 140734834086752 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7493/tid=7495] ppid=7491 vsize=1573236 CPUtime=882.28 cores=1,3,5,7
/proc/7493/task/7495/stat : 7495 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 382972 0 0 0 88090 138 0 0 25 0 4 0 729940980 1610993664 319740 33554432000 4194304 4580107 140734834086752 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7493/tid=7496] ppid=7491 vsize=1573236 CPUtime=872.58 cores=1,3,5,7
/proc/7493/task/7496/stat : 7496 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 413769 0 0 0 87121 137 0 0 25 0 4 0 729940980 1610993664 319740 33554432000 4194304 4580107 140734834086752 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3519.42
Current children cumulated vsize (KiB) 1573236

[startup+942.301 s]
/proc/loadavg: 8.09 7.83 6.01 9/358 7522
/proc/meminfo: memFree=15704672/32950928 swapFree=67111200/67111528
[pid=7493] ppid=7491 vsize=1574272 CPUtime=3758.75 cores=1,3,5,7
/proc/7493/stat : 7493 (strangenight2-m) R 7491 7493 7452 0 -1 4202496 1764103 0 0 0 375267 608 0 0 25 0 4 0 729940980 1612054528 326269 33554432000 4194304 4580107 140734834086752 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7493/statm: 393568 326269 379 95 0 388550 0
[pid=7493/tid=7494] ppid=7491 vsize=1574272 CPUtime=942.26 cores=1,3,5,7
/proc/7493/task/7494/stat : 7494 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 462610 0 0 0 94065 161 0 0 25 0 4 0 729940980 1612054528 326269 33554432000 4194304 4580107 140734834086752 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7493/tid=7495] ppid=7491 vsize=1574272 CPUtime=942.28 cores=1,3,5,7
/proc/7493/task/7495/stat : 7495 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 404926 0 0 0 94081 147 0 0 25 0 4 0 729940980 1612054528 326269 33554432000 4194304 4580107 140734834086752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7493/tid=7496] ppid=7491 vsize=1574272 CPUtime=931.93 cores=1,3,5,7
/proc/7493/task/7496/stat : 7496 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 440524 0 0 0 93048 145 0 0 25 0 4 0 729940980 1612054528 326269 33554432000 4194304 4580107 140734834086752 18446744073709551615 4295863 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3758.75
Current children cumulated vsize (KiB) 1574272

[startup+1002.3 s]
/proc/loadavg: 8.07 7.87 6.14 9/358 7524
/proc/meminfo: memFree=15680840/32950928 swapFree=67111200/67111528
[pid=7493] ppid=7491 vsize=1579620 CPUtime=3998.09 cores=1,3,5,7
/proc/7493/stat : 7493 (strangenight2-m) R 7491 7493 7452 0 -1 4202496 1847624 0 0 0 399168 641 0 0 25 0 4 0 729940980 1617530880 319279 33554432000 4194304 4580107 140734834086752 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7493/statm: 394905 319279 379 95 0 389887 0
[pid=7493/tid=7494] ppid=7491 vsize=1579620 CPUtime=1002.25 cores=1,3,5,7
/proc/7493/task/7494/stat : 7494 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 486945 0 0 0 100056 169 0 0 25 0 4 0 729940980 1617530880 319279 33554432000 4194304 4580107 140734834086752 18446744073709551615 4318737 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7493/tid=7495] ppid=7491 vsize=1579620 CPUtime=1002.27 cores=1,3,5,7
/proc/7493/task/7495/stat : 7495 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 424413 0 0 0 100072 155 0 0 25 0 4 0 729940980 1617530880 319279 33554432000 4194304 4580107 140734834086752 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7493/tid=7496] ppid=7491 vsize=1579620 CPUtime=991.27 cores=1,3,5,7
/proc/7493/task/7496/stat : 7496 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 460228 0 0 0 98975 152 0 0 25 0 4 0 729940980 1617530880 319279 33554432000 4194304 4580107 140734834086752 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3998.09
Current children cumulated vsize (KiB) 1579620

[startup+1062.3 s]
/proc/loadavg: 8.18 7.94 6.27 9/358 7525
/proc/meminfo: memFree=15554224/32950928 swapFree=67111200/67111528
[pid=7493] ppid=7491 vsize=1651840 CPUtime=4237.43 cores=1,3,5,7
/proc/7493/stat : 7493 (strangenight2-m) R 7491 7493 7452 0 -1 4202496 1959783 0 0 0 423064 679 0 0 25 0 4 0 729940980 1691484160 345917 33554432000 4194304 4580107 140734834086752 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7493/statm: 412960 345917 379 95 0 407942 0
[pid=7493/tid=7494] ppid=7491 vsize=1651840 CPUtime=1062.26 cores=1,3,5,7
/proc/7493/task/7494/stat : 7494 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 508698 0 0 0 106050 176 0 0 25 0 4 0 729940980 1691484160 345927 33554432000 4194304 4580107 140734834086752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7493/tid=7495] ppid=7491 vsize=1651840 CPUtime=1062.28 cores=1,3,5,7
/proc/7493/task/7495/stat : 7495 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 461707 0 0 0 106063 165 0 0 25 0 4 0 729940980 1691484160 345927 33554432000 4194304 4580107 140734834086752 18446744073709551615 4417020 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7493/tid=7496] ppid=7491 vsize=1651840 CPUtime=1051.28 cores=1,3,5,7
/proc/7493/task/7496/stat : 7496 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 487036 0 0 0 104965 163 0 0 25 0 4 0 729940980 1691484160 345927 33554432000 4194304 4580107 140734834086752 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4237.43
Current children cumulated vsize (KiB) 1651840

[startup+1122.3 s]
/proc/loadavg: 8.18 7.98 6.38 9/358 7527
/proc/meminfo: memFree=15483648/32950928 swapFree=67111200/67111528
[pid=7493] ppid=7491 vsize=1685064 CPUtime=4476.73 cores=1,3,5,7
/proc/7493/stat : 7493 (strangenight2-m) R 7491 7493 7452 0 -1 4202496 2053042 0 0 0 446962 711 0 0 25 0 4 0 729940980 1725505536 344020 33554432000 4194304 4580107 140734834086752 18446744073709551615 4293090 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7493/statm: 421266 344020 379 95 0 416248 0
[pid=7493/tid=7494] ppid=7491 vsize=1685064 CPUtime=1122.25 cores=1,3,5,7
/proc/7493/task/7494/stat : 7494 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 534703 0 0 0 112039 186 0 0 25 0 4 0 729940980 1725505536 344020 33554432000 4194304 4580107 140734834086752 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7493/tid=7495] ppid=7491 vsize=1685064 CPUtime=1122.27 cores=1,3,5,7
/proc/7493/task/7495/stat : 7495 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 487105 0 0 0 112054 173 0 0 25 0 4 0 729940980 1725505536 344020 33554432000 4194304 4580107 140734834086752 18446744073709551615 4305971 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7493/tid=7496] ppid=7491 vsize=1685064 CPUtime=1111.26 cores=1,3,5,7
/proc/7493/task/7496/stat : 7496 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 508132 0 0 0 110956 170 0 0 25 0 4 0 729940980 1725505536 344020 33554432000 4194304 4580107 140734834086752 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4476.73
Current children cumulated vsize (KiB) 1685064

[startup+1182.31 s]
/proc/loadavg: 8.10 8.00 6.49 9/358 7529
/proc/meminfo: memFree=15448540/32950928 swapFree=67111200/67111528
[pid=7493] ppid=7491 vsize=1682044 CPUtime=4716.11 cores=1,3,5,7
/proc/7493/stat : 7493 (strangenight2-m) R 7491 7493 7452 0 -1 4202496 2148589 0 0 0 470865 746 0 0 25 0 4 0 729940980 1722413056 349884 33554432000 4194304 4580107 140734834086752 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7493/statm: 420511 349884 379 95 0 415493 0
[pid=7493/tid=7494] ppid=7491 vsize=1682044 CPUtime=1182.26 cores=1,3,5,7
/proc/7493/task/7494/stat : 7494 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 556109 0 0 0 118032 194 0 0 25 0 4 0 729940980 1722413056 349884 33554432000 4194304 4580107 140734834086752 18446744073709551615 4319022 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7493/tid=7495] ppid=7491 vsize=1682044 CPUtime=1182.28 cores=1,3,5,7
/proc/7493/task/7495/stat : 7495 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 508499 0 0 0 118046 182 0 0 25 0 4 0 729940980 1722413056 349884 33554432000 4194304 4580107 140734834086752 18446744073709551615 4295888 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7493/tid=7496] ppid=7491 vsize=1682044 CPUtime=1171.28 cores=1,3,5,7
/proc/7493/task/7496/stat : 7496 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 534692 0 0 0 116949 179 0 0 25 0 4 0 729940980 1722413056 349884 33554432000 4194304 4580107 140734834086752 18446744073709551615 4293802 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4716.11
Current children cumulated vsize (KiB) 1682044



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.4 s]
/proc/loadavg: 8.14 8.01 6.52 10/358 7529
/proc/meminfo: memFree=15374756/32950928 swapFree=67111200/67111528
[pid=7493] ppid=7491 vsize=1682200 CPUtime=4800.25 cores=1,3,5,7
/proc/7493/stat : 7493 (strangenight2-m) R 7491 7493 7452 0 -1 4202496 2177983 0 0 0 479266 759 0 0 25 0 4 0 729940980 1722572800 365428 33554432000 4194304 4580107 140734834086752 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7493/statm: 420550 365428 379 95 0 415532 0
[pid=7493/tid=7494] ppid=7491 vsize=1682200 CPUtime=1203.36 cores=1,3,5,7
/proc/7493/task/7494/stat : 7494 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 563873 0 0 0 120138 198 0 0 25 0 4 0 729940980 1722572800 365438 33554432000 4194304 4580107 140734834086752 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7493/tid=7495] ppid=7491 vsize=1682200 CPUtime=1203.38 cores=1,3,5,7
/proc/7493/task/7495/stat : 7495 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 514107 0 0 0 120155 183 0 0 25 0 4 0 729940980 1722572800 365438 33554432000 4194304 4580107 140734834086752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7493/tid=7496] ppid=7491 vsize=1682200 CPUtime=1192.37 cores=1,3,5,7
/proc/7493/task/7496/stat : 7496 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 542784 0 0 0 119054 183 0 0 25 0 4 0 729940980 1722572800 365438 33554432000 4194304 4580107 140734834086752 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 1682200

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

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

[startup+1203.4 s]
/proc/loadavg: 8.14 8.01 6.52 10/358 7529
/proc/meminfo: memFree=15374756/32950928 swapFree=67111200/67111528
[pid=7493] ppid=7491 vsize=1682200 CPUtime=4800.25 cores=1,3,5,7
/proc/7493/stat : 7493 (strangenight2-m) R 7491 7493 7452 0 -1 4202496 2177983 0 0 0 479266 759 0 0 25 0 4 0 729940980 1722572800 365428 33554432000 4194304 4580107 140734834086752 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7493/statm: 420550 365428 379 95 0 415532 0
[pid=7493/tid=7494] ppid=7491 vsize=1682200 CPUtime=1203.36 cores=1,3,5,7
/proc/7493/task/7494/stat : 7494 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 563873 0 0 0 120138 198 0 0 25 0 4 0 729940980 1722572800 365438 33554432000 4194304 4580107 140734834086752 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7493/tid=7495] ppid=7491 vsize=1682200 CPUtime=1203.38 cores=1,3,5,7
/proc/7493/task/7495/stat : 7495 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 514107 0 0 0 120155 183 0 0 25 0 4 0 729940980 1722572800 365438 33554432000 4194304 4580107 140734834086752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7493/tid=7496] ppid=7491 vsize=1682200 CPUtime=1192.37 cores=1,3,5,7
/proc/7493/task/7496/stat : 7496 (strangenight2-m) R 7491 7493 7452 0 -1 4202560 542784 0 0 0 119054 183 0 0 25 0 4 0 729940980 1722572800 365438 33554432000 4194304 4580107 140734834086752 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 1682200

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.48
CPU time (s): 4800.36
CPU user time (s): 4792.71
CPU system time (s): 7.65484
CPU usage (%): 398.873
Max. virtual memory (cumulated for all children) (KiB): 1747124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.71
system time used= 7.65484
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2178001
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= 3093
involuntary context switches= 32047

runsolver used 3.79342 second user time and 9.46356 second system time

The end

Launcher Data 

Begin job on node115 at 2011-05-14 20:18:23
IDJOB=3366149
IDBENCH=82558
IDSOLVER=1844
FILE ID=node115/3366149-1305397103
RUNJOBID= node115-1305397103-7471
PBS_JOBID= 13324450
Free space on /tmp= 73228 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v30000-c126000-S913491256-073-UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366149-1305397103/watcher-3366149-1305397103 -o /tmp/evaluation-result-3366149-1305397103/solver-3366149-1305397103 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366149-1305397103.cnf

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

MD5SUM BENCH= 785309e098f4d0ba8da3027c8426e931
RANDOM SEED=1553864624

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      17783200 kB
Buffers:        284512 kB
Cached:        4515680 kB
SwapCached:          0 kB
Active:       11975196 kB
Inactive:      2872268 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      17783200 kB
SwapTotal:    67111528 kB
SwapFree:     67111200 kB
Dirty:           13808 kB
Writeback:          20 kB
AnonPages:    10047276 kB
Mapped:          28364 kB
Slab:           211680 kB
PageTables:      41132 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 69757968 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= 73220 MiB
End job on node115 at 2011-05-14 20:38:29