Trace number 3366200

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v35000-c147000-S648642831-094-UNKNOWN.cnf
MD5SUM4a57833314362e0939d4095b3206ad82
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark378.192
Satisfiable
(Un)Satisfiability was proved
Number of variables35000
Number of clauses147000
Sum of the clauses size441000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3147000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366200-1305398554.cnf'
0.00/0.01	c -- header says num vars:          35000
0.00/0.01	c -- header says num clauses:      147000
1.20/0.41	c -- clauses added:            0 learnts,       147000 normals,            0 xors
1.20/0.41	c -- vars added      35000
1.20/0.41	c Parsing time:  0.08 s
1.20/0.41	c  N st     0         0     35000    147000         0         0    441000         0   no data   no data
1.20/0.41	c asymm  cl-useful: 0/147000/147000 lits-rem:0 time: 0.14
1.20/0.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.04
1.20/0.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.20/0.47	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.20/0.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.20/0.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  35000 time:  0.01 s
1.20/0.47	c Removed useless bin:       0  fixed:     0  props:   0.34M  time:  0.01 s
2.26/1.24	c lits-rem:         0  cl-subs:        0  v-elim:    894  v-fix:    0  time:  0.25 s
2.26/1.24	c Finding binary XORs  T:     0.01 s  found:       0
2.26/1.24	c Finding non-binary XORs:     0.05 s (found:       0, avg size: nan)
2.26/1.24	c calculated reachability. Time: 0.00
2.26/1.24	c Calc default polars -  time:   0.01 s pos:   15427 undec:    3847 neg:   15726
2.26/1.24	c =========================================================================================
2.26/1.24	c types(t): F = full restart, N = normal restart
2.26/1.24	c types(t): S = simplification begin/end, E = solution found
2.26/1.24	c restart types(rt): st = static, dy = dynamic
2.26/1.24	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.26/1.24	c  B st     0         0     34106    145968         0         0    443386         0   no data   no data
10.26/2.69	c  N dy    21      4081     34106    145968         0      4081    443386   1119539    165.87    175.13
17.83/4.57	c  N dy    49      8083     34106    145968         0      8083    443386   2129038    166.08    174.82
25.40/6.46	c  N dy    75     12096     34106    145968         0     12096    443386   3162486    166.74    179.07
33.44/8.43	c  N dy   103     16125     34106    145968         0     16125    443386   4172995    167.11    196.05
41.37/10.46	c  N dy   131     20172     34106    145968         0     10180    443386    713552    167.01    181.60
48.94/12.34	c  N dy   154     24182     34106    145968         0     14190    443386   1692555    165.74    176.38
50.56/12.75	c  F st   161     25001     34106    145968         0     15009    443386   1914217    165.96   no data
57.32/14.47	c  N st   166     28298     34106    145968         0     18304    443386   3087131    165.96   no data
60.91/15.38	c  S st   167     30002     34106    145968         0     20008    443386   3784195    165.96   no data
62.11/15.63	c  S st   167     30505     34106    145968         0     20511    443386   3871983    165.96   no data
62.11/15.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
62.51/15.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.09
62.51/15.79	c blocked clauses removed:      677 vars:    110 tried:       34106 T: 0.02 s
62.91/15.80	c bin-w-bin subsume rem            0 bins  time:  0.01 s
62.91/15.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
62.91/15.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33996 time:  0.01 s
62.91/15.84	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.01 s
63.72/16.01	c lits-rem:         0  cl-subs:        0  v-elim:     20  v-fix:    0  time:  0.17 s
64.89/16.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
69.27/17.40	c lits-rem:         5  cl-subs:        6  v-elim:      0  v-fix:    0  time:  0.96 s
69.67/17.57	c asymm  cl-useful: 0/145276/145276 lits-rem:0 time: 0.17
69.67/17.58	c calculated reachability. Time: 0.00
69.67/17.58	c  N dy   167     30505     33976    145276         0     20266    441435   3761482    165.96   no data
78.06/19.65	c  N dy   196     34525     33976    145276         0     24285    441435   4767894    166.14    205.14
86.82/21.83	c  N dy   225     38550     33976    145276         0     28310    441435   5804077    166.56    186.33
95.20/23.98	c  N dy   250     42703     33976    145276         0     17081    441435   1193529    165.93    176.00
101.58/25.51	c  S st   273     45760     33976    145276         0     20138    441435   1961113    165.93    129.55
102.38/25.77	c  S st   273     46265     33976    145276         0     20643    441435   2081353    165.93   no data
102.38/25.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
102.79/25.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.09
103.20/25.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
103.20/25.93	c bin-w-bin subsume rem            0 bins  time:  0.01 s
103.20/25.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
103.20/25.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33976 time:  0.01 s
103.20/25.97	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
103.97/26.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
104.37/26.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
105.57/26.57	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.29 s
105.97/26.60	c vivif2 --  cl tried   145276 cl shrink        0 lits rem          0 time: 0.02
105.97/26.64	c vivif2 --  cl tried    20643 cl shrink        0 lits rem          0 time: 0.04
106.77/26.81	c asymm  cl-useful: 0/145276/145276 lits-rem:0 time: 0.18
106.77/26.82	c calculated reachability. Time: 0.00
106.77/26.82	c  N dy   273     46265     33976    145276         0     20643    441435   2081352    165.93   no data
115.14/28.92	c  N dy   303     50325     33976    145276         0     24703    441435   3120192    166.14    180.91
123.52/31.03	c  N dy   328     54427     33976    145276         0     28805    441435   4175325    165.83    182.79
132.28/33.22	c  N dy   355     58599     33976    145276         0     32977    441435   5236536    166.03    176.08
140.66/35.39	c  N dy   383     62688     33976    145276         0     37065    441435   6263512    165.90    217.25
149.04/37.49	c  N dy   413     66778     33976    145276         0     22465    441435   1687575    165.79    177.60
154.62/38.88	c  S st   433     69397     33976    145276         0     25084    441435   2358328    165.77    142.91
155.84/39.14	c  S st   433     69899     33976    145276         0     25586    441435   2449930    165.77   no data
155.84/39.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
156.26/39.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.09
156.26/39.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
156.61/39.30	c bin-w-bin subsume rem            0 bins  time:  0.01 s
156.61/39.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
156.61/39.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33976 time:  0.01 s
156.61/39.34	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
157.01/39.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
157.81/39.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
159.41/40.08	c lits-rem:         2  cl-subs:        3  v-elim:      0  v-fix:    0  time:  0.41 s
159.81/40.11	c vivif2 --  cl tried   145276 cl shrink        0 lits rem          0 time: 0.02
159.81/40.15	c vivif2 --  cl tried    25583 cl shrink        0 lits rem          0 time: 0.04
160.65/40.34	c asymm  cl-useful: 0/145276/145276 lits-rem:0 time: 0.19
160.65/40.35	c calculated reachability. Time: 0.00
160.65/40.35	c  N dy   433     69899     33976    145276         0     25583    441435   2448367    165.77   no data
170.17/42.74	c  N dy   466     74442     33976    145276         0     30126    441435   3600926    165.86    236.05
180.94/45.43	c  N dy   500     79431     33976    145276         0     35115    441435   4865778    165.90    177.03
192.11/48.27	c  N dy   536     84561     33976    145276         0     40245    441435   6196134    166.30    184.09
198.49/49.82	c  F st   555     87500     33976    145276         0     22346    441435   1082653    166.18   no data
205.66/51.68	c  N st   560     90795     33976    145276         0     25639    441435   2265374    166.18   no data
218.43/54.86	c  N dy   588     96677     33976    145276         0     31520    441435   4032903    166.10    178.18
231.59/58.11	c  N dy   627    102890     33976    145276         0     37733    441435   5561153    165.81    175.10
235.58/59.19	c  S st   642    104848     33976    145276         0     39691    441435   6080017    166.04    128.50
236.77/59.47	c  S st   642    105350     33976    145276         0     40193    441435   6181070    166.04   no data
237.17/59.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
237.58/59.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.11
237.58/59.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
237.58/59.66	c bin-w-bin subsume rem            0 bins  time:  0.01 s
237.58/59.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
237.58/59.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33976 time:  0.01 s
237.97/59.70	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
238.37/59.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
240.36/60.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
246.75/61.99	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time:  1.64 s
247.15/62.01	c vivif2 --  cl tried   145276 cl shrink        0 lits rem          0 time: 0.02
247.55/62.12	c vivif2 --  cl tried    40189 cl shrink        0 lits rem          0 time: 0.11
248.38/62.33	c asymm  cl-useful: 0/145276/145276 lits-rem:0 time: 0.21
248.38/62.34	c calculated reachability. Time: 0.00
248.38/62.35	c  N dy   642    105350     33976    145276         0     40189    441435   6178239    166.04   no data
263.49/66.10	c  N dy   687    112135     33976    145276         0     24551    441435   1200048    165.96    202.88
278.67/69.98	c  N dy   741    119439     33976    145276         0     31854    441435   3043159    166.08    177.05
295.81/74.28	c  N dy   794    127215     33976    145276         0     39629    441435   5091044    166.29    175.86
314.19/78.83	c  N dy   854    135338     33976    145276         0     24041    441435    718782    166.64    230.85
332.48/83.47	c  N dy   919    144126     33976    145276         0     32827    441435   3032533    167.13    180.91
353.25/88.61	c  N dy   984    153401     33976    145276         0     42102    441435   5404722    167.32    179.65
363.59/91.25	c  S st  1017    158025     33976    145276         0     46726    441435   6633943    167.40    152.30
364.79/91.55	c  S st  1017    158529     33976    145276         0     47229    441435   6726821    167.40   no data
364.79/91.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
365.20/91.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.11
365.60/91.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
365.60/91.74	c bin-w-bin subsume rem            0 bins  time:  0.01 s
365.60/91.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
365.60/91.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33976 time:  0.01 s
365.60/91.78	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
366.42/91.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
368.38/92.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
377.55/94.76	c lits-rem:         3  cl-subs:        1  v-elim:      0  v-fix:    0  time:  2.32 s
377.55/94.78	c vivif2 --  cl tried   145276 cl shrink        0 lits rem          0 time: 0.02
378.36/94.91	c vivif2 --  cl tried    47228 cl shrink        0 lits rem          0 time: 0.12
379.16/95.13	c asymm  cl-useful: 0/145276/145276 lits-rem:0 time: 0.23
379.16/95.14	c calculated reachability. Time: 0.00
379.16/95.14	c  N dy  1017    158529     33976    145276         0     47228    441435   6726545    167.40   no data
401.09/100.69	c  N dy  1090    168728     33976    145276         0     32574    441435   2571685    167.50    179.04
425.01/106.64	c  N dy  1162    179673     33976    145276         0     43519    441435   5382765    167.43    178.64
450.54/113.09	c  N dy  1240    191170     33976    145276         0     29091    441435   1365613    167.45    180.62
477.66/119.87	c  N dy  1323    203475     33976    145276         0     41395    441435   4586120    167.64    178.87
507.57/127.39	c  N dy  1417    216659     33976    145276         0     27616    441435    716528    167.82    178.18
537.51/134.91	c  N dy  1511    230584     33976    145276         0     41539    441435   4301204    167.81    182.01
553.84/138.96	c  S st  1560    237793     33976    145276         0     48748    441435   6138422    167.78   no data
555.06/139.26	c  S st  1560    238297     33976    145276         0     49252    441435   6243679    167.78   no data
555.06/139.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
555.83/139.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.11
555.83/139.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
555.83/139.45	c bin-w-bin subsume rem            0 bins  time:  0.01 s
555.83/139.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
555.83/139.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33976 time:  0.01 s
555.83/139.49	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
556.62/139.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
558.23/140.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
567.40/142.34	c lits-rem:         7  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.27 s
567.40/142.36	c vivif2 --  cl tried   145276 cl shrink        0 lits rem          0 time: 0.02
567.80/142.48	c vivif2 --  cl tried    49249 cl shrink        0 lits rem          0 time: 0.11
568.98/142.71	c asymm  cl-useful: 0/145276/145276 lits-rem:0 time: 0.23
568.98/142.72	c calculated reachability. Time: 0.00
568.98/142.72	c  N dy  1560    238297     33976    145276         0     49249    441435   6242268    167.78   no data
602.49/151.19	c  N dy  1661    253574     33976    145276         0     36543    441435   2785707    167.77    177.62
639.98/160.51	c  N dy  1776    269861     33976    145276         0     52829    441435   7079075    167.95    180.35
679.46/170.40	c  N dy  1896    287164     33976    145276         0     41147    441435   3661485    168.01    190.66
721.35/180.98	c  N dy  2019    305588     33976    145276         0     59569    441435   8445134    168.08    177.38
723.33/181.41	c  F st  2024    306250     33976    145276         0     30236    441435    576112    168.08   no data
766.41/192.28	c  N dy  2126    325123     33976    145276         0     49107    441435   6242718    168.21    186.42
812.68/203.88	c  N dy  2272    345156     33976    145276         0     38139    441435   2417186    168.44    184.89
840.64/210.89	c  S st  2361    357445     33976    145276         0     50428    441435   5621528    168.51   no data
842.19/211.20	c  S st  2361    357945     33976    145276         0     50928    441435   5711666    168.51   no data
842.19/211.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
842.59/211.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.12
842.59/211.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
842.59/211.39	c bin-w-bin subsume rem            0 bins  time:  0.01 s
842.99/211.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
842.99/211.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33976 time:  0.01 s
842.99/211.43	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
843.78/211.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
845.03/211.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
853.80/214.18	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time:  2.20 s
854.15/214.20	c vivif2 --  cl tried   145276 cl shrink        0 lits rem          0 time: 0.02
854.55/214.31	c vivif2 --  cl tried    50927 cl shrink        0 lits rem          0 time: 0.10
855.35/214.54	c asymm  cl-useful: 0/145276/145276 lits-rem:0 time: 0.23
855.35/214.55	c calculated reachability. Time: 0.00
855.35/214.55	c  N dy  2361    357945     33976    145276         0     50927    441435   5710568    168.51   no data
902.06/226.27	c  N dy  2503    378072     33976    145276         0     39061    441435   2336325    168.72    184.83
948.69/237.97	c  N dy  2635    398202     33976    145276         0     59191    441435   7502398    168.66    181.04
995.35/249.62	c  N dy  2776    418391     33976    145276         0     46380    441435   3957500    168.70    178.75
1042.80/261.58	c  N dy  2921    438466     33976    145276         0     66452    441435   9307777    169.01    180.76
1089.08/273.14	c  N dy  3057    458645     33976    145276         0     52632    441435   5310428    169.06    178.08
1136.94/285.15	c  N dy  3193    478699     33976    145276         0     37690    441435   1238105    169.18    205.44
1182.43/296.58	c  N dy  3327    498787     33976    145276         0     57778    441435   6438535    169.16    179.32
1230.69/308.62	c  N dy  3469    518835     33976    145276         0     41827    441435   2032718    169.29    194.30
1272.54/319.17	c  S st  3597    536917     33976    145276         0     59908    441435   6752885    169.34   no data
1273.74/319.47	c  S st  3597    537420     33976    145276         0     60411    441435   6842045    169.34   no data
1274.14/319.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1274.56/319.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.13
1274.56/319.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1274.56/319.68	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1274.56/319.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1274.56/319.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33976 time:  0.01 s
1274.98/319.72	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
1275.73/319.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
1277.33/320.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1290.09/323.52	c lits-rem:         4  cl-subs:        4  v-elim:      0  v-fix:    0  time:  3.17 s
1290.09/323.54	c vivif2 --  cl tried   145276 cl shrink        0 lits rem          0 time: 0.02
1290.49/323.67	c vivif2 --  cl tried    60407 cl shrink        0 lits rem          0 time: 0.13
1291.69/323.92	c asymm  cl-useful: 0/145276/145276 lits-rem:0 time: 0.25
1291.69/323.93	c calculated reachability. Time: 0.00
1291.69/323.93	c  N dy  3597    537420     33976    145276         0     60407    441435   6839490    169.34   no data
1339.95/336.10	c  N dy  3731    557432     33976    145276         0     43420    441435   2173664    169.37    179.38
1387.80/348.04	c  N dy  3872    577567     33976    145276         0     63554    441435   7501338    169.50    183.32
1436.87/360.32	c  N dy  4022    597581     33976    145276         0     45570    441435   2458814    169.61    179.06
1484.72/372.35	c  N dy  4167    617693     33976    145276         0     65682    441435   7802029    169.71    179.16
1533.40/384.58	c  N dy  4299    637918     33976    145276         0     46904    441435   2571149    169.70    180.03
1580.84/396.42	c  N dy  4434    657934     33976    145276         0     66920    441435   7761994    169.68    183.30
1629.91/408.79	c  N dy  4571    678086     33976    145276         0     47069    441435   2328026    169.71    180.05
1678.94/421.01	c  N dy  4706    698196     33976    145276         0     67179    441435   7643294    169.76    181.07
1728.79/433.59	c  N dy  4848    718267     33976    145276         0     46251    441435   1865926    169.87    180.99
1776.65/445.53	c  N dy  4985    738313     33976    145276         0     66295    441435   7086534    169.87    178.94
1826.90/458.17	c  N dy  5119    758348     33976    145276         0     44333    441435   1104338    169.84    179.91
1874.78/470.15	c  N dy  5258    778486     33976    145276         0     64471    441435   6327622    169.86    185.94
1925.82/482.93	c  N dy  5392    798683     33976    145276         0     84666    441435  11540489    169.83    187.65
1943.36/487.32	c  S st  5441    806130     33976    145276         0     49120    441435   2125671    169.84   no data
1944.56/487.61	c  S st  5441    806634     33976    145276         0     49624    441435   2222700    169.84   no data
1944.56/487.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1944.96/487.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.12
1944.96/487.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1945.36/487.80	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1945.36/487.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1945.36/487.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33976 time:  0.01 s
1945.36/487.84	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
1945.78/487.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
1946.54/488.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1949.35/488.87	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time:  0.72 s
1949.75/488.90	c vivif2 --  cl tried   145276 cl shrink        0 lits rem          0 time: 0.02
1949.75/488.94	c vivif2 --  cl tried    49620 cl shrink        0 lits rem          0 time: 0.04
1950.59/489.17	c asymm  cl-useful: 0/145276/145276 lits-rem:0 time: 0.23
1950.59/489.18	c calculated reachability. Time: 0.00
1950.59/489.18	c  N dy  5441    806634     33976    145276         0     49620    441435   2220350    169.84   no data
1998.43/501.19	c  N dy  5575    826677     33976    145276         0     69661    441435   7411261    169.86    186.38
2049.85/514.07	c  N dy  5702    846731     33976    145276         0     45713    441435    954274    169.80    179.19
2097.71/526.09	c  N dy  5845    866923     33976    145276         0     65904    441435   6229177    169.82    183.52
2149.16/538.92	c  N dy  5982    887011     33976    145276         0     85991    441435  11493209    169.84    183.80
2197.80/551.13	c  N dy  6118    907238     33976    145276         0     61222    441435   4779784    169.85    192.14
2248.49/563.84	c  N dy  6254    927365     33976    145276         0     81348    441435   9960796    169.82    180.80
2298.71/576.40	c  N dy  6392    947434     33976    145276         0     55413    441435   2948568    169.83    185.89
2347.76/588.74	c  N dy  6532    967448     33976    145276         0     75424    441435   8246048    169.89    194.42
2401.20/602.12	c  N dy  6683    987633     33976    145276         0     48609    441435    949867    169.97    179.21
2449.87/614.33	c  N dy  6821   1007957     33976    145276         0     68932    441435   6156773    169.94    180.94
2502.11/627.46	c  N dy  6968   1028008     33976    145276         0     88983    441435  11375316    170.00    181.60
2552.35/640.03	c  N dy  7118   1048098     33976    145276         0     61079    441435   3938339    170.04    181.40
2602.61/652.62	c  N dy  7252   1068127     33976    145276         0     81107    441435   9168478    170.05    182.82
2612.60/655.13	c  F st  7280   1071876     33976    145276         0     84856    441435  10188772    170.07   no data
2655.25/665.83	c  N dy  7361   1088158     33976    145276         0     52137    441435   1357285    170.05    181.17
2704.31/678.16	c  N dy  7501   1108276     33976    145276         0     72253    441435   6620418    170.11    183.15
2756.55/691.29	c  N dy  7642   1128313     33976    145276         0     92290    441435  11862359    170.12    188.99
2807.60/704.06	c  N dy  7778   1148404     33976    145276         0     62389    441435   3783205    170.10    180.22
2859.04/716.94	c  N dy  7923   1168466     33976    145276         0     82451    441435   9066904    170.17    182.24
2912.88/730.48	c  N dy  8057   1188536     33976    145276         0     51519    441435    668486    170.15    181.49
2961.94/742.77	c  N dy  8197   1208560     33976    145276         0     71543    441435   5971531    170.21    179.58
2965.53/743.64	c  S st  8206   1209954     33976    145276         0     72937    441435   6323882    170.21   no data
2966.73/743.97	c  S st  8206   1210459     33976    145276         0     73442    441435   6418482    170.21   no data
2967.13/744.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2967.53/744.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.14
2967.53/744.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2967.53/744.19	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2967.53/744.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2967.95/744.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33976 time:  0.01 s
2967.95/744.23	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
2968.72/744.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
2970.32/744.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2983.88/748.24	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time:  3.40 s
2983.88/748.26	c vivif2 --  cl tried   145276 cl shrink        0 lits rem          0 time: 0.02
2984.27/748.39	c vivif2 --  cl tried    73436 cl shrink        0 lits rem          0 time: 0.12
2985.49/748.66	c asymm  cl-useful: 0/145276/145276 lits-rem:0 time: 0.27
2985.49/748.67	c calculated reachability. Time: 0.00
2985.49/748.67	c  N dy  8206   1210459     33976    145276         0     73436    441435   6415826    170.21   no data
3039.31/762.11	c  N dy  8348   1230614     33976    145276         0     93591    441435  11754901    170.25    179.31
3091.21/775.17	c  N dy  8487   1250691     33976    145276         0     61668    441435   3108217    170.28    190.43
3141.42/787.78	c  N dy  8624   1270777     33976    145276         0     81753    441435   8299086    170.28    213.45
3196.49/801.52	c  N dy  8771   1290802     33976    145276         0    101777    441435  13616337    170.36    179.98
3247.09/814.20	c  N dy  8904   1310915     33976    145276         0     68889    441435   4665601    170.35    182.09
3298.94/827.22	c  N dy  9045   1331073     33976    145276         0     89047    441435   9954458    170.38    180.95
3354.42/841.16	c  N dy  9185   1351125     33976    145276         0     55099    441435    819587    170.41    180.04
3403.83/853.59	c  N dy  9327   1371137     33976    145276         0     75110    441435   6063016    170.44    210.94
3456.86/866.86	c  N dy  9461   1391179     33976    145276         0     95149    441435  11348586    170.44    179.96
3511.51/880.50	c  N dy  9606   1411182     33976    145276         0     60156    441435   1899253    170.51    186.42
3561.35/893.06	c  N dy  9735   1431308     33976    145276         0     80281    441435   7067757    170.48    179.78
3615.59/906.60	c  N dy  9872   1451520     33976    145276         0    100491    441435  12405901    170.50    182.62
3669.03/920.07	c  N dy 10011   1471627     33976    145276         0     64609    441435   2838091    170.50    181.05
3720.48/932.98	c  N dy 10148   1491736     33976    145276         0     84717    441435   8105243    170.50    195.44
3775.15/946.70	c  N dy 10284   1511866     33976    145276         0    104844    441435  13434035    170.52    193.82
3828.95/960.17	c  N dy 10433   1531943     33976    145276         0     67922    441435   3405122    170.57    196.74
3880.44/973.10	c  N dy 10571   1552011     33976    145276         0     87988    441435   8671178    170.58    187.18
3936.25/987.02	c  N dy 10713   1572156     33976    145276         0    108133    441435  14009371    170.60    180.06
3988.89/1000.27	c  N dy 10848   1592183     33976    145276         0     70157    441435   3810855    170.62    219.86
4040.73/1013.20	c  N dy 10972   1612335     33976    145276         0     90307    441435   9059803    170.60    183.17
4096.16/1027.16	c  N dy 11108   1632445     33976    145276         0    110416    441435  14360740    170.61    180.58
4149.60/1040.51	c  N dy 11245   1652656     33976    145276         0     71633    441435   3890756    170.60    182.23
4202.24/1053.71	c  N dy 11386   1672703     33976    145276         0     91678    441435   9225573    170.63    179.73
4258.47/1067.80	c  N dy 11526   1692810     33976    145276         0    111785    441435  14535599    170.65    180.25
4305.95/1079.77	c  S st 11645   1710459     33976    145276         0     69443    441435   3072029    170.68    157.21
4307.52/1080.10	c  S st 11645   1710959     33976    145276         0     69943    441435   3159152    170.68   no data
4307.52/1080.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4307.92/1080.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.13
4308.33/1080.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4308.33/1080.31	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4308.33/1080.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4308.33/1080.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33976 time:  0.01 s
4308.33/1080.35	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
4309.13/1080.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
4309.93/1080.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4317.50/1082.69	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time:  1.95 s
4317.90/1082.71	c vivif2 --  cl tried   145276 cl shrink        0 lits rem          0 time: 0.02
4317.90/1082.77	c vivif2 --  cl tried    69942 cl shrink        0 lits rem          0 time: 0.06
4319.12/1083.04	c asymm  cl-useful: 0/145276/145276 lits-rem:0 time: 0.26
4319.12/1083.05	c calculated reachability. Time: 0.00
4319.12/1083.05	c  N dy 11645   1710959     33976    145276         0     69942    441435   3159047    170.68   no data
4371.34/1096.10	c  N dy 11785   1731038     33976    145276         0     90020    441435   8443548    170.70    197.02
4427.16/1110.15	c  N dy 11925   1751103     33976    145276         0    110083    441435  13772954    170.73    232.89
4482.19/1123.96	c  N dy 12060   1771119     33976    145276         0     69095    441435   2664816    170.73    185.95
4534.48/1137.02	c  N dy 12200   1791120     33976    145276         0     89094    441435   7920667    170.76    186.77
4589.48/1150.87	c  N dy 12337   1811190     33976    145276         0    109164    441435  13114195    170.74    220.00
4646.10/1165.05	c  N dy 12475   1831309     33976    145276         0     67284    441435   1923894    170.73    195.71
4699.15/1178.37	c  N dy 12616   1851318     33976    145276         0     87290    441435   7229821    170.77    180.22
4754.58/1192.20	c  N dy 12751   1871461     33976    145276         0    107433    441435  12585167    170.80    179.84

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 7.55 7.89 6.69 2/352 17015
/proc/meminfo: memFree=24268028/32951124 swapFree=65980216/67111528
[pid=17015] ppid=17013 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/17015/stat : 17015 (strangenight2-m) R 17013 17015 16886 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 4 0 632270874 52396032 347 33554432000 4194304 4580107 140733286168448 18446744073709551615 47740395800498 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17015/statm: 12792 347 299 95 0 7774 0
[pid=17015/tid=17016] ppid=17013 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/17015/task/17016/stat : 17016 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 632270874 52396032 347 33554432000 4194304 4580107 140733286168448 18446744073709551615 228095507441 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17015/tid=17017] ppid=17013 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/17015/task/17017/stat : 17017 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 632270874 52396032 347 33554432000 4194304 4580107 140733286168448 18446744073709551615 47740395800496 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17015/tid=17018] ppid=17013 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/17015/task/17018/stat : 17018 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 632270874 52396032 347 33554432000 4194304 4580107 140733286168448 18446744073709551615 47740395800498 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0885719 s]
/proc/loadavg: 7.55 7.89 6.69 2/352 17015
/proc/meminfo: memFree=24268028/32951124 swapFree=65980216/67111528
[pid=17015] ppid=17013 vsize=319392 CPUtime=0.27 cores=1,3,5,7
/proc/17015/stat : 17015 (strangenight2-m) R 17013 17015 16886 0 -1 4202496 21174 0 0 0 23 4 0 0 18 0 4 0 632270874 327057408 16956 33554432000 4194304 4580107 140733286168448 18446744073709551615 4354920 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17015/statm: 79848 16975 337 95 0 74830 0
[pid=17015/tid=17016] ppid=17013 vsize=319524 CPUtime=0.06 cores=1,3,5,7
/proc/17015/task/17016/stat : 17016 (strangenight2-m) D 17013 17015 16886 0 -1 4202560 5260 0 0 0 5 1 0 0 18 0 4 0 632270874 327192576 17329 33554432000 4194304 4580107 140733286168448 18446744073709551615 228095494327 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17015/tid=17017] ppid=17013 vsize=321276 CPUtime=0.09 cores=1,3,5,7
/proc/17015/task/17017/stat : 17017 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 5842 0 0 0 8 1 0 0 18 0 4 0 632270874 328986624 19575 33554432000 4194304 4580107 140733286168448 18446744073709551615 228095494327 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17015/tid=17018] ppid=17013 vsize=321408 CPUtime=0.09 cores=1,3,5,7
/proc/17015/task/17018/stat : 17018 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 5929 0 0 0 8 1 0 0 18 0 4 0 632270874 329121792 19794 33554432000 4194304 4580107 140733286168448 18446744073709551615 228095116152 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 319392

