Trace number 3366187

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 4800.46 1203.28

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v20000-c84000-S357264423-067-UNKNOWN.cnf
MD5SUM425b4c5e5535f7d6b9d17ca8feb0ac3e
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark78.815
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-3366187-1305398275.cnf'
0.00/0.00	c -- header says num vars:          20000
0.00/0.00	c -- header says num clauses:       84000
0.29/0.10	c -- clauses added:            0 learnts,        84000 normals,            0 xors
0.29/0.10	c -- vars added      20000
0.29/0.10	c Parsing time:  0.06 s
0.29/0.19	c  N st     0         0     20000     84000         0         0    252000         0   no data   no data
0.29/0.19	c asymm  cl-useful: 0/84000/84000 lits-rem:0 time: 0.07
0.29/0.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
0.29/0.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.29/0.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.29/0.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.29/0.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20000 time:  0.01 s
0.29/0.27	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.01 s
0.29/0.75	c lits-rem:         0  cl-subs:        0  v-elim:    498  v-fix:    0  time:  0.13 s
0.29/0.75	c Finding binary XORs  T:     0.00 s  found:       0
0.29/0.75	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
0.29/0.75	c calculated reachability. Time: 0.00
0.29/0.75	c Calc default polars -  time:   0.01 s pos:    8860 undec:    2228 neg:    8912
0.29/0.75	c =========================================================================================
0.29/0.75	c types(t): F = full restart, N = normal restart
0.29/0.75	c types(t): S = simplification begin/end, E = solution found
0.29/0.75	c restart types(rt): st = static, dy = dynamic
0.29/0.75	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.29/0.75	c  B st     0         0     19502     83418         0         0    253232         0   no data   no data
6.32/1.60	c  N dy    16      4152     19502     83418         0      4151    253232    997333    130.26    139.01
11.11/2.80	c  N dy    45      8244     19502     83418         0      8243    253232   1835792    131.25    188.23
15.91/4.03	c  N dy    72     12290     19502     83418         0     12288    253232   2659971    131.13    141.26
21.07/5.32	c  N dy    97     16375     19502     83418         0     16373    253232   3479158    129.83    138.93
26.26/6.66	c  N dy   123     20514     19502     83418         0     10515    253232    657528    129.70    144.39
31.45/7.93	c  N dy   151     24594     19502     83418         0     14595    253232   1493212    129.95    138.36
31.85/8.05	c  F st   153     25000     19502     83418         0     15001    253232   1575234    129.86   no data
38.63/9.77	c  N dy   159     30001     19502     83418         0     20002    253232   2972239    129.86   no data
38.63/9.77	c  S st   159     30001     19502     83418         0     20002    253232   2972239    129.86   no data
39.43/9.94	c  S st   159     30504     19502     83418         0     20505    253232   3048039    129.86   no data
39.43/9.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
39.83/10.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.05
39.83/10.03	c blocked clauses removed:      354 vars:     57 tried:       19502 T: 0.01 s
39.83/10.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
39.83/10.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
39.83/10.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19445 time:  0.01 s
39.83/10.06	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
40.23/10.14	c lits-rem:         0  cl-subs:        0  v-elim:      6  v-fix:    0  time:  0.08 s
41.03/10.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
44.21/11.16	c lits-rem:        43  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.77 s
44.61/11.27	c asymm  cl-useful: 0/83058/83058 lits-rem:0 time: 0.10
44.61/11.27	c calculated reachability. Time: 0.00
44.61/11.27	c  N dy   159     30504     19439     83058         0     20326    252187   2980383    129.86   no data
50.60/12.72	c  N dy   186     34530     19439     83058         0     24351    252187   3837067    130.37    137.44
56.58/14.24	c  N dy   215     38755     19439     83058         0     28576    252187   4733278    130.78    138.95
62.16/15.68	c  N dy   242     42884     19439     83058         0     17298    252187   1054146    130.93    138.38
66.15/16.62	c  S st   263     45757     19439     83058         0     20171    252187   1628233    130.66   no data
66.95/16.80	c  S st   263     46261     19439     83058         0     20675    252187   1699033    130.66   no data
66.95/16.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
66.95/16.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.05
66.95/16.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
66.95/16.89	c bin-w-bin subsume rem            0 bins  time:  0.01 s
66.95/16.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
67.35/16.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19439 time:  0.01 s
67.35/16.91	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
67.35/16.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
67.75/17.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
68.98/17.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
68.98/17.33	c vivif2 --  cl tried    83058 cl shrink        0 lits rem          0 time: 0.01
68.98/17.36	c vivif2 --  cl tried    20675 cl shrink        0 lits rem          0 time: 0.03
69.34/17.46	c asymm  cl-useful: 0/83058/83058 lits-rem:0 time: 0.10
69.34/17.46	c calculated reachability. Time: 0.00
69.34/17.46	c  N dy   263     46261     19439     83058         0     20675    252187   1699033    130.66   no data
74.93/18.82	c  N dy   288     50306     19439     83058         0     24720    252187   2548066    130.58    152.17
80.51/20.24	c  N dy   312     54497     19439     83058         0     28910    252187   3394486    130.28    138.93
86.12/21.70	c  N dy   337     58661     19439     83058         0     33073    252187   4220580    129.90    138.89
92.49/23.21	c  N dy   362     62839     19439     83058         0     37251    252187   5076159    129.63    140.36
98.08/24.64	c  N dy   391     67022     19439     83058         0     22730    252187   1445060    129.51    136.40
101.26/25.47	c  S st   408     69394     19439     83058         0     25102    252187   1931051    129.39   no data
102.06/25.64	c  S st   408     69895     19439     83058         0     25603    252187   1992259    129.39   no data
102.06/25.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
102.46/25.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.05
102.46/25.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
102.46/25.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
102.46/25.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
102.46/25.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19439 time:  0.01 s
102.46/25.76	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
102.86/25.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
103.26/25.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
104.45/26.28	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.33 s
104.45/26.29	c vivif2 --  cl tried    83058 cl shrink        0 lits rem          0 time: 0.01
104.85/26.32	c vivif2 --  cl tried    25602 cl shrink        0 lits rem          0 time: 0.03
105.25/26.43	c asymm  cl-useful: 0/83058/83058 lits-rem:0 time: 0.11
105.25/26.44	c calculated reachability. Time: 0.00
105.25/26.44	c  N dy   408     69895     19439     83058         0     25602    252187   1992093    129.39   no data
111.64/28.00	c  N dy   435     74478     19439     83058         0     30185    252187   2933094    129.28    137.76
118.42/29.77	c  N dy   467     79452     19439     83058         0     35159    252187   3920112    129.14    137.72
126.04/31.65	c  N dy   503     84580     19439     83058         0     40287    252187   4973556    129.10    136.30
130.43/32.75	c  F st   526     87502     19439     83058         0     22355    252187    920852    129.17   no data
135.17/33.95	c  N st   531     90798     19439     83058         0     25651    252187   1831792    129.17   no data
143.60/36.03	c  N dy   560     96594     19439     83058         0     31447    252187   3160340    129.26    137.86
152.73/38.30	c  N dy   598    102859     19439     83058         0     37712    252187   4425754    129.12    136.57
155.52/39.08	c  S st   616    104843     19439     83058         0     39696    252187   4851376    129.30   no data
156.34/39.29	c  S st   616    105349     19439     83058         0     40202    252187   4927886    129.30   no data
156.34/39.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
156.77/39.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.07
156.77/39.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
156.77/39.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
157.12/39.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
157.12/39.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19439 time:  0.01 s
157.12/39.42	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
157.52/39.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
158.31/39.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
164.31/41.24	c lits-rem:         5  cl-subs:        6  v-elim:      0  v-fix:    0  time:  1.43 s
164.31/41.25	c vivif2 --  cl tried    83058 cl shrink        0 lits rem          0 time: 0.01
164.71/41.33	c vivif2 --  cl tried    40196 cl shrink        0 lits rem          0 time: 0.08
165.12/41.47	c asymm  cl-useful: 0/83058/83058 lits-rem:0 time: 0.13
165.12/41.48	c calculated reachability. Time: 0.00
165.12/41.48	c  N dy   616    105349     19439     83058         0     40196    252187   4925862    129.30   no data
175.47/44.07	c  N dy   661    112202     19439     83058         0     24622    252187   1025016    129.26    137.19
185.85/46.65	c  N dy   708    119468     19439     83058         0     31888    252187   2533355    129.32    137.25
197.01/49.44	c  N dy   755    127163     19439     83058         0     39583    252187   4079501    129.16    136.05
209.42/52.52	c  N dy   806    135347     19439     83058         0     24055    252187    613415    128.99    139.07
221.76/55.61	c  N dy   874    144077     19439     83058         0     32784    252187   2423440    129.26    141.41
235.34/59.10	c  N dy   940    153339     19439     83058         0     42046    252187   4356544    129.50    187.43
242.90/60.91	c  S st   971    158023     19439     83058         0     46730    252187   5317489    129.56    125.45
243.70/61.11	c  S st   971    158526     19439     83058         0     47233    252187   5383833    129.56   no data
243.70/61.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
244.11/61.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.07
244.11/61.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
244.11/61.24	c bin-w-bin subsume rem            0 bins  time:  0.01 s
244.11/61.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
244.11/61.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19439 time:  0.01 s
244.11/61.26	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
244.53/61.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
245.68/61.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
254.07/63.73	c lits-rem:         4  cl-subs:        6  v-elim:      0  v-fix:    0  time:  2.05 s
254.07/63.74	c vivif2 --  cl tried    83058 cl shrink        0 lits rem          0 time: 0.01
254.47/63.82	c vivif2 --  cl tried    47227 cl shrink        0 lits rem          0 time: 0.08
254.87/63.96	c asymm  cl-useful: 0/83058/83058 lits-rem:0 time: 0.14
254.87/63.97	c calculated reachability. Time: 0.00
254.87/63.97	c  N dy   971    158526     19439     83058         0     47227    252187   5381719    129.56   no data
270.03/67.76	c  N dy  1045    168746     19439     83058         0     32592    252187   2155760    129.67    138.05
286.38/71.83	c  N dy  1121    179571     19439     83058         0     43417    252187   4349259    129.67    153.88
303.95/76.29	c  N dy  1206    191049     19439     83058         0     28973    252187   1149731    129.86    138.08
322.30/80.85	c  N dy  1292    203352     19439     83058         0     41274    252187   3666138    129.99    136.84
343.05/86.06	c  N dy  1384    216542     19439     83058         0     27499    252187    590210    130.15    139.46
363.79/91.24	c  N dy  1477    230618     19439     83058         0     41574    252187   3522214    130.19    137.64
374.96/94.01	c  S st  1523    237789     19439     83058         0     48744    252187   5003422    130.14    112.47
375.78/94.24	c  S st  1523    238294     19439     83058         0     49249    252187   5083316    130.14   no data
375.78/94.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
376.20/94.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.07
376.20/94.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
376.20/94.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
376.20/94.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
376.20/94.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19439 time:  0.01 s
376.20/94.37	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
376.55/94.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
377.76/94.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
386.14/96.85	c lits-rem:         4  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.09 s
386.14/96.86	c vivif2 --  cl tried    83058 cl shrink        0 lits rem          0 time: 0.01
386.54/96.94	c vivif2 --  cl tried    49246 cl shrink        0 lits rem          0 time: 0.08
386.94/97.08	c asymm  cl-useful: 0/83058/83058 lits-rem:0 time: 0.14
386.94/97.09	c calculated reachability. Time: 0.00
386.94/97.09	c  N dy  1523    238294     19439     83058         0     49246    252187   5081798    130.14   no data
410.48/102.92	c  N dy  1622    253606     19439     83058         0     36583    252187   2254226    130.15    137.22
435.21/109.18	c  N dy  1726    269914     19439     83058         0     52891    252187   5591464    130.12    147.42
462.34/115.92	c  N dy  1841    287223     19439     83058         0     41201    252187   2985127    130.18    160.36
491.46/123.22	c  N dy  1962    305643     19439     83058         0     59616    252187   6760495    130.19    140.60
492.66/123.50	c  F st  1968    306250     19439     83058         0     30230    252187    496435    130.21   no data
521.79/130.84	c  N dy  2065    325251     19439     83058         0     49228    252187   4996284    130.22    138.97
553.31/138.79	c  N dy  2196    345556     19439     83058         0     38542    252187   2010958    130.18    138.16
571.67/143.33	c  S st  2273    357443     19439     83058         0     50426    252187   4436986    130.12   no data
572.47/143.54	c  S st  2273    357949     19439     83058         0     50932    252187   4510125    130.12   no data
572.47/143.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
572.87/143.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.07
572.87/143.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
572.87/143.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
572.87/143.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
572.87/143.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19439 time:  0.01 s
572.87/143.67	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
573.28/143.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
574.45/144.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
586.03/146.92	c lits-rem:         2  cl-subs:        7  v-elim:      0  v-fix:    0  time:  2.88 s
586.03/146.93	c vivif2 --  cl tried    83058 cl shrink        0 lits rem          0 time: 0.01
586.45/147.02	c vivif2 --  cl tried    50925 cl shrink        0 lits rem          0 time: 0.07
586.86/147.16	c asymm  cl-useful: 0/83058/83058 lits-rem:0 time: 0.14
586.86/147.17	c calculated reachability. Time: 0.00
586.86/147.17	c  N dy  2273    357949     19439     83058         0     50925    252187   4507452    130.12   no data
619.53/155.35	c  N dy  2408    378043     19439     83058         0     39020    252187   1920477    130.20    138.29
651.46/163.33	c  N dy  2536    398101     19439     83058         0     59077    252187   6041942    130.19    143.88
683.41/171.34	c  N dy  2668    418213     19439     83058         0     46186    252187   3169978    130.25    143.18
716.09/179.57	c  N dy  2792    438326     19439     83058         0     66298    252187   7330834    130.21    138.77
747.61/187.44	c  N dy  2928    458360     19439     83058         0     52339    252187   4209068    130.25    146.77
781.12/195.86	c  N dy  3060    478490     19439     83058         0     37472    252187    956979    130.29    146.00
812.65/203.75	c  N dy  3192    498511     19439     83058         0     57492    252187   5127920    130.36    137.49
845.80/212.06	c  N dy  3316    518589     19439     83058         0     41574    252187   1579109    130.32    145.04
874.89/219.37	c  S st  3435    536923     19439     83058         0     59907    252187   5290894    130.26   no data
875.69/219.58	c  S st  3435    537426     19439     83058         0     60410    252187   5362604    130.26   no data
876.10/219.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
876.10/219.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.08
876.52/219.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
876.52/219.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
876.52/219.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
876.52/219.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19439 time:  0.01 s
876.52/219.74	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
876.87/219.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
878.08/220.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
888.86/222.83	c lits-rem:         1  cl-subs:        6  v-elim:      0  v-fix:    0  time:  2.69 s
888.86/222.84	c vivif2 --  cl tried    83058 cl shrink        0 lits rem          0 time: 0.01
889.27/222.94	c vivif2 --  cl tried    60404 cl shrink        0 lits rem          0 time: 0.09
890.04/223.10	c asymm  cl-useful: 0/83058/83058 lits-rem:0 time: 0.16
890.04/223.11	c calculated reachability. Time: 0.00
890.04/223.11	c  N dy  3435    537426     19439     83058         0     60404    252187   5360842    130.26   no data
923.96/231.63	c  N dy  3571    557639     19439     83058         0     43617    252187   1805769    130.32    138.53
956.27/239.74	c  N dy  3704    577688     19439     83058         0     63665    252187   5985967    130.37    138.84
990.20/248.21	c  N dy  3838    597693     19439     83058         0     45671    252187   2061824    130.39    137.68
1022.90/256.45	c  N dy  3975    617753     19439     83058         0     65730    252187   6276025    130.49    138.21
1056.81/264.96	c  N dy  4115    637786     19439     83058         0     46768    252187   2069634    130.53    147.04
1089.93/273.26	c  N dy  4255    657787     19439     83058         0     66767    252187   6264899    130.61    140.57
1125.05/282.02	c  N dy  4391    677840     19439     83058         0     46819    252187   1874471    130.65    137.81
1159.75/290.71	c  N dy  4529    697949     19439     83058         0     66924    252187   6026778    130.69    138.03
1194.87/299.55	c  N dy  4669    717979     19439     83058         0     45957    252187   1471349    130.78    210.12
1227.98/307.84	c  N dy  4811    737990     19439     83058         0     65967    252187   5588419    130.80    145.21
1263.89/316.81	c  N dy  4938    758096     19439     83058         0     44072    252187    875313    130.77    140.25
1296.60/325.00	c  N dy  5073    778255     19439     83058         0     64230    252187   5034770    130.77    139.08
1332.52/334.04	c  N dy  5207    798302     19439     83058         0     84276    252187   9200805    130.80    140.33
1345.27/337.27	c  S st  5261    806140     19439     83058         0     49128    252187   1706869    130.80   no data
1346.11/337.48	c  S st  5261    806645     19439     83058         0     49633    252187   1777167    130.80   no data
1346.11/337.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1346.46/337.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.07
1346.46/337.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1346.46/337.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1346.86/337.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1346.86/337.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19439 time:  0.01 s
1346.86/337.62	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
1346.86/337.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
1347.27/337.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1350.08/338.43	c lits-rem:         3  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.62 s
1350.08/338.44	c vivif2 --  cl tried    83058 cl shrink        0 lits rem          0 time: 0.01
1350.08/338.47	c vivif2 --  cl tried    49632 cl shrink        0 lits rem          0 time: 0.03
1350.86/338.61	c asymm  cl-useful: 0/83058/83058 lits-rem:0 time: 0.14
1350.86/338.62	c calculated reachability. Time: 0.00
1350.86/338.62	c  N dy  5261    806645     19439     83058         0     49632    252187   1777124    130.80   no data
1384.37/347.05	c  N dy  5396    826677     19439     83058         0     69662    252187   6003535    130.86    145.83
1421.88/356.47	c  N dy  5528    846939     19439     83058         0     45920    252187    864972    130.86    145.32
1455.00/364.76	c  N dy  5660    867046     19439     83058         0     66026    252187   5032828    130.88    141.66
1491.69/374.00	c  N dy  5799    887314     19439     83058         0     86291    252187   9234026    130.90    138.47
1526.05/382.53	c  N dy  5929    907529     19439     83058         0     61506    252187   3848643    130.89    139.97
1561.92/391.54	c  N dy  6065    927797     19439     83058         0     81773    252187   8078765    130.91    140.44
1597.43/400.43	c  N dy  6202    947837     19439     83058         0     55812    252187   2485030    130.95    137.99
1632.54/409.25	c  N dy  6347    967975     19439     83058         0     75948    252187   6673953    131.01    139.91
1670.04/418.61	c  N dy  6479    988078     19439     83058         0     49057    252187    893614    131.00    139.10
1703.55/427.06	c  N dy  6611   1008261     19439     83058         0     69239    252187   5112860    131.01    139.01
1740.68/436.39	c  N dy  6751   1028430     19439     83058         0     89406    252187   9405954    131.07    138.52
1775.79/445.20	c  N dy  6888   1048530     19439     83058         0     61505    252187   3292676    131.11    150.33
1811.33/454.09	c  N dy  7018   1068574     19439     83058         0     81547    252187   7480786    131.12    138.22
1817.67/455.64	c  F st  7041   1071875     19439     83058         0     84848    252187   8156673    131.12   no data
1849.18/463.55	c  N dy  7121   1088662     19439     83058         0     52641    252187   1243133    131.11    140.25
1883.49/472.18	c  N dy  7255   1108760     19439     83058         0     72738    252187   5456394    131.14    139.34
1921.04/481.59	c  N dy  7391   1128805     19439     83058         0     92783    252187   9628726    131.17    141.90
1956.90/490.59	c  N dy  7529   1148903     19439     83058         0     62882    252187   3214839    131.18    161.44
1993.21/499.66	c  N dy  7664   1169038     19439     83058         0     83016    252187   7415791    131.19    138.74
2032.70/509.52	c  N dy  7803   1189111     19439     83058         0     52087    252187    714256    131.19    138.53
2068.22/518.43	c  N dy  7936   1209193     19439     83058         0     72167    252187   4927938    131.21    139.67
2069.41/518.79	c  S st  7942   1209968     19439     83058         0     72942    252187   5089224    131.21    109.17
2070.60/519.04	c  S st  7942   1210471     19439     83058         0     73445    252187   5168042    131.21   no data
2070.60/519.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2071.00/519.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.09
2071.00/519.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2071.00/519.18	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2071.00/519.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2071.00/519.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19439 time:  0.01 s
2071.40/519.20	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
2071.80/519.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
2072.60/519.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2084.97/522.60	c lits-rem:         5  cl-subs:        8  v-elim:      0  v-fix:    0  time:  2.98 s
2084.97/522.61	c vivif2 --  cl tried    83058 cl shrink        0 lits rem          0 time: 0.01
2084.97/522.69	c vivif2 --  cl tried    73437 cl shrink        0 lits rem          0 time: 0.08
2085.77/522.87	c asymm  cl-useful: 0/83058/83058 lits-rem:0 time: 0.18
2085.77/522.88	c calculated reachability. Time: 0.00
2085.77/522.88	c  N dy  7942   1210471     19439     83058         0     73437    252187   5164351    131.21   no data
2124.07/532.40	c  N dy  8078   1230594     19439     83058         0     93557    252187   9313353    131.22    139.20
2160.78/541.69	c  N dy  8211   1250777     19439     83058         0     61746    252187   2553516    131.22    138.37
2196.69/550.63	c  N dy  8344   1270889     19439     83058         0     81857    252187   6759335    131.23    139.91
2236.19/560.53	c  N dy  8482   1290952     19439     83058         0    101920    252187  10934637    131.25    138.32
2272.13/569.52	c  N dy  8614   1311025     19439     83058         0     68991    252187   3822065    131.25    138.93
2308.79/578.78	c  N dy  8742   1331119     19439     83058         0     89085    252187   7984852    131.25    140.13
2349.89/589.02	c  N dy  8879   1351248     19439     83058         0     55220    252187    760249    131.28    143.59
2385.00/597.81	c  N dy  9024   1371449     19439     83058         0     75418    252187   4993393    131.32    140.05
2423.31/607.40	c  N dy  9163   1391482     19439     83058         0     95450    252187   9194045    131.34    138.96
2462.80/617.35	c  N dy  9306   1411595     19439     83058         0     60569    252187   1698708    131.39    139.62
2499.11/626.40	c  N dy  9444   1431654     19439     83058         0     80627    252187   5842444    131.40    140.58
2538.21/636.29	c  N dy  9590   1451655     19439     83058         0    100624    252187  10034066    131.42    140.30
2576.90/645.94	c  N dy  9725   1471848     19439     83058         0     64817    252187   2350012    131.42    138.50
2613.21/655.00	c  N dy  9856   1491890     19439     83058         0     84858    252187   6503810    131.43    142.83
2652.71/664.97	c  N dy  9992   1511985     19439     83058         0    104952    252187  10727327    131.46    138.85
2690.60/674.49	c  N dy 10127   1532023     19439     83058         0     67991    252187   2796807    131.46    144.35
2728.14/683.88	c  N dy 10271   1552202     19439     83058         0     88166    252187   7031930    131.48    140.25
2768.79/694.03	c  N dy 10407   1572220     19439     83058         0    108183    252187  11202110    131.50    138.59
2807.13/703.65	c  N dy 10549   1592336     19439     83058         0     70305    252187   3141678    131.53    139.86
2845.01/713.13	c  N dy 10687   1612360     19439     83058         0     90329    252187   7342634    131.54    139.94
2885.71/723.38	c  N dy 10821   1632620     19439     83058         0    110589    252187  11553151    131.54    142.64
2924.01/732.98	c  N dy 10949   1652924     19439     83058         0     71892    252187   3197167    131.53    142.21
2961.50/742.39	c  N dy 11083   1672974     19439     83058         0     91940    252187   7378610    131.54    175.42
3003.00/752.70	c  N dy 11209   1692984     19439     83058         0    111948    252187  11582788    131.55    147.93
3036.91/761.26	c  S st 11324   1710471     19439     83058         0     69450    252187   2498491    131.55    133.19
3038.11/761.52	c  S st 11324   1710978     19439     83058         0     69957    252187   2581971    131.55   no data
3038.11/761.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3038.51/761.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.09
3038.51/761.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3038.51/761.66	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3038.51/761.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3038.51/761.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19439 time:  0.01 s
3038.51/761.68	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
3038.91/761.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
3039.73/761.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3046.08/763.55	c lits-rem:         2  cl-subs:        6  v-elim:      0  v-fix:    0  time:  1.61 s
3046.08/763.56	c vivif2 --  cl tried    83058 cl shrink        0 lits rem          0 time: 0.01
3046.48/763.61	c vivif2 --  cl tried    69951 cl shrink        0 lits rem          0 time: 0.04
3046.88/763.78	c asymm  cl-useful: 0/83058/83058 lits-rem:0 time: 0.17
3046.88/763.78	c calculated reachability. Time: 0.00
3046.88/763.79	c  N dy 11324   1710978     19439     83058         0     69951    252187   2578481    131.55   no data
3084.39/773.18	c  N dy 11463   1731025     19439     83058         0     89996    252187   6783196    131.56    149.98
3125.48/783.43	c  N dy 11600   1751207     19439     83058         0    110176    252187  10970941    131.56    139.62
3165.39/793.47	c  N dy 11733   1771277     19439     83058         0     69240    252187   2275150    131.56    140.81
3202.53/802.79	c  N dy 11870   1791374     19439     83058         0     89337    252187   6446556    131.57    138.95
3243.59/813.08	c  N dy 12009   1811699     19439     83058         0    109661    252187  10749149    131.60    138.72
3285.07/823.48	c  N dy 12146   1831730     19439     83058         0     67696    252187   1742466    131.63    141.01
3322.97/832.98	c  N dy 12284   1851953     19439     83058         0     87919    252187   5988709    131.64    139.30
3364.91/843.47	c  N dy 12427   1872044     19439     83058         0    108007    252187  10194367    131.68    148.48
3407.55/854.15	c  N dy 12552   1892077     19439     83058         0     65045    252187    978304    131.67    138.63
3443.48/863.21	c  N dy 12686   1912159     19439     83058         0     85126    252187   5225892    131.69    146.71
3484.15/873.36	c  N dy 12828   1932256     19439     83058         0    105221    252187   9525825    131.73    142.67
3527.64/884.28	c  N dy 12958   1952345     19439     83058         0    125309    252187  13640165    131.72    143.41
3565.15/893.67	c  N dy 13098   1972356     19439     83058         0     81319    252187   4241763    131.75    193.82
3604.24/903.43	c  N dy 13229   1992369     19439     83058         0    101331    252187   8337457    131.74    141.54
3646.93/914.15	c  N dy 13359   2012383     19439     83058         0    121344    252187  12507281    131.74    145.21
3687.22/924.22	c  N dy 13495   2032464     19439     83058         0     76438    252187   2946642    131.74    142.62
3725.13/933.79	c  N dy 13627   2052481     19439     83058         0     96455    252187   7149136    131.75    139.44
3767.42/944.32	c  N dy 13765   2072578     19439     83058         0    116550    252187  11347404    131.76    143.10
3810.11/955.02	c  N dy 13892   2092629     19439     83058         0     70601    252187   1538301    131.76    140.48
3846.82/964.28	c  N dy 14030   2112631     19439     83058         0     90603    252187   5740016    131.76    153.24
3887.90/974.58	c  N dy 14165   2132727     19439     83058         0    110695    252187   9918869    131.76    140.92
3933.79/986.02	c  N dy 14318   2152818     19439     83058         0    130786    252187  14205194    131.81    139.81
3972.09/995.65	c  N dy 14457   2172925     19439     83058         0     83887    252187   4103743    131.84    146.98
4011.98/1005.61	c  N dy 14590   2192950     19439     83058         0    103911    252187   8302865    131.85    141.93
4053.92/1016.18	c  S st 14717   2210978     19439     83058         0    121938    252187  12083159    131.86   no data
4055.47/1016.52	c  S st 14717   2211481     19439     83058         0    122441    252187  12166757    131.86   no data
4055.47/1016.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4055.87/1016.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.14
4056.27/1016.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4056.27/1016.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4056.27/1016.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4056.27/1016.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19439 time:  0.01 s
4056.27/1016.74	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
4057.07/1016.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
4059.86/1017.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4087.80/1024.64	c lits-rem:         5  cl-subs:        7  v-elim:      0  v-fix:    0  time:  6.94 s
4087.80/1024.66	c vivif2 --  cl tried    83058 cl shrink        0 lits rem          0 time: 0.01
4088.61/1024.88	c vivif2 --  cl tried   122434 cl shrink        0 lits rem          0 time: 0.21
4089.78/1025.16	c asymm  cl-useful: 0/83058/83058 lits-rem:0 time: 0.28
4089.78/1025.17	c calculated reachability. Time: 0.00
4089.78/1025.17	c  N dy 14717   2211481     19439     83058         0    122434    252187  12165027    131.86   no data
4132.91/1035.93	c  N dy 14848   2231555     19439     83058         0     74509    252187   1963063    131.87    165.47
4170.38/1045.38	c  N dy 14983   2251603     19439     83058         0     94556    252187   6190071    131.88    143.15
4212.66/1055.93	c  N dy 15123   2271631     19439     83058         0    114584    252187  10394598    131.90    147.84
4257.35/1067.18	c  N dy 15256   2291637     19439     83058         0    134589    252187  14605664    131.91    141.60
4296.44/1076.91	c  N dy 15394   2311659     19439     83058         0     85611    252187   4127129    131.93    139.28
4336.35/1086.99	c  N dy 15530   2331681     19439     83058         0    105632    252187   8336177    131.94    144.43
4380.63/1098.01	c  N dy 15667   2351687     19439     83058         0    125637    252187  12578076    131.96    141.89
4424.52/1109.08	c  N dy 15807   2371734     19439     83058         0     75685    252187   1782592    131.97    141.19
4463.21/1118.71	c  N dy 15944   2391911     19439     83058         0     95860    252187   6031852    131.99    142.99
4505.11/1129.24	c  N dy 16076   2412014     19439     83058         0    115962    252187  10252038    131.99    140.18
4551.38/1140.83	c  N dy 16216   2432334     19439     83058         0    136279    252187  14505185    132.00    140.39
4591.68/1150.93	c  N dy 16356   2452430     19439     83058         0     85379    252187   3556986    132.01    143.39
4631.58/1160.93	c  N dy 16488   2472500     19439     83058         0    105448    252187   7761379    132.01    139.56
4675.87/1172.04	c  N dy 16634   2492597     19439     83058         0    125543    252187  12064854    132.04    146.33
4722.14/1183.67	c  N dy 16773   2512767     19439     83058         0     73720    252187    942434    132.05    144.92
4759.65/1193.06	c  N dy 16908   2532781     19439     83058         0     93734    252187   5126888    132.06    142.22

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366187-1305398275/watcher-3366187-1305398275 -o /tmp/evaluation-result-3366187-1305398275/solver-3366187-1305398275 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366187-1305398275.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.91 8.05 8.00 6/320 13978
/proc/meminfo: memFree=27995660/32950928 swapFree=60199044/67111528
[pid=13978] ppid=13976 vsize=249612 CPUtime=0 cores=0,2,4,6
/proc/13978/stat : 13978 (strangenight2-m) D 13976 13978 13843 0 -1 4202496 1905 0 0 0 0 0 0 0 25 0 4 0 651426269 255602688 1829 33554432000 4194304 4580107 140734677197728 18446744073709551615 4349571 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13978/statm: 62394 1839 333 95 0 57376 0
[pid=13978/tid=13979] ppid=13976 vsize=267000 CPUtime=0 cores=0,2,4,6
/proc/13978/task/13979/stat : 13979 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 1553 0 0 0 0 0 0 0 25 0 4 0 651426269 273408000 4713 33554432000 4194304 4580107 140734677197728 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13978/tid=13980] ppid=13976 vsize=267000 CPUtime=0 cores=0,2,4,6
/proc/13978/task/13980/stat : 13980 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 1332 0 0 0 0 0 0 0 25 0 4 0 651426269 273408000 4744 33554432000 4194304 4580107 140734677197728 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13978/tid=13981] ppid=13976 vsize=267000 CPUtime=0 cores=0,2,4,6
/proc/13978/task/13981/stat : 13981 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 1219 0 0 0 0 0 0 0 25 0 4 0 651426269 273408000 4760 33554432000 4194304 4580107 140734677197728 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.089262 s]
/proc/loadavg: 7.91 8.05 8.00 6/320 13978
/proc/meminfo: memFree=27995660/32950928 swapFree=60199044/67111528
[pid=13978] ppid=13976 vsize=367236 CPUtime=0.29 cores=0,2,4,6
/proc/13978/stat : 13978 (strangenight2-m) R 13976 13978 13843 0 -1 4202496 14891 0 0 0 23 6 0 0 17 0 4 0 651426269 376049664 12855 33554432000 4194304 4580107 140734677197728 18446744073709551615 268272794094 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13978/statm: 91809 12884 342 95 0 86791 0
[pid=13978/tid=13979] ppid=13976 vsize=367236 CPUtime=0.06 cores=0,2,4,6
/proc/13978/task/13979/stat : 13979 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 3377 0 0 0 6 0 0 0 18 0 4 0 651426269 376049664 12913 33554432000 4194304 4580107 140734677197728 18446744073709551615 4288561 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13978/tid=13980] ppid=13976 vsize=367236 CPUtime=0.07 cores=0,2,4,6
/proc/13978/task/13980/stat : 13980 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 3991 0 0 0 6 1 0 0 18 0 4 0 651426269 376049664 12940 33554432000 4194304 4580107 140734677197728 18446744073709551615 268272794143 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13978/tid=13981] ppid=13976 vsize=367236 CPUtime=0.06 cores=0,2,4,6
/proc/13978/task/13981/stat : 13981 (strangenight2-m) S 13976 13978 13843 0 -1 4202560 3576 0 0 0 4 2 0 0 17 0 4 0 651426269 376049664 12960 33554432000 4194304 4580107 140734677197728 18446744073709551615 268272794094 0 0 4096 2 18446604453940099136 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 367236

