Trace number 3263563

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameSAT03/handmade/anton/UNSAT/
SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf
MD5SUMe826117d87949a5b285e72732bfa395b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables870
Number of clauses69964
Sum of the clauses size140740
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 269935
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 529

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-3263563-1304126375.cnf'
0.00/0.00	c -- header says num vars:            870
0.00/0.00	c -- header says num clauses:       69964
0.00/0.02	c -- clauses added:            0 learnts,        69964 normals,            0 xors
0.00/0.02	c -- vars added        870
0.00/0.02	c Parsing time:  0.00 s
0.00/0.02	c  N st     0         0       870        29     69935         0    140740         0   no data   no data
0.00/0.02	c asymm  cl-useful: 0/29/29 lits-rem:0 time: 0.00
0.00/0.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.02
0.00/0.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.06	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.00/0.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.00/0.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    870 time:  0.01 s
0.00/0.07	c Removed useless bin:       0  fixed:     0  props:   0.35M  time:  0.01 s
0.00/0.90	c lits-rem:       488  cl-subs:        0  v-elim:     29  v-fix:    0  time:  0.01 s
0.00/0.90	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.90	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.90	c calculated reachability. Time: 0.00
0.00/0.90	c Calc default polars -  time:   0.00 s pos:     418 undec:      29 neg:     423
0.00/0.90	c =========================================================================================
0.00/0.90	c types(t): F = full restart, N = normal restart
0.00/0.90	c types(t): S = simplification begin/end, E = solution found
0.00/0.90	c restart types(rt): st = static, dy = dynamic
0.00/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.90	c  B st     0         0       841      1382     67712         0    187764         0   no data   no data
0.00/0.90	c  N dy    22      4940       840      1382     67724      4784    187764    380821     12.36     13.21
0.00/0.90	c  N dy    33      8978       840      1382     67726      6321    187764    437120     11.38     15.66
4.81/1.29	c  N dy    43     13088       839      1382     67739      6163    187764    273728     10.68     11.25
7.15/1.81	c  N dy    57     17153       839      1382     67739     10126    187764    682380     10.70     11.51
9.14/2.38	c  N dy    85     21217       839      1382     67739      8626    187764    537963     11.27     16.41
11.55/2.95	c  F st    96     25002       839      1382     67744     12313    187764    875859     11.09      8.17
11.96/3.02	c  N st    97     25252       839      1358     67225     10710    185906    862364     11.09   no data
14.73/3.74	c  N dy   102     30000       839      1358     67225      9580    185906    629343     11.09   no data
14.73/3.74	c  S st   102     30000       839      1358     67225      9580    185906    629343     11.09   no data
15.13/3.82	c  S st   102     30500       839      1358     67225     10078    185906    666532     11.09   no data
15.13/3.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.53/3.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      0 BRemN:      0 P:  6.1M T:  0.16
15.53/3.98	c blocked clauses removed:        0 vars:      0 tried:         839 T: 0.00 s
15.53/3.99	c bin-w-bin subsume rem            0 bins  time:  0.01 s
17.13/4.38	c subs with bin:        0  lits-rem:     13188  v-fix:    0  time:  0.39 s
17.13/4.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    839 time:  0.01 s
17.13/4.39	c Removed useless bin:       0  fixed:     0  props:   0.34M  time:  0.01 s
17.53/4.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
23.52/5.95	c subs with bin:       25  lits-rem:        54  v-fix:    0  time:  1.52 s
27.92/7.05	c lits-rem:      3488  cl-subs:      890  v-elim:      0  v-fix:    0  time:  1.10 s
28.72/7.22	c asymm  cl-useful: 0/1329/1358 lits-rem:0 time: 0.17
28.72/7.22	c calculated reachability. Time: 0.00
28.72/7.22	c  N dy   102     30500       839      1358     67227      9163    172718    632481     11.09   no data
31.51/7.98	c  N dy   130     34846       835      1358     67231     13409    172718   1055401     11.50     12.28
34.33/8.68	c  N dy   153     39326       835      1358     67233     10558    172718    676605     11.83     12.71
37.51/9.40	c  N dy   163     43427       835      1358     67239     14500    172718    832822     11.62     15.52
38.72/9.78	c  S st   167     45750       835      1358     67239     16755    172718   1042131     11.49      9.98
39.10/9.86	c  S st   167     46252       835      1358     67239      8795    172718    409221     11.49   no data
39.10/9.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
39.50/9.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      0 BRemN:      0 P:  4.8M T:  0.12
39.50/9.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
39.50/9.99	c bin-w-bin subsume rem            0 bins  time:  0.01 s
41.11/10.31	c subs with bin:        0  lits-rem:         3  v-fix:    0  time:  0.31 s
41.11/10.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    835 time:  0.01 s
41.11/10.32	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.01 s
41.11/10.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.11/11.80	c subs with bin:        5  lits-rem:        19  v-fix:    0  time:  1.46 s
47.89/12.04	c lits-rem:       334  cl-subs:      300  v-elim:      0  v-fix:    0  time:  0.23 s
47.89/12.04	c vivif2 --  cl tried     1325 cl shrink        0 lits rem          0 time: 0.00
47.89/12.04	c vivif2 --  cl tried     8069 cl shrink       80 lits rem         87 time: 0.01
48.29/12.17	c asymm  cl-useful: 0/1325/1325 lits-rem:0 time: 0.13
48.29/12.18	c calculated reachability. Time: 0.00
48.29/12.18	c  N dy   167     46252       835      1325     66286      8069    170225    390242     11.49   no data
51.09/12.82	c  N dy   181     50937       835      1325     66302     12620    170225    809181     11.37     12.00
54.29/13.62	c  N dy   195     55151       835      1325     66302     16729    170225   1210273     11.35     12.15
57.08/14.38	c  N dy   202     59240       835      1325     66310     11345    170225    639334     11.30     20.51
60.30/15.12	c  N dy   215     63296       835      1325     66312     15274    170225    965438     11.28     11.96
63.88/16.08	c  N dy   234     67417       835      1325     66319     19260    170225   1278212     11.33     11.95
65.87/16.59	c  S st   246     69381       835      1325     66327     10659    170225    482363     11.32   no data
66.27/16.64	c  S st   246     69885       835      1325     66327     11162    170225    526959     11.32   no data
66.27/16.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
67.07/16.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      4 BRemL:      0 BRemN:      0 P:  5.9M T:  0.16
67.07/16.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
67.07/16.81	c bin-w-bin subsume rem            0 bins  time:  0.01 s
68.27/17.13	c subs with bin:        0  lits-rem:        12  v-fix:    0  time:  0.32 s
68.27/17.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    835 time:  0.01 s
68.27/17.14	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.01 s
68.27/17.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
74.66/18.70	c subs with bin:       34  lits-rem:       165  v-fix:    0  time:  1.53 s
75.46/18.96	c lits-rem:       358  cl-subs:      277  v-elim:      0  v-fix:    0  time:  0.26 s
75.46/18.96	c vivif2 --  cl tried     1325 cl shrink        0 lits rem          0 time: 0.00
75.46/18.98	c vivif2 --  cl tried    10851 cl shrink      166 lits rem        207 time: 0.01
76.26/19.17	c asymm  cl-useful: 1/1325/1325 lits-rem:1 time: 0.19
76.26/19.17	c calculated reachability. Time: 0.00
76.26/19.17	c  N dy   246     69885       835      1325     66331     10851    170212    521613     11.32   no data
79.45/19.94	c  N dy   268     74709       835      1325     66331     15520    170212    892541     11.33     11.95
85.85/21.55	c  N dy   278     82005       835      1325     66337     22571    170212   1377244     11.13     11.79
89.44/22.40	c  N dy   294     87246       835      1325     66348     16114    170212    755278     11.06     12.64
89.44/22.45	c  F st   297     87500       835      1325     66348     16362    170212    775088     11.07   no data
93.44/23.49	c  N dy   305     92895       835      1325     66349     21568    170212   1111747     11.10     25.51
98.23/24.68	c  N dy   326     98971       834      1325     66361     14889    170212    647054     11.06     11.96
102.23/25.68	c  S st   341    104827       834      1325     66368     20559    170212    993354     10.98     11.36
102.63/25.79	c  S st   341    105330       834      1325     66368     21059    170212   1019431     10.98   no data
102.63/25.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
103.83/26.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P:  8.9M T:  0.23
103.83/26.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
103.83/26.03	c bin-w-bin subsume rem            0 bins  time:  0.01 s
105.03/26.35	c subs with bin:        0  lits-rem:         5  v-fix:    0  time:  0.31 s
105.03/26.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    834 time:  0.01 s
105.03/26.36	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.01 s
105.03/26.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
111.42/27.92	c subs with bin:       76  lits-rem:       214  v-fix:    0  time:  1.51 s
117.83/29.51	c lits-rem:      1746  cl-subs:     1016  v-elim:      0  v-fix:    0  time:  1.59 s
117.83/29.51	c vivif2 --  cl tried     1325 cl shrink        0 lits rem          0 time: 0.00
117.83/29.54	c vivif2 --  cl tried    18804 cl shrink      663 lits rem        831 time: 0.02
118.61/29.77	c asymm  cl-useful: 2/1223/1325 lits-rem:2 time: 0.24
118.61/29.78	c calculated reachability. Time: 0.00
118.61/29.78	c  N dy   341    105330       834      1325     66089     18804    169675    975794     10.98   no data
124.60/31.20	c  N dy   352    112059       833      1325     66105     25328    169675   1394727     10.87     15.61
129.80/32.50	c  N dy   375    119847       833      1325     66114     19994    169675    953767     10.83     11.44
138.99/34.89	c  N dy   399    130614       832      1325     66136     16222    169675    588291     10.72     11.32
144.97/36.36	c  N dy   433    138976       832      1325     66142     24345    169675   1095279     10.79     11.72
152.17/38.18	c  N dy   466    148076       831      1325     66155     17813    169675    762760     10.79     11.42
160.56/40.23	c  N dy   521    157755       831      1325     66157     27300    169675   1528279     10.97     11.73
160.96/40.30	c  S st   524    157995       831      1325     66157     27534    169675   1551720     10.99   no data
161.38/40.45	c  S st   524    158498       831      1325     66157     28037    169675   1586145     10.99   no data
161.38/40.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
162.56/40.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      0 BRemN:      0 P: 12.7M T:  0.33
162.56/40.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
162.96/40.80	c bin-w-bin subsume rem            0 bins  time:  0.01 s
164.16/41.11	c subs with bin:        0  lits-rem:        13  v-fix:    0  time:  0.31 s
164.16/41.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    831 time:  0.01 s
164.16/41.13	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.01 s
164.16/41.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
170.94/42.83	c subs with bin:      214  lits-rem:       253  v-fix:    0  time:  1.63 s
187.34/46.99	c lits-rem:      2475  cl-subs:      784  v-elim:      0  v-fix:    0  time:  4.16 s
187.34/46.99	c vivif2 --  cl tried     1314 cl shrink        0 lits rem          0 time: 0.00
187.75/47.02	c vivif2 --  cl tried    24149 cl shrink      349 lits rem        374 time: 0.03
188.93/47.31	c asymm  cl-useful: 0/954/1314 lits-rem:0 time: 0.30
188.93/47.32	c calculated reachability. Time: 0.00
188.93/47.32	c  N dy   524    158498       831      1314     65360     24149    167932   1512472     10.99   no data
199.31/49.94	c  N dy   553    169208       831      1314     65388     19594    167932   1012476     10.91     11.49
210.50/52.76	c  N dy   590    180351       830      1314     65392     30481    167932   1922109     10.86     11.54
220.90/55.33	c  N dy   631    191926       830      1314     65399     24963    167932   1308222     10.85     11.50
234.88/58.83	c  N dy   675    204384       829      1314     65407     18910    167932    771639     10.81     11.38
249.28/62.46	c  N dy   728    219114       829      1314     65418     33278    167932   1869487     10.79     11.37
264.84/66.36	c  N dy   771    233218       829      1314     65427     27696    167932   1398586     10.73     11.35
270.03/67.62	c  S st   787    237747       829      1314     65428     32098    167932   1728913     10.72      8.25
270.43/67.78	c  S st   787    238247       829      1314     65428     32597    167932   1765917     10.72   no data
270.43/67.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
272.43/68.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      0 BRemN:      0 P: 14.8M T:  0.43
272.43/68.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
272.43/68.24	c bin-w-bin subsume rem            0 bins  time:  0.01 s
273.63/68.55	c subs with bin:        0  lits-rem:        19  v-fix:    0  time:  0.31 s
273.63/68.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    829 time:  0.01 s
273.63/68.56	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.01 s
273.63/68.59	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
280.82/70.33	c subs with bin:      143  lits-rem:        78  v-fix:    0  time:  1.69 s
300.40/75.26	c lits-rem:      3024  cl-subs:     2035  v-elim:      0  v-fix:    0  time:  4.93 s
300.40/75.26	c vivif2 --  cl tried     1292 cl shrink        0 lits rem          0 time: 0.00
300.80/75.30	c vivif2 --  cl tried    30261 cl shrink     1291 lits rem       1452 time: 0.04
301.60/75.56	c asymm  cl-useful: 0/848/1292 lits-rem:0 time: 0.26
301.60/75.56	c calculated reachability. Time: 0.00
301.60/75.56	c  N dy   787    238247       829      1292     65028     30258    166713   1716147     10.72   no data
321.18/80.43	c  N dy   847    254181       829      1292     65059     25488    166713   1202422     10.75     11.58
342.35/85.70	c  N dy   904    271398       828      1292     65072     42246    166713   2430700     10.73     11.30
361.93/90.62	c  N dy   983    288753       828      1292     65078     37890    166713   2245723     10.81     21.42
383.50/96.06	c  F st  1087    306251       828      1292     65089     32617    166713   1734546     10.94     11.10
384.70/96.38	c  N st  1090    307444       828      1292     64831     32611    166215   1807677     10.94   no data
410.28/102.79	c  N dy  1166    327266       828      1292     64847     29164    166215   1470771     10.97     11.59
439.44/110.02	c  N dy  1264    348208       828      1292     64867     25466    166215   1086810     11.05     11.64
448.62/112.40	c  S st  1298    357371       828      1292     64870     34364    166215   1765948     11.06     11.09
449.42/112.56	c  S st  1298    357873       828      1292     64870     34864    166215   1806218     11.06   no data
449.42/112.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
451.44/113.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 14.8M T:  0.46
451.44/113.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
451.44/113.04	c bin-w-bin subsume rem            3 bins  time:  0.01 s
452.62/113.35	c subs with bin:        0  lits-rem:        14  v-fix:    0  time:  0.31 s
452.62/113.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    828 time:  0.01 s
452.62/113.36	c Removed useless bin:       0  fixed:     0  props:   0.31M  time:  0.01 s
452.62/113.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
459.81/115.18	c subs with bin:       27  lits-rem:        36  v-fix:    0  time:  1.76 s
480.19/120.22	c lits-rem:      2548  cl-subs:     1595  v-elim:      0  v-fix:    0  time:  5.04 s
480.19/120.22	c vivif2 --  cl tried     1292 cl shrink        0 lits rem          0 time: 0.00
480.19/120.27	c vivif2 --  cl tried    33242 cl shrink     1485 lits rem       1897 time: 0.04
481.39/120.54	c asymm  cl-useful: 0/816/1292 lits-rem:0 time: 0.27
481.39/120.54	c calculated reachability. Time: 0.00
481.39/120.54	c  N dy  1298    357873       828      1292     64869     33240    166201   1770945     11.06   no data
511.35/128.05	c  N dy  1384    378255       827      1292     64883     27917    166201   1262901     11.09     11.90
537.72/134.66	c  N dy  1459    398276       827      1292     64892     47417    166201   2703202     11.09     11.91
565.71/141.62	c  N dy  1556    418372       827      1292     64897     40771    166201   2091718     11.13     11.85
594.86/148.93	c  N dy  1643    438647       826      1292     64916     33252    166201   1421307     11.17     11.82
622.84/155.92	c  N dy  1714    459123       826      1292     64927     53039    166201   2741814     11.18     11.83
647.20/162.08	c  N dy  1808    479195       825      1292     64943     44452    166201   2209464     11.21     12.76
675.59/169.12	c  N dy  1878    499378       825      1292     64951     34894    166201   1392056     11.21     11.83
691.95/173.29	c Finding binary XORs  T:     0.00 s  found:       0
701.54/175.65	c  N dy  1964    519738       825      1282     64209     53043    164638   2694566     11.23     12.11
722.71/180.93	c  S st  2047    536810       825      1282     64217     40377    164638   1840368     11.25   no data
723.51/181.11	c  S st  2047    537311       825      1282     64217     40876    164638   1875244     11.25   no data
723.51/181.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
725.51/181.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      0 BRemN:      0 P: 17.6M T:  0.51
725.51/181.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
725.51/181.64	c bin-w-bin subsume rem            1 bins  time:  0.01 s
726.71/181.95	c subs with bin:        0  lits-rem:         9  v-fix:    0  time:  0.31 s
726.71/181.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    825 time:  0.01 s
726.71/181.96	c Removed useless bin:       0  fixed:     0  props:   0.31M  time:  0.01 s
726.71/181.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
733.90/183.73	c subs with bin:       29  lits-rem:        15  v-fix:    0  time:  1.70 s
759.09/190.02	c lits-rem:      3352  cl-subs:     1549  v-elim:      0  v-fix:    0  time:  6.30 s
759.09/190.02	c vivif2 --  cl tried     1282 cl shrink        0 lits rem          0 time: 0.00
759.09/190.07	c vivif2 --  cl tried    39298 cl shrink     1664 lits rem       2096 time: 0.04
760.26/190.38	c asymm  cl-useful: 0/649/1282 lits-rem:0 time: 0.30
760.26/190.38	c calculated reachability. Time: 0.00
760.26/190.38	c  N dy  2047    537311       825      1282     64222     39295    164629   1839401     11.25   no data
790.63/197.96	c  N dy  2102    557351       824      1282     64243     58633    164629   3142204     11.22     15.24
816.63/204.48	c  N dy  2189    577510       824      1282     64250     47628    164629   2207477     11.25     11.95
846.17/211.85	c  N dy  2259    597587       824      1282     64259     35333    164629   1346390     11.23     15.46
870.54/217.98	c  N dy  2336    617623       824      1282     64265     54739    164629   2561201     11.23     13.65
901.30/225.61	c  N dy  2439    638528       824      1282     64275     42108    164629   1713281     11.27     11.88
932.06/233.36	c  N dy  2508    659775       824      1282     64282     62636    164629   2895185     11.26     12.06
958.83/240.04	c  N dy  2554    681709       824      1282     64293     50011    164629   2212510     11.22     11.89
992.80/248.51	c  N dy  2635    701877       824      1282     64318     69460    164629   3322052     11.23     11.84
1015.57/254.29	c  N dy  2726    722235       822      1282     64340     54376    164629   2242052     11.23     11.83
1045.53/261.75	c  N dy  2800    742276       822      1282     64346     38006    164629   1284556     11.23     16.41
1067.91/267.32	c  N dy  2859    762379       822      1282     64360     57432    164629   2256428     11.21     11.83
1098.27/274.96	c  N dy  2925    782802       821      1282     64373     40437    164629   1294996     11.22     11.85
1122.65/281.01	c  N dy  3026    802943       821      1282     64382     59992    164629   2463106     11.28     11.88
1126.24/281.94	c  S st  3038    805968       821      1282     64382     62951    164629   2675392     11.28   no data
1127.04/282.14	c  S st  3038    806470       821      1282     64383     63451    164629   2708991     11.28   no data
1127.04/282.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1129.84/282.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 20.7M T:  0.67
1129.84/282.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1129.84/282.83	c bin-w-bin subsume rem            3 bins  time:  0.01 s
1131.03/283.13	c subs with bin:        0  lits-rem:        14  v-fix:    0  time:  0.30 s
1131.03/283.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    821 time:  0.01 s
1131.03/283.14	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.01 s
1131.03/283.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1138.22/284.95	c subs with bin:       12  lits-rem:       133  v-fix:    0  time:  1.68 s
1185.79/296.83	c lits-rem:      6467  cl-subs:     3014  v-elim:      0  v-fix:    0  time: 11.89 s
1185.79/296.83	c vivif2 --  cl tried     1282 cl shrink        0 lits rem          0 time: 0.00
1186.17/296.90	c vivif2 --  cl tried    52396 cl shrink     2222 lits rem       2491 time: 0.07
1187.37/297.20	c asymm  cl-useful: 0/345/1282 lits-rem:0 time: 0.30
1187.37/297.21	c calculated reachability. Time: 0.00
1187.37/297.21	c  N dy  3038    806470       821      1282     63250     52395    162625   2516121     11.28   no data
1215.33/304.27	c  N dy  3100    826572       820      1282     63276     38194    162625   1451566     11.27     11.92
1240.90/310.60	c  N dy  3166    846911       820      1282     63280     58048    162625   2975585     11.26     12.22
1274.46/319.04	c  N dy  3227    867130       820      1282     63290     40901    162625   1542167     11.25     11.87
1299.65/325.35	c  N dy  3270    887168       820      1282     63296     60379    162625   2896843     11.23     14.40
1335.99/334.44	c  N dy  3345    907342       820      1282     63305     41116    162625   1414744     11.23     11.85
1362.36/341.01	c  N dy  3408    927584       820      1282     63315     60731    162625   2733425     11.22     11.85
1400.32/350.55	c  N dy  3485    948505       819      1282     63326     40744    162625   1357293     11.21     11.96
1426.69/357.10	c  N dy  3546    968819       819      1282     63336     60490    162625   2798301     11.20     11.84
1467.06/367.21	c  N dy  3646    988938       819      1282     63340     79991    162625   4168465     11.22     11.88
1497.01/374.74	c  N dy  3714   1009774       819      1282     63345     58777    162625   2572623     11.22     11.96
1535.77/384.47	c  N dy  3808   1029836       819      1282     63351     78330    162625   3963387     11.23     13.81
1567.34/392.38	c  N dy  3885   1049883       818      1282     63360     55121    162625   2246767     11.23     12.98
1602.90/401.25	c  N dy  3974   1070161       818      1282     63372     74854    162625   3616154     11.24     11.96
1606.09/402.01	c  F st  3980   1071876       818      1282     63372     76518    162625   3727607     11.24   no data
1640.45/410.67	c  N dy  4056   1090475       818      1251     62755     49518    160929   1933921     11.25     11.86
1673.63/418.96	c  N dy  4144   1110554       818      1251     62762     68991    160929   3290804     11.27     14.41
1718.75/430.21	c  N dy  4244   1130591       818      1251     62770     44496    160929   1533586     11.29     12.37
1749.52/437.98	c  N dy  4342   1151839       817      1251     62776     65158    160929   2975869     11.31     11.96
1793.07/448.83	c  N dy  4408   1172473       817      1251     62783     85160    160929   4309730     11.31     11.92
1831.43/458.47	c  N dy  4482   1195951       817      1251     62794     62669    160929   2691824     11.31     12.20
1857.40/464.92	c  S st  4544   1209709       817      1251     62796     76041    160929   3585414     11.31      9.98
1858.59/465.22	c  S st  4544   1210214       817      1251     62796     76543    160929   3615908     11.31   no data
1858.59/465.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1862.98/466.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      7 BRemL:      0 BRemN:      0 P: 29.1M T:  1.11
1862.98/466.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1862.98/466.36	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1864.18/466.66	c subs with bin:        0  lits-rem:        12  v-fix:    0  time:  0.31 s
1864.18/466.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    817 time:  0.01 s
1864.18/466.68	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.01 s
1864.58/466.73	c lits-rem:         2  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
1874.18/469.13	c subs with bin:       69  lits-rem:       278  v-fix:    0  time:  2.26 s
1916.92/479.86	c lits-rem:      5190  cl-subs:     5695  v-elim:      0  v-fix:    0  time: 10.73 s
1916.92/479.86	c vivif2 --  cl tried     1251 cl shrink        0 lits rem          0 time: 0.00
1917.32/479.97	c vivif2 --  cl tried    70434 cl shrink     4310 lits rem       6205 time: 0.11
1919.33/480.43	c asymm  cl-useful: 0/426/1251 lits-rem:0 time: 0.46
1919.33/480.43	c calculated reachability. Time: 0.00
1919.33/480.43	c  N dy  4544   1210214       817      1251     62567     70433    160442   3499759     11.31   no data
1969.25/492.95	c  N dy  4610   1230705       817      1251     62575     90300    160442   4744464     11.30     11.91
2000.82/500.88	c  N dy  4674   1250805       817      1251     62581     63671    160442   2698923     11.30     20.25
2042.79/511.36	c  N dy  4767   1270818       817      1251     62588     83044    160442   3924940     11.32     22.33
2082.35/521.23	c  N dy  4840   1290958       817      1251     62602     55183    160442   2077101     11.32     12.14
2113.49/529.04	c  N dy  4876   1311148       817      1251     62608     74682    160442   3261354     11.30     12.15
2158.64/540.34	c  N dy  4949   1331299       817      1251     62628     94094    160442   4432941     11.30     11.91
2189.00/547.93	c  N dy  5018   1351718       817      1251     62642     65598    160442   2584646     11.29     12.02
2225.35/557.03	c  N dy  5081   1371728       817      1251     62660     84894    160442   3706405     11.28     11.98
2227.37/557.55	c Finding binary XORs  T:     0.00 s  found:       0
2263.31/566.57	c  N dy  5145   1391771       815      1251     62681     55011    160442   1847232     11.28     16.48
2291.29/573.50	c  N dy  5230   1411873       815      1251     62687     74498    160442   3066488     11.28     11.89
2332.86/583.95	c  N dy  5307   1432993       815      1251     62693     94969    160442   4305246     11.28     12.03
2366.79/592.40	c  N dy  5387   1454005       815      1251     62695     65064    160442   2422984     11.29     11.96
2399.96/600.75	c  N dy  5447   1474329       815      1251     62703     84736    160442   3572239     11.28     12.31
2443.11/611.55	c  N dy  5529   1494405       815      1251     62709     52837    160442   1566198     11.29     16.00
2469.88/618.28	c  N dy  5611   1515210       815      1251     62711     72972    160442   2698876     11.29     11.93
2507.43/627.68	c  N dy  5678   1535243       815      1251     62725     92330    160442   3710917     11.28     11.88
2543.00/636.58	c  N dy  5758   1555327       814      1251     62731     59606    160442   1941006     11.28     12.70
2572.97/644.01	c  N dy  5858   1575336       814      1251     62735     79090    160442   3280822     11.30     18.48
2614.14/654.36	c  N dy  5969   1595346       814      1251     62741     98608    160442   4595286     11.33     12.83
2650.08/663.30	c  N dy  6056   1615440       814      1251     62743     64735    160442   2236054     11.34     17.07
2681.23/671.14	c  N dy  6133   1635485       814      1251     62750     84263    160442   3507597     11.34     18.36
2725.59/682.21	c  N dy  6244   1655616       814      1251     62755    103849    160442   4807484     11.36     12.00
2755.15/689.61	c  N dy  6316   1675800       814      1251     62763     69053    160442   2374301     11.37     12.02
2789.54/698.24	c  N dy  6416   1696818       814      1251     62769     89504    160442   3697696     11.38     12.08
2819.08/705.68	c  S st  6485   1710215       814      1251     62771    102509    160442   4535151     11.39   no data
2820.70/706.08	c  S st  6485   1710717       814      1251     62771    103010    160442   4569454     11.39   no data
2820.70/706.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2827.07/707.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 33.2M T:  1.56
2827.07/707.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2827.07/707.66	c bin-w-bin subsume rem            1 bins  time:  0.01 s
2828.27/707.96	c subs with bin:        0  lits-rem:        11  v-fix:    0  time:  0.30 s
2828.27/707.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    814 time:  0.01 s
2828.27/707.97	c Removed useless bin:       0  fixed:     0  props:   0.29M  time:  0.01 s
2828.67/708.03	c lits-rem:         2  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
2837.46/710.26	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  2.08 s
2904.20/726.93	c lits-rem:      5785  cl-subs:     5937  v-elim:      0  v-fix:    0  time: 16.67 s
2904.20/726.93	c vivif2 --  cl tried     1251 cl shrink        0 lits rem          0 time: 0.00
2904.57/727.05	c vivif2 --  cl tried    86298 cl shrink     5858 lits rem       7328 time: 0.12
2906.17/727.41	c asymm  cl-useful: 0/262/1251 lits-rem:0 time: 0.36
2906.17/727.41	c calculated reachability. Time: 0.00
2906.17/727.41	c  N dy  6485   1710717       814      1251     61928     86295    158992   4290336     11.39   no data
2945.72/737.38	c  N dy  6556   1730792       814      1251     61951     55847    158992   1951138     11.39     12.03
2978.50/745.51	c  N dy  6604   1753048       814      1251     61957     77414    158992   3266438     11.38     12.32
3023.23/756.78	c  N dy  6673   1774302       814      1251     61967     97923    158992   4518778     11.38     11.99
3062.41/766.59	c  N dy  6759   1794657       814      1251     61974     64109    158992   2250958     11.38     12.15
3095.15/774.70	c  N dy  6827   1814924       814      1251     61987     83746    158992   3458451     11.38     12.10
3139.10/785.78	c  N dy  6881   1835628       814      1251     62003    103654    158992   4532437     11.37     12.01
3177.06/795.25	c  N dy  6949   1856178       814      1251     62013     67759    158992   2393268     11.36     12.13
3215.01/804.78	c  N dy  7003   1877782       814      1251     62030     88620    158992   3577386     11.35     12.04
3267.35/817.81	c  N dy  7038   1899327       812      1251     62076    109229    158992   4655247     11.33     11.95
3306.91/827.77	c  N dy  7171   1919588       812      1251     62081     71760    158992   2682387     11.37     12.04
3344.86/837.20	c  N dy  7274   1939681       812      1251     62084     91297    158992   3961712     11.38     12.00
3400.00/851.04	c  N dy  7369   1962066       812      1251     62092    113038    158992   5397484     11.39     12.07
3436.36/860.15	c  N dy  7465   1982074       812      1251     62096     73731    158992   2673264     11.40     12.55
3477.92/870.58	c  N dy  7569   2002366       812      1251     62103     93466    158992   3896416     11.42     12.05
3525.86/882.59	c  N dy  7673   2022644       812      1251     62113    113222    158992   5137236     11.44     12.19
3564.61/892.26	c  N dy  7784   2043269       811      1251     62125     73240    158992   2543054     11.45     12.20
3599.77/901.03	c  N dy  7870   2063309       810      1251     62140     92665    158992   3809894     11.46     12.07
3647.32/912.94	c  N dy  7958   2083328       810      1251     62148    112088    158992   4979695     11.46     12.07
3687.28/922.97	c  N dy  8035   2103600       810      1251     62159     70710    158991   2306767     11.46     12.08
3721.26/931.47	c  N dy  8132   2123766       810      1251     62165     90265    158991   3426926     11.47     12.13
3763.59/942.08	c  N dy  8227   2143859       809      1251     62189    109766    158991   4631894     11.48     12.23
3807.54/953.03	c  N dy  8332   2163921       809      1251     62196     67176    158991   2010833     11.50     26.96
3841.90/961.68	c  N dy  8439   2185723       809      1251     62202     88372    158991   3407515     11.51     12.17
3884.65/972.36	c  N dy  8537   2205746       809      1251     62213    107851    158991   4722853     11.52     12.52
3899.04/975.91	c  S st  8572   2210718       809      1251     62215    112702    158991   5015333     11.53      9.76
3900.23/976.29	c  S st  8572   2211219       809      1251     62215    113202    158991   5051832     11.53   no data
3900.63/976.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3906.25/977.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      6 BRemL:      0 BRemN:      0 P: 36.0M T:  1.47
3906.25/977.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3906.25/977.79	c bin-w-bin subsume rem            4 bins  time:  0.01 s
3907.42/978.08	c subs with bin:        0  lits-rem:        16  v-fix:    0  time:  0.29 s
3907.42/978.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    809 time:  0.01 s
3907.42/978.09	c Removed useless bin:       0  fixed:     0  props:   0.29M  time:  0.01 s
3907.82/978.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
3916.61/980.33	c subs with bin:      135  lits-rem:       660  v-fix:    0  time:  2.02 s
3996.51/1000.33	c lits-rem:      6371  cl-subs:     6010  v-elim:      0  v-fix:    0  time: 20.00 s
3996.51/1000.33	c vivif2 --  cl tried     1242 cl shrink        0 lits rem          0 time: 0.00
3996.91/1000.48	c vivif2 --  cl tried    95440 cl shrink     7552 lits rem      10857 time: 0.14
3998.53/1000.84	c asymm  cl-useful: 0/200/1242 lits-rem:0 time: 0.36
3998.53/1000.85	c calculated reachability. Time: 0.00
3998.53/1000.85	c  N dy  8572   2211219       809      1242     60928     95436    156612   4744132     11.53   no data
4054.05/1014.75	c  N dy  8674   2231298       808      1242     60943     57690    156612   1812419     11.55     12.50
4084.42/1022.35	c  N dy  8758   2251333       808      1242     60952     77148    156612   3066250     11.55     12.18
4129.16/1033.58	c  N dy  8869   2271513       808      1242     60958     96724    156612   4300539     11.56     12.18
4156.35/1040.36	c Finding binary XORs  T:     0.00 s  found:       0
4175.11/1045.01	c  N dy  8927   2291755       808      1242     60703    114299    156136   5571901     11.56     12.38
4213.89/1054.78	c  N dy  9022   2312016       808      1242     60704     73910    156136   2803602     11.57     12.22
4253.04/1064.53	c  N dy  9126   2332076       808      1242     60708     93360    156136   4110275     11.58     13.22
4302.96/1077.07	c  N dy  9213   2352194       807      1242     60712    112903    156136   5433173     11.59     12.47
4355.70/1090.25	c  N dy  9321   2372988       807      1242     60722     70001    156136   2341740     11.60     12.24
4391.66/1099.27	c  N dy  9426   2392991       807      1242     60732     89418    156136   3571951     11.62     14.86
4438.80/1111.04	c  N dy  9542   2412994       807      1242     60735    108839    156136   4847576     11.63     17.75
4497.14/1125.67	c  N dy  9651   2434813       807      1242     60738    130095    156136   6241042     11.65     12.47
4531.09/1134.18	c  N dy  9734   2455989       807      1242     60743     85608    156136   3284912     11.65     12.34
4576.25/1145.45	c  N dy  9828   2477410       807      1242     60748    106459    156136   4685607     11.66     12.29
4634.57/1160.04	c  N dy  9904   2498588       807      1242     60754    126993    156136   5957117     11.66     12.29
4676.92/1170.69	c  N dy  9999   2519313       807      1242     60777     80627    156136   2915207     11.66     12.31
4720.47/1181.57	c  N dy 10109   2539676       807      1242     60790    100445    156136   4174732     11.67     12.49
4773.60/1194.80	c  N dy 10203   2559724       807      1242     60803    119912    156136   5389970     11.68     12.39

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3263563-1304126375/watcher-3263563-1304126375 -o /tmp/evaluation-result-3263563-1304126375/solver-3263563-1304126375 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3263563-1304126375.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: 3.70 5.29 6.51 2/173 32405
/proc/meminfo: memFree=30955500/32950928 swapFree=67111464/67111528
[pid=32405] ppid=32403 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/32405/stat : 32405 (strangenight2-m) R 32403 32405 31569 0 -1 4202496 413 0 0 0 0 0 0 0 22 0 4 0 524234157 52441088 352 33554432000 4194304 4627427 140735913429008 18446744073709551615 254500691899 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32405/statm: 12803 352 303 106 0 7774 0
[pid=32405/tid=32406] ppid=32403 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/32405/task/32406/stat : 32406 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 524234158 52441088 352 33554432000 4194304 4627427 140735913429008 18446744073709551615 47019212625433 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32405/tid=32407] ppid=32403 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/32405/task/32407/stat : 32407 (strangenight2-m) D 32403 32405 31569 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 4 0 524234158 52441088 359 33554432000 4194304 4627427 140735913429008 18446744073709551615 4355936 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32405/tid=32408] ppid=32403 vsize=182284 CPUtime=0 cores=0,2,4,6
/proc/32405/task/32408/stat : 32408 (strangenight2-m) S 32403 32405 31569 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 4 0 524234158 186658816 365 33554432000 4194304 4627427 140735913429008 18446744073709551615 254500796910 0 0 4096 2 18446604453906374912 0 0 -1 4 0 0 0

