Trace number 3251111

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.29 1201.97

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf
MD5SUMba3b1702a651cd8da3e6cada8f2e97bc
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.28965
Satisfiable
(Un)Satisfiability was proved
Number of variables2088
Number of clauses405748
Sum of the clauses size813494
Maximum clause length47
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2405703
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 545

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3251111-1304182248.cnf'
0.00/0.00	c -- header says num vars:           2088
0.00/0.00	c -- header says num clauses:      405748
0.08/0.08	c -- clauses added:            0 learnts,       405748 normals,            0 xors
0.08/0.08	c -- vars added       2088
0.08/0.08	c Parsing time:  0.23 s
0.08/0.08	c  N st     0         0      2088        45    405703         0    813494         0   no data   no data  --
0.08/0.08	c asymm  cl-useful: 0/45/45 lits-rem:0 time: 0.00
0.36/0.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.2M T:  0.24
0.36/0.32	c bin-w-bin subsume rem            0 bins  time:  0.31 s
0.36/0.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.24 s
0.36/0.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2088 time:  0.15 s
0.36/0.39	c Removed useless bin:       0  fixed:     0  props:   2.04M  time:  0.16 s
1.94/0.55	c lits-rem:       189  cl-subs:        0  v-elim:     45  v-fix:    0  time:  0.52 s
1.94/0.55	c Finding binary XORs  T:     0.03 s  found:       0
1.94/0.55	c Finding non-binary XORs:     0.04 s (found:       0, avg size: nan)
1.94/0.55	c calculated reachability. Time: 0.01
1.94/0.55	c Calc default polars -  time:   0.01 s pos:       0 undec:      45 neg:    2043
1.94/0.55	c =========================================================================================
1.94/0.55	c types(t): F = full restart, N = normal restart
1.94/0.55	c types(t): S = simplification begin/end, E = solution found
1.94/0.55	c restart types(rt): st = static, dy = dynamic
1.94/0.55	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.94/0.55	c  B st     0         0      2043      7752    395908         0   1194307         0   no data   no data  --
3.94/1.01	c  N dy    16      4090      2043      7752    395908      3974   1194306    364351     10.09     11.52  --
5.54/1.44	c  N dy    31      8136      2043      7752    395909      5493   1194306    429666      9.27      9.83  --
7.93/2.01	c  N dy    51     12806      2043      7752    395909      5905   1194305    385827      9.21     10.12  --
9.92/2.53	c  N dy    75     16886      2043      7752    395909      9838   1194305    598336      9.39     10.97  --
11.53/2.96	c  N dy    98     20995      2043      7752    395910      8398   1194294    582681      9.50     10.02  --
13.12/3.38	c  F st   113     25001      2043      7752    395910     12302   1194293    892829      9.39      7.26  --
13.54/3.43	c  N st   113     25001      2043      7752    395910     12302   1194293    892829      9.39      7.26  --
15.92/4.03	c  N dy   119     30000      2043      7752    395910     10575   1194293    633069      9.39   no data  --
15.92/4.03	c  S st   119     30000      2043      7752    395910     10575   1194293    633069      9.39   no data  --
15.92/4.08	c  S st   119     30503      2043      7752    395910     11074   1194290    680647      9.39   no data  --
15.92/4.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
15.92/4.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
18.33/4.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 22.5M T:  2.14
18.71/4.71	c bin-w-bin subsume rem            0 bins  time:  0.19 s
23.51/5.99	c subs with bin:        0  lits-rem:      4929  v-fix:    0  time:  5.09 s
23.91/6.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2043 time:  0.16 s
23.91/6.07	c Removed useless bin:       0  fixed:     0  props:   1.99M  time:  0.16 s
28.70/7.29	c lits-rem:      3512  cl-subs:      907  v-elim:      0  v-fix:    0  time:  4.88 s
29.90/7.52	c asymm  cl-useful: 663/1600/7752 lits-rem:9058 time: 0.92
29.90/7.53	c calculated reachability. Time: 0.01
29.90/7.53	c  N dy   119     30503      2043      7752    395910     10167   1172224    644243      9.39   no data  --
31.90/8.06	c  N dy   139     34798      2043      7752    395911     14392   1172224   1066778      9.48     10.05  --
33.89/8.59	c  N dy   165     38972      2043      7752    395911     10749   1172223    699171      9.69     10.35  --
36.69/9.21	c  N dy   187     43050      2043      7752    395912     14714   1172219   1341764      9.81     12.27  --
38.29/9.67	c  S st   205     45756      2043      7752    395913     17373   1172219   1730684     10.00   no data  --
38.68/9.76	c  S st   205     46258      2043      7752    395913      9116   1172219    605582     10.00   no data  --
38.68/9.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
38.68/9.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
41.09/10.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 23.6M T:  2.21
41.49/10.40	c bin-w-bin subsume rem            0 bins  time:  0.19 s
46.28/11.64	c subs with bin:        0  lits-rem:      5045  v-fix:    0  time:  4.95 s
46.28/11.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2043 time:  0.16 s
46.68/11.72	c Removed useless bin:       0  fixed:     0  props:   1.98M  time:  0.15 s
59.06/14.85	c lits-rem:      1047  cl-subs:      282  v-elim:      0  v-fix:    0  time: 12.50 s
59.06/14.87	c vivif2 --  cl tried     7752 cl shrink     5114 lits rem      67068 time: 0.08
59.06/14.89	c vivif2 --  cl tried     8834 cl shrink       10 lits rem         11 time: 0.06
59.86/15.09	c asymm  cl-useful: 0/1737/7752 lits-rem:0 time: 0.82
60.26/15.10	c calculated reachability. Time: 0.01
60.26/15.10	c  N dy   205     46258      2043      7752    395914      8834   1096961    592804     10.00   no data  --
62.27/15.63	c  N dy   242     50306      2043      7752    395920     12814   1096960   1136675     10.47     12.37  --
65.05/16.38	c  N dy   274     54379      2043      7752    395920     16779   1096960   1735203     10.95     13.92  --
68.25/17.10	c  N dy   286     58569      2043      7752    395920     11105   1096960    888828     10.92     11.51  --
70.25/17.62	c  N dy   305     62663      2043      7752    395920     15091   1096960   1341941     10.89     11.60  --
73.44/18.44	c  N dy   330     67711      2043      7752    395922     20015   1096960   1900570     10.95     11.74  --
74.64/18.75	c  S st   342     69387      2043      7752    395922     10928   1096960    808332     10.99   no data  --
75.06/18.81	c  S st   342     69889      2043      7752    395922     11427   1096960    852288     10.99   no data  --
75.06/18.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
75.06/18.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
77.43/19.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 26.1M T:  2.68
77.83/19.57	c bin-w-bin subsume rem            0 bins  time:  0.19 s
83.03/20.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.15 s
83.43/20.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2043 time:  0.16 s
83.43/20.94	c Removed useless bin:       0  fixed:     0  props:   1.98M  time:  0.16 s
87.03/21.82	c lits-rem:       473  cl-subs:       77  v-elim:      0  v-fix:    0  time:  3.51 s
87.03/21.83	c vivif2 --  cl tried     7752 cl shrink        0 lits rem          0 time: 0.03
87.03/21.85	c vivif2 --  cl tried    11350 cl shrink       74 lits rem         76 time: 0.08
87.83/22.06	c asymm  cl-useful: 0/1717/7752 lits-rem:0 time: 0.85
87.83/22.07	c calculated reachability. Time: 0.01
87.83/22.07	c  N dy   342     69889      2043      7752    395922     11350   1096957    844717     10.99   no data  --
90.62/22.75	c  N dy   374     74391      2043      7752    395923     15756   1096957   1516845     11.14     15.32  --
94.62/23.73	c  N dy   409     79419      2043      7752    395925     20659   1096957   2218733     11.48     12.11  --
98.20/24.65	c  N dy   439     84678      2043      7752    395926     14097   1096957   1185618     11.68     12.34  --
100.20/25.10	c  F st   458     87500      2043      7752    395927     16862   1096957   1535157     11.71      9.34  --
102.60/25.71	c  N st   463     90797      2043      7752    395927     20076   1096957   1949944     11.71   no data  --
107.00/26.82	c  N dy   482     96773      2043      7752    395928     13206   1096957    973513     11.72     12.35  --
110.99/27.86	c  N dy   523    102953      2043      7752    395931     19265   1096957   1929680     11.96     14.59  --
112.58/28.26	c  S st   535    104833      2043      7752    395931     21099   1096957   2216999     11.99      9.00  --
112.99/28.37	c  S st   535    105334      2043      7752    395931     21600   1096957   2277410     11.99   no data  --
112.99/28.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
112.99/28.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
116.98/29.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 37.8M T:  3.88
117.38/29.48	c bin-w-bin subsume rem            0 bins  time:  0.18 s
122.97/30.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.41 s
122.97/30.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2043 time:  0.16 s
123.39/30.92	c Removed useless bin:       0  fixed:     0  props:   1.98M  time:  0.15 s
139.75/35.06	c lits-rem:      2713  cl-subs:      301  v-elim:      0  v-fix:    0  time: 16.51 s
139.75/35.06	c vivif2 --  cl tried     7752 cl shrink        0 lits rem          0 time: 0.02
140.15/35.10	c vivif2 --  cl tried    21299 cl shrink       99 lits rem        120 time: 0.17
140.97/35.37	c asymm  cl-useful: 0/597/7752 lits-rem:0 time: 1.07
140.97/35.38	c calculated reachability. Time: 0.01
140.97/35.38	c  N dy   535    105334      2043      7752    395931     21299   1096957   2235893     11.99   no data  --
146.94/36.87	c  N dy   566    112103      2043      7752    395932     14222   1096957   1019240     12.06     12.89  --
151.34/37.94	c  N dy   596    119275      2043      7752    395933     21187   1096957   1927213     12.05     24.90  --
158.95/39.82	c  N dy   644    127236      2043      7752    395934     28969   1096957   3221625     12.42     13.09  --
164.12/41.17	c  N dy   669    135553      2043      7752    395934     22427   1096957   1949162     12.37     13.06  --
171.73/43.07	c  N dy   713    144456      2043      7752    395934     31145   1096957   3324338     12.48     13.14  --
178.50/44.70	c  N dy   756    153948      2043      7752    395934     24800   1096957   2073037     12.53     13.31  --
181.69/45.56	c  S st   782    158001      2043      7752    395934     28734   1096957   2530953     12.57   no data  --
182.09/45.66	c  S st   782    158504      2043      7752    395934     29234   1096957   2583535     12.57   no data  --
182.09/45.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
182.09/45.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
186.49/46.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      0 BRemN:      0 P: 42.4M T:  4.41
187.29/46.91	c bin-w-bin subsume rem            0 bins  time:  0.19 s
193.28/48.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.28 s
193.69/48.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2043 time:  0.15 s
193.69/48.56	c Removed useless bin:       0  fixed:     0  props:   1.98M  time:  0.16 s
213.65/53.52	c lits-rem:      1359  cl-subs:      626  v-elim:      0  v-fix:    0  time: 19.77 s
213.65/53.53	c vivif2 --  cl tried     7752 cl shrink        0 lits rem          0 time: 0.03
213.65/53.58	c vivif2 --  cl tried    28608 cl shrink       17 lits rem         18 time: 0.22
214.85/53.84	c asymm  cl-useful: 0/530/7752 lits-rem:0 time: 1.03
214.85/53.85	c calculated reachability. Time: 0.01
214.85/53.85	c  N dy   782    158504      2043      7752    395936     28608   1096957   2540372     12.57   no data  --
222.44/55.72	c  N dy   816    169267      2043      7752    395940     22450   1096957   1782420     12.52     13.20  --
231.63/58.02	c  N dy   856    180262      2043      7752    395940     33192   1096957   3043013     12.50     13.28  --
240.02/60.15	c  N dy   889    191935      2043      7752    395942     27076   1096957   2393984     12.47     13.13  --
251.22/62.98	c  N dy   939    204408      2043      7752    395942     20682   1096957   1495301     12.51     13.46  --
261.99/65.69	c  N dy   994    217642      2043      7752    395945     33547   1096957   2993879     12.59     13.26  --
273.97/68.61	c  N dy  1037    231873      2043      7752    395946     27918   1096956   2176417     12.55     13.23  --
278.37/69.70	c  S st  1066    237757      2043      7752    395946     33611   1096956   2902787     12.60   no data  --
278.76/69.80	c  S st  1066    238259      2043      7752    395946     34110   1096956   2969022     12.60   no data  --
278.76/69.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
278.76/69.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
283.56/71.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 43.7M T:  4.73
283.96/71.14	c bin-w-bin subsume rem            0 bins  time:  0.18 s
289.16/72.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.13 s
289.16/72.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2043 time:  0.16 s
289.56/72.51	c Removed useless bin:       0  fixed:     0  props:   1.98M  time:  0.15 s
311.52/78.03	c lits-rem:      1657  cl-subs:     1219  v-elim:      0  v-fix:    0  time: 22.05 s
311.52/78.04	c vivif2 --  cl tried     7752 cl shrink        0 lits rem          0 time: 0.02
311.92/78.10	c vivif2 --  cl tried    32891 cl shrink      137 lits rem        192 time: 0.26
312.74/78.36	c asymm  cl-useful: 0/1239/7752 lits-rem:0 time: 1.00
312.74/78.37	c calculated reachability. Time: 0.01
312.74/78.37	c  N dy  1066    238259      2043      7752    395946     32891   1096956   2908520     12.60   no data  --
324.30/81.29	c  N dy  1121    253647      2043      7752    395948     27475   1096956   2052643     12.55     13.32  --
339.47/85.03	c  N dy  1182    269950      2043      7752    395950     21967   1096956   1382408     12.55     13.22  --
353.46/88.55	c  N dy  1250    287379      2043      7752    395952     39001   1096956   3588844     12.60     13.29  --
368.65/92.37	c  F st  1324    306250      2043      7752    395953     34940   1096956   2834016     12.62      9.22  --
369.05/92.43	c  N st  1324    306250      2043      7752    395953     34940   1096956   2834016     12.62      9.22  --
385.82/96.68	c  N dy  1392    326633      2043      7752    395953     31398   1096956   2386263     12.68     13.41  --
403.80/101.14	c  N dy  1466    346647      2043      7752    395953     26552   1096956   1675621     12.70     26.67  --
411.78/103.10	c  S st  1512    357388      2043      7752    395953     36997   1096956   2897131     12.73   no data  --
412.18/103.21	c  S st  1512    357889      2043      7752    395953     37498   1096956   2943055     12.73   no data  --
412.18/103.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
412.18/103.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
416.98/104.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 44.5M T:  4.94
417.38/104.60	c bin-w-bin subsume rem            0 bins  time:  0.18 s
424.17/106.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.52 s
424.17/106.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2043 time:  0.16 s
424.56/106.31	c Removed useless bin:       0  fixed:     0  props:   1.98M  time:  0.16 s
441.34/110.58	c lits-rem:       739  cl-subs:     1235  v-elim:      0  v-fix:    0  time: 17.03 s
441.34/110.59	c vivif2 --  cl tried     7752 cl shrink        0 lits rem          0 time: 0.03
441.74/110.66	c vivif2 --  cl tried    36263 cl shrink      150 lits rem        151 time: 0.28
442.94/110.92	c asymm  cl-useful: 0/1289/7752 lits-rem:0 time: 1.06
442.94/110.93	c calculated reachability. Time: 0.01
442.94/110.93	c  N dy  1512    357889      2043      7752    395953     36263   1096956   2883656     12.73   no data  --
460.12/115.29	c  N dy  1597    377984      2043      7752    395955     30553   1096956   2141431     12.78     24.02  --
478.09/119.79	c  N dy  1705    398145      2043      7752    395957     50206   1096956   4493405     12.91     13.81  --
495.67/124.13	c  N dy  1767    418776      2043      7752    395959     43944   1096956   3500995     12.87     13.59  --
514.03/128.74	c  N dy  1846    438810      2043      7752    395960     36150   1096956   2502534     12.88     13.59  --
534.40/133.85	c  N dy  1941    459414      2043      7752    395961     56234   1096956   4842498     12.94     13.65  --
551.99/138.25	c  N dy  2031    479434      2043      7752    395961     47448   1096956   3789071     13.00     13.85  --
572.36/143.33	c  N dy  2119    499446      2043      7752    395962     37758   1096956   2691294     13.04     14.91  --
592.33/148.31	c  N dy  2184    520423      2043      7752    395962     58164   1096956   4991143     13.02     13.76  --
606.31/151.88	c  S st  2243    536833      2043      7752    395962     44050   1096956   3463259     13.02     11.63  --
606.72/151.99	c  S st  2243    537335      2043      7752    395962     44552   1096956   3535190     13.02   no data  --
607.13/152.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
607.13/152.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
612.70/153.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 49.1M T:  5.56
613.10/153.56	c bin-w-bin subsume rem            0 bins  time:  0.18 s
620.68/155.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.71 s
621.08/155.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2043 time:  0.16 s
621.08/155.57	c Removed useless bin:       0  fixed:     0  props:   1.98M  time:  0.16 s
643.05/161.05	c lits-rem:       330  cl-subs:     1657  v-elim:      0  v-fix:    0  time: 21.86 s
643.05/161.06	c vivif2 --  cl tried     7752 cl shrink        0 lits rem          0 time: 0.02
643.45/161.14	c vivif2 --  cl tried    42895 cl shrink       80 lits rem         81 time: 0.33
644.65/161.42	c asymm  cl-useful: 0/1039/7752 lits-rem:0 time: 1.11
644.65/161.43	c calculated reachability. Time: 0.01
644.65/161.43	c  N dy  2243    537335      2043      7752    395962     42895   1096955   3474301     13.02   no data  --
666.62/166.99	c  N dy  2332    557444      2043      7752    395964     31305   1096955   1851185     13.07     13.78  --
684.20/171.32	c  N dy  2403    577861      2043      7752    395964     51139   1096955   4082398     13.08     13.81  --
705.77/176.78	c  N dy  2496    598545      2043      7752    395966     39146   1096955   2710849     13.12     14.16  --
727.73/182.25	c  N dy  2566    618904      2043      7752    395966     58960   1096955   4771220     13.12     14.13  --
746.92/187.09	c  N dy  2600    639090      2043      7752    395968     45453   1096955   2921389     13.05     13.97  --
767.68/192.22	c  N dy  2671    659910      2043      7752    395969     65537   1096955   5022331     13.04     13.73  --
786.88/197.04	c  N dy  2754    679935      2043      7752    395969     51149   1096955   3937797     13.09     23.74  --
814.42/203.90	c  N dy  2850    701879      2043      7752    395969     37492   1096955   2246407     13.12     13.85  --
833.20/208.60	c  N dy  2911    722096      2043      7752    395969     57158   1096955   4414529     13.09     13.92  --
854.37/213.94	c  N dy  2973    742132      2043      7752    395970     40643   1096955   2597110     13.08     13.90  --
875.17/219.12	c  N dy  3041    762616      2043      7752    395970     60594   1096955   4710717     13.08     13.96  --
900.71/225.57	c  N dy  3100    784370      2043      7752    395971     44775   1096955   2672695     13.05     13.83  --
920.28/230.48	c  N dy  3146    805934      2043      7752    395972     65682   1096955   4702678     13.01     13.78  --
920.68/230.50	c  S st  3147    806003      2043      7752    395972     65750   1096955   4708937     13.01   no data  --
921.08/230.65	c  S st  3147    806503      2043      7752    395972     66249   1096955   4764075     13.01   no data  --
921.08/230.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
921.08/230.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
928.67/232.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 57.1M T:  7.54
929.47/232.76	c bin-w-bin subsume rem            0 bins  time:  0.18 s
935.86/234.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.35 s
935.86/234.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2043 time:  0.16 s
936.28/234.43	c Removed useless bin:       0  fixed:     0  props:   1.97M  time:  0.15 s
1034.53/259.03	c lits-rem:      1448  cl-subs:     4148  v-elim:      0  v-fix:    0  time: 98.14 s
1034.53/259.04	c vivif2 --  cl tried     7752 cl shrink        0 lits rem          0 time: 0.02
1034.93/259.16	c vivif2 --  cl tried    62101 cl shrink      207 lits rem        218 time: 0.50
1036.12/259.45	c asymm  cl-useful: 0/599/7752 lits-rem:0 time: 1.16
1036.12/259.46	c calculated reachability. Time: 0.01
1036.12/259.46	c  N dy  3147    806503      2043      7752    395973     62101   1096955   4655365     13.01   no data  --
1058.89/265.12	c  N dy  3242    826551      2043      7752    395973     43822   1096955   2796476     13.04     19.27  --
1082.86/271.12	c  N dy  3360    847132      2043      7752    395976     63871   1096955   5182626     13.11     13.86  --
1108.43/277.55	c  N dy  3434    867167      2043      7752    395977     44431   1096955   2806033     13.11     15.43  --
1129.20/282.73	c  N dy  3477    887552      2043      7752    395977     64308   1096955   5072322     13.09     14.11  --
1154.36/289.08	c  N dy  3520    907724      2043      7752    395977     44040   1096955   2528101     13.06     13.81  --
1176.34/294.59	c  N dy  3639    927799      2043      7752    395977     63622   1096955   4945497     13.13     25.57  --
1207.49/302.31	c  N dy  3680    948871      2043      7752    395978     43144   1096955   2519640     13.09     14.06  --
1232.66/308.61	c  N dy  3771    969790      2043      7752    395979     63439   1096955   4911202     13.12     14.09  --
1266.61/317.17	c  N dy  3860    990177      2043      7752    395980     83239   1096955   7169898     13.16     14.01  --
1290.18/323.05	c  N dy  3956   1010267      2043      7752    395981     61027   1096955   4725313     13.20     22.70  --
1324.53/331.63	c  N dy  4026   1032454      2043      7752    395981     82489   1096955   6820668     13.20     13.91  --
1349.72/337.99	c  N dy  4111   1053896      2043      7752    395981     60638   1096955   4417726     13.22     14.37  --
1376.86/344.73	c  F st  4187   1071877      2043      7752    395981     78167   1096955   6393338     13.23   no data  --
1381.26/345.89	c  N st  4191   1073910      2043      7752    395981     80121   1096955   6577868     13.23   no data  --
1408.82/352.79	c  N dy  4268   1094067      2043      7752    395981     55971   1096955   3835921     13.25     14.02  --
1435.58/359.45	c  N dy  4338   1114912      2043      7752    395981     76171   1096955   5936923     13.25     14.03  --
1462.74/366.27	c  N dy  4411   1135311      2043      7752    395981     51332   1096955   3317136     13.26     14.05  --
1486.31/372.18	c  N dy  4482   1156131      2043      7752    395981     71581   1096955   5627325     13.26     14.02  --
1517.47/379.91	c  N dy  4560   1176140      2043      7752    395981     91050   1096955   8144398     13.29     14.25  --
1541.04/385.88	c  N dy  4671   1196301      2043      7752    395982     65007   1096955   4783641     13.34     14.13  --
1557.81/390.07	c  S st  4690   1209755      2043      7752    395982     78028   1096955   5978587     13.31      9.29  --
1558.61/390.28	c  S st  4690   1210255      2043      7752    395982     78526   1096955   6022971     13.31   no data  --
1559.01/390.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1559.01/390.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1568.60/392.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 71.7M T:  9.58
1569.42/392.94	c bin-w-bin subsume rem            0 bins  time:  0.18 s
1575.39/394.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.12 s
1575.79/394.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2043 time:  0.16 s
1575.79/394.56	c Removed useless bin:       0  fixed:     0  props:   1.97M  time:  0.16 s
1769.53/443.06	c lits-rem:      3429  cl-subs:     4418  v-elim:      0  v-fix:    0  time: 193.57 s
1769.53/443.06	c vivif2 --  cl tried     7752 cl shrink        0 lits rem          0 time: 0.03
1770.33/443.22	c vivif2 --  cl tried    74108 cl shrink      171 lits rem        185 time: 0.61
1771.54/443.55	c asymm  cl-useful: 0/305/7752 lits-rem:0 time: 1.33
1771.54/443.56	c calculated reachability. Time: 0.01
1771.54/443.56	c  N dy  4690   1210255      2043      7752    395982     74108   1096955   5892404     13.31   no data  --
1803.07/451.43	c  N dy  4752   1230431      2043      7752    395985     47115   1096955   2781940     13.30     14.04  --
1826.24/457.21	c  N dy  4859   1250525      2043      7752    395986     66693   1096955   5156484     13.34     14.46  --
1861.40/466.09	c  N dy  4944   1272959      2043      7752    395986     88505   1096955   7519742     13.35     14.38  --
1888.16/472.76	c  N dy  4991   1293310      2043      7752    395987     60569   1096955   3818970     13.34     14.05  --
1911.75/478.64	c  N dy  5070   1313364      2043      7752    395989     80096   1096955   5956812     13.35     25.51  --
1940.90/485.90	c  N dy  5138   1333395      2043      7752    395990     50982   1096955   3069171     13.36     25.68  --
1962.86/491.42	c  N dy  5224   1353492      2043      7752    395990     70478   1096955   5090371     13.38     24.88  --
1990.84/498.50	c  N dy  5287   1373873      2043      7752    395991     90191   1096955   7151131     13.38     14.15  --
2018.78/505.49	c  N dy  5357   1394019      2043      7752    395991     60286   1096955   3953889     13.37     14.09  --
2045.15/512.09	c  N dy  5446   1414033      2043      7752    395993     79697   1096955   6068817     13.39     14.18  --
2082.70/521.43	c  N dy  5536   1435524      2043      7752    395994    100570   1096955   8274525     13.40     14.14  --
2106.66/527.49	c  N dy  5617   1455552      2043      7752    395994     69633   1096955   4872467     13.41     22.50  --
2136.62/534.99	c  N dy  5674   1475618      2043      7752    395995     89061   1096955   6798112     13.40     14.23  --
2170.58/543.44	c  N dy  5722   1495785      2043      7752    395998     57110   1096955   3608191     13.38     14.33  --
2198.54/550.40	c  N dy  5798   1515826      2043      7752    395998     76578   1096953   5830004     13.39     27.20  --
2235.29/559.66	c  N dy  5882   1536558      2043      7752    395999     96661   1096953   8301337     13.41     14.12  --
2266.84/567.54	c  N dy  5930   1558390      2043      7752    395999     65401   1096953   4313953     13.40     14.17  --
2294.44/574.46	c  N dy  5980   1579876      2043      7752    395999     86262   1096953   6165617     13.39     14.10  --
2328.76/583.02	c  N dy  6063   1599963      2043      7752    396000    105762   1096953   8187750     13.40     31.18  --
2354.73/589.52	c  N dy  6137   1620029      2043      7752    396000     71905   1096953   5139771     13.41     31.17  --
2390.70/598.56	c  N dy  6220   1640109      2043      7752    396001     91340   1096953   7083845     13.42     14.54  --
2427.03/607.69	c  N dy  6296   1660147      2043      7752    396002     56484   1096953   3428398     13.43     14.57  --
2449.80/613.31	c  N dy  6339   1680166      2043      7752    396002     75870   1096953   5182879     13.42     20.39  --
2478.15/620.49	c  N dy  6406   1700598      2043      7752    396002     95714   1096953   7518692     13.41     14.22  --
2497.32/625.23	c  S st  6452   1710255      2043      7752    396002    105091   1096953   8577992     13.41   no data  --
2498.52/625.57	c  S st  6452   1710758      2043      7752    396002    105594   1096953   8644704     13.41   no data  --
2498.92/625.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
2498.92/625.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2512.11/628.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 86.3M T: 13.27
2513.30/629.26	c bin-w-bin subsume rem            0 bins  time:  0.18 s
2521.30/631.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  8.02 s
2521.70/631.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2043 time:  0.16 s
2521.70/631.35	c Removed useless bin:       0  fixed:     0  props:   1.97M  time:  0.16 s
2862.04/716.55	c lits-rem:       535  cl-subs:     7276  v-elim:      0  v-fix:    0  time: 339.89 s
2862.04/716.56	c vivif2 --  cl tried     7752 cl shrink        0 lits rem          0 time: 0.02
2862.84/716.77	c vivif2 --  cl tried    98318 cl shrink      762 lits rem        845 time: 0.85
2864.44/717.11	c asymm  cl-useful: 0/403/7752 lits-rem:0 time: 1.37
2864.44/717.13	c calculated reachability. Time: 0.01
2864.44/717.13	c  N dy  6452   1710758      2043      7752    396002     98318   1096952   8434969     13.41   no data  --
2898.79/725.75	c  N dy  6539   1730796      2043      7752    396008     62627   1096952   4281723     13.43     20.31  --
2930.34/733.64	c  N dy  6605   1752659      2043      7752    396009     83832   1096952   6950550     13.44     14.22  --
2968.70/743.23	c  N dy  6658   1772744      2043      7752    396009    103318   1096952   8987210     13.43     14.43  --
3006.64/752.70	c  N dy  6764   1792791      2043      7752    396010     66550   1096952   4721253     13.47     15.68  --
3042.59/761.71	c  N dy  6845   1813119      2043      7752    396011     86333   1096952   7128488     13.49     14.27  --
3086.54/772.70	c  N dy  6918   1833163      2043      7752    396011    105847   1096952   9345788     13.49     14.68  --
3122.89/781.88	c  N dy  7014   1853208      2043      7752    396011     68067   1096952   4920357     13.52     35.41  --
3154.44/789.74	c  N dy  7104   1873288      2043      7752    396011     87702   1096952   7304384     13.54     20.32  --
3195.21/799.95	c  N dy  7183   1894365      2043      7752    396011    108211   1096952   9576444     13.55     14.36  --
3235.14/809.97	c  N dy  7309   1914693      2043      7752    396011     69567   1096952   4815359     13.59     14.54  --
3267.89/818.11	c  N dy  7335   1936385      2043      7752    396011     90433   1096952   6198352     13.56     14.31  --
3304.30/827.37	c  N dy  7375   1957045      2043      7752    396011    110297   1096952   7690247     13.55     14.52  --
3335.46/835.29	c  N dy  7430   1977716      2043      7752    396011     71182   1096952   4416179     13.54     14.38  --
3362.94/842.19	c  N dy  7452   1997993      2043      7752    396011     90591   1096952   5542803     13.51     14.38  --
3393.30/849.77	c  N dy  7488   2018061      2043      7752    396012    109862   1096952   7134703     13.49     26.23  --
3425.65/857.84	c  N dy  7580   2038462      2043      7752    396012     69805   1096952   4597225     13.50     14.37  --
3462.03/866.99	c  N dy  7669   2058600      2043      7752    396013     89391   1096952   6942702     13.52     14.24  --
3505.97/877.97	c  N dy  7733   2078611      2043      7752    396013    108856   1096952   8895752     13.52     15.37  --
3556.68/890.66	c  N dy  7855   2098702      2043      7752    396013     67361   1096952   4545322     13.56     34.64  --
3596.63/900.66	c  N dy  7962   2119920      2043      7752    396014     88007   1096952   7192210     13.60     14.34  --
3647.36/913.38	c  N dy  8043   2140743      2043      7752    396014    108222   1096952   9493771     13.61     14.34  --
3698.09/926.07	c  N dy  8136   2160760      2043      7752    396014     65578   1096952   4141509     13.63     21.50  --
3726.85/933.24	c  N dy  8210   2181079      2043      7752    396014     85258   1096952   6272175     13.64     14.70  --
3760.41/941.68	c  N dy  8276   2201743      2043      7752    396014    105238   1096952   8323979     13.64     14.45  --
3775.19/945.36	c  S st  8298   2210758      2043      7752    396014    114056   1096952   9255863     13.63     12.69  --
3776.39/945.62	c  S st  8298   2211258      2043      7752    396014    114554   1096952   9323864     13.63   no data  --
3776.39/945.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
3776.39/945.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3792.37/949.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 107.6M T: 16.02
3793.57/949.98	c bin-w-bin subsume rem            0 bins  time:  0.18 s
3802.35/952.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  8.63 s
3802.35/952.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2043 time:  0.16 s
3802.75/952.23	c Removed useless bin:       0  fixed:     0  props:   1.97M  time:  0.16 s
4253.35/1065.07	c lits-rem:      3635  cl-subs:     6651  v-elim:      0  v-fix:    0  time: 450.04 s
4253.35/1065.07	c vivif2 --  cl tried     7752 cl shrink        0 lits rem          0 time: 0.03
4254.53/1065.31	c vivif2 --  cl tried   107903 cl shrink      694 lits rem        803 time: 0.95
4255.73/1065.66	c asymm  cl-useful: 0/442/7752 lits-rem:0 time: 1.37
4255.73/1065.67	c calculated reachability. Time: 0.01
4255.73/1065.67	c  N dy  8298   2211258      2043      7752    396014    107903   1096952   9126200     13.63   no data  --
4301.69/1077.16	c  N dy  8391   2231362      2043      7752    396018     64444   1096952   4161938     13.66     14.46  --
4329.63/1084.16	c  N dy  8465   2251565      2043      7752    396018     84043   1096952   6277618     13.66     14.43  --
4366.79/1093.45	c  N dy  8564   2271873      2043      7752    396018    103801   1096952   8550935     13.68     14.41  --
4409.12/1104.02	c  N dy  8638   2292159      2043      7752    396019    123418   1096952  10616843     13.68     14.48  --
4438.28/1111.35	c  N dy  8674   2312309      2043      7752    396019     78859   1096952   5178576     13.67     14.64  --
4473.05/1120.03	c  N dy  8751   2332363      2043      7752    396020     98258   1096952   7311183     13.67     33.69  --
4520.57/1131.95	c  N dy  8847   2352389      2043      7752    396020    117683   1096952   9289485     13.69     16.22  --
4568.12/1143.84	c  N dy  8926   2373400      2043      7752    396022     73206   1096952   4864858     13.70     14.50  --
4606.46/1153.49	c  N dy  9011   2393414      2043      7752    396022     92487   1096952   6992895     13.70     28.94  --
4652.81/1165.03	c  N dy  9068   2413471      2043      7752    396023    111867   1096952   9065065     13.70     25.11  --
4708.72/1179.06	c  N dy  9103   2433918      2043      7752    396023     65896   1096952   4076837     13.69     14.43  --
4741.47/1187.25	c  N dy  9167   2454058      2043      7752    396023     85370   1096952   6118574     13.69     14.42  --
4789.42/1199.23	c  N dy  9291   2474132      2043      7752    396023    104898   1096952   8417551     13.72     16.45  --

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

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

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