[startup+0.199845 s]
/proc/loadavg: 7.91 8.05 8.00 6/320 13978
/proc/meminfo: memFree=27995660/32950928 swapFree=60199044/67111528
[pid=13978] ppid=13976 vsize=371716 CPUtime=0.73 cores=0,2,4,6
/proc/13978/stat : 13978 (strangenight2-m) D 13976 13978 13843 0 -1 4202496 17367 0 0 0 66 7 0 0 18 0 4 0 651426269 380637184 15331 33554432000 4194304 4580107 140734677197728 18446744073709551615 268272349893 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13978/statm: 93818 16759 363 95 0 88800 0
[pid=13978/tid=13979] ppid=13976 vsize=376580 CPUtime=0.2 cores=0,2,4,6
/proc/13978/task/13979/stat : 13979 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 5499 0 0 0 19 1 0 0 18 0 4 0 651426269 385617920 18372 33554432000 4194304 4580107 140734677197728 18446744073709551615 4443383 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13978/tid=13980] ppid=13976 vsize=384452 CPUtime=0.9 cores=0,2,4,6
/proc/13978/task/13980/stat : 13980 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 9910 0 0 0 88 2 0 0 19 0 4 0 651426269 393678848 23178 33554432000 4194304 4580107 140734677197728 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13978/tid=13981] ppid=13976 vsize=384452 CPUtime=0.89 cores=0,2,4,6
/proc/13978/task/13981/stat : 13981 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 4431 0 0 0 87 2 0 0 18 0 4 0 651426269 393678848 23178 33554432000 4194304 4580107 140734677197728 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 371716

