Trace number 3369312

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-1-mt (fixed)UNSAT 1422.98 356.819

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf
MD5SUMf20ed0313cfa494f86b5c8ef723973ee
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark36.1265
Satisfiable
(Un)Satisfiability was proved
Number of variables135
Number of clauses5251
Sum of the clauses size22611
Maximum clause length12
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 34489
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5762

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 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3369312-1305414481.cnf'
0.00/0.00	c -- header says num vars:            135
0.00/0.00	c -- header says num clauses:        5251
0.00/0.00	c -- clauses added:            0 learnts,         5251 normals,            0 xors
0.00/0.00	c -- vars added        135
0.00/0.00	c Parsing time:  0.01 s
0.00/0.00	c  N st     0         0       135      5251         0         0     22611         0   no data   no data  --
0.00/0.02	c asymm  cl-useful: 0/5251/5251 lits-rem:0 time: 0.05
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
0.00/0.03	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.03	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.03	c calculated reachability. Time: 0.00
0.00/0.03	c Calc default polars -  time:   0.00 s pos:     135 undec:       0 neg:       0
0.00/0.03	c =========================================================================================
0.00/0.03	c types(t): F = full restart, N = normal restart
0.00/0.03	c types(t): S = simplification begin/end, E = solution found
0.00/0.03	c restart types(rt): st = static, dy = dynamic
0.00/0.03	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.03	c  B st     0         0       135      5251         0         0     22611         0   no data   no data  --
0.77/0.21	c  N dy    15      6054       135      5251         0      3336     22611     51911     11.57     12.23  --
1.17/0.35	c  N dy    28     10103       135      5251         0      7146     22611    116419     11.40     12.06  --
1.97/0.50	c  N dy    35     14373       135      5251         0      7110     22611    108326     10.92     11.50  --
2.37/0.66	c  N dy    43     18384       135      5251         0      5579     22611     79859     10.71     12.85  --
3.17/0.82	c  N dy    67     22506       135      5251         0      9475     22611    146880     10.91     11.54  --
3.57/0.93	c  F st    79     25001       135      5251         0     11836     22611    187402     11.00     10.32  --
3.98/1.02	c  N st    83     27033       135      5251         0      7386     22611    104156     11.00   no data  --
4.40/1.13	c  S st    85     30001       135      5251         0     10174     22611    148972     11.00   no data  --
4.40/1.16	c  S st    85     30506       135      5251         0     10675     22611    158525     11.00   no data  --
4.40/1.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.40/1.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.40/1.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
4.40/1.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.40/1.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.40/1.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
4.40/1.17	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
6.35/1.66	c lits-rem:       169  cl-subs:     1486  v-elim:      0  v-fix:    0  time:  1.97 s
6.75/1.72	c asymm  cl-useful: 0/5251/5251 lits-rem:0 time: 0.24
6.75/1.72	c calculated reachability. Time: 0.00
6.75/1.72	c  N dy    85     30506       135      5251         0      9189     22611    142628     11.00   no data  --
7.55/1.90	c  N dy   110     34662       135      5251         0     13161     22611    209772     11.10     11.75  --
7.95/2.08	c  N dy   134     38714       135      5251         0      9557     22611    139189     11.22     11.91  --
8.79/2.28	c  N dy   148     43406       135      5251         0     13986     22611    213262     11.21     11.80  --
9.13/2.39	c  S st   155     45760       135      5251         0     16189     22611    249535     11.16   no data  --
9.53/2.42	c  S st   155     46264       135      5251         0     16688     22611    258853     11.16   no data  --
9.53/2.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.53/2.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.53/2.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
9.53/2.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.53/2.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.53/2.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
9.53/2.43	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
13.53/3.42	c lits-rem:       229  cl-subs:     1332  v-elim:      0  v-fix:    0  time:  3.93 s
13.53/3.42	c vivif2 --  cl tried     5251 cl shrink        0 lits rem          0 time: 0.00
13.53/3.42	c vivif2 --  cl tried    15356 cl shrink        0 lits rem          0 time: 0.01
13.93/3.52	c asymm  cl-useful: 0/5251/5251 lits-rem:0 time: 0.37
13.93/3.52	c calculated reachability. Time: 0.00
13.93/3.52	c  N dy   155     46264       135      5251         0     15356     22611    241145     11.16   no data  --
14.72/3.70	c  N dy   174     50483       135      5251         0     10949     22611    158677     11.17     11.81  --
15.52/3.94	c  N dy   186     55792       135      5251         0     15890     22611    239296     11.10     11.69  --
16.32/4.17	c  N dy   207     59841       135      5251         0     10359     22611    147465     11.16     15.06  --
17.14/4.35	c  N dy   225     63902       135      5251         0     14172     22611    211647     11.19     14.43  --
18.31/4.63	c  N dy   245     69396       135      5251         0     19308     22611    294429     11.15      8.66  --
18.31/4.63	c  S st   245     69396       135      5251         0     19308     22611    294429     11.15      8.66  --
18.31/4.66	c  S st   245     69899       135      5251         0     19797     22611    303545     11.15   no data  --
18.31/4.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
18.31/4.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
18.31/4.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
18.31/4.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
18.31/4.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.31/4.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
18.31/4.68	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
22.70/5.72	c lits-rem:       296  cl-subs:     1697  v-elim:      0  v-fix:    0  time:  4.15 s
22.70/5.72	c vivif2 --  cl tried     5251 cl shrink        0 lits rem          0 time: 0.00
22.70/5.72	c vivif2 --  cl tried    18100 cl shrink        0 lits rem          0 time: 0.01
23.10/5.83	c asymm  cl-useful: 0/5251/5251 lits-rem:0 time: 0.42
23.10/5.83	c calculated reachability. Time: 0.00
23.10/5.83	c  N dy   245     69899       135      5251         0     18100     22611    282125     11.15   no data  --
24.70/6.21	c  N dy   272     77775       135      5251         0     15249     22611    216185     11.12     11.81  --
25.50/6.49	c  N dy   285     82969       135      5251         0     20137     22611    296365     11.10     11.71  --
26.68/6.74	c  F st   304     87500       135      5251         0     13145     22611    176101     11.11     10.73  --
27.08/6.80	c  N st   307     88689       135      5251         0     14266     22611    194449     11.11   no data  --
28.28/7.19	c  N dy   313     96347       135      5251         0     21337     22611    304228     11.04     11.66  --
29.89/7.54	c  N dy   337    102573       135      5251         0     15040     22611    204293     11.02     11.63  --
30.31/7.66	c  S st   351    104848       135      5251         0     17171     22611    239415     11.03   no data  --
30.31/7.70	c  S st   351    105348       135      5251         0     17667     22611    248727     11.03   no data  --
30.31/7.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
30.31/7.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
30.31/7.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
30.31/7.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
30.31/7.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
30.31/7.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
30.31/7.71	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
34.27/8.61	c lits-rem:       219  cl-subs:     1156  v-elim:      0  v-fix:    0  time:  3.62 s
34.27/8.62	c vivif2 --  cl tried     5251 cl shrink        0 lits rem          0 time: 0.00
34.27/8.62	c vivif2 --  cl tried    16511 cl shrink        0 lits rem          0 time: 0.01
34.69/8.71	c asymm  cl-useful: 0/5251/5251 lits-rem:0 time: 0.36
34.69/8.71	c calculated reachability. Time: 0.00
34.69/8.71	c  N dy   351    105348       135      5251         0     16511     22611    235470     11.03   no data  --
36.66/9.22	c  N dy   375    114732       135      5251         0     25349     22611    379281     11.02     11.62  --
38.26/9.65	c  N dy   401    122848       135      5251         0     19790     22611    277122     10.99     11.62  --
40.24/10.13	c  N dy   422    130792       135      5251         0     27267     22611    396270     10.97     11.55  --
42.24/10.60	c  N dy   442    139183       135      5251         0     21055     22611    292674     10.93     11.52  --
44.24/11.18	c  N dy   491    148092       135      5251         0     29482     22611    431441     10.95     13.05  --
46.64/11.74	c  N dy   518    157553       135      5251         0     23352     22611    330475     10.94     11.74  --
46.64/11.77	c  S st   521    158026       135      5251         0     23804     22611    337537     10.94   no data  --
47.04/11.81	c  S st   521    158528       135      5251         0     24296     22611    346574     10.94   no data  --
47.04/11.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.04/11.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.04/11.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
47.04/11.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.04/11.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.04/11.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
47.04/11.82	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
51.42/12.95	c lits-rem:       340  cl-subs:     1810  v-elim:      0  v-fix:    0  time:  4.47 s
51.42/12.95	c vivif2 --  cl tried     5251 cl shrink        0 lits rem          0 time: 0.00
51.42/12.95	c vivif2 --  cl tried    22486 cl shrink        0 lits rem          0 time: 0.02
51.82/13.09	c asymm  cl-useful: 0/5251/5251 lits-rem:0 time: 0.58
51.82/13.10	c calculated reachability. Time: 0.00
51.82/13.10	c  N dy   521    158528       135      5251         0     22486     22611    324853     10.94   no data  --
55.41/13.90	c  N dy   559    170793       135      5251         0     18061     22611    236555     10.93     11.53  --
57.80/14.56	c  N dy   598    181780       135      5251         0     28379     22611    400623     10.93     11.55  --
61.01/15.36	c  N dy   643    193424       135      5251         0     22375     22611    296587     10.91     15.52  --
64.58/16.27	c  N dy   689    206162       135      5251         0     34340     22611    487926     10.92     11.54  --
68.17/17.11	c  N dy   735    219406       135      5251         0     28955     22611    394001     10.91     12.48  --
72.16/18.11	c  N dy   772    233872       135      5251         0     23671     22611    303961     10.87     11.46  --
72.95/18.36	c  S st   786    237793       135      5251         0     27369     22611    362496     10.86     11.07  --
73.35/18.40	c  S st   786    238293       135      5251         0     27859     22611    370951     10.86   no data  --
73.35/18.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
73.35/18.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
73.35/18.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.02
73.35/18.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
73.35/18.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
73.35/18.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
73.35/18.42	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
77.75/19.58	c lits-rem:       510  cl-subs:     2508  v-elim:      0  v-fix:    0  time:  4.66 s
77.75/19.58	c vivif2 --  cl tried     5251 cl shrink        0 lits rem          0 time: 0.00
77.75/19.59	c vivif2 --  cl tried    25351 cl shrink        0 lits rem          0 time: 0.02
78.56/19.74	c asymm  cl-useful: 0/5251/5251 lits-rem:0 time: 0.61
78.56/19.75	c calculated reachability. Time: 0.00
78.56/19.75	c  N dy   786    238293       135      5251         0     25351     22611    342838     10.86   no data  --
82.94/20.84	c  N dy   824    253641       135      5251         0     20108     22611    246019     10.83     11.53  --
87.34/21.93	c  N dy   895    269910       135      5251         0     35349     22611    486256     10.83     13.47  --
92.15/23.15	c  N dy   934    287494       135      5251         0     31268     22611    411981     10.79     11.39  --
97.28/24.49	c  N dy   982    305849       135      5251         0     26936     22611    342503     10.77     11.39  --
97.68/24.52	c  F st   986    306250       135      5251         0     27312     22611    348413     10.77   no data  --
103.67/26.08	c  N dy  1046    325586       135      5251         0     23015     22611    278211     10.77     11.36  --
109.69/27.52	c  N dy  1122    345653       135      5251         0     41784     22611    571194     10.77     12.25  --
113.24/28.49	c  S st  1159    357439       135      5251         0     29391     22611    372371     10.75      8.67  --
113.65/28.53	c  S st  1159    357941       135      5251         0     29885     22611    381669     10.75   no data  --
113.65/28.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
113.65/28.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
113.65/28.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
113.65/28.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
113.65/28.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
113.65/28.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
113.65/28.55	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
117.63/29.61	c lits-rem:       307  cl-subs:     2482  v-elim:      0  v-fix:    0  time:  4.23 s
117.63/29.61	c vivif2 --  cl tried     5251 cl shrink        0 lits rem          0 time: 0.00
118.04/29.61	c vivif2 --  cl tried    27403 cl shrink        0 lits rem          0 time: 0.01
118.47/29.77	c asymm  cl-useful: 0/5251/5251 lits-rem:0 time: 0.63
118.47/29.77	c calculated reachability. Time: 0.00
118.47/29.77	c  N dy  1159    357941       135      5251         0     27403     22611    356446     10.75   no data  --
125.60/31.58	c  N dy  1224    379113       135      5251         0     47102     22611    657251     10.73     11.38  --
132.78/33.34	c  N dy  1293    399124       135      5251         0     41601     22611    561354     10.73     11.33  --
139.57/35.11	c  N dy  1365    420138       135      5251         0     36104     22611    474415     10.71     11.30  --
147.54/37.04	c  N dy  1424    441655       135      5251         0     29992     22611    376352     10.68     11.49  --
154.71/38.87	c  N dy  1520    462297       135      5251         0     49390     22611    677568     10.69     11.37  --
161.49/40.58	c  N dy  1578    482334       135      5251         0     40981     22611    542123     10.67     11.72  --
169.47/42.52	c  N dy  1644    502818       135      5251         0     32100     22611    402497     10.67     11.27  --
176.25/44.29	c  N dy  1722    522884       135      5251         0     50877     22611    685983     10.66     11.25  --
181.83/45.67	c  S st  1777    536911       135      5251         0     34987     22611    438475     10.66     10.86  --
182.23/45.72	c  S st  1777    537412       135      5251         0     35485     22611    448101     10.66   no data  --
182.23/45.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
182.23/45.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
182.23/45.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
182.23/45.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
182.23/45.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
182.23/45.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
182.23/45.74	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
187.82/47.11	c lits-rem:       305  cl-subs:     1745  v-elim:      0  v-fix:    0  time:  5.47 s
187.82/47.11	c vivif2 --  cl tried     5251 cl shrink        0 lits rem          0 time: 0.00
187.82/47.12	c vivif2 --  cl tried    33740 cl shrink        0 lits rem          0 time: 0.02
188.66/47.33	c asymm  cl-useful: 0/5251/5251 lits-rem:0 time: 0.82
188.66/47.33	c calculated reachability. Time: 0.00
188.66/47.33	c  N dy  1777    537412       135      5251         0     33740     22611    429260     10.66   no data  --
196.20/49.25	c  N dy  1847    559694       135      5251         0     54500     22611    737803     10.64     11.39  --
203.37/51.05	c  N dy  1891    579716       135      5251         0     43265     22611    554951     10.62     11.22  --
212.54/53.33	c  N dy  1968    601659       135      5251         0     32972     22611    393259     10.62     11.24  --
219.72/55.14	c  N dy  2026    622386       135      5251         0     52226     22611    677252     10.60     11.41  --
227.72/57.19	c  N dy  2086    642480       135      5251         0     39422     22611    486905     10.59     11.87  --
236.08/59.24	c  N dy  2137    663680       135      5251         0     59088     22611    772252     10.57     11.14  --
244.06/61.27	c  N dy  2212    683999       135      5251         0     45443     22611    569946     10.57     11.14  --
252.43/63.34	c  N dy  2265    704024       135      5251         0     64009     22611    844768     10.56     11.15  --
260.80/65.42	c  N dy  2351    724041       135      5251         0     49209     22611    624189     10.56     11.16  --
269.97/67.76	c  N dy  2395    746064       135      5251         0     35127     22611    404545     10.54     11.10  --
277.55/69.61	c  N dy  2477    766415       135      5251         0     54118     22611    691146     10.54     11.13  --
286.73/71.95	c  N dy  2540    786540       135      5251         0     37554     22611    435931     10.53     11.10  --
293.52/73.68	c  S st  2583    806118       135      5251         0     55600     22611    695772     10.51     11.10  --
293.95/73.75	c  S st  2583    806619       135      5251         0     56092     22611    704549     10.51   no data  --
293.95/73.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
293.95/73.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
293.95/73.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.06
293.95/73.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
293.95/73.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
293.95/73.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
293.95/73.79	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
306.28/76.91	c lits-rem:       579  cl-subs:     6649  v-elim:      0  v-fix:    0  time: 12.42 s
306.28/76.91	c vivif2 --  cl tried     5251 cl shrink        0 lits rem          0 time: 0.00
306.69/76.91	c vivif2 --  cl tried    49443 cl shrink        0 lits rem          0 time: 0.02
307.46/77.10	c asymm  cl-useful: 0/2649/5251 lits-rem:0 time: 0.73
307.46/77.10	c calculated reachability. Time: 0.00
307.46/77.10	c  N dy  2583    806619       135      5251         0     49443     22611    632548     10.51   no data  --
316.63/79.46	c  N dy  2654    827073       135      5251         0     68512     22611    913986     10.51     11.16  --
325.00/81.51	c  N dy  2706    847864       135      5251         0     51863     22611    647532     10.50     11.10  --
334.18/83.82	c  N dy  2794    867973       135      5251         0     70609     22611    926266     10.50     11.06  --
342.21/85.87	c  N dy  2849    888048       135      5251         0     52161     22611    641140     10.49     11.10  --
351.33/88.18	c  N dy  2926    909124       135      5251         0     71818     22611    931207     10.49     11.04  --
360.50/90.43	c  N dy  3017    929533       135      5251         0     52769     22611    654135     10.49     11.21  --
369.68/92.75	c  N dy  3095    949651       135      5251         0     71510     22611    929197     10.49     11.05  --
379.25/95.16	c  N dy  3177    970137       135      5251         0     51399     22611    623400     10.49     11.09  --
388.02/97.34	c  N dy  3227    990229       135      5251         0     70032     22611    888711     10.47     11.04  --
398.00/99.84	c  N dy  3308   1010776       135      5251         0     49151     22611    584134     10.47     11.04  --
406.78/102.00	c  N dy  3369   1030857       135      5251         0     67830     22611    856452     10.47     11.04  --
416.78/104.57	c  N dy  3438   1051418       135      5251         0     46074     22611    534384     10.47     11.07  --
425.56/106.73	c  F st  3500   1071876       135      5251         0     65013     22611    807327     10.46      8.86  --
425.56/106.73	c  N st  3500   1071876       135      5251         0     65013     22611    807327     10.46      8.86  --
436.68/109.53	c  N dy  3565   1091942       135      5251         0     41877     22611    468666     10.46     11.13  --
444.26/111.44	c  N dy  3626   1112028       135      5251         0     60532     22611    737385     10.45     11.04  --
454.63/114.07	c  N dy  3703   1133003       135      5251         0     80112     22611   1024678     10.45     11.04  --
464.20/116.45	c  N dy  3777   1153014       135      5251         0     55871     22611    666556     10.45     12.45  --
474.97/119.12	c  N dy  3849   1173552       135      5251         0     74911     22611    940522     10.44     11.15  --
486.98/122.13	c  N dy  3908   1194151       135      5251         0     50388     22611    583118     10.44     11.01  --
494.91/124.20	c  S st  3966   1209929       135      5251         0     65078     22611    797035     10.44   no data  --
495.33/124.28	c  S st  3966   1210430       135      5251         0     65574     22611    805603     10.44   no data  --
495.33/124.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
495.33/124.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
495.76/124.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.12
495.76/124.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
495.76/124.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
495.76/124.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
495.76/124.34	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
520.43/130.55	c lits-rem:       943  cl-subs:     7009  v-elim:      0  v-fix:    0  time: 24.75 s
520.43/130.55	c vivif2 --  cl tried     5251 cl shrink        0 lits rem          0 time: 0.00
520.43/130.56	c vivif2 --  cl tried    58565 cl shrink        0 lits rem          0 time: 0.04
521.24/130.78	c asymm  cl-useful: 0/2345/5251 lits-rem:0 time: 0.88
521.24/130.78	c calculated reachability. Time: 0.00
521.24/130.78	c  N dy  3966   1210430       135      5251         0     58565     22611    730447     10.44   no data  --
530.84/133.13	c  N dy  4030   1230461       135      5251         0     77120     22611    995505     10.43     11.08  --
541.57/135.83	c  N dy  4091   1251096       135      5251         0     51923     22611    607544     10.43     11.01  --
550.74/138.13	c  N dy  4176   1271200       135      5251         0     70571     22611    879133     10.43     11.07  --
561.90/140.96	c  N dy  4247   1291298       135      5251         0     89223     22611   1146758     10.42     11.72  --
572.28/143.52	c  N dy  4287   1311478       135      5251         0     62487     22611    746450     10.41     11.02  --
583.07/146.30	c  N dy  4344   1331527       135      5251         0     81089     22611   1010070     10.41     10.98  --
595.81/149.49	c  N dy  4416   1351598       135      5251         0     53434     22611    618581     10.40     11.10  --
605.42/151.82	c  N dy  4466   1371915       135      5251         0     72113     22611    877955     10.40     11.06  --
616.14/154.59	c  N dy  4543   1392154       135      5251         0     90932     22611   1148339     10.40     10.96  --
627.36/157.34	c  N dy  4619   1413547       135      5251         0     63629     22611    762328     10.39     11.03  --
638.09/160.08	c  N dy  4699   1434488       135      5251         0     83056     22611   1041196     10.39     11.01  --
649.64/162.98	c  N dy  4759   1454737       135      5251         0     53667     22611    614923     10.39     10.99  --
659.62/165.44	c  N dy  4839   1474987       135      5251         0     72480     22611    887866     10.39     10.95  --
671.23/168.37	c  N dy  4921   1495033       135      5251         0     90991     22611   1153175     10.39     10.96  --
683.15/171.39	c  N dy  5006   1517048       135      5251         0     62228     22611    734640     10.39     11.01  --
693.51/173.97	c  N dy  5097   1537109       135      5251         0     80798     22611   1001209     10.39     11.01  --
705.90/177.01	c  N dy  5153   1557208       135      5251         0     99356     22611   1261443     10.38     10.96  --
716.25/179.68	c  N dy  5210   1578302       135      5251         0     68776     22611    816618     10.38     10.97  --
727.03/182.33	c  N dy  5266   1598440       135      5251         0     87348     22611   1075813     10.37     10.98  --
739.38/185.42	c  N dy  5320   1618527       135      5251         0     55065     22611    624185     10.36     12.80  --
749.77/188.05	c  N dy  5389   1640452       135      5251         0     75222     22611    906296     10.36     10.92  --
761.72/191.03	c  N dy  5448   1661063       135      5251         0     94172     22611   1166547     10.35     10.92  --
773.68/194.09	c  N dy  5508   1681211       135      5251         0     61151     22611    709008     10.35     10.95  --
785.65/197.06	c  N dy  5590   1701918       135      5251         0     80287     22611    982985     10.35     10.90  --
791.23/198.43	c  S st  5616   1710430       135      5251         0     88136     22611   1094501     10.34      9.88  --
791.63/198.54	c  S st  5616   1710933       135      5251         0     88626     22611   1103380     10.34   no data  --
791.63/198.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
791.63/198.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
791.63/198.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.17
792.03/198.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
792.03/198.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
792.03/198.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
792.03/198.63	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
853.43/214.04	c lits-rem:       666  cl-subs:    11857  v-elim:      0  v-fix:    0  time: 61.45 s
853.43/214.04	c vivif2 --  cl tried     5251 cl shrink        0 lits rem          0 time: 0.00
853.43/214.06	c vivif2 --  cl tried    76769 cl shrink        0 lits rem          0 time: 0.06
854.63/214.37	c asymm  cl-useful: 0/2049/5251 lits-rem:0 time: 1.24
854.63/214.37	c calculated reachability. Time: 0.00
854.63/214.37	c  N dy  5616   1710933       135      5251         0     76769     22611    979151     10.34   no data  --
866.59/217.34	c  N dy  5675   1731875       135      5251         0     96103     22611   1245198     10.34     10.97  --
879.35/220.50	c  N dy  5747   1752531       135      5251         0     63007     22611    741851     10.34     10.96  --
890.15/223.24	c  N dy  5797   1774372       135      5251         0     83119     22611   1018888     10.33     10.95  --
903.74/226.66	c  N dy  5867   1794940       135      5251         0    102095     22611   1283373     10.33     10.88  --
916.47/229.91	c  N dy  5943   1815045       135      5251         0     67464     22611    800193     10.33     10.90  --
928.41/232.85	c  N dy  6012   1835582       135      5251         0     86362     22611   1064734     10.32     10.91  --
941.17/236.04	c  N dy  6069   1855674       135      5251         0    104782     22611   1319167     10.32     11.09  --
952.74/238.96	c  N dy  6120   1875827       135      5251         0     69138     22611    815698     10.31     10.87  --
963.91/241.70	c  N dy  6173   1896030       135      5251         0     87755     22611   1069864     10.31     10.85  --
977.47/245.12	c  N dy  6238   1917296       135      5251         0    107308     22611   1341988     10.30     10.91  --
989.43/248.13	c  N dy  6312   1937323       135      5251         0     70619     22611    835201     10.30     10.86  --
1000.99/251.08	c  N dy  6378   1958092       135      5251         0     89752     22611   1097254     10.30     10.85  --
1014.95/254.54	c  N dy  6445   1978306       135      5251         0    108340     22611   1350752     10.29     10.84  --
1026.56/257.46	c  N dy  6485   1998468       135      5251         0     70759     22611    817505     10.29     10.91  --
1037.29/260.19	c  N dy  6540   2018519       135      5251         0     89169     22611   1065972     10.28     10.88  --
1050.05/263.31	c  N dy  6591   2038576       135      5251         0    107531     22611   1313313     10.28     10.86  --
1062.81/266.50	c  N dy  6659   2058634       135      5251         0     68887     22611    781717     10.27     10.88  --
1073.58/269.21	c  N dy  6724   2078657       135      5251         0     87326     22611   1036644     10.27     12.92  --
1086.35/272.44	c  N dy  6799   2098756       135      5251         0    105989     22611   1295989     10.27     11.96  --
1100.31/275.93	c  N dy  6862   2118816       135      5251         0     66447     22611    743311     10.27     11.80  --
1111.47/278.73	c  N dy  6939   2139112       135      5251         0     85140     22611   1000167     10.27     10.82  --
1123.83/281.87	c  N dy  6990   2159180       135      5251         1    103614     22611   1249222     10.26     13.08  --
1138.99/285.68	c  N dy  7057   2179234       135      5251         2     63117     22611    684100     10.26     10.93  --
1150.15/288.46	c  N dy  7111   2199553       135      5251         2     81778     22611    937026     10.25     10.86  --
1158.18/290.44	c  S st  7154   2210934       135      5251         2     92213     22611   1078796     10.25      7.97  --
1158.53/290.55	c  S st  7154   2211436       135      5251         2     92705     22611   1086508     10.25   no data  --
1158.53/290.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1158.53/290.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1158.92/290.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
1158.92/290.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1159.72/290.89	c subs with bin:      891  lits-rem:      2297  v-fix:    0  time:  1.04 s
1159.72/290.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
1159.72/290.90	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1225.51/307.33	c lits-rem:      1288  cl-subs:    14079  v-elim:      0  v-fix:    0  time: 65.52 s
1225.51/307.33	c vivif2 --  cl tried     5246 cl shrink        0 lits rem          0 time: 0.00
1225.51/307.35	c vivif2 --  cl tried    77740 cl shrink        0 lits rem          0 time: 0.06
1226.71/307.69	c asymm  cl-useful: 0/1297/5246 lits-rem:0 time: 1.36
1226.71/307.69	c calculated reachability. Time: 0.00
1226.71/307.69	c  N dy  7154   2211436       135      5246         2     77740     22600    931397     10.25   no data  --
1239.08/310.78	c  N dy  7203   2231874       135      5246         2     96662     22600   1187884     10.25     10.84  --
1247.85/312.96	c Finding binary XORs  T:     0.00 s  found:       0
1252.64/314.12	c  N dy  7254   2251954       135      5246         3    115141     22600   1434703     10.24     10.91  --
1265.80/317.47	c  N dy  7301   2272073       135      5246         4     74244     22600    830343     10.24     10.79  --
1276.19/320.10	c Finding binary XORs  T:     0.00 s  found:       0
1278.16/320.55	c  N dy  7349   2292809       135      5246         6     93289     22600   1082276     10.23     10.77  --
1291.72/323.95	c  N dy  7396   2313547       135      5246         7    112424     22600   1333949     10.22     10.83  --
1305.28/327.38	c  N dy  7436   2334909       135      5246         7     71567     22600    788567     10.21     10.84  --
1317.24/330.32	c  N dy  7476   2354990       135      5246         8     90008     22600   1026066     10.20     11.06  --
1322.43/331.62	c Finding binary XORs  T:     0.00 s  found:       0
1330.01/333.54	c  N dy  7519   2375627       135      5246         9    108868     22600   1272481     10.20     10.76  --
1346.81/337.77	c  N dy  7564   2399405       135      5246         9     69307     22600    744414     10.19     10.77  --
1352.34/339.19	c Finding binary XORs  T:     0.00 s  found:       0
1357.52/340.43	c  N dy  7594   2420729       135      5246        14     88806     22600    990645     10.18     10.74  --
1361.51/341.43	c Finding binary XORs  T:     0.00 s  found:       0
1369.09/343.35	c Finding binary XORs  T:     0.00 s  found:       0
1370.29/343.62	c  N dy  7646   2440859       134      5117        11     96406     22117   1118289     10.17     10.90  --
1379.06/345.84	c Finding binary XORs  T:     0.00 s  found:       0
1385.86/347.61	c  N dy  7693   2463341       134      5117        16     60191     22117    634363     10.16     10.70  --
1390.26/348.67	c Finding binary XORs  T:     0.00 s  found:       0
1396.61/350.21	c  N dy  7722   2483971       134      5117        21     79034     22117    876158     10.15     10.83  --
1399.80/351.06	c Finding binary XORs  T:     0.00 s  found:       0
1406.59/352.77	c Finding binary XORs  T:     0.00 s  found:       0
1409.37/353.40	c  N dy  7747   2505946       134      5117        32     99182     22117   1127055     10.14     10.76  --
1417.00/355.38	c Finding binary XORs  T:     0.00 s  found:       0
1422.93/356.80	c Finding binary XORs  T:     0.00 s  found:       0
1422.93/356.80	c Following stats are for *FIRST FINISHED THREAD ONLY*
1422.93/356.80	c num threads              : 4          
1422.93/356.80	c restarts                 : 8133       
1422.93/356.80	c dynamic restarts         : 8103       
1422.93/356.80	c static restarts          : 30         
1422.93/356.80	c full restarts            : 4          
1422.93/356.80	c total simplify time      : 0.87       
1422.93/356.80	c learnts DL2              : 0          
1422.93/356.80	c learnts size 2           : 209        
1422.93/356.80	c learnts size 1           : 79          (58.52     % of vars)
1422.93/356.80	c filedLit time            : 0.44        (0.03      % time)
1422.93/356.80	c v-elim SatELite          : 0           (0.00      % vars)
1422.93/356.80	c SatELite time            : 108.22      (7.61      % time)
1422.93/356.80	c v-elim xor               : 0           (0.00      % vars)
1422.93/356.80	c xor elim time            : 0.08        (0.01      % time)
1422.93/356.80	c num binary xor trees     : 0          
1422.93/356.80	c binxor trees' crown      : 0           (nan       leafs/tree)
1422.93/356.80	c bin xor find time        : 0.01       
1422.93/356.80	c OTF clause improved      : 194988      (0.07      clauses/conflict)
1422.93/356.80	c OTF impr. size diff      : 213443      (1.09       lits/clause)
1422.93/356.80	c OTF cl watch-shrink      : 1924009     (0.74      clauses/conflict)
1422.93/356.80	c OTF cl watch-sh-lit      : 5707832     (2.97       lits/clause)
1422.93/356.80	c tried to recurMin cls    : 259644      (9.93       % of conflicts)
1422.93/356.80	c updated cache            : 1365        (0.01       lits/tried recurMin)
1422.93/356.80	c unit cls received        : 6           (7.59      % of units)
1422.93/356.80	c unit cls sent            : 2           (2.53      % of units)
1422.93/356.80	c bin cls received         : 42         
1422.93/356.80	c bin cls sent             : 22         
1422.93/356.80	c clauses over max glue    : 0           (0.00      % of all clauses)
1422.93/356.80	c conflicts                : 2613921     (1838.21   / sec)
1422.93/356.80	c decisions                : 3233101     (0.38      % random)
1422.93/356.80	c bogo-props               : 66441643450 (46724448.41 / sec)
1422.93/356.80	c conflict literals        : 37092269    (47.59     % deleted)
1422.93/356.80	c Memory used              : 362.29      MB
1422.93/356.80	c single-thread CPU time   : 1421.99     s
1422.93/356.80	c all-threads sum CPU time : 1421.99     s
1422.93/356.80	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

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-3369312-1305414481/watcher-3369312-1305414481 -o /tmp/evaluation-result-3369312-1305414481/solver-3369312-1305414481 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369312-1305414481.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: 6.92 7.83 7.83 2/361 6354
/proc/meminfo: memFree=18283328/32951124 swapFree=45193364/67111528
[pid=6354] ppid=6352 vsize=117744 CPUtime=0 cores=1,3,5,7
/proc/6354/stat : 6354 (strangenight1-m) R 6352 6354 5935 0 -1 4202496 546 0 0 0 0 0 0 0 22 0 4 0 731678775 120569856 469 33554432000 4194304 4650419 140734102843024 18446744073709551615 224284925755 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6354/statm: 62204 485 335 112 0 57169 0
[pid=6354/tid=6355] ppid=6352 vsize=216372 CPUtime=0 cores=1,3,5,7
/proc/6354/task/6355/stat : 6355 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 167 0 0 0 0 0 0 0 23 0 4 0 731678775 221564928 909 33554432000 4194304 4650419 140734102843024 18446744073709551615 4369214 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6354/tid=6356] ppid=6352 vsize=216372 CPUtime=0 cores=1,3,5,7
/proc/6354/task/6356/stat : 6356 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 168 0 0 0 0 0 0 0 23 0 4 0 731678775 221564928 909 33554432000 4194304 4650419 140734102843024 18446744073709551615 4369240 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6354/tid=6357] ppid=6352 vsize=216372 CPUtime=0 cores=1,3,5,7
/proc/6354/task/6357/stat : 6357 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 73 0 0 0 0 0 0 0 23 0 4 0 731678775 221564928 909 33554432000 4194304 4650419 140734102843024 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0419681 s]
/proc/loadavg: 6.92 7.83 7.83 2/361 6354
/proc/meminfo: memFree=18283328/32951124 swapFree=45193364/67111528
[pid=6354] ppid=6352 vsize=217948 CPUtime=0.14 cores=1,3,5,7
/proc/6354/stat : 6354 (strangenight1-m) R 6352 6354 5935 0 -1 4202496 2031 0 0 0 14 0 0 0 22 0 4 0 731678775 223178752 1748 33554432000 4194304 4650419 140734102843024 18446744073709551615 4329637 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6354/statm: 54487 1748 389 112 0 49452 0
[pid=6354/tid=6355] ppid=6352 vsize=217948 CPUtime=0.03 cores=1,3,5,7
/proc/6354/task/6355/stat : 6355 (strangenight1-m) S 6352 6354 5935 0 -1 4202560 470 0 0 0 3 0 0 0 23 0 4 0 731678775 223178752 1748 33554432000 4194304 4650419 140734102843024 18446744073709551615 224285030894 0 0 4096 2 18446604469547943744 0 0 -1 1 0 0 0
[pid=6354/tid=6356] ppid=6352 vsize=217948 CPUtime=0.03 cores=1,3,5,7
/proc/6354/task/6356/stat : 6356 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 496 0 0 0 3 0 0 0 23 0 4 0 731678775 223178752 1748 33554432000 4194304 4650419 140734102843024 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6354/tid=6357] ppid=6352 vsize=217948 CPUtime=0.02 cores=1,3,5,7
/proc/6354/task/6357/stat : 6357 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 185 0 0 0 2 0 0 0 23 0 4 0 731678775 223178752 1748 33554432000 4194304 4650419 140734102843024 18446744073709551615 224284584799 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 217948

