Trace number 3366237

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.59

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v20000-c84000-S1298436766-097-UNKNOWN.cnf
MD5SUM28b704f4b0f31dccf5e0c8fedfb14daa
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark60.2658
Satisfiable
(Un)Satisfiability was proved
Number of variables20000
Number of clauses84000
Sum of the clauses size252000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 384000
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.01	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-3366237-1305399515.cnf'
0.00/0.01	c -- header says num vars:          20000
0.00/0.01	c -- header says num clauses:       84000
0.00/0.17	c -- clauses added:            0 learnts,        84000 normals,            0 xors
0.00/0.17	c -- vars added      20000
0.00/0.17	c Parsing time:  0.05 s
0.00/0.17	c  N st     0         0     20000     84000         0         0    252000         0   no data   no data
0.00/0.17	c asymm  cl-useful: 0/84000/84000 lits-rem:0 time: 0.07
0.00/0.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
0.75/0.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.75/0.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.75/0.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.75/0.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20000 time:  0.00 s
0.75/0.24	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.01 s
3.96/1.03	c lits-rem:         0  cl-subs:        0  v-elim:    466  v-fix:    0  time:  0.13 s
3.96/1.03	c Finding binary XORs  T:     0.00 s  found:       0
3.96/1.03	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
3.96/1.03	c calculated reachability. Time: 0.00
3.96/1.03	c Calc default polars -  time:   0.01 s pos:    8851 undec:    2207 neg:    8942
3.96/1.03	c =========================================================================================
3.96/1.03	c types(t): F = full restart, N = normal restart
3.96/1.03	c types(t): S = simplification begin/end, E = solution found
3.96/1.03	c restart types(rt): st = static, dy = dynamic
3.96/1.03	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.96/1.03	c  B st     0         0     19534     83430         0         0    253068         0   no data   no data
5.94/1.51	c  N dy    20      4071     19534     83430         0      4071    253068    925911    114.87    125.34
10.32/2.65	c  N dy    50      8109     19534     83430         0      8108    253068   1735006    124.40    134.65
15.11/3.87	c  N dy    82     12202     19534     83430         0     12200    253068   2556593    127.45    135.17
20.31/5.12	c  N dy   111     16263     19534     83430         0     16259    253068   3393842    128.39    135.47
25.09/6.36	c  N dy   135     20274     19534     83430         0     10273    253068    602098    128.04    135.32
29.87/7.56	c  N dy   165     24312     19534     83430         0     14311    253068   1396851    127.95    134.71
30.69/7.78	c  F st   170     25000     19534     83430         0     14999    253068   1532585    128.11    128.07
37.05/9.38	c  N dy   176     30001     19534     83430         0     20000    253068   2813813    128.11   no data
37.05/9.38	c  S st   176     30001     19534     83430         0     20000    253068   2813813    128.11   no data
37.85/9.54	c  S st   176     30508     19534     83430         0     20507    253068   2886451    128.11   no data
37.85/9.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
38.25/9.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.05
38.25/9.63	c blocked clauses removed:      306 vars:     51 tried:       19534 T: 0.01 s
38.25/9.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
38.25/9.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
38.25/9.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19483 time:  0.01 s
38.25/9.65	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
38.65/9.73	c lits-rem:         0  cl-subs:        0  v-elim:     11  v-fix:    0  time:  0.08 s
39.47/9.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
42.63/10.70	c lits-rem:         6  cl-subs:        6  v-elim:      0  v-fix:    0  time:  0.74 s
43.04/10.80	c asymm  cl-useful: 0/83113/83113 lits-rem:0 time: 0.10
43.04/10.80	c calculated reachability. Time: 0.00
43.04/10.80	c  N dy   176     30508     19472     83113         0     20343    252184   2838617    128.11   no data
48.24/12.15	c  N dy   207     34553     19472     83113         0     24388    252184   3698371    129.47    145.14
54.20/13.62	c  N dy   234     38680     19472     83113         0     28514    252184   4562275    130.09    137.91
59.79/15.02	c  N dy   260     42721     19472     83113         0     17136    252184   1008727    130.04    144.67
63.78/16.00	c  S st   284     45763     19472     83113         0     20178    252184   1641077    130.44   no data
64.18/16.17	c  S st   284     46264     19472     83113         0     20679    252184   1715787    130.44   no data
64.18/16.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
64.58/16.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.05
64.58/16.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
64.58/16.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
64.58/16.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
64.58/16.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19472 time:  0.01 s
64.58/16.28	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
64.97/16.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
65.38/16.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
66.21/16.68	c lits-rem:        14  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.22 s
66.21/16.69	c vivif2 --  cl tried    83113 cl shrink        0 lits rem          0 time: 0.01
66.56/16.72	c vivif2 --  cl tried    20678 cl shrink        0 lits rem          0 time: 0.03
66.96/16.82	c asymm  cl-useful: 0/83113/83113 lits-rem:0 time: 0.10
66.96/16.82	c calculated reachability. Time: 0.00
66.96/16.83	c  N dy   284     46264     19472     83113         0     20678    252184   1715225    130.44   no data
72.15/18.13	c  N dy   308     50302     19472     83113         0     24716    252184   2525560    130.10    137.08
77.74/19.51	c  N dy   336     54368     19472     83113         0     28782    252184   3393058    130.63    140.95
83.34/20.93	c  N dy   367     58387     19472     83113         0     32801    252184   4241342    130.76    138.04
88.90/22.34	c  N dy   395     62453     19472     83113         0     36866    252184   5065525    130.75    138.41
94.49/23.71	c  N dy   422     66496     19472     83113         0     22202    252184   1391418    130.64    138.71
98.08/24.68	c  S st   441     69397     19472     83113         0     25103    252184   1994914    130.57    122.51
98.88/24.85	c  S st   441     69902     19472     83113         0     25608    252184   2079262    130.57   no data
98.88/24.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
99.28/24.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.06
99.28/24.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
99.28/24.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
99.28/24.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
99.28/24.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19472 time:  0.00 s
99.28/24.96	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
99.68/25.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
100.07/25.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
101.66/25.53	c lits-rem:         2  cl-subs:        3  v-elim:      0  v-fix:    0  time:  0.36 s
101.66/25.54	c vivif2 --  cl tried    83113 cl shrink        0 lits rem          0 time: 0.01
101.66/25.57	c vivif2 --  cl tried    25605 cl shrink        0 lits rem          0 time: 0.03
102.06/25.68	c asymm  cl-useful: 0/83113/83113 lits-rem:0 time: 0.11
102.06/25.68	c calculated reachability. Time: 0.00
102.06/25.68	c  N dy   441     69902     19472     83113         0     25605    252184   2078245    130.57   no data
108.45/27.25	c  N dy   470     74442     19472     83113         0     30145    252184   3027332    130.67    151.63
115.22/28.96	c  N dy   505     79267     19472     83113         0     34970    252184   4031767    130.87    137.91
122.40/30.80	c  N dy   542     84378     19472     83113         0     40081    252184   5109097    130.98    143.95
127.21/31.97	c  F st   564     87500     19472     83113         0     22352    252184    931408    130.96   no data
132.02/33.12	c  N st   569     90798     19472     83113         0     25650    252184   1797099    130.96   no data
139.56/35.09	c  N dy   597     96596     19472     83113         0     31448    252184   3092493    130.84    138.09
148.74/37.33	c  N dy   639    102926     19472     83113         0     37777    252184   4395919    130.65    138.35
151.53/38.04	c  S st   652    104854     19472     83113         0     39705    252184   4782154    130.56   no data
152.32/38.23	c  S st   652    105357     19472     83113         0     40208    252184   4853743    130.56   no data
152.32/38.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
152.72/38.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.07
152.72/38.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
152.72/38.34	c bin-w-bin subsume rem            0 bins  time:  0.01 s
152.72/38.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
152.72/38.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19472 time:  0.01 s
152.72/38.36	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
153.12/38.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
154.31/38.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
159.90/40.16	c lits-rem:         4  cl-subs:        7  v-elim:      0  v-fix:    0  time:  1.44 s
159.90/40.17	c vivif2 --  cl tried    83113 cl shrink        0 lits rem          0 time: 0.01
160.30/40.25	c vivif2 --  cl tried    40201 cl shrink        0 lits rem          0 time: 0.07
160.70/40.38	c asymm  cl-useful: 0/83113/83113 lits-rem:0 time: 0.13
160.70/40.38	c calculated reachability. Time: 0.00
160.70/40.38	c  N dy   652    105357     19472     83113         0     40201    252184   4850973    130.56   no data
170.67/42.86	c  N dy   695    112095     19472     83113         0     24510    252184   1014975    130.57    138.63
181.04/45.45	c  N dy   743    119639     19472     83113         0     32053    252184   2567747    130.42    141.40
192.21/48.29	c  N dy   794    127376     19472     83113         0     39789    252184   4158970    130.36    139.11
204.57/51.39	c  N dy   845    135659     19472     83113         0     24357    252184    672706    130.28    137.70
216.53/54.37	c  N dy   905    144345     19472     83113         0     33042    252184   2452287    130.28    152.57
230.10/57.73	c  N dy   963    153594     19472     83113         0     42291    252184   4382593    130.43    150.62
236.49/59.38	c  S st   990    158035     19472     83113         0     46731    252184   5281618    130.37    127.45
237.68/59.60	c  S st   990    158539     19472     83113         0     47235    252184   5368918    130.37   no data
237.68/59.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
237.68/59.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.07
238.08/59.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
238.08/59.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
238.08/59.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
238.08/59.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19472 time:  0.01 s
238.08/59.73	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
238.48/59.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
239.68/60.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
247.65/62.14	c lits-rem:         3  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.01 s
247.65/62.15	c vivif2 --  cl tried    83113 cl shrink        0 lits rem          0 time: 0.01
248.05/62.23	c vivif2 --  cl tried    47232 cl shrink        0 lits rem          0 time: 0.08
248.45/62.37	c asymm  cl-useful: 0/83113/83113 lits-rem:0 time: 0.14
248.45/62.38	c calculated reachability. Time: 0.00
248.45/62.38	c  N dy   990    158539     19472     83113         0     47232    252184   5368472    130.37   no data
263.24/66.01	c  N dy  1059    168701     19472     83113         0     32540    252184   2088672    130.33    137.21
278.77/69.96	c  N dy  1130    179527     19472     83113         0     43364    252184   4332442    130.29    153.14
296.32/74.34	c  N dy  1203    191242     19472     83113         0     29153    252184   1169589    130.21    141.43
313.87/78.70	c  N dy  1286    203460     19472     83113         0     41369    252184   3658191    130.21    137.87
333.86/83.75	c  N dy  1379    216555     19472     83113         0     27504    252184    599288    130.28    137.41
353.76/88.76	c  N dy  1474    230415     19472     83113         0     41364    252184   3442721    130.29    144.08
364.92/91.55	c  S st  1523    237808     19472     83113         0     48757    252184   4980066    130.30    126.14
365.72/91.75	c  S st  1523    238310     19472     83113         0     49259    252184   5054517    130.30   no data
365.72/91.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
366.12/91.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.07
366.12/91.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
366.12/91.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
366.12/91.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
366.12/91.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19472 time:  0.01 s
366.12/91.89	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
366.52/91.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
367.72/92.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
376.09/94.32	c lits-rem:         7  cl-subs:        5  v-elim:      0  v-fix:    0  time:  2.07 s
376.09/94.33	c vivif2 --  cl tried    83113 cl shrink        0 lits rem          0 time: 0.01
376.49/94.41	c vivif2 --  cl tried    49254 cl shrink        0 lits rem          0 time: 0.08
376.89/94.56	c asymm  cl-useful: 0/83113/83113 lits-rem:0 time: 0.14
376.89/94.56	c calculated reachability. Time: 0.00
376.89/94.56	c  N dy  1523    238310     19472     83113         0     49254    252184   5053304    130.30   no data
399.67/100.22	c  N dy  1611    253687     19472     83113         0     36652    252184   2214557    130.10    142.05
424.37/106.42	c  N dy  1721    270041     19472     83113         0     53005    252184   5650764    130.23    139.57
450.69/113.05	c  N dy  1840    287302     19472     83113         0     41275    252184   2982426    130.38    139.02
479.39/120.27	c  N dy  1968    305750     19472     83113         0     59722    252184   6804089    130.45    143.28
480.60/120.51	c  F st  1972    306251     19472     83113         0     30233    252184    504253    130.46    131.09
508.94/127.63	c  N dy  2074    325349     19472     83113         0     49330    252184   4754181    130.51    139.99
540.08/135.48	c  N dy  2217    345551     19472     83113         0     38532    252184   2022321    130.67    138.02
558.38/140.00	c  S st  2295    357468     19472     83113         0     50449    252184   4477258    130.66    135.61
559.18/140.20	c  S st  2295    357969     19472     83113         0     50950    252184   4548603    130.66   no data
559.18/140.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
559.18/140.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.07
559.58/140.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
559.58/140.32	c bin-w-bin subsume rem            0 bins  time:  0.01 s
559.58/140.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
559.58/140.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19472 time:  0.01 s
559.58/140.34	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
559.98/140.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
560.78/140.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
572.74/143.62	c lits-rem:         9  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.94 s
572.74/143.63	c vivif2 --  cl tried    83113 cl shrink        0 lits rem          0 time: 0.01
573.14/143.70	c vivif2 --  cl tried    50947 cl shrink        0 lits rem          0 time: 0.07
573.54/143.84	c asymm  cl-useful: 0/83113/83113 lits-rem:0 time: 0.14
573.54/143.85	c calculated reachability. Time: 0.00
573.54/143.85	c  N dy  2295    357969     19472     83113         0     50947    252184   4548143    130.66   no data
604.64/151.67	c  N dy  2421    378136     19472     83113         0     39111    252184   1918782    130.63    137.63
636.94/159.73	c  N dy  2553    398309     19472     83113         0     59280    252184   6082393    130.61    139.52
668.05/167.50	c  N dy  2686    418368     19472     83113         0     46343    252184   3236779    130.65    145.49
700.36/175.68	c  N dy  2825    438568     19472     83113         0     66543    252184   7430504    130.69    141.10
731.07/183.34	c  N dy  2954    458625     19472     83113         0     52601    252184   4325541    130.65    148.78
763.83/191.56	c  N dy  3085    478699     19472     83113         0     37678    252184    976486    130.63    140.21
794.88/199.32	c  N dy  3221    498735     19472     83113         0     57713    252184   5175793    130.70    139.24
827.19/207.47	c  N dy  3352    518802     19472     83113         0     41780    252184   1644687    130.68    156.41
855.53/214.60	c  S st  3471    536953     19472     83113         0     59931    252184   5407151    130.66   no data
856.70/214.82	c  S st  3471    537456     19472     83113         0     60434    252184   5481291    130.66   no data
856.70/214.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
857.10/214.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.08
857.10/214.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
857.10/214.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
857.10/214.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
857.10/214.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19472 time:  0.01 s
857.10/214.97	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
857.50/215.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
858.70/215.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
869.86/218.15	c lits-rem:         5  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.80 s
869.86/218.16	c vivif2 --  cl tried    83113 cl shrink        0 lits rem          0 time: 0.01
870.27/218.25	c vivif2 --  cl tried    60431 cl shrink        0 lits rem          0 time: 0.09
871.07/218.41	c asymm  cl-useful: 0/83113/83113 lits-rem:0 time: 0.16
871.07/218.41	c calculated reachability. Time: 0.00
871.07/218.41	c  N dy  3471    537456     19472     83113         0     60431    252184   5480245    130.66   no data
904.21/226.71	c  N dy  3613    557548     19472     83113         0     43524    252184   1821062    130.75    138.98
936.48/234.82	c  N dy  3756    577627     19472     83113         0     63601    252184   6056917    130.89    138.63
969.62/243.13	c  N dy  3892    597656     19472     83113         0     45629    252184   2047644    130.93    144.29
1002.29/251.34	c  N dy  4035    617764     19472     83113         0     65736    252184   6294574    131.07    146.95
1036.19/259.82	c  N dy  4179    637860     19472     83113         0     46835    252184   2089256    131.17    176.82
1068.50/267.97	c  N dy  4313    657914     19472     83113         0     66888    252184   6297660    131.21    157.32
1102.40/276.43	c  N dy  4443    677953     19472     83113         0     46928    252184   1899405    131.22    150.51
1135.91/284.87	c  N dy  4579    697959     19472     83113         0     66931    252184   6046488    131.23    143.67
1170.62/293.59	c  N dy  4719    718067     19472     83113         0     46043    252184   1509789    131.28    138.50
1202.91/301.68	c  N dy  4850    738135     19472     83113         0     66111    252184   5665703    131.30    139.06
1238.41/310.55	c  N dy  4983    758302     19472     83113         0     44283    252184    941710    131.32    138.48
1270.33/318.55	c  N dy  5119    778351     19472     83113         0     64331    252184   5161131    131.34    139.85
1306.23/327.50	c  N dy  5251    798370     19472     83113         0     84350    252184   9352789    131.34    141.69
1319.00/330.70	c  S st  5303    806184     19472     83113         0     49168    252184   1733956    131.33   no data
1319.80/330.90	c  S st  5303    806689     19472     83113         0     49673    252184   1798622    131.33   no data
1319.80/330.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1319.80/330.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.07
1320.20/331.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1320.20/331.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1320.20/331.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1320.20/331.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19472 time:  0.01 s
1320.20/331.03	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
1320.61/331.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
1320.61/331.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1323.38/331.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.67 s
1323.38/331.89	c vivif2 --  cl tried    83113 cl shrink        0 lits rem          0 time: 0.01
1323.78/331.92	c vivif2 --  cl tried    49673 cl shrink        0 lits rem          0 time: 0.03
1324.18/332.06	c asymm  cl-useful: 0/83113/83113 lits-rem:0 time: 0.14
1324.18/332.07	c calculated reachability. Time: 0.00
1324.18/332.07	c  N dy  5303    806689     19472     83113         0     49673    252184   1798622    131.33   no data
1357.29/340.33	c  N dy  5435    826725     19472     83113         0     69708    252184   5941146    131.31    138.98
1393.98/349.55	c  N dy  5574    846738     19472     83113         0     45722    252184    823232    131.34    147.66
1426.68/357.72	c  N dy  5710    866840     19472     83113         0     65823    252184   5053142    131.37    140.46
1462.58/366.71	c  N dy  5842    886924     19472     83113         0     85906    252184   9182044    131.35    141.51
1495.69/375.06	c  N dy  5979    906969     19472     83113         0     60950    252184   3799300    131.36    139.43
1530.80/383.86	c  N dy  6118    927007     19472     83113         0     80985    252184   7995540    131.40    139.34
1566.31/392.75	c  N dy  6258    947091     19472     83113         0     55069    252184   2370971    131.47    143.26
1599.79/401.15	c  N dy  6386    967160     19472     83113         0     75134    252184   6541804    131.47    146.00
1637.28/410.53	c  N dy  6525    987168     19472     83113         0     48146    252184    709462    131.52    138.52
1670.40/418.82	c  N dy  6658   1007291     19472     83113         0     68268    252184   4926514    131.53    141.26
1706.71/427.91	c  N dy  6792   1027360     19472     83113         0     88337    252184   9092627    131.54    140.68
1741.80/436.72	c  N dy  6927   1047629     19472     83113         0     60607    252184   3116633    131.52    139.23
1776.49/445.50	c  N dy  7064   1067643     19472     83113         0     80621    252184   7228932    131.53    196.99
1784.86/447.50	c  F st  7093   1071876     19472     83113         0     84854    252184   8115416    131.54   no data
1814.77/455.01	c  N dy  7173   1087773     19472     83113         0     51749    252184   1060807    131.56    140.89
1848.67/463.54	c  N dy  7310   1107830     19472     83113         0     71805    252184   5285844    131.61    138.93
1884.98/472.66	c  N dy  7438   1127876     19472     83113         0     91847    252184   9449213    131.59    138.75
1920.87/481.60	c  N dy  7577   1148028     19472     83113         0     62007    252184   3016861    131.61    139.07
1956.37/490.51	c  N dy  7710   1168213     19472     83113         0     82192    252184   7233002    131.62    143.50
1995.46/500.31	c  N dy  7848   1188294     19472     83113         0     51272    252184    551581    131.67    141.16
2028.96/508.77	c  N dy  7986   1208361     19472     83113         0     71337    252184   4717765    131.70    194.90
2032.15/509.52	c  S st  7996   1210033     19472     83113         0     73009    252184   5069496    131.69    121.80
2032.95/509.77	c  S st  7996   1210538     19472     83113         0     73514    252184   5148177    131.69   no data
2032.95/509.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2033.35/509.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.09
2033.75/509.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2033.75/509.90	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2033.75/509.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2033.75/509.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19472 time:  0.01 s
2033.75/509.93	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
2034.15/510.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
2034.95/510.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2046.91/513.29	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  2.98 s
2047.31/513.30	c vivif2 --  cl tried    83113 cl shrink        0 lits rem          0 time: 0.01
2047.31/513.38	c vivif2 --  cl tried    73512 cl shrink        0 lits rem          0 time: 0.09
2048.11/513.56	c asymm  cl-useful: 0/83113/83113 lits-rem:0 time: 0.18
2048.11/513.57	c calculated reachability. Time: 0.00
2048.11/513.57	c  N dy  7996   1210538     19472     83113         0     73512    252184   5146957    131.69   no data
2086.79/523.22	c  N dy  8134   1230622     19472     83113         0     93594    252184   9332055    131.70    141.96
2123.09/532.37	c  N dy  8268   1250686     19472     83113         0     61663    252184   2507044    131.69    140.35
2158.19/541.12	c  N dy  8399   1270870     19472     83113         0     81846    252184   6661153    131.69    139.53
2196.49/550.76	c  N dy  8533   1290892     19472     83113         0    101868    252184  10882992    131.71    153.84
2231.58/559.56	c  N dy  8672   1310956     19472     83113         0     68928    252184   3844974    131.73    138.98
2269.07/568.92	c  N dy  8811   1331384     19472     83113         0     89356    252184   8148860    131.76    140.28
2308.96/578.94	c  N dy  8941   1351497     19472     83113         0     55479    252184    811728    131.77    141.30
2344.06/587.75	c  N dy  9072   1372203     19472     83113         0     76184    252184   5126543    131.75    138.80
2381.96/597.26	c  N dy  9215   1392280     19472     83113         0     96258    252184   9296987    131.76    143.21
2420.65/606.94	c  N dy  9355   1412292     19472     83113         0     61262    252184   1823691    131.79    141.56
2455.74/615.74	c  N dy  9480   1432343     19472     83113         0     81311    252184   6015466    131.77    140.10
2493.64/625.28	c  N dy  9599   1452365     19472     83113         0    101333    252184  10152276    131.74    140.27
2531.54/634.79	c  N dy  9739   1472392     19472     83113         0     65362    252184   2507195    131.77    144.91
2567.82/643.82	c  N dy  9877   1492407     19472     83113         0     85376    252184   6713960    131.78    172.56
2606.90/653.67	c  N dy 10007   1512530     19472     83113         0    105498    252184  10935324    131.78    141.30
2644.79/663.12	c  N dy 10143   1532665     19472     83113         0     68636    252184   2975051    131.79    141.92
2681.13/672.28	c  N dy 10273   1552775     19472     83113         0     88745    252184   7167759    131.79    146.92
2720.96/682.28	c  N dy 10416   1572785     19472     83113         0    108753    252184  11373109    131.80    139.18
2758.07/691.59	c  N dy 10546   1592868     19472     83113         0     70841    252184   3194436    131.77    141.02
2795.20/700.84	c  N dy 10676   1612933     19472     83113         0     90904    252184   7386665    131.78    140.42
2835.03/710.83	c  N dy 10798   1632956     19472     83113         0    110925    252184  11546470    131.76    141.68
2872.54/720.22	c  N dy 10935   1653003     19472     83113         0     71973    252184   3253097    131.79    140.78
2909.63/729.53	c  N dy 11074   1673017     19472     83113         0     91987    252184   7431938    131.80    140.58
2950.32/739.71	c  N dy 11216   1693143     19472     83113         0    112112    252184  11689450    131.84    139.46
2983.87/748.17	c  S st 11342   1710538     19472     83113         0     69504    252184   2565637    131.87   no data
2985.01/748.41	c  S st 11342   1711043     19472     83113         0     70009    252184   2635866    131.87   no data
2985.01/748.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2985.41/748.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.09
2985.41/748.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2985.41/748.54	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2985.41/748.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2985.41/748.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19472 time:  0.01 s
2985.41/748.56	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
2985.81/748.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
2986.21/748.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2992.99/750.49	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  1.69 s
2993.39/750.50	c vivif2 --  cl tried    83113 cl shrink        0 lits rem          0 time: 0.01
2993.39/750.54	c vivif2 --  cl tried    70008 cl shrink        0 lits rem          0 time: 0.05
2994.19/750.72	c asymm  cl-useful: 0/83113/83113 lits-rem:0 time: 0.17
2994.19/750.72	c calculated reachability. Time: 0.00
2994.19/750.72	c  N dy 11342   1711043     19472     83113         0     70008    252184   2635508    131.87   no data
3031.29/760.02	c  N dy 11478   1731228     19472     83113         0     90192    252184   6914163    131.90    138.87
3071.97/770.21	c  N dy 11608   1751357     19472     83113         0    110319    252184  11126589    131.91    145.49
3111.11/780.05	c  N dy 11742   1771368     19472     83113         0     69337    252184   2299875    131.91    154.97
3147.76/789.26	c  N dy 11876   1791456     19472     83113         0     89423    252184   6470202    131.92    141.15
3188.44/799.42	c  N dy 12015   1811735     19472     83113         0    109702    252184  10750324    131.94    140.35
3229.14/809.61	c  N dy 12141   1831859     19472     83113         0     67828    252184   1754408    131.92    139.68
3267.02/819.11	c  N dy 12269   1851882     19472     83113         0     87850    252184   5967008    131.92    142.21
3306.90/829.14	c  N dy 12404   1871916     19472     83113         0    107880    252184  10177512    131.93    145.27
3349.57/839.83	c  N dy 12544   1891977     19472     83113         0     64945    252184    958965    131.95    141.14
3385.08/848.74	c  N dy 12673   1912026     19472     83113         0     84994    252184   5092664    131.93    141.06
3424.56/858.66	c  N dy 12811   1932082     19472     83113         0    105050    252184   9314685    131.96    139.46
3467.24/869.34	c  N dy 12935   1952183     19472     83113         0    125149    252184  13495353    131.94    139.91
3504.74/878.72	c  N dy 13077   1972366     19472     83113         0     81338    252184   4223855    131.97    140.37
3543.42/888.49	c  N dy 13207   1992571     19472     83113         0    101542    252184   8533225    131.98    141.45
3586.49/899.23	c  N dy 13348   2012686     19472     83113         0    121655    252184  12762855    132.00    141.81
3626.37/909.20	c  N dy 13491   2032748     19472     83113         0     76720    252184   3063269    132.03    150.40
3664.66/918.82	c  N dy 13622   2052946     19472     83113         0     96917    252184   7300970    132.03    140.68
3705.74/929.17	c  N dy 13750   2073093     19472     83113         0    117064    252184  11526848    132.03    140.23
3748.41/939.88	c  N dy 13887   2093147     19472     83113         0     71125    252184   1661307    132.06    155.72
3785.91/949.21	c  N dy 14030   2113154     19472     83113         0     91131    252184   5929434    132.10    140.35
3826.99/959.52	c  N dy 14170   2133177     19472     83113         0    111152    252184  10179756    132.11    152.55
3870.86/970.50	c  N dy 14299   2153249     19472     83113         0    131223    252184  14360015    132.09    139.77
3908.36/979.90	c  N dy 14426   2173344     19472     83113         0     84316    252184   4200610    132.08    140.68
3947.44/989.73	c  N dy 14553   2193455     19472     83113         0    104424    252184   8361637    132.07    145.49
3984.52/999.09	c  S st 14669   2211043     19472     83113         0    122010    252184  12014171    132.07   no data
3986.13/999.41	c  S st 14669   2211545     19472     83113         0    122512    252184  12089791    132.07   no data
3986.13/999.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3986.53/999.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.15
3986.93/999.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3986.93/999.62	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3986.93/999.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3986.93/999.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19472 time:  0.01 s
3986.93/999.64	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
3987.73/999.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
3990.52/1000.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4018.04/1007.43	c lits-rem:        14  cl-subs:        9  v-elim:      0  v-fix:    0  time:  6.83 s
4018.04/1007.44	c vivif2 --  cl tried    83113 cl shrink        0 lits rem          0 time: 0.01
4018.85/1007.64	c vivif2 --  cl tried   122503 cl shrink        0 lits rem          0 time: 0.19
4020.02/1007.90	c asymm  cl-useful: 0/83113/83113 lits-rem:0 time: 0.26
4020.02/1007.91	c calculated reachability. Time: 0.00
4020.02/1007.91	c  N dy 14669   2211545     19472     83113         0    122503    252184  12087228    132.07   no data
4062.30/1018.51	c  N dy 14803   2231575     19472     83113         0     74537    252184   1954721    132.08    139.96
4101.40/1028.36	c  N dy 14934   2251636     19472     83113         0     94596    252184   6135068    132.09    139.48
4143.68/1038.94	c  N dy 15076   2271729     19472     83113         0    114687    252184  10349427    132.10    157.87
4188.35/1050.18	c  N dy 15216   2291830     19472     83113         0    134788    252184  14627251    132.12    140.79
4226.64/1059.74	c  N dy 15352   2311931     19472     83113         0     85894    252184   4133027    132.12    139.95
4266.52/1069.75	c  N dy 15480   2332254     19472     83113         0    106215    252184   8399676    132.12    139.10
4309.19/1080.43	c  N dy 15611   2352287     19472     83113         0    126248    252184  12585479    132.12    140.22
4352.72/1091.33	c  N dy 15754   2372359     19472     83113         0     76327    252184   1949680    132.14    143.66
4390.97/1100.92	c  N dy 15892   2392528     19472     83113         0     96496    252184   6194714    132.16    140.99
4432.44/1111.37	c  N dy 16028   2412626     19472     83113         0    116592    252184  10395642    132.18    139.90
4477.92/1122.70	c  N dy 16169   2432756     19472     83113         0    136721    252184  14704893    132.20    141.57
4517.01/1132.53	c  N dy 16301   2452790     19472     83113         0     85761    252184   3636041    132.18    139.48
4556.90/1142.54	c  N dy 16437   2473028     19472     83113         0    105996    252184   7930004    132.21    140.19
4599.96/1153.36	c  N dy 16575   2493081     19472     83113         0    126048    252184  12185370    132.21    146.20
4645.43/1164.79	c  N dy 16710   2513086     19472     83113         0     74056    252184   1034523    132.22    148.76
4682.53/1174.06	c  N dy 16828   2533154     19472     83113         0     94122    252184   5269790    132.21    179.20
4723.62/1184.35	c  N dy 16960   2553242     19472     83113         0    114208    252184   9426265    132.21    140.50
4767.49/1195.36	c  N dy 17091   2573290     19472     83113         0    134251    252184  13628571    132.22    140.16

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

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

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