[startup+1.02403 s]
/proc/loadavg: 7.91 8.05 8.00 6/320 13978
/proc/meminfo: memFree=27995660/32950928 swapFree=60199044/67111528
[pid=13978] ppid=13976 vsize=384452 CPUtime=4.01 cores=0,2,4,6
/proc/13978/stat : 13978 (strangenight2-m) R 13976 13978 13843 0 -1 4202496 32310 0 0 0 392 9 0 0 19 0 4 0 651426269 393678848 23544 33554432000 4194304 4580107 140734677197728 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13978/statm: 96113 23544 377 95 0 91095 0
[pid=13978/tid=13979] ppid=13976 vsize=384452 CPUtime=1 cores=0,2,4,6
/proc/13978/task/13979/stat : 13979 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 8521 0 0 0 99 1 0 0 19 0 4 0 651426269 393678848 23544 33554432000 4194304 4580107 140734677197728 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13978/tid=13980] ppid=13976 vsize=384452 CPUtime=1 cores=0,2,4,6
/proc/13978/task/13980/stat : 13980 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 10004 0 0 0 98 2 0 0 19 0 4 0 651426269 393678848 23544 33554432000 4194304 4580107 140734677197728 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13978/tid=13981] ppid=13976 vsize=384452 CPUtime=0.99 cores=0,2,4,6
/proc/13978/task/13981/stat : 13981 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 4504 0 0 0 97 2 0 0 19 0 4 0 651426269 393678848 23544 33554432000 4194304 4580107 140734677197728 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 384452

