Trace number 3173828

Some explanations

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

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

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

Solver answer on this benchmark

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

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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3173828-1304031448.cnf'
0.00/0.00	c -- header says num vars:          20000
0.00/0.00	c -- header says num clauses:       84000
0.12/0.11	c -- clauses added:            0 learnts,        84000 normals,            0 xors
0.12/0.11	c -- vars added      20000
0.12/0.11	c Parsing time:  0.05 s
0.12/0.11	c  N st     0         0     20000     84000         0         0    252000         0   no data   no data
0.40/0.14	c asymm  cl-useful: 0/84000/84000 lits-rem:0 time: 0.07
0.40/0.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.03
0.76/0.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.76/0.25	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.76/0.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.76/0.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20000 time:  0.00 s
0.76/0.25	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.01 s
1.21/1.05	c lits-rem:         0  cl-subs:        0  v-elim:    466  v-fix:    0  time:  0.12 s
1.21/1.05	c Finding binary XORs  T:     0.00 s  found:       0
1.21/1.05	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
1.21/1.05	c calculated reachability. Time: 0.00
1.21/1.05	c Calc default polars -  time:   0.00 s pos:    8851 undec:    2207 neg:    8942
1.21/1.05	c =========================================================================================
1.21/1.05	c types(t): F = full restart, N = normal restart
1.21/1.05	c types(t): S = simplification begin/end, E = solution found
1.21/1.05	c restart types(rt): st = static, dy = dynamic
1.21/1.05	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.21/1.05	c  B st     0         0     19534     83430         0         0    253068         0   no data   no data
6.01/1.55	c  N dy    20      4071     19534     83430         0      4071    253068    925911    114.87    125.34
10.35/2.69	c  N dy    50      8109     19534     83430         0      8108    253068   1735006    124.40    134.65
15.54/3.92	c  N dy    82     12202     19534     83430         0     12200    253068   2556593    127.45    135.17
20.35/5.18	c  N dy   111     16263     19534     83430         0     16259    253068   3393842    128.39    135.47
25.52/6.44	c  N dy   135     20274     19534     83430         0     10273    253068    602098    128.04    135.32
30.31/7.66	c  N dy   165     24312     19534     83430         0     14311    253068   1396851    127.95    134.71
31.12/7.87	c  F st   170     25000     19534     83430         0     14999    253068   1532585    128.11    128.07
37.51/9.49	c  N dy   176     30001     19534     83430         0     20000    253068   2813813    128.11   no data
37.51/9.49	c  S st   176     30001     19534     83430         0     20000    253068   2813813    128.11   no data
38.33/9.65	c  S st   176     30508     19534     83430         0     20507    253068   2886451    128.11   no data
38.33/9.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
38.70/9.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
38.70/9.77	c blocked clauses removed:      306 vars:     51 tried:       19534 T: 0.01 s
38.70/9.78	c bin-w-bin subsume rem            0 bins  time:  0.01 s
38.70/9.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
38.70/9.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19483 time:  0.01 s
39.10/9.80	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
39.10/9.89	c lits-rem:         0  cl-subs:        0  v-elim:     11  v-fix:    0  time:  0.09 s
40.30/10.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.49/10.93	c lits-rem:         6  cl-subs:        6  v-elim:      0  v-fix:    0  time:  0.77 s
43.89/11.03	c asymm  cl-useful: 0/83113/83113 lits-rem:0 time: 0.10
43.89/11.03	c calculated reachability. Time: 0.00
43.89/11.03	c  N dy   176     30508     19472     83113         0     20343    252184   2838617    128.11   no data
49.49/12.41	c  N dy   207     34553     19472     83113         0     24388    252184   3698371    129.47    145.14
55.08/13.89	c  N dy   234     38680     19472     83113         0     28514    252184   4562275    130.09    137.91
60.67/15.28	c  N dy   260     42721     19472     83113         0     17136    252184   1008727    130.04    144.67
64.68/16.28	c  S st   284     45763     19472     83113         0     20178    252184   1641077    130.44   no data
65.46/16.46	c  S st   284     46264     19472     83113         0     20679    252184   1715787    130.44   no data
65.46/16.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
65.86/16.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
65.86/16.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
65.86/16.58	c bin-w-bin subsume rem            0 bins  time:  0.01 s
65.86/16.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
65.86/16.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19472 time:  0.01 s
66.26/16.60	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
66.26/16.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
66.66/16.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
67.86/17.02	c lits-rem:        14  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.24 s
67.86/17.03	c vivif2 --  cl tried    83113 cl shrink        0 lits rem          0 time: 0.01
67.86/17.06	c vivif2 --  cl tried    20678 cl shrink        0 lits rem          0 time: 0.03
68.26/17.16	c asymm  cl-useful: 0/83113/83113 lits-rem:0 time: 0.10
68.26/17.16	c calculated reachability. Time: 0.00
68.26/17.17	c  N dy   284     46264     19472     83113         0     20678    252184   1715225    130.44   no data
73.48/18.48	c  N dy   308     50302     19472     83113         0     24716    252184   2525560    130.10    137.08
79.04/19.88	c  N dy   336     54368     19472     83113         0     28782    252184   3393058    130.63    140.95
85.04/21.32	c  N dy   367     58387     19472     83113         0     32801    252184   4241342    130.76    138.04
90.65/22.75	c  N dy   395     62453     19472     83113         0     36866    252184   5065525    130.75    138.41
96.22/24.14	c  N dy   422     66496     19472     83113         0     22202    252184   1391418    130.64    138.71
100.21/25.12	c  S st   441     69397     19472     83113         0     25103    252184   1994914    130.57    122.51
101.01/25.30	c  S st   441     69902     19472     83113         0     25608    252184   2079262    130.57   no data
101.01/25.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
101.41/25.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.09
101.41/25.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
101.41/25.43	c bin-w-bin subsume rem            0 bins  time:  0.01 s
101.41/25.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
101.41/25.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19472 time:  0.01 s
101.41/25.45	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
101.81/25.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
102.21/25.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
103.83/26.04	c lits-rem:         2  cl-subs:        3  v-elim:      0  v-fix:    0  time:  0.38 s
103.83/26.05	c vivif2 --  cl tried    83113 cl shrink        0 lits rem          0 time: 0.01
103.83/26.09	c vivif2 --  cl tried    25605 cl shrink        0 lits rem          0 time: 0.03
104.23/26.19	c asymm  cl-useful: 0/83113/83113 lits-rem:0 time: 0.11
104.60/26.20	c calculated reachability. Time: 0.00
104.60/26.20	c  N dy   441     69902     19472     83113         0     25605    252184   2078245    130.57   no data
110.60/27.78	c  N dy   470     74442     19472     83113         0     30145    252184   3027332    130.67    151.63
117.78/29.51	c  N dy   505     79267     19472     83113         0     34970    252184   4031767    130.87    137.91
124.98/31.38	c  N dy   542     84378     19472     83113         0     40081    252184   5109097    130.98    143.95
129.77/32.56	c  F st   564     87500     19472     83113         0     22352    252184    931408    130.96   no data
134.58/33.72	c  N st   569     90798     19472     83113         0     25650    252184   1797099    130.96   no data
142.53/35.71	c  N dy   597     96596     19472     83113         0     31448    252184   3092493    130.84    138.09
151.32/37.98	c  N dy   639    102926     19472     83113         0     37777    252184   4395919    130.65    138.35
154.11/38.69	c  S st   652    104854     19472     83113         0     39705    252184   4782154    130.56   no data
154.90/38.88	c  S st   652    105357     19472     83113         0     40208    252184   4853743    130.56   no data
154.90/38.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
155.30/38.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.10
155.70/39.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
155.70/39.02	c bin-w-bin subsume rem            0 bins  time:  0.01 s
155.70/39.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
155.70/39.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19472 time:  0.01 s
155.70/39.04	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
156.11/39.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
157.30/39.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
163.29/40.93	c lits-rem:         4  cl-subs:        7  v-elim:      0  v-fix:    0  time:  1.48 s
163.29/40.94	c vivif2 --  cl tried    83113 cl shrink        0 lits rem          0 time: 0.01
163.70/41.02	c vivif2 --  cl tried    40201 cl shrink        0 lits rem          0 time: 0.08
164.10/41.14	c asymm  cl-useful: 0/83113/83113 lits-rem:0 time: 0.13
164.10/41.15	c calculated reachability. Time: 0.00
164.10/41.15	c  N dy   652    105357     19472     83113         0     40201    252184   4850973    130.56   no data
174.10/43.66	c  N dy   695    112095     19472     83113         0     24510    252184   1014975    130.57    138.63
184.86/46.30	c  N dy   743    119639     19472     83113         0     32053    252184   2567747    130.42    141.40
196.07/49.14	c  N dy   794    127376     19472     83113         0     39789    252184   4158970    130.36    139.11
208.44/52.28	c  N dy   845    135659     19472     83113         0     24357    252184    672706    130.28    137.70
220.81/55.31	c  N dy   905    144345     19472     83113         0     33042    252184   2452287    130.28    152.57
234.40/58.70	c  N dy   963    153594     19472     83113         0     42291    252184   4382593    130.43    150.62
240.78/60.39	c  S st   990    158035     19472     83113         0     46731    252184   5281618    130.37    127.45
241.98/60.60	c  S st   990    158539     19472     83113         0     47235    252184   5368918    130.37   no data
241.98/60.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
242.38/60.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.10
242.38/60.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
242.38/60.75	c bin-w-bin subsume rem            0 bins  time:  0.01 s
242.38/60.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
242.38/60.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19472 time:  0.01 s
242.38/60.77	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
243.18/60.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
243.98/61.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
252.37/63.26	c lits-rem:         3  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.05 s
252.37/63.27	c vivif2 --  cl tried    83113 cl shrink        0 lits rem          0 time: 0.01
252.77/63.35	c vivif2 --  cl tried    47232 cl shrink        0 lits rem          0 time: 0.09
253.18/63.49	c asymm  cl-useful: 0/83113/83113 lits-rem:0 time: 0.14
253.18/63.50	c calculated reachability. Time: 0.00
253.18/63.50	c  N dy   990    158539     19472     83113         0     47232    252184   5368472    130.37   no data
267.95/67.18	c  N dy  1059    168701     19472     83113         0     32540    252184   2088672    130.33    137.21
283.94/71.18	c  N dy  1130    179527     19472     83113         0     43364    252184   4332442    130.29    153.14
301.52/75.59	c  N dy  1203    191242     19472     83113         0     29153    252184   1169589    130.21    141.43
319.50/80.00	c  N dy  1286    203460     19472     83113         0     41369    252184   3658191    130.21    137.87
339.85/85.15	c  N dy  1379    216555     19472     83113         0     27504    252184    599288    130.28    137.41
360.22/90.20	c  N dy  1474    230415     19472     83113         0     41364    252184   3442721    130.29    144.08
371.41/93.03	c  S st  1523    237808     19472     83113         0     48757    252184   4980066    130.30    126.14
372.23/93.23	c  S st  1523    238310     19472     83113         0     49259    252184   5054517    130.30   no data
372.23/93.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
372.61/93.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.11
372.61/93.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
372.61/93.38	c bin-w-bin subsume rem            0 bins  time:  0.01 s
372.61/93.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
373.00/93.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19472 time:  0.01 s
373.00/93.41	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
373.40/93.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
374.20/93.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
382.98/95.91	c lits-rem:         7  cl-subs:        5  v-elim:      0  v-fix:    0  time:  2.12 s
382.98/95.92	c vivif2 --  cl tried    83113 cl shrink        0 lits rem          0 time: 0.01
383.38/96.00	c vivif2 --  cl tried    49254 cl shrink        0 lits rem          0 time: 0.08
383.78/96.14	c asymm  cl-useful: 0/83113/83113 lits-rem:0 time: 0.14
383.78/96.15	c calculated reachability. Time: 0.00
383.78/96.15	c  N dy  1523    238310     19472     83113         0     49254    252184   5053304    130.30   no data
406.56/101.88	c  N dy  1611    253687     19472     83113         0     36652    252184   2214557    130.10    142.05
431.72/108.18	c  N dy  1721    270041     19472     83113         0     53005    252184   5650764    130.23    139.57
458.49/114.84	c  N dy  1840    287302     19472     83113         0     41275    252184   2982426    130.38    139.02
487.65/122.16	c  N dy  1968    305750     19472     83113         0     59722    252184   6804089    130.45    143.28
488.85/122.41	c  F st  1972    306251     19472     83113         0     30233    252184    504253    130.46    131.09
517.60/129.64	c  N dy  2074    325349     19472     83113         0     49330    252184   4754181    130.51    139.99
549.56/137.60	c  N dy  2217    345551     19472     83113         0     38532    252184   2022321    130.67    138.02
567.54/142.19	c  S st  2295    357468     19472     83113         0     50449    252184   4477258    130.66    135.61
568.74/142.40	c  S st  2295    357969     19472     83113         0     50950    252184   4548603    130.66   no data
568.74/142.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
569.14/142.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.11
569.14/142.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
569.14/142.55	c bin-w-bin subsume rem            0 bins  time:  0.01 s
569.14/142.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
569.14/142.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19472 time:  0.01 s
569.14/142.57	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
569.56/142.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
570.74/142.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
582.33/145.89	c lits-rem:         9  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.97 s
582.74/145.90	c vivif2 --  cl tried    83113 cl shrink        0 lits rem          0 time: 0.01
582.74/145.98	c vivif2 --  cl tried    50947 cl shrink        0 lits rem          0 time: 0.07
583.52/146.12	c asymm  cl-useful: 0/83113/83113 lits-rem:0 time: 0.14
583.52/146.13	c calculated reachability. Time: 0.00
583.52/146.13	c  N dy  2295    357969     19472     83113         0     50947    252184   4548143    130.66   no data
615.47/154.10	c  N dy  2421    378136     19472     83113         0     39111    252184   1918782    130.63    137.63
647.83/162.22	c  N dy  2553    398309     19472     83113         0     59280    252184   6082393    130.61    139.52
678.99/170.08	c  N dy  2686    418368     19472     83113         0     46343    252184   3236779    130.65    145.49
712.15/178.35	c  N dy  2825    438568     19472     83113         0     66543    252184   7430504    130.69    141.10
743.31/186.12	c  N dy  2954    458625     19472     83113         0     52601    252184   4325541    130.65    148.78
776.48/194.46	c  N dy  3085    478699     19472     83113         0     37678    252184    976486    130.63    140.21
808.02/202.32	c  N dy  3221    498735     19472     83113         0     57713    252184   5175793    130.70    139.24
841.18/210.60	c  N dy  3352    518802     19472     83113         0     41780    252184   1644687    130.68    156.41
869.91/217.84	c  S st  3471    536953     19472     83113         0     59931    252184   5407151    130.66   no data
870.70/218.06	c  S st  3471    537456     19472     83113         0     60434    252184   5481291    130.66   no data
870.70/218.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
871.10/218.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.11
871.50/218.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
871.50/218.22	c bin-w-bin subsume rem            0 bins  time:  0.01 s
871.50/218.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
871.50/218.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19472 time:  0.01 s
871.50/218.24	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
871.91/218.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
873.13/218.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
884.69/221.51	c lits-rem:         5  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.86 s
884.69/221.52	c vivif2 --  cl tried    83113 cl shrink        0 lits rem          0 time: 0.01
885.09/221.61	c vivif2 --  cl tried    60431 cl shrink        0 lits rem          0 time: 0.09
885.49/221.77	c asymm  cl-useful: 0/83113/83113 lits-rem:0 time: 0.16
885.49/221.77	c calculated reachability. Time: 0.00
885.49/221.77	c  N dy  3471    537456     19472     83113         0     60431    252184   5480245    130.66   no data
919.04/230.19	c  N dy  3613    557548     19472     83113         0     43524    252184   1821062    130.75    138.98
952.22/238.41	c  N dy  3756    577627     19472     83113         0     63601    252184   6056917    130.89    138.63
985.76/246.82	c  N dy  3892    597656     19472     83113         0     45629    252184   2047644    130.93    144.29
1018.91/255.15	c  N dy  4035    617764     19472     83113         0     65736    252184   6294574    131.07    146.95
1053.29/263.75	c  N dy  4179    637860     19472     83113         0     46835    252184   2089256    131.17    176.82
1086.42/272.02	c  N dy  4313    657914     19472     83113         0     66888    252184   6297660    131.21    157.32
1121.17/280.74	c  N dy  4443    677953     19472     83113         0     46928    252184   1899405    131.22    150.51
1154.72/289.14	c  N dy  4579    697959     19472     83113         0     66931    252184   6046488    131.23    143.67
1189.86/297.95	c  N dy  4719    718067     19472     83113         0     46043    252184   1509789    131.28    138.50
1222.63/306.18	c  N dy  4850    738135     19472     83113         0     66111    252184   5665703    131.30    139.06
1258.58/315.14	c  N dy  4983    758302     19472     83113         0     44283    252184    941710    131.32    138.48
1290.93/323.30	c  N dy  5119    778351     19472     83113         0     64331    252184   5161131    131.34    139.85
1327.28/332.34	c  N dy  5251    798370     19472     83113         0     84350    252184   9352789    131.34    141.69
1340.07/335.58	c  S st  5303    806184     19472     83113         0     49168    252184   1733956    131.33   no data
1340.87/335.78	c  S st  5303    806689     19472     83113         0     49673    252184   1798622    131.33   no data
1340.87/335.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1341.66/335.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.10
1341.66/335.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1341.66/335.93	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1341.66/335.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1341.66/335.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19472 time:  0.01 s
1341.66/335.95	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
1342.06/336.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
1342.46/336.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1345.26/336.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.69 s
1345.26/336.85	c vivif2 --  cl tried    83113 cl shrink        0 lits rem          0 time: 0.01
1345.26/336.88	c vivif2 --  cl tried    49673 cl shrink        0 lits rem          0 time: 0.03
1346.06/337.02	c asymm  cl-useful: 0/83113/83113 lits-rem:0 time: 0.14
1346.06/337.03	c calculated reachability. Time: 0.00
1346.06/337.03	c  N dy  5303    806689     19472     83113         0     49673    252184   1798622    131.33   no data
1379.61/345.47	c  N dy  5435    826725     19472     83113         0     69708    252184   5941146    131.31    138.98
1416.76/354.73	c  N dy  5574    846738     19472     83113         0     45722    252184    823232    131.34    147.66
1449.90/363.07	c  N dy  5710    866840     19472     83113         0     65823    252184   5053142    131.37    140.46
1486.26/372.17	c  N dy  5842    886924     19472     83113         0     85906    252184   9182044    131.35    141.51
1520.21/380.69	c  N dy  5979    906969     19472     83113         0     60950    252184   3799300    131.36    139.43
1556.16/389.61	c  N dy  6118    927007     19472     83113         0     80985    252184   7995540    131.40    139.34
1592.12/398.63	c  N dy  6258    947091     19472     83113         0     55069    252184   2370971    131.47    143.26
1626.07/407.16	c  N dy  6386    967160     19472     83113         0     75134    252184   6541804    131.47    146.00
1664.04/416.63	c  N dy  6525    987168     19472     83113         0     48146    252184    709462    131.52    138.52
1697.57/425.06	c  N dy  6658   1007291     19472     83113         0     68268    252184   4926514    131.53    141.26
1734.33/434.24	c  N dy  6792   1027360     19472     83113         0     88337    252184   9092627    131.54    140.68
1769.87/443.17	c  N dy  6927   1047629     19472     83113         0     60607    252184   3116633    131.52    139.23
1805.41/452.06	c  N dy  7064   1067643     19472     83113         0     80621    252184   7228932    131.53    196.99
1813.42/454.08	c  F st  7093   1071876     19472     83113         0     84854    252184   8115416    131.54   no data
1843.77/461.69	c  N dy  7173   1087773     19472     83113         0     51749    252184   1060807    131.56    140.89
1878.50/470.39	c  N dy  7310   1107830     19472     83113         0     71805    252184   5285844    131.61    138.93
1915.66/479.62	c  N dy  7438   1127876     19472     83113         0     91847    252184   9449213    131.59    138.75
1952.00/488.71	c  N dy  7577   1148028     19472     83113         0     62007    252184   3016861    131.61    139.07
1987.95/497.79	c  N dy  7710   1168213     19472     83113         0     82192    252184   7233002    131.62    143.50
2028.31/507.85	c  N dy  7848   1188294     19472     83113         0     51272    252184    551581    131.67    141.16
2062.25/516.36	c  N dy  7986   1208361     19472     83113         0     71337    252184   4717765    131.70    194.90
2065.44/517.17	c  S st  7996   1210033     19472     83113         0     73009    252184   5069496    131.69    121.80
2066.64/517.45	c  S st  7996   1210538     19472     83113         0     73514    252184   5148177    131.69   no data
2066.64/517.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2067.44/517.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.13
2067.44/517.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2067.44/517.63	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2067.44/517.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2067.44/517.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19472 time:  0.01 s
2067.44/517.65	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
2067.85/517.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
2069.03/518.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2081.44/521.13	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  3.05 s
2081.44/521.14	c vivif2 --  cl tried    83113 cl shrink        0 lits rem          0 time: 0.01
2081.81/521.23	c vivif2 --  cl tried    73512 cl shrink        0 lits rem          0 time: 0.09
2082.61/521.41	c asymm  cl-useful: 0/83113/83113 lits-rem:0 time: 0.18
2082.61/521.42	c calculated reachability. Time: 0.00
2082.61/521.42	c  N dy  7996   1210538     19472     83113         0     73512    252184   5146957    131.69   no data
2120.59/530.97	c  N dy  8134   1230622     19472     83113         0     93594    252184   9332055    131.70    141.96
2157.70/540.23	c  N dy  8268   1250686     19472     83113         0     61663    252184   2507044    131.69    140.35
2193.26/549.18	c  N dy  8399   1270870     19472     83113         0     81846    252184   6661153    131.69    139.53
2232.80/559.00	c  N dy  8533   1290892     19472     83113         0    101868    252184  10882992    131.71    153.84
2268.35/567.91	c  N dy  8672   1310956     19472     83113         0     68928    252184   3844974    131.73    138.98
2306.69/577.59	c  N dy  8811   1331384     19472     83113         0     89356    252184   8148860    131.76    140.28
2347.03/587.61	c  N dy  8941   1351497     19472     83113         0     55479    252184    811728    131.77    141.30
2382.59/596.54	c  N dy  9072   1372203     19472     83113         0     76184    252184   5126543    131.75    138.80
2420.93/606.17	c  N dy  9215   1392280     19472     83113         0     96258    252184   9296987    131.76    143.21
2460.07/615.98	c  N dy  9355   1412292     19472     83113         0     61262    252184   1823691    131.79    141.56
2495.62/624.89	c  N dy  9480   1432343     19472     83113         0     81311    252184   6015466    131.77    140.10
2534.37/634.59	c  N dy  9599   1452365     19472     83113         0    101333    252184  10152276    131.74    140.27
2573.14/644.23	c  N dy  9739   1472392     19472     83113         0     65362    252184   2507195    131.77    144.91
2609.46/653.38	c  N dy  9877   1492407     19472     83113         0     85376    252184   6713960    131.78    172.56
2649.40/663.38	c  N dy 10007   1512530     19472     83113         0    105498    252184  10935324    131.78    141.30
2687.77/672.96	c  N dy 10143   1532665     19472     83113         0     68636    252184   2975051    131.79    141.92
2724.90/682.26	c  N dy 10273   1552775     19472     83113         0     88745    252184   7167759    131.79    146.92
2765.64/692.43	c  N dy 10416   1572785     19472     83113         0    108753    252184  11373109    131.80    139.18
2803.19/701.89	c  N dy 10546   1592868     19472     83113         0     70841    252184   3194436    131.77    141.02
2840.73/711.26	c  N dy 10676   1612933     19472     83113         0     90904    252184   7386665    131.78    140.42
2881.47/721.40	c  N dy 10798   1632956     19472     83113         0    110925    252184  11546470    131.76    141.68
2919.43/730.92	c  N dy 10935   1653003     19472     83113         0     71973    252184   3253097    131.79    140.78
2956.97/740.34	c  N dy 11074   1673017     19472     83113         0     91987    252184   7431938    131.80    140.58
2998.52/750.75	c  N dy 11216   1693143     19472     83113         0    112112    252184  11689450    131.84    139.46
3032.47/759.26	c  S st 11342   1710538     19472     83113         0     69504    252184   2565637    131.87   no data
3033.27/759.48	c  S st 11342   1711043     19472     83113         0     70009    252184   2635866    131.87   no data
3033.27/759.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3034.06/759.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.12
3034.06/759.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3034.06/759.65	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3034.06/759.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3034.06/759.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19472 time:  0.01 s
3034.06/759.67	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
3034.48/759.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
3035.26/759.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3042.05/761.65	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  1.73 s
3042.05/761.66	c vivif2 --  cl tried    83113 cl shrink        0 lits rem          0 time: 0.01
3042.45/761.71	c vivif2 --  cl tried    70008 cl shrink        0 lits rem          0 time: 0.05
3042.85/761.90	c asymm  cl-useful: 0/83113/83113 lits-rem:0 time: 0.18
3043.27/761.91	c calculated reachability. Time: 0.00
3043.27/761.91	c  N dy 11342   1711043     19472     83113         0     70008    252184   2635508    131.87   no data
3080.80/771.34	c  N dy 11478   1731228     19472     83113         0     90192    252184   6914163    131.90    138.87
3121.55/781.57	c  N dy 11608   1751357     19472     83113         0    110319    252184  11126589    131.91    145.49
3161.49/791.56	c  N dy 11742   1771368     19472     83113         0     69337    252184   2299875    131.91    154.97
3198.63/800.84	c  N dy 11876   1791456     19472     83113         0     89423    252184   6470202    131.92    141.15
3239.78/811.17	c  N dy 12015   1811735     19472     83113         0    109702    252184  10750324    131.94    140.35
3282.11/821.70	c  N dy 12141   1831859     19472     83113         0     67828    252184   1754408    131.92    139.68
3319.66/831.10	c  N dy 12269   1851882     19472     83113         0     87850    252184   5967008    131.92    142.21
3360.02/841.27	c  N dy 12404   1871916     19472     83113         0    107880    252184  10177512    131.93    145.27
3403.56/852.15	c  N dy 12544   1891977     19472     83113         0     64945    252184    958965    131.95    141.14
3439.49/861.19	c  N dy 12673   1912026     19472     83113         0     84994    252184   5092664    131.93    141.06
3479.83/871.29	c  N dy 12811   1932082     19472     83113         0    105050    252184   9314685    131.96    139.46
3523.37/882.12	c  N dy 12935   1952183     19472     83113         0    125149    252184  13495353    131.94    139.91
3561.32/891.62	c  N dy 13077   1972366     19472     83113         0     81338    252184   4223855    131.97    140.37
3600.47/901.49	c  N dy 13207   1992571     19472     83113         0    101542    252184   8533225    131.98    141.45
3643.61/912.29	c  N dy 13348   2012686     19472     83113         0    121655    252184  12762855    132.00    141.81
3683.95/922.39	c  N dy 13491   2032748     19472     83113         0     76720    252184   3063269    132.03    150.40
3723.09/932.15	c  N dy 13622   2052946     19472     83113         0     96917    252184   7300970    132.03    140.68
3765.03/942.61	c  N dy 13750   2073093     19472     83113         0    117064    252184  11526848    132.03    140.23
3808.19/953.49	c  N dy 13887   2093147     19472     83113         0     71125    252184   1661307    132.06    155.72
3846.13/962.93	c  N dy 14030   2113154     19472     83113         0     91131    252184   5929434    132.10    140.35
3887.65/973.37	c  N dy 14170   2133177     19472     83113         0    111152    252184  10179756    132.11    152.55
3931.99/984.47	c  N dy 14299   2153249     19472     83113         0    131223    252184  14360015    132.09    139.77
3969.95/993.99	c  N dy 14426   2173344     19472     83113         0     84316    252184   4200610    132.08    140.68
4011.08/1004.22	c  N dy 14553   2193455     19472     83113         0    104424    252184   8361637    132.07    145.49
4049.46/1013.85	c  S st 14669   2211043     19472     83113         0    122010    252184  12014171    132.07   no data
4050.64/1014.16	c  S st 14669   2211545     19472     83113         0    122512    252184  12089791    132.07   no data
4050.64/1014.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4051.44/1014.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.17
4051.44/1014.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4051.44/1014.39	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4051.84/1014.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4051.84/1014.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19472 time:  0.01 s
4051.84/1014.42	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
4052.64/1014.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
4055.43/1015.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4083.40/1022.30	c lits-rem:        14  cl-subs:        9  v-elim:      0  v-fix:    0  time:  6.94 s
4083.40/1022.32	c vivif2 --  cl tried    83113 cl shrink        0 lits rem          0 time: 0.01
4084.20/1022.54	c vivif2 --  cl tried   122503 cl shrink        0 lits rem          0 time: 0.22
4085.39/1022.82	c asymm  cl-useful: 0/83113/83113 lits-rem:0 time: 0.29
4085.39/1022.83	c calculated reachability. Time: 0.00
4085.39/1022.83	c  N dy 14669   2211545     19472     83113         0    122503    252184  12087228    132.07   no data
4129.74/1033.94	c  N dy 14803   2231575     19472     83113         0     74537    252184   1954721    132.08    139.96
4167.69/1043.42	c  N dy 14934   2251636     19472     83113         0     94596    252184   6135068    132.09    139.48
4209.63/1053.91	c  N dy 15076   2271729     19472     83113         0    114687    252184  10349427    132.10    157.87
4254.79/1065.29	c  N dy 15216   2291830     19472     83113         0    134788    252184  14627251    132.12    140.79
4293.54/1074.98	c  N dy 15352   2311931     19472     83113         0     85894    252184   4133027    132.12    139.95
4333.89/1085.04	c  N dy 15480   2332254     19472     83113         0    106215    252184   8399676    132.12    139.10
4377.03/1095.82	c  N dy 15611   2352287     19472     83113         0    126248    252184  12585479    132.12    140.22
4421.38/1106.93	c  N dy 15754   2372359     19472     83113         0     76327    252184   1949680    132.14    143.66
4460.12/1116.64	c  N dy 15892   2392528     19472     83113         0     96496    252184   6194714    132.16    140.99
4502.09/1127.16	c  N dy 16028   2412626     19472     83113         0    116592    252184  10395642    132.18    139.90
4548.01/1138.68	c  N dy 16169   2432756     19472     83113         0    136721    252184  14704893    132.20    141.57
4587.96/1148.68	c  N dy 16301   2452790     19472     83113         0     85761    252184   3636041    132.18    139.48
4628.31/1158.78	c  N dy 16437   2473028     19472     83113         0    105996    252184   7930004    132.21    140.19
4672.25/1169.71	c  N dy 16575   2493081     19472     83113         0    126048    252184  12185370    132.21    146.20
4718.59/1181.34	c  N dy 16710   2513086     19472     83113         0     74056    252184   1034523    132.22    148.76
4756.15/1190.72	c  N dy 16828   2533154     19472     83113         0     94122    252184   5269790    132.21    179.20
4797.29/1201.06	c  N dy 16960   2553242     19472     83113         0    114208    252184   9426265    132.21    140.50

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3173828-1304031448/watcher-3173828-1304031448 -o /tmp/evaluation-result-3173828-1304031448/solver-3173828-1304031448 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173828-1304031448.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: 8.03 8.07 7.67 5/178 18407
/proc/meminfo: memFree=24447832/32951132 swapFree=67111524/67111528
[pid=18407] ppid=18405 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/18407/stat : 18407 (strangenight2-m) R 18405 18407 18108 0 -1 4202496 414 0 0 0 0 0 0 0 25 0 4 0 514744519 52441088 354 33554432000 4194304 4627427 140736267588848 18446744073709551615 274664808379 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18407/statm: 12803 354 303 106 0 7774 0
[pid=18407/tid=18408] ppid=18405 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/18407/task/18408/stat : 18408 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 514744519 52441088 354 33554432000 4194304 4627427 140736267588848 18446744073709551615 47031646140338 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18407/tid=18409] ppid=18405 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/18407/task/18409/stat : 18409 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 514744519 52441088 354 33554432000 4194304 4627427 140736267588848 18446744073709551615 274659855446 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18407/tid=18410] ppid=18405 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/18407/task/18410/stat : 18410 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 514744519 52441088 354 33554432000 4194304 4627427 140736267588848 18446744073709551615 274659855446 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0393079 s]
/proc/loadavg: 8.03 8.07 7.67 5/178 18407
/proc/meminfo: memFree=24447832/32951132 swapFree=67111524/67111528
[pid=18407] ppid=18405 vsize=300312 CPUtime=0.12 cores=1,3,5,7
/proc/18407/stat : 18407 (strangenight2-m) R 18405 18407 18108 0 -1 4202496 11740 0 0 0 10 2 0 0 25 0 4 0 514744519 307519488 9673 33554432000 4194304 4627427 140736267588848 18446744073709551615 4507248 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18407/statm: 75078 9674 339 106 0 70049 0
[pid=18407/tid=18408] ppid=18405 vsize=300312 CPUtime=0.02 cores=1,3,5,7
/proc/18407/task/18408/stat : 18408 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 2703 0 0 0 2 0 0 0 25 0 4 0 514744519 307519488 9674 33554432000 4194304 4627427 140736267588848 18446744073709551615 4361048 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18407/tid=18409] ppid=18405 vsize=300312 CPUtime=0.02 cores=1,3,5,7
/proc/18407/task/18409/stat : 18409 (strangenight2-m) D 18405 18407 18108 0 -1 4202560 2807 0 0 0 2 0 0 0 18 0 4 0 514744519 307519488 9674 33554432000 4194304 4627427 140736267588848 18446744073709551615 4506933 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18407/tid=18410] ppid=18405 vsize=300312 CPUtime=0.02 cores=1,3,5,7
/proc/18407/task/18410/stat : 18410 (strangenight2-m) D 18405 18407 18108 0 -1 4202560 2851 0 0 0 2 0 0 0 18 0 4 0 514744519 307519488 9674 33554432000 4194304 4627427 140736267588848 18446744073709551615 274664851639 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 300312