[startup+0.138885 s]
/proc/loadavg: 7.55 7.89 6.69 2/352 17015
/proc/meminfo: memFree=24268028/32951124 swapFree=65980216/67111528
[pid=17015] ppid=17013 vsize=324236 CPUtime=0.43 cores=1,3,5,7
/proc/17015/stat : 17015 (strangenight2-m) R 17013 17015 16886 0 -1 4202496 26785 0 0 0 36 7 0 0 18 0 4 0 632270874 332017664 22567 33554432000 4194304 4580107 140733286168448 18446744073709551615 228095451067 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17015/statm: 81059 22567 352 95 0 76041 0
[pid=17015/tid=17016] ppid=17013 vsize=324236 CPUtime=0.09 cores=1,3,5,7
/proc/17015/task/17016/stat : 17016 (strangenight2-m) S 17013 17015 16886 0 -1 4202560 6573 0 0 0 8 1 0 0 18 0 4 0 632270874 332017664 22568 33554432000 4194304 4580107 140733286168448 18446744073709551615 228095556078 0 0 4096 2 18446604465492214848 0 0 -1 7 0 0 0
[pid=17015/tid=17017] ppid=17013 vsize=324236 CPUtime=0.11 cores=1,3,5,7
/proc/17015/task/17017/stat : 17017 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 6593 0 0 0 9 2 0 0 18 0 4 0 632270874 332017664 22568 33554432000 4194304 4580107 140733286168448 18446744073709551615 228095494279 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17015/tid=17018] ppid=17013 vsize=324236 CPUtime=0.1 cores=1,3,5,7
/proc/17015/task/17018/stat : 17018 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 6610 0 0 0 9 1 0 0 18 0 4 0 632270874 332017664 22568 33554432000 4194304 4580107 140733286168448 18446744073709551615 4291168 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 324236