[startup+1.12402 s]
/proc/loadavg: 7.91 8.05 8.00 6/320 13978
/proc/meminfo: memFree=27995660/32950928 swapFree=60199044/67111528
[pid=13978] ppid=13976 vsize=384452 CPUtime=4.42 cores=0,2,4,6
/proc/13978/stat : 13978 (strangenight2-m) R 13976 13978 13843 0 -1 4202496 32632 0 0 0 432 10 0 0 19 0 4 0 651426269 393678848 23859 33554432000 4194304 4580107 140734677197728 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13978/statm: 96113 23860 377 95 0 91095 0
[pid=13978/tid=13979] ppid=13976 vsize=384452 CPUtime=1.1 cores=0,2,4,6
/proc/13978/task/13979/stat : 13979 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 8591 0 0 0 109 1 0 0 19 0 4 0 651426269 393678848 23860 33554432000 4194304 4580107 140734677197728 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13978/tid=13980] ppid=13976 vsize=384452 CPUtime=1.1 cores=0,2,4,6
/proc/13978/task/13980/stat : 13980 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 10080 0 0 0 108 2 0 0 19 0 4 0 651426269 393678848 23860 33554432000 4194304 4580107 140734677197728 18446744073709551615 4321874 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13978/tid=13981] ppid=13976 vsize=384452 CPUtime=1.1 cores=0,2,4,6
/proc/13978/task/13981/stat : 13981 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 4581 0 0 0 107 3 0 0 19 0 4 0 651426269 393678848 23860 33554432000 4194304 4580107 140734677197728 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.42
Current children cumulated vsize (KiB) 384452

