Trace number 3366206

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.53 1202.99

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v30000-c126000-S379804333-028-UNKNOWN.cnf
MD5SUM0aa289a52d8d004ea581b39b43a8a19a
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark62.4335
Satisfiable
(Un)Satisfiability was proved
Number of variables29999
Number of clauses126000
Sum of the clauses size378000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3126000
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-3366206-1305398606.cnf'
0.00/0.01	c -- header says num vars:          29999
0.00/0.01	c -- header says num clauses:      126000
0.00/0.10	c -- clauses added:            0 learnts,       126000 normals,            0 xors
0.00/0.10	c -- vars added      29999
0.00/0.26	c Parsing time:  0.08 s
0.00/0.26	c  N st     0         0     29999    126000         0         0    378000         0   no data   no data
0.00/0.26	c asymm  cl-useful: 0/126000/126000 lits-rem:0 time: 0.11
0.00/0.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
0.21/0.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.21/0.38	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.21/0.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.21/0.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29999 time:  0.01 s
0.21/0.38	c Removed useless bin:       0  fixed:     0  props:   0.29M  time:  0.01 s
1.28/0.59	c lits-rem:         0  cl-subs:        0  v-elim:    732  v-fix:    0  time:  0.20 s
1.28/0.60	c Finding binary XORs  T:     0.01 s  found:       0
1.28/0.65	c Finding non-binary XORs:     0.04 s (found:       0, avg size: nan)
1.28/0.65	c calculated reachability. Time: 0.00
1.28/0.66	c Calc default polars -  time:   0.01 s pos:   13264 undec:    3315 neg:   13420
1.28/0.66	c =========================================================================================
1.28/0.66	c types(t): F = full restart, N = normal restart
1.28/0.66	c types(t): S = simplification begin/end, E = solution found
1.28/0.66	c restart types(rt): st = static, dy = dynamic
1.28/0.66	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.28/0.66	c  B st     0         0     29267    125227         0         0    380158         0   no data   no data
8.75/2.25	c  N dy    19      4111     29267    125227         0      4110    380158   1033674    147.55    155.54
15.55/3.94	c  N dy    48      8226     29267    125227         0      8225    380158   2018826    153.29    161.82
22.32/5.70	c  N dy    74     12414     29267    125227         0     12413    380158   3080474    156.30    169.65
29.50/7.43	c  N dy   100     16461     29267    125227         0     16460    380158   4040317    156.20    165.72
36.69/9.21	c  N dy   128     20493     29267    125227         0     10493    380158    733984    157.12    168.04
43.47/10.95	c  N dy   156     24657     29267    125227         0     14657    380158   1749468    156.82    168.53
44.27/11.10	c  F st   160     25000     29267    125227         0     15000    380158   1836638    156.85   no data
53.44/13.45	c  N dy   166     30000     29267    125227         0     20000    380158   3644017    156.85   no data
53.44/13.45	c  S st   166     30000     29267    125227         0     20000    380158   3644017    156.85   no data
54.25/13.67	c  S st   166     30501     29267    125227         0     20501    380158   3726735    156.85   no data
54.25/13.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
54.65/13.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.07
54.65/13.80	c blocked clauses removed:      583 vars:     91 tried:       29267 T: 0.02 s
55.06/13.81	c bin-w-bin subsume rem            0 bins  time:  0.01 s
55.06/13.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
55.06/13.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29176 time:  0.01 s
55.06/13.84	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
55.48/13.98	c lits-rem:         0  cl-subs:        0  v-elim:     15  v-fix:    0  time:  0.13 s
57.04/14.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
60.23/15.18	c lits-rem:         4  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.84 s
61.03/15.33	c asymm  cl-useful: 0/124631/124631 lits-rem:0 time: 0.15
61.03/15.33	c calculated reachability. Time: 0.00
61.03/15.33	c  N dy   166     30501     29161    124631         0     19844    378485   3289099    156.85   no data
68.23/17.18	c  N dy   192     34605     29161    124631         0     23948    378485   4253764    156.19    172.98
76.20/19.11	c  N dy   220     38666     29161    124631         0     28009    378485   5250030    156.64    169.19
83.77/21.01	c  N dy   248     42675     29161    124631         0     16848    378485   1143658    156.63    171.55
89.37/22.40	c  S st   271     45752     29161    124631         0     19924    378485   1912992    157.28   no data
90.18/22.63	c  S st   271     46257     29161    124631         0     20429    378485   2007482    157.28   no data
90.18/22.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
90.60/22.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.08
90.60/22.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
90.60/22.77	c bin-w-bin subsume rem            0 bins  time:  0.01 s
90.60/22.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
90.60/22.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29161 time:  0.01 s
90.96/22.80	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
91.36/22.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
91.76/23.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
92.96/23.36	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.28 s
92.96/23.37	c vivif2 --  cl tried   124631 cl shrink        0 lits rem          0 time: 0.02
93.36/23.41	c vivif2 --  cl tried    20428 cl shrink        0 lits rem          0 time: 0.03
93.76/23.56	c asymm  cl-useful: 0/124631/124631 lits-rem:0 time: 0.15
93.76/23.57	c calculated reachability. Time: 0.00
93.76/23.57	c  N dy   271     46257     29161    124631         0     20428    378485   2007335    157.28   no data
100.94/25.39	c  N dy   303     50357     29161    124631         0     24527    378485   3010548    157.66    184.81
108.52/27.25	c  N dy   330     54435     29161    124631         0     28605    378485   4038403    157.97    185.83
116.10/29.14	c  N dy   358     58448     29161    124631         0     32616    378485   5004813    158.00    177.46
124.08/31.12	c  N dy   384     62582     29161    124631         0     36750    378485   6027634    158.04    166.70
131.27/32.99	c  N dy   407     66752     29161    124631         0     22338    378485   1589604    157.66    167.93
136.05/34.19	c  S st   424     69386     29161    124631         0     24972    378485   2218466    157.63   no data
137.25/34.42	c  S st   424     69890     29161    124631         0     25476    378485   2308039    157.63   no data
137.25/34.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
137.65/34.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.08
137.65/34.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
137.65/34.55	c bin-w-bin subsume rem            0 bins  time:  0.01 s
137.65/34.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
137.65/34.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29161 time:  0.01 s
137.65/34.59	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
138.05/34.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
138.89/34.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
140.44/35.24	c lits-rem:         6  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.37 s
140.44/35.26	c vivif2 --  cl tried   124631 cl shrink        0 lits rem          0 time: 0.02
140.84/35.30	c vivif2 --  cl tried    25475 cl shrink        0 lits rem          0 time: 0.04
141.24/35.46	c asymm  cl-useful: 0/124631/124631 lits-rem:0 time: 0.16
141.24/35.47	c calculated reachability. Time: 0.00
141.24/35.47	c  N dy   424     69890     29161    124631         0     25475    378485   2307797    157.63   no data
149.62/37.58	c  N dy   459     74424     29161    124631         0     30009    378485   3445970    157.92    174.79
158.80/39.82	c  N dy   488     79209     29161    124631         0     34793    378485   4609252    157.71    167.76
168.38/42.24	c  N dy   519     84356     29161    124631         0     39940    378485   5830476    157.43    165.82
174.36/43.79	c  F st   543     87501     29161    124631         0     22294    378485   1047867    157.47   no data
181.15/45.41	c  N st   548     90801     29161    124631         0     25594    378485   2077162    157.47   no data
192.32/48.20	c  N dy   576     96689     29161    124631         0     31480    378485   3729080    157.34    167.50
203.90/51.17	c  N dy   614    102912     29161    124631         0     37703    378485   5215141    156.97    165.68
207.88/52.11	c  S st   628    104835     29161    124631         0     39626    378485   5674845    157.05   no data
208.71/52.37	c  S st   628    105336     29161    124631         0     40127    378485   5759215    157.05   no data
208.71/52.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
209.12/52.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
209.48/52.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
209.48/52.52	c bin-w-bin subsume rem            0 bins  time:  0.01 s
209.48/52.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
209.48/52.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29161 time:  0.01 s
209.48/52.55	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
210.28/52.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
211.48/53.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
218.26/54.74	c lits-rem:        18  cl-subs:        3  v-elim:      0  v-fix:    0  time:  1.63 s
218.26/54.75	c vivif2 --  cl tried   124631 cl shrink        0 lits rem          0 time: 0.02
218.66/54.85	c vivif2 --  cl tried    40124 cl shrink        0 lits rem          0 time: 0.10
219.46/55.04	c asymm  cl-useful: 0/124631/124631 lits-rem:0 time: 0.18
219.46/55.05	c calculated reachability. Time: 0.00
219.46/55.05	c  N dy   628    105336     29161    124631         0     40124    378485   5758722    157.05   no data
233.02/58.40	c  N dy   674    112086     29161    124631         0     24479    378485   1145628    157.13    166.10
246.19/61.78	c  N dy   720    119255     29161    124631         0     31648    378485   2879289    157.11    230.44
261.38/65.51	c  N dy   773    126876     29161    124631         0     39266    378485   4740903    157.04    165.35
277.33/69.54	c  N dy   825    134989     29161    124631         0     47379    378485   6738972    157.08    165.58
293.28/73.55	c  N dy   884    143661     29161    124631         0     32353    378485   2669801    157.02    202.48
311.24/78.01	c  N dy   938    152896     29161    124631         0     41588    378485   4876426    156.77    176.42
321.22/80.59	c  S st   972    158005     29161    124631         0     46697    378485   6115965    156.72    148.89
322.42/80.83	c  S st   972    158507     29161    124631         0     47199    378485   6201331    156.72   no data
322.42/80.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
322.84/80.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.10
322.84/80.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
322.84/81.00	c bin-w-bin subsume rem            0 bins  time:  0.01 s
323.25/81.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
323.25/81.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29161 time:  0.01 s
323.25/81.03	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
323.61/81.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
325.21/81.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
334.39/83.87	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  2.26 s
334.39/83.88	c vivif2 --  cl tried   124631 cl shrink        0 lits rem          0 time: 0.02
334.79/83.99	c vivif2 --  cl tried    47197 cl shrink        0 lits rem          0 time: 0.11
335.59/84.19	c asymm  cl-useful: 0/124631/124631 lits-rem:0 time: 0.20
335.59/84.20	c calculated reachability. Time: 0.00
335.59/84.20	c  N dy   972    158507     29161    124631         0     47197    378485   6199585    156.72   no data
355.95/89.25	c  N dy  1046    168903     29161    124631         0     32746    378485   2516307    156.79    166.92
377.09/94.55	c  N dy  1118    179695     29161    124631         0     43537    378485   5169396    157.02    169.26
400.25/100.38	c  N dy  1196    191397     29161    124631         0     29317    378485   1383256    157.00    168.53
424.23/106.36	c  N dy  1279    203685     29161    124631         0     41605    378485   4336955    156.98    167.16
450.57/112.96	c  N dy  1362    216728     29161    124631         0     27686    378485    706188    156.80    166.28
477.66/119.73	c  N dy  1453    230779     29161    124631         0     41734    378485   4086910    156.66    166.04
491.63/123.21	c  S st  1496    237761     29161    124631         0     48716    378485   5743427    156.52   no data
492.43/123.47	c  S st  1496    238264     29161    124631         0     49219    378485   5835363    156.52   no data
492.43/123.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
492.83/123.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.10
493.24/123.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
493.24/123.64	c bin-w-bin subsume rem            0 bins  time:  0.01 s
493.24/123.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
493.24/123.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29161 time:  0.01 s
493.24/123.67	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
494.05/123.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
495.23/124.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
504.40/126.42	c lits-rem:         7  cl-subs:        5  v-elim:      0  v-fix:    0  time:  2.24 s
504.40/126.44	c vivif2 --  cl tried   124631 cl shrink        0 lits rem          0 time: 0.02
504.80/126.54	c vivif2 --  cl tried    49214 cl shrink        0 lits rem          0 time: 0.10
505.60/126.74	c asymm  cl-useful: 0/124631/124631 lits-rem:0 time: 0.20
505.60/126.75	c calculated reachability. Time: 0.00
505.60/126.75	c  N dy  1496    238264     29161    124631         0     49214    378485   5831595    156.52   no data
535.94/134.37	c  N dy  1599    253549     29161    124631         0     36520    378485   2580813    156.53    171.40
568.68/142.60	c  N dy  1707    269839     29161    124631         0     52809    378485   6518944    156.49    167.43
604.21/151.44	c  N dy  1826    287274     29161    124631         0     41256    378485   3445079    156.58    166.13
642.09/160.90	c  N dy  1948    305689     29161    124631         0     59668    378485   7938863    156.48    167.29
643.30/161.22	c  F st  1952    306250     29161    124631         0     30238    378485    544876    156.47    138.78
681.99/170.99	c  N dy  2053    325326     29161    124631         0     49314    378485   5736816    156.57    169.76
723.50/181.36	c  N dy  2197    345342     29161    124631         0     38334    378485   2293535    156.68    190.14
747.84/187.48	c  S st  2279    357396     29161    124631         0     50387    378485   5160938    156.65   no data
749.07/187.76	c  S st  2279    357897     29161    124631         0     50888    378485   5252505    156.65   no data
749.07/187.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
749.43/187.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.11
749.83/187.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
749.83/187.93	c bin-w-bin subsume rem            0 bins  time:  0.01 s
749.83/187.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
749.83/187.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29161 time:  0.01 s
749.83/187.96	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
750.63/188.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
751.43/188.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
760.21/190.55	c lits-rem:         5  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.13 s
760.21/190.57	c vivif2 --  cl tried   124631 cl shrink        0 lits rem          0 time: 0.02
760.61/190.66	c vivif2 --  cl tried    50885 cl shrink        0 lits rem          0 time: 0.09
761.41/190.86	c asymm  cl-useful: 0/124631/124631 lits-rem:0 time: 0.20
761.41/190.87	c calculated reachability. Time: 0.00
761.41/190.87	c  N dy  2279    357897     29161    124631         0     50885    378485   5251550    156.65   no data
804.11/201.55	c  N dy  2434    377966     29161    124631         0     38951    378485   2177882    156.96    171.65
846.40/212.17	c  N dy  2568    398267     29161    124631         0     59252    378485   7116139    156.93    179.03
887.91/222.54	c  N dy  2705    418388     29161    124631         0     46377    378485   3778214    157.02    168.09
931.41/233.45	c  N dy  2855    438516     29161    124631         0     66505    378485   8825300    157.21    167.12
972.11/243.70	c  N dy  2991    458563     29161    124631         0     52552    378485   5075504    157.27    174.28
1015.21/254.48	c  N dy  3119    478577     29161    124631         0     37571    378485   1078476    157.27    165.68
1057.12/264.98	c  N dy  3256    498754     29161    124631         0     57747    378485   5983345    157.29    165.87
1101.02/275.93	c  N dy  3391    518791     29161    124631         0     41780    378485   1868565    157.32    171.10
1138.93/285.44	c  S st  3513    536845     29161    124631         0     59834    378485   6235473    157.26   no data
1140.12/285.75	c  S st  3513    537346     29161    124631         0     60335    378485   6322905    157.26   no data
1140.12/285.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1140.52/285.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.11
1140.92/285.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1140.92/285.92	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1140.92/285.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1140.92/285.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29161 time:  0.01 s
1140.92/285.96	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
1141.72/286.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
1142.92/286.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1155.29/289.58	c lits-rem:         1  cl-subs:        6  v-elim:      0  v-fix:    0  time:  3.06 s
1155.69/289.60	c vivif2 --  cl tried   124631 cl shrink        0 lits rem          0 time: 0.02
1156.09/289.71	c vivif2 --  cl tried    60329 cl shrink        0 lits rem          0 time: 0.11
1156.91/289.94	c asymm  cl-useful: 0/124631/124631 lits-rem:0 time: 0.22
1156.91/289.95	c calculated reachability. Time: 0.00
1156.91/289.95	c  N dy  3513    537346     29161    124631         0     60329    378485   6320569    157.26   no data
1200.81/301.00	c  N dy  3647    557462     29161    124631         0     43448    378485   2011360    157.25    176.30
1243.90/311.71	c  N dy  3785    577520     29161    124631         0     63506    378485   6916876    157.30    183.50
1288.19/322.82	c  N dy  3926    597612     29161    124631         0     45597    378485   2376996    157.38    166.63
1332.08/333.80	c  N dy  4066    617905     29161    124631         0     65890    378485   7328089    157.43    169.62
1376.82/345.03	c  N dy  4202    637977     29161    124631         0     46963    378485   2424158    157.44    166.13
1420.30/356.00	c  N dy  4338    658010     29161    124631         0     66993    378485   7369943    157.49    165.84
1465.37/367.29	c  N dy  4477    678122     29161    124631         0     47108    378485   2234723    157.56    168.72
1509.68/378.31	c  N dy  4614    698132     29161    124631         0     67116    378485   7109269    157.59    165.90
1555.57/389.84	c  N dy  4758    718304     29161    124631         0     46291    378485   1753111    157.64    166.74
1599.07/400.79	c  N dy  4893    738471     29161    124631         0     66457    378485   6703097    157.65    167.51
1645.36/412.38	c  N dy  5028    758535     29161    124631         0     44528    378485   1112075    157.65    167.60
1689.26/423.36	c  N dy  5170    778587     29161    124631         0     64579    378485   6063653    157.70    166.63
1735.96/435.04	c  N dy  5308    798657     29161    124631         0     84649    378485  10989974    157.75    176.30
1751.92/439.02	c  S st  5359    806019     29161    124631         0     49005    378485   1945403    157.74   no data
1752.71/439.29	c  S st  5359    806523     29161    124631         0     49509    378485   2035105    157.74   no data
1753.12/439.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1753.52/439.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.10
1753.52/439.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1753.52/439.45	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1753.52/439.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1753.52/439.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29161 time:  0.01 s
1753.52/439.48	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
1754.35/439.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
1754.71/439.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1757.50/440.45	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.69 s
1757.50/440.47	c vivif2 --  cl tried   124631 cl shrink        0 lits rem          0 time: 0.02
1757.90/440.51	c vivif2 --  cl tried    49508 cl shrink        0 lits rem          0 time: 0.04
1758.74/440.72	c asymm  cl-useful: 0/124631/124631 lits-rem:0 time: 0.20
1758.74/440.73	c calculated reachability. Time: 0.00
1758.74/440.73	c  N dy  5359    806523     29161    124631         0     49508    378485   2034969    157.74   no data
1802.99/451.84	c  N dy  5504    826610     29161    124631         0     69595    378485   7016808    157.79    202.87
1850.51/463.79	c  N dy  5647    846680     29161    124631         0     45669    378485    913527    157.87    167.87
1894.83/474.89	c  N dy  5792    866790     29161    124631         0     65777    378485   5914174    158.01    175.23
1941.88/486.63	c  N dy  5933    886872     29161    124631         0     85859    378485  10833511    158.05    168.70
1986.60/497.82	c  N dy  6075    906977     29161    124631         0     60962    378485   4412275    158.09    168.80
2032.07/509.29	c  N dy  6199    926988     29161    124631         0     80972    378485   9305315    158.03    168.57
2079.20/521.05	c  N dy  6343    947046     29161    124631         0     55030    378485   2738586    158.07    166.91
2123.86/532.24	c  N dy  6470    967110     29161    124631         0     75092    378485   7575748    158.01    168.54
2172.54/544.45	c  N dy  6614    987182     29161    124631         0     48167    378485    797608    158.08    199.14
2216.84/555.56	c  N dy  6753   1007348     29161    124631         0     68333    378485   5764951    158.12    167.76
2264.74/567.55	c  N dy  6894   1027511     29161    124631         0     88495    378485  10778353    158.20    175.41
2310.63/579.05	c  N dy  7037   1047605     29161    124631         0     60591    378485   3583072    158.22    166.71
2357.31/590.75	c  N dy  7169   1067908     29161    124631         0     80894    378485   8589530    158.25    177.73
2366.50/593.08	c  F st  7192   1071876     29161    124631         0     84862    378485   9551628    158.23    131.43
2406.40/603.01	c  N dy  7278   1088039     29161    124631         0     52023    378485   1295346    158.28    170.68
2450.70/614.18	c  N dy  7415   1108125     29161    124631         0     72109    378485   6251919    158.33    168.78
2498.19/626.10	c  N dy  7548   1128126     29161    124631         0     92110    378485  11194511    158.36    173.58
2545.29/637.86	c  N dy  7686   1148222     29161    124631         0     62214    378485   3539587    158.38    167.09
2591.98/649.52	c  N dy  7824   1168275     29161    124631         0     82265    378485   8552827    158.42    168.53
2642.65/662.21	c  N dy  7968   1188305     29161    124631         0     51300    378485    597965    158.49    167.62
2687.75/673.52	c  N dy  8108   1208311     29161    124631         0     71303    378485   5556840    158.50    167.84
2690.94/674.36	c  S st  8116   1209784     29161    124631         0     72776    378485   5914509    158.49    159.06
2692.14/674.69	c  S st  8116   1210290     29161    124631         0     73282    378485   6018554    158.49   no data
2692.54/674.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2692.94/674.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.12
2692.94/674.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2692.94/674.88	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2692.94/674.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2693.35/674.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29161 time:  0.01 s
2693.35/674.92	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
2693.76/675.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
2695.33/675.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2708.90/678.84	c lits-rem:         4  cl-subs:        5  v-elim:      0  v-fix:    0  time:  3.36 s
2708.90/678.86	c vivif2 --  cl tried   124631 cl shrink        0 lits rem          0 time: 0.02
2709.30/678.97	c vivif2 --  cl tried    73277 cl shrink        0 lits rem          0 time: 0.11
2710.50/679.21	c asymm  cl-useful: 0/124631/124631 lits-rem:0 time: 0.24
2710.50/679.22	c calculated reachability. Time: 0.00
2710.50/679.22	c  N dy  8116   1210290     29161    124631         0     73277    378485   6016986    158.49   no data
2758.79/691.31	c  N dy  8251   1230360     29161    124631         0     93346    378485  11012059    158.51    171.58
2807.08/703.47	c  N dy  8389   1250526     29161    124631         0     61510    378485   2872966    158.52    169.42
2853.37/715.01	c  N dy  8521   1270560     29161    124631         0     81544    378485   7803064    158.51    188.23
2902.46/727.35	c  N dy  8651   1290596     29161    124631         0    101577    378485  12806195    158.53    174.51
2948.74/738.99	c  N dy  8780   1310713     29161    124631         0     68698    378485   4329733    158.51    168.77
2996.67/750.92	c  N dy  8910   1330761     29161    124631         0     88746    378485   9293248    158.51    169.58
3048.11/763.84	c  N dy  9050   1350902     29161    124631         0     54878    378485    753016    158.55    169.82
3093.60/775.20	c  N dy  9186   1370953     29161    124631         0     74927    378485   5764012    158.58    167.00
3142.29/787.47	c  N dy  9332   1391000     29161    124631         0     94974    378485  10746087    158.63    193.47
3192.18/799.94	c  N dy  9463   1411036     29161    124631         0     60015    378485   1772828    158.65    168.96
3238.11/811.48	c  N dy  9591   1431115     29161    124631         0     80092    378485   6703065    158.62    170.36
3287.15/823.77	c  N dy  9722   1451220     29161    124631         0    100197    378485  11689175    158.61    168.24
3336.65/836.18	c  N dy  9864   1471258     29161    124631         0     64237    378485   2551467    158.65    171.42
3384.12/848.02	c  N dy 10005   1491310     29161    124631         0     84288    378485   7446614    158.65    176.37
3433.61/860.46	c  N dy 10139   1511366     29161    124631         0    104343    378485  12390724    158.66    171.03
3483.10/872.81	c  N dy 10276   1531585     29161    124631         0     67564    378485   3103500    158.66    171.67
3530.19/884.68	c  N dy 10408   1551608     29161    124631         0     87586    378485   8038891    158.67    167.95
3581.27/897.43	c  N dy 10545   1571709     29161    124631         0    107685    378485  13035079    158.70    167.37
3630.75/909.82	c  N dy 10687   1591784     29161    124631         0     69758    378485   3480236    158.71    167.42
3679.04/921.92	c  N dy 10828   1611964     29161    124631         0     89937    378485   8453726    158.74    176.85
3730.92/934.92	c  N dy 10973   1632018     29161    124631         0    109987    378485  13494199    158.81    168.27
3780.00/947.29	c  N dy 11112   1652037     29161    124631         0     71009    378485   3594357    158.83    168.70
3828.29/959.35	c  N dy 11249   1672060     29161    124631         0     91031    378485   8504951    158.85    169.15
3880.97/972.57	c  N dy 11388   1692260     29161    124631         0    111230    378485  13605634    158.89    170.37
3925.66/983.74	c  S st 11509   1710290     29161    124631         0     69264    378485   2849654    158.88   no data
3926.88/984.05	c  S st 11509   1710797     29161    124631         0     69771    378485   2937723    158.88   no data
3926.88/984.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3927.30/984.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.12
3927.66/984.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3927.66/984.23	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3927.66/984.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3927.66/984.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29161 time:  0.01 s
3927.66/984.27	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
3928.46/984.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
3928.86/984.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3936.43/986.48	c lits-rem:         8  cl-subs:        3  v-elim:      0  v-fix:    0  time:  1.86 s
3936.83/986.50	c vivif2 --  cl tried   124631 cl shrink        0 lits rem          0 time: 0.02
3936.83/986.56	c vivif2 --  cl tried    69768 cl shrink        0 lits rem          0 time: 0.06
3937.63/986.79	c asymm  cl-useful: 0/124631/124631 lits-rem:0 time: 0.24
3938.03/986.80	c calculated reachability. Time: 0.00
3938.03/986.80	c  N dy 11509   1710797     29161    124631         0     69768    378485   2937006    158.88   no data
3986.32/998.90	c  N dy 11647   1730897     29161    124631         0     89867    378485   7950649    158.90    190.10
4037.80/1011.80	c  N dy 11788   1750906     29161    124631         0    109873    378485  12860060    158.91    171.29
4089.72/1024.84	c  N dy 11931   1771039     29161    124631         0     69012    378485   2585366    158.96    167.40
4138.00/1036.98	c  N dy 12070   1791263     29161    124631         0     89235    378485   7629420    158.99    172.32
4189.05/1049.74	c  N dy 12205   1811336     29161    124631         0    109307    378485  12668249    158.99    169.13
4242.50/1063.17	c  N dy 12343   1831338     29161    124631         0     67313    378485   1892145    159.00    169.72
4290.79/1075.27	c  N dy 12484   1851491     29161    124631         0     87464    378485   6917656    159.05    168.43
4341.46/1087.95	c  N dy 12621   1871640     29161    124631         0    107613    378485  11856087    159.04    172.09
4395.33/1101.41	c  N dy 12754   1891655     29161    124631         0     64632    378485    967312    159.03    170.70
4442.42/1113.23	c  N dy 12883   1911723     29161    124631         0     84700    378485   5895338    159.02    169.70
4492.71/1125.83	c  N dy 13019   1931766     29161    124631         0    104743    378485  10806117    159.03    169.03
4546.58/1139.34	c  N dy 13151   1951982     29161    124631         0    124959    378485  15749661    159.01    169.18
4595.26/1151.53	c  N dy 13295   1972106     29161    124631         0     81084    378485   4856729    159.05    167.76
4644.75/1163.94	c  N dy 13433   1992110     29161    124631         0    101087    378485   9864131    159.07    170.32
4697.83/1177.27	c  N dy 13572   2012152     29161    124631         0    121129    378485  14881859    159.08    171.93
4749.31/1190.17	c  N dy 13706   2032243     29161    124631         0     76224    378485   3375311    159.08    168.34
4798.78/1202.51	c  N dy 13845   2052251     29161    124631         0     96232    378485   8385587    159.10    168.80

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-3366206-1305398606/watcher-3366206-1305398606 -o /tmp/evaluation-result-3366206-1305398606/solver-3366206-1305398606 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366206-1305398606.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.13 8.09 7.99 5/294 4549
/proc/meminfo: memFree=16795956/32951124 swapFree=52307768/67111528
[pid=4549] ppid=4547 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/4549/stat : 4549 (strangenight2-m) R 4547 4549 4414 0 -1 4202496 411 0 0 0 0 0 0 0 21 0 4 0 651463384 52396032 351 33554432000 4194304 4580107 140736053654928 18446744073709551615 47380217386930 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4549/statm: 12792 351 302 95 0 7774 0
[pid=4549/tid=4550] ppid=4547 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/4549/task/4550/stat : 4550 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 4 0 651463385 52396032 351 33554432000 4194304 4580107 140736053654928 18446744073709551615 47380217386521 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4549/tid=4551] ppid=4547 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/4549/task/4551/stat : 4551 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 651463385 52396032 351 33554432000 4194304 4580107 140736053654928 18446744073709551615 47380217386930 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4549/tid=4552] ppid=4547 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/4549/task/4552/stat : 4552 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 651463385 52396032 351 33554432000 4194304 4580107 140736053654928 18446744073709551615 47380217386515 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0473839 s]
/proc/loadavg: 8.13 8.09 7.99 5/294 4549
/proc/meminfo: memFree=16795956/32951124 swapFree=52307768/67111528
[pid=4549] ppid=4547 vsize=305104 CPUtime=0.21 cores=1,3,5,7
/proc/4549/stat : 4549 (strangenight2-m) R 4547 4549 4414 0 -1 4202496 16028 0 0 0 18 3 0 0 18 0 4 0 651463384 312426496 13893 33554432000 4194304 4580107 140736053654928 18446744073709551615 218370654304 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4549/statm: 77344 16327 337 95 0 72326 0
[pid=4549/tid=4550] ppid=4547 vsize=318228 CPUtime=0.25 cores=1,3,5,7
/proc/4549/task/4550/stat : 4550 (strangenight2-m) D 4547 4549 4414 0 -1 4202560 5230 0 0 0 25 0 0 0 18 0 4 0 651463385 325865472 19199 33554432000 4194304 4580107 140736053654928 18446744073709551615 4401259 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4549/tid=4551] ppid=4547 vsize=318568 CPUtime=0.24 cores=1,3,5,7
/proc/4549/task/4551/stat : 4551 (strangenight2-m) D 4547 4549 4414 0 -1 4202560 5328 0 0 0 24 0 0 0 18 0 4 0 651463385 326213632 19426 33554432000 4194304 4580107 140736053654928 18446744073709551615 218371000503 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4549/tid=4552] ppid=4547 vsize=318700 CPUtime=0.25 cores=1,3,5,7
/proc/4549/task/4552/stat : 4552 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 5182 0 0 0 24 1 0 0 18 0 4 0 651463385 326348800 19533 33554432000 4194304 4580107 140736053654928 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 305104