[startup+0 s]
/proc/loadavg: 8.26 8.15 7.67 5/354 7684
/proc/meminfo: memFree=17770932/32950928 swapFree=67111200/67111528
[pid=7684] ppid=7682 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/7684/stat : 7684 (strangenight2-m) R 7682 7684 7452 0 -1 4202496 406 0 0 0 0 0 0 0 18 0 4 0 730182165 52396032 347 33554432000 4194304 4580107 140733940065744 18446744073709551615 47411631032246 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7684/statm: 12792 347 299 95 0 7774 0
[pid=7684/tid=7685] ppid=7682 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/7684/task/7685/stat : 7685 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 730182165 52396032 347 33554432000 4194304 4580107 140733940065744 18446744073709551615 256415448049 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7684/tid=7686] ppid=7682 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/7684/task/7686/stat : 7686 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 730182165 52396032 347 33554432000 4194304 4580107 140733940065744 18446744073709551615 47411631032242 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7684/tid=7687] ppid=7682 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/7684/task/7687/stat : 7687 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 730182165 52396032 347 33554432000 4194304 4580107 140733940065744 18446744073709551615 47411631032242 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.173019 s]
/proc/loadavg: 8.26 8.15 7.67 5/354 7684
/proc/meminfo: memFree=17770932/32950928 swapFree=67111200/67111528
[pid=7684] ppid=7682 vsize=306740 CPUtime=0.65 cores=0,2,4,6
/proc/7684/stat : 7684 (strangenight2-m) D 7682 7684 7452 0 -1 4202496 15453 0 0 0 61 4 0 0 18 0 4 0 730182165 314101760 13231 33554432000 4194304 4580107 140733940065744 18446744073709551615 4401259 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7684/statm: 76685 13232 363 95 0 71667 0
[pid=7684/tid=7685] ppid=7682 vsize=306740 CPUtime=0.15 cores=0,2,4,6
/proc/7684/task/7685/stat : 7685 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 3778 0 0 0 14 1 0 0 18 0 4 0 730182165 314101760 13233 33554432000 4194304 4580107 140733940065744 18446744073709551615 256415434935 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7684/tid=7686] ppid=7682 vsize=306740 CPUtime=0.16 cores=0,2,4,6
/proc/7684/task/7686/stat : 7686 (strangenight2-m) D 7682 7684 7452 0 -1 4202560 3756 0 0 0 15 1 0 0 18 0 4 0 730182165 314101760 13233 33554432000 4194304 4580107 140733940065744 18446744073709551615 4401259 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7684/tid=7687] ppid=7682 vsize=306740 CPUtime=0.15 cores=0,2,4,6
/proc/7684/task/7687/stat : 7687 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 3745 0 0 0 15 0 0 0 20 0 4 0 730182165 314101760 13233 33554432000 4194304 4580107 140733940065744 18446744073709551615 4293985 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 306740