[startup+1.50095 s]
/proc/loadavg: 7.91 8.05 8.00 6/320 13978
/proc/meminfo: memFree=27995660/32950928 swapFree=60199044/67111528
[pid=13978] ppid=13976 vsize=384452 CPUtime=5.92 cores=0,2,4,6
/proc/13978/stat : 13978 (strangenight2-m) R 13976 13978 13843 0 -1 4202496 33737 0 0 0 582 10 0 0 19 0 4 0 651426269 393678848 24964 33554432000 4194304 4580107 140734677197728 18446744073709551615 4318435 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13978/statm: 96113 24964 377 95 0 91095 0
[pid=13978/tid=13979] ppid=13976 vsize=384452 CPUtime=1.47 cores=0,2,4,6
/proc/13978/task/13979/stat : 13979 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 8856 0 0 0 146 1 0 0 19 0 4 0 651426269 393678848 24964 33554432000 4194304 4580107 140734677197728 18446744073709551615 4305960 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13978/tid=13980] ppid=13976 vsize=384452 CPUtime=1.48 cores=0,2,4,6
/proc/13978/task/13980/stat : 13980 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 10372 0 0 0 146 2 0 0 19 0 4 0 651426269 393678848 24965 33554432000 4194304 4580107 140734677197728 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13978/tid=13981] ppid=13976 vsize=384452 CPUtime=1.47 cores=0,2,4,6
/proc/13978/task/13981/stat : 13981 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 4846 0 0 0 144 3 0 0 19 0 4 0 651426269 393678848 24965 33554432000 4194304 4580107 140734677197728 18446744073709551615 4293740 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 384452

[startup+3.10067 s]
/proc/loadavg: 7.91 8.05 8.00 9/324 13982
/proc/meminfo: memFree=27829992/32950928 swapFree=60199044/67111528
[pid=13978] ppid=13976 vsize=516220 CPUtime=12.3 cores=0,2,4,6
/proc/13978/stat : 13978 (strangenight2-m) R 13976 13978 13843 0 -1 4202496 38671 0 0 0 1219 11 0 0 25 0 4 0 651426269 528609280 29898 33554432000 4194304 4580107 140734677197728 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13978/statm: 129055 29899 377 95 0 124037 0
[pid=13978/tid=13979] ppid=13976 vsize=516220 CPUtime=3.07 cores=0,2,4,6
/proc/13978/task/13979/stat : 13979 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 10070 0 0 0 306 1 0 0 25 0 4 0 651426269 528609280 29899 33554432000 4194304 4580107 140734677197728 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13978/tid=13980] ppid=13976 vsize=516220 CPUtime=3.07 cores=0,2,4,6
/proc/13978/task/13980/stat : 13980 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 11586 0 0 0 305 2 0 0 25 0 4 0 651426269 528609280 29899 33554432000 4194304 4580107 140734677197728 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13978/tid=13981] ppid=13976 vsize=516220 CPUtime=3.07 cores=0,2,4,6
/proc/13978/task/13981/stat : 13981 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 6104 0 0 0 304 3 0 0 24 0 4 0 651426269 528609280 29900 33554432000 4194304 4580107 140734677197728 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.3
Current children cumulated vsize (KiB) 516220

[startup+6.3121 s]
/proc/loadavg: 7.91 8.05 8.00 9/324 13982
/proc/meminfo: memFree=27724092/32950928 swapFree=60199044/67111528
[pid=13978] ppid=13976 vsize=502072 CPUtime=25.1 cores=0,2,4,6
/proc/13978/stat : 13978 (strangenight2-m) R 13976 13978 13843 0 -1 4202496 49740 0 0 0 2498 12 0 0 25 0 4 0 651426269 514121728 36397 33554432000 4194304 4580107 140734677197728 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13978/statm: 125518 36397 377 95 0 120500 0
[pid=13978/tid=13979] ppid=13976 vsize=502072 CPUtime=6.29 cores=0,2,4,6
/proc/13978/task/13979/stat : 13979 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 13372 0 0 0 627 2 0 0 25 0 4 0 651426269 514121728 36397 33554432000 4194304 4580107 140734677197728 18446744073709551615 4484503 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13978/tid=13980] ppid=13976 vsize=502072 CPUtime=6.29 cores=0,2,4,6
/proc/13978/task/13980/stat : 13980 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 13838 0 0 0 626 3 0 0 25 0 4 0 651426269 514121728 36397 33554432000 4194304 4580107 140734677197728 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13978/tid=13981] ppid=13976 vsize=502072 CPUtime=6.28 cores=0,2,4,6
/proc/13978/task/13981/stat : 13981 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 9381 0 0 0 625 3 0 0 25 0 4 0 651426269 514121728 36397 33554432000 4194304 4580107 140734677197728 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 502072

