Trace number 3173791

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.43 1202.08

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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3173791-1304031208.cnf'
0.00/0.00	c -- header says num vars:          35000
0.00/0.00	c -- header says num clauses:      147000
0.67/0.21	c -- clauses added:            0 learnts,       147000 normals,            0 xors
0.67/0.21	c -- vars added      35000
0.67/0.21	c Parsing time:  0.10 s
1.62/0.44	c  N st     0         0     35000    147000         0         0    441000         0   no data   no data
1.62/0.44	c asymm  cl-useful: 0/147000/147000 lits-rem:0 time: 0.14
1.62/0.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.08
1.89/0.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.89/0.59	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.89/0.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.89/0.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  35000 time:  0.01 s
1.89/0.59	c Removed useless bin:       0  fixed:     0  props:   0.34M  time:  0.01 s
3.02/0.85	c lits-rem:         0  cl-subs:        0  v-elim:    894  v-fix:    0  time:  0.26 s
3.02/0.86	c Finding binary XORs  T:     0.01 s  found:       0
3.43/0.92	c Finding non-binary XORs:     0.05 s (found:       0, avg size: nan)
3.43/0.92	c calculated reachability. Time: 0.00
3.43/0.93	c Calc default polars -  time:   0.01 s pos:   15427 undec:    3847 neg:   15726
3.43/0.93	c =========================================================================================
3.43/0.93	c types(t): F = full restart, N = normal restart
3.43/0.93	c types(t): S = simplification begin/end, E = solution found
3.43/0.93	c restart types(rt): st = static, dy = dynamic
3.43/0.93	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.43/0.93	c  B st     0         0     34106    145968         0         0    443386         0   no data   no data
11.00/2.87	c  N dy    21      4081     34106    145968         0      4081    443386   1119539    165.87    175.13
18.60/4.79	c  N dy    49      8083     34106    145968         0      8083    443386   2129038    166.08    174.82
26.60/6.72	c  N dy    75     12096     34106    145968         0     12096    443386   3162486    166.74    179.07
34.58/8.74	c  N dy   103     16125     34106    145968         0     16125    443386   4172995    167.11    196.05
42.96/10.81	c  N dy   131     20172     34106    145968         0     10180    443386    713552    167.01    181.60
50.55/12.72	c  N dy   154     24182     34106    145968         0     14190    443386   1692555    165.74    176.38
52.15/13.15	c  F st   161     25001     34106    145968         0     15009    443386   1914217    165.96   no data
59.35/14.91	c  N st   166     28298     34106    145968         0     18304    443386   3087131    165.96   no data
62.94/15.84	c  S st   167     30002     34106    145968         0     20008    443386   3784195    165.96   no data
63.73/16.09	c  S st   167     30505     34106    145968         0     20511    443386   3871983    165.96   no data
64.13/16.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
64.93/16.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.18
64.93/16.36	c blocked clauses removed:      677 vars:    110 tried:       34106 T: 0.02 s
64.93/16.37	c bin-w-bin subsume rem            0 bins  time:  0.01 s
64.93/16.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
64.93/16.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33996 time:  0.01 s
65.33/16.41	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
66.15/16.61	c lits-rem:         0  cl-subs:        0  v-elim:     20  v-fix:    0  time:  0.20 s
67.33/16.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
71.72/18.04	c lits-rem:         5  cl-subs:        6  v-elim:      0  v-fix:    0  time:  1.01 s
72.52/18.22	c asymm  cl-useful: 0/145276/145276 lits-rem:0 time: 0.17
72.52/18.23	c calculated reachability. Time: 0.00
72.52/18.23	c  N dy   167     30505     33976    145276         0     20266    441435   3761482    165.96   no data
80.91/20.36	c  N dy   196     34525     33976    145276         0     24285    441435   4767894    166.14    205.14
89.70/22.53	c  N dy   225     38550     33976    145276         0     28310    441435   5804077    166.56    186.33
98.48/24.70	c  N dy   250     42703     33976    145276         0     17081    441435   1193529    165.93    176.00
104.47/26.25	c  S st   273     45760     33976    145276         0     20138    441435   1961113    165.93    129.55
105.69/26.52	c  S st   273     46265     33976    145276         0     20643    441435   2081353    165.93   no data
105.69/26.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
106.46/26.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.19
106.46/26.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
106.46/26.79	c bin-w-bin subsume rem            0 bins  time:  0.01 s
106.86/26.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
106.86/26.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33976 time:  0.01 s
106.86/26.83	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
107.26/26.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
108.07/27.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
109.26/27.49	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.32 s
109.66/27.51	c vivif2 --  cl tried   145276 cl shrink        0 lits rem          0 time: 0.02
109.66/27.55	c vivif2 --  cl tried    20643 cl shrink        0 lits rem          0 time: 0.04
110.48/27.73	c asymm  cl-useful: 0/145276/145276 lits-rem:0 time: 0.18
110.48/27.74	c calculated reachability. Time: 0.00
110.48/27.74	c  N dy   273     46265     33976    145276         0     20643    441435   2081352    165.93   no data
118.87/29.86	c  N dy   303     50325     33976    145276         0     24703    441435   3120192    166.14    180.91
127.65/32.01	c  N dy   328     54427     33976    145276         0     28805    441435   4175325    165.83    182.79
136.45/34.25	c  N dy   355     58599     33976    145276         0     32977    441435   5236536    166.03    176.08
145.24/36.46	c  N dy   383     62688     33976    145276         0     37065    441435   6263512    165.90    217.25
153.60/38.60	c  N dy   413     66778     33976    145276         0     22465    441435   1687575    165.79    177.60
159.59/40.00	c  S st   433     69397     33976    145276         0     25084    441435   2358328    165.77    142.91
160.38/40.27	c  S st   433     69899     33976    145276         0     25586    441435   2449930    165.77   no data
160.38/40.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
161.18/40.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.19
161.58/40.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
161.58/40.53	c bin-w-bin subsume rem            0 bins  time:  0.01 s
161.58/40.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
161.58/40.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33976 time:  0.01 s
161.58/40.57	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
162.39/40.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
162.80/40.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
164.78/41.37	c lits-rem:         2  cl-subs:        3  v-elim:      0  v-fix:    0  time:  0.45 s
164.78/41.39	c vivif2 --  cl tried   145276 cl shrink        0 lits rem          0 time: 0.02
165.18/41.44	c vivif2 --  cl tried    25583 cl shrink        0 lits rem          0 time: 0.05
165.98/41.62	c asymm  cl-useful: 0/145276/145276 lits-rem:0 time: 0.19
165.98/41.63	c calculated reachability. Time: 0.00
165.98/41.63	c  N dy   433     69899     33976    145276         0     25583    441435   2448367    165.77   no data
175.57/44.07	c  N dy   466     74442     33976    145276         0     30126    441435   3600926    165.86    236.05
186.75/46.80	c  N dy   500     79431     33976    145276         0     35115    441435   4865778    165.90    177.03
197.95/49.69	c  N dy   536     84561     33976    145276         0     40245    441435   6196134    166.30    184.09
204.33/51.26	c  F st   555     87500     33976    145276         0     22346    441435   1082653    166.18   no data
211.91/53.16	c  N st   560     90795     33976    145276         0     25639    441435   2265374    166.18   no data
225.10/56.42	c  N dy   588     96677     33976    145276         0     31520    441435   4032903    166.10    178.18
238.28/59.75	c  N dy   627    102890     33976    145276         0     37733    441435   5561153    165.81    175.10
242.68/60.85	c  S st   642    104848     33976    145276         0     39691    441435   6080017    166.04    128.50
243.87/61.14	c  S st   642    105350     33976    145276         0     40193    441435   6181070    166.04   no data
243.87/61.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
244.67/61.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.20
245.07/61.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
245.07/61.42	c bin-w-bin subsume rem            0 bins  time:  0.01 s
245.07/61.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
245.07/61.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33976 time:  0.01 s
245.07/61.46	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
245.87/61.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
247.47/62.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
254.66/63.84	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time:  1.71 s
254.66/63.86	c vivif2 --  cl tried   145276 cl shrink        0 lits rem          0 time: 0.02
255.08/63.98	c vivif2 --  cl tried    40189 cl shrink        0 lits rem          0 time: 0.11
255.86/64.19	c asymm  cl-useful: 0/145276/145276 lits-rem:0 time: 0.21
256.26/64.20	c calculated reachability. Time: 0.00
256.26/64.20	c  N dy   642    105350     33976    145276         0     40189    441435   6178239    166.04   no data
271.44/68.04	c  N dy   687    112135     33976    145276         0     24551    441435   1200048    165.96    202.88
287.41/72.00	c  N dy   741    119439     33976    145276         0     31854    441435   3043159    166.08    177.05
304.59/76.38	c  N dy   794    127215     33976    145276         0     39629    441435   5091044    166.29    175.86
323.36/81.03	c  N dy   854    135338     33976    145276         0     24041    441435    718782    166.64    230.85
342.14/85.78	c  N dy   919    144126     33976    145276         0     32827    441435   3032533    167.13    180.91
363.31/91.04	c  N dy   984    153401     33976    145276         0     42102    441435   5404722    167.32    179.65
374.12/93.74	c  S st  1017    158025     33976    145276         0     46726    441435   6633943    167.40    152.30
375.29/94.04	c  S st  1017    158529     33976    145276         0     47229    441435   6726821    167.40   no data
375.29/94.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
376.09/94.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
376.49/94.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
376.49/94.33	c bin-w-bin subsume rem            0 bins  time:  0.01 s
376.49/94.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
376.49/94.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33976 time:  0.01 s
376.49/94.37	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
377.29/94.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.21 s
379.28/95.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
389.27/97.50	c lits-rem:         3  cl-subs:        1  v-elim:      0  v-fix:    0  time:  2.40 s
389.27/97.52	c vivif2 --  cl tried   145276 cl shrink        0 lits rem          0 time: 0.02
389.67/97.65	c vivif2 --  cl tried    47228 cl shrink        0 lits rem          0 time: 0.13
390.47/97.88	c asymm  cl-useful: 0/145276/145276 lits-rem:0 time: 0.23
390.47/97.89	c calculated reachability. Time: 0.00
390.47/97.89	c  N dy  1017    158529     33976    145276         0     47228    441435   6726545    167.40   no data
413.25/103.57	c  N dy  1090    168728     33976    145276         0     32574    441435   2571685    167.50    179.04
437.61/109.66	c  N dy  1162    179673     33976    145276         0     43519    441435   5382765    167.43    178.64
463.97/116.25	c  N dy  1240    191170     33976    145276         0     29091    441435   1365613    167.45    180.62
491.53/123.18	c  N dy  1323    203475     33976    145276         0     41395    441435   4586120    167.64    178.87
522.29/130.89	c  N dy  1417    216659     33976    145276         0     27616    441435    716528    167.82    178.18
553.05/138.56	c  N dy  1511    230584     33976    145276         0     41539    441435   4301204    167.81    182.01
569.83/142.71	c  S st  1560    237793     33976    145276         0     48748    441435   6138422    167.78   no data
571.03/143.01	c  S st  1560    238297     33976    145276         0     49252    441435   6243679    167.78   no data
571.03/143.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
571.85/143.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
571.85/143.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
572.23/143.31	c bin-w-bin subsume rem            0 bins  time:  0.01 s
572.23/143.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
572.23/143.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33976 time:  0.01 s
572.23/143.35	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
573.03/143.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
574.62/143.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
584.21/146.32	c lits-rem:         7  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.34 s
584.21/146.34	c vivif2 --  cl tried   145276 cl shrink        0 lits rem          0 time: 0.02
584.63/146.46	c vivif2 --  cl tried    49249 cl shrink        0 lits rem          0 time: 0.12
585.40/146.69	c asymm  cl-useful: 0/145276/145276 lits-rem:0 time: 0.23
585.80/146.71	c calculated reachability. Time: 0.00
585.80/146.71	c  N dy  1560    238297     33976    145276         0     49249    441435   6242268    167.78   no data
620.55/155.40	c  N dy  1661    253574     33976    145276         0     36543    441435   2785707    167.77    177.62
658.50/164.90	c  N dy  1776    269861     33976    145276         0     52829    441435   7079075    167.95    180.35
698.87/175.01	c  N dy  1896    287164     33976    145276         0     41147    441435   3661485    168.01    190.66
741.59/185.79	c  N dy  2019    305588     33976    145276         0     59569    441435   8445134    168.08    177.38
743.59/186.24	c  F st  2024    306250     33976    145276         0     30236    441435    576112    168.08   no data
787.93/197.35	c  N dy  2126    325123     33976    145276         0     49107    441435   6242718    168.21    186.42
835.48/209.23	c  N dy  2272    345156     33976    145276         0     38139    441435   2417186    168.44    184.89
863.82/216.38	c  S st  2361    357445     33976    145276         0     50428    441435   5621528    168.51   no data
865.02/216.68	c  S st  2361    357945     33976    145276         0     50928    441435   5711666    168.51   no data
865.42/216.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
866.25/216.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
866.25/216.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
866.25/216.98	c bin-w-bin subsume rem            0 bins  time:  0.01 s
866.25/216.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
866.62/217.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33976 time:  0.01 s
866.62/217.02	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
867.42/217.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
868.62/217.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
877.80/219.88	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time:  2.27 s
878.20/219.90	c vivif2 --  cl tried   145276 cl shrink        0 lits rem          0 time: 0.02
878.60/220.01	c vivif2 --  cl tried    50927 cl shrink        0 lits rem          0 time: 0.11
879.42/220.25	c asymm  cl-useful: 0/145276/145276 lits-rem:0 time: 0.23
879.42/220.26	c calculated reachability. Time: 0.00
879.42/220.26	c  N dy  2361    357945     33976    145276         0     50927    441435   5710568    168.51   no data
927.35/232.24	c  N dy  2503    378072     33976    145276         0     39061    441435   2336325    168.72    184.83
974.88/244.13	c  N dy  2635    398202     33976    145276         0     59191    441435   7502398    168.66    181.04
1022.40/256.04	c  N dy  2776    418391     33976    145276         0     46380    441435   3957500    168.70    178.75
1071.14/268.23	c  N dy  2921    438466     33976    145276         0     66452    441435   9307777    169.01    180.76
1118.28/280.03	c  N dy  3057    458645     33976    145276         0     52632    441435   5310428    169.06    178.08
1167.00/292.26	c  N dy  3193    478699     33976    145276         0     37690    441435   1238105    169.18    205.44
1213.73/303.92	c  N dy  3327    498787     33976    145276         0     57778    441435   6438535    169.16    179.32
1262.47/316.19	c  N dy  3469    518835     33976    145276         0     41827    441435   2032718    169.29    194.30
1305.63/326.97	c  S st  3597    536917     33976    145276         0     59908    441435   6752885    169.34   no data
1306.81/327.27	c  S st  3597    537420     33976    145276         0     60411    441435   6842045    169.34   no data
1307.21/327.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1308.01/327.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.23
1308.01/327.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1308.01/327.58	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1308.01/327.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1308.41/327.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33976 time:  0.01 s
1308.41/327.62	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
1309.20/327.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
1310.80/328.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1323.98/331.57	c lits-rem:         4  cl-subs:        4  v-elim:      0  v-fix:    0  time:  3.26 s
1324.38/331.60	c vivif2 --  cl tried   145276 cl shrink        0 lits rem          0 time: 0.02
1324.78/331.73	c vivif2 --  cl tried    60407 cl shrink        0 lits rem          0 time: 0.13
1325.57/331.98	c asymm  cl-useful: 0/145276/145276 lits-rem:0 time: 0.25
1325.57/331.99	c calculated reachability. Time: 0.00
1325.57/331.99	c  N dy  3597    537420     33976    145276         0     60407    441435   6839490    169.34   no data
1375.11/344.39	c  N dy  3731    557432     33976    145276         0     43420    441435   2173664    169.37    179.38
1423.86/356.54	c  N dy  3872    577567     33976    145276         0     63554    441435   7501338    169.50    183.32
1473.78/369.05	c  N dy  4022    597581     33976    145276         0     45570    441435   2458814    169.61    179.06
1522.51/381.29	c  N dy  4167    617693     33976    145276         0     65682    441435   7802029    169.71    179.16
1572.45/393.79	c  N dy  4299    637918     33976    145276         0     46904    441435   2571149    169.70    180.03
1620.78/405.84	c  N dy  4434    657934     33976    145276         0     66920    441435   7761994    169.68    183.30
1671.90/418.61	c  N dy  4571    678086     33976    145276         0     47069    441435   2328026    169.71    180.05
1720.64/430.88	c  N dy  4706    698196     33976    145276         0     67179    441435   7643294    169.76    181.07
1771.77/443.69	c  N dy  4848    718267     33976    145276         0     46251    441435   1865926    169.87    180.99
1820.49/455.86	c  N dy  4985    738313     33976    145276         0     66295    441435   7086534    169.87    178.94
1872.04/468.72	c  N dy  5119    758348     33976    145276         0     44333    441435   1104338    169.84    179.91
1920.77/480.96	c  N dy  5258    778486     33976    145276         0     64471    441435   6327622    169.86    185.94
1972.69/493.94	c  N dy  5392    798683     33976    145276         0     84666    441435  11540489    169.83    187.65
1990.67/498.44	c  S st  5441    806130     33976    145276         0     49120    441435   2125671    169.84   no data
1991.85/498.73	c  S st  5441    806634     33976    145276         0     49624    441435   2222700    169.84   no data
1991.85/498.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1992.65/498.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
1993.05/499.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1993.05/499.03	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1993.05/499.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1993.05/499.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33976 time:  0.01 s
1993.05/499.07	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
1993.85/499.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
1994.25/499.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1997.44/500.17	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time:  0.76 s
1997.44/500.19	c vivif2 --  cl tried   145276 cl shrink        0 lits rem          0 time: 0.02
1997.84/500.24	c vivif2 --  cl tried    49620 cl shrink        0 lits rem          0 time: 0.04
1998.65/500.47	c asymm  cl-useful: 0/145276/145276 lits-rem:0 time: 0.23
1998.65/500.48	c calculated reachability. Time: 0.00
1998.65/500.48	c  N dy  5441    806634     33976    145276         0     49620    441435   2220350    169.84   no data
2047.79/512.72	c  N dy  5575    826677     33976    145276         0     69661    441435   7411261    169.86    186.38
2100.10/525.81	c  N dy  5702    846731     33976    145276         0     45713    441435    954274    169.80    179.19
2148.86/538.08	c  N dy  5845    866923     33976    145276         0     65904    441435   6229177    169.82    183.52
2200.77/551.09	c  N dy  5982    887011     33976    145276         0     85991    441435  11493209    169.84    183.80
2250.70/563.58	c  N dy  6118    907238     33976    145276         0     61222    441435   4779784    169.85    192.14
2302.64/576.52	c  N dy  6254    927365     33976    145276         0     81348    441435   9960796    169.82    180.80
2353.76/589.34	c  N dy  6392    947434     33976    145276         0     55413    441435   2948568    169.83    185.89
2403.70/601.88	c  N dy  6532    967448     33976    145276         0     75424    441435   8246048    169.89    194.42
2458.00/615.48	c  N dy  6683    987633     33976    145276         0     48609    441435    949867    169.97    179.21
2507.94/627.95	c  N dy  6821   1007957     33976    145276         0     68932    441435   6156773    169.94    180.94
2561.07/641.25	c  N dy  6968   1028008     33976    145276         0     88983    441435  11375316    170.00    181.60
2612.81/654.26	c  N dy  7118   1048098     33976    145276         0     61079    441435   3938339    170.04    181.40
2665.71/667.62	c  N dy  7252   1068127     33976    145276         0     81107    441435   9168478    170.05    182.82
2676.07/670.20	c  F st  7280   1071876     33976    145276         0     84856    441435  10188772    170.07   no data
2719.64/681.12	c  N dy  7361   1088158     33976    145276         0     52137    441435   1357285    170.05    181.17
2769.55/693.69	c  N dy  7501   1108276     33976    145276         0     72253    441435   6620418    170.11    183.15
2822.67/706.98	c  N dy  7642   1128313     33976    145276         0     92290    441435  11862359    170.12    188.99
2874.60/719.97	c  N dy  7778   1148404     33976    145276         0     62389    441435   3783205    170.10    180.22
2926.92/733.04	c  N dy  7923   1168466     33976    145276         0     82451    441435   9066904    170.17    182.24
2982.46/746.91	c  N dy  8057   1188536     33976    145276         0     51519    441435    668486    170.15    181.49
3032.39/759.47	c  N dy  8197   1208560     33976    145276         0     71543    441435   5971531    170.21    179.58
3036.00/760.36	c  S st  8206   1209954     33976    145276         0     72937    441435   6323882    170.21   no data
3037.58/760.70	c  S st  8206   1210459     33976    145276         0     73442    441435   6418482    170.21   no data
3037.58/760.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3038.37/760.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.24
3038.78/761.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3038.78/761.03	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3038.78/761.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3038.78/761.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33976 time:  0.01 s
3038.78/761.07	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
3040.00/761.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.23 s
3041.57/761.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3055.56/765.23	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time:  3.49 s
3055.56/765.26	c vivif2 --  cl tried   145276 cl shrink        0 lits rem          0 time: 0.02
3055.96/765.38	c vivif2 --  cl tried    73436 cl shrink        0 lits rem          0 time: 0.13
3057.16/765.66	c asymm  cl-useful: 0/145276/145276 lits-rem:0 time: 0.27
3057.16/765.67	c calculated reachability. Time: 0.00
3057.16/765.67	c  N dy  8206   1210459     33976    145276         0     73436    441435   6415826    170.21   no data
3111.07/779.19	c  N dy  8348   1230614     33976    145276         0     93591    441435  11754901    170.25    179.31
3164.21/792.48	c  N dy  8487   1250691     33976    145276         0     61668    441435   3108217    170.28    190.43
3215.74/805.31	c  N dy  8624   1270777     33976    145276         0     81753    441435   8299086    170.28    213.45
3271.26/819.23	c  N dy  8771   1290802     33976    145276         0    101777    441435  13616337    170.36    179.98
3322.79/832.11	c  N dy  8904   1310915     33976    145276         0     68889    441435   4665601    170.35    182.09
3375.50/845.31	c  N dy  9045   1331073     33976    145276         0     89047    441435   9954458    170.38    180.95
3431.83/859.46	c  N dy  9185   1351125     33976    145276         0     55099    441435    819587    170.41    180.04
3482.56/872.15	c  N dy  9327   1371137     33976    145276         0     75110    441435   6063016    170.44    210.94
3536.51/885.63	c  N dy  9461   1391179     33976    145276         0     95149    441435  11348586    170.44    179.96
3592.00/899.51	c  N dy  9606   1411182     33976    145276         0     60156    441435   1899253    170.51    186.42
3643.13/912.32	c  N dy  9735   1431308     33976    145276         0     80281    441435   7067757    170.48    179.78
3697.86/926.07	c  N dy  9872   1451520     33976    145276         0    100491    441435  12405901    170.50    182.62
3752.57/939.78	c  N dy 10011   1471627     33976    145276         0     64609    441435   2838091    170.50    181.05
3805.30/952.94	c  N dy 10148   1491736     33976    145276         0     84717    441435   8105243    170.50    195.44
3860.82/966.86	c  N dy 10284   1511866     33976    145276         0    104844    441435  13434035    170.52    193.82
3915.54/980.57	c  N dy 10433   1531943     33976    145276         0     67922    441435   3405122    170.57    196.74
3968.27/993.73	c  N dy 10571   1552011     33976    145276         0     87988    441435   8671178    170.58    187.18
4024.61/1007.85	c  N dy 10713   1572156     33976    145276         0    108133    441435  14009371    170.60    180.06
4078.51/1021.31	c  N dy 10848   1592183     33976    145276         0     70157    441435   3810855    170.62    219.86
4130.84/1034.48	c  N dy 10972   1612335     33976    145276         0     90307    441435   9059803    170.60    183.17
4187.56/1048.64	c  N dy 11108   1632445     33976    145276         0    110416    441435  14360740    170.61    180.58
4241.89/1062.23	c  N dy 11245   1652656     33976    145276         0     71633    441435   3890756    170.60    182.23
4295.41/1075.67	c  N dy 11386   1672703     33976    145276         0     91678    441435   9225573    170.63    179.73
4352.93/1090.01	c  N dy 11526   1692810     33976    145276         0    111785    441435  14535599    170.65    180.25
4401.66/1102.21	c  S st 11645   1710459     33976    145276         0     69443    441435   3072029    170.68    157.21
4402.86/1102.55	c  S st 11645   1710959     33976    145276         0     69943    441435   3159152    170.68   no data
4402.86/1102.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4404.06/1102.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.23
4404.06/1102.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4404.06/1102.87	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4404.06/1102.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4404.06/1102.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33976 time:  0.01 s
4404.46/1102.91	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
4405.26/1103.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
4406.06/1103.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4414.04/1105.34	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time:  2.00 s
4414.04/1105.37	c vivif2 --  cl tried   145276 cl shrink        0 lits rem          0 time: 0.02
4414.44/1105.43	c vivif2 --  cl tried    69942 cl shrink        0 lits rem          0 time: 0.06
4415.66/1105.70	c asymm  cl-useful: 0/145276/145276 lits-rem:0 time: 0.27
4415.66/1105.72	c calculated reachability. Time: 0.00
4415.66/1105.72	c  N dy 11645   1710959     33976    145276         0     69942    441435   3159047    170.68   no data
4468.76/1119.01	c  N dy 11785   1731038     33976    145276         0     90020    441435   8443548    170.70    197.02
4525.11/1133.17	c  N dy 11925   1751103     33976    145276         0    110083    441435  13772954    170.73    232.89
4581.02/1147.18	c  N dy 12060   1771119     33976    145276         0     69095    441435   2664816    170.73    185.95
4634.14/1160.46	c  N dy 12200   1791120     33976    145276         0     89094    441435   7920667    170.76    186.77
4690.06/1174.46	c  N dy 12337   1811190     33976    145276         0    109164    441435  13114195    170.74    220.00
4747.58/1188.85	c  N dy 12475   1831309     33976    145276         0     67284    441435   1923894    170.73    195.71

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-3173791-1304031208/watcher-3173791-1304031208 -o /tmp/evaluation-result-3173791-1304031208/solver-3173791-1304031208 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173791-1304031208.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: 8.06 8.06 7.48 5/180 17207
/proc/meminfo: memFree=21068608/32950928 swapFree=67087032/67111528
[pid=17207] ppid=17205 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/17207/stat : 17207 (strangenight2-m) R 17205 17207 16886 0 -1 4202496 409 0 0 0 0 0 0 0 22 0 4 0 514717921 52441088 348 33554432000 4194304 4627427 140734450111424 18446744073709551615 47953437800364 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17207/statm: 12803 348 299 106 0 7774 0
[pid=17207/tid=17208] ppid=17205 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/17207/task/17208/stat : 17208 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 514717922 52441088 348 33554432000 4194304 4627427 140734450111424 18446744073709551615 239476751345 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17207/tid=17209] ppid=17205 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/17207/task/17209/stat : 17209 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 514717922 52441088 348 33554432000 4194304 4627427 140734450111424 18446744073709551615 239476751345 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17207/tid=17210] ppid=17205 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/17207/task/17210/stat : 17210 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 514717922 52441088 348 33554432000 4194304 4627427 140734450111424 18446744073709551615 47953437800370 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.102068 s]
/proc/loadavg: 8.06 8.06 7.48 5/180 17207
/proc/meminfo: memFree=21068608/32950928 swapFree=67087032/67111528
[pid=17207] ppid=17205 vsize=384492 CPUtime=0.33 cores=1,3,5,7
/proc/17207/stat : 17207 (strangenight2-m) R 17205 17207 16886 0 -1 4202496 20818 0 0 0 21 12 0 0 17 0 4 0 514717921 393719808 16670 33554432000 4194304 4627427 140734450111424 18446744073709551615 239476800031 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17207/statm: 96123 16694 339 106 0 91094 0
[pid=17207/tid=17208] ppid=17205 vsize=384492 CPUtime=0.07 cores=1,3,5,7
/proc/17207/task/17208/stat : 17208 (strangenight2-m) S 17205 17207 16886 0 -1 4202560 5074 0 0 0 5 2 0 0 17 0 4 0 514717922 393719808 16703 33554432000 4194304 4627427 140734450111424 18446744073709551615 239476799982 0 0 4096 2 18446604464360047040 0 0 -1 1 0 0 0
[pid=17207/tid=17209] ppid=17205 vsize=384492 CPUtime=0.07 cores=1,3,5,7
/proc/17207/task/17209/stat : 17209 (strangenight2-m) S 17205 17207 16886 0 -1 4202560 4509 0 0 0 4 3 0 0 17 0 4 0 514717922 393719808 16719 33554432000 4194304 4627427 140734450111424 18446744073709551615 239476799982 0 0 4096 2 18446604464360047040 0 0 -1 7 0 0 0
[pid=17207/tid=17210] ppid=17205 vsize=384492 CPUtime=0.08 cores=1,3,5,7
/proc/17207/task/17210/stat : 17210 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 5224 0 0 0 6 2 0 0 18 0 4 0 514717922 393719808 16729 33554432000 4194304 4627427 140734450111424 18446744073709551615 239476800031 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 384492