[startup+0.329422 s]
/proc/loadavg: 7.55 7.89 6.69 2/352 17015
/proc/meminfo: memFree=24268028/32951124 swapFree=65980216/67111528
[pid=17015] ppid=17013 vsize=331136 CPUtime=1.2 cores=1,3,5,7
/proc/17015/stat : 17015 (strangenight2-m) R 17013 17015 16886 0 -1 4202496 27248 0 0 0 113 7 0 0 18 0 4 0 632270874 339083264 23031 33554432000 4194304 4580107 140733286168448 18446744073709551615 228095112225 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17015/statm: 82784 23104 363 95 0 77766 0
[pid=17015/tid=17016] ppid=17013 vsize=331136 CPUtime=0.28 cores=1,3,5,7
/proc/17015/task/17016/stat : 17016 (strangenight2-m) D 17013 17015 16886 0 -1 4202560 6832 0 0 0 27 1 0 0 18 0 4 0 632270874 339083264 23528 33554432000 4194304 4580107 140733286168448 18446744073709551615 228095494327 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17015/tid=17017] ppid=17013 vsize=331136 CPUtime=0.3 cores=1,3,5,7
/proc/17015/task/17017/stat : 17017 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 6959 0 0 0 28 2 0 0 18 0 4 0 632270874 339083264 23650 33554432000 4194304 4580107 140733286168448 18446744073709551615 228095148232 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17015/tid=17018] ppid=17013 vsize=331136 CPUtime=0.3 cores=1,3,5,7
/proc/17015/task/17018/stat : 17018 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 6717 0 0 0 29 1 0 0 18 0 4 0 632270874 339083264 24111 33554432000 4194304 4580107 140733286168448 18446744073709551615 4295853 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 331136