[startup+0 s]
/proc/loadavg: 8.12 7.57 7.72 5/184 18859
/proc/meminfo: memFree=28900028/32951124 swapFree=67102748/67111528
[pid=18859] ppid=18857 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/18859/stat : 18859 (strangenight1-m) R 18857 18859 18485 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 529823023 52465664 353 33554432000 4194304 4650419 140736672538896 18446744073709551615 47107669325746 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18859/statm: 12809 353 303 112 0 7774 0
[pid=18859/tid=18860] ppid=18857 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/18859/task/18860/stat : 18860 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 529823023 52465664 353 33554432000 4194304 4650419 140736672538896 18446744073709551615 47107669325746 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18859/tid=18861] ppid=18857 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 529823023 52465664 353 33554432000 4194304 4650419 140736672538896 18446744073709551615 47107669325746 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18859/tid=18862] ppid=18857 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/18859/task/18862/stat : 18862 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 529823023 52465664 353 33554432000 4194304 4650419 140736672538896 18446744073709551615 246516890609 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0291029 s]
/proc/loadavg: 8.12 7.57 7.72 5/184 18859
/proc/meminfo: memFree=28900028/32951124 swapFree=67102748/67111528
[pid=18859] ppid=18857 vsize=285444 CPUtime=0.08 cores=0,2,4,6
/proc/18859/stat : 18859 (strangenight1-m) R 18857 18859 18485 0 -1 4202496 4118 0 0 0 7 1 0 0 18 0 4 0 529823023 292294656 3902 33554432000 4194304 4650419 140736672538896 18446744073709551615 246516495045 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18859/statm: 71361 3910 343 112 0 66326 0
[pid=18859/tid=18860] ppid=18857 vsize=285444 CPUtime=0.01 cores=0,2,4,6
/proc/18859/task/18860/stat : 18860 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 884 0 0 0 1 0 0 0 18 0 4 0 529823023 292294656 3921 33554432000 4194304 4650419 140736672538896 18446744073709551615 246516495393 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18859/tid=18861] ppid=18857 vsize=285444 CPUtime=0.01 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (strangenight1-m) D 18857 18859 18485 0 -1 4202560 916 0 0 0 1 0 0 0 18 0 4 0 529823023 292294656 3924 33554432000 4194304 4650419 140736672538896 18446744073709551615 246516877495 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18859/tid=18862] ppid=18857 vsize=285576 CPUtime=0.01 cores=0,2,4,6
/proc/18859/task/18862/stat : 18862 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 926 0 0 0 1 0 0 0 18 0 4 0 529823023 292429824 3937 33554432000 4194304 4650419 140736672538896 18446744073709551615 246516877495 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 285444