[startup+0.204026 s]
/proc/loadavg: 8.06 8.06 7.48 5/180 17207
/proc/meminfo: memFree=21068608/32950928 swapFree=67087032/67111528
[pid=17207] ppid=17205 vsize=391372 CPUtime=0.67 cores=1,3,5,7
/proc/17207/stat : 17207 (strangenight2-m) R 17205 17207 16886 0 -1 4202496 26196 0 0 0 43 24 0 0 17 0 4 0 514717921 400764928 22048 33554432000 4194304 4627427 140734450111424 18446744073709551615 4360952 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17207/statm: 97843 22056 353 106 0 92814 0
[pid=17207/tid=17208] ppid=17205 vsize=391372 CPUtime=0.16 cores=1,3,5,7
/proc/17207/task/17208/stat : 17208 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 6563 0 0 0 11 5 0 0 17 0 4 0 514717922 400764928 22064 33554432000 4194304 4627427 140734450111424 18446744073709551615 239476800031 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17207/tid=17209] ppid=17205 vsize=391372 CPUtime=0.15 cores=1,3,5,7
/proc/17207/task/17209/stat : 17209 (strangenight2-m) S 17205 17207 16886 0 -1 4202560 5679 0 0 0 9 6 0 0 17 0 4 0 514717922 400764928 22085 33554432000 4194304 4627427 140734450111424 18446744073709551615 239476799982 0 0 4096 2 18446604464360047040 0 0 -1 7 0 0 0
[pid=17207/tid=17210] ppid=17205 vsize=391372 CPUtime=0.17 cores=1,3,5,7
/proc/17207/task/17210/stat : 17210 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 6865 0 0 0 12 5 0 0 17 0 4 0 514717922 400764928 22102 33554432000 4194304 4627427 140734450111424 18446744073709551615 239476800031 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 391372