[startup+0.100958 s]
/proc/loadavg: 6.92 7.83 7.83 2/361 6354
/proc/meminfo: memFree=18283328/32951124 swapFree=45193364/67111528
[pid=6354] ppid=6352 vsize=217948 CPUtime=0.37 cores=1,3,5,7
/proc/6354/stat : 6354 (strangenight1-m) R 6352 6354 5935 0 -1 4202496 2236 0 0 0 37 0 0 0 22 0 4 0 731678775 223178752 1953 33554432000 4194304 4650419 140734102843024 18446744073709551615 4331301 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6354/statm: 54487 1953 389 112 0 49452 0
[pid=6354/tid=6355] ppid=6352 vsize=217948 CPUtime=0.09 cores=1,3,5,7
/proc/6354/task/6355/stat : 6355 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 526 0 0 0 9 0 0 0 23 0 4 0 731678775 223178752 1953 33554432000 4194304 4650419 140734102843024 18446744073709551615 4363538 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6354/tid=6356] ppid=6352 vsize=217948 CPUtime=0.09 cores=1,3,5,7
/proc/6354/task/6356/stat : 6356 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 540 0 0 0 9 0 0 0 23 0 4 0 731678775 223178752 1954 33554432000 4194304 4650419 140734102843024 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6354/tid=6357] ppid=6352 vsize=217948 CPUtime=0.08 cores=1,3,5,7
/proc/6354/task/6357/stat : 6357 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 251 0 0 0 8 0 0 0 23 0 4 0 731678775 223178752 1954 33554432000 4194304 4650419 140734102843024 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 217948