[startup+0.101455 s]
/proc/loadavg: 8.12 7.57 7.72 5/184 18859
/proc/meminfo: memFree=28900028/32951124 swapFree=67102748/67111528
[pid=18859] ppid=18857 vsize=293400 CPUtime=0.36 cores=0,2,4,6
/proc/18859/stat : 18859 (strangenight1-m) R 18857 18859 18485 0 -1 4202496 11685 0 0 0 30 6 0 0 18 0 4 0 529823023 300441600 11457 33554432000 4194304 4650419 140736672538896 18446744073709551615 246516877495 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18859/statm: 73515 11967 371 112 0 68480 0
[pid=18859/tid=18860] ppid=18857 vsize=294456 CPUtime=0.09 cores=0,2,4,6
/proc/18859/task/18860/stat : 18860 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 3127 0 0 0 8 1 0 0 18 0 4 0 529823023 301522944 12269 33554432000 4194304 4650419 140736672538896 18446744073709551615 4369075 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18859/tid=18861] ppid=18857 vsize=294720 CPUtime=0.09 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (strangenight1-m) D 18857 18859 18485 0 -1 4202560 3031 0 0 0 8 1 0 0 18 0 4 0 529823023 301793280 12410 33554432000 4194304 4650419 140736672538896 18446744073709551615 246516495393 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18859/tid=18862] ppid=18857 vsize=295116 CPUtime=0.09 cores=0,2,4,6
/proc/18859/task/18862/stat : 18862 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 2772 0 0 0 8 1 0 0 18 0 4 0 529823023 302198784 12712 33554432000 4194304 4650419 140736672538896 18446744073709551615 246516877495 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 293400