[startup+0.438251 s]
/proc/loadavg: 8.06 8.06 7.48 5/180 17207
/proc/meminfo: memFree=21068608/32950928 swapFree=67087032/67111528
[pid=17207] ppid=17205 vsize=398260 CPUtime=1.62 cores=1,3,5,7
/proc/17207/stat : 17207 (strangenight2-m) R 17205 17207 16886 0 -1 4202496 28362 0 0 0 137 25 0 0 18 0 4 0 514717921 407818240 24214 33554432000 4194304 4627427 140734450111424 18446744073709551615 239476800031 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17207/statm: 99565 24411 371 106 0 94536 0
[pid=17207/tid=17208] ppid=17205 vsize=398260 CPUtime=0.39 cores=1,3,5,7
/proc/17207/task/17208/stat : 17208 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 7442 0 0 0 34 5 0 0 18 0 4 0 514717922 407818240 24445 33554432000 4194304 4627427 140734450111424 18446744073709551615 239476392047 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17207/tid=17209] ppid=17205 vsize=398260 CPUtime=0.39 cores=1,3,5,7
/proc/17207/task/17209/stat : 17209 (strangenight2-m) S 17205 17207 16886 0 -1 4202560 6192 0 0 0 33 6 0 0 18 0 4 0 514717922 407818240 24473 33554432000 4194304 4627427 140734450111424 18446744073709551615 239476799982 0 0 4096 2 18446604464360047040 0 0 -1 7 0 0 0
[pid=17207/tid=17210] ppid=17205 vsize=398260 CPUtime=0.41 cores=1,3,5,7
/proc/17207/task/17210/stat : 17210 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 7001 0 0 0 36 5 0 0 18 0 4 0 514717922 407818240 24486 33554432000 4194304 4627427 140734450111424 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 398260