[startup+0.201167 s]
/proc/loadavg: 8.26 8.15 7.67 5/354 7684
/proc/meminfo: memFree=17770932/32950928 swapFree=67111200/67111528
[pid=7684] ppid=7682 vsize=311492 CPUtime=0.75 cores=0,2,4,6
/proc/7684/stat : 7684 (strangenight2-m) D 7682 7684 7452 0 -1 4202496 19600 0 0 0 70 5 0 0 18 0 4 0 730182165 318967808 17378 33554432000 4194304 4580107 140733940065744 18446744073709551615 256415052485 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7684/statm: 77873 17378 363 95 0 72855 0
[pid=7684/tid=7685] ppid=7682 vsize=311492 CPUtime=0.17 cores=0,2,4,6
/proc/7684/task/7685/stat : 7685 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 5134 0 0 0 16 1 0 0 18 0 4 0 730182165 318967808 17378 33554432000 4194304 4580107 140733940065744 18446744073709551615 256415434935 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7684/tid=7686] ppid=7682 vsize=311492 CPUtime=0.19 cores=0,2,4,6
/proc/7684/task/7686/stat : 7686 (strangenight2-m) D 7682 7684 7452 0 -1 4202560 5138 0 0 0 17 2 0 0 18 0 4 0 730182165 318967808 17378 33554432000 4194304 4580107 140733940065744 18446744073709551615 256415434935 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7684/tid=7687] ppid=7682 vsize=311492 CPUtime=0.18 cores=0,2,4,6
/proc/7684/task/7687/stat : 7687 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 3773 0 0 0 18 0 0 0 20 0 4 0 730182165 318967808 17378 33554432000 4194304 4580107 140733940065744 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.75
Current children cumulated vsize (KiB) 311492

