Trace number 3366163

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.42 1203.28

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v35000-c147000-S950666065-093-UNKNOWN.cnf
MD5SUMe27af9a147b2d7c0283d090128805575
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark919.622
Satisfiable
(Un)Satisfiability was proved
Number of variables34999
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.29/0.10	c This is CryptoMiniSat 3.0.0
0.29/0.10	c WARNING: for repeatability, setting FPU to use double precision
0.29/0.10	c Reading file 'HOME/instance-3366163-1305397551.cnf'
0.29/0.11	c -- header says num vars:          34999
0.29/0.11	c -- header says num clauses:      147000
0.56/0.43	c -- clauses added:            0 learnts,       147000 normals,            0 xors
0.56/0.43	c -- vars added      34999
0.56/0.43	c Parsing time:  0.09 s
0.56/0.43	c  N st     0         0     34999    147000         0         0    441000         0   no data   no data
0.56/0.43	c asymm  cl-useful: 0/147000/147000 lits-rem:0 time: 0.14
0.56/0.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.04
1.71/0.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.71/0.57	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.71/0.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.71/0.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34999 time:  0.01 s
1.71/0.60	c Removed useless bin:       0  fixed:     0  props:   0.34M  time:  0.01 s
3.27/0.94	c lits-rem:         0  cl-subs:        0  v-elim:    909  v-fix:    0  time:  0.25 s
3.27/0.94	c Finding binary XORs  T:     0.01 s  found:       0
3.27/0.94	c Finding non-binary XORs:     0.05 s (found:       0, avg size: nan)
3.27/0.94	c calculated reachability. Time: 0.00
3.27/0.94	c Calc default polars -  time:   0.01 s pos:   15419 undec:    3964 neg:   15616
3.27/0.94	c =========================================================================================
3.27/0.94	c types(t): F = full restart, N = normal restart
3.27/0.94	c types(t): S = simplification begin/end, E = solution found
3.27/0.94	c restart types(rt): st = static, dy = dynamic
3.27/0.94	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.27/0.94	c  B st     0         0     34090    145983         0         0    443647         0   no data   no data
11.26/2.92	c  N dy    19      4232     34090    145983         0      4232    443647   1279041    167.44    176.89
18.83/4.83	c  N dy    48      8247     34090    145983         0      8246    443647   2302392    165.66    175.17
26.42/6.75	c  N dy    73     12270     34090    145983         0     12268    443647   3330593    165.89    176.34
34.40/8.78	c  N dy   102     16434     34090    145983         0     16432    443647   4366474    165.67    175.87
42.77/10.83	c  N dy   132     20437     34090    145983         0     10436    443647    775672    166.34    175.82
50.75/12.80	c  N dy   162     24462     34090    145983         0     14461    443647   1820392    167.73    192.10
51.55/13.08	c  F st   167     25001     34090    145983         0     15000    443647   1964748    167.80   no data
61.95/15.69	c  N dy   173     30000     34090    145983         0     19999    443647   3649021    167.80   no data
61.95/15.69	c  S st   173     30000     34090    145983         0     19999    443647   3649021    167.80   no data
63.12/15.94	c  S st   173     30502     34090    145983         0     20501    443647   3729177    167.80   no data
63.12/15.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
63.52/16.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.09
63.92/16.11	c blocked clauses removed:      620 vars:    103 tried:       34090 T: 0.02 s
63.92/16.12	c bin-w-bin subsume rem            0 bins  time:  0.01 s
63.92/16.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
63.92/16.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33987 time:  0.01 s
63.92/16.15	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.01 s
64.72/16.33	c lits-rem:         0  cl-subs:        0  v-elim:     10  v-fix:    0  time:  0.17 s
65.92/16.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
69.90/17.65	c lits-rem:         1  cl-subs:        5  v-elim:      0  v-fix:    0  time:  0.92 s
70.72/17.83	c asymm  cl-useful: 0/145355/145355 lits-rem:0 time: 0.18
70.72/17.84	c calculated reachability. Time: 0.00
70.72/17.84	c  N dy   173     30502     33977    145355         0     20246    441852   3568277    167.80   no data
79.09/19.96	c  N dy   201     34570     33977    145355         0     24314    441852   4627304    167.67    189.39
87.46/22.10	c  N dy   222     38597     33977    145355         0     28341    441852   5613146    166.79    179.32
96.23/24.29	c  N dy   254     42610     33977    145355         0     16980    441852   1211309    167.89    183.84
102.62/25.85	c  S st   273     45755     33977    145355         0     20125    441852   1986107    167.67   no data
103.81/26.10	c  S st   273     46257     33977    145355         0     20627    441852   2084937    167.67   no data
103.81/26.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
104.21/26.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.09
104.21/26.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
104.21/26.25	c bin-w-bin subsume rem            0 bins  time:  0.01 s
104.21/26.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
104.21/26.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33977 time:  0.01 s
104.21/26.29	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
105.02/26.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
105.41/26.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
106.60/26.89	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.28 s
107.00/26.91	c vivif2 --  cl tried   145355 cl shrink        0 lits rem          0 time: 0.02
107.00/26.95	c vivif2 --  cl tried    20625 cl shrink        0 lits rem          0 time: 0.04
107.80/27.14	c asymm  cl-useful: 0/145355/145355 lits-rem:0 time: 0.18
107.80/27.14	c calculated reachability. Time: 0.00
107.80/27.15	c  N dy   273     46257     33977    145355         0     20625    441852   2084531    167.67   no data
116.18/29.22	c  N dy   300     50338     33977    145355         0     24706    441852   3079000    166.97    176.47
124.56/31.36	c  N dy   329     54386     33977    145355         0     28754    441852   4104667    167.15    182.70
133.33/33.57	c  N dy   359     58481     33977    145355         0     32849    441852   5172222    167.39    178.21
142.11/35.76	c  N dy   389     62545     33977    145355         0     36913    441852   6206028    167.57    179.27
150.89/37.95	c  N dy   416     66703     33977    145355         0     22385    441852   1705112    167.47    176.43
156.48/39.31	c  S st   430     69387     33977    145355         0     25069    441852   2370375    167.08    164.64
157.27/39.56	c  S st   430     69894     33977    145355         0     25576    441852   2469611    167.08   no data
157.27/39.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
157.67/39.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.09
158.07/39.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
158.07/39.72	c bin-w-bin subsume rem            0 bins  time:  0.01 s
158.07/39.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
158.07/39.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33977 time:  0.01 s
158.07/39.76	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
158.49/39.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
159.26/40.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
161.26/40.50	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.41 s
161.26/40.53	c vivif2 --  cl tried   145355 cl shrink        0 lits rem          0 time: 0.02
161.26/40.57	c vivif2 --  cl tried    25575 cl shrink        0 lits rem          0 time: 0.05
162.06/40.76	c asymm  cl-useful: 0/145355/145355 lits-rem:0 time: 0.19
162.06/40.77	c calculated reachability. Time: 0.00
162.06/40.77	c  N dy   430     69894     33977    145355         0     25575    441852   2469372    167.08   no data
171.65/43.18	c  N dy   465     74442     33977    145355         0     30123    441852   3671920    167.37    179.03
182.01/45.78	c  N dy   500     79253     33977    145355         0     34933    441852   4888740    167.34    178.10
193.18/48.51	c  N dy   535     84341     33977    145355         0     40021    441852   6160221    167.21    183.98
199.96/50.26	c  F st   560     87500     33977    145355         0     22340    441852   1093342    167.28    157.99
207.54/52.11	c  N st   565     90801     33977    145355         0     25637    441852   2293269    167.28   no data
219.94/55.25	c  N dy   591     96599     33977    145355         0     31434    441852   4195196    167.46    177.85
233.88/58.72	c  N dy   640    102870     33977    145355         0     37705    441852   5837461    167.89    180.46
238.26/59.82	c  S st   654    104841     33977    145355         0     39676    441852   6340788    167.92    147.78
239.46/60.10	c  S st   654    105344     33977    145355         0     40179    441852   6437893    167.92   no data
239.46/60.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
239.86/60.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.11
239.86/60.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
239.86/60.28	c bin-w-bin subsume rem            0 bins  time:  0.01 s
239.86/60.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
240.26/60.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33977 time:  0.01 s
240.26/60.32	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
240.66/60.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
242.65/60.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
249.83/62.72	c lits-rem:        22  cl-subs:        2  v-elim:      0  v-fix:    0  time:  1.75 s
249.83/62.74	c vivif2 --  cl tried   145355 cl shrink        0 lits rem          0 time: 0.02
250.24/62.86	c vivif2 --  cl tried    40177 cl shrink        0 lits rem          0 time: 0.11
251.07/63.08	c asymm  cl-useful: 0/145355/145355 lits-rem:0 time: 0.22
251.07/63.09	c calculated reachability. Time: 0.00
251.07/63.09	c  N dy   654    105344     33977    145355         0     40177    441852   6435624    167.92   no data
266.19/66.87	c  N dy   704    112065     33977    145355         0     24480    441852   1221210    168.08    179.96
281.79/70.77	c  N dy   753    119279     33977    145355         0     31694    441852   3078583    167.94    187.85
298.93/75.07	c  N dy   806    126923     33977    145355         0     39338    441852   5077392    168.02    182.07
317.66/79.70	c  N dy   859    135177     33977    145355         0     23883    441852    674744    167.85    176.82
336.02/84.33	c  N dy   917    143895     33977    145355         0     32600    441852   2919253    167.96    181.38
356.40/89.45	c  N dy   986    153159     33977    145355         0     41862    441852   5327134    168.14    186.34
367.54/92.23	c  S st  1022    158016     33977    145355         0     46718    441852   6582007    168.21    137.50
368.74/92.51	c  S st  1022    158518     33977    145355         0     47220    441852   6669683    168.21   no data
368.74/92.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
369.16/92.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.11
369.16/92.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
369.16/92.71	c bin-w-bin subsume rem            0 bins  time:  0.01 s
369.58/92.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
369.58/92.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33977 time:  0.01 s
369.58/92.74	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
370.33/92.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
371.92/93.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
381.10/95.67	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.29 s
381.10/95.69	c vivif2 --  cl tried   145355 cl shrink        0 lits rem          0 time: 0.02
381.90/95.81	c vivif2 --  cl tried    47216 cl shrink        0 lits rem          0 time: 0.12
382.73/96.04	c asymm  cl-useful: 0/145355/145355 lits-rem:0 time: 0.23
382.73/96.05	c calculated reachability. Time: 0.00
382.73/96.05	c  N dy  1022    158518     33977    145355         0     47216    441852   6668758    168.21   no data
405.04/101.64	c  N dy  1094    168671     33977    145355         0     32515    441852   2589392    168.44    236.57
428.59/107.58	c  N dy  1165    179471     33977    145355         0     43315    441852   5339860    168.34    184.01
455.31/114.22	c  N dy  1243    191121     33977    145355         0     29041    441852   1355514    168.37    178.08
482.45/121.02	c  N dy  1336    203341     33977    145355         0     41259    441852   4584860    168.70    181.77
512.38/128.58	c  N dy  1424    216407     33977    145355         0     27360    441852    643940    168.58    178.27
542.69/136.18	c  N dy  1521    230337     33977    145355         0     41288    441852   4195271    168.56    178.47
559.85/140.44	c  S st  1575    237777     33977    145355         0     48728    441852   6121649    168.56   no data
561.05/140.73	c  S st  1575    238278     33977    145355         0     49229    441852   6213820    168.56   no data
561.05/140.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
561.45/140.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.12
561.85/140.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
561.85/140.93	c bin-w-bin subsume rem            0 bins  time:  0.01 s
561.85/140.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
561.85/140.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33977 time:  0.01 s
561.85/140.97	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
562.69/141.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
564.24/141.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
573.42/143.81	c lits-rem:         2  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.26 s
573.42/143.83	c vivif2 --  cl tried   145355 cl shrink        0 lits rem          0 time: 0.02
573.82/143.95	c vivif2 --  cl tried    49226 cl shrink        0 lits rem          0 time: 0.11
574.62/144.18	c asymm  cl-useful: 0/145355/145355 lits-rem:0 time: 0.23
574.62/144.19	c calculated reachability. Time: 0.00
574.62/144.19	c  N dy  1575    238278     33977    145355         0     49226    441852   6213217    168.56   no data
608.93/152.76	c  N dy  1679    253604     33977    145355         0     36573    441852   2720819    168.45    179.57
646.07/162.05	c  N dy  1791    269926     33977    145355         0     52895    441852   6938428    168.58    178.55
684.74/171.81	c  N dy  1903    287212     33977    145355         0     41190    441852   3669724    168.55    184.43
728.23/182.68	c  N dy  2039    305762     33977    145355         0     59738    441852   8475011    168.64    191.08
729.81/183.02	c  F st  2044    306250     33977    145355         0     30231    441852    568307    168.65   no data
772.93/193.90	c  N dy  2141    325368     33977    145355         0     49349    441852   6146562    168.65    179.95
819.59/205.51	c  N dy  2278    345428     33977    145355         0     38415    441852   2391486    168.62    181.26
846.72/212.34	c  S st  2362    357418     33977    145355         0     50404    441852   5464967    168.69   no data
847.96/212.64	c  S st  2362    357922     33977    145355         0     50908    441852   5545003    168.69   no data
847.96/212.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
848.31/212.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.12
848.71/212.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
848.71/212.83	c bin-w-bin subsume rem            0 bins  time:  0.01 s
848.71/212.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
848.71/212.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33977 time:  0.01 s
848.71/212.87	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
849.51/213.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
850.71/213.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
859.09/215.47	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  2.07 s
859.09/215.49	c vivif2 --  cl tried   145355 cl shrink        0 lits rem          0 time: 0.02
859.50/215.59	c vivif2 --  cl tried    50907 cl shrink        0 lits rem          0 time: 0.10
860.71/215.83	c asymm  cl-useful: 0/145355/145355 lits-rem:0 time: 0.23
860.71/215.84	c calculated reachability. Time: 0.00
860.71/215.84	c  N dy  2362    357922     33977    145355         0     50907    441852   5544157    168.69   no data
907.37/227.53	c  N dy  2502    377995     33977    145355         0     38981    441852   2288874    168.63    177.76
954.45/239.30	c  N dy  2634    398165     33977    145355         0     59151    441852   7524945    168.62    178.34
1001.16/251.04	c  N dy  2773    418308     33977    145355         0     46293    441852   4009366    168.68    178.01
1049.02/263.05	c  N dy  2916    438376     33977    145355         0     66361    441852   9235431    168.74    177.71
1095.29/274.64	c  N dy  3049    458453     33977    145355         0     52437    441852   5275100    168.73    179.62
1143.97/286.81	c  N dy  3186    478552     33977    145355         0     37542    441852   1155215    168.84    180.24
1189.88/298.39	c  N dy  3321    498687     33977    145355         0     57676    441852   6357653    168.85    181.73
1237.75/310.38	c  N dy  3455    518774     33977    145355         0     41761    441852   1948747    168.90    185.23
1280.43/321.03	c  S st  3585    536883     33977    145355         0     59869    441852   6690975    168.96   no data
1281.63/321.34	c  S st  3585    537388     33977    145355         0     60374    441852   6781258    168.96   no data
1281.63/321.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1282.05/321.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.12
1282.46/321.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1282.46/321.55	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1282.46/321.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1282.46/321.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33977 time:  0.01 s
1282.46/321.59	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
1283.22/321.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
1284.82/322.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1297.99/325.43	c lits-rem:         1  cl-subs:        3  v-elim:      0  v-fix:    0  time:  3.20 s
1297.99/325.45	c vivif2 --  cl tried   145355 cl shrink        0 lits rem          0 time: 0.02
1298.39/325.58	c vivif2 --  cl tried    60371 cl shrink        0 lits rem          0 time: 0.12
1299.61/325.83	c asymm  cl-useful: 0/145355/145355 lits-rem:0 time: 0.25
1299.61/325.84	c calculated reachability. Time: 0.00
1299.61/325.84	c  N dy  3585    537388     33977    145355         0     60371    441852   6780511    168.96   no data
1348.31/338.04	c  N dy  3722    557514     33977    145355         0     43500    441852   2235936    169.00    178.56
1396.16/350.09	c  N dy  3864    577741     33977    145355         0     63726    441852   7583575    169.11    178.27
1444.85/362.22	c  N dy  3997    597767     33977    145355         0     45761    441852   2512013    169.11    187.37
1492.72/374.24	c  N dy  4136    617809     33977    145355         0     65802    441852   7819288    169.22    178.84
1541.77/386.58	c  N dy  4285    637897     33977    145355         0     46883    441852   2549931    169.38    246.91
1589.68/398.54	c  N dy  4422    657902     33977    145355         0     66888    441852   7654688    169.35    183.11
1638.71/410.85	c  N dy  4560    677927     33977    145355         0     46913    441852   2301534    169.40    186.24
1687.80/423.16	c  N dy  4701    698002     33977    145355         0     66986    441852   7479935    169.42    182.06
1737.68/435.68	c  N dy  4838    718203     33977    145355         0     46189    441852   1900577    169.45    183.00
1785.56/447.65	c  N dy  4967    738335     33977    145355         0     66320    441852   7092492    169.46    182.62
1837.02/460.56	c  N dy  5107    758622     33977    145355         0     44606    441852   1182386    169.50    187.93
1884.50/472.47	c  N dy  5243    778666     33977    145355         0     64650    441852   6455247    169.55    180.93
1935.58/485.31	c  N dy  5380    798674     33977    145355         0     84657    441852  11684751    169.60    180.49
1953.55/489.77	c  S st  5431    806082     33977    145355         0     49062    441852   2017281    169.61   no data
1954.71/490.08	c  S st  5431    806583     33977    145355         0     49563    441852   2125291    169.61   no data
1955.11/490.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1955.51/490.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.11
1955.51/490.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1955.51/490.26	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1955.51/490.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1955.51/490.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33977 time:  0.01 s
1955.91/490.30	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
1956.31/490.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
1956.72/490.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1959.51/491.28	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.66 s
1959.91/491.30	c vivif2 --  cl tried   145355 cl shrink        0 lits rem          0 time: 0.02
1959.91/491.34	c vivif2 --  cl tried    49563 cl shrink        0 lits rem          0 time: 0.04
1960.70/491.57	c asymm  cl-useful: 0/145355/145355 lits-rem:0 time: 0.23
1960.70/491.58	c calculated reachability. Time: 0.00
1960.70/491.58	c  N dy  5431    806583     33977    145355         0     49563    441852   2125290    169.61   no data
2008.98/503.65	c  N dy  5558    826618     33977    145355         0     69597    441852   7346153    169.58    191.05
2060.85/516.68	c  N dy  5692    846628     33977    145355         0     45609    441852    902744    169.55    243.34
2108.33/528.59	c  N dy  5826    866728     33977    145355         0     65708    441852   6177879    169.54    183.55
2160.24/541.51	c  N dy  5963    886942     33977    145355         0     85922    441852  11430933    169.58    187.94
2208.52/553.68	c  N dy  6097    907007     33977    145355         0     60988    441852   4604748    169.55    179.88
2259.15/566.35	c  N dy  6238    927010     33977    145355         0     80990    441852   9757654    169.57    192.07
2309.82/579.01	c  N dy  6378    947080     33977    145355         0     55064    441852   2839611    169.55    181.28
2358.90/591.32	c  N dy  6508    967202     33977    145355         0     75184    441852   8052509    169.54    178.89
2411.97/604.63	c  N dy  6643    987265     33977    145355         0     48253    441852    856925    169.57    180.47
2460.24/616.73	c  N dy  6779   1007379     33977    145355         0     68364    441852   6161069    169.59    183.38
2512.11/629.79	c  N dy  6915   1027528     33977    145355         0     88512    441852  11443391    169.62    180.66
2562.79/642.45	c  N dy  7053   1047626     33977    145355         0     60614    441852   3931683    169.68    223.61
2614.26/655.31	c  N dy  7197   1067983     33977    145355         0     80969    441852   9339085    169.72    181.44
2624.23/657.82	c  F st  7224   1071875     33977    145355         0     84861    441852  10312377    169.70    167.07
2667.71/668.78	c  N dy  7306   1088431     33977    145355         0     52420    441852   1418363    169.71    185.21
2716.80/681.04	c  N dy  7447   1108464     33977    145355         0     72452    441852   6586783    169.74    179.01
2769.88/694.35	c  N dy  7587   1128571     33977    145355         0     92556    441852  11912526    169.78    190.33
2821.32/707.21	c  N dy  7727   1148683     33977    145355         0     62674    441852   3848292    169.80    182.95
2872.80/720.15	c  N dy  7867   1168739     33977    145355         0     82729    441852   9112823    169.84    180.16
2927.06/733.71	c  N dy  8001   1188762     33977    145355         0     51751    441852    728462    169.86    185.98
2975.73/745.90	c  N dy  8127   1208857     33977    145355         0     71845    441852   5913684    169.84    182.01
2978.13/746.58	c  S st  8134   1209876     33977    145355         0     72864    441852   6169461    169.83    173.98
2979.73/746.92	c  S st  8134   1210379     33977    145355         0     73367    441852   6265458    169.83   no data
2979.73/746.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2980.13/747.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.14
2980.54/747.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2980.54/747.14	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2980.54/747.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2980.54/747.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33977 time:  0.01 s
2980.54/747.18	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
2981.31/747.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
2982.91/747.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2996.08/751.05	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time:  3.28 s
2996.08/751.07	c vivif2 --  cl tried   145355 cl shrink        0 lits rem          0 time: 0.02
2996.48/751.19	c vivif2 --  cl tried    73363 cl shrink        0 lits rem          0 time: 0.12
2997.67/751.46	c asymm  cl-useful: 0/145355/145355 lits-rem:0 time: 0.27
2997.67/751.48	c calculated reachability. Time: 0.00
2997.67/751.48	c  N dy  8134   1210379     33977    145355         0     73363    441852   6263681    169.83   no data
3051.18/764.88	c  N dy  8272   1230434     33977    145355         0     93417    441852  11429636    169.81    180.82
3103.85/778.03	c  N dy  8409   1250568     33977    145355         0     61549    441852   3048794    169.83    184.15
3154.88/790.82	c  N dy  8555   1270656     33977    145355         0     81636    441852   8367988    169.90    202.62
3208.76/804.39	c  N dy  8695   1290660     33977    145355         0    101640    441852  13598127    169.94    181.39
3259.81/817.17	c  N dy  8837   1310693     33977    145355         0     68674    441852   4651475    169.98    180.62
3312.08/830.24	c  N dy  8979   1330808     33977    145355         0     88787    441852   9927121    170.02    183.28
3368.34/844.38	c  N dy  9118   1350956     33977    145355         0     54938    441852    807748    170.05    183.33
3417.81/856.75	c  N dy  9254   1371025     33977    145355         0     75007    441852   6059389    170.08    179.08
3471.28/870.13	c  N dy  9391   1391120     33977    145355         0     95100    441852  11374606    170.09    180.96
3525.93/883.83	c  N dy  9531   1411271     33977    145355         0     60252    441852   1922683    170.10    179.90
3576.61/896.59	c  N dy  9678   1431420     33977    145355         0     80400    441852   7280956    170.19    179.67
3631.27/910.22	c  N dy  9820   1451544     33977    145355         0    100524    441852  12553034    170.21    180.39
3685.53/923.83	c  N dy  9956   1471787     33977    145355         0     64776    441852   2921735    170.24    185.07
3736.60/936.66	c  N dy 10092   1491788     33977    145355         0     84776    441852   8179909    170.25    179.53
3790.86/950.24	c  N dy 10221   1511855     33977    145355         0    104843    441852  13363235    170.22    183.18
3843.93/963.55	c  N dy 10356   1531947     33977    145355         0     67936    441852   3390626    170.21    179.71
3895.39/976.48	c  N dy 10496   1551990     33977    145355         0     87978    441852   8620624    170.23    189.15
3951.25/990.40	c  N dy 10634   1572002     33977    145355         0    107988    441852  13841795    170.26    179.40
4004.31/1003.76	c  N dy 10771   1592082     33977    145355         0     70069    441852   3737101    170.26    180.88
4055.81/1016.70	c  N dy 10907   1612154     33977    145355         0     90140    441852   8995440    170.24    181.17
4111.65/1030.68	c  N dy 11045   1632185     33977    145355         0    110171    441852  14229257    170.25    180.70
4165.95/1044.28	c  N dy 11192   1652533     33977    145355         0     71522    441852   3887408    170.28    180.62
4218.61/1057.42	c  N dy 11329   1672656     33977    145355         0     91643    441852   9164103    170.28    196.11
4274.44/1071.41	c  N dy 11465   1692666     33977    145355         0    111651    441852  14401952    170.30    182.45
4321.91/1083.34	c  S st 11581   1710379     33977    145355         0     69363    441852   3037318    170.31    168.60
4323.11/1083.65	c  S st 11581   1710881     33977    145355         0     69865    441852   3117664    170.31   no data
4323.11/1083.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4323.94/1083.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.13
4323.94/1083.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4323.94/1083.86	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4323.94/1083.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4323.94/1083.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33977 time:  0.01 s
4324.29/1083.90	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
4324.69/1084.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
4325.49/1084.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4333.07/1086.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  1.86 s
4333.07/1086.17	c vivif2 --  cl tried   145355 cl shrink        0 lits rem          0 time: 0.02
4333.47/1086.24	c vivif2 --  cl tried    69865 cl shrink        0 lits rem          0 time: 0.07
4334.67/1086.51	c asymm  cl-useful: 0/145355/145355 lits-rem:0 time: 0.26
4334.67/1086.52	c calculated reachability. Time: 0.00
4334.67/1086.52	c  N dy 11581   1710881     33977    145355         0     69865    441852   3117664    170.31   no data
4386.14/1099.48	c  N dy 11706   1730935     33977    145355         0     89917    441852   8335698    170.30    180.92
4442.79/1113.62	c  N dy 11846   1750943     33977    145355         0    109924    441852  13621108    170.32    184.75
4497.86/1127.41	c  N dy 11982   1770968     33977    145355         0     68956    441852   2643942    170.34    179.81
4549.73/1140.41	c  N dy 12116   1791043     33977    145355         0     89030    441852   7897608    170.34    180.37
4605.58/1154.48	c  N dy 12251   1811151     33977    145355         0    109137    441852  13219239    170.35    182.06
4661.88/1168.58	c  N dy 12388   1831207     33977    145355         0     67190    441852   1956931    170.35    187.09
4714.13/1181.70	c  N dy 12527   1851332     33977    145355         0     87315    441852   7242129    170.37    188.24
4770.36/1195.79	c  N dy 12665   1871378     33977    145355         0    107361    441852  12580405    170.40    185.82

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-3366163-1305397551/watcher-3366163-1305397551 -o /tmp/evaluation-result-3366163-1305397551/solver-3366163-1305397551 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366163-1305397551.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: 2.55 3.09 3.38 7/311 13391
/proc/meminfo: memFree=12323412/32950928 swapFree=67111348/67111528
[pid=13391] ppid=13389 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/13391/stat : 13391 (strangenight2-m) R 13389 13391 13350 0 -1 4202496 406 0 0 0 0 0 0 0 25 0 4 0 651353871 52396032 347 33554432000 4194304 4580107 140733965529520 18446744073709551615 235594922993 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13391/statm: 12792 347 299 95 0 7774 0
[pid=13391/tid=13392] ppid=13389 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/13391/task/13392/stat : 13392 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651353872 52396032 350 33554432000 4194304 4580107 140733965529520 18446744073709551615 47699470026674 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13391/tid=13393] ppid=13389 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/13391/task/13393/stat : 13393 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651353872 52396032 350 33554432000 4194304 4580107 140733965529520 18446744073709551615 47699470026269 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13391/tid=13394] ppid=13389 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/13391/task/13394/stat : 13394 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651353872 52396032 350 33554432000 4194304 4580107 140733965529520 18446744073709551615 47699470026678 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.104166 s]
/proc/loadavg: 2.55 3.09 3.38 7/311 13391
/proc/meminfo: memFree=12323412/32950928 swapFree=67111348/67111528
[pid=13391] ppid=13389 vsize=51168 CPUtime=0.29 cores=1,3,5,7
/proc/13391/stat : 13391 (strangenight2-m) D 13389 13391 13350 0 -1 4202496 426 0 0 0 29 0 0 0 25 0 4 0 651353871 52396032 361 33554432000 4194304 4580107 140733965529520 18446744073709551615 235594541400 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13391/statm: 12792 361 308 95 0 7774 0
[pid=13391/tid=13392] ppid=13389 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/13391/task/13392/stat : 13392 (strangenight2-m) D 13389 13391 13350 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 4 0 651353872 52396032 361 33554432000 4194304 4580107 140733965529520 18446744073709551615 235594909786 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13391/tid=13393] ppid=13389 vsize=51168 CPUtime=0.09 cores=1,3,5,7
/proc/13391/task/13393/stat : 13393 (strangenight2-m) D 13389 13391 13350 0 -1 4202560 6 0 0 0 9 0 0 0 25 0 4 0 651353872 52396032 361 33554432000 4194304 4580107 140733965529520 18446744073709551615 235594527429 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13391/tid=13394] ppid=13389 vsize=51168 CPUtime=0.09 cores=1,3,5,7
/proc/13391/task/13394/stat : 13394 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 4 0 0 0 9 0 0 0 25 0 4 0 651353872 52396032 361 33554432000 4194304 4580107 140733965529520 18446744073709551615 4346704 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51168