[startup+0.324867 s]
/proc/loadavg: 8.13 8.09 7.99 5/294 4549
/proc/meminfo: memFree=16795956/32951124 swapFree=52307768/67111528
[pid=4549] ppid=4547 vsize=332016 CPUtime=1.28 cores=1,3,5,7
/proc/4549/stat : 4549 (strangenight2-m) R 4547 4549 4414 0 -1 4202496 29211 0 0 0 122 6 0 0 18 0 4 0 651463384 339984384 27048 33554432000 4194304 4580107 140736053654928 18446744073709551615 218371000503 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4549/statm: 83169 27874 363 95 0 78151 0
[pid=4549/tid=4550] ppid=4547 vsize=343464 CPUtime=0.37 cores=1,3,5,7
/proc/4549/task/4550/stat : 4550 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 10144 0 0 0 36 1 0 0 18 0 4 0 651463385 351707136 32689 33554432000 4194304 4580107 140736053654928 18446744073709551615 218371015082 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4549/tid=4551] ppid=4547 vsize=343464 CPUtime=0.36 cores=1,3,5,7
/proc/4549/task/4551/stat : 4551 (strangenight2-m) D 4547 4549 4414 0 -1 4202560 9668 0 0 0 35 1 0 0 18 0 4 0 651463385 351707136 32689 33554432000 4194304 4580107 140736053654928 18446744073709551615 218370654416 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4549/tid=4552] ppid=4547 vsize=343464 CPUtime=0.37 cores=1,3,5,7
/proc/4549/task/4552/stat : 4552 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 5310 0 0 0 36 1 0 0 18 0 4 0 651463385 351707136 32689 33554432000 4194304 4580107 140736053654928 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 332016