[startup+12.701 s]
/proc/loadavg: 7.92 8.05 8.00 9/324 13983
/proc/meminfo: memFree=27590664/32950928 swapFree=60199044/67111528
[pid=13978] ppid=13976 vsize=736476 CPUtime=50.6 cores=0,2,4,6
/proc/13978/stat : 13978 (strangenight2-m) R 13976 13978 13843 0 -1 4202496 106868 0 0 0 5035 25 0 0 25 0 4 0 651426269 754151424 77835 33554432000 4194304 4580107 140734677197728 18446744073709551615 4293204 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13978/statm: 184119 77835 379 95 0 179101 0
[pid=13978/tid=13979] ppid=13976 vsize=736476 CPUtime=12.67 cores=0,2,4,6
/proc/13978/task/13979/stat : 13979 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 39137 0 0 0 1259 8 0 0 25 0 4 0 651426269 754151424 77835 33554432000 4194304 4580107 140734677197728 18446744073709551615 4416046 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13978/tid=13980] ppid=13976 vsize=736476 CPUtime=12.68 cores=0,2,4,6
/proc/13978/task/13980/stat : 13980 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 19396 0 0 0 1264 4 0 0 25 0 4 0 651426269 754151424 77836 33554432000 4194304 4580107 140734677197728 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13978/tid=13981] ppid=13976 vsize=736476 CPUtime=12.66 cores=0,2,4,6
/proc/13978/task/13981/stat : 13981 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 14575 0 0 0 1262 4 0 0 25 0 4 0 651426269 754151424 77836 33554432000 4194304 4580107 140734677197728 18446744073709551615 4324249 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 736476

[startup+25.5007 s]
/proc/loadavg: 7.93 8.05 8.00 9/324 13983
/proc/meminfo: memFree=27403684/32950928 swapFree=60199044/67111528
[pid=13978] ppid=13976 vsize=629180 CPUtime=101.66 cores=0,2,4,6
/proc/13978/stat : 13978 (strangenight2-m) R 13976 13978 13843 0 -1 4202496 161365 0 0 0 10129 37 0 0 25 0 4 0 651426269 644280320 85021 33554432000 4194304 4580107 140734677197728 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13978/statm: 157295 85021 379 95 0 152277 0
[pid=13978/tid=13979] ppid=13976 vsize=629180 CPUtime=25.47 cores=0,2,4,6
/proc/13978/task/13979/stat : 13979 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 48724 0 0 0 2537 10 0 0 25 0 4 0 651426269 644280320 85021 33554432000 4194304 4580107 140734677197728 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13978/tid=13980] ppid=13976 vsize=629180 CPUtime=25.48 cores=0,2,4,6
/proc/13978/task/13980/stat : 13980 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 35780 0 0 0 2540 8 0 0 25 0 4 0 651426269 644280320 85021 33554432000 4194304 4580107 140734677197728 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13978/tid=13981] ppid=13976 vsize=629180 CPUtime=25.47 cores=0,2,4,6
/proc/13978/task/13981/stat : 13981 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 31691 0 0 0 2540 7 0 0 25 0 4 0 651426269 644280320 85022 33554432000 4194304 4580107 140734677197728 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 629180

[startup+51.1011 s]
/proc/loadavg: 7.96 8.04 8.00 10/324 13984
/proc/meminfo: memFree=27172360/32950928 swapFree=60199044/67111528
[pid=13978] ppid=13976 vsize=782504 CPUtime=203.81 cores=0,2,4,6
/proc/13978/stat : 13978 (strangenight2-m) R 13976 13978 13843 0 -1 4202496 250482 0 0 0 20325 56 0 0 25 0 4 0 651426269 801284096 132864 33554432000 4194304 4580107 140734677197728 18446744073709551615 4292997 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13978/statm: 195626 132864 379 95 0 190608 0
[pid=13978/tid=13979] ppid=13976 vsize=782504 CPUtime=51.07 cores=0,2,4,6
/proc/13978/task/13979/stat : 13979 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 65597 0 0 0 5092 15 0 0 25 0 4 0 651426269 801284096 132864 33554432000 4194304 4580107 140734677197728 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13978/tid=13980] ppid=13976 vsize=782504 CPUtime=51.08 cores=0,2,4,6
/proc/13978/task/13980/stat : 13980 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 60152 0 0 0 5096 12 0 0 25 0 4 0 651426269 801284096 132864 33554432000 4194304 4580107 140734677197728 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13978/tid=13981] ppid=13976 vsize=782504 CPUtime=51.06 cores=0,2,4,6
/proc/13978/task/13981/stat : 13981 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 55155 0 0 0 5094 12 0 0 25 0 4 0 651426269 801284096 132864 33554432000 4194304 4580107 140734677197728 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.81
Current children cumulated vsize (KiB) 782504

[startup+102.301 s]
/proc/loadavg: 8.09 8.06 8.01 10/324 13985
/proc/meminfo: memFree=27018580/32950928 swapFree=60199044/67111528
[pid=13978] ppid=13976 vsize=948556 CPUtime=408.09 cores=0,2,4,6
/proc/13978/stat : 13978 (strangenight2-m) R 13976 13978 13843 0 -1 4202496 359264 0 0 0 40726 83 0 0 25 0 4 0 651426269 971321344 158334 33554432000 4194304 4580107 140734677197728 18446744073709551615 4293911 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13978/statm: 237139 158334 383 95 0 232121 0
[pid=13978/tid=13979] ppid=13976 vsize=948556 CPUtime=102.26 cores=0,2,4,6
/proc/13978/task/13979/stat : 13979 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 95156 0 0 0 10205 21 0 0 25 0 4 0 651426269 971321344 158334 33554432000 4194304 4580107 140734677197728 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13978/tid=13980] ppid=13976 vsize=948556 CPUtime=102.28 cores=0,2,4,6
/proc/13978/task/13980/stat : 13980 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 89809 0 0 0 10208 20 0 0 25 0 4 0 651426269 971321344 158334 33554432000 4194304 4580107 140734677197728 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13978/tid=13981] ppid=13976 vsize=948556 CPUtime=102.27 cores=0,2,4,6
/proc/13978/task/13981/stat : 13981 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 77078 0 0 0 10209 18 0 0 25 0 4 0 651426269 971321344 158334 33554432000 4194304 4580107 140734677197728 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.09
Current children cumulated vsize (KiB) 948556

[startup+162.3 s]

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

[pid=13978] ppid=13976 vsize=1291700 CPUtime=2562.54 cores=0,2,4,6
/proc/13978/stat : 13978 (strangenight2-m) R 13976 13978 13843 0 -1 4202496 1400572 0 0 0 255855 399 0 0 25 0 4 0 651426269 1322700800 257556 33554432000 4194304 4580107 140734677197728 18446744073709551615 4294513 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13978/statm: 322925 257556 379 95 0 317907 0
[pid=13978/tid=13979] ppid=13976 vsize=1291700 CPUtime=642.16 cores=0,2,4,6
/proc/13978/task/13979/stat : 13979 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 345733 0 0 0 64120 96 0 0 25 0 4 0 651426269 1322700800 257556 33554432000 4194304 4580107 140734677197728 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13978/tid=13980] ppid=13976 vsize=1291700 CPUtime=642.26 cores=0,2,4,6
/proc/13978/task/13980/stat : 13980 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 363183 0 0 0 64122 104 0 0 25 0 4 0 651426269 1322700800 257556 33554432000 4194304 4580107 140734677197728 18446744073709551615 4293710 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13978/tid=13981] ppid=13976 vsize=1291700 CPUtime=642.25 cores=0,2,4,6
/proc/13978/task/13981/stat : 13981 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 350425 0 0 0 64125 100 0 0 25 0 4 0 651426269 1322700800 257556 33554432000 4194304 4580107 140734677197728 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2562.54
Current children cumulated vsize (KiB) 1291700