[startup+0.201226 s]
/proc/loadavg: 2.55 3.09 3.38 7/311 13391
/proc/meminfo: memFree=12323412/32950928 swapFree=67111348/67111528
[pid=13391] ppid=13389 vsize=319248 CPUtime=0.56 cores=1,3,5,7
/proc/13391/stat : 13391 (strangenight2-m) R 13389 13391 13350 0 -1 4202496 20126 0 0 0 51 5 0 0 18 0 4 0 651353871 326909952 17004 33554432000 4194304 4580107 140733965529520 18446744073709551615 235594971679 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13391/statm: 79812 17056 337 95 0 74794 0
[pid=13391/tid=13392] ppid=13389 vsize=319248 CPUtime=0.08 cores=1,3,5,7
/proc/13391/task/13392/stat : 13392 (strangenight2-m) S 13389 13391 13350 0 -1 4202560 5247 0 0 0 6 2 0 0 18 0 4 0 651353872 326909952 17073 33554432000 4194304 4580107 140733965529520 18446744073709551615 235594971630 0 0 4096 2 18446604469236322496 0 0 -1 7 0 0 0
[pid=13391/tid=13393] ppid=13389 vsize=319248 CPUtime=0.19 cores=1,3,5,7
/proc/13391/task/13393/stat : 13393 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 5628 0 0 0 18 1 0 0 18 0 4 0 651353872 326909952 17110 33554432000 4194304 4580107 140733965529520 18446744073709551615 235594527777 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13391/tid=13394] ppid=13389 vsize=319248 CPUtime=0.1 cores=1,3,5,7
/proc/13391/task/13394/stat : 13394 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 3891 0 0 0 10 0 0 0 25 0 4 0 651353872 326909952 17146 33554432000 4194304 4580107 140733965529520 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 319248