[startup+1.28436 s]
/proc/loadavg: 7.55 7.89 6.69 2/352 17015
/proc/meminfo: memFree=24268028/32951124 swapFree=65980216/67111528
[pid=17015] ppid=17013 vsize=344312 CPUtime=5.01 cores=1,3,5,7
/proc/17015/stat : 17015 (strangenight2-m) R 17013 17015 16886 0 -1 4202496 51292 0 0 0 488 13 0 0 19 0 4 0 632270874 352575488 37344 33554432000 4194304 4580107 140733286168448 18446744073709551615 4318435 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17015/statm: 86078 37344 377 95 0 81060 0
[pid=17015/tid=17016] ppid=17013 vsize=344312 CPUtime=1.24 cores=1,3,5,7
/proc/17015/task/17016/stat : 17016 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 14534 0 0 0 121 3 0 0 19 0 4 0 632270874 352575488 37348 33554432000 4194304 4580107 140733286168448 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17015/tid=17017] ppid=17013 vsize=344312 CPUtime=1.24 cores=1,3,5,7
/proc/17015/task/17017/stat : 17017 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 14534 0 0 0 121 3 0 0 18 0 4 0 632270874 352575488 37348 33554432000 4194304 4580107 140733286168448 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17015/tid=17018] ppid=17013 vsize=344312 CPUtime=1.25 cores=1,3,5,7
/proc/17015/task/17018/stat : 17018 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 7284 0 0 0 124 1 0 0 19 0 4 0 632270874 352575488 37348 33554432000 4194304 4580107 140733286168448 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.01
Current children cumulated vsize (KiB) 344312