[startup+0.481434 s]
/proc/loadavg: 8.13 8.09 7.99 5/294 4549
/proc/meminfo: memFree=16795956/32951124 swapFree=52307768/67111528
[pid=4549] ppid=4547 vsize=346024 CPUtime=1.88 cores=1,3,5,7
/proc/4549/stat : 4549 (strangenight2-m) R 4547 4549 4414 0 -1 4202496 38122 0 0 0 180 8 0 0 18 0 4 0 651463384 354328576 31820 33554432000 4194304 4580107 140736053654928 18446744073709551615 218371000455 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4549/statm: 85424 31429 372 95 0 80406 0
[pid=4549/tid=4550] ppid=4547 vsize=341696 CPUtime=0.46 cores=1,3,5,7
/proc/4549/task/4550/stat : 4550 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 10308 0 0 0 45 1 0 0 18 0 4 0 651463385 349896704 31038 33554432000 4194304 4580107 140736053654928 18446744073709551615 4398272 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4549/tid=4551] ppid=4547 vsize=341696 CPUtime=0.46 cores=1,3,5,7
/proc/4549/task/4551/stat : 4551 (strangenight2-m) D 4547 4549 4414 0 -1 4202560 10999 0 0 0 44 2 0 0 18 0 4 0 651463385 349896704 31038 33554432000 4194304 4580107 140736053654928 18446744073709551615 218371000679 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4549/tid=4552] ppid=4547 vsize=340204 CPUtime=0.89 cores=1,3,5,7
/proc/4549/task/4552/stat : 4552 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 5771 0 0 0 88 1 0 0 19 0 4 0 651463385 348368896 31524 33554432000 4194304 4580107 140736053654928 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 346024