[startup+702.3 s]
/proc/loadavg: 8.11 8.09 8.02 10/324 14001
/proc/meminfo: memFree=26293308/32950928 swapFree=60199044/67111528
[pid=13978] ppid=13976 vsize=1241036 CPUtime=2801.92 cores=0,2,4,6
/proc/13978/stat : 13978 (strangenight2-m) R 13976 13978 13843 0 -1 4202496 1505121 0 0 0 279760 432 0 0 25 0 4 0 651426269 1270820864 252329 33554432000 4194304 4580107 140734677197728 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13978/statm: 310259 252329 379 95 0 305241 0
[pid=13978/tid=13979] ppid=13976 vsize=1241036 CPUtime=702.14 cores=0,2,4,6
/proc/13978/task/13979/stat : 13979 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 370719 0 0 0 70111 103 0 0 25 0 4 0 651426269 1270820864 252329 33554432000 4194304 4580107 140734677197728 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13978/tid=13980] ppid=13976 vsize=1241036 CPUtime=702.25 cores=0,2,4,6
/proc/13978/task/13980/stat : 13980 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 388061 0 0 0 70112 113 0 0 25 0 4 0 651426269 1270820864 252329 33554432000 4194304 4580107 140734677197728 18446744073709551615 4321550 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13978/tid=13981] ppid=13976 vsize=1241036 CPUtime=702.25 cores=0,2,4,6
/proc/13978/task/13981/stat : 13981 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 378944 0 0 0 70116 109 0 0 25 0 4 0 651426269 1270820864 252329 33554432000 4194304 4580107 140734677197728 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2801.92
Current children cumulated vsize (KiB) 1241036

[startup+762.301 s]
/proc/loadavg: 8.10 8.09 8.02 10/324 14003
/proc/meminfo: memFree=26187484/32950928 swapFree=60199044/67111528
[pid=13978] ppid=13976 vsize=1335160 CPUtime=3041.3 cores=0,2,4,6
/proc/13978/stat : 13978 (strangenight2-m) R 13976 13978 13843 0 -1 4202496 1603713 0 0 0 303664 466 0 0 25 0 4 0 651426269 1367203840 262003 33554432000 4194304 4580107 140734677197728 18446744073709551615 4416732 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13978/statm: 333790 262003 379 95 0 328772 0
[pid=13978/tid=13979] ppid=13976 vsize=1335160 CPUtime=762.13 cores=0,2,4,6
/proc/13978/task/13979/stat : 13979 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 393580 0 0 0 76102 111 0 0 25 0 4 0 651426269 1367203840 262003 33554432000 4194304 4580107 140734677197728 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13978/tid=13980] ppid=13976 vsize=1335160 CPUtime=762.24 cores=0,2,4,6
/proc/13978/task/13980/stat : 13980 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 415907 0 0 0 76102 122 0 0 25 0 4 0 651426269 1367203840 262003 33554432000 4194304 4580107 140734677197728 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13978/tid=13981] ppid=13976 vsize=1335160 CPUtime=762.25 cores=0,2,4,6
/proc/13978/task/13981/stat : 13981 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 402511 0 0 0 76107 118 0 0 25 0 4 0 651426269 1367203840 262003 33554432000 4194304 4580107 140734677197728 18446744073709551615 4416036 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3041.3
Current children cumulated vsize (KiB) 1335160

[startup+822.301 s]
/proc/loadavg: 8.10 8.08 8.02 9/324 14004
/proc/meminfo: memFree=26239908/32950928 swapFree=60199044/67111528
[pid=13978] ppid=13976 vsize=1228940 CPUtime=3280.69 cores=0,2,4,6
/proc/13978/stat : 13978 (strangenight2-m) R 13976 13978 13843 0 -1 4202496 1708445 0 0 0 327570 499 0 0 25 0 4 0 651426269 1258434560 257348 33554432000 4194304 4580107 140734677197728 18446744073709551615 4294574 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13978/statm: 307235 257348 379 95 0 302217 0
[pid=13978/tid=13979] ppid=13976 vsize=1228940 CPUtime=822.13 cores=0,2,4,6
/proc/13978/task/13979/stat : 13979 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 421245 0 0 0 82093 120 0 0 25 0 4 0 651426269 1258434560 257348 33554432000 4194304 4580107 140734677197728 18446744073709551615 4293778 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13978/tid=13980] ppid=13976 vsize=1228940 CPUtime=822.25 cores=0,2,4,6
/proc/13978/task/13980/stat : 13980 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 443300 0 0 0 82093 132 0 0 25 0 4 0 651426269 1258434560 257348 33554432000 4194304 4580107 140734677197728 18446744073709551615 4318695 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13978/tid=13981] ppid=13976 vsize=1228940 CPUtime=822.25 cores=0,2,4,6
/proc/13978/task/13981/stat : 13981 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 428984 0 0 0 82100 125 0 0 25 0 4 0 651426269 1258434560 257348 33554432000 4194304 4580107 140734677197728 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3280.69
Current children cumulated vsize (KiB) 1228940

[startup+882.3 s]
/proc/loadavg: 8.14 8.10 8.03 9/324 14006
/proc/meminfo: memFree=26089832/32950928 swapFree=60199044/67111528
[pid=13978] ppid=13976 vsize=1403540 CPUtime=3520.06 cores=0,2,4,6
/proc/13978/stat : 13978 (strangenight2-m) R 13976 13978 13843 0 -1 4202496 1827137 0 0 0 351473 533 0 0 25 0 4 0 651426269 1437224960 287891 33554432000 4194304 4580107 140734677197728 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13978/statm: 350885 287891 379 95 0 345867 0
[pid=13978/tid=13979] ppid=13976 vsize=1403540 CPUtime=882.11 cores=0,2,4,6
/proc/13978/task/13979/stat : 13979 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 448834 0 0 0 88083 128 0 0 25 0 4 0 651426269 1437224960 287891 33554432000 4194304 4580107 140734677197728 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13978/tid=13980] ppid=13976 vsize=1403540 CPUtime=882.24 cores=0,2,4,6
/proc/13978/task/13980/stat : 13980 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 485804 0 0 0 88081 143 0 0 25 0 4 0 651426269 1437224960 287891 33554432000 4194304 4580107 140734677197728 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13978/tid=13981] ppid=13976 vsize=1403540 CPUtime=882.24 cores=0,2,4,6
/proc/13978/task/13981/stat : 13981 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 454956 0 0 0 88092 132 0 0 25 0 4 0 651426269 1437224960 287891 33554432000 4194304 4580107 140734677197728 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3520.06
Current children cumulated vsize (KiB) 1403540

[startup+942.301 s]
/proc/loadavg: 8.15 8.11 8.03 9/324 14007
/proc/meminfo: memFree=26048008/32950928 swapFree=60199044/67111528
[pid=13978] ppid=13976 vsize=1461272 CPUtime=3759.47 cores=0,2,4,6
/proc/13978/stat : 13978 (strangenight2-m) R 13976 13978 13843 0 -1 4202496 1931546 0 0 0 375379 568 0 0 25 0 4 0 651426269 1496342528 291319 33554432000 4194304 4580107 140734677197728 18446744073709551615 4324374 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13978/statm: 365318 291319 379 95 0 360300 0
[pid=13978/tid=13979] ppid=13976 vsize=1461272 CPUtime=942.11 cores=0,2,4,6
/proc/13978/task/13979/stat : 13979 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 476126 0 0 0 94074 137 0 0 25 0 4 0 651426269 1496342528 291325 33554432000 4194304 4580107 140734677197728 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13978/tid=13980] ppid=13976 vsize=1461272 CPUtime=942.24 cores=0,2,4,6
/proc/13978/task/13980/stat : 13980 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 511879 0 0 0 94073 151 0 0 25 0 4 0 651426269 1496342528 291325 33554432000 4194304 4580107 140734677197728 18446744073709551615 4293962 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13978/tid=13981] ppid=13976 vsize=1461272 CPUtime=942.25 cores=0,2,4,6
/proc/13978/task/13981/stat : 13981 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 478713 0 0 0 94086 139 0 0 25 0 4 0 651426269 1496342528 291325 33554432000 4194304 4580107 140734677197728 18446744073709551615 4293100 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3759.47
Current children cumulated vsize (KiB) 1461272

[startup+1002.3 s]
/proc/loadavg: 8.14 8.11 8.04 9/324 14009
/proc/meminfo: memFree=25837040/32950928 swapFree=60199044/67111528
[pid=13978] ppid=13976 vsize=1462616 CPUtime=3998.82 cores=0,2,4,6
/proc/13978/stat : 13978 (strangenight2-m) R 13976 13978 13843 0 -1 4202496 2034706 0 0 0 399281 601 0 0 25 0 4 0 651426269 1497718784 290895 33554432000 4194304 4580107 140734677197728 18446744073709551615 4294471 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13978/statm: 365654 290895 379 95 0 360636 0
[pid=13978/tid=13979] ppid=13976 vsize=1462616 CPUtime=1002.08 cores=0,2,4,6
/proc/13978/task/13979/stat : 13979 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 501763 0 0 0 100064 144 0 0 25 0 4 0 651426269 1497718784 290895 33554432000 4194304 4580107 140734677197728 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13978/tid=13980] ppid=13976 vsize=1462616 CPUtime=1002.24 cores=0,2,4,6
/proc/13978/task/13980/stat : 13980 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 539265 0 0 0 100063 161 0 0 25 0 4 0 651426269 1497718784 290895 33554432000 4194304 4580107 140734677197728 18446744073709551615 4321002 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13978/tid=13981] ppid=13976 vsize=1462616 CPUtime=1002.23 cores=0,2,4,6
/proc/13978/task/13981/stat : 13981 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 505445 0 0 0 100076 147 0 0 25 0 4 0 651426269 1497718784 290895 33554432000 4194304 4580107 140734677197728 18446744073709551615 4318686 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3998.82
Current children cumulated vsize (KiB) 1462616