[startup+0.423602 s]
/proc/loadavg: 8.12 7.57 7.72 5/184 18859
/proc/meminfo: memFree=28900028/32951124 swapFree=67102748/67111528
[pid=18859] ppid=18857 vsize=307388 CPUtime=1.63 cores=0,2,4,6
/proc/18859/stat : 18859 (strangenight1-m) R 18857 18859 18485 0 -1 4202496 20147 0 0 0 155 8 0 0 18 0 4 0 529823023 314765312 19920 33554432000 4194304 4650419 140736672538896 18446744073709551615 246516530955 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18859/statm: 76847 19938 387 112 0 71812 0
[pid=18859/tid=18860] ppid=18857 vsize=307388 CPUtime=0.4 cores=0,2,4,6
/proc/18859/task/18860/stat : 18860 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 5037 0 0 0 38 2 0 0 18 0 4 0 529823023 314765312 19939 33554432000 4194304 4650419 140736672538896 18446744073709551615 4476812 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18859/tid=18861] ppid=18857 vsize=307388 CPUtime=0.4 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 5466 0 0 0 38 2 0 0 18 0 4 0 529823023 314765312 19939 33554432000 4194304 4650419 140736672538896 18446744073709551615 246516939246 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18859/tid=18862] ppid=18857 vsize=307388 CPUtime=0.39 cores=0,2,4,6
/proc/18859/task/18862/stat : 18862 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 3563 0 0 0 38 1 0 0 18 0 4 0 529823023 314765312 19940 33554432000 4194304 4650419 140736672538896 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 307388