[startup+0.300925 s]
/proc/loadavg: 6.92 7.83 7.83 2/361 6354
/proc/meminfo: memFree=18283328/32951124 swapFree=45193364/67111528
[pid=6354] ppid=6352 vsize=219260 CPUtime=1.17 cores=1,3,5,7
/proc/6354/stat : 6354 (strangenight1-m) R 6352 6354 5935 0 -1 4202496 3281 0 0 0 117 0 0 0 22 0 4 0 731678775 224522240 2459 33554432000 4194304 4650419 140734102843024 18446744073709551615 4363576 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6354/statm: 54815 2459 391 112 0 49780 0
[pid=6354/tid=6355] ppid=6352 vsize=219260 CPUtime=0.29 cores=1,3,5,7
/proc/6354/task/6355/stat : 6355 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 804 0 0 0 29 0 0 0 24 0 4 0 731678775 224522240 2459 33554432000 4194304 4650419 140734102843024 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6354/tid=6356] ppid=6352 vsize=219260 CPUtime=0.29 cores=1,3,5,7
/proc/6354/task/6356/stat : 6356 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 781 0 0 0 29 0 0 0 23 0 4 0 731678775 224522240 2459 33554432000 4194304 4650419 140734102843024 18446744073709551615 4360978 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6354/tid=6357] ppid=6352 vsize=219260 CPUtime=0.28 cores=1,3,5,7
/proc/6354/task/6357/stat : 6357 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 526 0 0 0 28 0 0 0 23 0 4 0 731678775 224522240 2459 33554432000 4194304 4650419 140734102843024 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 219260