[startup+0.071198 s]
/proc/loadavg: 3.70 5.29 6.51 2/173 32405
/proc/meminfo: memFree=30955500/32950928 swapFree=67111464/67111528
[pid=32405] ppid=32403 vsize=289312 CPUtime=3.61 cores=0,2,4,6
/proc/32405/stat : 32405 (strangenight2-m) R 32403 32405 31569 0 -1 4202496 9533 0 0 0 358 3 0 0 19 0 4 0 524234157 296255488 7225 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32405/statm: 72328 7225 385 106 0 67299 0
[pid=32405/tid=32406] ppid=32403 vsize=289312 CPUtime=0.9 cores=0,2,4,6
/proc/32405/task/32406/stat : 32406 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 2315 0 0 0 90 0 0 0 19 0 4 0 524234158 296255488 7225 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32405/tid=32407] ppid=32403 vsize=289312 CPUtime=0.89 cores=0,2,4,6
/proc/32405/task/32407/stat : 32407 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 2517 0 0 0 89 0 0 0 19 0 4 0 524234158 296255488 7225 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32405/tid=32408] ppid=32403 vsize=289312 CPUtime=0.89 cores=0,2,4,6
/proc/32405/task/32408/stat : 32408 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 2118 0 0 0 89 0 0 0 19 0 4 0 524234158 296255488 7225 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.61
Current children cumulated vsize (KiB) 289312