[startup+0.437831 s]
/proc/loadavg: 2.55 3.09 3.38 7/311 13391
/proc/meminfo: memFree=12323412/32950928 swapFree=67111348/67111528
[pid=13391] ppid=13389 vsize=333348 CPUtime=1.48 cores=1,3,5,7
/proc/13391/stat : 13391 (strangenight2-m) R 13389 13391 13350 0 -1 4202496 27151 0 0 0 139 9 0 0 18 0 4 0 651353871 341348352 24027 33554432000 4194304 4580107 140733965529520 18446744073709551615 235594515570 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13391/statm: 83337 24028 363 95 0 78319 0
[pid=13391/tid=13392] ppid=13389 vsize=333348 CPUtime=0.31 cores=1,3,5,7
/proc/13391/task/13392/stat : 13392 (strangenight2-m) S 13389 13391 13350 0 -1 4202560 6819 0 0 0 29 2 0 0 18 0 4 0 651353872 341348352 24028 33554432000 4194304 4580107 140733965529520 18446744073709551615 235594971630 0 0 4096 2 18446604469236322496 0 0 -1 7 0 0 0
[pid=13391/tid=13393] ppid=13389 vsize=333348 CPUtime=0.42 cores=1,3,5,7
/proc/13391/task/13393/stat : 13393 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 7538 0 0 0 41 1 0 0 18 0 4 0 651353872 341348352 24028 33554432000 4194304 4580107 140733965529520 18446744073709551615 4401259 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13391/tid=13394] ppid=13389 vsize=333348 CPUtime=0.3 cores=1,3,5,7
/proc/13391/task/13394/stat : 13394 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 6341 0 0 0 29 1 0 0 18 0 4 0 651353872 341348352 24029 33554432000 4194304 4580107 140733965529520 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 333348