[startup+0.700941 s]
/proc/loadavg: 8.12 7.57 7.72 5/184 18859
/proc/meminfo: memFree=28900028/32951124 swapFree=67102748/67111528
[pid=18859] ppid=18857 vsize=317480 CPUtime=2.74 cores=0,2,4,6
/proc/18859/stat : 18859 (strangenight1-m) R 18857 18859 18485 0 -1 4202496 25503 0 0 0 264 10 0 0 18 0 4 0 529823023 325099520 24464 33554432000 4194304 4650419 140736672538896 18446744073709551615 4364849 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18859/statm: 79370 24464 392 112 0 74335 0
[pid=18859/tid=18860] ppid=18857 vsize=317480 CPUtime=0.68 cores=0,2,4,6
/proc/18859/task/18860/stat : 18860 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 6869 0 0 0 65 3 0 0 18 0 4 0 529823023 325099520 24464 33554432000 4194304 4650419 140736672538896 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18859/tid=18861] ppid=18857 vsize=317480 CPUtime=0.67 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 6874 0 0 0 65 2 0 0 18 0 4 0 529823023 325099520 24464 33554432000 4194304 4650419 140736672538896 18446744073709551615 4333649 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18859/tid=18862] ppid=18857 vsize=317480 CPUtime=0.67 cores=0,2,4,6
/proc/18859/task/18862/stat : 18862 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 4236 0 0 0 66 1 0 0 18 0 4 0 529823023 325099520 24464 33554432000 4194304 4650419 140736672538896 18446744073709551615 4363750 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 317480

[startup+1.5008 s]
/proc/loadavg: 8.19 7.59 7.72 9/188 18863
/proc/meminfo: memFree=28792116/32951124 swapFree=67102748/67111528
[pid=18859] ppid=18857 vsize=327932 CPUtime=5.94 cores=0,2,4,6
/proc/18859/stat : 18859 (strangenight1-m) R 18857 18859 18485 0 -1 4202496 31484 0 0 0 583 11 0 0 19 0 4 0 529823023 335802368 25626 33554432000 4194304 4650419 140736672538896 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18859/statm: 81983 25626 392 112 0 76948 0
[pid=18859/tid=18860] ppid=18857 vsize=327932 CPUtime=1.47 cores=0,2,4,6
/proc/18859/task/18860/stat : 18860 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 8412 0 0 0 144 3 0 0 19 0 4 0 529823023 335802368 25626 33554432000 4194304 4650419 140736672538896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18859/tid=18861] ppid=18857 vsize=327932 CPUtime=1.46 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 7858 0 0 0 144 2 0 0 20 0 4 0 529823023 335802368 25626 33554432000 4194304 4650419 140736672538896 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18859/tid=18862] ppid=18857 vsize=327932 CPUtime=1.47 cores=0,2,4,6
/proc/18859/task/18862/stat : 18862 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 6307 0 0 0 146 1 0 0 19 0 4 0 529823023 335802368 25626 33554432000 4194304 4650419 140736672538896 18446744073709551615 4328474 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 327932