[startup+1.0149 s]
/proc/loadavg: 3.70 5.29 6.51 2/173 32405
/proc/meminfo: memFree=30955500/32950928 swapFree=67111464/67111528
[pid=32405] ppid=32403 vsize=289452 CPUtime=4.01 cores=0,2,4,6
/proc/32405/stat : 32405 (strangenight2-m) R 32403 32405 31569 0 -1 4202496 9907 0 0 0 398 3 0 0 19 0 4 0 524234157 296398848 7599 33554432000 4194304 4627427 140735913429008 18446744073709551615 4308117 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32405/statm: 72363 7599 385 106 0 67334 0
[pid=32405/tid=32406] ppid=32403 vsize=289452 CPUtime=1 cores=0,2,4,6
/proc/32405/task/32406/stat : 32406 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 2388 0 0 0 100 0 0 0 19 0 4 0 524234158 296398848 7599 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32405/tid=32407] ppid=32403 vsize=289452 CPUtime=0.99 cores=0,2,4,6
/proc/32405/task/32407/stat : 32407 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 2621 0 0 0 99 0 0 0 19 0 4 0 524234158 296398848 7600 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32405/tid=32408] ppid=32403 vsize=289452 CPUtime=0.99 cores=0,2,4,6
/proc/32405/task/32408/stat : 32408 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 2208 0 0 0 99 0 0 0 19 0 4 0 524234158 296398848 7600 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 289452