[startup+0.715284 s]
/proc/loadavg: 2.55 3.09 3.38 7/311 13391
/proc/meminfo: memFree=12323412/32950928 swapFree=67111348/67111528
[pid=13391] ppid=13389 vsize=357408 CPUtime=2.53 cores=1,3,5,7
/proc/13391/stat : 13391 (strangenight2-m) R 13389 13391 13350 0 -1 4202496 46676 0 0 0 239 14 0 0 18 0 4 0 651353871 365985792 37773 33554432000 4194304 4580107 140733965529520 18446744073709551615 235594563961 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13391/statm: 89352 37795 373 95 0 84334 0
[pid=13391/tid=13392] ppid=13389 vsize=355244 CPUtime=0.59 cores=1,3,5,7
/proc/13391/task/13392/stat : 13392 (strangenight2-m) D 13389 13391 13350 0 -1 4202560 13904 0 0 0 54 5 0 0 18 0 4 0 651353872 363769856 36986 33554432000 4194304 4580107 140733965529520 18446744073709551615 4489273 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13391/tid=13393] ppid=13389 vsize=355244 CPUtime=0.69 cores=1,3,5,7
/proc/13391/task/13393/stat : 13393 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 13494 0 0 0 67 2 0 0 18 0 4 0 651353872 363769856 36986 33554432000 4194304 4580107 140733965529520 18446744073709551615 235594535226 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13391/tid=13394] ppid=13389 vsize=355244 CPUtime=0.56 cores=1,3,5,7
/proc/13391/task/13394/stat : 13394 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 6483 0 0 0 55 1 0 0 18 0 4 0 651353872 363769856 36986 33554432000 4194304 4580107 140733965529520 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 357408