[startup+0.112256 s]
/proc/loadavg: 8.03 8.07 7.67 5/178 18407
/proc/meminfo: memFree=24447832/32951132 swapFree=67111524/67111528
[pid=18407] ppid=18405 vsize=302644 CPUtime=0.4 cores=1,3,5,7
/proc/18407/stat : 18407 (strangenight2-m) R 18405 18407 18108 0 -1 4202496 15074 0 0 0 37 3 0 0 18 0 4 0 514744519 309907456 13007 33554432000 4194304 4627427 140736267588848 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18407/statm: 75661 13008 364 106 0 70632 0
[pid=18407/tid=18408] ppid=18405 vsize=302644 CPUtime=0.09 cores=1,3,5,7
/proc/18407/task/18408/stat : 18408 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 3542 0 0 0 9 0 0 0 25 0 4 0 514744519 309907456 13008 33554432000 4194304 4627427 140736267588848 18446744073709551615 4308368 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18407/tid=18409] ppid=18405 vsize=302644 CPUtime=0.09 cores=1,3,5,7
/proc/18407/task/18409/stat : 18409 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 3612 0 0 0 9 0 0 0 18 0 4 0 514744519 309907456 13008 33554432000 4194304 4627427 140736267588848 18446744073709551615 4308064 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18407/tid=18410] ppid=18405 vsize=302644 CPUtime=0.09 cores=1,3,5,7
/proc/18407/task/18410/stat : 18410 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 3704 0 0 0 9 0 0 0 18 0 4 0 514744519 309907456 13008 33554432000 4194304 4627427 140736267588848 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 302644