[startup+0.700852 s]
/proc/loadavg: 8.06 8.06 7.48 5/180 17207
/proc/meminfo: memFree=21068608/32950928 swapFree=67087032/67111528
[pid=17207] ppid=17205 vsize=432472 CPUtime=2.62 cores=1,3,5,7
/proc/17207/stat : 17207 (strangenight2-m) R 17205 17207 16886 0 -1 4202496 47132 0 0 0 231 31 0 0 18 0 4 0 514717921 442851328 40070 33554432000 4194304 4627427 140734450111424 18446744073709551615 4467481 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17207/statm: 108118 40070 379 106 0 103089 0
[pid=17207/tid=17208] ppid=17205 vsize=432472 CPUtime=0.64 cores=1,3,5,7
/proc/17207/task/17208/stat : 17208 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 12854 0 0 0 57 7 0 0 18 0 4 0 514717922 442851328 40070 33554432000 4194304 4627427 140734450111424 18446744073709551615 4467393 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17207/tid=17209] ppid=17205 vsize=432472 CPUtime=0.63 cores=1,3,5,7
/proc/17207/task/17209/stat : 17209 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 12941 0 0 0 55 8 0 0 18 0 4 0 514717922 442851328 40070 33554432000 4194304 4627427 140734450111424 18446744073709551615 239476354479 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17207/tid=17210] ppid=17205 vsize=432472 CPUtime=0.66 cores=1,3,5,7
/proc/17207/task/17210/stat : 17210 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 7142 0 0 0 61 5 0 0 18 0 4 0 514717922 442851328 40070 33554432000 4194304 4627427 140734450111424 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 432472