[startup+0.70086 s]
/proc/loadavg: 6.92 7.83 7.83 2/361 6354
/proc/meminfo: memFree=18283328/32951124 swapFree=45193364/67111528
[pid=6354] ppid=6352 vsize=220464 CPUtime=2.77 cores=1,3,5,7
/proc/6354/stat : 6354 (strangenight1-m) R 6352 6354 5935 0 -1 4202496 5426 0 0 0 277 0 0 0 24 0 4 0 731678775 225755136 2894 33554432000 4194304 4650419 140734102843024 18446744073709551615 4364604 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6354/statm: 55116 2894 391 112 0 50081 0
[pid=6354/tid=6355] ppid=6352 vsize=220464 CPUtime=0.69 cores=1,3,5,7
/proc/6354/task/6355/stat : 6355 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 1336 0 0 0 69 0 0 0 25 0 4 0 731678775 225755136 2894 33554432000 4194304 4650419 140734102843024 18446744073709551615 4334261 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6354/tid=6356] ppid=6352 vsize=220464 CPUtime=0.69 cores=1,3,5,7
/proc/6354/task/6356/stat : 6356 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 1319 0 0 0 69 0 0 0 25 0 4 0 731678775 225755136 2894 33554432000 4194304 4650419 140734102843024 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6354/tid=6357] ppid=6352 vsize=220464 CPUtime=0.68 cores=1,3,5,7
/proc/6354/task/6357/stat : 6357 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 1096 0 0 0 68 0 0 0 25 0 4 0 731678775 225755136 2894 33554432000 4194304 4650419 140734102843024 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 220464