[startup+1.50032 s]
/proc/loadavg: 7.55 7.89 6.69 2/352 17015
/proc/meminfo: memFree=24268028/32951124 swapFree=65980216/67111528
[pid=17015] ppid=17013 vsize=344312 CPUtime=5.87 cores=1,3,5,7
/proc/17015/stat : 17015 (strangenight2-m) R 17013 17015 16886 0 -1 4202496 51902 0 0 0 574 13 0 0 19 0 4 0 632270874 352575488 37954 33554432000 4194304 4580107 140733286168448 18446744073709551615 4293911 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17015/statm: 86078 37954 377 95 0 81060 0
[pid=17015/tid=17016] ppid=17013 vsize=344312 CPUtime=1.45 cores=1,3,5,7
/proc/17015/task/17016/stat : 17016 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 14702 0 0 0 142 3 0 0 19 0 4 0 632270874 352575488 37954 33554432000 4194304 4580107 140733286168448 18446744073709551615 4293158 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17015/tid=17017] ppid=17013 vsize=344312 CPUtime=1.46 cores=1,3,5,7
/proc/17015/task/17017/stat : 17017 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 14687 0 0 0 143 3 0 0 19 0 4 0 632270874 352575488 37954 33554432000 4194304 4580107 140733286168448 18446744073709551615 4293778 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17015/tid=17018] ppid=17013 vsize=344312 CPUtime=1.46 cores=1,3,5,7
/proc/17015/task/17018/stat : 17018 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 7409 0 0 0 145 1 0 0 19 0 4 0 632270874 352575488 37954 33554432000 4194304 4580107 140733286168448 18446744073709551615 4321152 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.87
Current children cumulated vsize (KiB) 344312

[startup+3.10103 s]
/proc/loadavg: 7.55 7.89 6.69 9/362 17028
/proc/meminfo: memFree=23930044/32951124 swapFree=65980216/67111528
[pid=17015] ppid=17013 vsize=477216 CPUtime=12.25 cores=1,3,5,7
/proc/17015/stat : 17015 (strangenight2-m) R 17013 17015 16886 0 -1 4202496 55875 0 0 0 1211 14 0 0 23 0 4 0 632270874 488669184 41927 33554432000 4194304 4580107 140733286168448 18446744073709551615 4316702 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17015/statm: 119304 41927 377 95 0 114286 0
[pid=17015/tid=17016] ppid=17013 vsize=477216 CPUtime=3.03 cores=1,3,5,7
/proc/17015/task/17016/stat : 17016 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 15610 0 0 0 300 3 0 0 22 0 4 0 632270874 488669184 41928 33554432000 4194304 4580107 140733286168448 18446744073709551615 4322431 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17015/tid=17017] ppid=17013 vsize=477216 CPUtime=3.07 cores=1,3,5,7
/proc/17015/task/17017/stat : 17017 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 15579 0 0 0 303 4 0 0 22 0 4 0 632270874 488669184 41928 33554432000 4194304 4580107 140733286168448 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17015/tid=17018] ppid=17013 vsize=477216 CPUtime=3.07 cores=1,3,5,7
/proc/17015/task/17018/stat : 17018 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 8704 0 0 0 305 2 0 0 25 0 4 0 632270874 488669184 41928 33554432000 4194304 4580107 140733286168448 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.25
Current children cumulated vsize (KiB) 477216

[startup+6.30044 s]
/proc/loadavg: 7.59 7.89 6.69 9/362 17028
/proc/meminfo: memFree=23871040/32951124 swapFree=65980216/67111528
[pid=17015] ppid=17013 vsize=477360 CPUtime=25 cores=1,3,5,7
/proc/17015/stat : 17015 (strangenight2-m) R 17013 17015 16886 0 -1 4202496 62760 0 0 0 2484 16 0 0 25 0 4 0 632270874 488816640 48812 33554432000 4194304 4580107 140733286168448 18446744073709551615 4306048 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17015/statm: 119340 48812 377 95 0 114322 0
[pid=17015/tid=17016] ppid=17013 vsize=477360 CPUtime=6.19 cores=1,3,5,7
/proc/17015/task/17016/stat : 17016 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 17297 0 0 0 615 4 0 0 25 0 4 0 632270874 488816640 48812 33554432000 4194304 4580107 140733286168448 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17015/tid=17017] ppid=17013 vsize=477360 CPUtime=6.26 cores=1,3,5,7
/proc/17015/task/17017/stat : 17017 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 17287 0 0 0 622 4 0 0 25 0 4 0 632270874 488816640 48812 33554432000 4194304 4580107 140733286168448 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17015/tid=17018] ppid=17013 vsize=477360 CPUtime=6.26 cores=1,3,5,7
/proc/17015/task/17018/stat : 17018 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 10484 0 0 0 624 2 0 0 25 0 4 0 632270874 488816640 48812 33554432000 4194304 4580107 140733286168448 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25
Current children cumulated vsize (KiB) 477360

[startup+12.7003 s]
/proc/loadavg: 7.62 7.90 6.70 9/362 17028
/proc/meminfo: memFree=23899352/32951124 swapFree=65980216/67111528
[pid=17015] ppid=17013 vsize=376900 CPUtime=50.56 cores=1,3,5,7
/proc/17015/stat : 17015 (strangenight2-m) R 17013 17015 16886 0 -1 4202496 83166 0 0 0 5034 22 0 0 25 0 4 0 632270874 385945600 45079 33554432000 4194304 4580107 140733286168448 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17015/statm: 94225 45079 378 95 0 89207 0
[pid=17015/tid=17016] ppid=17013 vsize=376900 CPUtime=12.52 cores=1,3,5,7
/proc/17015/task/17016/stat : 17016 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 22393 0 0 0 1247 5 0 0 25 0 4 0 632270874 385945600 45093 33554432000 4194304 4580107 140733286168448 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17015/tid=17017] ppid=17013 vsize=376900 CPUtime=12.67 cores=1,3,5,7
/proc/17015/task/17017/stat : 17017 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 22395 0 0 0 1261 6 0 0 25 0 4 0 632270874 385945600 45093 33554432000 4194304 4580107 140733286168448 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17015/tid=17018] ppid=17013 vsize=376900 CPUtime=12.68 cores=1,3,5,7
/proc/17015/task/17018/stat : 17018 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 15602 0 0 0 1264 4 0 0 25 0 4 0 632270874 385945600 45093 33554432000 4194304 4580107 140733286168448 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.56
Current children cumulated vsize (KiB) 376900