[startup+1.11488 s]
/proc/loadavg: 3.70 5.29 6.51 2/173 32405
/proc/meminfo: memFree=30955500/32950928 swapFree=67111464/67111528
[pid=32405] ppid=32403 vsize=289452 CPUtime=4.41 cores=0,2,4,6
/proc/32405/stat : 32405 (strangenight2-m) R 32403 32405 31569 0 -1 4202496 10237 0 0 0 438 3 0 0 19 0 4 0 524234157 296398848 7929 33554432000 4194304 4627427 140735913429008 18446744073709551615 4324208 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32405/statm: 72363 7929 385 106 0 67334 0
[pid=32405/tid=32406] ppid=32403 vsize=289452 CPUtime=1.1 cores=0,2,4,6
/proc/32405/task/32406/stat : 32406 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 2479 0 0 0 110 0 0 0 19 0 4 0 524234158 296398848 7929 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309220 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32405/tid=32407] ppid=32403 vsize=289452 CPUtime=1.09 cores=0,2,4,6
/proc/32405/task/32407/stat : 32407 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 2688 0 0 0 109 0 0 0 19 0 4 0 524234158 296398848 7929 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32405/tid=32408] ppid=32403 vsize=289452 CPUtime=1.09 cores=0,2,4,6
/proc/32405/task/32408/stat : 32408 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 2305 0 0 0 109 0 0 0 19 0 4 0 524234158 296398848 7929 33554432000 4194304 4627427 140735913429008 18446744073709551615 4299545 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 289452