[startup+1.50073 s]
/proc/loadavg: 6.92 7.83 7.83 9/373 6366
/proc/meminfo: memFree=18224216/32951124 swapFree=45193364/67111528
[pid=6354] ppid=6352 vsize=225948 CPUtime=5.95 cores=1,3,5,7
/proc/6354/stat : 6354 (strangenight1-m) R 6352 6354 5935 0 -1 4202496 10070 0 0 0 594 1 0 0 25 0 4 0 731678775 231370752 5507 33554432000 4194304 4650419 140734102843024 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6354/statm: 56487 5507 393 112 0 51452 0
[pid=6354/tid=6355] ppid=6352 vsize=225948 CPUtime=1.49 cores=1,3,5,7
/proc/6354/task/6355/stat : 6355 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 2954 0 0 0 149 0 0 0 25 0 4 0 731678775 231370752 5507 33554432000 4194304 4650419 140734102843024 18446744073709551615 4438378 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6354/tid=6356] ppid=6352 vsize=225948 CPUtime=1.49 cores=1,3,5,7
/proc/6354/task/6356/stat : 6356 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 2059 0 0 0 149 0 0 0 25 0 4 0 731678775 231370752 5507 33554432000 4194304 4650419 140734102843024 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6354/tid=6357] ppid=6352 vsize=225948 CPUtime=1.46 cores=1,3,5,7
/proc/6354/task/6357/stat : 6357 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 1872 0 0 0 146 0 0 0 25 0 4 0 731678775 231370752 5507 33554432000 4194304 4650419 140734102843024 18446744073709551615 4366589 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 225948

[startup+3.10047 s]
/proc/loadavg: 6.92 7.83 7.83 9/373 6366
/proc/meminfo: memFree=18200056/32951124 swapFree=45193364/67111528
[pid=6354] ppid=6352 vsize=229180 CPUtime=12.34 cores=1,3,5,7
/proc/6354/stat : 6354 (strangenight1-m) R 6352 6354 5935 0 -1 4202496 16308 0 0 0 1232 2 0 0 25 0 4 0 731678775 234680320 9206 33554432000 4194304 4650419 140734102843024 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6354/statm: 57295 9206 393 112 0 52260 0
[pid=6354/tid=6355] ppid=6352 vsize=229180 CPUtime=3.08 cores=1,3,5,7
/proc/6354/task/6355/stat : 6355 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 3804 0 0 0 308 0 0 0 25 0 4 0 731678775 234680320 9206 33554432000 4194304 4650419 140734102843024 18446744073709551615 4328348 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6354/tid=6356] ppid=6352 vsize=229180 CPUtime=3.08 cores=1,3,5,7
/proc/6354/task/6356/stat : 6356 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 3940 0 0 0 308 0 0 0 25 0 4 0 731678775 234680320 9206 33554432000 4194304 4650419 140734102843024 18446744073709551615 4363460 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6354/tid=6357] ppid=6352 vsize=229180 CPUtime=3.05 cores=1,3,5,7
/proc/6354/task/6357/stat : 6357 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 4277 0 0 0 305 0 0 0 25 0 4 0 731678775 234680320 9206 33554432000 4194304 4650419 140734102843024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 229180