[startup+0.301094 s]
/proc/loadavg: 8.26 8.15 7.67 5/354 7684
/proc/meminfo: memFree=17770932/32950928 swapFree=67111200/67111528
[pid=7684] ppid=7682 vsize=328420 CPUtime=1.15 cores=0,2,4,6
/proc/7684/stat : 7684 (strangenight2-m) R 7682 7684 7452 0 -1 4202496 28025 0 0 0 108 7 0 0 18 0 4 0 730182165 336302080 24233 33554432000 4194304 4580107 140733940065744 18446744073709551615 4422944 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7684/statm: 82105 24233 372 95 0 77087 0
[pid=7684/tid=7685] ppid=7682 vsize=328420 CPUtime=0.27 cores=0,2,4,6
/proc/7684/task/7685/stat : 7685 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 7859 0 0 0 25 2 0 0 18 0 4 0 730182165 336302080 24233 33554432000 4194304 4580107 140733940065744 18446744073709551615 4415779 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7684/tid=7686] ppid=7682 vsize=328420 CPUtime=0.28 cores=0,2,4,6
/proc/7684/task/7686/stat : 7686 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 7815 0 0 0 26 2 0 0 18 0 4 0 730182165 336302080 24233 33554432000 4194304 4580107 140733940065744 18446744073709551615 4415779 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7684/tid=7687] ppid=7682 vsize=328420 CPUtime=0.28 cores=0,2,4,6
/proc/7684/task/7687/stat : 7687 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 3891 0 0 0 28 0 0 0 20 0 4 0 730182165 336302080 24233 33554432000 4194304 4580107 140733940065744 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 328420