[startup+0.315047 s]
/proc/loadavg: 8.03 8.07 7.67 5/178 18407
/proc/meminfo: memFree=24447832/32951132 swapFree=67111524/67111528
[pid=18407] ppid=18405 vsize=321440 CPUtime=1.21 cores=1,3,5,7
/proc/18407/stat : 18407 (strangenight2-m) R 18405 18407 18108 0 -1 4202496 27929 0 0 0 115 6 0 0 18 0 4 0 514744519 329154560 21250 33554432000 4194304 4627427 140736267588848 18446744073709551615 274664866218 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18407/statm: 80360 21250 381 106 0 75331 0
[pid=18407/tid=18408] ppid=18405 vsize=321440 CPUtime=0.29 cores=1,3,5,7
/proc/18407/task/18408/stat : 18408 (strangenight2-m) D 18405 18407 18108 0 -1 4202560 7707 0 0 0 28 1 0 0 18 0 4 0 514744519 329154560 21250 33554432000 4194304 4627427 140736267588848 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18407/tid=18409] ppid=18405 vsize=321440 CPUtime=0.29 cores=1,3,5,7
/proc/18407/task/18409/stat : 18409 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 7712 0 0 0 28 1 0 0 18 0 4 0 514744519 329154560 21250 33554432000 4194304 4627427 140736267588848 18446744073709551615 274664466569 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18407/tid=18410] ppid=18405 vsize=321440 CPUtime=0.29 cores=1,3,5,7
/proc/18407/task/18410/stat : 18410 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 3922 0 0 0 29 0 0 0 18 0 4 0 514744519 329154560 21250 33554432000 4194304 4627427 140736267588848 18446744073709551615 4327552 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 321440