[startup+1.0155 s]
/proc/loadavg: 8.13 8.09 7.99 5/294 4549
/proc/meminfo: memFree=16795956/32951124 swapFree=52307768/67111528
[pid=4549] ppid=4547 vsize=340204 CPUtime=4.02 cores=1,3,5,7
/proc/4549/stat : 4549 (strangenight2-m) R 4547 4549 4414 0 -1 4202496 41947 0 0 0 393 9 0 0 19 0 4 0 651463384 348368896 31813 33554432000 4194304 4580107 140736053654928 18446744073709551615 4295838 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4549/statm: 85051 31813 377 95 0 80033 0
[pid=4549/tid=4550] ppid=4547 vsize=340204 CPUtime=1 cores=1,3,5,7
/proc/4549/task/4550/stat : 4550 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 11081 0 0 0 99 1 0 0 18 0 4 0 651463385 348368896 31813 33554432000 4194304 4580107 140736053654928 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4549/tid=4551] ppid=4547 vsize=340204 CPUtime=0.99 cores=1,3,5,7
/proc/4549/task/4551/stat : 4551 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 12289 0 0 0 97 2 0 0 19 0 4 0 651463385 348368896 31813 33554432000 4194304 4580107 140736053654928 18446744073709551615 4295901 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4549/tid=4552] ppid=4547 vsize=340204 CPUtime=0.99 cores=1,3,5,7
/proc/4549/task/4552/stat : 4552 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 5877 0 0 0 98 1 0 0 19 0 4 0 651463385 348368896 31813 33554432000 4194304 4580107 140736053654928 18446744073709551615 4321491 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.02
Current children cumulated vsize (KiB) 340204