[startup+1.21486 s]
/proc/loadavg: 3.70 5.29 6.51 2/173 32405
/proc/meminfo: memFree=30955500/32950928 swapFree=67111464/67111528
[pid=32405] ppid=32403 vsize=290072 CPUtime=4.81 cores=0,2,4,6
/proc/32405/stat : 32405 (strangenight2-m) R 32403 32405 31569 0 -1 4202496 10786 0 0 0 478 3 0 0 19 0 4 0 524234157 297033728 7810 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32405/statm: 72518 7810 385 106 0 67489 0
[pid=32405/tid=32406] ppid=32403 vsize=290072 CPUtime=1.2 cores=0,2,4,6
/proc/32405/task/32406/stat : 32406 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 2557 0 0 0 120 0 0 0 19 0 4 0 524234158 297033728 7810 33554432000 4194304 4627427 140735913429008 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32405/tid=32407] ppid=32403 vsize=290072 CPUtime=1.19 cores=0,2,4,6
/proc/32405/task/32407/stat : 32407 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 2790 0 0 0 119 0 0 0 19 0 4 0 524234158 297033728 7810 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32405/tid=32408] ppid=32403 vsize=290072 CPUtime=1.19 cores=0,2,4,6
/proc/32405/task/32408/stat : 32408 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 2393 0 0 0 119 0 0 0 19 0 4 0 524234158 297033728 7810 33554432000 4194304 4627427 140735913429008 18446744073709551615 4321828 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.81
Current children cumulated vsize (KiB) 290072

[startup+1.50081 s]
/proc/loadavg: 3.70 5.29 6.51 2/173 32405
/proc/meminfo: memFree=30955500/32950928 swapFree=67111464/67111528
[pid=32405] ppid=32403 vsize=290808 CPUtime=5.94 cores=0,2,4,6
/proc/32405/stat : 32405 (strangenight2-m) R 32403 32405 31569 0 -1 4202496 12484 0 0 0 591 3 0 0 19 0 4 0 524234157 297787392 7559 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309149 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32405/statm: 72702 7559 385 106 0 67673 0
[pid=32405/tid=32406] ppid=32403 vsize=290808 CPUtime=1.49 cores=0,2,4,6
/proc/32405/task/32406/stat : 32406 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 3055 0 0 0 148 1 0 0 19 0 4 0 524234158 297787392 7559 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32405/tid=32407] ppid=32403 vsize=290808 CPUtime=1.47 cores=0,2,4,6
/proc/32405/task/32407/stat : 32407 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 3314 0 0 0 147 0 0 0 19 0 4 0 524234158 297787392 7559 33554432000 4194304 4627427 140735913429008 18446744073709551615 4306556 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32405/tid=32408] ppid=32403 vsize=290808 CPUtime=1.48 cores=0,2,4,6
/proc/32405/task/32408/stat : 32408 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 2816 0 0 0 147 1 0 0 20 0 4 0 524234158 297787392 7559 33554432000 4194304 4627427 140735913429008 18446744073709551615 4332978 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 290808