[startup+6.30093 s]
/proc/loadavg: 7.00 7.84 7.83 9/373 6366
/proc/meminfo: memFree=18125256/32951124 swapFree=45193364/67111528
[pid=6354] ppid=6352 vsize=238312 CPUtime=25.1 cores=1,3,5,7
/proc/6354/stat : 6354 (strangenight1-m) R 6352 6354 5935 0 -1 4202496 25255 0 0 0 2507 3 0 0 25 0 4 0 731678775 244031488 14576 33554432000 4194304 4650419 140734102843024 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6354/statm: 59578 14576 393 112 0 54543 0
[pid=6354/tid=6355] ppid=6352 vsize=238312 CPUtime=6.29 cores=1,3,5,7
/proc/6354/task/6355/stat : 6355 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 6056 0 0 0 628 1 0 0 25 0 4 0 731678775 244031488 14576 33554432000 4194304 4650419 140734102843024 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6354/tid=6356] ppid=6352 vsize=238312 CPUtime=6.28 cores=1,3,5,7
/proc/6354/task/6356/stat : 6356 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 6298 0 0 0 628 0 0 0 25 0 4 0 731678775 244031488 14576 33554432000 4194304 4650419 140734102843024 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6354/tid=6357] ppid=6352 vsize=238312 CPUtime=6.21 cores=1,3,5,7
/proc/6354/task/6357/stat : 6357 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 7392 0 0 0 621 0 0 0 25 0 4 0 731678775 244031488 14576 33554432000 4194304 4650419 140734102843024 18446744073709551615 4432376 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 238312

[startup+12.7009 s]
/proc/loadavg: 7.08 7.84 7.83 9/373 6368
/proc/meminfo: memFree=18101840/32951124 swapFree=45193364/67111528
[pid=6354] ppid=6352 vsize=242680 CPUtime=50.62 cores=1,3,5,7
/proc/6354/stat : 6354 (strangenight1-m) R 6352 6354 5935 0 -1 4202496 35439 0 0 0 5057 5 0 0 25 0 4 0 731678775 248504320 15262 33554432000 4194304 4650419 140734102843024 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6354/statm: 60670 15262 393 112 0 55635 0
[pid=6354/tid=6355] ppid=6352 vsize=242680 CPUtime=12.68 cores=1,3,5,7
/proc/6354/task/6355/stat : 6355 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 9309 0 0 0 1267 1 0 0 25 0 4 0 731678775 248504320 15262 33554432000 4194304 4650419 140734102843024 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6354/tid=6356] ppid=6352 vsize=242680 CPUtime=12.69 cores=1,3,5,7
/proc/6354/task/6356/stat : 6356 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 9242 0 0 0 1268 1 0 0 25 0 4 0 731678775 248504320 15262 33554432000 4194304 4650419 140734102843024 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6354/tid=6357] ppid=6352 vsize=242680 CPUtime=12.53 cores=1,3,5,7
/proc/6354/task/6357/stat : 6357 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 10478 0 0 0 1252 1 0 0 25 0 4 0 731678775 248504320 15262 33554432000 4194304 4650419 140734102843024 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 242680

[startup+25.5007 s]
/proc/loadavg: 7.28 7.85 7.83 9/373 6368
/proc/meminfo: memFree=18025436/32951124 swapFree=45193364/67111528
[pid=6354] ppid=6352 vsize=255868 CPUtime=101.67 cores=1,3,5,7
/proc/6354/stat : 6354 (strangenight1-m) R 6352 6354 5935 0 -1 4202496 57331 0 0 0 10157 10 0 0 25 0 4 0 731678775 262008832 21859 33554432000 4194304 4650419 140734102843024 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6354/statm: 63967 21859 393 112 0 58932 0
[pid=6354/tid=6355] ppid=6352 vsize=255868 CPUtime=25.48 cores=1,3,5,7
/proc/6354/task/6355/stat : 6355 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 15352 0 0 0 2546 2 0 0 25 0 4 0 731678775 262008832 21859 33554432000 4194304 4650419 140734102843024 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6354/tid=6356] ppid=6352 vsize=255868 CPUtime=25.49 cores=1,3,5,7
/proc/6354/task/6356/stat : 6356 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 14975 0 0 0 2547 2 0 0 25 0 4 0 731678775 262008832 21859 33554432000 4194304 4650419 140734102843024 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6354/tid=6357] ppid=6352 vsize=255868 CPUtime=25.17 cores=1,3,5,7
/proc/6354/task/6357/stat : 6357 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 15923 0 0 0 2515 2 0 0 25 0 4 0 731678775 262008832 21859 33554432000 4194304 4650419 140734102843024 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 255868

[startup+51.1005 s]
/proc/loadavg: 7.53 7.86 7.84 9/373 6368
/proc/meminfo: memFree=17954556/32951124 swapFree=45193364/67111528
[pid=6354] ppid=6352 vsize=260432 CPUtime=203.77 cores=1,3,5,7
/proc/6354/stat : 6354 (strangenight1-m) R 6352 6354 5935 0 -1 4202496 89694 0 0 0 20359 18 0 0 25 0 4 0 731678775 266682368 27070 33554432000 4194304 4650419 140734102843024 18446744073709551615 4365337 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6354/statm: 65108 27070 393 112 0 60073 0
[pid=6354/tid=6355] ppid=6352 vsize=260432 CPUtime=51.09 cores=1,3,5,7
/proc/6354/task/6355/stat : 6355 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 24598 0 0 0 5104 5 0 0 25 0 4 0 731678775 266682368 27070 33554432000 4194304 4650419 140734102843024 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6354/tid=6356] ppid=6352 vsize=260432 CPUtime=51.09 cores=1,3,5,7
/proc/6354/task/6356/stat : 6356 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 23779 0 0 0 5105 4 0 0 25 0 4 0 731678775 266682368 27070 33554432000 4194304 4650419 140734102843024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6354/tid=6357] ppid=6352 vsize=260432 CPUtime=50.48 cores=1,3,5,7
/proc/6354/task/6357/stat : 6357 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 24670 0 0 0 5043 5 0 0 25 0 4 0 731678775 266682368 27070 33554432000 4194304 4650419 140734102843024 18446744073709551615 4363862 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.77
Current children cumulated vsize (KiB) 260432

[startup+102.314 s]
/proc/loadavg: 7.92 7.91 7.85 9/373 6370
/proc/meminfo: memFree=17903444/32951124 swapFree=45193364/67111528
[pid=6354] ppid=6352 vsize=258148 CPUtime=408.02 cores=1,3,5,7
/proc/6354/stat : 6354 (strangenight1-m) R 6352 6354 5935 0 -1 4202496 151024 0 0 0 40765 37 0 0 25 0 4 0 731678775 264343552 28397 33554432000 4194304 4650419 140734102843024 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6354/statm: 64537 28397 393 112 0 59502 0
[pid=6354/tid=6355] ppid=6352 vsize=258148 CPUtime=102.3 cores=1,3,5,7
/proc/6354/task/6355/stat : 6355 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 39947 0 0 0 10219 11 0 0 25 0 4 0 731678775 264343552 28397 33554432000 4194304 4650419 140734102843024 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6354/tid=6356] ppid=6352 vsize=258148 CPUtime=102.3 cores=1,3,5,7
/proc/6354/task/6356/stat : 6356 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 40053 0 0 0 10223 7 0 0 25 0 4 0 731678775 264343552 28397 33554432000 4194304 4650419 140734102843024 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6354/tid=6357] ppid=6352 vsize=258148 CPUtime=101.08 cores=1,3,5,7
/proc/6354/task/6357/stat : 6357 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 41015 0 0 0 10098 10 0 0 25 0 4 0 731678775 264343552 28397 33554432000 4194304 4650419 140734102843024 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.02
Current children cumulated vsize (KiB) 258148

[startup+162.301 s]
/proc/loadavg: 8.03 7.94 7.86 9/373 6372
/proc/meminfo: memFree=17813620/32951124 swapFree=45193364/67111528
[pid=6354] ppid=6352 vsize=342540 CPUtime=647.26 cores=1,3,5,7
/proc/6354/stat : 6354 (strangenight1-m) R 6352 6354 5935 0 -1 4202496 206989 0 0 0 64671 55 0 0 25 0 4 0 731678775 350760960 42860 33554432000 4194304 4650419 140734102843024 18446744073709551615 4313456 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6354/statm: 85635 42860 393 112 0 80600 0
[pid=6354/tid=6355] ppid=6352 vsize=342540 CPUtime=162.29 cores=1,3,5,7
/proc/6354/task/6355/stat : 6355 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 56287 0 0 0 16214 15 0 0 25 0 4 0 731678775 350760960 42860 33554432000 4194304 4650419 140734102843024 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6354/tid=6356] ppid=6352 vsize=342540 CPUtime=162.29 cores=1,3,5,7
/proc/6354/task/6356/stat : 6356 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 54597 0 0 0 16217 12 0 0 25 0 4 0 731678775 350760960 42860 33554432000 4194304 4650419 140734102843024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6354/tid=6357] ppid=6352 vsize=342540 CPUtime=160.36 cores=1,3,5,7
/proc/6354/task/6357/stat : 6357 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 56896 0 0 0 16020 16 0 0 25 0 4 0 731678775 350760960 42860 33554432000 4194304 4650419 140734102843024 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 647.26
Current children cumulated vsize (KiB) 342540