[startup+1.50127 s]
/proc/loadavg: 2.55 3.09 3.38 9/315 13395
/proc/meminfo: memFree=12091252/32950928 swapFree=67111348/67111528
[pid=13391] ppid=13389 vsize=355444 CPUtime=5.67 cores=1,3,5,7
/proc/13391/stat : 13391 (strangenight2-m) R 13389 13391 13350 0 -1 4202496 49661 0 0 0 552 15 0 0 19 0 4 0 651353871 363974656 39209 33554432000 4194304 4580107 140733965529520 18446744073709551615 4293911 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13391/statm: 88861 39209 377 95 0 83843 0
[pid=13391/tid=13392] ppid=13389 vsize=355444 CPUtime=1.36 cores=1,3,5,7
/proc/13391/task/13392/stat : 13392 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 14333 0 0 0 131 5 0 0 19 0 4 0 651353872 363974656 39209 33554432000 4194304 4580107 140733965529520 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13391/tid=13393] ppid=13389 vsize=355444 CPUtime=1.47 cores=1,3,5,7
/proc/13391/task/13393/stat : 13393 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 14494 0 0 0 145 2 0 0 18 0 4 0 651353872 363974656 39209 33554432000 4194304 4580107 140733965529520 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13391/tid=13394] ppid=13389 vsize=355444 CPUtime=1.35 cores=1,3,5,7
/proc/13391/task/13394/stat : 13394 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 6971 0 0 0 134 1 0 0 19 0 4 0 651353872 363974656 39209 33554432000 4194304 4580107 140733965529520 18446744073709551615 4320813 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.67
Current children cumulated vsize (KiB) 355444

[startup+3.10099 s]
/proc/loadavg: 2.55 3.09 3.38 9/315 13395
/proc/meminfo: memFree=12064476/32950928 swapFree=67111348/67111528
[pid=13391] ppid=13389 vsize=486708 CPUtime=12.05 cores=1,3,5,7
/proc/13391/stat : 13391 (strangenight2-m) R 13389 13391 13350 0 -1 4202496 53447 0 0 0 1189 16 0 0 23 0 4 0 651353871 498388992 42991 33554432000 4194304 4580107 140733965529520 18446744073709551615 4317260 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13391/statm: 121677 42991 377 95 0 116659 0
[pid=13391/tid=13392] ppid=13389 vsize=486708 CPUtime=2.95 cores=1,3,5,7
/proc/13391/task/13392/stat : 13392 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 15335 0 0 0 290 5 0 0 22 0 4 0 651353872 498388992 42991 33554432000 4194304 4580107 140733965529520 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13391/tid=13393] ppid=13389 vsize=486708 CPUtime=3.08 cores=1,3,5,7
/proc/13391/task/13393/stat : 13393 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 15425 0 0 0 305 3 0 0 22 0 4 0 651353872 498388992 42992 33554432000 4194304 4580107 140733965529520 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13391/tid=13394] ppid=13389 vsize=486708 CPUtime=2.95 cores=1,3,5,7
/proc/13391/task/13394/stat : 13394 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 7857 0 0 0 293 2 0 0 23 0 4 0 651353872 498388992 42992 33554432000 4194304 4580107 140733965529520 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.05
Current children cumulated vsize (KiB) 486708

[startup+6.30043 s]
/proc/loadavg: 2.99 3.17 3.41 9/315 13395
/proc/meminfo: memFree=12043528/32950928 swapFree=67111348/67111528
[pid=13391] ppid=13389 vsize=486708 CPUtime=24.82 cores=1,3,5,7
/proc/13391/stat : 13391 (strangenight2-m) R 13389 13391 13350 0 -1 4202496 60315 0 0 0 2464 18 0 0 25 0 4 0 651353871 498388992 49859 33554432000 4194304 4580107 140733965529520 18446744073709551615 4293781 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13391/statm: 121677 49861 377 95 0 116659 0
[pid=13391/tid=13392] ppid=13389 vsize=486708 CPUtime=6.11 cores=1,3,5,7
/proc/13391/task/13392/stat : 13392 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 17048 0 0 0 606 5 0 0 25 0 4 0 651353872 498388992 49861 33554432000 4194304 4580107 140733965529520 18446744073709551615 4325643 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13391/tid=13393] ppid=13389 vsize=486708 CPUtime=6.28 cores=1,3,5,7
/proc/13391/task/13393/stat : 13393 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 17075 0 0 0 625 3 0 0 25 0 4 0 651353872 498388992 49861 33554432000 4194304 4580107 140733965529520 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13391/tid=13394] ppid=13389 vsize=486708 CPUtime=6.15 cores=1,3,5,7
/proc/13391/task/13394/stat : 13394 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 9538 0 0 0 613 2 0 0 25 0 4 0 651353872 498388992 49861 33554432000 4194304 4580107 140733965529520 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.82
Current children cumulated vsize (KiB) 486708

[startup+12.7003 s]
/proc/loadavg: 3.39 3.25 3.43 9/315 13395
/proc/meminfo: memFree=11891304/32950928 swapFree=67111348/67111528
[pid=13391] ppid=13389 vsize=385956 CPUtime=50.35 cores=1,3,5,7
/proc/13391/stat : 13391 (strangenight2-m) R 13389 13391 13350 0 -1 4202496 79906 0 0 0 5012 23 0 0 25 0 4 0 651353871 395218944 45163 33554432000 4194304 4580107 140733965529520 18446744073709551615 4293182 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13391/statm: 96489 45163 378 95 0 91471 0
[pid=13391/tid=13392] ppid=13389 vsize=385956 CPUtime=12.45 cores=1,3,5,7
/proc/13391/task/13392/stat : 13392 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 21843 0 0 0 1238 7 0 0 25 0 4 0 651353872 395218944 45163 33554432000 4194304 4580107 140733965529520 18446744073709551615 4318708 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13391/tid=13393] ppid=13389 vsize=385956 CPUtime=12.68 cores=1,3,5,7
/proc/13391/task/13393/stat : 13393 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 22062 0 0 0 1263 5 0 0 25 0 4 0 651353872 395218944 45163 33554432000 4194304 4580107 140733965529520 18446744073709551615 4301924 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13391/tid=13394] ppid=13389 vsize=385956 CPUtime=12.55 cores=1,3,5,7
/proc/13391/task/13394/stat : 13394 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 14304 0 0 0 1252 3 0 0 25 0 4 0 651353872 395218944 45163 33554432000 4194304 4580107 140733965529520 18446744073709551615 235594564222 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.35
Current children cumulated vsize (KiB) 385956