[startup+25.5009 s]
/proc/loadavg: 7.78 7.92 6.73 9/362 17028
/proc/meminfo: memFree=23491500/32951124 swapFree=65980216/67111528
[pid=17015] ppid=17013 vsize=577340 CPUtime=101.58 cores=1,3,5,7
/proc/17015/stat : 17015 (strangenight2-m) R 17013 17015 16886 0 -1 4202496 175351 0 0 0 10111 47 0 0 25 0 4 0 632270874 591196160 99017 33554432000 4194304 4580107 140733286168448 18446744073709551615 4293222 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17015/statm: 144335 99017 379 95 0 139317 0
[pid=17015/tid=17016] ppid=17013 vsize=577340 CPUtime=25.17 cores=1,3,5,7
/proc/17015/task/17016/stat : 17016 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 58928 0 0 0 2504 13 0 0 25 0 4 0 632270874 591196160 99017 33554432000 4194304 4580107 140733286168448 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17015/tid=17017] ppid=17013 vsize=577340 CPUtime=25.46 cores=1,3,5,7
/proc/17015/task/17017/stat : 17017 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 39656 0 0 0 2535 11 0 0 25 0 4 0 632270874 591196160 99017 33554432000 4194304 4580107 140733286168448 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17015/tid=17018] ppid=17013 vsize=577340 CPUtime=25.46 cores=1,3,5,7
/proc/17015/task/17018/stat : 17018 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 24552 0 0 0 2540 6 0 0 25 0 4 0 632270874 591196160 99017 33554432000 4194304 4580107 140733286168448 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.58
Current children cumulated vsize (KiB) 577340

[startup+51.1012 s]
/proc/loadavg: 7.91 7.94 6.76 9/362 17029
/proc/meminfo: memFree=23275924/32951124 swapFree=65980216/67111528
[pid=17015] ppid=17013 vsize=796368 CPUtime=203.68 cores=1,3,5,7
/proc/17015/stat : 17015 (strangenight2-m) R 17013 17015 16886 0 -1 4202496 260772 0 0 0 20298 70 0 0 25 0 4 0 632270874 815480832 135582 33554432000 4194304 4580107 140733286168448 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17015/statm: 199092 135582 379 95 0 194074 0
[pid=17015/tid=17016] ppid=17013 vsize=796368 CPUtime=50.47 cores=1,3,5,7
/proc/17015/task/17016/stat : 17016 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 75451 0 0 0 5030 17 0 0 25 0 4 0 632270874 815480832 135582 33554432000 4194304 4580107 140733286168448 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17015/tid=17017] ppid=17013 vsize=796368 CPUtime=51.06 cores=1,3,5,7
/proc/17015/task/17017/stat : 17017 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 61189 0 0 0 5089 17 0 0 25 0 4 0 632270874 815480832 135582 33554432000 4194304 4580107 140733286168448 18446744073709551615 4504174 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17015/tid=17018] ppid=17013 vsize=796368 CPUtime=51.06 cores=1,3,5,7
/proc/17015/task/17018/stat : 17018 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 50469 0 0 0 5094 12 0 0 25 0 4 0 632270874 815480832 135582 33554432000 4194304 4580107 140733286168448 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.68
Current children cumulated vsize (KiB) 796368

[startup+102.301 s]
/proc/loadavg: 8.02 7.96 6.83 9/362 17030
/proc/meminfo: memFree=22717044/32951124 swapFree=65980216/67111528
[pid=17015] ppid=17013 vsize=1086376 CPUtime=407.86 cores=1,3,5,7
/proc/17015/stat : 17015 (strangenight2-m) R 17013 17015 16886 0 -1 4202496 381710 0 0 0 40683 103 0 0 25 0 4 0 632270874 1112449024 188504 33554432000 4194304 4580107 140733286168448 18446744073709551615 4294520 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17015/statm: 271594 188504 379 95 0 266576 0
[pid=17015/tid=17016] ppid=17013 vsize=1086376 CPUtime=101.05 cores=1,3,5,7
/proc/17015/task/17016/stat : 17016 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 100948 0 0 0 10080 25 0 0 25 0 4 0 632270874 1112449024 188504 33554432000 4194304 4580107 140733286168448 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17015/tid=17017] ppid=17013 vsize=1086376 CPUtime=102.26 cores=1,3,5,7
/proc/17015/task/17017/stat : 17017 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 85678 0 0 0 10200 26 0 0 25 0 4 0 632270874 1112449024 188504 33554432000 4194304 4580107 140733286168448 18446744073709551615 4292913 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17015/tid=17018] ppid=17013 vsize=1086376 CPUtime=102.27 cores=1,3,5,7
/proc/17015/task/17018/stat : 17018 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 75756 0 0 0 10208 19 0 0 25 0 4 0 632270874 1112449024 188504 33554432000 4194304 4580107 140733286168448 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 407.86
Current children cumulated vsize (KiB) 1086376

[startup+162.301 s]

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

[pid=17015] ppid=17013 vsize=1606368 CPUtime=2800.82 cores=1,3,5,7
/proc/17015/stat : 17015 (strangenight2-m) R 17013 17015 16886 0 -1 4202496 1381843 0 0 0 279633 449 0 0 25 0 4 0 632270874 1644920832 313840 33554432000 4194304 4580107 140733286168448 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17015/statm: 401592 313840 379 95 0 396574 0
[pid=17015/tid=17016] ppid=17013 vsize=1606368 CPUtime=694.03 cores=1,3,5,7
/proc/17015/task/17016/stat : 17016 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 350054 0 0 0 69294 109 0 0 25 0 4 0 632270874 1644920832 313840 33554432000 4194304 4580107 140733286168448 18446744073709551615 4295838 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17015/tid=17017] ppid=17013 vsize=1606368 CPUtime=702.25 cores=1,3,5,7
/proc/17015/task/17017/stat : 17017 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 346976 0 0 0 70108 117 0 0 25 0 4 0 632270874 1644920832 313840 33554432000 4194304 4580107 140733286168448 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17015/tid=17018] ppid=17013 vsize=1606368 CPUtime=702.26 cores=1,3,5,7
/proc/17015/task/17018/stat : 17018 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 317588 0 0 0 70122 104 0 0 25 0 4 0 632270874 1644920832 313840 33554432000 4194304 4580107 140733286168448 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2800.82
Current children cumulated vsize (KiB) 1606368

[startup+762.3 s]
/proc/loadavg: 8.12 8.09 7.46 9/362 17048
/proc/meminfo: memFree=21611208/32951124 swapFree=65980216/67111528
[pid=17015] ppid=17013 vsize=1669612 CPUtime=3040.11 cores=1,3,5,7
/proc/17015/stat : 17015 (strangenight2-m) R 17013 17015 16886 0 -1 4202496 1472784 0 0 0 303529 482 0 0 25 0 4 0 632270874 1709682688 329239 33554432000 4194304 4580107 140733286168448 18446744073709551615 4316702 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17015/statm: 417403 329239 379 95 0 412385 0
[pid=17015/tid=17016] ppid=17013 vsize=1669612 CPUtime=753.32 cores=1,3,5,7
/proc/17015/task/17016/stat : 17016 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 376903 0 0 0 75215 117 0 0 25 0 4 0 632270874 1709682688 329239 33554432000 4194304 4580107 140733286168448 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17015/tid=17017] ppid=17013 vsize=1669612 CPUtime=762.25 cores=1,3,5,7
/proc/17015/task/17017/stat : 17017 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 374344 0 0 0 76098 127 0 0 25 0 4 0 632270874 1709682688 329239 33554432000 4194304 4580107 140733286168448 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17015/tid=17018] ppid=17013 vsize=1669612 CPUtime=762.26 cores=1,3,5,7
/proc/17015/task/17018/stat : 17018 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 334504 0 0 0 76114 112 0 0 25 0 4 0 632270874 1709682688 329239 33554432000 4194304 4580107 140733286168448 18446744073709551615 4321207 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3040.11
Current children cumulated vsize (KiB) 1669612