[startup+1.213 s]
/proc/loadavg: 8.03 8.07 7.67 5/178 18407
/proc/meminfo: memFree=24447832/32951132 swapFree=67111524/67111528
[pid=18407] ppid=18405 vsize=322096 CPUtime=4.8 cores=1,3,5,7
/proc/18407/stat : 18407 (strangenight2-m) R 18405 18407 18108 0 -1 4202496 31962 0 0 0 473 7 0 0 19 0 4 0 514744519 329826304 24286 33554432000 4194304 4627427 140736267588848 18446744073709551615 4321729 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18407/statm: 80524 24286 385 106 0 75495 0
[pid=18407/tid=18408] ppid=18405 vsize=322096 CPUtime=1.19 cores=1,3,5,7
/proc/18407/task/18408/stat : 18408 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 8752 0 0 0 118 1 0 0 19 0 4 0 514744519 329826304 24286 33554432000 4194304 4627427 140736267588848 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18407/tid=18409] ppid=18405 vsize=322096 CPUtime=1.19 cores=1,3,5,7
/proc/18407/task/18409/stat : 18409 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 8402 0 0 0 118 1 0 0 19 0 4 0 514744519 329826304 24286 33554432000 4194304 4627427 140736267588848 18446744073709551615 4321739 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18407/tid=18410] ppid=18405 vsize=322096 CPUtime=1.19 cores=1,3,5,7
/proc/18407/task/18410/stat : 18410 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 4703 0 0 0 119 0 0 0 19 0 4 0 514744519 329826304 24286 33554432000 4194304 4627427 140736267588848 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.8
Current children cumulated vsize (KiB) 322096