[startup+222.301 s]
/proc/loadavg: 8.11 7.98 7.88 9/373 6372
/proc/meminfo: memFree=17741396/32951124 swapFree=45193364/67111528
[pid=6354] ppid=6352 vsize=332064 CPUtime=886.53 cores=1,3,5,7
/proc/6354/stat : 6354 (strangenight1-m) R 6352 6354 5935 0 -1 4202496 251823 0 0 0 88584 69 0 0 25 0 4 0 731678775 340033536 47390 33554432000 4194304 4650419 140734102843024 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6354/statm: 83016 47391 393 112 0 77981 0
[pid=6354/tid=6355] ppid=6352 vsize=332064 CPUtime=222.29 cores=1,3,5,7
/proc/6354/task/6355/stat : 6355 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 67695 0 0 0 22211 18 0 0 25 0 4 0 731678775 340033536 47391 33554432000 4194304 4650419 140734102843024 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6354/tid=6356] ppid=6352 vsize=332064 CPUtime=222.29 cores=1,3,5,7
/proc/6354/task/6356/stat : 6356 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 66060 0 0 0 22213 16 0 0 25 0 4 0 731678775 340033536 47391 33554432000 4194304 4650419 140734102843024 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6354/tid=6357] ppid=6352 vsize=332064 CPUtime=219.63 cores=1,3,5,7
/proc/6354/task/6357/stat : 6357 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 68330 0 0 0 21943 20 0 0 25 0 4 0 731678775 340033536 47391 33554432000 4194304 4650419 140734102843024 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 886.53
Current children cumulated vsize (KiB) 332064

[startup+282.301 s]
/proc/loadavg: 8.14 8.01 7.90 9/373 6374
/proc/meminfo: memFree=17720024/32951124 swapFree=45193364/67111528
[pid=6354] ppid=6352 vsize=392580 CPUtime=1125.83 cores=1,3,5,7
/proc/6354/stat : 6354 (strangenight1-m) R 6352 6354 5935 0 -1 4202496 288166 0 0 0 112500 83 0 0 25 0 4 0 731678775 402001920 53963 33554432000 4194304 4650419 140734102843024 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6354/statm: 98145 53963 393 112 0 93110 0
[pid=6354/tid=6355] ppid=6352 vsize=392580 CPUtime=282.29 cores=1,3,5,7
/proc/6354/task/6355/stat : 6355 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 78515 0 0 0 28207 22 0 0 25 0 4 0 731678775 402001920 53963 33554432000 4194304 4650419 140734102843024 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6354/tid=6356] ppid=6352 vsize=392580 CPUtime=282.29 cores=1,3,5,7
/proc/6354/task/6356/stat : 6356 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 75717 0 0 0 28210 19 0 0 25 0 4 0 731678775 402001920 53963 33554432000 4194304 4650419 140734102843024 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6354/tid=6357] ppid=6352 vsize=392580 CPUtime=278.94 cores=1,3,5,7
/proc/6354/task/6357/stat : 6357 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 77967 0 0 0 27870 24 0 0 25 0 4 0 731678775 402001920 53963 33554432000 4194304 4650419 140734102843024 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1125.83
Current children cumulated vsize (KiB) 392580

[startup+342.301 s]
/proc/loadavg: 8.14 8.03 7.91 9/373 6376
/proc/meminfo: memFree=17719372/32951124 swapFree=45193364/67111528
[pid=6354] ppid=6352 vsize=342420 CPUtime=1365.1 cores=1,3,5,7
/proc/6354/stat : 6354 (strangenight1-m) R 6352 6354 5935 0 -1 4202496 316606 0 0 0 136416 94 0 0 25 0 4 0 731678775 350638080 50681 33554432000 4194304 4650419 140734102843024 18446744073709551615 4520322 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6354/statm: 85605 50681 393 112 0 80570 0
[pid=6354/tid=6355] ppid=6352 vsize=342420 CPUtime=342.3 cores=1,3,5,7
/proc/6354/task/6355/stat : 6355 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 85694 0 0 0 34205 25 0 0 25 0 4 0 731678775 350638080 50681 33554432000 4194304 4650419 140734102843024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6354/tid=6356] ppid=6352 vsize=342420 CPUtime=342.29 cores=1,3,5,7
/proc/6354/task/6356/stat : 6356 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 84958 0 0 0 34206 23 0 0 25 0 4 0 731678775 350638080 50681 33554432000 4194304 4650419 140734102843024 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6354/tid=6357] ppid=6352 vsize=342420 CPUtime=338.21 cores=1,3,5,7
/proc/6354/task/6357/stat : 6357 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 82189 0 0 0 33795 26 0 0 25 0 4 0 731678775 350638080 50681 33554432000 4194304 4650419 140734102843024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1365.1
Current children cumulated vsize (KiB) 342420

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

[startup+345.5 s]
/proc/loadavg: 8.13 8.03 7.91 9/373 6376
/proc/meminfo: memFree=17702248/32951124 swapFree=45193364/67111528
[pid=6354] ppid=6352 vsize=342420 CPUtime=1377.86 cores=1,3,5,7
/proc/6354/stat : 6354 (strangenight1-m) R 6352 6354 5935 0 -1 4202496 318384 0 0 0 137691 95 0 0 25 0 4 0 731678775 350638080 52459 33554432000 4194304 4650419 140734102843024 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6354/statm: 85605 52459 393 112 0 80570 0
[pid=6354/tid=6355] ppid=6352 vsize=342420 CPUtime=345.49 cores=1,3,5,7
/proc/6354/task/6355/stat : 6355 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 85978 0 0 0 34524 25 0 0 25 0 4 0 731678775 350638080 52459 33554432000 4194304 4650419 140734102843024 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6354/tid=6356] ppid=6352 vsize=342420 CPUtime=345.48 cores=1,3,5,7
/proc/6354/task/6356/stat : 6356 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 85294 0 0 0 34525 23 0 0 25 0 4 0 731678775 350638080 52459 33554432000 4194304 4650419 140734102843024 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6354/tid=6357] ppid=6352 vsize=342420 CPUtime=341.37 cores=1,3,5,7
/proc/6354/task/6357/stat : 6357 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 83068 0 0 0 34111 26 0 0 25 0 4 0 731678775 350638080 52459 33554432000 4194304 4650419 140734102843024 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1377.86
Current children cumulated vsize (KiB) 342420

[startup+351.9 s]
/proc/loadavg: 8.12 8.03 7.91 9/373 6376
/proc/meminfo: memFree=17705592/32951124 swapFree=45193364/67111528
[pid=6354] ppid=6352 vsize=317824 CPUtime=1403.41 cores=1,3,5,7
/proc/6354/stat : 6354 (strangenight1-m) R 6352 6354 5935 0 -1 4202496 321039 0 0 0 140244 97 0 0 25 0 4 0 731678775 325451776 51455 33554432000 4194304 4650419 140734102843024 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6354/statm: 79456 51455 393 112 0 74421 0
[pid=6354/tid=6355] ppid=6352 vsize=317824 CPUtime=351.91 cores=1,3,5,7
/proc/6354/task/6355/stat : 6355 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 87344 0 0 0 35165 26 0 0 25 0 4 0 731678775 325451776 51457 33554432000 4194304 4650419 140734102843024 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6354/tid=6356] ppid=6352 vsize=317824 CPUtime=351.9 cores=1,3,5,7
/proc/6354/task/6356/stat : 6356 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 85824 0 0 0 35166 24 0 0 25 0 4 0 731678775 325451776 51457 33554432000 4194304 4650419 140734102843024 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6354/tid=6357] ppid=6352 vsize=317824 CPUtime=347.71 cores=1,3,5,7
/proc/6354/task/6357/stat : 6357 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 83698 0 0 0 34744 27 0 0 25 0 4 0 731678775 325451776 51457 33554432000 4194304 4650419 140734102843024 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1403.41
Current children cumulated vsize (KiB) 317824

[startup+355.101 s]
/proc/loadavg: 8.11 8.03 7.91 9/373 6376
/proc/meminfo: memFree=17700136/32951124 swapFree=45193364/67111528
[pid=6354] ppid=6352 vsize=305444 CPUtime=1416.16 cores=1,3,5,7
/proc/6354/stat : 6354 (strangenight1-m) R 6352 6354 5935 0 -1 4202496 322863 0 0 0 141518 98 0 0 25 0 4 0 731678775 312774656 51182 33554432000 4194304 4650419 140734102843024 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6354/statm: 76361 51182 393 112 0 71326 0
[pid=6354/tid=6355] ppid=6352 vsize=305444 CPUtime=355.1 cores=1,3,5,7
/proc/6354/task/6355/stat : 6355 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 87623 0 0 0 35484 26 0 0 25 0 4 0 731678775 312774656 51182 33554432000 4194304 4650419 140734102843024 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6354/tid=6356] ppid=6352 vsize=305444 CPUtime=355.09 cores=1,3,5,7
/proc/6354/task/6356/stat : 6356 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 87129 0 0 0 35485 24 0 0 25 0 4 0 731678775 312774656 51182 33554432000 4194304 4650419 140734102843024 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6354/tid=6357] ppid=6352 vsize=305444 CPUtime=350.87 cores=1,3,5,7
/proc/6354/task/6357/stat : 6357 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 83936 0 0 0 35060 27 0 0 25 0 4 0 731678775 312774656 51182 33554432000 4194304 4650419 140734102843024 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1416.16
Current children cumulated vsize (KiB) 305444