[startup+1.50041 s]
/proc/loadavg: 8.13 8.09 7.99 5/294 4549
/proc/meminfo: memFree=16795956/32951124 swapFree=52307768/67111528
[pid=4549] ppid=4547 vsize=340204 CPUtime=5.96 cores=1,3,5,7
/proc/4549/stat : 4549 (strangenight2-m) R 4547 4549 4414 0 -1 4202496 43503 0 0 0 587 9 0 0 20 0 4 0 651463384 348368896 33265 33554432000 4194304 4580107 140736053654928 18446744073709551615 4293680 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4549/statm: 85051 33266 377 95 0 80033 0
[pid=4549/tid=4550] ppid=4547 vsize=340204 CPUtime=1.48 cores=1,3,5,7
/proc/4549/task/4550/stat : 4550 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 11463 0 0 0 147 1 0 0 19 0 4 0 651463385 348368896 33266 33554432000 4194304 4580107 140736053654928 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4549/tid=4551] ppid=4547 vsize=340204 CPUtime=1.47 cores=1,3,5,7
/proc/4549/task/4551/stat : 4551 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 12728 0 0 0 145 2 0 0 20 0 4 0 651463385 348368896 33266 33554432000 4194304 4580107 140736053654928 18446744073709551615 4292985 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4549/tid=4552] ppid=4547 vsize=340204 CPUtime=1.49 cores=1,3,5,7
/proc/4549/task/4552/stat : 4552 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 6192 0 0 0 147 2 0 0 20 0 4 0 651463385 348368896 33266 33554432000 4194304 4580107 140736053654928 18446744073709551615 218370618401 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 340204

[startup+3.10113 s]
/proc/loadavg: 8.12 8.09 7.99 9/298 4553
/proc/meminfo: memFree=16599200/32951124 swapFree=52307768/67111528
[pid=4549] ppid=4547 vsize=471468 CPUtime=12.34 cores=1,3,5,7
/proc/4549/stat : 4549 (strangenight2-m) R 4547 4549 4414 0 -1 4202496 47858 0 0 0 1224 10 0 0 25 0 4 0 651463384 482783232 37620 33554432000 4194304 4580107 140736053654928 18446744073709551615 4296107 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4549/statm: 117867 37620 377 95 0 112849 0
[pid=4549/tid=4550] ppid=4547 vsize=471468 CPUtime=3.08 cores=1,3,5,7
/proc/4549/task/4550/stat : 4550 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 12400 0 0 0 307 1 0 0 23 0 4 0 651463385 482783232 37620 33554432000 4194304 4580107 140736053654928 18446744073709551615 4293100 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4549/tid=4551] ppid=4547 vsize=471468 CPUtime=3.05 cores=1,3,5,7
/proc/4549/task/4551/stat : 4551 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 13730 0 0 0 303 2 0 0 25 0 4 0 651463385 482783232 37620 33554432000 4194304 4580107 140736053654928 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4549/tid=4552] ppid=4547 vsize=471468 CPUtime=3.08 cores=1,3,5,7
/proc/4549/task/4552/stat : 4552 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 7613 0 0 0 306 2 0 0 25 0 4 0 651463385 482783232 37620 33554432000 4194304 4580107 140736053654928 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 471468

[startup+6.30056 s]
/proc/loadavg: 8.12 8.09 7.99 9/298 4553
/proc/meminfo: memFree=16501240/32951124 swapFree=52307768/67111528
[pid=4549] ppid=4547 vsize=471468 CPUtime=25.11 cores=1,3,5,7
/proc/4549/stat : 4549 (strangenight2-m) R 4547 4549 4414 0 -1 4202496 55494 0 0 0 2499 12 0 0 25 0 4 0 651463384 482783232 45256 33554432000 4194304 4580107 140736053654928 18446744073709551615 4320876 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4549/statm: 117867 45256 377 95 0 112849 0
[pid=4549/tid=4550] ppid=4547 vsize=471468 CPUtime=6.28 cores=1,3,5,7
/proc/4549/task/4550/stat : 4550 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 14169 0 0 0 627 1 0 0 25 0 4 0 651463385 482783232 45256 33554432000 4194304 4580107 140736053654928 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4549/tid=4551] ppid=4547 vsize=471468 CPUtime=6.23 cores=1,3,5,7
/proc/4549/task/4551/stat : 4551 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 15652 0 0 0 620 3 0 0 25 0 4 0 651463385 482783232 45256 33554432000 4194304 4580107 140736053654928 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4549/tid=4552] ppid=4547 vsize=471468 CPUtime=6.29 cores=1,3,5,7
/proc/4549/task/4552/stat : 4552 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 9555 0 0 0 626 3 0 0 25 0 4 0 651463385 482783232 45256 33554432000 4194304 4580107 140736053654928 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 471468