[startup+1.51295 s]
/proc/loadavg: 8.03 8.07 7.67 5/178 18407
/proc/meminfo: memFree=24447832/32951132 swapFree=67111524/67111528
[pid=18407] ppid=18405 vsize=322096 CPUtime=6.01 cores=1,3,5,7
/proc/18407/stat : 18407 (strangenight2-m) R 18405 18407 18108 0 -1 4202496 32834 0 0 0 593 8 0 0 19 0 4 0 514744519 329826304 25158 33554432000 4194304 4627427 140736267588848 18446744073709551615 4308712 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18407/statm: 80524 25158 385 106 0 75495 0
[pid=18407/tid=18408] ppid=18405 vsize=322096 CPUtime=1.49 cores=1,3,5,7
/proc/18407/task/18408/stat : 18408 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 8972 0 0 0 148 1 0 0 19 0 4 0 514744519 329826304 25158 33554432000 4194304 4627427 140736267588848 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18407/tid=18409] ppid=18405 vsize=322096 CPUtime=1.49 cores=1,3,5,7
/proc/18407/task/18409/stat : 18409 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 8617 0 0 0 148 1 0 0 19 0 4 0 514744519 329826304 25158 33554432000 4194304 4627427 140736267588848 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18407/tid=18410] ppid=18405 vsize=322096 CPUtime=1.49 cores=1,3,5,7
/proc/18407/task/18410/stat : 18410 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 4925 0 0 0 149 0 0 0 19 0 4 0 514744519 329826304 25158 33554432000 4194304 4627427 140736267588848 18446744073709551615 274664469537 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 322096

[startup+3.10068 s]
/proc/loadavg: 8.35 8.13 7.70 9/182 18411
/proc/meminfo: memFree=24313636/32951132 swapFree=67111524/67111528
[pid=18407] ppid=18405 vsize=453360 CPUtime=12.35 cores=1,3,5,7
/proc/18407/stat : 18407 (strangenight2-m) R 18405 18407 18108 0 -1 4202496 37780 0 0 0 1226 9 0 0 24 0 4 0 514744519 464240640 30104 33554432000 4194304 4627427 140736267588848 18446744073709551615 4321883 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18407/statm: 113340 30105 385 106 0 108311 0
[pid=18407/tid=18408] ppid=18405 vsize=453360 CPUtime=3.07 cores=1,3,5,7
/proc/18407/task/18408/stat : 18408 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 10143 0 0 0 305 2 0 0 24 0 4 0 514744519 464240640 30105 33554432000 4194304 4627427 140736267588848 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18407/tid=18409] ppid=18405 vsize=453360 CPUtime=3.08 cores=1,3,5,7
/proc/18407/task/18409/stat : 18409 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 9726 0 0 0 307 1 0 0 24 0 4 0 514744519 464240640 30105 33554432000 4194304 4627427 140736267588848 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18407/tid=18410] ppid=18405 vsize=453360 CPUtime=3.08 cores=1,3,5,7
/proc/18407/task/18410/stat : 18410 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 6357 0 0 0 307 1 0 0 25 0 4 0 514744519 464240640 30105 33554432000 4194304 4627427 140736267588848 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 453360

[startup+6.30612 s]
/proc/loadavg: 8.35 8.13 7.70 9/182 18411
/proc/meminfo: memFree=24348572/32951132 swapFree=67111524/67111528
[pid=18407] ppid=18405 vsize=425592 CPUtime=25.15 cores=1,3,5,7
/proc/18407/stat : 18407 (strangenight2-m) R 18405 18407 18108 0 -1 4202496 47738 0 0 0 2503 12 0 0 25 0 4 0 514744519 435806208 35486 33554432000 4194304 4627427 140736267588848 18446744073709551615 4299657 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18407/statm: 106398 35486 386 106 0 101369 0
[pid=18407/tid=18408] ppid=18405 vsize=425592 CPUtime=6.25 cores=1,3,5,7
/proc/18407/task/18408/stat : 18408 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 12317 0 0 0 623 2 0 0 25 0 4 0 514744519 435806208 35486 33554432000 4194304 4627427 140736267588848 18446744073709551615 4327647 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18407/tid=18409] ppid=18405 vsize=425592 CPUtime=6.29 cores=1,3,5,7
/proc/18407/task/18409/stat : 18409 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 11855 0 0 0 626 3 0 0 25 0 4 0 514744519 435806208 35486 33554432000 4194304 4627427 140736267588848 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18407/tid=18410] ppid=18405 vsize=425592 CPUtime=6.29 cores=1,3,5,7
/proc/18407/task/18410/stat : 18410 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 9762 0 0 0 627 2 0 0 25 0 4 0 514744519 435806208 35486 33554432000 4194304 4627427 140736267588848 18446744073709551615 4327606 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 425592