[startup+25.5011 s]
/proc/loadavg: 4.48 3.50 3.51 9/315 13395
/proc/meminfo: memFree=11587208/32950928 swapFree=67111348/67111528
[pid=13391] ppid=13389 vsize=607164 CPUtime=101.44 cores=1,3,5,7
/proc/13391/stat : 13391 (strangenight2-m) R 13389 13391 13350 0 -1 4202496 168093 0 0 0 10099 45 0 0 25 0 4 0 651353871 621735936 98152 33554432000 4194304 4580107 140733965529520 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13391/statm: 151791 98152 379 95 0 146773 0
[pid=13391/tid=13392] ppid=13389 vsize=607164 CPUtime=25.13 cores=1,3,5,7
/proc/13391/task/13392/stat : 13392 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 58781 0 0 0 2496 17 0 0 25 0 4 0 651353872 621735936 98159 33554432000 4194304 4580107 140733965529520 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13391/tid=13393] ppid=13389 vsize=607164 CPUtime=25.48 cores=1,3,5,7
/proc/13391/task/13393/stat : 13393 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 37411 0 0 0 2540 8 0 0 25 0 4 0 651353872 621735936 98159 33554432000 4194304 4580107 140733965529520 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13391/tid=13394] ppid=13389 vsize=607164 CPUtime=25.36 cores=1,3,5,7
/proc/13391/task/13394/stat : 13394 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 22788 0 0 0 2530 6 0 0 25 0 4 0 651353872 621735936 98159 33554432000 4194304 4580107 140733965529520 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.44
Current children cumulated vsize (KiB) 607164

[startup+51.1006 s]
/proc/loadavg: 5.68 3.86 3.63 9/315 13396
/proc/meminfo: memFree=11301680/32950928 swapFree=67111348/67111528
[pid=13391] ppid=13389 vsize=762552 CPUtime=203.55 cores=1,3,5,7
/proc/13391/stat : 13391 (strangenight2-m) R 13389 13391 13350 0 -1 4202496 254291 0 0 0 20288 67 0 0 25 0 4 0 651353871 780853248 131128 33554432000 4194304 4580107 140733965529520 18446744073709551615 4318435 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13391/statm: 190638 131130 379 95 0 185620 0
[pid=13391/tid=13392] ppid=13389 vsize=762552 CPUtime=50.45 cores=1,3,5,7
/proc/13391/task/13392/stat : 13392 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 73598 0 0 0 5024 21 0 0 25 0 4 0 651353872 780853248 131130 33554432000 4194304 4580107 140733965529520 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13391/tid=13393] ppid=13389 vsize=762552 CPUtime=51.07 cores=1,3,5,7
/proc/13391/task/13393/stat : 13393 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 59368 0 0 0 5093 14 0 0 25 0 4 0 651353872 780853248 131130 33554432000 4194304 4580107 140733965529520 18446744073709551615 4397417 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13391/tid=13394] ppid=13389 vsize=762552 CPUtime=50.94 cores=1,3,5,7
/proc/13391/task/13394/stat : 13394 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 51377 0 0 0 5082 12 0 0 25 0 4 0 651353872 780853248 131130 33554432000 4194304 4580107 140733965529520 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.55
Current children cumulated vsize (KiB) 762552

[startup+102.301 s]
/proc/loadavg: 7.12 4.53 3.87 9/315 13398
/proc/meminfo: memFree=10982968/32950928 swapFree=67111348/67111528
[pid=13391] ppid=13389 vsize=1087172 CPUtime=407.84 cores=1,3,5,7
/proc/13391/stat : 13391 (strangenight2-m) R 13389 13391 13350 0 -1 4202496 380124 0 0 0 40684 100 0 0 25 0 4 0 651353871 1113264128 189887 33554432000 4194304 4580107 140733965529520 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13391/statm: 271793 189888 379 95 0 266775 0
[pid=13391/tid=13392] ppid=13389 vsize=1087172 CPUtime=101.16 cores=1,3,5,7
/proc/13391/task/13392/stat : 13392 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 101686 0 0 0 10086 30 0 0 25 0 4 0 651353872 1113264128 189888 33554432000 4194304 4580107 140733965529520 18446744073709551615 4320786 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13391/tid=13393] ppid=13389 vsize=1087172 CPUtime=102.27 cores=1,3,5,7
/proc/13391/task/13393/stat : 13393 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 83466 0 0 0 10205 22 0 0 25 0 4 0 651353872 1113264128 189888 33554432000 4194304 4580107 140733965529520 18446744073709551615 4293778 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13391/tid=13394] ppid=13389 vsize=1087172 CPUtime=102.13 cores=1,3,5,7
/proc/13391/task/13394/stat : 13394 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 84683 0 0 0 10193 20 0 0 25 0 4 0 651353872 1113264128 189888 33554432000 4194304 4580107 140733965529520 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 407.84
Current children cumulated vsize (KiB) 1087172

[startup+162.301 s]

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

[pid=13391] ppid=13389 vsize=1480900 CPUtime=2801.77 cores=1,3,5,7
/proc/13391/stat : 13391 (strangenight2-m) R 13389 13391 13350 0 -1 4202496 1410109 0 0 0 279731 446 0 0 25 0 4 0 651353871 1516441600 296823 33554432000 4194304 4580107 140733965529520 18446744073709551615 4324533 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13391/statm: 370225 296823 379 95 0 365207 0
[pid=13391/tid=13392] ppid=13389 vsize=1480900 CPUtime=695.14 cores=1,3,5,7
/proc/13391/task/13392/stat : 13392 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 351849 0 0 0 69397 117 0 0 25 0 4 0 651353872 1516441600 296823 33554432000 4194304 4580107 140733965529520 18446744073709551615 4318708 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13391/tid=13393] ppid=13389 vsize=1480900 CPUtime=702.25 cores=1,3,5,7
/proc/13391/task/13393/stat : 13393 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 326102 0 0 0 70117 108 0 0 25 0 4 0 651353872 1516441600 296823 33554432000 4194304 4580107 140733965529520 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13391/tid=13394] ppid=13389 vsize=1480900 CPUtime=702.12 cores=1,3,5,7
/proc/13391/task/13394/stat : 13394 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 368351 0 0 0 70103 109 0 0 25 0 4 0 651353872 1516441600 296824 33554432000 4194304 4580107 140733965529520 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2801.77
Current children cumulated vsize (KiB) 1480900

[startup+762.3 s]
/proc/loadavg: 8.10 7.71 6.01 9/315 13415
/proc/meminfo: memFree=10047304/32950928 swapFree=67111348/67111528
[pid=13391] ppid=13389 vsize=1609256 CPUtime=3041.17 cores=1,3,5,7
/proc/13391/stat : 13391 (strangenight2-m) R 13389 13391 13350 0 -1 4202496 1511325 0 0 0 303636 481 0 0 25 0 4 0 651353871 1647878144 323574 33554432000 4194304 4580107 140733965529520 18446744073709551615 4317040 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13391/statm: 402314 323574 406 95 0 397296 0
[pid=13391/tid=13392] ppid=13389 vsize=1609256 CPUtime=754.53 cores=1,3,5,7
/proc/13391/task/13392/stat : 13392 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 387450 0 0 0 75326 127 0 0 25 0 4 0 651353872 1647878144 323574 33554432000 4194304 4580107 140733965529520 18446744073709551615 4451900 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13391/tid=13393] ppid=13389 vsize=1609256 CPUtime=762.24 cores=1,3,5,7
/proc/13391/task/13393/stat : 13393 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 345034 0 0 0 76110 114 0 0 25 0 4 0 651353872 1647878144 323574 33554432000 4194304 4580107 140733965529520 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13391/tid=13394] ppid=13389 vsize=1609256 CPUtime=762.12 cores=1,3,5,7
/proc/13391/task/13394/stat : 13394 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 391302 0 0 0 76095 117 0 0 25 0 4 0 651353872 1647878144 323574 33554432000 4194304 4580107 140733965529520 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3041.17
Current children cumulated vsize (KiB) 1609256