[startup+12.7004 s]
/proc/loadavg: 8.10 8.09 7.99 9/298 4553
/proc/meminfo: memFree=16418224/32951124 swapFree=52307768/67111528
[pid=4549] ppid=4547 vsize=486004 CPUtime=50.67 cores=1,3,5,7
/proc/4549/stat : 4549 (strangenight2-m) R 4547 4549 4414 0 -1 4202496 76817 0 0 0 5049 18 0 0 25 0 4 0 651463384 497668096 44252 33554432000 4194304 4580107 140736053654928 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4549/statm: 121501 44252 378 95 0 116483 0
[pid=4549/tid=4550] ppid=4547 vsize=486004 CPUtime=12.7 cores=1,3,5,7
/proc/4549/task/4550/stat : 4550 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 19302 0 0 0 1267 3 0 0 25 0 4 0 651463385 497668096 44264 33554432000 4194304 4580107 140736053654928 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4549/tid=4551] ppid=4547 vsize=486004 CPUtime=12.57 cores=1,3,5,7
/proc/4549/task/4551/stat : 4551 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 21006 0 0 0 1253 4 0 0 25 0 4 0 651463385 497668096 44264 33554432000 4194304 4580107 140736053654928 18446744073709551615 4324533 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4549/tid=4552] ppid=4547 vsize=486004 CPUtime=12.69 cores=1,3,5,7
/proc/4549/task/4552/stat : 4552 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 14914 0 0 0 1265 4 0 0 25 0 4 0 651463385 497668096 44264 33554432000 4194304 4580107 140736053654928 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 486004

[startup+25.5011 s]
/proc/loadavg: 8.09 8.08 7.99 9/298 4554
/proc/meminfo: memFree=16065804/32951124 swapFree=52307768/67111528
[pid=4549] ppid=4547 vsize=723400 CPUtime=101.74 cores=1,3,5,7
/proc/4549/stat : 4549 (strangenight2-m) R 4547 4549 4414 0 -1 4202496 175182 0 0 0 10132 42 0 0 25 0 4 0 651463384 740761600 107661 33554432000 4194304 4580107 140736053654928 18446744073709551615 4293778 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4549/statm: 180850 107661 379 95 0 175832 0
[pid=4549/tid=4550] ppid=4547 vsize=723400 CPUtime=25.48 cores=1,3,5,7
/proc/4549/task/4550/stat : 4550 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 52215 0 0 0 2539 9 0 0 25 0 4 0 651463385 740761600 107661 33554432000 4194304 4580107 140736053654928 18446744073709551615 4301838 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4549/tid=4551] ppid=4547 vsize=723400 CPUtime=25.26 cores=1,3,5,7
/proc/4549/task/4551/stat : 4551 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 37089 0 0 0 2517 9 0 0 25 0 4 0 651463385 740761600 107661 33554432000 4194304 4580107 140736053654928 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4549/tid=4552] ppid=4547 vsize=723400 CPUtime=25.49 cores=1,3,5,7
/proc/4549/task/4552/stat : 4552 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 35187 0 0 0 2539 10 0 0 25 0 4 0 651463385 740761600 107661 33554432000 4194304 4580107 140736053654928 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 723400

[startup+51.1006 s]
/proc/loadavg: 8.06 8.08 7.99 9/298 4554
/proc/meminfo: memFree=15881620/32951124 swapFree=52307768/67111528
[pid=4549] ppid=4547 vsize=926956 CPUtime=203.9 cores=1,3,5,7
/proc/4549/stat : 4549 (strangenight2-m) R 4547 4549 4414 0 -1 4202496 248097 0 0 0 20326 64 0 0 25 0 4 0 651463384 949202944 140062 33554432000 4194304 4580107 140736053654928 18446744073709551615 4292956 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4549/statm: 231739 140062 379 95 0 226721 0
[pid=4549/tid=4550] ppid=4547 vsize=926956 CPUtime=51.07 cores=1,3,5,7
/proc/4549/task/4550/stat : 4550 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 69412 0 0 0 5093 14 0 0 25 0 4 0 651463385 949202944 140062 33554432000 4194304 4580107 140736053654928 18446744073709551615 4295903 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4549/tid=4551] ppid=4547 vsize=926956 CPUtime=50.62 cores=1,3,5,7
/proc/4549/task/4551/stat : 4551 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 57323 0 0 0 5047 15 0 0 25 0 4 0 651463385 949202944 140062 33554432000 4194304 4580107 140736053654928 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4549/tid=4552] ppid=4547 vsize=926956 CPUtime=51.09 cores=1,3,5,7
/proc/4549/task/4552/stat : 4552 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 51187 0 0 0 5094 15 0 0 25 0 4 0 651463385 949202944 140062 33554432000 4194304 4580107 140736053654928 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.9
Current children cumulated vsize (KiB) 926956

[startup+102.3 s]
/proc/loadavg: 8.12 8.09 8.00 9/298 4556
/proc/meminfo: memFree=15559668/32951124 swapFree=52307768/67111528
[pid=4549] ppid=4547 vsize=1063108 CPUtime=408.23 cores=1,3,5,7
/proc/4549/stat : 4549 (strangenight2-m) R 4547 4549 4414 0 -1 4202496 373573 0 0 0 40717 106 0 0 25 0 4 0 651463384 1088622592 182432 33554432000 4194304 4580107 140736053654928 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4549/statm: 265777 182432 379 95 0 260759 0
[pid=4549/tid=4550] ppid=4547 vsize=1063108 CPUtime=102.27 cores=1,3,5,7
/proc/4549/task/4550/stat : 4550 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 89893 0 0 0 10206 21 0 0 25 0 4 0 651463385 1088622592 182432 33554432000 4194304 4580107 140736053654928 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4549/tid=4551] ppid=4547 vsize=1063108 CPUtime=101.35 cores=1,3,5,7
/proc/4549/task/4551/stat : 4551 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 85491 0 0 0 10108 27 0 0 25 0 4 0 651463385 1088622592 182432 33554432000 4194304 4580107 140736053654928 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4549/tid=4552] ppid=4547 vsize=1063108 CPUtime=102.29 cores=1,3,5,7
/proc/4549/task/4552/stat : 4552 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 86524 0 0 0 10203 26 0 0 25 0 4 0 651463385 1088622592 182432 33554432000 4194304 4580107 140736053654928 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.23
Current children cumulated vsize (KiB) 1063108

[startup+162.301 s]

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

[pid=4549] ppid=4547 vsize=1471568 CPUtime=2563.23 cores=1,3,5,7
/proc/4549/stat : 4549 (strangenight2-m) R 4547 4549 4414 0 -1 4202496 1301005 0 0 0 255892 431 0 0 25 0 4 0 651463384 1506885632 315511 33554432000 4194304 4580107 140736053654928 18446744073709551615 4293182 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4549/statm: 367892 315511 379 95 0 362874 0
[pid=4549/tid=4550] ppid=4547 vsize=1471568 CPUtime=642.26 cores=1,3,5,7
/proc/4549/task/4550/stat : 4550 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 303802 0 0 0 64131 95 0 0 25 0 4 0 651463385 1506885632 315511 33554432000 4194304 4580107 140736053654928 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4549/tid=4551] ppid=4547 vsize=1471568 CPUtime=640.42 cores=1,3,5,7
/proc/4549/task/4551/stat : 4551 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 327186 0 0 0 63928 114 0 0 25 0 4 0 651463385 1506885632 315511 33554432000 4194304 4580107 140736053654928 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4549/tid=4552] ppid=4547 vsize=1471568 CPUtime=641.73 cores=1,3,5,7
/proc/4549/task/4552/stat : 4552 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 331174 0 0 0 64068 105 0 0 25 0 4 0 651463385 1506885632 315511 33554432000 4194304 4580107 140736053654928 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2563.23
Current children cumulated vsize (KiB) 1471568

[startup+702.301 s]
/proc/loadavg: 8.22 8.15 8.05 9/298 4572
/proc/meminfo: memFree=14545564/32951124 swapFree=52307768/67111528
[pid=4549] ppid=4547 vsize=1488172 CPUtime=2802.69 cores=1,3,5,7
/proc/4549/stat : 4549 (strangenight2-m) R 4547 4549 4414 0 -1 4202496 1389199 0 0 0 279802 467 0 0 25 0 4 0 651463384 1523888128 308020 33554432000 4194304 4580107 140736053654928 18446744073709551615 4302075 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4549/statm: 372043 308020 379 95 0 367025 0
[pid=4549/tid=4550] ppid=4547 vsize=1488172 CPUtime=702.26 cores=1,3,5,7
/proc/4549/task/4550/stat : 4550 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 325156 0 0 0 70123 103 0 0 25 0 4 0 651463385 1523888128 308020 33554432000 4194304 4580107 140736053654928 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4549/tid=4551] ppid=4547 vsize=1488172 CPUtime=700.42 cores=1,3,5,7
/proc/4549/task/4551/stat : 4551 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 350018 0 0 0 69918 124 0 0 25 0 4 0 651463385 1523888128 308020 33554432000 4194304 4580107 140736053654928 18446744073709551615 4339916 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4549/tid=4552] ppid=4547 vsize=1488172 CPUtime=701.73 cores=1,3,5,7
/proc/4549/task/4552/stat : 4552 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 353287 0 0 0 70059 114 0 0 25 0 4 0 651463385 1523888128 308020 33554432000 4194304 4580107 140736053654928 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2802.69
Current children cumulated vsize (KiB) 1488172