[startup+12.701 s]
/proc/loadavg: 8.30 8.13 7.70 9/182 18411
/proc/meminfo: memFree=24262740/32951132 swapFree=67111524/67111528
[pid=18407] ppid=18405 vsize=686672 CPUtime=50.69 cores=1,3,5,7
/proc/18407/stat : 18407 (strangenight2-m) R 18405 18407 18108 0 -1 4202496 105138 0 0 0 5043 26 0 0 25 0 4 0 514744519 703152128 77368 33554432000 4194304 4627427 140736267588848 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18407/statm: 171668 77368 390 106 0 166639 0
[pid=18407/tid=18408] ppid=18405 vsize=686672 CPUtime=12.61 cores=1,3,5,7
/proc/18407/task/18408/stat : 18408 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 39844 0 0 0 1252 9 0 0 25 0 4 0 514744519 703152128 77368 33554432000 4194304 4627427 140736267588848 18446744073709551615 4468043 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18407/tid=18409] ppid=18405 vsize=686672 CPUtime=12.68 cores=1,3,5,7
/proc/18407/task/18409/stat : 18409 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 17341 0 0 0 1263 5 0 0 25 0 4 0 514744519 703152128 77368 33554432000 4194304 4627427 140736267588848 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18407/tid=18410] ppid=18405 vsize=686672 CPUtime=12.69 cores=1,3,5,7
/proc/18407/task/18410/stat : 18410 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 14021 0 0 0 1266 3 0 0 25 0 4 0 514744519 703152128 77368 33554432000 4194304 4627427 140736267588848 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 686672

[startup+25.5008 s]
/proc/loadavg: 8.33 8.14 7.71 9/182 18411
/proc/meminfo: memFree=24058388/32951132 swapFree=67111524/67111528
[pid=18407] ppid=18405 vsize=578564 CPUtime=101.81 cores=1,3,5,7
/proc/18407/stat : 18407 (strangenight2-m) R 18405 18407 18108 0 -1 4202496 161721 0 0 0 10142 39 0 0 25 0 4 0 514744519 592449536 85698 33554432000 4194304 4627427 140736267588848 18446744073709551615 4409426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18407/statm: 144641 85698 390 106 0 139612 0
[pid=18407/tid=18408] ppid=18405 vsize=578564 CPUtime=25.34 cores=1,3,5,7
/proc/18407/task/18408/stat : 18408 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 49562 0 0 0 2523 11 0 0 25 0 4 0 514744519 592449536 85698 33554432000 4194304 4627427 140736267588848 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18407/tid=18409] ppid=18405 vsize=578564 CPUtime=25.47 cores=1,3,5,7
/proc/18407/task/18409/stat : 18409 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 33092 0 0 0 2539 8 0 0 25 0 4 0 514744519 592449536 85698 33554432000 4194304 4627427 140736267588848 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18407/tid=18410] ppid=18405 vsize=578564 CPUtime=25.48 cores=1,3,5,7
/proc/18407/task/18410/stat : 18410 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 33117 0 0 0 2541 7 0 0 25 0 4 0 514744519 592449536 85698 33554432000 4194304 4627427 140736267588848 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 578564

[startup+51.1004 s]
/proc/loadavg: 8.22 8.13 7.72 9/182 18412
/proc/meminfo: memFree=23834368/32951132 swapFree=67111524/67111528
[pid=18407] ppid=18405 vsize=804944 CPUtime=204.04 cores=1,3,5,7
/proc/18407/stat : 18407 (strangenight2-m) R 18405 18407 18108 0 -1 4202496 245491 0 0 0 20335 69 0 0 25 0 4 0 514744519 824262656 137635 33554432000 4194304 4627427 140736267588848 18446744073709551615 4308599 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18407/statm: 201236 137635 390 106 0 196207 0
[pid=18407/tid=18408] ppid=18405 vsize=804944 CPUtime=50.81 cores=1,3,5,7
/proc/18407/task/18408/stat : 18408 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 66982 0 0 0 5064 17 0 0 25 0 4 0 514744519 824262656 137635 33554432000 4194304 4627427 140736267588848 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18407/tid=18409] ppid=18405 vsize=804944 CPUtime=51.04 cores=1,3,5,7
/proc/18407/task/18409/stat : 18409 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 48174 0 0 0 5086 18 0 0 25 0 4 0 514744519 824262656 137635 33554432000 4194304 4627427 140736267588848 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18407/tid=18410] ppid=18405 vsize=804944 CPUtime=51.09 cores=1,3,5,7
/proc/18407/task/18410/stat : 18410 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 57578 0 0 0 5095 14 0 0 25 0 4 0 514744519 824262656 137635 33554432000 4194304 4627427 140736267588848 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.04
Current children cumulated vsize (KiB) 804944

[startup+102.3 s]
/proc/loadavg: 8.17 8.13 7.74 9/182 18413
/proc/meminfo: memFree=23691604/32951132 swapFree=67111524/67111528
[pid=18407] ppid=18405 vsize=778516 CPUtime=408.55 cores=1,3,5,7
/proc/18407/stat : 18407 (strangenight2-m) R 18405 18407 18108 0 -1 4202496 347378 0 0 0 40754 101 0 0 25 0 4 0 514744519 797200384 153762 33554432000 4194304 4627427 140736267588848 18446744073709551615 4308376 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18407/statm: 194629 153762 390 106 0 189600 0
[pid=18407/tid=18408] ppid=18405 vsize=778516 CPUtime=101.73 cores=1,3,5,7
/proc/18407/task/18408/stat : 18408 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 94351 0 0 0 10147 26 0 0 25 0 4 0 514744519 797200384 153762 33554432000 4194304 4627427 140736267588848 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18407/tid=18409] ppid=18405 vsize=778516 CPUtime=102.24 cores=1,3,5,7
/proc/18407/task/18409/stat : 18409 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 76214 0 0 0 10197 27 0 0 25 0 4 0 514744519 797200384 153762 33554432000 4194304 4627427 140736267588848 18446744073709551615 4327488 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18407/tid=18410] ppid=18405 vsize=778516 CPUtime=102.28 cores=1,3,5,7
/proc/18407/task/18410/stat : 18410 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 81200 0 0 0 10206 22 0 0 25 0 4 0 514744519 797200384 153762 33554432000 4194304 4627427 140736267588848 18446744073709551615 4332968 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.55
Current children cumulated vsize (KiB) 778516

[startup+162.301 s]

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

[pid=18407] ppid=18405 vsize=1378216 CPUtime=2805.18 cores=1,3,5,7
/proc/18407/stat : 18407 (strangenight2-m) R 18405 18407 18108 0 -1 4202496 1425952 0 0 0 280036 482 0 0 25 0 4 0 514744519 1411293184 265188 33554432000 4194304 4627427 140736267588848 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18407/statm: 344554 265188 390 106 0 339525 0
[pid=18407/tid=18408] ppid=18405 vsize=1378216 CPUtime=698.47 cores=1,3,5,7
/proc/18407/task/18408/stat : 18408 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 351528 0 0 0 69727 120 0 0 25 0 4 0 514744519 1411293184 265188 33554432000 4194304 4627427 140736267588848 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18407/tid=18409] ppid=18405 vsize=1378216 CPUtime=702.2 cores=1,3,5,7
/proc/18407/task/18409/stat : 18409 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 318185 0 0 0 70106 114 0 0 25 0 4 0 514744519 1411293184 265188 33554432000 4194304 4627427 140736267588848 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18407/tid=18410] ppid=18405 vsize=1378216 CPUtime=702.26 cores=1,3,5,7
/proc/18407/task/18410/stat : 18410 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 382146 0 0 0 70103 123 0 0 25 0 4 0 514744519 1411293184 265188 33554432000 4194304 4627427 140736267588848 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.18
Current children cumulated vsize (KiB) 1378216