[startup+3.10649 s]
/proc/loadavg: 4.04 5.33 6.52 9/184 32417
/proc/meminfo: memFree=30885612/32950928 swapFree=67111464/67111528
[pid=32405] ppid=32403 vsize=292836 CPUtime=12.36 cores=0,2,4,6
/proc/32405/stat : 32405 (strangenight2-m) R 32403 32405 31569 0 -1 4202496 18250 0 0 0 1231 5 0 0 25 0 4 0 524234157 299864064 9392 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309195 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32405/statm: 73209 9392 386 106 0 68180 0
[pid=32405/tid=32406] ppid=32403 vsize=292836 CPUtime=3.1 cores=0,2,4,6
/proc/32405/task/32406/stat : 32406 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 4433 0 0 0 309 1 0 0 25 0 4 0 524234158 299864064 9392 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32405/tid=32407] ppid=32403 vsize=292836 CPUtime=3.08 cores=0,2,4,6
/proc/32405/task/32407/stat : 32407 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 4562 0 0 0 307 1 0 0 25 0 4 0 524234158 299864064 9392 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309379 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32405/tid=32408] ppid=32403 vsize=292836 CPUtime=3.07 cores=0,2,4,6
/proc/32405/task/32408/stat : 32408 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 4456 0 0 0 306 1 0 0 25 0 4 0 524234158 299864064 9392 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 292836

[startup+6.30085 s]
/proc/loadavg: 4.04 5.33 6.52 9/184 32417
/proc/meminfo: memFree=30803292/32950928 swapFree=67111464/67111528
[pid=32405] ppid=32403 vsize=303008 CPUtime=25.14 cores=0,2,4,6
/proc/32405/stat : 32405 (strangenight2-m) R 32403 32405 31569 0 -1 4202496 35041 0 0 0 2506 8 0 0 25 0 4 0 524234157 310280192 21378 33554432000 4194304 4627427 140735913429008 18446744073709551615 4428398 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32405/statm: 75752 21378 389 106 0 70723 0
[pid=32405/tid=32406] ppid=32403 vsize=303008 CPUtime=6.29 cores=0,2,4,6
/proc/32405/task/32406/stat : 32406 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 8242 0 0 0 628 1 0 0 25 0 4 0 524234158 310280192 21378 33554432000 4194304 4627427 140735913429008 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32405/tid=32407] ppid=32403 vsize=303008 CPUtime=6.27 cores=0,2,4,6
/proc/32405/task/32407/stat : 32407 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 10126 0 0 0 626 1 0 0 25 0 4 0 524234158 310280192 21378 33554432000 4194304 4627427 140735913429008 18446744073709551615 4424017 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32405/tid=32408] ppid=32403 vsize=303008 CPUtime=6.26 cores=0,2,4,6
/proc/32405/task/32408/stat : 32408 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 7110 0 0 0 624 2 0 0 25 0 4 0 524234158 310280192 21378 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 303008

[startup+12.7006 s]
/proc/loadavg: 4.72 5.44 6.54 9/184 32418
/proc/meminfo: memFree=30753212/32950928 swapFree=67111464/67111528
[pid=32405] ppid=32403 vsize=316252 CPUtime=50.69 cores=0,2,4,6
/proc/32405/stat : 32405 (strangenight2-m) R 32403 32405 31569 0 -1 4202496 46278 0 0 0 5059 10 0 0 25 0 4 0 524234157 323842048 24189 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32405/statm: 79063 24189 389 106 0 74034 0
[pid=32405/tid=32406] ppid=32403 vsize=316252 CPUtime=12.69 cores=0,2,4,6
/proc/32405/task/32406/stat : 32406 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 11901 0 0 0 1267 2 0 0 25 0 4 0 524234158 323842048 24189 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32405/tid=32407] ppid=32403 vsize=316252 CPUtime=12.68 cores=0,2,4,6
/proc/32405/task/32407/stat : 32407 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 10948 0 0 0 1266 2 0 0 25 0 4 0 524234158 323842048 24189 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32405/tid=32408] ppid=32403 vsize=316252 CPUtime=12.63 cores=0,2,4,6
/proc/32405/task/32408/stat : 32408 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 11341 0 0 0 1260 3 0 0 25 0 4 0 524234158 323842048 24189 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 316252

[startup+25.501 s]
/proc/loadavg: 5.23 5.52 6.56 9/184 32418
/proc/meminfo: memFree=30623336/32950928 swapFree=67111464/67111528
[pid=32405] ppid=32403 vsize=307828 CPUtime=101.83 cores=0,2,4,6
/proc/32405/stat : 32405 (strangenight2-m) R 32403 32405 31569 0 -1 4202496 74679 0 0 0 10167 16 0 0 25 0 4 0 524234157 315215872 41335 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32405/statm: 76957 41335 389 106 0 71928 0
[pid=32405/tid=32406] ppid=32403 vsize=307828 CPUtime=25.49 cores=0,2,4,6
/proc/32405/task/32406/stat : 32406 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 20958 0 0 0 2545 4 0 0 25 0 4 0 524234158 315215872 41335 33554432000 4194304 4627427 140735913429008 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32405/tid=32407] ppid=32403 vsize=307828 CPUtime=25.47 cores=0,2,4,6
/proc/32405/task/32407/stat : 32407 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 15822 0 0 0 2545 2 0 0 25 0 4 0 524234158 315215872 41335 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32405/tid=32408] ppid=32403 vsize=307828 CPUtime=25.36 cores=0,2,4,6
/proc/32405/task/32408/stat : 32408 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 19358 0 0 0 2532 4 0 0 25 0 4 0 524234158 315215872 41335 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 307828

[startup+51.1009 s]
/proc/loadavg: 6.23 5.73 6.60 9/184 32419
/proc/meminfo: memFree=30543088/32950928 swapFree=67111464/67111528
[pid=32405] ppid=32403 vsize=309944 CPUtime=204.11 cores=0,2,4,6
/proc/32405/stat : 32405 (strangenight2-m) R 32403 32405 31569 0 -1 4202496 112318 0 0 0 20385 26 0 0 25 0 4 0 524234157 317382656 48231 33554432000 4194304 4627427 140735913429008 18446744073709551615 4310126 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32405/statm: 77486 48231 389 106 0 72457 0
[pid=32405/tid=32406] ppid=32403 vsize=309944 CPUtime=51.09 cores=0,2,4,6
/proc/32405/task/32406/stat : 32406 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 32202 0 0 0 5102 7 0 0 25 0 4 0 524234158 317382656 48231 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32405/tid=32407] ppid=32403 vsize=309944 CPUtime=51.07 cores=0,2,4,6
/proc/32405/task/32407/stat : 32407 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 24400 0 0 0 5102 5 0 0 25 0 4 0 524234158 317382656 48231 33554432000 4194304 4627427 140735913429008 18446744073709551615 4428093 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32405/tid=32408] ppid=32403 vsize=309944 CPUtime=50.85 cores=0,2,4,6
/proc/32405/task/32408/stat : 32408 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 27225 0 0 0 5079 6 0 0 25 0 4 0 524234158 317382656 48231 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 309944

[startup+102.301 s]
/proc/loadavg: 7.33 6.13 6.68 9/184 32420
/proc/meminfo: memFree=30426596/32950928 swapFree=67111464/67111528
[pid=32405] ppid=32403 vsize=418164 CPUtime=408.68 cores=0,2,4,6
/proc/32405/stat : 32405 (strangenight2-m) R 32403 32405 31569 0 -1 4202496 176252 0 0 0 40826 42 0 0 25 0 4 0 524234157 428199936 62011 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32405/statm: 104541 62011 389 106 0 99512 0
[pid=32405/tid=32406] ppid=32403 vsize=418164 CPUtime=102.29 cores=0,2,4,6
/proc/32405/task/32406/stat : 32406 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 52421 0 0 0 10218 11 0 0 25 0 4 0 524234158 428199936 62011 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32405/tid=32407] ppid=32403 vsize=418164 CPUtime=102.28 cores=0,2,4,6
/proc/32405/task/32407/stat : 32407 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 38321 0 0 0 10220 8 0 0 25 0 4 0 524234158 428199936 62011 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32405/tid=32408] ppid=32403 vsize=418164 CPUtime=101.8 cores=0,2,4,6
/proc/32405/task/32408/stat : 32408 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 38742 0 0 0 10171 9 0 0 25 0 4 0 524234158 428199936 62011 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.68
Current children cumulated vsize (KiB) 418164