[startup+1.5007 s]
/proc/loadavg: 8.06 8.06 7.48 9/184 17211
/proc/meminfo: memFree=20911360/32950928 swapFree=67087032/67111528
[pid=17207] ppid=17205 vsize=420400 CPUtime=5.81 cores=1,3,5,7
/proc/17207/stat : 17207 (strangenight2-m) R 17205 17207 16886 0 -1 4202496 51504 0 0 0 549 32 0 0 19 0 4 0 514717921 430489600 38748 33554432000 4194304 4627427 140734450111424 18446744073709551615 4308343 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17207/statm: 105100 38748 385 106 0 100071 0
[pid=17207/tid=17208] ppid=17205 vsize=420400 CPUtime=1.43 cores=1,3,5,7
/proc/17207/task/17208/stat : 17208 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 14560 0 0 0 136 7 0 0 19 0 4 0 514717922 430489600 38748 33554432000 4194304 4627427 140734450111424 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17207/tid=17209] ppid=17205 vsize=420400 CPUtime=1.43 cores=1,3,5,7
/proc/17207/task/17209/stat : 17209 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 13932 0 0 0 134 9 0 0 19 0 4 0 514717922 430489600 38748 33554432000 4194304 4627427 140734450111424 18446744073709551615 4333328 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17207/tid=17210] ppid=17205 vsize=420400 CPUtime=1.46 cores=1,3,5,7
/proc/17207/task/17210/stat : 17210 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 7629 0 0 0 141 5 0 0 19 0 4 0 514717922 430489600 38748 33554432000 4194304 4627427 140734450111424 18446744073709551615 4308752 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.81
Current children cumulated vsize (KiB) 420400

[startup+3.10039 s]
/proc/loadavg: 8.06 8.06 7.48 9/184 17211
/proc/meminfo: memFree=20893628/32950928 swapFree=67087032/67111528
[pid=17207] ppid=17205 vsize=551664 CPUtime=12.21 cores=1,3,5,7
/proc/17207/stat : 17207 (strangenight2-m) R 17205 17207 16886 0 -1 4202496 55248 0 0 0 1187 34 0 0 22 0 4 0 514717921 564903936 42420 33554432000 4194304 4627427 140734450111424 18446744073709551615 4308752 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17207/statm: 137916 42421 385 106 0 132887 0
[pid=17207/tid=17208] ppid=17205 vsize=551664 CPUtime=3.04 cores=1,3,5,7
/proc/17207/task/17208/stat : 17208 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 15551 0 0 0 296 8 0 0 22 0 4 0 514717922 564903936 42421 33554432000 4194304 4627427 140734450111424 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17207/tid=17209] ppid=17205 vsize=551664 CPUtime=3.02 cores=1,3,5,7
/proc/17207/task/17209/stat : 17209 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 14853 0 0 0 293 9 0 0 22 0 4 0 514717922 564903936 42421 33554432000 4194304 4627427 140734450111424 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17207/tid=17210] ppid=17205 vsize=551664 CPUtime=3.06 cores=1,3,5,7
/proc/17207/task/17210/stat : 17210 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 8515 0 0 0 301 5 0 0 24 0 4 0 514717922 564903936 42421 33554432000 4194304 4627427 140734450111424 18446744073709551615 4308606 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.21
Current children cumulated vsize (KiB) 551664

[startup+6.30077 s]
/proc/loadavg: 8.06 8.06 7.48 9/184 17212
/proc/meminfo: memFree=20844784/32950928 swapFree=67087032/67111528
[pid=17207] ppid=17205 vsize=551664 CPUtime=24.99 cores=1,3,5,7
/proc/17207/stat : 17207 (strangenight2-m) R 17205 17207 16886 0 -1 4202496 62666 0 0 0 2463 36 0 0 25 0 4 0 514717921 564903936 49838 33554432000 4194304 4627427 140734450111424 18446744073709551615 4327427 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17207/statm: 137916 49840 385 106 0 132887 0
[pid=17207/tid=17208] ppid=17205 vsize=551664 CPUtime=6.24 cores=1,3,5,7
/proc/17207/task/17208/stat : 17208 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 17318 0 0 0 616 8 0 0 25 0 4 0 514717922 564903936 49841 33554432000 4194304 4627427 140734450111424 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17207/tid=17209] ppid=17205 vsize=551664 CPUtime=6.21 cores=1,3,5,7
/proc/17207/task/17209/stat : 17209 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 16567 0 0 0 611 10 0 0 25 0 4 0 514717922 564903936 49841 33554432000 4194304 4627427 140734450111424 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17207/tid=17210] ppid=17205 vsize=551664 CPUtime=6.26 cores=1,3,5,7
/proc/17207/task/17210/stat : 17210 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 10772 0 0 0 620 6 0 0 25 0 4 0 514717922 564903936 49841 33554432000 4194304 4627427 140734450111424 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.99
Current children cumulated vsize (KiB) 551664

[startup+12.7005 s]
/proc/loadavg: 8.13 8.07 7.49 12/184 17243
/proc/meminfo: memFree=22534372/32950928 swapFree=67087032/67111528
[pid=17207] ppid=17205 vsize=449860 CPUtime=50.55 cores=1,3,5,7
/proc/17207/stat : 17207 (strangenight2-m) R 17205 17207 16886 0 -1 4202496 82412 0 0 0 5014 41 0 0 25 0 4 0 514717921 460656640 45451 33554432000 4194304 4627427 140734450111424 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17207/statm: 112465 45451 387 106 0 107436 0
[pid=17207/tid=17208] ppid=17205 vsize=449860 CPUtime=12.64 cores=1,3,5,7
/proc/17207/task/17208/stat : 17208 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 22239 0 0 0 1254 10 0 0 25 0 4 0 514717922 460656640 45451 33554432000 4194304 4627427 140734450111424 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17207/tid=17209] ppid=17205 vsize=449860 CPUtime=12.57 cores=1,3,5,7
/proc/17207/task/17209/stat : 17209 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 21422 0 0 0 1246 11 0 0 25 0 4 0 514717922 460656640 45451 33554432000 4194304 4627427 140734450111424 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17207/tid=17210] ppid=17205 vsize=449860 CPUtime=12.66 cores=1,3,5,7
/proc/17207/task/17210/stat : 17210 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 15781 0 0 0 1259 7 0 0 25 0 4 0 514717922 460656640 45451 33554432000 4194304 4627427 140734450111424 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.55
Current children cumulated vsize (KiB) 449860