[startup+762.301 s]
/proc/loadavg: 8.10 8.12 7.92 9/182 18443
/proc/meminfo: memFree=22811444/32951132 swapFree=67111524/67111528
[pid=18407] ppid=18405 vsize=1324024 CPUtime=3044.85 cores=1,3,5,7
/proc/18407/stat : 18407 (strangenight2-m) R 18405 18407 18108 0 -1 4202496 1520995 0 0 0 303964 521 0 0 25 0 4 0 514744519 1355800576 271055 33554432000 4194304 4627427 140736267588848 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18407/statm: 331006 271055 390 106 0 325977 0
[pid=18407/tid=18408] ppid=18405 vsize=1324024 CPUtime=758.13 cores=1,3,5,7
/proc/18407/task/18408/stat : 18408 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 375386 0 0 0 75685 128 0 0 25 0 4 0 514744519 1355800576 271055 33554432000 4194304 4627427 140736267588848 18446744073709551615 4468055 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18407/tid=18409] ppid=18405 vsize=1324024 CPUtime=762.2 cores=1,3,5,7
/proc/18407/task/18409/stat : 18409 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 339415 0 0 0 76095 125 0 0 25 0 4 0 514744519 1355800576 271055 33554432000 4194304 4627427 140736267588848 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18407/tid=18410] ppid=18405 vsize=1324024 CPUtime=762.26 cores=1,3,5,7
/proc/18407/task/18410/stat : 18410 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 408709 0 0 0 76091 135 0 0 25 0 4 0 514744519 1355800576 271055 33554432000 4194304 4627427 140736267588848 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3044.85
Current children cumulated vsize (KiB) 1324024

[startup+822.301 s]
/proc/loadavg: 8.10 8.11 7.92 9/182 18444
/proc/meminfo: memFree=22721404/32951132 swapFree=67111524/67111528
[pid=18407] ppid=18405 vsize=1342336 CPUtime=3284.51 cores=1,3,5,7
/proc/18407/stat : 18407 (strangenight2-m) R 18405 18407 18108 0 -1 4202496 1639529 0 0 0 327892 559 0 0 25 0 4 0 514744519 1374552064 270609 33554432000 4194304 4627427 140736267588848 18446744073709551615 4308329 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18407/statm: 335584 270609 390 106 0 330555 0
[pid=18407/tid=18408] ppid=18405 vsize=1342336 CPUtime=817.81 cores=1,3,5,7
/proc/18407/task/18408/stat : 18408 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 401700 0 0 0 81644 137 0 0 25 0 4 0 514744519 1374552064 270609 33554432000 4194304 4627427 140736267588848 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18407/tid=18409] ppid=18405 vsize=1342336 CPUtime=822.19 cores=1,3,5,7
/proc/18407/task/18409/stat : 18409 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 382343 0 0 0 82083 136 0 0 25 0 4 0 514744519 1374552064 270609 33554432000 4194304 4627427 140736267588848 18446744073709551615 4468055 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18407/tid=18410] ppid=18405 vsize=1342336 CPUtime=822.25 cores=1,3,5,7
/proc/18407/task/18410/stat : 18410 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 433068 0 0 0 82081 144 0 0 25 0 4 0 514744519 1374552064 270609 33554432000 4194304 4627427 140736267588848 18446744073709551615 4310378 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.51
Current children cumulated vsize (KiB) 1342336

[startup+882.3 s]
/proc/loadavg: 8.07 8.10 7.93 9/182 18446
/proc/meminfo: memFree=22799884/32951132 swapFree=67111524/67111528
[pid=18407] ppid=18405 vsize=1357496 CPUtime=3524.17 cores=1,3,5,7
/proc/18407/stat : 18407 (strangenight2-m) R 18405 18407 18108 0 -1 4202496 1745208 0 0 0 351817 600 0 0 25 0 4 0 514744519 1390075904 274005 33554432000 4194304 4627427 140736267588848 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18407/statm: 339374 274005 390 106 0 334345 0
[pid=18407/tid=18408] ppid=18405 vsize=1357496 CPUtime=877.48 cores=1,3,5,7
/proc/18407/task/18408/stat : 18408 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 428724 0 0 0 87600 148 0 0 25 0 4 0 514744519 1390075904 274005 33554432000 4194304 4627427 140736267588848 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18407/tid=18409] ppid=18405 vsize=1357496 CPUtime=882.19 cores=1,3,5,7
/proc/18407/task/18409/stat : 18409 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 408208 0 0 0 88073 146 0 0 25 0 4 0 514744519 1390075904 274005 33554432000 4194304 4627427 140736267588848 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18407/tid=18410] ppid=18405 vsize=1357496 CPUtime=882.24 cores=1,3,5,7
/proc/18407/task/18410/stat : 18410 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 460692 0 0 0 88071 153 0 0 25 0 4 0 514744519 1390075904 274005 33554432000 4194304 4627427 140736267588848 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.17
Current children cumulated vsize (KiB) 1357496

[startup+942.301 s]
/proc/loadavg: 7.82 8.04 7.92 5/174 18466
/proc/meminfo: memFree=24156080/32951132 swapFree=67111524/67111528
[pid=18407] ppid=18405 vsize=1415464 CPUtime=3763.85 cores=1,3,5,7
/proc/18407/stat : 18407 (strangenight2-m) R 18405 18407 18108 0 -1 4202496 1853199 0 0 0 375745 640 0 0 25 0 4 0 514744519 1449435136 277232 33554432000 4194304 4627427 140736267588848 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18407/statm: 353866 277232 390 106 0 348837 0
[pid=18407/tid=18408] ppid=18405 vsize=1415464 CPUtime=937.16 cores=1,3,5,7
/proc/18407/task/18408/stat : 18408 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 454567 0 0 0 93557 159 0 0 25 0 4 0 514744519 1449435136 277233 33554432000 4194304 4627427 140736267588848 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18407/tid=18409] ppid=18405 vsize=1415464 CPUtime=942.19 cores=1,3,5,7
/proc/18407/task/18409/stat : 18409 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 435521 0 0 0 94062 157 0 0 25 0 4 0 514744519 1449435136 277233 33554432000 4194304 4627427 140736267588848 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18407/tid=18410] ppid=18405 vsize=1415464 CPUtime=942.25 cores=1,3,5,7
/proc/18407/task/18410/stat : 18410 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 487975 0 0 0 94062 163 0 0 25 0 4 0 514744519 1449435136 277233 33554432000 4194304 4627427 140736267588848 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3763.85
Current children cumulated vsize (KiB) 1415464

[startup+1002.3 s]
/proc/loadavg: 5.40 7.31 7.67 5/173 18467
/proc/meminfo: memFree=24111420/32951132 swapFree=67111524/67111528
[pid=18407] ppid=18405 vsize=1547800 CPUtime=4003.49 cores=1,3,5,7
/proc/18407/stat : 18407 (strangenight2-m) R 18405 18407 18108 0 -1 4202496 1981889 0 0 0 399662 687 0 0 25 0 4 0 514744519 1584947200 314058 33554432000 4194304 4627427 140736267588848 18446744073709551615 4333037 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18407/statm: 386950 314058 390 106 0 381921 0
[pid=18407/tid=18408] ppid=18405 vsize=1547800 CPUtime=996.86 cores=1,3,5,7
/proc/18407/task/18408/stat : 18408 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 481471 0 0 0 99517 169 0 0 25 0 4 0 514744519 1584947200 314059 33554432000 4194304 4627427 140736267588848 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18407/tid=18409] ppid=18405 vsize=1547800 CPUtime=1002.17 cores=1,3,5,7
/proc/18407/task/18409/stat : 18409 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 461095 0 0 0 100047 170 0 0 18 0 4 0 514744519 1584947200 314059 33554432000 4194304 4627427 140736267588848 18446744073709551615 4306360 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18407/tid=18410] ppid=18405 vsize=1547800 CPUtime=1002.23 cores=1,3,5,7
/proc/18407/task/18410/stat : 18410 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 537184 0 0 0 100046 177 0 0 25 0 4 0 514744519 1584947200 314059 33554432000 4194304 4627427 140736267588848 18446744073709551615 4468043 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.49
Current children cumulated vsize (KiB) 1547800

[startup+1062.31 s]
/proc/loadavg: 4.54 6.71 7.44 5/173 18469
/proc/meminfo: memFree=23831416/32951132 swapFree=67111524/67111528
[pid=18407] ppid=18405 vsize=1746788 CPUtime=4243.22 cores=1,3,5,7
/proc/18407/stat : 18407 (strangenight2-m) R 18405 18407 18108 0 -1 4202496 2123788 0 0 0 423581 741 0 0 25 0 4 0 514744519 1788710912 359418 33554432000 4194304 4627427 140736267588848 18446744073709551615 4308411 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18407/statm: 436697 359418 390 106 0 431668 0
[pid=18407/tid=18408] ppid=18405 vsize=1746788 CPUtime=1056.59 cores=1,3,5,7
/proc/18407/task/18408/stat : 18408 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 530975 0 0 0 105472 187 0 0 25 0 4 0 514744519 1788710912 359418 33554432000 4194304 4627427 140736267588848 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18407/tid=18409] ppid=18405 vsize=1746788 CPUtime=1062.16 cores=1,3,5,7
/proc/18407/task/18409/stat : 18409 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 487948 0 0 0 106036 180 0 0 25 0 4 0 514744519 1788710912 359418 33554432000 4194304 4627427 140736267588848 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18407/tid=18410] ppid=18405 vsize=1746788 CPUtime=1062.23 cores=1,3,5,7
/proc/18407/task/18410/stat : 18410 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 560758 0 0 0 106036 187 0 0 25 0 4 0 514744519 1788710912 359418 33554432000 4194304 4627427 140736267588848 18446744073709551615 4332830 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.22
Current children cumulated vsize (KiB) 1746788