[startup+162.301 s]

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

[pid=32405] ppid=32403 vsize=871312 CPUtime=2566.17 cores=0,2,4,6
/proc/32405/stat : 32405 (strangenight2-m) R 32403 32405 31569 0 -1 4202496 586830 0 0 0 256458 159 0 0 25 0 4 0 524234157 892223488 147560 33554432000 4194304 4627427 140735913429008 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32405/statm: 217828 147560 389 106 0 212799 0
[pid=32405/tid=32406] ppid=32403 vsize=871312 CPUtime=642.29 cores=0,2,4,6
/proc/32405/task/32406/stat : 32406 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 156118 0 0 0 64187 42 0 0 25 0 4 0 524234158 892223488 147560 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32405/tid=32407] ppid=32403 vsize=871312 CPUtime=642.3 cores=0,2,4,6
/proc/32405/task/32407/stat : 32407 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 130800 0 0 0 64197 33 0 0 25 0 4 0 524234158 892223488 147560 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32405/tid=32408] ppid=32403 vsize=871312 CPUtime=639.25 cores=0,2,4,6
/proc/32405/task/32408/stat : 32408 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 130614 0 0 0 63891 34 0 0 25 0 4 0 524234158 892223488 147560 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2566.17
Current children cumulated vsize (KiB) 871312

[startup+702.3 s]
/proc/loadavg: 8.09 7.84 7.34 9/184 32436
/proc/meminfo: memFree=29659512/32950928 swapFree=67111464/67111528
[pid=32405] ppid=32403 vsize=891208 CPUtime=2805.9 cores=0,2,4,6
/proc/32405/stat : 32405 (strangenight2-m) R 32403 32405 31569 0 -1 4202496 623561 0 0 0 280418 172 0 0 25 0 4 0 524234157 912596992 155441 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32405/statm: 222802 155441 389 106 0 217773 0
[pid=32405/tid=32406] ppid=32403 vsize=891208 CPUtime=702.29 cores=0,2,4,6
/proc/32405/task/32406/stat : 32406 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 167507 0 0 0 70182 47 0 0 25 0 4 0 524234158 912596992 155441 33554432000 4194304 4627427 140735913429008 18446744073709551615 4535752 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32405/tid=32407] ppid=32403 vsize=891208 CPUtime=702.3 cores=0,2,4,6
/proc/32405/task/32407/stat : 32407 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 133651 0 0 0 70196 34 0 0 25 0 4 0 524234158 912596992 155441 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32405/tid=32408] ppid=32403 vsize=891208 CPUtime=698.97 cores=0,2,4,6
/proc/32405/task/32408/stat : 32408 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 142028 0 0 0 69859 38 0 0 25 0 4 0 524234158 912596992 155441 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.9
Current children cumulated vsize (KiB) 891208

[startup+762.3 s]
/proc/loadavg: 8.20 7.91 7.40 9/184 32438
/proc/meminfo: memFree=29677564/32950928 swapFree=67111464/67111528
[pid=32405] ppid=32403 vsize=1043464 CPUtime=3045.61 cores=0,2,4,6
/proc/32405/stat : 32405 (strangenight2-m) R 32403 32405 31569 0 -1 4202496 648063 0 0 0 304380 181 0 0 25 0 4 0 524234157 1068507136 154878 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32405/statm: 260866 154878 389 106 0 255837 0
[pid=32405/tid=32406] ppid=32403 vsize=1043464 CPUtime=762.29 cores=0,2,4,6
/proc/32405/task/32406/stat : 32406 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 174269 0 0 0 76180 49 0 0 25 0 4 0 524234158 1068507136 154878 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32405/tid=32407] ppid=32403 vsize=1043464 CPUtime=762.3 cores=0,2,4,6
/proc/32405/task/32407/stat : 32407 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 136949 0 0 0 76195 35 0 0 25 0 4 0 524234158 1068507136 154878 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32405/tid=32408] ppid=32403 vsize=1043464 CPUtime=758.68 cores=0,2,4,6
/proc/32405/task/32408/stat : 32408 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 153298 0 0 0 75825 43 0 0 25 0 4 0 524234158 1068507136 154878 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.61
Current children cumulated vsize (KiB) 1043464

[startup+822.3 s]
/proc/loadavg: 8.14 7.94 7.44 9/184 32439
/proc/meminfo: memFree=29649360/32950928 swapFree=67111464/67111528
[pid=32405] ppid=32403 vsize=1045616 CPUtime=3285.33 cores=0,2,4,6
/proc/32405/stat : 32405 (strangenight2-m) R 32403 32405 31569 0 -1 4202496 678255 0 0 0 328342 191 0 0 25 0 4 0 524234157 1070710784 161762 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309584 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32405/statm: 261404 161762 389 106 0 256375 0
[pid=32405/tid=32406] ppid=32403 vsize=1045616 CPUtime=822.3 cores=0,2,4,6
/proc/32405/task/32406/stat : 32406 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 184831 0 0 0 82177 53 0 0 25 0 4 0 524234158 1070710784 161762 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32405/tid=32407] ppid=32403 vsize=1045616 CPUtime=822.3 cores=0,2,4,6
/proc/32405/task/32407/stat : 32407 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 143291 0 0 0 82193 37 0 0 25 0 4 0 524234158 1070710784 161762 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32405/tid=32408] ppid=32403 vsize=1045616 CPUtime=818.4 cores=0,2,4,6
/proc/32405/task/32408/stat : 32408 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 155967 0 0 0 81796 44 0 0 25 0 4 0 524234158 1070710784 161762 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309304 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3285.33
Current children cumulated vsize (KiB) 1045616

[startup+882.301 s]
/proc/loadavg: 8.17 7.98 7.48 9/184 32441
/proc/meminfo: memFree=29658088/32950928 swapFree=67111464/67111528
[pid=32405] ppid=32403 vsize=1052012 CPUtime=3525.06 cores=0,2,4,6
/proc/32405/stat : 32405 (strangenight2-m) R 32403 32405 31569 0 -1 4202496 714011 0 0 0 352304 202 0 0 25 0 4 0 524234157 1077260288 159262 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32405/statm: 263003 159262 389 106 0 257974 0
[pid=32405/tid=32406] ppid=32403 vsize=1052012 CPUtime=882.3 cores=0,2,4,6
/proc/32405/task/32406/stat : 32406 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 195846 0 0 0 88172 58 0 0 25 0 4 0 524234158 1077260288 159262 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32405/tid=32407] ppid=32403 vsize=1052012 CPUtime=882.3 cores=0,2,4,6
/proc/32405/task/32407/stat : 32407 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 150202 0 0 0 88191 39 0 0 25 0 4 0 524234158 1077260288 159262 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32405/tid=32408] ppid=32403 vsize=1052012 CPUtime=878.12 cores=0,2,4,6
/proc/32405/task/32408/stat : 32408 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 166723 0 0 0 87766 46 0 0 25 0 4 0 524234158 1077260288 159262 33554432000 4194304 4627427 140735913429008 18446744073709551615 4427854 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3525.06
Current children cumulated vsize (KiB) 1052012

[startup+942.301 s]
/proc/loadavg: 8.17 8.01 7.52 9/184 32442
/proc/meminfo: memFree=29672660/32950928 swapFree=67111464/67111528
[pid=32405] ppid=32403 vsize=1032844 CPUtime=3764.79 cores=0,2,4,6
/proc/32405/stat : 32405 (strangenight2-m) R 32403 32405 31569 0 -1 4202496 755016 0 0 0 376264 215 0 0 25 0 4 0 524234157 1057632256 164289 33554432000 4194304 4627427 140735913429008 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32405/statm: 258211 164289 389 106 0 253182 0
[pid=32405/tid=32406] ppid=32403 vsize=1032844 CPUtime=942.3 cores=0,2,4,6
/proc/32405/task/32406/stat : 32406 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 207339 0 0 0 94168 62 0 0 25 0 4 0 524234158 1057632256 164289 33554432000 4194304 4627427 140735913429008 18446744073709551615 4321913 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32405/tid=32407] ppid=32403 vsize=1032844 CPUtime=942.31 cores=0,2,4,6
/proc/32405/task/32407/stat : 32407 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 157325 0 0 0 94189 42 0 0 25 0 4 0 524234158 1057632256 164289 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32405/tid=32408] ppid=32403 vsize=1032844 CPUtime=937.84 cores=0,2,4,6
/proc/32405/task/32408/stat : 32408 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 177839 0 0 0 93735 49 0 0 25 0 4 0 524234158 1057632256 164289 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.79
Current children cumulated vsize (KiB) 1032844