[startup+762.301 s]
/proc/loadavg: 8.19 8.15 8.05 9/298 4573
/proc/meminfo: memFree=14391888/32951124 swapFree=52307768/67111528
[pid=4549] ppid=4547 vsize=1548852 CPUtime=3042.13 cores=1,3,5,7
/proc/4549/stat : 4549 (strangenight2-m) R 4547 4549 4414 0 -1 4202496 1488637 0 0 0 303709 504 0 0 25 0 4 0 651463384 1586024448 330919 33554432000 4194304 4580107 140736053654928 18446744073709551615 4295727 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4549/statm: 387213 330919 379 95 0 382195 0
[pid=4549/tid=4550] ppid=4547 vsize=1548852 CPUtime=762.25 cores=1,3,5,7
/proc/4549/task/4550/stat : 4550 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 345110 0 0 0 76114 111 0 0 25 0 4 0 651463385 1586024448 330919 33554432000 4194304 4580107 140736053654928 18446744073709551615 4295838 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4549/tid=4551] ppid=4547 vsize=1548852 CPUtime=760.41 cores=1,3,5,7
/proc/4549/task/4551/stat : 4551 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 375921 0 0 0 75908 133 0 0 25 0 4 0 651463385 1586024448 330919 33554432000 4194304 4580107 140736053654928 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4549/tid=4552] ppid=4547 vsize=1548852 CPUtime=761.73 cores=1,3,5,7
/proc/4549/task/4552/stat : 4552 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 381016 0 0 0 76049 124 0 0 25 0 4 0 651463385 1586024448 330919 33554432000 4194304 4580107 140736053654928 18446744073709551615 4301509 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3042.13
Current children cumulated vsize (KiB) 1548852

[startup+822.3 s]
/proc/loadavg: 8.12 8.14 8.05 9/298 4575
/proc/meminfo: memFree=14415288/32951124 swapFree=52307768/67111528
[pid=4549] ppid=4547 vsize=1556200 CPUtime=3281.58 cores=1,3,5,7
/proc/4549/stat : 4549 (strangenight2-m) R 4547 4549 4414 0 -1 4202496 1581367 0 0 0 327614 544 0 0 25 0 4 0 651463384 1593548800 312823 33554432000 4194304 4580107 140736053654928 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4549/statm: 389050 312823 379 95 0 384032 0
[pid=4549/tid=4550] ppid=4547 vsize=1556200 CPUtime=822.26 cores=1,3,5,7
/proc/4549/task/4550/stat : 4550 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 366577 0 0 0 82105 121 0 0 25 0 4 0 651463385 1593548800 312830 33554432000 4194304 4580107 140736053654928 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4549/tid=4551] ppid=4547 vsize=1556200 CPUtime=820.42 cores=1,3,5,7
/proc/4549/task/4551/stat : 4551 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 399767 0 0 0 81899 143 0 0 25 0 4 0 651463385 1593548800 312830 33554432000 4194304 4580107 140736053654928 18446744073709551615 4296101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4549/tid=4552] ppid=4547 vsize=1556200 CPUtime=821.73 cores=1,3,5,7
/proc/4549/task/4552/stat : 4552 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 404798 0 0 0 82037 136 0 0 25 0 4 0 651463385 1593548800 312830 33554432000 4194304 4580107 140736053654928 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3281.58
Current children cumulated vsize (KiB) 1556200

[startup+882.301 s]
/proc/loadavg: 8.14 8.14 8.06 9/298 4576
/proc/meminfo: memFree=14514092/32951124 swapFree=52307768/67111528
[pid=4549] ppid=4547 vsize=1496640 CPUtime=3521.01 cores=1,3,5,7
/proc/4549/stat : 4549 (strangenight2-m) R 4547 4549 4414 0 -1 4202496 1671339 0 0 0 351521 580 0 0 25 0 4 0 651463384 1532559360 304551 33554432000 4194304 4580107 140736053654928 18446744073709551615 4293755 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4549/statm: 374160 304551 379 95 0 369142 0
[pid=4549/tid=4550] ppid=4547 vsize=1496640 CPUtime=882.25 cores=1,3,5,7
/proc/4549/task/4550/stat : 4550 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 388411 0 0 0 88095 130 0 0 25 0 4 0 651463385 1532559360 304551 33554432000 4194304 4580107 140736053654928 18446744073709551615 4293685 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4549/tid=4551] ppid=4547 vsize=1496640 CPUtime=880.41 cores=1,3,5,7
/proc/4549/task/4551/stat : 4551 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 419552 0 0 0 87890 151 0 0 25 0 4 0 651463385 1532559360 304551 33554432000 4194304 4580107 140736053654928 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4549/tid=4552] ppid=4547 vsize=1496640 CPUtime=881.71 cores=1,3,5,7
/proc/4549/task/4552/stat : 4552 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 430123 0 0 0 88026 145 0 0 25 0 4 0 651463385 1532559360 304551 33554432000 4194304 4580107 140736053654928 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3521.01
Current children cumulated vsize (KiB) 1496640

[startup+942.311 s]
/proc/loadavg: 8.09 8.13 8.06 9/298 4578
/proc/meminfo: memFree=14119484/32951124 swapFree=52307768/67111528
[pid=4549] ppid=4547 vsize=1498616 CPUtime=3760.49 cores=1,3,5,7
/proc/4549/stat : 4549 (strangenight2-m) R 4547 4549 4414 0 -1 4202496 1763909 0 0 0 375430 619 0 0 25 0 4 0 651463384 1534582784 316372 33554432000 4194304 4580107 140736053654928 18446744073709551615 4293778 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4549/statm: 374654 316372 379 95 0 369636 0
[pid=4549/tid=4550] ppid=4547 vsize=1498616 CPUtime=942.25 cores=1,3,5,7
/proc/4549/task/4550/stat : 4550 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 408603 0 0 0 94087 138 0 0 25 0 4 0 651463385 1534582784 316372 33554432000 4194304 4580107 140736053654928 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4549/tid=4551] ppid=4547 vsize=1498616 CPUtime=940.41 cores=1,3,5,7
/proc/4549/task/4551/stat : 4551 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 441480 0 0 0 93879 162 0 0 25 0 4 0 651463385 1534582784 316372 33554432000 4194304 4580107 140736053654928 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4549/tid=4552] ppid=4547 vsize=1498616 CPUtime=941.71 cores=1,3,5,7
/proc/4549/task/4552/stat : 4552 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 454174 0 0 0 94016 155 0 0 25 0 4 0 651463385 1534582784 316372 33554432000 4194304 4580107 140736053654928 18446744073709551615 4321038 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3760.49
Current children cumulated vsize (KiB) 1498616

[startup+1002.3 s]
/proc/loadavg: 8.07 8.11 8.06 9/298 4580
/proc/meminfo: memFree=14171764/32951124 swapFree=52307768/67111528
[pid=4549] ppid=4547 vsize=1429484 CPUtime=3999.88 cores=1,3,5,7
/proc/4549/stat : 4549 (strangenight2-m) R 4547 4549 4414 0 -1 4202496 1854974 0 0 0 399332 656 0 0 25 0 4 0 651463384 1463791616 295913 33554432000 4194304 4580107 140736053654928 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4549/statm: 357371 295913 379 95 0 352353 0
[pid=4549/tid=4550] ppid=4547 vsize=1429484 CPUtime=1002.23 cores=1,3,5,7
/proc/4549/task/4550/stat : 4550 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 431079 0 0 0 100078 145 0 0 25 0 4 0 651463385 1463791616 295913 33554432000 4194304 4580107 140736053654928 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4549/tid=4551] ppid=4547 vsize=1429484 CPUtime=1000.41 cores=1,3,5,7
/proc/4549/task/4551/stat : 4551 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 468446 0 0 0 99867 174 0 0 25 0 4 0 651463385 1463791616 295913 33554432000 4194304 4580107 140736053654928 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4549/tid=4552] ppid=4547 vsize=1429484 CPUtime=1001.7 cores=1,3,5,7
/proc/4549/task/4552/stat : 4552 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 475335 0 0 0 100005 165 0 0 25 0 4 0 651463385 1463791616 295913 33554432000 4194304 4580107 140736053654928 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3999.88
Current children cumulated vsize (KiB) 1429484