[startup+1122.3 s]
/proc/loadavg: 4.27 6.23 7.23 5/173 18470
/proc/meminfo: memFree=23864272/32951132 swapFree=67111524/67111528
[pid=18407] ppid=18405 vsize=1748152 CPUtime=4482.89 cores=1,3,5,7
/proc/18407/stat : 18407 (strangenight2-m) R 18405 18407 18108 0 -1 4202496 2228739 0 0 0 447504 785 0 0 25 0 4 0 514744519 1790107648 352188 33554432000 4194304 4627427 140736267588848 18446744073709551615 4309065 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18407/statm: 437038 352188 390 106 0 432009 0
[pid=18407/tid=18408] ppid=18405 vsize=1748152 CPUtime=1116.31 cores=1,3,5,7
/proc/18407/task/18408/stat : 18408 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 558024 0 0 0 111432 199 0 0 25 0 4 0 514744519 1790107648 352188 33554432000 4194304 4627427 140736267588848 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18407/tid=18409] ppid=18405 vsize=1748152 CPUtime=1122.16 cores=1,3,5,7
/proc/18407/task/18409/stat : 18409 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 513435 0 0 0 112024 192 0 0 25 0 4 0 514744519 1790107648 352188 33554432000 4194304 4627427 140736267588848 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18407/tid=18410] ppid=18405 vsize=1748152 CPUtime=1122.21 cores=1,3,5,7
/proc/18407/task/18410/stat : 18410 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 586064 0 0 0 112023 198 0 0 25 0 4 0 514744519 1790107648 352188 33554432000 4194304 4627427 140736267588848 18446744073709551615 4308588 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4482.89
Current children cumulated vsize (KiB) 1748152

[startup+1182.3 s]
/proc/loadavg: 4.10 5.82 7.02 5/173 18472
/proc/meminfo: memFree=23903804/32951132 swapFree=67111524/67111528
[pid=18407] ppid=18405 vsize=1634296 CPUtime=4722.58 cores=1,3,5,7
/proc/18407/stat : 18407 (strangenight2-m) R 18405 18407 18108 0 -1 4202496 2333089 0 0 0 471430 828 0 0 25 0 4 0 514744519 1673519104 341515 33554432000 4194304 4627427 140736267588848 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18407/statm: 408574 341515 390 106 0 403545 0
[pid=18407/tid=18408] ppid=18405 vsize=1634296 CPUtime=1176.02 cores=1,3,5,7
/proc/18407/task/18408/stat : 18408 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 583890 0 0 0 117394 208 0 0 25 0 4 0 514744519 1673519104 341515 33554432000 4194304 4627427 140736267588848 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18407/tid=18409] ppid=18405 vsize=1634296 CPUtime=1182.14 cores=1,3,5,7
/proc/18407/task/18409/stat : 18409 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 538952 0 0 0 118011 203 0 0 25 0 4 0 514744519 1673519104 341515 33554432000 4194304 4627427 140736267588848 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18407/tid=18410] ppid=18405 vsize=1634296 CPUtime=1182.21 cores=1,3,5,7
/proc/18407/task/18410/stat : 18410 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 612951 0 0 0 118013 208 0 0 25 0 4 0 514744519 1673519104 341515 33554432000 4194304 4627427 140736267588848 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.58
Current children cumulated vsize (KiB) 1634296



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 4.07 5.71 6.96 5/173 18473
/proc/meminfo: memFree=23838824/32951132 swapFree=67111524/67111528
[pid=18407] ppid=18405 vsize=1749592 CPUtime=4800.11 cores=1,3,5,7
/proc/18407/stat : 18407 (strangenight2-m) R 18405 18407 18108 0 -1 4202496 2365608 0 0 0 479169 842 0 0 25 0 4 0 514744519 1791582208 357389 33554432000 4194304 4627427 140736267588848 18446744073709551615 4308329 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18407/statm: 437398 357389 390 106 0 432369 0
[pid=18407/tid=18408] ppid=18405 vsize=1749592 CPUtime=1195.34 cores=1,3,5,7
/proc/18407/task/18408/stat : 18408 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 592149 0 0 0 119322 212 0 0 25 0 4 0 514744519 1791582208 357389 33554432000 4194304 4627427 140736267588848 18446744073709551615 4321761 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18407/tid=18409] ppid=18405 vsize=1749592 CPUtime=1201.55 cores=1,3,5,7
/proc/18407/task/18409/stat : 18409 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 547852 0 0 0 119948 207 0 0 25 0 4 0 514744519 1791582208 357389 33554432000 4194304 4627427 140736267588848 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18407/tid=18410] ppid=18405 vsize=1749592 CPUtime=1201.62 cores=1,3,5,7
/proc/18407/task/18410/stat : 18410 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 620183 0 0 0 119950 212 0 0 25 0 4 0 514744519 1791582208 357389 33554432000 4194304 4627427 140736267588848 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.11
Current children cumulated vsize (KiB) 1749592

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

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

[startup+1201.7 s]
/proc/loadavg: 4.07 5.71 6.96 5/173 18473
/proc/meminfo: memFree=23838824/32951132 swapFree=67111524/67111528
[pid=18407] ppid=18405 vsize=1749592 CPUtime=4800.11 cores=1,3,5,7
/proc/18407/stat : 18407 (strangenight2-m) R 18405 18407 18108 0 -1 4202496 2365608 0 0 0 479169 842 0 0 25 0 4 0 514744519 1791582208 357389 33554432000 4194304 4627427 140736267588848 18446744073709551615 4308329 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18407/statm: 437398 357389 390 106 0 432369 0
[pid=18407/tid=18408] ppid=18405 vsize=1749592 CPUtime=1195.34 cores=1,3,5,7
/proc/18407/task/18408/stat : 18408 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 592149 0 0 0 119322 212 0 0 25 0 4 0 514744519 1791582208 357389 33554432000 4194304 4627427 140736267588848 18446744073709551615 4321761 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18407/tid=18409] ppid=18405 vsize=1749592 CPUtime=1201.55 cores=1,3,5,7
/proc/18407/task/18409/stat : 18409 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 547852 0 0 0 119948 207 0 0 25 0 4 0 514744519 1791582208 357389 33554432000 4194304 4627427 140736267588848 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18407/tid=18410] ppid=18405 vsize=1749592 CPUtime=1201.62 cores=1,3,5,7
/proc/18407/task/18410/stat : 18410 (strangenight2-m) R 18405 18407 18108 0 -1 4202560 620183 0 0 0 119950 212 0 0 25 0 4 0 514744519 1791582208 357389 33554432000 4194304 4627427 140736267588848 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.11
Current children cumulated vsize (KiB) 1749592

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.78
CPU time (s): 4800.21
CPU user time (s): 4791.71
CPU system time (s): 8.49271
CPU usage (%): 399.425
Max. virtual memory (cumulated for all children) (KiB): 1763836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4791.71
system time used= 8.49271
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2365616
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= 2344
involuntary context switches= 19198

runsolver used 1.79073 second user time and 4.50931 second system time

The end

Launcher Data 

Begin job on node131 at 2011-04-29 00:57:29
IDJOB=3173828
IDBENCH=82646
IDSOLVER=1586
FILE ID=node131/3173828-1304031448
RUNJOBID= node131-1304028687-18127
PBS_JOBID= 13170321
Free space on /tmp= 71376 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
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-3173828-1304031448/watcher-3173828-1304031448 -o /tmp/evaluation-result-3173828-1304031448/solver-3173828-1304031448 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173828-1304031448.cnf

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

MD5SUM BENCH= 28b704f4b0f31dccf5e0c8fedfb14daa
RANDOM SEED=1244507841

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      24447988 kB
Buffers:        933828 kB
Cached:        6200976 kB
SwapCached:          4 kB
Active:         976264 kB
Inactive:      7038672 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      24447988 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            6996 kB
Writeback:          12 kB
AnonPages:      878996 kB
Mapped:          15772 kB
Slab:           422840 kB
PageTables:       6516 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:  1204928 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71380 MiB
End job on node131 at 2011-04-29 01:17:33