[startup+0.701015 s]
/proc/loadavg: 8.26 8.15 7.67 5/354 7684
/proc/meminfo: memFree=17770932/32950928 swapFree=67111200/67111528
[pid=7684] ppid=7682 vsize=321724 CPUtime=2.76 cores=0,2,4,6
/proc/7684/stat : 7684 (strangenight2-m) R 7682 7684 7452 0 -1 4202496 29646 0 0 0 268 8 0 0 18 0 4 0 730182165 329445376 22948 33554432000 4194304 4580107 140733940065744 18446744073709551615 4318695 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7684/statm: 80431 22948 377 95 0 75413 0
[pid=7684/tid=7685] ppid=7682 vsize=321724 CPUtime=0.67 cores=0,2,4,6
/proc/7684/task/7685/stat : 7685 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 8190 0 0 0 65 2 0 0 18 0 4 0 730182165 329445376 22948 33554432000 4194304 4580107 140733940065744 18446744073709551615 4320708 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7684/tid=7686] ppid=7682 vsize=321724 CPUtime=0.68 cores=0,2,4,6
/proc/7684/task/7686/stat : 7686 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 8442 0 0 0 66 2 0 0 18 0 4 0 730182165 329445376 22948 33554432000 4194304 4580107 140733940065744 18446744073709551615 4318990 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7684/tid=7687] ppid=7682 vsize=321724 CPUtime=0.68 cores=0,2,4,6
/proc/7684/task/7687/stat : 7687 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 4256 0 0 0 68 0 0 0 20 0 4 0 730182165 329445376 22948 33554432000 4194304 4580107 140733940065744 18446744073709551615 4489289 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 321724

[startup+1.50086 s]
/proc/loadavg: 8.26 8.15 7.67 9/358 7688
/proc/meminfo: memFree=17658184/32950928 swapFree=67111200/67111528
[pid=7684] ppid=7682 vsize=321724 CPUtime=5.94 cores=0,2,4,6
/proc/7684/stat : 7684 (strangenight2-m) R 7682 7684 7452 0 -1 4202496 32210 0 0 0 586 8 0 0 19 0 4 0 730182165 329445376 25505 33554432000 4194304 4580107 140733940065744 18446744073709551615 4293781 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7684/statm: 80431 25505 377 95 0 75413 0
[pid=7684/tid=7685] ppid=7682 vsize=321724 CPUtime=1.46 cores=0,2,4,6
/proc/7684/task/7685/stat : 7685 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 8818 0 0 0 144 2 0 0 19 0 4 0 730182165 329445376 25505 33554432000 4194304 4580107 140733940065744 18446744073709551615 4320810 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7684/tid=7686] ppid=7682 vsize=321724 CPUtime=1.48 cores=0,2,4,6
/proc/7684/task/7686/stat : 7686 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 9093 0 0 0 146 2 0 0 19 0 4 0 730182165 329445376 25505 33554432000 4194304 4580107 140733940065744 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7684/tid=7687] ppid=7682 vsize=321724 CPUtime=1.49 cores=0,2,4,6
/proc/7684/task/7687/stat : 7687 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 4895 0 0 0 148 1 0 0 23 0 4 0 730182165 329445376 25505 33554432000 4194304 4580107 140733940065744 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 321724

[startup+3.10056 s]
/proc/loadavg: 8.32 8.16 7.68 9/358 7688
/proc/meminfo: memFree=17641724/32950928 swapFree=67111200/67111528
[pid=7684] ppid=7682 vsize=452988 CPUtime=12.33 cores=0,2,4,6
/proc/7684/stat : 7684 (strangenight2-m) R 7682 7684 7452 0 -1 4202496 37069 0 0 0 1223 10 0 0 24 0 4 0 730182165 463859712 30364 33554432000 4194304 4580107 140733940065744 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7684/statm: 113247 30364 377 95 0 108229 0
[pid=7684/tid=7685] ppid=7682 vsize=452988 CPUtime=3.04 cores=0,2,4,6
/proc/7684/task/7685/stat : 7685 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 9942 0 0 0 302 2 0 0 24 0 4 0 730182165 463859712 30364 33554432000 4194304 4580107 140733940065744 18446744073709551615 256415050549 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7684/tid=7686] ppid=7682 vsize=452988 CPUtime=3.08 cores=0,2,4,6
/proc/7684/task/7686/stat : 7686 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 10276 0 0 0 306 2 0 0 24 0 4 0 730182165 463859712 30364 33554432000 4194304 4580107 140733940065744 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7684/tid=7687] ppid=7682 vsize=452988 CPUtime=3.08 cores=0,2,4,6
/proc/7684/task/7687/stat : 7687 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 6333 0 0 0 307 1 0 0 25 0 4 0 730182165 463859712 30364 33554432000 4194304 4580107 140733940065744 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 452988

[startup+6.30096 s]
/proc/loadavg: 8.32 8.16 7.68 9/358 7689
/proc/meminfo: memFree=17521320/32950928 swapFree=67111200/67111528
[pid=7684] ppid=7682 vsize=398512 CPUtime=25.09 cores=0,2,4,6
/proc/7684/stat : 7684 (strangenight2-m) R 7682 7684 7452 0 -1 4202496 48028 0 0 0 2496 13 0 0 25 0 4 0 730182165 408076288 32128 33554432000 4194304 4580107 140733940065744 18446744073709551615 4293682 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7684/statm: 99628 32128 377 95 0 94610 0
[pid=7684/tid=7685] ppid=7682 vsize=398512 CPUtime=6.21 cores=0,2,4,6
/proc/7684/task/7685/stat : 7685 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 12022 0 0 0 618 3 0 0 25 0 4 0 730182165 408076288 32128 33554432000 4194304 4580107 140733940065744 18446744073709551615 4294595 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7684/tid=7686] ppid=7682 vsize=398512 CPUtime=6.29 cores=0,2,4,6
/proc/7684/task/7686/stat : 7686 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 12497 0 0 0 626 3 0 0 25 0 4 0 730182165 408076288 32128 33554432000 4194304 4580107 140733940065744 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7684/tid=7687] ppid=7682 vsize=398512 CPUtime=6.28 cores=0,2,4,6
/proc/7684/task/7687/stat : 7687 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 9739 0 0 0 626 2 0 0 25 0 4 0 730182165 408076288 32128 33554432000 4194304 4580107 140733940065744 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 398512