[startup+822.3 s]
/proc/loadavg: 8.04 8.07 7.49 9/362 17050
/proc/meminfo: memFree=21607840/32951124 swapFree=65980216/67111528
[pid=17015] ppid=17013 vsize=1608208 CPUtime=3279.42 cores=1,3,5,7
/proc/17015/stat : 17015 (strangenight2-m) R 17013 17015 16886 0 -1 4202496 1567632 0 0 0 327425 517 0 0 25 0 4 0 632270874 1646804992 331101 33554432000 4194304 4580107 140733286168448 18446744073709551615 4293134 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17015/statm: 402052 331101 379 95 0 397034 0
[pid=17015/tid=17016] ppid=17013 vsize=1608208 CPUtime=812.62 cores=1,3,5,7
/proc/17015/task/17016/stat : 17016 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 399856 0 0 0 81137 125 0 0 25 0 4 0 632270874 1646804992 331110 33554432000 4194304 4580107 140733286168448 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17015/tid=17017] ppid=17013 vsize=1608208 CPUtime=822.26 cores=1,3,5,7
/proc/17015/task/17017/stat : 17017 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 397542 0 0 0 82091 135 0 0 25 0 4 0 632270874 1646804992 331110 33554432000 4194304 4580107 140733286168448 18446744073709551615 4321546 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17015/tid=17018] ppid=17013 vsize=1608208 CPUtime=822.27 cores=1,3,5,7
/proc/17015/task/17018/stat : 17018 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 356133 0 0 0 82106 121 0 0 25 0 4 0 632270874 1646804992 331110 33554432000 4194304 4580107 140733286168448 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3279.42
Current children cumulated vsize (KiB) 1608208

[startup+882.3 s]
/proc/loadavg: 8.14 8.09 7.53 9/362 17051
/proc/meminfo: memFree=21553768/32951124 swapFree=65980216/67111528
[pid=17015] ppid=17013 vsize=1578048 CPUtime=3518.68 cores=1,3,5,7
/proc/17015/stat : 17015 (strangenight2-m) R 17013 17015 16886 0 -1 4202496 1661617 0 0 0 351312 556 0 0 25 0 4 0 632270874 1615921152 333583 33554432000 4194304 4580107 140733286168448 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17015/statm: 394512 333583 379 95 0 389494 0
[pid=17015/tid=17016] ppid=17013 vsize=1578048 CPUtime=871.9 cores=1,3,5,7
/proc/17015/task/17016/stat : 17016 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 424435 0 0 0 87056 134 0 0 25 0 4 0 632270874 1615921152 333583 33554432000 4194304 4580107 140733286168448 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17015/tid=17017] ppid=17013 vsize=1578048 CPUtime=882.24 cores=1,3,5,7
/proc/17015/task/17017/stat : 17017 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 421156 0 0 0 88078 146 0 0 25 0 4 0 632270874 1615921152 333583 33554432000 4194304 4580107 140733286168448 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17015/tid=17018] ppid=17013 vsize=1578048 CPUtime=882.26 cores=1,3,5,7
/proc/17015/task/17018/stat : 17018 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 379265 0 0 0 88095 131 0 0 25 0 4 0 632270874 1615921152 333583 33554432000 4194304 4580107 140733286168448 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3518.68
Current children cumulated vsize (KiB) 1578048

[startup+942.313 s]
/proc/loadavg: 8.11 8.08 7.56 9/362 17053
/proc/meminfo: memFree=21567884/32951124 swapFree=65980216/67111528
[pid=17015] ppid=17013 vsize=1691304 CPUtime=3758.02 cores=1,3,5,7
/proc/17015/stat : 17015 (strangenight2-m) R 17013 17015 16886 0 -1 4202496 1762913 0 0 0 375212 590 0 0 25 0 4 0 632270874 1731895296 338297 33554432000 4194304 4580107 140733286168448 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17015/statm: 422826 338297 379 95 0 417808 0
[pid=17015/tid=17016] ppid=17013 vsize=1691304 CPUtime=931.21 cores=1,3,5,7
/proc/17015/task/17016/stat : 17016 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 451137 0 0 0 92977 144 0 0 25 0 4 0 632270874 1731895296 338297 33554432000 4194304 4580107 140733286168448 18446744073709551615 4320813 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17015/tid=17017] ppid=17013 vsize=1691304 CPUtime=942.25 cores=1,3,5,7
/proc/17015/task/17017/stat : 17017 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 443973 0 0 0 94072 153 0 0 25 0 4 0 632270874 1731895296 338297 33554432000 4194304 4580107 140733286168448 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17015/tid=17018] ppid=17013 vsize=1691304 CPUtime=942.27 cores=1,3,5,7
/proc/17015/task/17018/stat : 17018 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 405802 0 0 0 94087 140 0 0 25 0 4 0 632270874 1731895296 338297 33554432000 4194304 4580107 140733286168448 18446744073709551615 4293755 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3758.02
Current children cumulated vsize (KiB) 1691304

[startup+1002.3 s]
/proc/loadavg: 8.15 8.10 7.60 9/362 17054
/proc/meminfo: memFree=21542196/32951124 swapFree=65980216/67111528
[pid=17015] ppid=17013 vsize=1579416 CPUtime=3997.25 cores=1,3,5,7
/proc/17015/stat : 17015 (strangenight2-m) R 17013 17015 16886 0 -1 4202496 1855909 0 0 0 399098 627 0 0 25 0 4 0 632270874 1617321984 326632 33554432000 4194304 4580107 140733286168448 18446744073709551615 4293067 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17015/statm: 394854 326632 379 95 0 389836 0
[pid=17015/tid=17016] ppid=17013 vsize=1579416 CPUtime=990.61 cores=1,3,5,7
/proc/17015/task/17016/stat : 17016 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 474967 0 0 0 98908 153 0 0 25 0 4 0 632270874 1617321984 326632 33554432000 4194304 4580107 140733286168448 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17015/tid=17017] ppid=17013 vsize=1579416 CPUtime=1002.24 cores=1,3,5,7
/proc/17015/task/17017/stat : 17017 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 469257 0 0 0 100061 163 0 0 25 0 4 0 632270874 1617321984 326632 33554432000 4194304 4580107 140733286168448 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17015/tid=17018] ppid=17013 vsize=1579416 CPUtime=1002.14 cores=1,3,5,7
/proc/17015/task/17018/stat : 17018 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 426995 0 0 0 100064 150 0 0 25 0 4 0 632270874 1617321984 326632 33554432000 4194304 4580107 140733286168448 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3997.25
Current children cumulated vsize (KiB) 1579416

[startup+1062.3 s]
/proc/loadavg: 8.15 8.11 7.63 9/362 17056
/proc/meminfo: memFree=21484020/32951124 swapFree=65980216/67111528
[pid=17015] ppid=17013 vsize=1677128 CPUtime=4236.53 cores=1,3,5,7
/proc/17015/stat : 17015 (strangenight2-m) R 17013 17015 16886 0 -1 4202496 1954214 0 0 0 422993 660 0 0 25 0 4 0 632270874 1717379072 341006 33554432000 4194304 4580107 140733286168448 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17015/statm: 419282 341006 379 95 0 414264 0
[pid=17015/tid=17016] ppid=17013 vsize=1677128 CPUtime=1050.6 cores=1,3,5,7
/proc/17015/task/17016/stat : 17016 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 498100 0 0 0 104899 161 0 0 25 0 4 0 632270874 1717379072 341006 33554432000 4194304 4580107 140733286168448 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17015/tid=17017] ppid=17013 vsize=1677128 CPUtime=1062.24 cores=1,3,5,7
/proc/17015/task/17017/stat : 17017 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 496141 0 0 0 106052 172 0 0 25 0 4 0 632270874 1717379072 341006 33554432000 4194304 4580107 140733286168448 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17015/tid=17018] ppid=17013 vsize=1677128 CPUtime=1061.42 cores=1,3,5,7
/proc/17015/task/17018/stat : 17018 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 450383 0 0 0 105983 159 0 0 25 0 4 0 632270874 1717379072 341006 33554432000 4194304 4580107 140733286168448 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4236.53
Current children cumulated vsize (KiB) 1677128