[startup+25.5061 s]
/proc/loadavg: 8.30 8.12 7.51 9/184 17243
/proc/meminfo: memFree=22155008/32950928 swapFree=67087032/67111528
[pid=17207] ppid=17205 vsize=670268 CPUtime=101.69 cores=1,3,5,7
/proc/17207/stat : 17207 (strangenight2-m) R 17205 17207 16886 0 -1 4202496 172079 0 0 0 10102 67 0 0 20 0 4 0 514717921 686354432 98441 33554432000 4194304 4627427 140734450111424 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17207/statm: 167567 98441 390 106 0 162538 0
[pid=17207/tid=17208] ppid=17205 vsize=670268 CPUtime=25.44 cores=1,3,5,7
/proc/17207/task/17208/stat : 17208 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 58559 0 0 0 2522 22 0 0 25 0 4 0 514717922 686354432 98441 33554432000 4194304 4627427 140734450111424 18446744073709551615 4332830 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17207/tid=17209] ppid=17205 vsize=670268 CPUtime=25.3 cores=1,3,5,7
/proc/17207/task/17209/stat : 17209 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 38252 0 0 0 2515 15 0 0 25 0 4 0 514717922 686354432 98441 33554432000 4194304 4627427 140734450111424 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17207/tid=17210] ppid=17205 vsize=670268 CPUtime=25.46 cores=1,3,5,7
/proc/17207/task/17210/stat : 17210 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 24893 0 0 0 2536 10 0 0 25 0 4 0 514717922 686354432 98441 33554432000 4194304 4627427 140734450111424 18446744073709551615 4308640 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 670268

[startup+51.1012 s]
/proc/loadavg: 8.20 8.11 7.53 10/184 17244
/proc/meminfo: memFree=21988412/32950928 swapFree=67087032/67111528
[pid=17207] ppid=17205 vsize=780392 CPUtime=203.93 cores=1,3,5,7
/proc/17207/stat : 17207 (strangenight2-m) R 17205 17207 16886 0 -1 4202496 250673 0 0 0 20304 89 0 0 25 0 4 0 514717921 799121408 130100 33554432000 4194304 4627427 140734450111424 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17207/statm: 195098 130100 390 106 0 190069 0
[pid=17207/tid=17208] ppid=17205 vsize=780392 CPUtime=51.04 cores=1,3,5,7
/proc/17207/task/17208/stat : 17208 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 72302 0 0 0 5077 27 0 0 25 0 4 0 514717922 799121408 130100 33554432000 4194304 4627427 140734450111424 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17207/tid=17209] ppid=17205 vsize=780392 CPUtime=50.76 cores=1,3,5,7
/proc/17207/task/17209/stat : 17209 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 53735 0 0 0 5056 20 0 0 25 0 4 0 514717922 799121408 130100 33554432000 4194304 4627427 140734450111424 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17207/tid=17210] ppid=17205 vsize=780392 CPUtime=51.06 cores=1,3,5,7
/proc/17207/task/17210/stat : 17210 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 54075 0 0 0 5088 18 0 0 25 0 4 0 514717922 799121408 130100 33554432000 4194304 4627427 140734450111424 18446744073709551615 4321761 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.93
Current children cumulated vsize (KiB) 780392

[startup+102.3 s]
/proc/loadavg: 8.08 8.09 7.55 10/184 17245
/proc/meminfo: memFree=21759840/32950928 swapFree=67087032/67111528
[pid=17207] ppid=17205 vsize=1143708 CPUtime=408.45 cores=1,3,5,7
/proc/17207/stat : 17207 (strangenight2-m) R 17205 17207 16886 0 -1 4202496 371086 0 0 0 40719 126 0 0 25 0 4 0 514717921 1171156992 189979 33554432000 4194304 4627427 140734450111424 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17207/statm: 285927 189979 390 106 0 280898 0
[pid=17207/tid=17208] ppid=17205 vsize=1143708 CPUtime=102.24 cores=1,3,5,7
/proc/17207/task/17208/stat : 17208 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 88369 0 0 0 10192 32 0 0 25 0 4 0 514717922 1171156992 189979 33554432000 4194304 4627427 140734450111424 18446744073709551615 4321739 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17207/tid=17209] ppid=17205 vsize=1143708 CPUtime=101.95 cores=1,3,5,7
/proc/17207/task/17209/stat : 17209 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 87150 0 0 0 10166 29 0 0 25 0 4 0 514717922 1171156992 189979 33554432000 4194304 4627427 140734450111424 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17207/tid=17210] ppid=17205 vsize=1143708 CPUtime=102.27 cores=1,3,5,7
/proc/17207/task/17210/stat : 17210 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 91415 0 0 0 10197 30 0 0 25 0 4 0 514717922 1171156992 189979 33554432000 4194304 4627427 140734450111424 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.45
Current children cumulated vsize (KiB) 1143708

[startup+162.301 s]

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

[pid=17207] ppid=17205 vsize=1648376 CPUtime=2565.46 cores=1,3,5,7
/proc/17207/stat : 17207 (strangenight2-m) R 17205 17207 16886 0 -1 4202496 1318062 0 0 0 256100 446 0 0 25 0 4 0 514717921 1687937024 321120 33554432000 4194304 4627427 140734450111424 18446744073709551615 4327592 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17207/statm: 412094 321120 390 106 0 407065 0
[pid=17207/tid=17208] ppid=17205 vsize=1648376 CPUtime=642.23 cores=1,3,5,7
/proc/17207/task/17208/stat : 17208 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 307608 0 0 0 64116 107 0 0 25 0 4 0 514717922 1687937024 321120 33554432000 4194304 4627427 140734450111424 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17207/tid=17209] ppid=17205 vsize=1648376 CPUtime=641.93 cores=1,3,5,7
/proc/17207/task/17209/stat : 17209 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 312566 0 0 0 64086 107 0 0 25 0 4 0 514717922 1687937024 321120 33554432000 4194304 4627427 140734450111424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17207/tid=17210] ppid=17205 vsize=1648376 CPUtime=642.25 cores=1,3,5,7
/proc/17207/task/17210/stat : 17210 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 351744 0 0 0 64113 112 0 0 25 0 4 0 514717922 1687937024 321120 33554432000 4194304 4627427 140734450111424 18446744073709551615 4308096 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2565.46
Current children cumulated vsize (KiB) 1648376

[startup+702.301 s]
/proc/loadavg: 8.34 8.16 7.81 9/184 17273
/proc/meminfo: memFree=21046384/32950928 swapFree=67087032/67111528
[pid=17207] ppid=17205 vsize=1618800 CPUtime=2804.3 cores=1,3,5,7
/proc/17207/stat : 17207 (strangenight2-m) R 17205 17207 16886 0 -1 4202496 1410761 0 0 0 279947 483 0 0 25 0 4 0 514717921 1657651200 309796 33554432000 4194304 4627427 140734450111424 18446744073709551615 4308712 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17207/statm: 404700 309796 390 106 0 399671 0
[pid=17207/tid=17208] ppid=17205 vsize=1618800 CPUtime=702.23 cores=1,3,5,7
/proc/17207/task/17208/stat : 17208 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 331396 0 0 0 70107 116 0 0 25 0 4 0 514717922 1657651200 309796 33554432000 4194304 4627427 140734450111424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17207/tid=17209] ppid=17205 vsize=1618800 CPUtime=701.79 cores=1,3,5,7
/proc/17207/task/17209/stat : 17209 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 337800 0 0 0 70063 116 0 0 25 0 4 0 514717922 1657651200 309796 33554432000 4194304 4627427 140734450111424 18446744073709551615 4321761 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17207/tid=17210] ppid=17205 vsize=1618800 CPUtime=702.25 cores=1,3,5,7
/proc/17207/task/17210/stat : 17210 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 372097 0 0 0 70106 119 0 0 25 0 4 0 514717922 1657651200 309796 33554432000 4194304 4627427 140734450111424 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2804.3
Current children cumulated vsize (KiB) 1618800