[startup+12.7008 s]
/proc/loadavg: 8.34 8.18 7.68 9/358 7689
/proc/meminfo: memFree=17432952/32950928 swapFree=67111200/67111528
[pid=7684] ppid=7682 vsize=680516 CPUtime=50.61 cores=0,2,4,6
/proc/7684/stat : 7684 (strangenight2-m) R 7682 7684 7452 0 -1 4202496 103763 0 0 0 5036 25 0 0 25 0 4 0 730182165 696848384 78072 33554432000 4194304 4580107 140733940065744 18446744073709551615 4293781 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7684/statm: 170129 78072 379 95 0 165111 0
[pid=7684/tid=7685] ppid=7682 vsize=680516 CPUtime=12.53 cores=0,2,4,6
/proc/7684/task/7685/stat : 7685 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 39528 0 0 0 1242 11 0 0 25 0 4 0 730182165 696848384 78072 33554432000 4194304 4580107 140733940065744 18446744073709551615 4451559 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7684/tid=7686] ppid=7682 vsize=680516 CPUtime=12.68 cores=0,2,4,6
/proc/7684/task/7686/stat : 7686 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 18078 0 0 0 1264 4 0 0 25 0 4 0 730182165 696848384 78072 33554432000 4194304 4580107 140733940065744 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7684/tid=7687] ppid=7682 vsize=680516 CPUtime=12.69 cores=0,2,4,6
/proc/7684/task/7687/stat : 7687 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 13991 0 0 0 1266 3 0 0 25 0 4 0 730182165 696848384 78072 33554432000 4194304 4580107 140733940065744 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 680516

[startup+25.5003 s]
/proc/loadavg: 8.37 8.19 7.69 9/358 7689
/proc/meminfo: memFree=17237880/32950928 swapFree=67111200/67111528
[pid=7684] ppid=7682 vsize=554100 CPUtime=101.66 cores=0,2,4,6
/proc/7684/stat : 7684 (strangenight2-m) R 7682 7684 7452 0 -1 4202496 163109 0 0 0 10128 38 0 0 25 0 4 0 730182165 567398400 88491 33554432000 4194304 4580107 140733940065744 18446744073709551615 4395764 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7684/statm: 138525 88491 379 95 0 133507 0
[pid=7684/tid=7685] ppid=7682 vsize=554100 CPUtime=25.19 cores=0,2,4,6
/proc/7684/task/7685/stat : 7685 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 49254 0 0 0 2506 13 0 0 25 0 4 0 730182165 567398400 88491 33554432000 4194304 4580107 140733940065744 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7684/tid=7686] ppid=7682 vsize=554100 CPUtime=25.48 cores=0,2,4,6
/proc/7684/task/7686/stat : 7686 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 34196 0 0 0 2539 9 0 0 25 0 4 0 730182165 567398400 88491 33554432000 4194304 4580107 140733940065744 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7684/tid=7687] ppid=7682 vsize=554100 CPUtime=25.49 cores=0,2,4,6
/proc/7684/task/7687/stat : 7687 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 33739 0 0 0 2543 6 0 0 25 0 4 0 730182165 567398400 88491 33554432000 4194304 4580107 140733940065744 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 554100

[startup+51.1005 s]
/proc/loadavg: 8.30 8.19 7.71 9/358 7690
/proc/meminfo: memFree=16953220/32950928 swapFree=67111200/67111528
[pid=7684] ppid=7682 vsize=811504 CPUtime=203.78 cores=0,2,4,6
/proc/7684/stat : 7684 (strangenight2-m) R 7682 7684 7452 0 -1 4202496 247451 0 0 0 20319 59 0 0 25 0 4 0 730182165 830980096 137979 33554432000 4194304 4580107 140733940065744 18446744073709551615 4306071 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7684/statm: 202876 137979 379 95 0 197858 0
[pid=7684/tid=7685] ppid=7682 vsize=811504 CPUtime=50.51 cores=0,2,4,6
/proc/7684/task/7685/stat : 7685 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 66715 0 0 0 5033 18 0 0 25 0 4 0 730182165 830980096 137979 33554432000 4194304 4580107 140733940065744 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7684/tid=7686] ppid=7682 vsize=811504 CPUtime=51.08 cores=0,2,4,6
/proc/7684/task/7686/stat : 7686 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 56065 0 0 0 5094 14 0 0 25 0 4 0 730182165 830980096 137979 33554432000 4194304 4580107 140733940065744 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7684/tid=7687] ppid=7682 vsize=811504 CPUtime=51.09 cores=0,2,4,6
/proc/7684/task/7687/stat : 7687 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 61287 0 0 0 5096 13 0 0 25 0 4 0 730182165 830980096 137979 33554432000 4194304 4580107 140733940065744 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.78
Current children cumulated vsize (KiB) 811504

[startup+102.301 s]
/proc/loadavg: 8.12 8.15 7.72 9/358 7691
/proc/meminfo: memFree=16840972/32950928 swapFree=67111200/67111528
[pid=7684] ppid=7682 vsize=851532 CPUtime=408.03 cores=0,2,4,6
/proc/7684/stat : 7684 (strangenight2-m) R 7682 7684 7452 0 -1 4202496 351878 0 0 0 40718 85 0 0 25 0 4 0 730182165 871968768 150824 33554432000 4194304 4580107 140733940065744 18446744073709551615 4293198 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7684/statm: 212883 150824 379 95 0 207865 0
[pid=7684/tid=7685] ppid=7682 vsize=851532 CPUtime=101.16 cores=0,2,4,6
/proc/7684/task/7685/stat : 7685 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 93892 0 0 0 10090 26 0 0 25 0 4 0 730182165 871968768 150833 33554432000 4194304 4580107 140733940065744 18446744073709551615 4321874 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7684/tid=7686] ppid=7682 vsize=851532 CPUtime=102.29 cores=0,2,4,6
/proc/7684/task/7686/stat : 7686 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 83780 0 0 0 10208 21 0 0 25 0 4 0 730182165 871968768 150833 33554432000 4194304 4580107 140733940065744 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7684/tid=7687] ppid=7682 vsize=851532 CPUtime=102.3 cores=0,2,4,6
/proc/7684/task/7687/stat : 7687 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 85898 0 0 0 10211 19 0 0 25 0 4 0 730182165 871968768 150833 33554432000 4194304 4580107 140733940065744 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.03
Current children cumulated vsize (KiB) 851532

[startup+162.301 s]

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

[pid=7684] ppid=7682 vsize=1365704 CPUtime=2561.85 cores=0,2,4,6
/proc/7684/stat : 7684 (strangenight2-m) R 7682 7684 7452 0 -1 4202496 1321440 0 0 0 255801 384 0 0 25 0 4 0 730182165 1398480896 276825 33554432000 4194304 4580107 140733940065744 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7684/statm: 341426 276825 379 95 0 336408 0
[pid=7684/tid=7685] ppid=7682 vsize=1365704 CPUtime=635.13 cores=0,2,4,6
/proc/7684/task/7685/stat : 7685 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 322265 0 0 0 63421 92 0 0 25 0 4 0 730182165 1398480896 276825 33554432000 4194304 4580107 140733940065744 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7684/tid=7686] ppid=7682 vsize=1365704 CPUtime=642.25 cores=0,2,4,6
/proc/7684/task/7686/stat : 7686 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 354718 0 0 0 64125 100 0 0 25 0 4 0 730182165 1398480896 276825 33554432000 4194304 4580107 140733940065744 18446744073709551615 4293151 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7684/tid=7687] ppid=7682 vsize=1365704 CPUtime=642.27 cores=0,2,4,6
/proc/7684/task/7687/stat : 7687 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 346974 0 0 0 64122 105 0 0 25 0 4 0 730182165 1398480896 276825 33554432000 4194304 4580107 140733940065744 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2561.85
Current children cumulated vsize (KiB) 1365704