[startup+3.1005 s]
/proc/loadavg: 8.19 7.59 7.72 9/188 18863
/proc/meminfo: memFree=28778228/32951124 swapFree=67102748/67111528
[pid=18859] ppid=18857 vsize=309772 CPUtime=12.33 cores=0,2,4,6
/proc/18859/stat : 18859 (strangenight1-m) R 18857 18859 18485 0 -1 4202496 42072 0 0 0 1220 13 0 0 25 0 4 0 529823023 317206528 29032 33554432000 4194304 4650419 140736672538896 18446744073709551615 4361062 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18859/statm: 77443 29032 393 112 0 72408 0
[pid=18859/tid=18860] ppid=18857 vsize=309772 CPUtime=3.08 cores=0,2,4,6
/proc/18859/task/18860/stat : 18860 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 11564 0 0 0 304 4 0 0 25 0 4 0 529823023 317206528 29032 33554432000 4194304 4650419 140736672538896 18446744073709551615 4363754 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18859/tid=18861] ppid=18857 vsize=309772 CPUtime=3.06 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 9506 0 0 0 303 3 0 0 25 0 4 0 529823023 317206528 29032 33554432000 4194304 4650419 140736672538896 18446744073709551615 4363738 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18859/tid=18862] ppid=18857 vsize=309772 CPUtime=3.07 cores=0,2,4,6
/proc/18859/task/18862/stat : 18862 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 9416 0 0 0 305 2 0 0 25 0 4 0 529823023 317206528 29032 33554432000 4194304 4650419 140736672538896 18446744073709551615 4361036 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 309772

[startup+6.30092 s]
/proc/loadavg: 8.19 7.59 7.72 9/188 18863
/proc/meminfo: memFree=28714500/32951124 swapFree=67102748/67111528
[pid=18859] ppid=18857 vsize=339872 CPUtime=25.1 cores=0,2,4,6
/proc/18859/stat : 18859 (strangenight1-m) R 18857 18859 18485 0 -1 4202496 66823 0 0 0 2494 16 0 0 25 0 4 0 529823023 348028928 47271 33554432000 4194304 4650419 140736672538896 18446744073709551615 4439344 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18859/statm: 84968 47271 394 112 0 79933 0
[pid=18859/tid=18860] ppid=18857 vsize=339872 CPUtime=6.28 cores=0,2,4,6
/proc/18859/task/18860/stat : 18860 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 18307 0 0 0 623 5 0 0 25 0 4 0 529823023 348028928 47271 33554432000 4194304 4650419 140736672538896 18446744073709551615 4436163 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18859/tid=18861] ppid=18857 vsize=339872 CPUtime=6.24 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 15390 0 0 0 621 3 0 0 25 0 4 0 529823023 348028928 47271 33554432000 4194304 4650419 140736672538896 18446744073709551615 4436434 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18859/tid=18862] ppid=18857 vsize=339872 CPUtime=6.27 cores=0,2,4,6
/proc/18859/task/18862/stat : 18862 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 15851 0 0 0 624 3 0 0 25 0 4 0 529823023 348028928 47271 33554432000 4194304 4650419 140736672538896 18446744073709551615 4439371 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 339872

[startup+12.7007 s]
/proc/loadavg: 8.32 7.64 7.74 9/188 18863
/proc/meminfo: memFree=28602588/32951124 swapFree=67102748/67111528
[pid=18859] ppid=18857 vsize=446332 CPUtime=50.67 cores=0,2,4,6
/proc/18859/stat : 18859 (strangenight1-m) R 18857 18859 18485 0 -1 4202496 88269 0 0 0 5047 20 0 0 25 0 4 0 529823023 457043968 62475 33554432000 4194304 4650419 140736672538896 18446744073709551615 4439619 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18859/statm: 111583 62475 394 112 0 106548 0
[pid=18859/tid=18860] ppid=18857 vsize=446332 CPUtime=12.68 cores=0,2,4,6
/proc/18859/task/18860/stat : 18860 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 24139 0 0 0 1262 6 0 0 25 0 4 0 529823023 457043968 62475 33554432000 4194304 4650419 140736672538896 18446744073709551615 4310883 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18859/tid=18861] ppid=18857 vsize=446332 CPUtime=12.6 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 21936 0 0 0 1256 4 0 0 25 0 4 0 529823023 457043968 62475 33554432000 4194304 4650419 140736672538896 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18859/tid=18862] ppid=18857 vsize=446332 CPUtime=12.67 cores=0,2,4,6
/proc/18859/task/18862/stat : 18862 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 21309 0 0 0 1263 4 0 0 25 0 4 0 529823023 457043968 62475 33554432000 4194304 4650419 140736672538896 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 446332

[startup+25.5064 s]
/proc/loadavg: 8.27 7.65 7.74 9/188 18863
/proc/meminfo: memFree=28477100/32951124 swapFree=67102748/67111528
[pid=18859] ppid=18857 vsize=517936 CPUtime=101.82 cores=0,2,4,6
/proc/18859/stat : 18859 (strangenight1-m) R 18857 18859 18485 0 -1 4202496 127049 0 0 0 10154 28 0 0 25 0 4 0 529823023 530366464 80445 33554432000 4194304 4650419 140736672538896 18446744073709551615 4303950 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18859/statm: 129484 80445 394 112 0 124449 0
[pid=18859/tid=18860] ppid=18857 vsize=517936 CPUtime=25.48 cores=0,2,4,6
/proc/18859/task/18860/stat : 18860 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 34349 0 0 0 2540 8 0 0 25 0 4 0 529823023 530366464 80445 33554432000 4194304 4650419 140736672538896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18859/tid=18861] ppid=18857 vsize=517936 CPUtime=25.34 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 29065 0 0 0 2528 6 0 0 25 0 4 0 529823023 530366464 80445 33554432000 4194304 4650419 140736672538896 18446744073709551615 4313339 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18859/tid=18862] ppid=18857 vsize=517936 CPUtime=25.47 cores=0,2,4,6
/proc/18859/task/18862/stat : 18862 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 34979 0 0 0 2541 6 0 0 25 0 4 0 529823023 530366464 80445 33554432000 4194304 4650419 140736672538896 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 517936

[startup+51.1007 s]
/proc/loadavg: 8.18 7.67 7.74 9/188 18864
/proc/meminfo: memFree=28272440/32951124 swapFree=67102748/67111528
[pid=18859] ppid=18857 vsize=641820 CPUtime=204.06 cores=0,2,4,6
/proc/18859/stat : 18859 (strangenight1-m) R 18857 18859 18485 0 -1 4202496 200882 0 0 0 20363 43 0 0 25 0 4 0 529823023 657223680 104806 33554432000 4194304 4650419 140736672538896 18446744073709551615 4439641 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18859/statm: 160455 104806 394 112 0 155420 0
[pid=18859/tid=18860] ppid=18857 vsize=641820 CPUtime=51.08 cores=0,2,4,6
/proc/18859/task/18860/stat : 18860 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 45501 0 0 0 5097 11 0 0 25 0 4 0 529823023 657223680 104806 33554432000 4194304 4650419 140736672538896 18446744073709551615 4366950 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18859/tid=18861] ppid=18857 vsize=641820 CPUtime=50.8 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 48989 0 0 0 5070 10 0 0 25 0 4 0 529823023 657223680 104806 33554432000 4194304 4650419 140736672538896 18446744073709551615 4354992 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18859/tid=18862] ppid=18857 vsize=641820 CPUtime=51.07 cores=0,2,4,6
/proc/18859/task/18862/stat : 18862 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 60436 0 0 0 5095 12 0 0 25 0 4 0 529823023 657223680 104806 33554432000 4194304 4650419 140736672538896 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.06
Current children cumulated vsize (KiB) 641820

[startup+102.3 s]
/proc/loadavg: 8.19 7.77 7.77 9/188 18865
/proc/meminfo: memFree=28140212/32951124 swapFree=67102748/67111528
[pid=18859] ppid=18857 vsize=750900 CPUtime=408.59 cores=0,2,4,6
/proc/18859/stat : 18859 (strangenight1-m) R 18857 18859 18485 0 -1 4202496 318998 0 0 0 40786 73 0 0 25 0 4 0 529823023 768921600 143641 33554432000 4194304 4650419 140736672538896 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18859/statm: 187725 143641 394 112 0 182690 0
[pid=18859/tid=18860] ppid=18857 vsize=750900 CPUtime=102.27 cores=0,2,4,6
/proc/18859/task/18860/stat : 18860 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 70187 0 0 0 10210 17 0 0 25 0 4 0 529823023 768921600 143641 33554432000 4194304 4650419 140736672538896 18446744073709551615 4439641 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18859/tid=18861] ppid=18857 vsize=750900 CPUtime=101.73 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 82991 0 0 0 10155 18 0 0 25 0 4 0 529823023 768921600 143641 33554432000 4194304 4650419 140736672538896 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18859/tid=18862] ppid=18857 vsize=750900 CPUtime=102.28 cores=0,2,4,6
/proc/18859/task/18862/stat : 18862 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 103666 0 0 0 10205 23 0 0 25 0 4 0 529823023 768921600 143641 33554432000 4194304 4650419 140736672538896 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.59
Current children cumulated vsize (KiB) 750900

[startup+162.3 s]

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