[startup+822.301 s]
/proc/loadavg: 8.13 7.79 6.14 9/315 13417
/proc/meminfo: memFree=10061044/32950928 swapFree=67111348/67111528
[pid=13391] ppid=13389 vsize=1575364 CPUtime=3280.55 cores=1,3,5,7
/proc/13391/stat : 13391 (strangenight2-m) R 13389 13391 13350 0 -1 4202496 1599712 0 0 0 327545 510 0 0 25 0 4 0 651353871 1613172736 327222 33554432000 4194304 4580107 140733965529520 18446744073709551615 4318737 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13391/statm: 393841 327222 379 95 0 388823 0
[pid=13391/tid=13392] ppid=13389 vsize=1575364 CPUtime=813.94 cores=1,3,5,7
/proc/13391/task/13392/stat : 13392 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 408353 0 0 0 81260 134 0 0 25 0 4 0 651353872 1613172736 327222 33554432000 4194304 4580107 140733965529520 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13391/tid=13393] ppid=13389 vsize=1575364 CPUtime=822.24 cores=1,3,5,7
/proc/13391/task/13393/stat : 13393 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 370144 0 0 0 82103 121 0 0 25 0 4 0 651353872 1613172736 327223 33554432000 4194304 4580107 140733965529520 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13391/tid=13394] ppid=13389 vsize=1575364 CPUtime=822.12 cores=1,3,5,7
/proc/13391/task/13394/stat : 13394 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 414512 0 0 0 82086 126 0 0 25 0 4 0 651353872 1613172736 327223 33554432000 4194304 4580107 140733965529520 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3280.55
Current children cumulated vsize (KiB) 1575364

[startup+882.3 s]
/proc/loadavg: 8.18 7.85 6.27 9/315 13418
/proc/meminfo: memFree=9703880/32950928 swapFree=67111348/67111528
[pid=13391] ppid=13389 vsize=1601344 CPUtime=3519.95 cores=1,3,5,7
/proc/13391/stat : 13391 (strangenight2-m) R 13389 13391 13350 0 -1 4202496 1696322 0 0 0 351446 549 0 0 25 0 4 0 651353871 1639776256 339583 33554432000 4194304 4580107 140733965529520 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13391/statm: 400336 339583 379 95 0 395318 0
[pid=13391/tid=13392] ppid=13389 vsize=1601344 CPUtime=873.34 cores=1,3,5,7
/proc/13391/task/13392/stat : 13392 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 433202 0 0 0 87190 144 0 0 25 0 4 0 651353872 1639776256 339583 33554432000 4194304 4580107 140733965529520 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13391/tid=13393] ppid=13389 vsize=1601344 CPUtime=882.23 cores=1,3,5,7
/proc/13391/task/13393/stat : 13393 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 391521 0 0 0 88094 129 0 0 25 0 4 0 651353872 1639776256 339583 33554432000 4194304 4580107 140733965529520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13391/tid=13394] ppid=13389 vsize=1601344 CPUtime=882.12 cores=1,3,5,7
/proc/13391/task/13394/stat : 13394 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 441227 0 0 0 88075 137 0 0 25 0 4 0 651353872 1639776256 339583 33554432000 4194304 4580107 140733965529520 18446744073709551615 4293685 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3519.95
Current children cumulated vsize (KiB) 1601344

[startup+942.301 s]
/proc/loadavg: 8.23 7.92 6.39 9/315 13420
/proc/meminfo: memFree=9681544/32950928 swapFree=67111348/67111528
[pid=13391] ppid=13389 vsize=1662020 CPUtime=3759.34 cores=1,3,5,7
/proc/13391/stat : 13391 (strangenight2-m) R 13389 13391 13350 0 -1 4202496 1787113 0 0 0 375351 583 0 0 25 0 4 0 651353871 1701908480 348248 33554432000 4194304 4580107 140733965529520 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13391/statm: 415505 348248 379 95 0 410487 0
[pid=13391/tid=13392] ppid=13389 vsize=1662020 CPUtime=932.73 cores=1,3,5,7
/proc/13391/task/13392/stat : 13392 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 455931 0 0 0 93122 151 0 0 25 0 4 0 651353872 1701908480 348248 33554432000 4194304 4580107 140733965529520 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13391/tid=13393] ppid=13389 vsize=1662020 CPUtime=942.23 cores=1,3,5,7
/proc/13391/task/13393/stat : 13393 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 412461 0 0 0 94086 137 0 0 25 0 4 0 651353872 1701908480 348248 33554432000 4194304 4580107 140733965529520 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13391/tid=13394] ppid=13389 vsize=1662020 CPUtime=942.11 cores=1,3,5,7
/proc/13391/task/13394/stat : 13394 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 466647 0 0 0 94066 145 0 0 25 0 4 0 651353872 1701908480 348248 33554432000 4194304 4580107 140733965529520 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3759.34
Current children cumulated vsize (KiB) 1662020

[startup+1002.3 s]
/proc/loadavg: 8.15 7.95 6.49 9/315 13422
/proc/meminfo: memFree=9720696/32950928 swapFree=67111348/67111528
[pid=13391] ppid=13389 vsize=1692884 CPUtime=3998.75 cores=1,3,5,7
/proc/13391/stat : 13391 (strangenight2-m) R 13389 13391 13350 0 -1 4202496 1878356 0 0 0 399258 617 0 0 25 0 4 0 651353871 1733513216 345938 33554432000 4194304 4580107 140733965529520 18446744073709551615 4293198 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13391/statm: 423221 345938 379 95 0 418203 0
[pid=13391/tid=13392] ppid=13389 vsize=1692884 CPUtime=992.13 cores=1,3,5,7
/proc/13391/task/13392/stat : 13392 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 480194 0 0 0 99053 160 0 0 25 0 4 0 651353872 1733513216 345948 33554432000 4194304 4580107 140733965529520 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13391/tid=13393] ppid=13389 vsize=1692884 CPUtime=1002.23 cores=1,3,5,7
/proc/13391/task/13393/stat : 13393 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 434771 0 0 0 100078 145 0 0 25 0 4 0 651353872 1733513216 345948 33554432000 4194304 4580107 140733965529520 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13391/tid=13394] ppid=13389 vsize=1692884 CPUtime=1002.13 cores=1,3,5,7
/proc/13391/task/13394/stat : 13394 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 489024 0 0 0 100059 154 0 0 25 0 4 0 651353872 1733513216 345948 33554432000 4194304 4580107 140733965529520 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3998.75
Current children cumulated vsize (KiB) 1692884

[startup+1062.3 s]
/proc/loadavg: 8.12 7.97 6.59 9/315 13423
/proc/meminfo: memFree=9683468/32950928 swapFree=67111348/67111528
[pid=13391] ppid=13389 vsize=1693976 CPUtime=4238.12 cores=1,3,5,7
/proc/13391/stat : 13391 (strangenight2-m) R 13389 13391 13350 0 -1 4202496 1967009 0 0 0 423163 649 0 0 25 0 4 0 651353871 1734631424 357122 33554432000 4194304 4580107 140733965529520 18446744073709551615 4294504 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13391/statm: 423494 357122 379 95 0 418476 0
[pid=13391/tid=13392] ppid=13389 vsize=1693976 CPUtime=1051.52 cores=1,3,5,7
/proc/13391/task/13392/stat : 13392 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 502391 0 0 0 104984 168 0 0 25 0 4 0 651353872 1734631424 357122 33554432000 4194304 4580107 140733965529520 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13391/tid=13393] ppid=13389 vsize=1693976 CPUtime=1062.22 cores=1,3,5,7
/proc/13391/task/13393/stat : 13393 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 455342 0 0 0 106070 152 0 0 25 0 4 0 651353872 1734631424 357122 33554432000 4194304 4580107 140733965529520 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13391/tid=13394] ppid=13389 vsize=1693976 CPUtime=1062.12 cores=1,3,5,7
/proc/13391/task/13394/stat : 13394 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 513811 0 0 0 106048 164 0 0 25 0 4 0 651353872 1734631424 357122 33554432000 4194304 4580107 140733965529520 18446744073709551615 4295739 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4238.12
Current children cumulated vsize (KiB) 1693976