[startup+702.3 s]
/proc/loadavg: 8.08 8.11 7.88 9/358 7716
/proc/meminfo: memFree=16034040/32950928 swapFree=67111200/67111528
[pid=7684] ppid=7682 vsize=1301360 CPUtime=2801.14 cores=0,2,4,6
/proc/7684/stat : 7684 (strangenight2-m) R 7682 7684 7452 0 -1 4202496 1416248 0 0 0 279699 415 0 0 25 0 4 0 730182165 1332592640 268858 33554432000 4194304 4580107 140733940065744 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7684/statm: 325340 268858 379 95 0 320322 0
[pid=7684/tid=7685] ppid=7682 vsize=1301360 CPUtime=694.44 cores=0,2,4,6
/proc/7684/task/7685/stat : 7685 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 343793 0 0 0 69345 99 0 0 25 0 4 0 730182165 1332592640 268858 33554432000 4194304 4580107 140733940065744 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7684/tid=7686] ppid=7682 vsize=1301360 CPUtime=702.25 cores=0,2,4,6
/proc/7684/task/7686/stat : 7686 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 381098 0 0 0 70116 109 0 0 25 0 4 0 730182165 1332592640 268858 33554432000 4194304 4580107 140733940065744 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7684/tid=7687] ppid=7682 vsize=1301360 CPUtime=702.27 cores=0,2,4,6
/proc/7684/task/7687/stat : 7687 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 372101 0 0 0 70114 113 0 0 25 0 4 0 730182165 1332592640 268858 33554432000 4194304 4580107 140733940065744 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2801.14
Current children cumulated vsize (KiB) 1301360

[startup+762.301 s]
/proc/loadavg: 8.17 8.13 7.91 9/358 7718
/proc/meminfo: memFree=16056840/32950928 swapFree=67111200/67111528
[pid=7684] ppid=7682 vsize=1302420 CPUtime=3040.49 cores=0,2,4,6
/proc/7684/stat : 7684 (strangenight2-m) R 7682 7684 7452 0 -1 4202496 1509375 0 0 0 303601 448 0 0 25 0 4 0 730182165 1333678080 258630 33554432000 4194304 4580107 140733940065744 18446744073709551615 4296010 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7684/statm: 325605 258630 379 95 0 320587 0
[pid=7684/tid=7685] ppid=7682 vsize=1302420 CPUtime=753.78 cores=0,2,4,6
/proc/7684/task/7685/stat : 7685 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 368343 0 0 0 75271 107 0 0 25 0 4 0 730182165 1333678080 258638 33554432000 4194304 4580107 140733940065744 18446744073709551615 4318699 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7684/tid=7686] ppid=7682 vsize=1302420 CPUtime=762.26 cores=0,2,4,6
/proc/7684/task/7686/stat : 7686 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 405967 0 0 0 76107 119 0 0 25 0 4 0 730182165 1333678080 258638 33554432000 4194304 4580107 140733940065744 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7684/tid=7687] ppid=7682 vsize=1302420 CPUtime=762.28 cores=0,2,4,6
/proc/7684/task/7687/stat : 7687 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 395354 0 0 0 76107 121 0 0 25 0 4 0 730182165 1333678080 258638 33554432000 4194304 4580107 140733940065744 18446744073709551615 4321020 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3040.49
Current children cumulated vsize (KiB) 1302420

[startup+822.301 s]
/proc/loadavg: 8.18 8.13 7.92 9/358 7719
/proc/meminfo: memFree=15963828/32950928 swapFree=67111200/67111528
[pid=7684] ppid=7682 vsize=1397452 CPUtime=3279.78 cores=0,2,4,6
/proc/7684/stat : 7684 (strangenight2-m) R 7682 7684 7452 0 -1 4202496 1627873 0 0 0 327496 482 0 0 25 0 4 0 730182165 1430990848 282156 33554432000 4194304 4580107 140733940065744 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7684/statm: 349363 282156 379 95 0 344345 0
[pid=7684/tid=7685] ppid=7682 vsize=1397452 CPUtime=813.11 cores=0,2,4,6
/proc/7684/task/7685/stat : 7685 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 393229 0 0 0 81195 116 0 0 25 0 4 0 730182165 1430990848 282156 33554432000 4194304 4580107 140733940065744 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7684/tid=7686] ppid=7682 vsize=1397452 CPUtime=822.24 cores=0,2,4,6
/proc/7684/task/7686/stat : 7686 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 450983 0 0 0 82095 129 0 0 25 0 4 0 730182165 1430990848 282157 33554432000 4194304 4580107 140733940065744 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7684/tid=7687] ppid=7682 vsize=1397452 CPUtime=822.27 cores=0,2,4,6
/proc/7684/task/7687/stat : 7687 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 423138 0 0 0 82097 130 0 0 25 0 4 0 730182165 1430990848 282157 33554432000 4194304 4580107 140733940065744 18446744073709551615 4293682 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3279.78
Current children cumulated vsize (KiB) 1397452

[startup+882.313 s]
/proc/loadavg: 8.26 8.16 7.94 9/358 7721
/proc/meminfo: memFree=15856780/32950928 swapFree=67111200/67111528
[pid=7684] ppid=7682 vsize=1441292 CPUtime=3519.13 cores=0,2,4,6
/proc/7684/stat : 7684 (strangenight2-m) R 7682 7684 7452 0 -1 4202496 1736552 0 0 0 351395 518 0 0 25 0 4 0 730182165 1475883008 285030 33554432000 4194304 4580107 140733940065744 18446744073709551615 4295890 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7684/statm: 360323 285030 379 95 0 355305 0
[pid=7684/tid=7685] ppid=7682 vsize=1441292 CPUtime=872.44 cores=0,2,4,6
/proc/7684/task/7685/stat : 7685 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 418262 0 0 0 87120 124 0 0 25 0 4 0 730182165 1475883008 285030 33554432000 4194304 4580107 140733940065744 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7684/tid=7686] ppid=7682 vsize=1441292 CPUtime=882.26 cores=0,2,4,6
/proc/7684/task/7686/stat : 7686 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 479065 0 0 0 88088 138 0 0 25 0 4 0 730182165 1475883008 285030 33554432000 4194304 4580107 140733940065744 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7684/tid=7687] ppid=7682 vsize=1441292 CPUtime=882.28 cores=0,2,4,6
/proc/7684/task/7687/stat : 7687 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 450943 0 0 0 88088 140 0 0 25 0 4 0 730182165 1475883008 285030 33554432000 4194304 4580107 140733940065744 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3519.13
Current children cumulated vsize (KiB) 1441292

[startup+942.301 s]
/proc/loadavg: 8.23 8.17 7.95 9/358 7722
/proc/meminfo: memFree=15892488/32950928 swapFree=67111200/67111528
[pid=7684] ppid=7682 vsize=1386392 CPUtime=3758.39 cores=0,2,4,6
/proc/7684/stat : 7684 (strangenight2-m) R 7682 7684 7452 0 -1 4202496 1842516 0 0 0 375287 552 0 0 25 0 4 0 730182165 1419665408 274008 33554432000 4194304 4580107 140733940065744 18446744073709551615 4320729 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7684/statm: 346598 274008 379 95 0 341580 0
[pid=7684/tid=7685] ppid=7682 vsize=1386392 CPUtime=931.76 cores=0,2,4,6
/proc/7684/task/7685/stat : 7685 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 441865 0 0 0 93045 131 0 0 25 0 4 0 730182165 1419665408 274008 33554432000 4194304 4580107 140733940065744 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7684/tid=7686] ppid=7682 vsize=1386392 CPUtime=942.24 cores=0,2,4,6
/proc/7684/task/7686/stat : 7686 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 506867 0 0 0 94077 147 0 0 25 0 4 0 730182165 1419665408 274008 33554432000 4194304 4580107 140733940065744 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7684/tid=7687] ppid=7682 vsize=1386392 CPUtime=942.27 cores=0,2,4,6
/proc/7684/task/7687/stat : 7687 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 478249 0 0 0 94077 150 0 0 25 0 4 0 730182165 1419665408 274008 33554432000 4194304 4580107 140733940065744 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3758.39
Current children cumulated vsize (KiB) 1386392

[startup+1002.3 s]
/proc/loadavg: 8.13 8.15 7.95 9/358 7724
/proc/meminfo: memFree=15663076/32950928 swapFree=67111200/67111528
[pid=7684] ppid=7682 vsize=1584788 CPUtime=3997.68 cores=0,2,4,6
/proc/7684/stat : 7684 (strangenight2-m) R 7682 7684 7452 0 -1 4202496 1983262 0 0 0 399175 593 0 0 25 0 4 0 730182165 1622822912 325675 33554432000 4194304 4580107 140733940065744 18446744073709551615 4451900 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7684/statm: 396197 325675 379 95 0 391179 0
[pid=7684/tid=7685] ppid=7682 vsize=1584788 CPUtime=991.08 cores=0,2,4,6
/proc/7684/task/7685/stat : 7685 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 465000 0 0 0 98968 140 0 0 25 0 4 0 730182165 1622822912 325675 33554432000 4194304 4580107 140733940065744 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7684/tid=7686] ppid=7682 vsize=1584788 CPUtime=1002.24 cores=0,2,4,6
/proc/7684/task/7686/stat : 7686 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 533839 0 0 0 100068 156 0 0 25 0 4 0 730182165 1622822912 325675 33554432000 4194304 4580107 140733940065744 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7684/tid=7687] ppid=7682 vsize=1584788 CPUtime=1002.26 cores=0,2,4,6
/proc/7684/task/7687/stat : 7687 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 526134 0 0 0 100064 162 0 0 25 0 4 0 730182165 1622822912 325675 33554432000 4194304 4580107 140733940065744 18446744073709551615 4451895 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3997.68
Current children cumulated vsize (KiB) 1584788