[startup+1062.31 s]
/proc/loadavg: 8.09 8.11 8.04 9/324 14011
/proc/meminfo: memFree=25603360/32950928 swapFree=60199044/67111528
[pid=13978] ppid=13976 vsize=1777324 CPUtime=4238.24 cores=0,2,4,6
/proc/13978/stat : 13978 (strangenight2-m) R 13976 13978 13843 0 -1 4202496 2194081 0 0 0 423183 641 0 0 25 0 4 0 651426269 1819979776 359237 33554432000 4194304 4580107 140734677197728 18446744073709551615 4318435 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13978/statm: 444331 359237 379 95 0 439313 0
[pid=13978/tid=13979] ppid=13976 vsize=1777324 CPUtime=1062.08 cores=0,2,4,6
/proc/13978/task/13979/stat : 13979 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 551286 0 0 0 106052 156 0 0 25 0 4 0 651426269 1819979776 359237 33554432000 4194304 4580107 140734677197728 18446744073709551615 4306246 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13978/tid=13980] ppid=13976 vsize=1777324 CPUtime=1062.25 cores=0,2,4,6
/proc/13978/task/13980/stat : 13980 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 565012 0 0 0 106055 170 0 0 25 0 4 0 651426269 1819979776 359237 33554432000 4194304 4580107 140734677197728 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13978/tid=13981] ppid=13976 vsize=1777324 CPUtime=1062.24 cores=0,2,4,6
/proc/13978/task/13981/stat : 13981 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 550720 0 0 0 106066 158 0 0 25 0 4 0 651426269 1819979776 359237 33554432000 4194304 4580107 140734677197728 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4238.24
Current children cumulated vsize (KiB) 1777324

[startup+1122.3 s]
/proc/loadavg: 8.03 8.08 8.03 9/324 14012
/proc/meminfo: memFree=25536620/32950928 swapFree=60199044/67111528
[pid=13978] ppid=13976 vsize=1778312 CPUtime=4477.59 cores=0,2,4,6
/proc/13978/stat : 13978 (strangenight2-m) R 13976 13978 13843 0 -1 4202496 2294449 0 0 0 447085 674 0 0 25 0 4 0 651426269 1820991488 367000 33554432000 4194304 4580107 140734677197728 18446744073709551615 4293781 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13978/statm: 444578 367000 379 95 0 439560 0
[pid=13978/tid=13979] ppid=13976 vsize=1778312 CPUtime=1122.06 cores=0,2,4,6
/proc/13978/task/13979/stat : 13979 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 576761 0 0 0 112041 165 0 0 25 0 4 0 651426269 1820991488 367000 33554432000 4194304 4580107 140734677197728 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13978/tid=13980] ppid=13976 vsize=1778312 CPUtime=1122.23 cores=0,2,4,6
/proc/13978/task/13980/stat : 13980 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 589606 0 0 0 112045 178 0 0 25 0 4 0 651426269 1820991488 367000 33554432000 4194304 4580107 140734677197728 18446744073709551615 4293957 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13978/tid=13981] ppid=13976 vsize=1778312 CPUtime=1122.23 cores=0,2,4,6
/proc/13978/task/13981/stat : 13981 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 577685 0 0 0 112057 166 0 0 25 0 4 0 651426269 1820991488 367000 33554432000 4194304 4580107 140734677197728 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4477.59
Current children cumulated vsize (KiB) 1778312

[startup+1182.3 s]
/proc/loadavg: 8.05 8.08 8.03 9/324 14014
/proc/meminfo: memFree=25495280/32950928 swapFree=60199044/67111528
[pid=13978] ppid=13976 vsize=1779504 CPUtime=4716.96 cores=0,2,4,6
/proc/13978/stat : 13978 (strangenight2-m) R 13976 13978 13843 0 -1 4202496 2393092 0 0 0 470990 706 0 0 25 0 4 0 651426269 1822212096 371424 33554432000 4194304 4580107 140734677197728 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13978/statm: 444876 371424 379 95 0 439858 0
[pid=13978/tid=13979] ppid=13976 vsize=1779504 CPUtime=1182.05 cores=0,2,4,6
/proc/13978/task/13979/stat : 13979 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 603522 0 0 0 118030 175 0 0 25 0 4 0 651426269 1822212096 371424 33554432000 4194304 4580107 140734677197728 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13978/tid=13980] ppid=13976 vsize=1779504 CPUtime=1182.23 cores=0,2,4,6
/proc/13978/task/13980/stat : 13980 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 612459 0 0 0 118038 185 0 0 25 0 4 0 651426269 1822212096 371424 33554432000 4194304 4580107 140734677197728 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13978/tid=13981] ppid=13976 vsize=1779504 CPUtime=1182.22 cores=0,2,4,6
/proc/13978/task/13981/stat : 13981 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 602267 0 0 0 118048 174 0 0 25 0 4 0 651426269 1822212096 371424 33554432000 4194304 4580107 140734677197728 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4716.96
Current children cumulated vsize (KiB) 1779504



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.2 s]
/proc/loadavg: 8.03 8.08 8.03 5/319 14015
/proc/meminfo: memFree=26516444/32950928 swapFree=60199044/67111528
[pid=13978] ppid=13976 vsize=1779892 CPUtime=4800.36 cores=0,2,4,6
/proc/13978/stat : 13978 (strangenight2-m) R 13976 13978 13843 0 -1 4202496 2428752 0 0 0 479318 718 0 0 25 0 4 0 651426269 1822609408 374055 33554432000 4194304 4580107 140734677197728 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13978/statm: 444973 374055 379 95 0 439955 0
[pid=13978/tid=13979] ppid=13976 vsize=1779892 CPUtime=1202.96 cores=0,2,4,6
/proc/13978/task/13979/stat : 13979 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 611446 0 0 0 120118 178 0 0 25 0 4 0 651426269 1822609408 374061 33554432000 4194304 4580107 140734677197728 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13978/tid=13980] ppid=13976 vsize=1779892 CPUtime=1203.14 cores=0,2,4,6
/proc/13978/task/13980/stat : 13980 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 620364 0 0 0 120127 187 0 0 25 0 4 0 651426269 1822609408 374061 33554432000 4194304 4580107 140734677197728 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13978/tid=13981] ppid=13976 vsize=1779892 CPUtime=1203.13 cores=0,2,4,6
/proc/13978/task/13981/stat : 13981 (strangenight2-m) R 13976 13978 13843 0 -1 4202560 612085 0 0 0 120136 177 0 0 25 0 4 0 651426269 1822609408 374061 33554432000 4194304 4580107 140734677197728 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 1779892

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.28
CPU time (s): 4800.46
CPU user time (s): 4793.22
CPU system time (s): 7.2399
CPU usage (%): 398.949
Max. virtual memory (cumulated for all children) (KiB): 1792668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.22
system time used= 7.2399
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2428766
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= 8744
involuntary context switches= 21338

runsolver used 3.47847 second user time and 8.5807 second system time

The end

Launcher Data 

Begin job on node122 at 2011-05-14 20:37:55
IDJOB=3366187
IDBENCH=82596
IDSOLVER=1844
FILE ID=node122/3366187-1305398275
RUNJOBID= node122-1305397069-13861
PBS_JOBID= 13324448
Free space on /tmp= 73432 MiB

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

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

MD5SUM BENCH= 425b4c5e5535f7d6b9d17ca8feb0ac3e
RANDOM SEED=1226904790

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      27995816 kB
Buffers:        270544 kB
Cached:        3349792 kB
SwapCached:      50104 kB
Active:         892904 kB
Inactive:      3853724 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      27995816 kB
SwapTotal:    67111528 kB
SwapFree:     60199044 kB
Dirty:           12848 kB
Writeback:           0 kB
AnonPages:     1086996 kB
Mapped:          13612 kB
Slab:           112800 kB
PageTables:      32428 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 52625560 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= 73432 MiB
End job on node122 at 2011-05-14 20:58:00