[startup+762.301 s]
/proc/loadavg: 8.23 8.16 7.83 9/184 17275
/proc/meminfo: memFree=20963160/32950928 swapFree=67087032/67111528
[pid=17207] ppid=17205 vsize=1622976 CPUtime=3043.97 cores=1,3,5,7
/proc/17207/stat : 17207 (strangenight2-m) R 17205 17207 16886 0 -1 4202496 1499738 0 0 0 303881 516 0 0 25 0 4 0 514717921 1661927424 326712 33554432000 4194304 4627427 140734450111424 18446744073709551615 4468055 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17207/statm: 405744 326712 390 106 0 400715 0
[pid=17207/tid=17208] ppid=17205 vsize=1622976 CPUtime=762.23 cores=1,3,5,7
/proc/17207/task/17208/stat : 17208 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 355047 0 0 0 76098 125 0 0 25 0 4 0 514717922 1661927424 326712 33554432000 4194304 4627427 140734450111424 18446744073709551615 4333109 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17207/tid=17209] ppid=17205 vsize=1622976 CPUtime=761.79 cores=1,3,5,7
/proc/17207/task/17209/stat : 17209 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 358699 0 0 0 76054 125 0 0 25 0 4 0 514717922 1661927424 326712 33554432000 4194304 4627427 140734450111424 18446744073709551615 4306044 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17207/tid=17210] ppid=17205 vsize=1622976 CPUtime=762.25 cores=1,3,5,7
/proc/17207/task/17210/stat : 17210 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 397901 0 0 0 76099 126 0 0 25 0 4 0 514717922 1661927424 326712 33554432000 4194304 4627427 140734450111424 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3043.97
Current children cumulated vsize (KiB) 1622976

[startup+822.301 s]
/proc/loadavg: 8.18 8.16 7.85 10/184 17276
/proc/meminfo: memFree=20892072/32950928 swapFree=67087032/67111528
[pid=17207] ppid=17205 vsize=1654992 CPUtime=3283.64 cores=1,3,5,7
/proc/17207/stat : 17207 (strangenight2-m) R 17205 17207 16886 0 -1 4202496 1589548 0 0 0 327816 548 0 0 25 0 4 0 514717921 1694711808 331715 33554432000 4194304 4627427 140734450111424 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17207/statm: 413748 331715 390 106 0 408719 0
[pid=17207/tid=17208] ppid=17205 vsize=1654992 CPUtime=822.24 cores=1,3,5,7
/proc/17207/task/17208/stat : 17208 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 381944 0 0 0 82090 134 0 0 25 0 4 0 514717922 1694711808 331715 33554432000 4194304 4627427 140734450111424 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17207/tid=17209] ppid=17205 vsize=1654992 CPUtime=821.79 cores=1,3,5,7
/proc/17207/task/17209/stat : 17209 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 378640 0 0 0 82046 133 0 0 25 0 4 0 514717922 1694711808 331715 33554432000 4194304 4627427 140734450111424 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17207/tid=17210] ppid=17205 vsize=1654992 CPUtime=822.25 cores=1,3,5,7
/proc/17207/task/17210/stat : 17210 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 417153 0 0 0 82092 133 0 0 25 0 4 0 514717922 1694711808 331715 33554432000 4194304 4627427 140734450111424 18446744073709551615 4308301 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3283.64
Current children cumulated vsize (KiB) 1654992

[startup+882.301 s]
/proc/loadavg: 8.14 8.15 7.86 10/184 17278
/proc/meminfo: memFree=20832624/32950928 swapFree=67087032/67111528
[pid=17207] ppid=17205 vsize=1674700 CPUtime=3523.32 cores=1,3,5,7
/proc/17207/stat : 17207 (strangenight2-m) R 17205 17207 16886 0 -1 4202496 1682778 0 0 0 351745 587 0 0 25 0 4 0 514717921 1714892800 325080 33554432000 4194304 4627427 140734450111424 18446744073709551615 4308593 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17207/statm: 418675 325080 390 106 0 413646 0
[pid=17207/tid=17208] ppid=17205 vsize=1674700 CPUtime=882.23 cores=1,3,5,7
/proc/17207/task/17208/stat : 17208 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 405735 0 0 0 88080 143 0 0 25 0 4 0 514717922 1714892800 325080 33554432000 4194304 4627427 140734450111424 18446744073709551615 4332689 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17207/tid=17209] ppid=17205 vsize=1674700 CPUtime=881.79 cores=1,3,5,7
/proc/17207/task/17209/stat : 17209 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 401684 0 0 0 88036 143 0 0 25 0 4 0 514717922 1714892800 325080 33554432000 4194304 4627427 140734450111424 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17207/tid=17210] ppid=17205 vsize=1674700 CPUtime=882.26 cores=1,3,5,7
/proc/17207/task/17210/stat : 17210 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 440354 0 0 0 88084 142 0 0 25 0 4 0 514717922 1714892800 325080 33554432000 4194304 4627427 140734450111424 18446744073709551615 4327622 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3523.32
Current children cumulated vsize (KiB) 1674700

[startup+942.301 s]
/proc/loadavg: 8.18 8.17 7.88 9/184 17280
/proc/meminfo: memFree=20748288/32950928 swapFree=67087032/67111528
[pid=17207] ppid=17205 vsize=1819356 CPUtime=3762.96 cores=1,3,5,7
/proc/17207/stat : 17207 (strangenight2-m) R 17205 17207 16886 0 -1 4202496 1775373 0 0 0 375676 620 0 0 25 0 4 0 514717921 1863020544 351325 33554432000 4194304 4627427 140734450111424 18446744073709551615 4330946 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17207/statm: 454839 351325 390 106 0 449810 0
[pid=17207/tid=17208] ppid=17205 vsize=1819356 CPUtime=942.23 cores=1,3,5,7
/proc/17207/task/17208/stat : 17208 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 429589 0 0 0 94071 152 0 0 25 0 4 0 514717922 1863020544 351325 33554432000 4194304 4627427 140734450111424 18446744073709551615 4306485 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17207/tid=17209] ppid=17205 vsize=1819356 CPUtime=941.78 cores=1,3,5,7
/proc/17207/task/17209/stat : 17209 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 422855 0 0 0 94026 152 0 0 25 0 4 0 514717922 1863020544 351325 33554432000 4194304 4627427 140734450111424 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17207/tid=17210] ppid=17205 vsize=1819356 CPUtime=942.25 cores=1,3,5,7
/proc/17207/task/17210/stat : 17210 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 465368 0 0 0 94074 151 0 0 25 0 4 0 514717922 1863020544 351325 33554432000 4194304 4627427 140734450111424 18446744073709551615 4321761 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3762.96
Current children cumulated vsize (KiB) 1819356

[startup+1002.31 s]
/proc/loadavg: 8.13 8.16 7.90 9/184 17281
/proc/meminfo: memFree=20740944/32950928 swapFree=67087032/67111528
[pid=17207] ppid=17205 vsize=1817728 CPUtime=4002.64 cores=1,3,5,7
/proc/17207/stat : 17207 (strangenight2-m) R 17205 17207 16886 0 -1 4202496 1867326 0 0 0 399609 655 0 0 25 0 4 0 514717921 1861353472 345674 33554432000 4194304 4627427 140734450111424 18446744073709551615 4327427 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17207/statm: 454432 345674 390 106 0 449403 0
[pid=17207/tid=17208] ppid=17205 vsize=1817728 CPUtime=1002.23 cores=1,3,5,7
/proc/17207/task/17208/stat : 17208 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 451773 0 0 0 100063 160 0 0 25 0 4 0 514717922 1861353472 345674 33554432000 4194304 4627427 140734450111424 18446744073709551615 4329764 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17207/tid=17209] ppid=17205 vsize=1817728 CPUtime=1001.78 cores=1,3,5,7
/proc/17207/task/17209/stat : 17209 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 449258 0 0 0 100016 162 0 0 25 0 4 0 514717922 1861353472 345675 33554432000 4194304 4627427 140734450111424 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17207/tid=17210] ppid=17205 vsize=1817728 CPUtime=1002.25 cores=1,3,5,7
/proc/17207/task/17210/stat : 17210 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 487992 0 0 0 100065 160 0 0 25 0 4 0 514717922 1861353472 345675 33554432000 4194304 4627427 140734450111424 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4002.64
Current children cumulated vsize (KiB) 1817728