[pid=18859] ppid=18857 vsize=1428964 CPUtime=2805.32 cores=0,2,4,6
/proc/18859/stat : 18859 (strangenight1-m) R 18857 18859 18485 0 -1 4202496 1443769 0 0 0 280170 362 0 0 25 0 4 0 529823023 1463259136 253791 33554432000 4194304 4650419 140736672538896 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18859/statm: 357241 253791 394 112 0 352206 0
[pid=18859/tid=18860] ppid=18857 vsize=1428964 CPUtime=702.27 cores=0,2,4,6
/proc/18859/task/18860/stat : 18860 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 294467 0 0 0 70143 84 0 0 25 0 4 0 529823023 1463259136 253791 33554432000 4194304 4650419 140736672538896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18859/tid=18861] ppid=18857 vsize=1428964 CPUtime=698.45 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 439890 0 0 0 69742 103 0 0 25 0 4 0 529823023 1463259136 253791 33554432000 4194304 4650419 140736672538896 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18859/tid=18862] ppid=18857 vsize=1428964 CPUtime=702.28 cores=0,2,4,6
/proc/18859/task/18862/stat : 18862 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 503990 0 0 0 70113 115 0 0 25 0 4 0 529823023 1463259136 253791 33554432000 4194304 4650419 140736672538896 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2805.32
Current children cumulated vsize (KiB) 1428964

[startup+762.301 s]
/proc/loadavg: 8.24 8.19 8.00 10/188 18892
/proc/meminfo: memFree=27180200/32951124 swapFree=67102748/67111528
[pid=18859] ppid=18857 vsize=1322580 CPUtime=3045 cores=0,2,4,6
/proc/18859/stat : 18859 (strangenight1-m) R 18857 18859 18485 0 -1 4202496 1537022 0 0 0 304112 388 0 0 25 0 4 0 529823023 1354321920 271455 33554432000 4194304 4650419 140736672538896 18446744073709551615 4303950 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18859/statm: 330645 271455 394 112 0 325610 0
[pid=18859/tid=18860] ppid=18857 vsize=1322580 CPUtime=762.27 cores=0,2,4,6
/proc/18859/task/18860/stat : 18860 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 315324 0 0 0 76137 90 0 0 25 0 4 0 529823023 1354321920 271455 33554432000 4194304 4650419 140736672538896 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18859/tid=18861] ppid=18857 vsize=1322580 CPUtime=758.12 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 466197 0 0 0 75702 110 0 0 25 0 4 0 529823023 1354321920 271455 33554432000 4194304 4650419 140736672538896 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18859/tid=18862] ppid=18857 vsize=1322580 CPUtime=762.28 cores=0,2,4,6
/proc/18859/task/18862/stat : 18862 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 531212 0 0 0 76106 122 0 0 25 0 4 0 529823023 1354321920 271455 33554432000 4194304 4650419 140736672538896 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3045
Current children cumulated vsize (KiB) 1322580

[startup+822.301 s]
/proc/loadavg: 8.24 8.20 8.01 10/189 18897
/proc/meminfo: memFree=27124692/32951124 swapFree=67102748/67111528
[pid=18859] ppid=18857 vsize=1443464 CPUtime=3284.51 cores=0,2,4,6
/proc/18859/stat : 18859 (strangenight1-m) R 18857 18859 18485 0 -1 4202496 1603000 0 0 0 328043 408 0 0 25 0 4 0 529823023 1478107136 273816 33554432000 4194304 4650419 140736672538896 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18859/statm: 360866 273816 394 112 0 355831 0
[pid=18859/tid=18860] ppid=18857 vsize=1443464 CPUtime=822.12 cores=0,2,4,6
/proc/18859/task/18860/stat : 18860 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 331073 0 0 0 82116 96 0 0 25 0 4 0 529823023 1478107136 273816 33554432000 4194304 4650419 140736672538896 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18859/tid=18861] ppid=18857 vsize=1443464 CPUtime=817.8 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 483225 0 0 0 81664 116 0 0 25 0 4 0 529823023 1478107136 273816 33554432000 4194304 4650419 140736672538896 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18859/tid=18862] ppid=18857 vsize=1443464 CPUtime=822.27 cores=0,2,4,6
/proc/18859/task/18862/stat : 18862 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 549864 0 0 0 82100 127 0 0 25 0 4 0 529823023 1478107136 273816 33554432000 4194304 4650419 140736672538896 18446744073709551615 4438551 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3284.51
Current children cumulated vsize (KiB) 1443464

[startup+882.301 s]
/proc/loadavg: 8.23 8.22 8.02 9/188 18898
/proc/meminfo: memFree=27083212/32951124 swapFree=67102748/67111528
[pid=18859] ppid=18857 vsize=1511500 CPUtime=3523.55 cores=0,2,4,6
/proc/18859/stat : 18859 (strangenight1-m) R 18857 18859 18485 0 -1 4202496 1673895 0 0 0 351926 429 0 0 25 0 4 0 529823023 1547776000 278641 33554432000 4194304 4650419 140736672538896 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18859/statm: 377875 278641 394 112 0 372840 0
[pid=18859/tid=18860] ppid=18857 vsize=1511500 CPUtime=882.13 cores=0,2,4,6
/proc/18859/task/18860/stat : 18860 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 348461 0 0 0 88108 105 0 0 25 0 4 0 529823023 1547776000 278641 33554432000 4194304 4650419 140736672538896 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18859/tid=18861] ppid=18857 vsize=1511500 CPUtime=876.81 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 489564 0 0 0 87562 119 0 0 25 0 4 0 529823023 1547776000 278641 33554432000 4194304 4650419 140736672538896 18446744073709551615 4476356 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18859/tid=18862] ppid=18857 vsize=1511500 CPUtime=882.28 cores=0,2,4,6
/proc/18859/task/18862/stat : 18862 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 589585 0 0 0 88096 132 0 0 25 0 4 0 529823023 1547776000 278641 33554432000 4194304 4650419 140736672538896 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3523.55
Current children cumulated vsize (KiB) 1511500

[startup+942.301 s]
/proc/loadavg: 8.08 8.17 8.02 9/188 18900
/proc/meminfo: memFree=27001944/32951124 swapFree=67102748/67111528
[pid=18859] ppid=18857 vsize=1505716 CPUtime=3763.21 cores=0,2,4,6
/proc/18859/stat : 18859 (strangenight1-m) R 18857 18859 18485 0 -1 4202496 1963369 0 0 0 375844 477 0 0 25 0 4 0 529823023 1541853184 277560 33554432000 4194304 4650419 140736672538896 18446744073709551615 4365246 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18859/statm: 376429 277560 394 112 0 371394 0
[pid=18859/tid=18860] ppid=18857 vsize=1505716 CPUtime=942.12 cores=0,2,4,6
/proc/18859/task/18860/stat : 18860 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 370540 0 0 0 94100 112 0 0 25 0 4 0 529823023 1541853184 277560 33554432000 4194304 4650419 140736672538896 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18859/tid=18861] ppid=18857 vsize=1505716 CPUtime=936.49 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 499052 0 0 0 93527 122 0 0 25 0 4 0 529823023 1541853184 277560 33554432000 4194304 4650419 140736672538896 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18859/tid=18862] ppid=18857 vsize=1505716 CPUtime=942.27 cores=0,2,4,6
/proc/18859/task/18862/stat : 18862 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 834948 0 0 0 94061 166 0 0 25 0 4 0 529823023 1541853184 277560 33554432000 4194304 4650419 140736672538896 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3763.21
Current children cumulated vsize (KiB) 1505716

[startup+1002.31 s]
/proc/loadavg: 6.53 7.79 7.89 6/179 18919
/proc/meminfo: memFree=28862164/32951124 swapFree=67102748/67111528
[pid=18859] ppid=18857 vsize=1439460 CPUtime=4002.9 cores=0,2,4,6
/proc/18859/stat : 18859 (strangenight1-m) R 18857 18859 18485 0 -1 4202496 2023722 0 0 0 399791 499 0 0 25 0 4 0 529823023 1474007040 276275 33554432000 4194304 4650419 140736672538896 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18859/statm: 359865 276275 394 112 0 354830 0
[pid=18859/tid=18860] ppid=18857 vsize=1439460 CPUtime=1002.13 cores=0,2,4,6
/proc/18859/task/18860/stat : 18860 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 385874 0 0 0 100095 118 0 0 25 0 4 0 529823023 1474007040 276275 33554432000 4194304 4650419 140736672538896 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18859/tid=18861] ppid=18857 vsize=1439460 CPUtime=996.16 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 520462 0 0 0 99487 129 0 0 25 0 4 0 529823023 1474007040 276275 33554432000 4194304 4650419 140736672538896 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18859/tid=18862] ppid=18857 vsize=1439460 CPUtime=1002.28 cores=0,2,4,6
/proc/18859/task/18862/stat : 18862 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 857058 0 0 0 100054 174 0 0 25 0 4 0 529823023 1474007040 276275 33554432000 4194304 4650419 140736672538896 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4002.9
Current children cumulated vsize (KiB) 1439460