[startup+1122.3 s]
/proc/loadavg: 8.15 8.11 7.66 9/362 17067
/proc/meminfo: memFree=21515440/32951124 swapFree=65980216/67111528
[pid=17015] ppid=17013 vsize=1612628 CPUtime=4475.82 cores=1,3,5,7
/proc/17015/stat : 17015 (strangenight2-m) R 17013 17015 16886 0 -1 4202496 2035949 0 0 0 446889 693 0 0 25 0 4 0 632270874 1651331072 342555 33554432000 4194304 4580107 140733286168448 18446744073709551615 4293778 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17015/statm: 403157 342555 379 95 0 398139 0
[pid=17015/tid=17016] ppid=17013 vsize=1612628 CPUtime=1110.6 cores=1,3,5,7
/proc/17015/task/17016/stat : 17016 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 520574 0 0 0 110892 168 0 0 25 0 4 0 632270874 1651331072 342555 33554432000 4194304 4580107 140733286168448 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17015/tid=17017] ppid=17013 vsize=1612628 CPUtime=1122.24 cores=1,3,5,7
/proc/17015/task/17017/stat : 17017 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 517203 0 0 0 112043 181 0 0 25 0 4 0 632270874 1651331072 342555 33554432000 4194304 4580107 140733286168448 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17015/tid=17018] ppid=17013 vsize=1612628 CPUtime=1120.72 cores=1,3,5,7
/proc/17015/task/17018/stat : 17018 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 467721 0 0 0 111905 167 0 0 25 0 4 0 632270874 1651331072 342555 33554432000 4194304 4580107 140733286168448 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4475.82
Current children cumulated vsize (KiB) 1612628

[startup+1182.3 s]
/proc/loadavg: 8.14 8.12 7.69 9/362 17068
/proc/meminfo: memFree=21199152/32951124 swapFree=65980216/67111528
[pid=17015] ppid=17013 vsize=1874244 CPUtime=4715.1 cores=1,3,5,7
/proc/17015/stat : 17015 (strangenight2-m) R 17013 17015 16886 0 -1 4202496 2152310 0 0 0 470777 733 0 0 25 0 4 0 632270874 1919225856 380030 33554432000 4194304 4580107 140733286168448 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17015/statm: 468561 380030 379 95 0 463543 0
[pid=17015/tid=17016] ppid=17013 vsize=1874244 CPUtime=1170.61 cores=1,3,5,7
/proc/17015/task/17016/stat : 17016 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 542432 0 0 0 116883 178 0 0 25 0 4 0 632270874 1919225856 380030 33554432000 4194304 4580107 140733286168448 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17015/tid=17017] ppid=17013 vsize=1874244 CPUtime=1182.23 cores=1,3,5,7
/proc/17015/task/17017/stat : 17017 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 567119 0 0 0 118028 195 0 0 25 0 4 0 632270874 1919225856 380030 33554432000 4194304 4580107 140733286168448 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17015/tid=17018] ppid=17013 vsize=1874244 CPUtime=1180.01 cores=1,3,5,7
/proc/17015/task/17018/stat : 17018 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 487746 0 0 0 117825 176 0 0 25 0 4 0 632270874 1919225856 380030 33554432000 4194304 4580107 140733286168448 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4715.1
Current children cumulated vsize (KiB) 1874244



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 8.09 8.11 7.70 9/362 17069
/proc/meminfo: memFree=21244036/32951124 swapFree=65980216/67111528
[pid=17015] ppid=17013 vsize=1874384 CPUtime=4800.07 cores=1,3,5,7
/proc/17015/stat : 17015 (strangenight2-m) R 17013 17015 16886 0 -1 4202496 2183647 0 0 0 479261 746 0 0 25 0 4 0 632270874 1919369216 382992 33554432000 4194304 4580107 140733286168448 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17015/statm: 468596 382992 379 95 0 463578 0
[pid=17015/tid=17016] ppid=17013 vsize=1874384 CPUtime=1191.92 cores=1,3,5,7
/proc/17015/task/17016/stat : 17016 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 550600 0 0 0 119011 181 0 0 25 0 4 0 632270874 1919369216 383003 33554432000 4194304 4580107 140733286168448 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17015/tid=17017] ppid=17013 vsize=1874384 CPUtime=1203.55 cores=1,3,5,7
/proc/17015/task/17017/stat : 17017 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 577009 0 0 0 120155 200 0 0 25 0 4 0 632270874 1919369216 383003 33554432000 4194304 4580107 140733286168448 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17015/tid=17018] ppid=17013 vsize=1874384 CPUtime=1201.05 cores=1,3,5,7
/proc/17015/task/17018/stat : 17018 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 493230 0 0 0 119927 178 0 0 25 0 4 0 632270874 1919369216 383003 33554432000 4194304 4580107 140733286168448 18446744073709551615 4294455 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 1874384

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

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

[startup+1203.6 s]
/proc/loadavg: 8.09 8.11 7.70 9/362 17069
/proc/meminfo: memFree=21244036/32951124 swapFree=65980216/67111528
[pid=17015] ppid=17013 vsize=1874384 CPUtime=4800.07 cores=1,3,5,7
/proc/17015/stat : 17015 (strangenight2-m) R 17013 17015 16886 0 -1 4202496 2183647 0 0 0 479261 746 0 0 25 0 4 0 632270874 1919369216 382992 33554432000 4194304 4580107 140733286168448 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17015/statm: 468596 382992 379 95 0 463578 0
[pid=17015/tid=17016] ppid=17013 vsize=1874384 CPUtime=1191.92 cores=1,3,5,7
/proc/17015/task/17016/stat : 17016 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 550600 0 0 0 119011 181 0 0 25 0 4 0 632270874 1919369216 383003 33554432000 4194304 4580107 140733286168448 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17015/tid=17017] ppid=17013 vsize=1874384 CPUtime=1203.55 cores=1,3,5,7
/proc/17015/task/17017/stat : 17017 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 577009 0 0 0 120155 200 0 0 25 0 4 0 632270874 1919369216 383003 33554432000 4194304 4580107 140733286168448 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17015/tid=17018] ppid=17013 vsize=1874384 CPUtime=1201.05 cores=1,3,5,7
/proc/17015/task/17018/stat : 17018 (strangenight2-m) R 17013 17015 16886 0 -1 4202560 493230 0 0 0 119927 178 0 0 25 0 4 0 632270874 1919369216 383003 33554432000 4194304 4580107 140733286168448 18446744073709551615 4294455 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 1874384

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.69
CPU time (s): 4800.18
CPU user time (s): 4792.65
CPU system time (s): 7.52685
CPU usage (%): 398.79
Max. virtual memory (cumulated for all children) (KiB): 1874384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.65
system time used= 7.52686
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2183667
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= 3493
involuntary context switches= 18324

runsolver used 4.12437 second user time and 10.0375 second system time

The end

Launcher Data 

Begin job on node142 at 2011-05-14 20:42:34
IDJOB=3366200
IDBENCH=82609
IDSOLVER=1844
FILE ID=node142/3366200-1305398554
RUNJOBID= node142-1305397348-16905
PBS_JOBID= 13324456
Free space on /tmp= 73440 MiB

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

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

MD5SUM BENCH= 4a57833314362e0939d4095b3206ad82
RANDOM SEED=1759882238

node142.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.846
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.69
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.846
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	: 5131.95
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.846
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.82
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.846
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.67
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.846
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.81
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.846
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.846
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.846
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:     32951124 kB
MemFree:      24268556 kB
Buffers:        311976 kB
Cached:        3824440 kB
SwapCached:      11520 kB
Active:        6030824 kB
Inactive:      2320868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24268556 kB
SwapTotal:    67111528 kB
SwapFree:     65980216 kB
Dirty:            8204 kB
Writeback:           0 kB
AnonPages:     4212492 kB
Mapped:          19792 kB
Slab:           234292 kB
PageTables:      31868 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 77022944 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= 73428 MiB
End job on node142 at 2011-05-14 21:02:40