[startup+1062.3 s]
/proc/loadavg: 8.13 8.16 7.91 9/184 17283
/proc/meminfo: memFree=20740292/32950928 swapFree=67087032/67111528
[pid=17207] ppid=17205 vsize=1837000 CPUtime=4242.29 cores=1,3,5,7
/proc/17207/stat : 17207 (strangenight2-m) R 17205 17207 16886 0 -1 4202496 1955845 0 0 0 423540 689 0 0 25 0 4 0 514717921 1881088000 352777 33554432000 4194304 4627427 140734450111424 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17207/statm: 459250 352777 390 106 0 454221 0
[pid=17207/tid=17208] ppid=17205 vsize=1837000 CPUtime=1062.22 cores=1,3,5,7
/proc/17207/task/17208/stat : 17208 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 476456 0 0 0 106052 170 0 0 25 0 4 0 514717922 1881088000 352777 33554432000 4194304 4627427 140734450111424 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17207/tid=17209] ppid=17205 vsize=1837000 CPUtime=1061.77 cores=1,3,5,7
/proc/17207/task/17209/stat : 17209 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 469988 0 0 0 106008 169 0 0 25 0 4 0 514717922 1881088000 352777 33554432000 4194304 4627427 140734450111424 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17207/tid=17210] ppid=17205 vsize=1837000 CPUtime=1062.25 cores=1,3,5,7
/proc/17207/task/17210/stat : 17210 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 508759 0 0 0 106057 168 0 0 25 0 4 0 514717922 1881088000 352777 33554432000 4194304 4627427 140734450111424 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4242.29
Current children cumulated vsize (KiB) 1837000

[startup+1122.3 s]
/proc/loadavg: 8.15 8.16 7.92 9/184 17284
/proc/meminfo: memFree=20639684/32950928 swapFree=67087032/67111528
[pid=17207] ppid=17205 vsize=1790132 CPUtime=4481.94 cores=1,3,5,7
/proc/17207/stat : 17207 (strangenight2-m) R 17205 17207 16886 0 -1 4202496 2043535 0 0 0 447470 724 0 0 25 0 4 0 514717921 1833095168 355014 33554432000 4194304 4627427 140734450111424 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17207/statm: 447533 355014 390 106 0 442504 0
[pid=17207/tid=17208] ppid=17205 vsize=1790132 CPUtime=1122.22 cores=1,3,5,7
/proc/17207/task/17208/stat : 17208 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 498603 0 0 0 112044 178 0 0 25 0 4 0 514717922 1833095168 355014 33554432000 4194304 4627427 140734450111424 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17207/tid=17209] ppid=17205 vsize=1790132 CPUtime=1121.77 cores=1,3,5,7
/proc/17207/task/17209/stat : 17209 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 492044 0 0 0 112000 177 0 0 25 0 4 0 514717922 1833095168 355014 33554432000 4194304 4627427 140734450111424 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17207/tid=17210] ppid=17205 vsize=1790132 CPUtime=1122.24 cores=1,3,5,7
/proc/17207/task/17210/stat : 17210 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 528939 0 0 0 112047 177 0 0 25 0 4 0 514717922 1833095168 355014 33554432000 4194304 4627427 140734450111424 18446744073709551615 4308345 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4481.94
Current children cumulated vsize (KiB) 1790132

[startup+1182.3 s]
/proc/loadavg: 8.18 8.16 7.93 9/184 17286
/proc/meminfo: memFree=20629960/32950928 swapFree=67087032/67111528
[pid=17207] ppid=17205 vsize=1805316 CPUtime=4721.62 cores=1,3,5,7
/proc/17207/stat : 17207 (strangenight2-m) R 17205 17207 16886 0 -1 4202496 2126692 0 0 0 471406 756 0 0 25 0 4 0 514717921 1848643584 360892 33554432000 4194304 4627427 140734450111424 18446744073709551615 4308588 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17207/statm: 451329 360892 390 106 0 446300 0
[pid=17207/tid=17208] ppid=17205 vsize=1805316 CPUtime=1182.22 cores=1,3,5,7
/proc/17207/task/17208/stat : 17208 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 520628 0 0 0 118035 187 0 0 25 0 4 0 514717922 1848643584 360892 33554432000 4194304 4627427 140734450111424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17207/tid=17209] ppid=17205 vsize=1805316 CPUtime=1181.76 cores=1,3,5,7
/proc/17207/task/17209/stat : 17209 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 512723 0 0 0 117992 184 0 0 25 0 4 0 514717922 1848643584 360892 33554432000 4194304 4627427 140734450111424 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17207/tid=17210] ppid=17205 vsize=1805316 CPUtime=1182.25 cores=1,3,5,7
/proc/17207/task/17210/stat : 17210 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 549519 0 0 0 118040 185 0 0 25 0 4 0 514717922 1848643584 360892 33554432000 4194304 4627427 140734450111424 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4721.62
Current children cumulated vsize (KiB) 1805316



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202 s]
/proc/loadavg: 8.19 8.16 7.94 9/184 17286
/proc/meminfo: memFree=20508804/32950928 swapFree=67087032/67111528
[pid=17207] ppid=17205 vsize=1831344 CPUtime=4800.32 cores=1,3,5,7
/proc/17207/stat : 17207 (strangenight2-m) R 17205 17207 16886 0 -1 4202496 2161996 0 0 0 479265 767 0 0 25 0 4 0 514717921 1875296256 382358 33554432000 4194304 4627427 140734450111424 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17207/statm: 457836 382358 390 106 0 452807 0
[pid=17207/tid=17208] ppid=17205 vsize=1831344 CPUtime=1201.92 cores=1,3,5,7
/proc/17207/task/17208/stat : 17208 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 527897 0 0 0 120003 189 0 0 25 0 4 0 514717922 1875296256 382359 33554432000 4194304 4627427 140734450111424 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17207/tid=17209] ppid=17205 vsize=1831344 CPUtime=1201.47 cores=1,3,5,7
/proc/17207/task/17209/stat : 17209 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 528545 0 0 0 119959 188 0 0 25 0 4 0 514717922 1875296256 382359 33554432000 4194304 4627427 140734450111424 18446744073709551615 4327897 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17207/tid=17210] ppid=17205 vsize=1831344 CPUtime=1201.95 cores=1,3,5,7
/proc/17207/task/17210/stat : 17210 (strangenight2-m) R 17205 17207 16886 0 -1 4202560 556571 0 0 0 120008 187 0 0 25 0 4 0 514717922 1875296256 382359 33554432000 4194304 4627427 140734450111424 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 1831344

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.08
CPU time (s): 4800.43
CPU user time (s): 4792.68
CPU system time (s): 7.74582
CPU usage (%): 399.342
Max. virtual memory (cumulated for all children) (KiB): 1854416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.68
system time used= 7.74582
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2162007
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= 20766
involuntary context switches= 31322

runsolver used 2.04469 second user time and 4.53631 second system time

The end

Launcher Data 

Begin job on node148 at 2011-04-29 00:53:29
IDJOB=3173791
IDBENCH=82609
IDSOLVER=1586
FILE ID=node148/3173791-1304031208
RUNJOBID= node148-1304028687-16905
PBS_JOBID= 13170304
Free space on /tmp= 71420 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
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-3173791-1304031208/watcher-3173791-1304031208 -o /tmp/evaluation-result-3173791-1304031208/solver-3173791-1304031208 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173791-1304031208.cnf

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

MD5SUM BENCH= 4a57833314362e0939d4095b3206ad82
RANDOM SEED=1039155456

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      21068888 kB
Buffers:       2006560 kB
Cached:        7613200 kB
SwapCached:       3548 kB
Active:        3262736 kB
Inactive:      8055084 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      21068888 kB
SwapTotal:    67111528 kB
SwapFree:     67087032 kB
Dirty:            8212 kB
Writeback:           0 kB
AnonPages:     1695928 kB
Mapped:          14496 kB
Slab:           497720 kB
PageTables:       7740 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  2089412 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= 71420 MiB
End job on node148 at 2011-04-29 01:13:33