[startup+1062.3 s]
/proc/loadavg: 5.04 7.12 7.66 5/179 18921
/proc/meminfo: memFree=28776580/32951124 swapFree=67102748/67111528
[pid=18859] ppid=18857 vsize=1512912 CPUtime=4242.55 cores=0,2,4,6
/proc/18859/stat : 18859 (strangenight1-m) R 18857 18859 18485 0 -1 4202496 2222723 0 0 0 423706 549 0 0 25 0 4 0 529823023 1549221888 297964 33554432000 4194304 4650419 140736672538896 18446744073709551615 4443768 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18859/statm: 378228 297964 394 112 0 373193 0
[pid=18859/tid=18860] ppid=18857 vsize=1512912 CPUtime=1062.12 cores=0,2,4,6
/proc/18859/task/18860/stat : 18860 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 540161 0 0 0 106063 149 0 0 25 0 4 0 529823023 1549221888 297964 33554432000 4194304 4650419 140736672538896 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18859/tid=18861] ppid=18857 vsize=1512912 CPUtime=1055.83 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 543136 0 0 0 105445 138 0 0 25 0 4 0 529823023 1549221888 297964 33554432000 4194304 4650419 140736672538896 18446744073709551615 4363709 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18859/tid=18862] ppid=18857 vsize=1512912 CPUtime=1062.26 cores=0,2,4,6
/proc/18859/task/18862/stat : 18862 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 879098 0 0 0 106042 184 0 0 25 0 4 0 529823023 1549221888 297964 33554432000 4194304 4650419 140736672538896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4242.55
Current children cumulated vsize (KiB) 1512912

[startup+1122.3 s]
/proc/loadavg: 4.45 6.57 7.43 6/179 18923
/proc/meminfo: memFree=28678108/32951124 swapFree=67102748/67111528
[pid=18859] ppid=18857 vsize=1704032 CPUtime=4482.23 cores=0,2,4,6
/proc/18859/stat : 18859 (strangenight1-m) R 18857 18859 18485 0 -1 4202496 2294891 0 0 0 447648 575 0 0 25 0 4 0 529823023 1744928768 322274 33554432000 4194304 4650419 140736672538896 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18859/statm: 426008 322274 394 112 0 420973 0
[pid=18859/tid=18860] ppid=18857 vsize=1704032 CPUtime=1122.13 cores=0,2,4,6
/proc/18859/task/18860/stat : 18860 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 556327 0 0 0 112058 155 0 0 25 0 4 0 529823023 1744928768 322274 33554432000 4194304 4650419 140736672538896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18859/tid=18861] ppid=18857 vsize=1704032 CPUtime=1115.51 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 566396 0 0 0 111406 145 0 0 25 0 4 0 529823023 1744928768 322274 33554432000 4194304 4650419 140736672538896 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18859/tid=18862] ppid=18857 vsize=1704032 CPUtime=1122.26 cores=0,2,4,6
/proc/18859/task/18862/stat : 18862 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 897325 0 0 0 112035 191 0 0 25 0 4 0 529823023 1744928768 322274 33554432000 4194304 4650419 140736672538896 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4482.23
Current children cumulated vsize (KiB) 1704032

[startup+1182.3 s]
/proc/loadavg: 4.38 6.16 7.24 5/179 18924
/proc/meminfo: memFree=28676600/32951124 swapFree=67102748/67111528
[pid=18859] ppid=18857 vsize=1601968 CPUtime=4721.9 cores=0,2,4,6
/proc/18859/stat : 18859 (strangenight1-m) R 18857 18859 18485 0 -1 4202496 2561577 0 0 0 471554 636 0 0 25 0 4 0 529823023 1640415232 322311 33554432000 4194304 4650419 140736672538896 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18859/statm: 400492 322311 394 112 0 395457 0
[pid=18859/tid=18860] ppid=18857 vsize=1601968 CPUtime=1182.13 cores=0,2,4,6
/proc/18859/task/18860/stat : 18860 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 570514 0 0 0 118050 163 0 0 25 0 4 0 529823023 1640415232 322311 33554432000 4194304 4650419 140736672538896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18859/tid=18861] ppid=18857 vsize=1601968 CPUtime=1175.19 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 799500 0 0 0 117330 189 0 0 25 0 4 0 529823023 1640415232 322311 33554432000 4194304 4650419 140736672538896 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18859/tid=18862] ppid=18857 vsize=1601968 CPUtime=1182.25 cores=0,2,4,6
/proc/18859/task/18862/stat : 18862 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 897325 0 0 0 118034 191 0 0 25 0 4 0 529823023 1640415232 322311 33554432000 4194304 4650419 140736672538896 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4721.9
Current children cumulated vsize (KiB) 1601968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 4.27 6.02 7.16 5/179 18925
/proc/meminfo: memFree=28635552/32951124 swapFree=67102748/67111528
[pid=18859] ppid=18857 vsize=1733056 CPUtime=4800.2 cores=0,2,4,6
/proc/18859/stat : 18859 (strangenight1-m) R 18857 18859 18485 0 -1 4202496 2703188 0 0 0 479356 664 0 0 25 0 4 0 529823023 1774649344 332754 33554432000 4194304 4650419 140736672538896 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18859/statm: 433264 332755 394 112 0 428229 0
[pid=18859/tid=18860] ppid=18857 vsize=1733056 CPUtime=1201.74 cores=0,2,4,6
/proc/18859/task/18860/stat : 18860 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 573303 0 0 0 120009 165 0 0 25 0 4 0 529823023 1774649344 332755 33554432000 4194304 4650419 140736672538896 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18859/tid=18861] ppid=18857 vsize=1733056 CPUtime=1194.68 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 934331 0 0 0 119256 212 0 0 25 0 4 0 529823023 1774649344 332755 33554432000 4194304 4650419 140736672538896 18446744073709551615 4363690 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18859/tid=18862] ppid=18857 vsize=1733056 CPUtime=1201.85 cores=0,2,4,6
/proc/18859/task/18862/stat : 18862 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 897325 0 0 0 119994 191 0 0 25 0 4 0 529823023 1774649344 332755 33554432000 4194304 4650419 140736672538896 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 1733056

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

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

[startup+1201.9 s]
/proc/loadavg: 4.27 6.02 7.16 5/179 18925
/proc/meminfo: memFree=28635552/32951124 swapFree=67102748/67111528
[pid=18859] ppid=18857 vsize=1733056 CPUtime=4800.2 cores=0,2,4,6
/proc/18859/stat : 18859 (strangenight1-m) R 18857 18859 18485 0 -1 4202496 2703188 0 0 0 479356 664 0 0 25 0 4 0 529823023 1774649344 332754 33554432000 4194304 4650419 140736672538896 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18859/statm: 433264 332755 394 112 0 428229 0
[pid=18859/tid=18860] ppid=18857 vsize=1733056 CPUtime=1201.74 cores=0,2,4,6
/proc/18859/task/18860/stat : 18860 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 573303 0 0 0 120009 165 0 0 25 0 4 0 529823023 1774649344 332755 33554432000 4194304 4650419 140736672538896 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18859/tid=18861] ppid=18857 vsize=1733056 CPUtime=1194.68 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 934331 0 0 0 119256 212 0 0 25 0 4 0 529823023 1774649344 332755 33554432000 4194304 4650419 140736672538896 18446744073709551615 4363690 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18859/tid=18862] ppid=18857 vsize=1733056 CPUtime=1201.85 cores=0,2,4,6
/proc/18859/task/18862/stat : 18862 (strangenight1-m) R 18857 18859 18485 0 -1 4202560 897325 0 0 0 119994 191 0 0 25 0 4 0 529823023 1774649344 332755 33554432000 4194304 4650419 140736672538896 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 1733056

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.97
CPU time (s): 4800.29
CPU user time (s): 4793.58
CPU system time (s): 6.70598
CPU usage (%): 399.367
Max. virtual memory (cumulated for all children) (KiB): 1735480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.58
system time used= 6.70598
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2703192
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= 5845
involuntary context switches= 69566

runsolver used 1.85772 second user time and 4.71328 second system time

The end

Launcher Data 

Begin job on node134 at 2011-04-30 18:50:48
IDJOB=3251111
IDBENCH=88211
IDSOLVER=1588
FILE ID=node134/3251111-1304182248
RUNJOBID= node134-1304181043-18503
PBS_JOBID= 13172461
Free space on /tmp= 72488 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3251111-1304182248/watcher-3251111-1304182248 -o /tmp/evaluation-result-3251111-1304182248/solver-3251111-1304182248 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3251111-1304182248.cnf

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

MD5SUM BENCH= ba3b1702a651cd8da3e6cada8f2e97bc
RANDOM SEED=996345881

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28900192 kB
Buffers:       1040976 kB
Cached:        1502284 kB
SwapCached:       4632 kB
Active:        1283836 kB
Inactive:      2366428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28900192 kB
SwapTotal:    67111528 kB
SwapFree:     67102748 kB
Dirty:           11292 kB
Writeback:           0 kB
AnonPages:     1103664 kB
Mapped:          15564 kB
Slab:           335728 kB
PageTables:       7432 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1411456 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72500 MiB
End job on node134 at 2011-04-30 19:10:52