[startup+1002.3 s]
/proc/loadavg: 8.16 8.04 7.56 9/184 32444
/proc/meminfo: memFree=29577740/32950928 swapFree=67111464/67111528
[pid=32405] ppid=32403 vsize=947416 CPUtime=4004.5 cores=0,2,4,6
/proc/32405/stat : 32405 (strangenight2-m) R 32403 32405 31569 0 -1 4202496 785879 0 0 0 400223 227 0 0 25 0 4 0 524234157 970153984 175309 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309272 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32405/statm: 236854 175309 389 106 0 231825 0
[pid=32405/tid=32406] ppid=32403 vsize=947416 CPUtime=1002.31 cores=0,2,4,6
/proc/32405/task/32406/stat : 32406 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 217073 0 0 0 100164 67 0 0 25 0 4 0 524234158 970153984 175309 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32405/tid=32407] ppid=32403 vsize=947416 CPUtime=1002.31 cores=0,2,4,6
/proc/32405/task/32407/stat : 32407 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 160989 0 0 0 100188 43 0 0 25 0 4 0 524234158 970153984 175309 33554432000 4194304 4627427 140735913429008 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32405/tid=32408] ppid=32403 vsize=947416 CPUtime=997.55 cores=0,2,4,6
/proc/32405/task/32408/stat : 32408 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 188281 0 0 0 99702 53 0 0 25 0 4 0 524234158 970153984 175309 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4004.5
Current children cumulated vsize (KiB) 947416

[startup+1062.3 s]
/proc/loadavg: 8.15 8.06 7.59 9/184 32446
/proc/meminfo: memFree=29597276/32950928 swapFree=67111464/67111528
[pid=32405] ppid=32403 vsize=986656 CPUtime=4244.25 cores=0,2,4,6
/proc/32405/stat : 32405 (strangenight2-m) R 32403 32405 31569 0 -1 4202496 819110 0 0 0 424186 239 0 0 25 0 4 0 524234157 1010335744 168036 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32405/statm: 246664 168036 389 106 0 241635 0
[pid=32405/tid=32406] ppid=32403 vsize=986656 CPUtime=1062.31 cores=0,2,4,6
/proc/32405/task/32406/stat : 32406 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 222269 0 0 0 106162 69 0 0 25 0 4 0 524234158 1010335744 168036 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32405/tid=32407] ppid=32403 vsize=986656 CPUtime=1062.32 cores=0,2,4,6
/proc/32405/task/32407/stat : 32407 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 168320 0 0 0 106187 45 0 0 25 0 4 0 524234158 1010335744 168036 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32405/tid=32408] ppid=32403 vsize=986656 CPUtime=1057.27 cores=0,2,4,6
/proc/32405/task/32408/stat : 32408 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 197584 0 0 0 105671 56 0 0 25 0 4 0 524234158 1010335744 168036 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4244.25
Current children cumulated vsize (KiB) 986656

[startup+1122.3 s]
/proc/loadavg: 8.05 8.05 7.62 9/184 32447
/proc/meminfo: memFree=29596608/32950928 swapFree=67111464/67111528
[pid=32405] ppid=32403 vsize=943952 CPUtime=4483.95 cores=0,2,4,6
/proc/32405/stat : 32405 (strangenight2-m) R 32403 32405 31569 0 -1 4202496 855347 0 0 0 448144 251 0 0 25 0 4 0 524234157 966606848 165653 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32405/statm: 235988 165653 389 106 0 230959 0
[pid=32405/tid=32406] ppid=32403 vsize=943952 CPUtime=1122.31 cores=0,2,4,6
/proc/32405/task/32406/stat : 32406 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 233640 0 0 0 112158 73 0 0 25 0 4 0 524234158 966606848 165653 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32405/tid=32407] ppid=32403 vsize=943952 CPUtime=1122.32 cores=0,2,4,6
/proc/32405/task/32407/stat : 32407 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 176964 0 0 0 112184 48 0 0 25 0 4 0 524234158 966606848 165653 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32405/tid=32408] ppid=32403 vsize=943952 CPUtime=1116.98 cores=0,2,4,6
/proc/32405/task/32408/stat : 32408 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 205094 0 0 0 111639 59 0 0 25 0 4 0 524234158 966606848 165653 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.95
Current children cumulated vsize (KiB) 943952

[startup+1182.31 s]
/proc/loadavg: 8.09 8.06 7.65 9/184 32449
/proc/meminfo: memFree=29603000/32950928 swapFree=67111464/67111528
[pid=32405] ppid=32403 vsize=1023788 CPUtime=4723.69 cores=0,2,4,6
/proc/32405/stat : 32405 (strangenight2-m) R 32403 32405 31569 0 -1 4202496 890216 0 0 0 472107 262 0 0 25 0 4 0 524234157 1048358912 164664 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32405/statm: 255947 164664 389 106 0 250918 0
[pid=32405/tid=32406] ppid=32403 vsize=1023788 CPUtime=1182.31 cores=0,2,4,6
/proc/32405/task/32406/stat : 32406 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 242232 0 0 0 118155 76 0 0 25 0 4 0 524234158 1048358912 164664 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309149 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32405/tid=32407] ppid=32403 vsize=1023788 CPUtime=1182.33 cores=0,2,4,6
/proc/32405/task/32407/stat : 32407 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 188382 0 0 0 118182 51 0 0 25 0 4 0 524234158 1048358912 164664 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32405/tid=32408] ppid=32403 vsize=1023788 CPUtime=1176.7 cores=0,2,4,6
/proc/32405/task/32408/stat : 32408 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 208392 0 0 0 117610 60 0 0 25 0 4 0 524234158 1048358912 164664 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4723.69
Current children cumulated vsize (KiB) 1023788



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.5 s]
/proc/loadavg: 8.06 8.06 7.65 9/184 32449
/proc/meminfo: memFree=29616004/32950928 swapFree=67111464/67111528
[pid=32405] ppid=32403 vsize=1023944 CPUtime=4800.4 cores=0,2,4,6
/proc/32405/stat : 32405 (strangenight2-m) R 32403 32405 31569 0 -1 4202496 899439 0 0 0 479775 265 0 0 25 0 4 0 524234157 1048518656 167214 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32405/statm: 255986 167214 389 106 0 250957 0
[pid=32405/tid=32406] ppid=32403 vsize=1023944 CPUtime=1201.52 cores=0,2,4,6
/proc/32405/task/32406/stat : 32406 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 246477 0 0 0 120075 77 0 0 25 0 4 0 524234158 1048518656 167214 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32405/tid=32407] ppid=32403 vsize=1023944 CPUtime=1201.53 cores=0,2,4,6
/proc/32405/task/32407/stat : 32407 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 190095 0 0 0 120101 52 0 0 25 0 4 0 524234158 1048518656 167214 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32405/tid=32408] ppid=32403 vsize=1023944 CPUtime=1195.81 cores=0,2,4,6
/proc/32405/task/32408/stat : 32408 (strangenight2-m) R 32403 32405 31569 0 -1 4202560 209894 0 0 0 119520 61 0 0 25 0 4 0 524234158 1048518656 167214 33554432000 4194304 4627427 140735913429008 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.4
Current children cumulated vsize (KiB) 1023944

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): 1201.55
CPU time (s): 4800.46
CPU user time (s): 4797.77
CPU system time (s): 2.68859
CPU usage (%): 399.524
Max. virtual memory (cumulated for all children) (KiB): 1179292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.77
system time used= 2.68859
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 899440
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= 1009
involuntary context switches= 21760

runsolver used 1.76073 second user time and 3.87241 second system time

The end

Launcher Data 

Begin job on node149 at 2011-04-30 03:19:35
IDJOB=3263563
IDBENCH=83986
IDSOLVER=1586
FILE ID=node149/3263563-1304126375
RUNJOBID= node149-1304126375-32390
PBS_JOBID= 13170723
Free space on /tmp= 71932 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT03/handmade/anton/UNSAT/SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3263563-1304126375/watcher-3263563-1304126375 -o /tmp/evaluation-result-3263563-1304126375/solver-3263563-1304126375 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3263563-1304126375.cnf

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

MD5SUM BENCH= e826117d87949a5b285e72732bfa395b
RANDOM SEED=192668523

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30957392 kB
Buffers:        453968 kB
Cached:        1107212 kB
SwapCached:         60 kB
Active:         150492 kB
Inactive:      1474664 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30957392 kB
SwapTotal:    67111528 kB
SwapFree:     67111464 kB
Dirty:           10560 kB
Writeback:           4 kB
AnonPages:       63564 kB
Mapped:          14484 kB
Slab:           305132 kB
PageTables:       4812 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   187780 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= 71920 MiB
End job on node149 at 2011-04-30 03:39:38