[startup+355.901 s]
/proc/loadavg: 8.11 8.03 7.91 9/373 6376
/proc/meminfo: memFree=17695548/32951124 swapFree=45193364/67111528
[pid=6354] ppid=6352 vsize=305444 CPUtime=1419.35 cores=1,3,5,7
/proc/6354/stat : 6354 (strangenight1-m) R 6352 6354 5935 0 -1 4202496 323054 0 0 0 141837 98 0 0 25 0 4 0 731678775 312774656 51373 33554432000 4194304 4650419 140734102843024 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6354/statm: 76361 51373 393 112 0 71326 0
[pid=6354/tid=6355] ppid=6352 vsize=305444 CPUtime=355.89 cores=1,3,5,7
/proc/6354/task/6355/stat : 6355 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 87697 0 0 0 35563 26 0 0 25 0 4 0 731678775 312774656 51373 33554432000 4194304 4650419 140734102843024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6354/tid=6356] ppid=6352 vsize=305444 CPUtime=355.89 cores=1,3,5,7
/proc/6354/task/6356/stat : 6356 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 87219 0 0 0 35565 24 0 0 25 0 4 0 731678775 312774656 51373 33554432000 4194304 4650419 140734102843024 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6354/tid=6357] ppid=6352 vsize=305444 CPUtime=351.65 cores=1,3,5,7
/proc/6354/task/6357/stat : 6357 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 83963 0 0 0 35138 27 0 0 25 0 4 0 731678775 312774656 51373 33554432000 4194304 4650419 140734102843024 18446744073709551615 4313064 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1419.35
Current children cumulated vsize (KiB) 305444

[startup+356.301 s]
/proc/loadavg: 8.11 8.03 7.91 9/373 6376
/proc/meminfo: memFree=17688232/32951124 swapFree=45193364/67111528
[pid=6354] ppid=6352 vsize=370980 CPUtime=1420.96 cores=1,3,5,7
/proc/6354/stat : 6354 (strangenight1-m) R 6352 6354 5935 0 -1 4202496 323743 0 0 0 141998 98 0 0 25 0 4 0 731678775 379883520 52062 33554432000 4194304 4650419 140734102843024 18446744073709551615 4334635 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6354/statm: 92745 52062 393 112 0 87710 0
[pid=6354/tid=6355] ppid=6352 vsize=370980 CPUtime=356.31 cores=1,3,5,7
/proc/6354/task/6355/stat : 6355 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 87722 0 0 0 35605 26 0 0 25 0 4 0 731678775 379883520 52063 33554432000 4194304 4650419 140734102843024 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6354/tid=6356] ppid=6352 vsize=370980 CPUtime=356.3 cores=1,3,5,7
/proc/6354/task/6356/stat : 6356 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 87257 0 0 0 35606 24 0 0 25 0 4 0 731678775 379883520 52063 33554432000 4194304 4650419 140734102843024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6354/tid=6357] ppid=6352 vsize=370980 CPUtime=352.05 cores=1,3,5,7
/proc/6354/task/6357/stat : 6357 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 84590 0 0 0 35178 27 0 0 25 0 4 0 731678775 379883520 52063 33554432000 4194304 4650419 140734102843024 18446744073709551615 4313691 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1420.96
Current children cumulated vsize (KiB) 370980

[startup+356.701 s]
/proc/loadavg: 8.11 8.03 7.91 9/373 6376
/proc/meminfo: memFree=17688232/32951124 swapFree=45193364/67111528
[pid=6354] ppid=6352 vsize=370980 CPUtime=1422.53 cores=1,3,5,7
/proc/6354/stat : 6354 (strangenight1-m) R 6352 6354 5935 0 -1 4202496 323851 0 0 0 142155 98 0 0 25 0 4 0 731678775 379883520 52170 33554432000 4194304 4650419 140734102843024 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6354/statm: 92745 52170 393 112 0 87710 0
[pid=6354/tid=6355] ppid=6352 vsize=370980 CPUtime=356.69 cores=1,3,5,7
/proc/6354/task/6355/stat : 6355 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 87751 0 0 0 35643 26 0 0 25 0 4 0 731678775 379883520 52170 33554432000 4194304 4650419 140734102843024 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6354/tid=6356] ppid=6352 vsize=370980 CPUtime=356.69 cores=1,3,5,7
/proc/6354/task/6356/stat : 6356 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 87287 0 0 0 35645 24 0 0 25 0 4 0 731678775 379883520 52170 33554432000 4194304 4650419 140734102843024 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6354/tid=6357] ppid=6352 vsize=370980 CPUtime=352.44 cores=1,3,5,7
/proc/6354/task/6357/stat : 6357 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 84638 0 0 0 35217 27 0 0 25 0 4 0 731678775 379883520 52170 33554432000 4194304 4650419 140734102843024 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1422.53
Current children cumulated vsize (KiB) 370980

[startup+356.8 s]
/proc/loadavg: 8.11 8.03 7.91 9/373 6376
/proc/meminfo: memFree=17688232/32951124 swapFree=45193364/67111528
[pid=6354] ppid=6352 vsize=370980 CPUtime=1422.93 cores=1,3,5,7
/proc/6354/stat : 6354 (strangenight1-m) R 6352 6354 5935 0 -1 4202496 323875 0 0 0 142195 98 0 0 25 0 4 0 731678775 379883520 52194 33554432000 4194304 4650419 140734102843024 18446744073709551615 4313064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6354/statm: 92745 52194 393 112 0 87710 0
[pid=6354/tid=6355] ppid=6352 vsize=370980 CPUtime=356.79 cores=1,3,5,7
/proc/6354/task/6355/stat : 6355 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 87759 0 0 0 35653 26 0 0 25 0 4 0 731678775 379883520 52194 33554432000 4194304 4650419 140734102843024 18446744073709551615 47226328061469 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6354/tid=6356] ppid=6352 vsize=370980 CPUtime=356.79 cores=1,3,5,7
/proc/6354/task/6356/stat : 6356 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 87293 0 0 0 35655 24 0 0 25 0 4 0 731678775 379883520 52194 33554432000 4194304 4650419 140734102843024 18446744073709551615 47226328036907 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6354/tid=6357] ppid=6352 vsize=370980 CPUtime=352.54 cores=1,3,5,7
/proc/6354/task/6357/stat : 6357 (strangenight1-m) R 6352 6354 5935 0 -1 4202560 84648 0 0 0 35227 27 0 0 25 0 4 0 731678775 379883520 52194 33554432000 4194304 4650419 140734102843024 18446744073709551615 47226328061456 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1422.93
Current children cumulated vsize (KiB) 370980

Child status: 20
Real time (s): 356.819
CPU time (s): 1422.98
CPU user time (s): 1421.99
CPU system time (s): 0.994848
CPU usage (%): 398.797
Max. virtual memory (cumulated for all children) (KiB): 404768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1421.99
system time used= 0.994848
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 323878
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= 331
involuntary context switches= 10665

runsolver used 1.23981 second user time and 3.02554 second system time

The end

Launcher Data 

Begin job on node118 at 2011-05-15 01:08:01
IDJOB=3369312
IDBENCH=83361
IDSOLVER=1846
FILE ID=node118/3369312-1305414481
RUNJOBID= node118-1305414481-6340
PBS_JOBID= 13324527
Free space on /tmp= 73052 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369312-1305414481/watcher-3369312-1305414481 -o /tmp/evaluation-result-3369312-1305414481/solver-3369312-1305414481 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369312-1305414481.cnf

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

MD5SUM BENCH= f20ed0313cfa494f86b5c8ef723973ee
RANDOM SEED=314441557

node118.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.842
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.68
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.842
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.842
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.74
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.842
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.842
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.68
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.842
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.842
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.842
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	: 5374.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18283352 kB
Buffers:        277704 kB
Cached:        4391632 kB
SwapCached:      22084 kB
Active:       11775820 kB
Inactive:      2588192 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18283352 kB
SwapTotal:    67111528 kB
SwapFree:     45193364 kB
Dirty:           13320 kB
Writeback:           0 kB
AnonPages:     9685064 kB
Mapped:          14616 kB
Slab:           148712 kB
PageTables:      90000 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 88630576 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= 73036 MiB
End job on node118 at 2011-05-15 01:13:58