[startup+1062.3 s]
/proc/loadavg: 8.21 8.16 7.97 9/358 7726
/proc/meminfo: memFree=15544012/32950928 swapFree=67111200/67111528
[pid=7684] ppid=7682 vsize=1703348 CPUtime=4237 cores=0,2,4,6
/proc/7684/stat : 7684 (strangenight2-m) R 7682 7684 7452 0 -1 4202496 2107638 0 0 0 423069 631 0 0 25 0 4 0 730182165 1744228352 354169 33554432000 4194304 4580107 140733940065744 18446744073709551615 4293131 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7684/statm: 425837 354169 379 95 0 420819 0
[pid=7684/tid=7685] ppid=7682 vsize=1703348 CPUtime=1050.42 cores=0,2,4,6
/proc/7684/task/7685/stat : 7685 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 514456 0 0 0 104891 151 0 0 25 0 4 0 730182165 1744228352 354169 33554432000 4194304 4580107 140733940065744 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7684/tid=7686] ppid=7682 vsize=1703348 CPUtime=1062.23 cores=0,2,4,6
/proc/7684/task/7686/stat : 7686 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 559535 0 0 0 106058 165 0 0 25 0 4 0 730182165 1744228352 354169 33554432000 4194304 4580107 140733940065744 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7684/tid=7687] ppid=7682 vsize=1703348 CPUtime=1062.26 cores=0,2,4,6
/proc/7684/task/7687/stat : 7687 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 550853 0 0 0 106055 171 0 0 25 0 4 0 730182165 1744228352 354169 33554432000 4194304 4580107 140733940065744 18446744073709551615 4292956 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4237
Current children cumulated vsize (KiB) 1703348

[startup+1122.3 s]
/proc/loadavg: 8.17 8.16 7.98 9/358 7727
/proc/meminfo: memFree=15511752/32950928 swapFree=67111200/67111528
[pid=7684] ppid=7682 vsize=1718736 CPUtime=4476.33 cores=0,2,4,6
/proc/7684/stat : 7684 (strangenight2-m) R 7682 7684 7452 0 -1 4202496 2211073 0 0 0 446965 668 0 0 25 0 4 0 730182165 1759985664 361391 33554432000 4194304 4580107 140733940065744 18446744073709551615 4293720 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7684/statm: 429684 361391 379 95 0 424666 0
[pid=7684/tid=7685] ppid=7682 vsize=1718736 CPUtime=1109.75 cores=0,2,4,6
/proc/7684/task/7685/stat : 7685 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 540901 0 0 0 110816 159 0 0 25 0 4 0 730182165 1759985664 361391 33554432000 4194304 4580107 140733940065744 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7684/tid=7686] ppid=7682 vsize=1718736 CPUtime=1122.23 cores=0,2,4,6
/proc/7684/task/7686/stat : 7686 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 586099 0 0 0 112049 174 0 0 25 0 4 0 730182165 1759985664 361391 33554432000 4194304 4580107 140733940065744 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7684/tid=7687] ppid=7682 vsize=1718736 CPUtime=1122.26 cores=0,2,4,6
/proc/7684/task/7687/stat : 7687 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 576011 0 0 0 112045 181 0 0 25 0 4 0 730182165 1759985664 361391 33554432000 4194304 4580107 140733940065744 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4476.33
Current children cumulated vsize (KiB) 1718736

[startup+1182.3 s]
/proc/loadavg: 8.12 8.14 7.99 9/358 7729
/proc/meminfo: memFree=15446012/32950928 swapFree=67111200/67111528
[pid=7684] ppid=7682 vsize=1705476 CPUtime=4715.65 cores=0,2,4,6
/proc/7684/stat : 7684 (strangenight2-m) R 7682 7684 7452 0 -1 4202496 2314837 0 0 0 470865 700 0 0 25 0 4 0 730182165 1746407424 366631 33554432000 4194304 4580107 140733940065744 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7684/statm: 426369 366631 379 95 0 421351 0
[pid=7684/tid=7685] ppid=7682 vsize=1705476 CPUtime=1169.09 cores=0,2,4,6
/proc/7684/task/7685/stat : 7685 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 565414 0 0 0 116742 167 0 0 25 0 4 0 730182165 1746407424 366631 33554432000 4194304 4580107 140733940065744 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7684/tid=7686] ppid=7682 vsize=1705476 CPUtime=1182.23 cores=0,2,4,6
/proc/7684/task/7686/stat : 7686 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 611178 0 0 0 118041 182 0 0 25 0 4 0 730182165 1746407424 366631 33554432000 4194304 4580107 140733940065744 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7684/tid=7687] ppid=7682 vsize=1705476 CPUtime=1182.26 cores=0,2,4,6
/proc/7684/task/7687/stat : 7687 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 603190 0 0 0 118036 190 0 0 25 0 4 0 730182165 1746407424 366631 33554432000 4194304 4580107 140733940065744 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4715.65
Current children cumulated vsize (KiB) 1705476



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.51 s]
/proc/loadavg: 8.08 8.13 7.99 5/353 7730
/proc/meminfo: memFree=16428496/32950928 swapFree=67111200/67111528
[pid=7684] ppid=7682 vsize=1590740 CPUtime=4800.25 cores=0,2,4,6
/proc/7684/stat : 7684 (strangenight2-m) R 7682 7684 7452 0 -1 4202496 2353706 0 0 0 479313 712 0 0 25 0 4 0 730182165 1628917760 342557 33554432000 4194304 4580107 140733940065744 18446744073709551615 4294345 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7684/statm: 397685 342558 379 95 0 392667 0
[pid=7684/tid=7685] ppid=7682 vsize=1590740 CPUtime=1190.05 cores=0,2,4,6
/proc/7684/task/7685/stat : 7685 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 575570 0 0 0 118835 170 0 0 25 0 4 0 730182165 1628917760 342565 33554432000 4194304 4580107 140733940065744 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7684/tid=7686] ppid=7682 vsize=1590740 CPUtime=1203.45 cores=0,2,4,6
/proc/7684/task/7686/stat : 7686 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 621337 0 0 0 120160 185 0 0 25 0 4 0 730182165 1628917760 342566 33554432000 4194304 4580107 140733940065744 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7684/tid=7687] ppid=7682 vsize=1590740 CPUtime=1203.48 cores=0,2,4,6
/proc/7684/task/7687/stat : 7687 (strangenight2-m) R 7682 7684 7452 0 -1 4202560 612541 0 0 0 120156 192 0 0 25 0 4 0 730182165 1628917760 342566 33554432000 4194304 4580107 140733940065744 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 1590740

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.59
CPU time (s): 4800.36
CPU user time (s): 4793.18
CPU system time (s): 7.18791
CPU usage (%): 398.836
Max. virtual memory (cumulated for all children) (KiB): 1719144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.18
system time used= 7.18791
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2353721
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= 2242
involuntary context switches= 21223

runsolver used 3.78342 second user time and 9.66253 second system time

The end

Launcher Data 

Begin job on node115 at 2011-05-14 20:58:35
IDJOB=3366237
IDBENCH=82646
IDSOLVER=1844
FILE ID=node115/3366237-1305399515
RUNJOBID= node115-1305397103-7470
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-v20000-c84000-S1298436766-097-UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366237-1305399515/watcher-3366237-1305399515 -o /tmp/evaluation-result-3366237-1305399515/solver-3366237-1305399515 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366237-1305399515.cnf

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

MD5SUM BENCH= 28b704f4b0f31dccf5e0c8fedfb14daa
RANDOM SEED=1070991485

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:      17772824 kB
Buffers:        285196 kB
Cached:        4517744 kB
SwapCached:          0 kB
Active:       11987780 kB
Inactive:      2873452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      17772824 kB
SwapTotal:    67111528 kB
SwapFree:     67111200 kB
Dirty:           13620 kB
Writeback:           0 kB
AnonPages:    10057764 kB
Mapped:          28448 kB
Slab:           211376 kB
PageTables:      41028 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 69759032 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= 73228 MiB
End job on node115 at 2011-05-14 21:18:41