[startup+1122.31 s]
/proc/loadavg: 8.14 8.00 6.68 9/315 13425
/proc/meminfo: memFree=9501284/32950928 swapFree=67111348/67111528
[pid=13391] ppid=13389 vsize=1776244 CPUtime=4477.55 cores=1,3,5,7
/proc/13391/stat : 13391 (strangenight2-m) R 13389 13391 13350 0 -1 4202496 2048813 0 0 0 447072 683 0 0 25 0 4 0 651353871 1818873856 367185 33554432000 4194304 4580107 140733965529520 18446744073709551615 4318708 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13391/statm: 444061 367185 379 95 0 439043 0
[pid=13391/tid=13392] ppid=13389 vsize=1776244 CPUtime=1110.93 cores=1,3,5,7
/proc/13391/task/13392/stat : 13392 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 524504 0 0 0 110916 177 0 0 25 0 4 0 651353872 1818873856 367185 33554432000 4194304 4580107 140733965529520 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13391/tid=13393] ppid=13389 vsize=1776244 CPUtime=1122.22 cores=1,3,5,7
/proc/13391/task/13393/stat : 13393 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 473628 0 0 0 112063 159 0 0 25 0 4 0 651353872 1818873856 367185 33554432000 4194304 4580107 140733965529520 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13391/tid=13394] ppid=13389 vsize=1776244 CPUtime=1122.12 cores=1,3,5,7
/proc/13391/task/13394/stat : 13394 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 532159 0 0 0 112041 171 0 0 25 0 4 0 651353872 1818873856 367185 33554432000 4194304 4580107 140733965529520 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4477.55
Current children cumulated vsize (KiB) 1776244

[startup+1182.3 s]
/proc/loadavg: 8.11 8.02 6.77 9/315 13426
/proc/meminfo: memFree=9562148/32950928 swapFree=67111348/67111528
[pid=13391] ppid=13389 vsize=1664424 CPUtime=4716.9 cores=1,3,5,7
/proc/13391/stat : 13391 (strangenight2-m) R 13389 13391 13350 0 -1 4202496 2131184 0 0 0 470978 712 0 0 25 0 4 0 651353871 1704370176 345214 33554432000 4194304 4580107 140733965529520 18446744073709551615 4293131 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13391/statm: 416106 345214 379 95 0 411088 0
[pid=13391/tid=13392] ppid=13389 vsize=1664424 CPUtime=1170.32 cores=1,3,5,7
/proc/13391/task/13392/stat : 13392 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 545903 0 0 0 116845 187 0 0 25 0 4 0 651353872 1704370176 345214 33554432000 4194304 4580107 140733965529520 18446744073709551615 4292941 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13391/tid=13393] ppid=13389 vsize=1664424 CPUtime=1182.2 cores=1,3,5,7
/proc/13391/task/13393/stat : 13393 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 493868 0 0 0 118055 165 0 0 25 0 4 0 651353872 1704370176 345214 33554432000 4194304 4580107 140733965529520 18446744073709551615 4295894 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13391/tid=13394] ppid=13389 vsize=1664424 CPUtime=1182.1 cores=1,3,5,7
/proc/13391/task/13394/stat : 13394 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 554373 0 0 0 118032 178 0 0 25 0 4 0 651353872 1704370176 345214 33554432000 4194304 4580107 140733965529520 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4716.9
Current children cumulated vsize (KiB) 1664424



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.2 s]
/proc/loadavg: 8.14 8.03 6.81 6/313 13428
/proc/meminfo: memFree=10568136/32950928 swapFree=67111348/67111528
[pid=13391] ppid=13389 vsize=1744416 CPUtime=4800.31 cores=1,3,5,7
/proc/13391/stat : 13391 (strangenight2-m) R 13389 13391 13350 0 -1 4202496 2166653 0 0 0 479309 722 0 0 25 0 4 0 651353871 1786281984 380402 33554432000 4194304 4580107 140733965529520 18446744073709551615 4305975 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13391/statm: 436104 380402 379 95 0 431086 0
[pid=13391/tid=13392] ppid=13389 vsize=1744416 CPUtime=1191.01 cores=1,3,5,7
/proc/13391/task/13392/stat : 13392 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 553954 0 0 0 118912 189 0 0 25 0 4 0 651353872 1786281984 380411 33554432000 4194304 4580107 140733965529520 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13391/tid=13393] ppid=13389 vsize=1744416 CPUtime=1203.11 cores=1,3,5,7
/proc/13391/task/13393/stat : 13393 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 505991 0 0 0 120144 167 0 0 25 0 4 0 651353872 1786281984 380411 33554432000 4194304 4580107 140733965529520 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13391/tid=13394] ppid=13389 vsize=1744416 CPUtime=1203.02 cores=1,3,5,7
/proc/13391/task/13394/stat : 13394 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 561999 0 0 0 120121 181 0 0 25 0 4 0 651353872 1786281984 380411 33554432000 4194304 4580107 140733965529520 18446744073709551615 4293151 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 1744416

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

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

[startup+1203.2 s]
/proc/loadavg: 8.14 8.03 6.81 6/313 13428
/proc/meminfo: memFree=10568136/32950928 swapFree=67111348/67111528
[pid=13391] ppid=13389 vsize=1744416 CPUtime=4800.31 cores=1,3,5,7
/proc/13391/stat : 13391 (strangenight2-m) R 13389 13391 13350 0 -1 4202496 2166653 0 0 0 479309 722 0 0 25 0 4 0 651353871 1786281984 380402 33554432000 4194304 4580107 140733965529520 18446744073709551615 4305975 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13391/statm: 436104 380402 379 95 0 431086 0
[pid=13391/tid=13392] ppid=13389 vsize=1744416 CPUtime=1191.01 cores=1,3,5,7
/proc/13391/task/13392/stat : 13392 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 553954 0 0 0 118912 189 0 0 25 0 4 0 651353872 1786281984 380411 33554432000 4194304 4580107 140733965529520 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13391/tid=13393] ppid=13389 vsize=1744416 CPUtime=1203.11 cores=1,3,5,7
/proc/13391/task/13393/stat : 13393 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 505991 0 0 0 120144 167 0 0 25 0 4 0 651353872 1786281984 380411 33554432000 4194304 4580107 140733965529520 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13391/tid=13394] ppid=13389 vsize=1744416 CPUtime=1203.02 cores=1,3,5,7
/proc/13391/task/13394/stat : 13394 (strangenight2-m) R 13389 13391 13350 0 -1 4202560 561999 0 0 0 120121 181 0 0 25 0 4 0 651353872 1786281984 380411 33554432000 4194304 4580107 140733965529520 18446744073709551615 4293151 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 1744416

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.28
CPU time (s): 4800.42
CPU user time (s): 4793.13
CPU system time (s): 7.28689
CPU usage (%): 398.944
Max. virtual memory (cumulated for all children) (KiB): 1776560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.13
system time used= 7.28689
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2166668
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= 8150
involuntary context switches= 33697

runsolver used 3.42948 second user time and 8.62869 second system time

The end

Launcher Data 

Begin job on node120 at 2011-05-14 20:25:51
IDJOB=3366163
IDBENCH=82572
IDSOLVER=1844
FILE ID=node120/3366163-1305397551
RUNJOBID= node120-1305397551-13369
PBS_JOBID= 13324463
Free space on /tmp= 73500 MiB

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

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

MD5SUM BENCH= e27af9a147b2d7c0283d090128805575
RANDOM SEED=1672627681

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      12323692 kB
Buffers:        253076 kB
Cached:        3578980 kB
SwapCached:          0 kB
Active:       17363244 kB
Inactive:      2973692 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      12323692 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           15120 kB
Writeback:          44 kB
AnonPages:    16504780 kB
Mapped:          24432 kB
Slab:           175696 kB
PageTables:      48804 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 51601268 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= 73500 MiB
End job on node120 at 2011-05-14 20:45:56