[startup+1062.3 s]
/proc/loadavg: 8.11 8.12 8.06 9/298 4590
/proc/meminfo: memFree=13977412/32951124 swapFree=52307768/67111528
[pid=4549] ppid=4547 vsize=1622940 CPUtime=4239.3 cores=1,3,5,7
/proc/4549/stat : 4549 (strangenight2-m) R 4547 4549 4414 0 -1 4202496 1967551 0 0 0 423234 696 0 0 25 0 4 0 651463384 1661890560 342653 33554432000 4194304 4580107 140736053654928 18446744073709551615 4294410 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4549/statm: 405735 342653 379 95 0 400717 0
[pid=4549/tid=4550] ppid=4547 vsize=1622940 CPUtime=1062.22 cores=1,3,5,7
/proc/4549/task/4550/stat : 4550 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 452821 0 0 0 106068 154 0 0 25 0 4 0 651463385 1661890560 342653 33554432000 4194304 4580107 140736053654928 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4549/tid=4551] ppid=4547 vsize=1622940 CPUtime=1060.4 cores=1,3,5,7
/proc/4549/task/4551/stat : 4551 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 508378 0 0 0 105855 185 0 0 25 0 4 0 651463385 1661890560 342653 33554432000 4194304 4580107 140736053654928 18446744073709551615 4298994 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4549/tid=4552] ppid=4547 vsize=1622940 CPUtime=1061.69 cores=1,3,5,7
/proc/4549/task/4552/stat : 4552 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 500276 0 0 0 105994 175 0 0 25 0 4 0 651463385 1661890560 342653 33554432000 4194304 4580107 140736053654928 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4239.3
Current children cumulated vsize (KiB) 1622940

[startup+1122.3 s]
/proc/loadavg: 8.15 8.14 8.07 9/298 4592
/proc/meminfo: memFree=14068072/32951124 swapFree=52307768/67111528
[pid=4549] ppid=4547 vsize=1623892 CPUtime=4478.74 cores=1,3,5,7
/proc/4549/stat : 4549 (strangenight2-m) R 4547 4549 4414 0 -1 4202496 2056941 0 0 0 447141 733 0 0 25 0 4 0 651463384 1662865408 323301 33554432000 4194304 4580107 140736053654928 18446744073709551615 4293704 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4549/statm: 405973 323301 379 95 0 400955 0
[pid=4549/tid=4550] ppid=4547 vsize=1623892 CPUtime=1122.21 cores=1,3,5,7
/proc/4549/task/4550/stat : 4550 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 471862 0 0 0 112059 162 0 0 25 0 4 0 651463385 1662865408 323301 33554432000 4194304 4580107 140736053654928 18446744073709551615 4294595 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4549/tid=4551] ppid=4547 vsize=1623892 CPUtime=1120.4 cores=1,3,5,7
/proc/4549/task/4551/stat : 4551 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 534984 0 0 0 111845 195 0 0 25 0 4 0 651463385 1662865408 323301 33554432000 4194304 4580107 140736053654928 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4549/tid=4552] ppid=4547 vsize=1623892 CPUtime=1121.69 cores=1,3,5,7
/proc/4549/task/4552/stat : 4552 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 522895 0 0 0 111985 184 0 0 25 0 4 0 651463385 1662865408 323301 33554432000 4194304 4580107 140736053654928 18446744073709551615 4318437 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4478.74
Current children cumulated vsize (KiB) 1623892

[startup+1182.3 s]
/proc/loadavg: 8.09 8.12 8.07 9/298 4593
/proc/meminfo: memFree=13939708/32951124 swapFree=52307768/67111528
[pid=4549] ppid=4547 vsize=1686752 CPUtime=4718.19 cores=1,3,5,7
/proc/4549/stat : 4549 (strangenight2-m) R 4547 4549 4414 0 -1 4202496 2149047 0 0 0 471048 771 0 0 25 0 4 0 651463384 1727234048 356952 33554432000 4194304 4580107 140736053654928 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4549/statm: 421688 356952 379 95 0 416670 0
[pid=4549/tid=4550] ppid=4547 vsize=1686752 CPUtime=1182.21 cores=1,3,5,7
/proc/4549/task/4550/stat : 4550 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 493216 0 0 0 118050 171 0 0 25 0 4 0 651463385 1727234048 356952 33554432000 4194304 4580107 140736053654928 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4549/tid=4551] ppid=4547 vsize=1686752 CPUtime=1180.4 cores=1,3,5,7
/proc/4549/task/4551/stat : 4551 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 556206 0 0 0 117836 204 0 0 25 0 4 0 651463385 1727234048 356952 33554432000 4194304 4580107 140736053654928 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4549/tid=4552] ppid=4547 vsize=1686752 CPUtime=1181.7 cores=1,3,5,7
/proc/4549/task/4552/stat : 4552 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 548084 0 0 0 117976 194 0 0 25 0 4 0 651463385 1727234048 356952 33554432000 4194304 4580107 140736053654928 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4718.19
Current children cumulated vsize (KiB) 1686752



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.9 s]
/proc/loadavg: 8.14 8.13 8.07 6/297 4597
/proc/meminfo: memFree=15246036/32951124 swapFree=52307768/67111528
[pid=4549] ppid=4547 vsize=1629192 CPUtime=4800.43 cores=1,3,5,7
/proc/4549/stat : 4549 (strangenight2-m) R 4547 4549 4414 0 -1 4202496 2184308 0 0 0 479261 782 0 0 25 0 4 0 651463384 1668292608 335910 33554432000 4194304 4580107 140736053654928 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4549/statm: 407298 335910 379 95 0 402280 0
[pid=4549/tid=4550] ppid=4547 vsize=1629192 CPUtime=1202.82 cores=1,3,5,7
/proc/4549/task/4550/stat : 4550 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 500068 0 0 0 120108 174 0 0 25 0 4 0 651463385 1668292608 335914 33554432000 4194304 4580107 140736053654928 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4549/tid=4551] ppid=4547 vsize=1629192 CPUtime=1201.01 cores=1,3,5,7
/proc/4549/task/4551/stat : 4551 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 565599 0 0 0 119895 206 0 0 25 0 4 0 651463385 1668292608 335914 33554432000 4194304 4580107 140736053654928 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4549/tid=4552] ppid=4547 vsize=1629192 CPUtime=1202.3 cores=1,3,5,7
/proc/4549/task/4552/stat : 4552 (strangenight2-m) R 4547 4549 4414 0 -1 4202560 557286 0 0 0 120034 196 0 0 25 0 4 0 651463385 1668292608 335914 33554432000 4194304 4580107 140736053654928 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.43
Current children cumulated vsize (KiB) 1629192

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.99
CPU time (s): 4800.53
CPU user time (s): 4792.65
CPU system time (s): 7.8848
CPU usage (%): 399.051
Max. virtual memory (cumulated for all children) (KiB): 1750252

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

runsolver used 3.02654 second user time and 7.95079 second system time

The end

Launcher Data 

Begin job on node101 at 2011-05-14 20:43:26
IDJOB=3366206
IDBENCH=82615
IDSOLVER=1844
FILE ID=node101/3366206-1305398606
RUNJOBID= node101-1305397401-4433
PBS_JOBID= 13324459
Free space on /tmp= 73728 MiB

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

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

MD5SUM BENCH= 0aa289a52d8d004ea581b39b43a8a19a
RANDOM SEED=1540644723

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16796236 kB
Buffers:        320064 kB
Cached:        5887012 kB
SwapCached:      14848 kB
Active:       10851520 kB
Inactive:      5029232 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16796236 kB
SwapTotal:    67111528 kB
SwapFree:     52307768 kB
Dirty:           14388 kB
Writeback:           0 kB
AnonPages:     9670028 kB
Mapped:          14504 kB
Slab:           149492 kB
PageTables:      61740 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 42068092 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= 73724 MiB
End job on node101 at 2011-05-14 21:03:31