Trace number 3173797

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.41 1202.08

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.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-3173797-1304031229.cnf'
0.00/0.00	c -- header says num vars:          29999
0.00/0.00	c -- header says num clauses:      126000
0.34/0.35	c -- clauses added:            0 learnts,       126000 normals,            0 xors
0.34/0.35	c -- vars added      29999
0.34/0.35	c Parsing time:  0.09 s
0.34/0.35	c  N st     0         0     29999    126000         0         0    378000         0   no data   no data
0.34/0.35	c asymm  cl-useful: 0/126000/126000 lits-rem:0 time: 0.11
0.34/0.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.06
1.32/0.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.32/0.48	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.32/0.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.32/0.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29999 time:  0.01 s
1.32/0.48	c Removed useless bin:       0  fixed:     0  props:   0.29M  time:  0.01 s
1.32/1.07	c lits-rem:         0  cl-subs:        0  v-elim:    732  v-fix:    0  time:  0.21 s
1.32/1.07	c Finding binary XORs  T:     0.01 s  found:       0
1.32/1.07	c Finding non-binary XORs:     0.04 s (found:       0, avg size: nan)
1.32/1.07	c calculated reachability. Time: 0.00
1.32/1.07	c Calc default polars -  time:   0.01 s pos:   13264 undec:    3315 neg:   13420
1.32/1.07	c =========================================================================================
1.32/1.07	c types(t): F = full restart, N = normal restart
1.32/1.07	c types(t): S = simplification begin/end, E = solution found
1.32/1.07	c restart types(rt): st = static, dy = dynamic
1.32/1.07	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.32/1.07	c  B st     0         0     29267    125227         0         0    380158         0   no data   no data
9.05/2.38	c  N dy    19      4111     29267    125227         0      4110    380158   1033674    147.55    155.54
16.24/4.11	c  N dy    48      8226     29267    125227         0      8225    380158   2018826    153.29    161.82
23.43/5.91	c  N dy    74     12414     29267    125227         0     12413    380158   3080474    156.30    169.65
30.25/7.67	c  N dy   100     16461     29267    125227         0     16460    380158   4040317    156.20    165.72
37.41/9.48	c  N dy   128     20493     29267    125227         0     10493    380158    733984    157.12    168.04
44.60/11.26	c  N dy   156     24657     29267    125227         0     14657    380158   1749468    156.82    168.53
45.40/11.41	c  F st   160     25000     29267    125227         0     15000    380158   1836638    156.85   no data
54.98/13.81	c  N dy   166     30000     29267    125227         0     20000    380158   3644017    156.85   no data
54.98/13.81	c  S st   166     30000     29267    125227         0     20000    380158   3644017    156.85   no data
55.79/14.03	c  S st   166     30501     29267    125227         0     20501    380158   3726735    156.85   no data
55.79/14.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
56.21/14.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.14
56.61/14.24	c blocked clauses removed:      583 vars:     91 tried:       29267 T: 0.02 s
56.61/14.25	c bin-w-bin subsume rem            0 bins  time:  0.01 s
56.61/14.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
56.61/14.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29176 time:  0.01 s
56.61/14.28	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
57.38/14.44	c lits-rem:         0  cl-subs:        0  v-elim:     15  v-fix:    0  time:  0.15 s
58.58/14.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
62.17/15.67	c lits-rem:         4  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.87 s
62.97/15.82	c asymm  cl-useful: 0/124631/124631 lits-rem:0 time: 0.15
62.97/15.83	c calculated reachability. Time: 0.00
62.97/15.83	c  N dy   166     30501     29161    124631         0     19844    378485   3289099    156.85   no data
70.17/17.68	c  N dy   192     34605     29161    124631         0     23948    378485   4253764    156.19    172.98
78.18/19.66	c  N dy   220     38666     29161    124631         0     28009    378485   5250030    156.64    169.19
85.75/21.57	c  N dy   248     42675     29161    124631         0     16848    378485   1143658    156.63    171.55
91.35/22.97	c  S st   271     45752     29161    124631         0     19924    378485   1912992    157.28   no data
92.53/23.20	c  S st   271     46257     29161    124631         0     20429    378485   2007482    157.28   no data
92.53/23.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
92.92/23.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.15
93.33/23.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
93.33/23.42	c bin-w-bin subsume rem            0 bins  time:  0.01 s
93.33/23.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
93.33/23.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29161 time:  0.01 s
93.33/23.45	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
93.73/23.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
94.52/23.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
95.75/24.04	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.30 s
95.75/24.06	c vivif2 --  cl tried   124631 cl shrink        0 lits rem          0 time: 0.02
95.75/24.09	c vivif2 --  cl tried    20428 cl shrink        0 lits rem          0 time: 0.03
96.52/24.24	c asymm  cl-useful: 0/124631/124631 lits-rem:0 time: 0.15
96.52/24.25	c calculated reachability. Time: 0.00
96.52/24.25	c  N dy   271     46257     29161    124631         0     20428    378485   2007335    157.28   no data
104.11/26.10	c  N dy   303     50357     29161    124631         0     24527    378485   3010548    157.66    184.81
111.30/27.99	c  N dy   330     54435     29161    124631         0     28605    378485   4038403    157.97    185.83
119.28/29.90	c  N dy   358     58448     29161    124631         0     32616    378485   5004813    158.00    177.46
127.27/31.90	c  N dy   384     62582     29161    124631         0     36750    378485   6027634    158.04    166.70
134.87/33.80	c  N dy   407     66752     29161    124631         0     22338    378485   1589604    157.66    167.93
139.67/35.00	c  S st   424     69386     29161    124631         0     24972    378485   2218466    157.63   no data
140.45/35.24	c  S st   424     69890     29161    124631         0     25476    378485   2308039    157.63   no data
140.45/35.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
141.25/35.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.15
141.25/35.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
141.25/35.44	c bin-w-bin subsume rem            0 bins  time:  0.01 s
141.25/35.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
141.25/35.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29161 time:  0.01 s
141.25/35.48	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
142.05/35.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
142.45/35.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
144.07/36.18	c lits-rem:         6  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.40 s
144.07/36.20	c vivif2 --  cl tried   124631 cl shrink        0 lits rem          0 time: 0.02
144.47/36.24	c vivif2 --  cl tried    25475 cl shrink        0 lits rem          0 time: 0.04
144.84/36.39	c asymm  cl-useful: 0/124631/124631 lits-rem:0 time: 0.16
145.24/36.40	c calculated reachability. Time: 0.00
145.24/36.40	c  N dy   424     69890     29161    124631         0     25475    378485   2307797    157.63   no data
153.63/38.54	c  N dy   459     74424     29161    124631         0     30009    378485   3445970    157.92    174.79
162.83/40.80	c  N dy   488     79209     29161    124631         0     34793    378485   4609252    157.71    167.76
172.41/43.25	c  N dy   519     84356     29161    124631         0     39940    378485   5830476    157.43    165.82
178.80/44.81	c  F st   543     87501     29161    124631         0     22294    378485   1047867    157.47   no data
185.18/46.45	c  N st   548     90801     29161    124631         0     25594    378485   2077162    157.47   no data
196.37/49.27	c  N dy   576     96689     29161    124631         0     31480    378485   3729080    157.34    167.50
208.36/52.26	c  N dy   614    102912     29161    124631         0     37703    378485   5215141    156.97    165.68
212.35/53.21	c  S st   628    104835     29161    124631         0     39626    378485   5674845    157.05   no data
213.14/53.47	c  S st   628    105336     29161    124631         0     40127    378485   5759215    157.05   no data
213.14/53.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
213.94/53.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
213.94/53.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
213.94/53.70	c bin-w-bin subsume rem            0 bins  time:  0.01 s
214.37/53.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
214.37/53.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29161 time:  0.01 s
214.37/53.73	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
215.15/53.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
216.34/54.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
223.15/56.00	c lits-rem:        18  cl-subs:        3  v-elim:      0  v-fix:    0  time:  1.69 s
223.56/56.02	c vivif2 --  cl tried   124631 cl shrink        0 lits rem          0 time: 0.02
223.93/56.12	c vivif2 --  cl tried    40124 cl shrink        0 lits rem          0 time: 0.10
224.73/56.30	c asymm  cl-useful: 0/124631/124631 lits-rem:0 time: 0.18
224.73/56.31	c calculated reachability. Time: 0.00
224.73/56.31	c  N dy   628    105336     29161    124631         0     40124    378485   5758722    157.05   no data
237.91/59.68	c  N dy   674    112086     29161    124631         0     24479    378485   1145628    157.13    166.10
251.49/63.07	c  N dy   720    119255     29161    124631         0     31648    378485   2879289    157.11    230.44
266.68/66.83	c  N dy   773    126876     29161    124631         0     39266    378485   4740903    157.04    165.35
282.66/70.89	c  N dy   825    134989     29161    124631         0     47379    378485   6738972    157.08    165.58
299.03/74.95	c  N dy   884    143661     29161    124631         0     32353    378485   2669801    157.02    202.48
317.00/79.45	c  N dy   938    152896     29161    124631         0     41588    378485   4876426    156.77    176.42
327.39/82.04	c  S st   972    158005     29161    124631         0     46697    378485   6115965    156.72    148.89
328.19/82.29	c  S st   972    158507     29161    124631         0     47199    378485   6201331    156.72   no data
328.61/82.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
329.02/82.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
329.39/82.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
329.39/82.53	c bin-w-bin subsume rem            0 bins  time:  0.01 s
329.39/82.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
329.39/82.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29161 time:  0.01 s
329.39/82.57	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
330.19/82.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
331.79/83.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
340.98/85.47	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  2.32 s
340.98/85.49	c vivif2 --  cl tried   124631 cl shrink        0 lits rem          0 time: 0.02
341.38/85.60	c vivif2 --  cl tried    47197 cl shrink        0 lits rem          0 time: 0.11
342.57/85.80	c asymm  cl-useful: 0/124631/124631 lits-rem:0 time: 0.20
342.57/85.81	c calculated reachability. Time: 0.00
342.57/85.81	c  N dy   972    158507     29161    124631         0     47197    378485   6199585    156.72   no data
362.95/90.90	c  N dy  1046    168903     29161    124631         0     32746    378485   2516307    156.79    166.92
384.11/96.24	c  N dy  1118    179695     29161    124631         0     43537    378485   5169396    157.02    169.26
407.70/102.11	c  N dy  1196    191397     29161    124631         0     29317    378485   1383256    157.00    168.53
431.65/108.10	c  N dy  1279    203685     29161    124631         0     41605    378485   4336955    156.98    167.16
458.01/114.72	c  N dy  1362    216728     29161    124631         0     27686    378485    706188    156.80    166.28
485.18/121.53	c  N dy  1453    230779     29161    124631         0     41734    378485   4086910    156.66    166.04
499.16/125.04	c  S st  1496    237761     29161    124631         0     48716    378485   5743427    156.52   no data
499.97/125.30	c  S st  1496    238264     29161    124631         0     49219    378485   5835363    156.52   no data
500.37/125.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
501.16/125.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
501.16/125.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
501.16/125.54	c bin-w-bin subsume rem            0 bins  time:  0.01 s
501.16/125.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
501.16/125.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29161 time:  0.01 s
501.16/125.58	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
501.95/125.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
503.15/126.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
512.74/128.40	c lits-rem:         7  cl-subs:        5  v-elim:      0  v-fix:    0  time:  2.30 s
512.74/128.42	c vivif2 --  cl tried   124631 cl shrink        0 lits rem          0 time: 0.02
513.15/128.53	c vivif2 --  cl tried    49214 cl shrink        0 lits rem          0 time: 0.10
513.93/128.72	c asymm  cl-useful: 0/124631/124631 lits-rem:0 time: 0.20
513.93/128.73	c calculated reachability. Time: 0.00
513.93/128.73	c  N dy  1496    238264     29161    124631         0     49214    378485   5831595    156.52   no data
544.32/136.39	c  N dy  1599    253549     29161    124631         0     36520    378485   2580813    156.53    171.40
577.45/144.69	c  N dy  1707    269839     29161    124631         0     52809    378485   6518944    156.49    167.43
613.00/153.59	c  N dy  1826    287274     29161    124631         0     41256    378485   3445079    156.58    166.13
651.34/163.12	c  N dy  1948    305689     29161    124631         0     59668    378485   7938863    156.48    167.29
652.54/163.44	c  F st  1952    306250     29161    124631         0     30238    378485    544876    156.47    138.78
691.69/173.27	c  N dy  2053    325326     29161    124631         0     49314    378485   5736816    156.57    169.76
733.62/183.74	c  N dy  2197    345342     29161    124631         0     38334    378485   2293535    156.68    190.14
757.99/189.87	c  S st  2279    357396     29161    124631         0     50387    378485   5160938    156.65   no data
759.20/190.15	c  S st  2279    357897     29161    124631         0     50888    378485   5252505    156.65   no data
759.20/190.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
759.98/190.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
759.98/190.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
759.98/190.39	c bin-w-bin subsume rem            0 bins  time:  0.01 s
760.38/190.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
760.38/190.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29161 time:  0.01 s
760.38/190.43	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
760.78/190.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
761.98/190.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
770.78/193.09	c lits-rem:         5  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.18 s
771.18/193.11	c vivif2 --  cl tried   124631 cl shrink        0 lits rem          0 time: 0.02
771.58/193.21	c vivif2 --  cl tried    50885 cl shrink        0 lits rem          0 time: 0.09
772.39/193.41	c asymm  cl-useful: 0/124631/124631 lits-rem:0 time: 0.20
772.39/193.42	c calculated reachability. Time: 0.00
772.39/193.42	c  N dy  2279    357897     29161    124631         0     50885    378485   5251550    156.65   no data
815.12/204.12	c  N dy  2434    377966     29161    124631         0     38951    378485   2177882    156.96    171.65
857.86/214.81	c  N dy  2568    398267     29161    124631         0     59252    378485   7116139    156.93    179.03
899.40/225.23	c  N dy  2705    418388     29161    124631         0     46377    378485   3778214    157.02    168.09
942.94/236.19	c  N dy  2855    438516     29161    124631         0     66505    378485   8825300    157.21    167.12
984.07/246.49	c  N dy  2991    458563     29161    124631         0     52552    378485   5075504    157.27    174.28
1027.64/257.33	c  N dy  3119    478577     29161    124631         0     37571    378485   1078476    157.27    165.68
1069.56/267.83	c  N dy  3256    498754     29161    124631         0     57747    378485   5983345    157.29    165.87
1113.09/278.70	c  N dy  3391    518791     29161    124631         0     41780    378485   1868565    157.32    171.10
1150.66/288.14	c  S st  3513    536845     29161    124631         0     59834    378485   6235473    157.26   no data
1151.84/288.43	c  S st  3513    537346     29161    124631         0     60335    378485   6322905    157.26   no data
1151.84/288.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1152.64/288.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.18
1152.64/288.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1152.64/288.68	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1152.64/288.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1153.04/288.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29161 time:  0.01 s
1153.04/288.72	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
1153.84/288.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
1155.05/289.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1167.82/292.41	c lits-rem:         1  cl-subs:        6  v-elim:      0  v-fix:    0  time:  3.12 s
1167.82/292.43	c vivif2 --  cl tried   124631 cl shrink        0 lits rem          0 time: 0.02
1168.23/292.54	c vivif2 --  cl tried    60329 cl shrink        0 lits rem          0 time: 0.11
1169.01/292.76	c asymm  cl-useful: 0/124631/124631 lits-rem:0 time: 0.22
1169.01/292.77	c calculated reachability. Time: 0.00
1169.01/292.77	c  N dy  3513    537346     29161    124631         0     60329    378485   6320569    157.26   no data
1212.95/303.71	c  N dy  3647    557462     29161    124631         0     43448    378485   2011360    157.25    176.30
1255.30/314.38	c  N dy  3785    577520     29161    124631         0     63506    378485   6916876    157.30    183.50
1299.23/325.39	c  N dy  3926    597612     29161    124631         0     45597    378485   2376996    157.38    166.63
1343.16/336.33	c  N dy  4066    617905     29161    124631         0     65890    378485   7328089    157.43    169.62
1387.52/347.41	c  N dy  4202    637977     29161    124631         0     46963    378485   2424158    157.44    166.13
1430.64/358.28	c  N dy  4338    658010     29161    124631         0     66993    378485   7369943    157.49    165.84
1475.39/369.41	c  N dy  4477    678122     29161    124631         0     47108    378485   2234723    157.56    168.72
1518.91/380.37	c  N dy  4614    698132     29161    124631         0     67116    378485   7109269    157.59    165.90
1564.44/391.79	c  N dy  4758    718304     29161    124631         0     46291    378485   1753111    157.64    166.74
1607.99/402.62	c  N dy  4893    738471     29161    124631         0     66457    378485   6703097    157.65    167.51
1653.92/414.10	c  N dy  5028    758535     29161    124631         0     44528    378485   1112075    157.65    167.60
1697.06/424.94	c  N dy  5170    778587     29161    124631         0     64579    378485   6063653    157.70    166.63
1743.40/436.53	c  N dy  5308    798657     29161    124631         0     84649    378485  10989974    157.75    176.30
1758.95/440.46	c  S st  5359    806019     29161    124631         0     49005    378485   1945403    157.74   no data
1760.17/440.71	c  S st  5359    806523     29161    124631         0     49509    378485   2035105    157.74   no data
1760.17/440.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1760.98/440.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
1760.98/440.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1760.98/440.95	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1760.98/440.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1760.98/440.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29161 time:  0.01 s
1760.98/440.98	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
1761.76/441.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
1762.16/441.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1764.96/441.98	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.71 s
1764.96/442.00	c vivif2 --  cl tried   124631 cl shrink        0 lits rem          0 time: 0.02
1765.37/442.04	c vivif2 --  cl tried    49508 cl shrink        0 lits rem          0 time: 0.04
1766.15/442.24	c asymm  cl-useful: 0/124631/124631 lits-rem:0 time: 0.20
1766.15/442.25	c calculated reachability. Time: 0.00
1766.15/442.25	c  N dy  5359    806523     29161    124631         0     49508    378485   2034969    157.74   no data
1810.08/453.26	c  N dy  5504    826610     29161    124631         0     69595    378485   7016808    157.79    202.87
1857.21/465.05	c  N dy  5647    846680     29161    124631         0     45669    378485    913527    157.87    167.87
1900.76/475.98	c  N dy  5792    866790     29161    124631         0     65777    378485   5914174    158.01    175.23
1947.49/487.67	c  N dy  5933    886872     29161    124631         0     85859    378485  10833511    158.05    168.70
1991.42/498.66	c  N dy  6075    906977     29161    124631         0     60962    378485   4412275    158.09    168.80
2036.97/510.09	c  N dy  6199    926988     29161    124631         0     80972    378485   9305315    158.03    168.57
2083.30/521.65	c  N dy  6343    947046     29161    124631         0     55030    378485   2738586    158.07    166.91
2127.64/532.71	c  N dy  6470    967110     29161    124631         0     75092    378485   7575748    158.01    168.54
2175.97/544.81	c  N dy  6614    987182     29161    124631         0     48167    378485    797608    158.08    199.14
2219.51/555.71	c  N dy  6753   1007348     29161    124631         0     68333    378485   5764951    158.12    167.76
2267.04/567.69	c  N dy  6894   1027511     29161    124631         0     88495    378485  10778353    158.20    175.41
2312.58/579.05	c  N dy  7037   1047605     29161    124631         0     60591    378485   3583072    158.22    166.71
2358.93/590.61	c  N dy  7169   1067908     29161    124631         0     80894    378485   8589530    158.25    177.73
2368.00/592.92	c  F st  7192   1071876     29161    124631         0     84862    378485   9551628    158.23    131.43
2406.65/602.69	c  N dy  7278   1088039     29161    124631         0     52023    378485   1295346    158.28    170.68
2450.08/613.61	c  N dy  7415   1108125     29161    124631         0     72109    378485   6251919    158.33    168.78
2497.12/625.49	c  N dy  7548   1128126     29161    124631         0     92110    378485  11194511    158.36    173.58
2543.45/637.03	c  N dy  7686   1148222     29161    124631         0     62214    378485   3539587    158.38    167.09
2589.39/648.59	c  N dy  7824   1168275     29161    124631         0     82265    378485   8552827    158.42    168.53
2639.33/661.06	c  N dy  7968   1188305     29161    124631         0     51300    378485    597965    158.49    167.62
2683.27/672.04	c  N dy  8108   1208311     29161    124631         0     71303    378485   5556840    158.50    167.84
2686.45/672.89	c  S st  8116   1209784     29161    124631         0     72776    378485   5914509    158.49    159.06
2688.04/673.23	c  S st  8116   1210290     29161    124631         0     73282    378485   6018554    158.49   no data
2688.04/673.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2688.85/673.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.20
2689.25/673.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2689.25/673.51	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2689.25/673.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2689.25/673.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29161 time:  0.01 s
2689.25/673.55	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.02 s
2690.05/673.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
2691.67/674.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2705.25/677.54	c lits-rem:         4  cl-subs:        5  v-elim:      0  v-fix:    0  time:  3.40 s
2705.25/677.56	c vivif2 --  cl tried   124631 cl shrink        0 lits rem          0 time: 0.02
2705.62/677.67	c vivif2 --  cl tried    73277 cl shrink        0 lits rem          0 time: 0.11
2706.82/677.91	c asymm  cl-useful: 0/124631/124631 lits-rem:0 time: 0.24
2706.82/677.92	c calculated reachability. Time: 0.00
2706.82/677.92	c  N dy  8116   1210290     29161    124631         0     73277    378485   6016986    158.49   no data
2755.16/690.07	c  N dy  8251   1230360     29161    124631         0     93346    378485  11012059    158.51    171.58
2803.08/702.03	c  N dy  8389   1250526     29161    124631         0     61510    378485   2872966    158.52    169.42
2848.63/713.41	c  N dy  8521   1270560     29161    124631         0     81544    378485   7803064    158.51    188.23
2897.36/725.68	c  N dy  8651   1290596     29161    124631         0    101577    378485  12806195    158.53    174.51
2943.29/737.11	c  N dy  8780   1310713     29161    124631         0     68698    378485   4329733    158.51    168.77
2990.03/748.82	c  N dy  8910   1330761     29161    124631         0     88746    378485   9293248    158.51    169.58
3041.16/761.66	c  N dy  9050   1350902     29161    124631         0     54878    378485    753016    158.55    169.82
3085.88/772.86	c  N dy  9186   1370953     29161    124631         0     74927    378485   5764012    158.58    167.00
3134.63/785.05	c  N dy  9332   1391000     29161    124631         0     94974    378485  10746087    158.63    193.47
3184.16/797.40	c  N dy  9463   1411036     29161    124631         0     60015    378485   1772828    158.65    168.96
3229.28/808.70	c  N dy  9591   1431115     29161    124631         0     80092    378485   6703065    158.62    170.36
3278.01/820.96	c  N dy  9722   1451220     29161    124631         0    100197    378485  11689175    158.61    168.24
3327.14/833.23	c  N dy  9864   1471258     29161    124631         0     64237    378485   2551467    158.65    171.42
3373.47/844.84	c  N dy 10005   1491310     29161    124631         0     84288    378485   7446614    158.65    176.37
3423.01/857.26	c  N dy 10139   1511366     29161    124631         0    104343    378485  12390724    158.66    171.03
3471.73/869.46	c  N dy 10276   1531585     29161    124631         0     67564    378485   3103500    158.66    171.67
3518.47/881.13	c  N dy 10408   1551608     29161    124631         0     87586    378485   8038891    158.67    167.95
3569.20/893.86	c  N dy 10545   1571709     29161    124631         0    107685    378485  13035079    158.70    167.37
3617.93/906.07	c  N dy 10687   1591784     29161    124631         0     69758    378485   3480236    158.71    167.42
3665.47/917.99	c  N dy 10828   1611964     29161    124631         0     89937    378485   8453726    158.74    176.85
3716.99/930.88	c  N dy 10973   1632018     29161    124631         0    109987    378485  13494199    158.81    168.27
3765.72/943.02	c  N dy 11112   1652037     29161    124631         0     71009    378485   3594357    158.83    168.70
3812.85/954.87	c  N dy 11249   1672060     29161    124631         0     91031    378485   8504951    158.85    169.15
3864.79/967.86	c  N dy 11388   1692260     29161    124631         0    111230    378485  13605634    158.89    170.37
3909.13/978.91	c  S st 11509   1710290     29161    124631         0     69264    378485   2849654    158.88   no data
3910.30/979.20	c  S st 11509   1710797     29161    124631         0     69771    378485   2937723    158.88   no data
3910.30/979.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3911.10/979.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.19
3911.10/979.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3911.10/979.46	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3911.10/979.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3911.10/979.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29161 time:  0.01 s
3911.10/979.49	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.02 s
3911.91/979.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
3912.71/979.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3920.29/981.73	c lits-rem:         8  cl-subs:        3  v-elim:      0  v-fix:    0  time:  1.88 s
3920.29/981.75	c vivif2 --  cl tried   124631 cl shrink        0 lits rem          0 time: 0.02
3920.69/981.80	c vivif2 --  cl tried    69768 cl shrink        0 lits rem          0 time: 0.06
3921.49/982.03	c asymm  cl-useful: 0/124631/124631 lits-rem:0 time: 0.23
3921.49/982.04	c calculated reachability. Time: 0.00
3921.49/982.04	c  N dy 11509   1710797     29161    124631         0     69768    378485   2937006    158.88   no data
3969.42/994.04	c  N dy 11647   1730897     29161    124631         0     89867    378485   7950649    158.90    190.10
4020.56/1006.88	c  N dy 11788   1750906     29161    124631         0    109873    378485  12860060    158.91    171.29
4072.07/1019.79	c  N dy 11931   1771039     29161    124631         0     69012    378485   2585366    158.96    167.40
4119.63/1031.69	c  N dy 12070   1791263     29161    124631         0     89235    378485   7629420    158.99    172.32
4170.34/1044.40	c  N dy 12205   1811336     29161    124631         0    109307    378485  12668249    158.99    169.13
4222.26/1057.36	c  N dy 12343   1831338     29161    124631         0     67313    378485   1892145    159.00    169.72
4269.41/1069.17	c  N dy 12484   1851491     29161    124631         0     87464    378485   6917656    159.05    168.43
4320.93/1082.06	c  N dy 12621   1871640     29161    124631         0    107613    378485  11856087    159.04    172.09
4374.05/1095.40	c  N dy 12754   1891655     29161    124631         0     64632    378485    967312    159.03    170.70
4420.38/1106.97	c  N dy 12883   1911723     29161    124631         0     84700    378485   5895338    159.02    169.70
4470.31/1119.43	c  N dy 13019   1931766     29161    124631         0    104743    378485  10806117    159.03    169.03
4523.86/1132.83	c  N dy 13151   1951982     29161    124631         0    124959    378485  15749661    159.01    169.18
4571.77/1144.82	c  N dy 13295   1972106     29161    124631         0     81084    378485   4856729    159.05    167.76
4620.12/1157.00	c  N dy 13433   1992110     29161    124631         0    101087    378485   9864131    159.07    170.32
4673.28/1170.21	c  N dy 13572   2012152     29161    124631         0    121129    378485  14881859    159.08    171.93
4723.99/1182.90	c  N dy 13706   2032243     29161    124631         0     76224    378485   3375311    159.08    168.34
4771.93/1194.90	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: 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-3173797-1304031229/watcher-3173797-1304031229 -o /tmp/evaluation-result-3173797-1304031229/solver-3173797-1304031229 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173797-1304031229.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.17 8.16 7.64 6/180 12072
/proc/meminfo: memFree=30493336/32951124 swapFree=67111416/67111528
[pid=12072] ppid=12070 vsize=40968 CPUtime=0 cores=0,2,4,6
/proc/12072/stat : 12072 (strangenight2-m) R 12070 12072 11686 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 3 0 514725250 41951232 346 33554432000 4194304 4627427 140735397223168 18446744073709551615 212436073457 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12072/statm: 10242 346 299 106 0 5213 0
[pid=12072/tid=12073] ppid=12070 vsize=40968 CPUtime=0 cores=0,2,4,6
/proc/12072/task/12073/stat : 12073 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 3 0 514725250 41951232 346 33554432000 4194304 4627427 140735397223168 18446744073709551615 47835843925938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12072/tid=12074] ppid=12070 vsize=40968 CPUtime=0 cores=0,2,4,6
/proc/12072/task/12074/stat : 12074 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 3 0 514725250 41951232 346 33554432000 4194304 4627427 140735397223168 18446744073709551615 212447814710 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.105615 s]
/proc/loadavg: 8.17 8.16 7.64 6/180 12072
/proc/meminfo: memFree=30493336/32951124 swapFree=67111416/67111528
[pid=12072] ppid=12070 vsize=375648 CPUtime=0.34 cores=0,2,4,6
/proc/12072/stat : 12072 (strangenight2-m) S 12070 12072 11686 0 -1 4202496 17587 0 0 0 25 9 0 0 18 0 4 0 514725250 384663552 15463 33554432000 4194304 4627427 140735397223168 18446744073709551615 212436122094 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12072/statm: 93912 15485 339 106 0 88883 0
[pid=12072/tid=12073] ppid=12070 vsize=375648 CPUtime=0.08 cores=0,2,4,6
/proc/12072/task/12073/stat : 12073 (strangenight2-m) S 12070 12072 11686 0 -1 4202560 4216 0 0 0 6 2 0 0 17 0 4 0 514725250 384663552 15485 33554432000 4194304 4627427 140735397223168 18446744073709551615 212436122094 0 0 4096 2 18446604440945051520 0 0 -1 6 0 0 0
[pid=12072/tid=12074] ppid=12070 vsize=375648 CPUtime=0.07 cores=0,2,4,6
/proc/12072/task/12074/stat : 12074 (strangenight2-m) S 12070 12072 11686 0 -1 4202560 4116 0 0 0 5 2 0 0 17 0 4 0 514725250 384663552 15485 33554432000 4194304 4627427 140735397223168 18446744073709551615 212436122094 0 0 4096 2 18446604440945051520 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 375648

[startup+0.355701 s]
/proc/loadavg: 8.17 8.16 7.64 6/180 12072
/proc/meminfo: memFree=30493336/32951124 swapFree=67111416/67111528
[pid=12072] ppid=12070 vsize=386556 CPUtime=1.32 cores=0,2,4,6
/proc/12072/stat : 12072 (strangenight2-m) R 12070 12072 11686 0 -1 4202496 23583 0 0 0 117 15 0 0 18 0 4 0 514725250 395833344 21432 33554432000 4194304 4627427 140735397223168 18446744073709551615 212436060343 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12072/statm: 96705 21966 371 106 0 91676 0
[pid=12072/tid=12073] ppid=12070 vsize=388528 CPUtime=0.33 cores=0,2,4,6
/proc/12072/task/12073/stat : 12073 (strangenight2-m) D 12070 12072 11686 0 -1 4202560 6884 0 0 0 30 3 0 0 18 0 4 0 514725250 397852672 22602 33554432000 4194304 4627427 140735397223168 18446744073709551615 212435714517 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12072/tid=12074] ppid=12070 vsize=393588 CPUtime=0.34 cores=0,2,4,6
/proc/12072/task/12074/stat : 12074 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 6640 0 0 0 30 4 0 0 18 0 4 0 514725250 403034112 25125 33554432000 4194304 4627427 140735397223168 18446744073709551615 212435677893 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 386556

[startup+0.467309 s]
/proc/loadavg: 8.17 8.16 7.64 6/180 12072
/proc/meminfo: memFree=30493336/32951124 swapFree=67111416/67111528
[pid=12072] ppid=12070 vsize=401448 CPUtime=2.22 cores=0,2,4,6
/proc/12072/stat : 12072 (strangenight2-m) R 12070 12072 11686 0 -1 4202496 39842 0 0 0 203 19 0 0 18 0 4 0 514725250 411082752 30220 33554432000 4194304 4627427 140735397223168 18446744073709551615 212436122143 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12072/statm: 101578 33009 385 106 0 96549 0
[pid=12072/tid=12073] ppid=12070 vsize=406312 CPUtime=1.19 cores=0,2,4,6
/proc/12072/task/12073/stat : 12073 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 12651 0 0 0 115 4 0 0 19 0 4 0 514725250 416063488 33009 33554432000 4194304 4627427 140735397223168 18446744073709551615 4321761 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12072/tid=12074] ppid=12070 vsize=406312 CPUtime=1.18 cores=0,2,4,6
/proc/12072/task/12074/stat : 12074 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 12528 0 0 0 112 6 0 0 18 0 4 0 514725250 416063488 33009 33554432000 4194304 4627427 140735397223168 18446744073709551615 4332830 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 401448

[startup+1.33124 s]
/proc/loadavg: 8.17 8.16 7.64 6/180 12072
/proc/meminfo: memFree=30493336/32951124 swapFree=67111416/67111528
[pid=12072] ppid=12070 vsize=406312 CPUtime=5.18 cores=0,2,4,6
/proc/12072/stat : 12072 (strangenight2-m) R 12070 12072 11686 0 -1 4202496 44797 0 0 0 498 20 0 0 19 0 4 0 514725250 416063488 33278 33554432000 4194304 4627427 140735397223168 18446744073709551615 4330282 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12072/statm: 101578 33279 385 106 0 96549 0
[pid=12072/tid=12073] ppid=12070 vsize=406312 CPUtime=1.29 cores=0,2,4,6
/proc/12072/task/12073/stat : 12073 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 12754 0 0 0 125 4 0 0 19 0 4 0 514725250 416063488 33279 33554432000 4194304 4627427 140735397223168 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12072/tid=12074] ppid=12070 vsize=406312 CPUtime=1.28 cores=0,2,4,6
/proc/12072/task/12074/stat : 12074 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 12623 0 0 0 122 6 0 0 19 0 4 0 514725250 416063488 33279 33554432000 4194304 4627427 140735397223168 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.18
Current children cumulated vsize (KiB) 406312

[startup+1.53121 s]
/proc/loadavg: 8.17 8.16 7.64 6/180 12072
/proc/meminfo: memFree=30493336/32951124 swapFree=67111416/67111528
[pid=12072] ppid=12070 vsize=406312 CPUtime=5.98 cores=0,2,4,6
/proc/12072/stat : 12072 (strangenight2-m) R 12070 12072 11686 0 -1 4202496 45416 0 0 0 577 21 0 0 19 0 4 0 514725250 416063488 33897 33554432000 4194304 4627427 140735397223168 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12072/statm: 101578 33897 385 106 0 96549 0
[pid=12072/tid=12073] ppid=12070 vsize=406312 CPUtime=1.49 cores=0,2,4,6
/proc/12072/task/12073/stat : 12073 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 12920 0 0 0 145 4 0 0 19 0 4 0 514725250 416063488 33897 33554432000 4194304 4627427 140735397223168 18446744073709551615 4330958 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12072/tid=12074] ppid=12070 vsize=406312 CPUtime=1.48 cores=0,2,4,6
/proc/12072/task/12074/stat : 12074 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 12791 0 0 0 142 6 0 0 19 0 4 0 514725250 416063488 33897 33554432000 4194304 4627427 140735397223168 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 406312

[startup+3.10091 s]
/proc/loadavg: 8.40 8.21 7.66 9/184 12076
/proc/meminfo: memFree=30323784/32951124 swapFree=67111416/67111528
[pid=12072] ppid=12070 vsize=537576 CPUtime=12.27 cores=0,2,4,6
/proc/12072/stat : 12072 (strangenight2-m) R 12070 12072 11686 0 -1 4202496 49587 0 0 0 1206 21 0 0 23 0 4 0 514725250 550477824 38042 33554432000 4194304 4627427 140735397223168 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12072/statm: 134394 38042 385 106 0 129365 0
[pid=12072/tid=12073] ppid=12070 vsize=537576 CPUtime=3.06 cores=0,2,4,6
/proc/12072/task/12073/stat : 12073 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 13821 0 0 0 302 4 0 0 23 0 4 0 514725250 550477824 38042 33554432000 4194304 4627427 140735397223168 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12072/tid=12074] ppid=12070 vsize=537576 CPUtime=3.05 cores=0,2,4,6
/proc/12072/task/12074/stat : 12074 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 13796 0 0 0 299 6 0 0 23 0 4 0 514725250 550477824 38042 33554432000 4194304 4627427 140735397223168 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12072/tid=12076] ppid=12070 vsize=537576 CPUtime=3.07 cores=0,2,4,6
/proc/12072/task/12076/stat : 12076 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 7950 0 0 0 304 3 0 0 24 0 4 0 514725250 550477824 38042 33554432000 4194304 4627427 140735397223168 18446744073709551615 4308117 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.27
Current children cumulated vsize (KiB) 537576

[startup+6.30031 s]
/proc/loadavg: 8.40 8.21 7.66 9/184 12076
/proc/meminfo: memFree=30294776/32951124 swapFree=67111416/67111528
[pid=12072] ppid=12070 vsize=537576 CPUtime=25.03 cores=0,2,4,6
/proc/12072/stat : 12072 (strangenight2-m) R 12070 12072 11686 0 -1 4202496 56938 0 0 0 2480 23 0 0 25 0 4 0 514725250 550477824 45393 33554432000 4194304 4627427 140735397223168 18446744073709551615 4308755 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12072/statm: 134394 45393 385 106 0 129365 0
[pid=12072/tid=12073] ppid=12070 vsize=537576 CPUtime=6.23 cores=0,2,4,6
/proc/12072/task/12073/stat : 12073 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 15574 0 0 0 619 4 0 0 25 0 4 0 514725250 550477824 45393 33554432000 4194304 4627427 140735397223168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12072/tid=12074] ppid=12070 vsize=537576 CPUtime=6.25 cores=0,2,4,6
/proc/12072/task/12074/stat : 12074 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 15616 0 0 0 618 7 0 0 25 0 4 0 514725250 550477824 45393 33554432000 4194304 4627427 140735397223168 18446744073709551615 4330015 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12072/tid=12076] ppid=12070 vsize=537576 CPUtime=6.26 cores=0,2,4,6
/proc/12072/task/12076/stat : 12076 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 9818 0 0 0 623 3 0 0 25 0 4 0 514725250 550477824 45393 33554432000 4194304 4627427 140735397223168 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.03
Current children cumulated vsize (KiB) 537576

[startup+12.7011 s]
/proc/loadavg: 8.34 8.20 7.66 9/184 12076
/proc/meminfo: memFree=30272120/32951124 swapFree=67111416/67111528
[pid=12072] ppid=12070 vsize=432684 CPUtime=50.6 cores=0,2,4,6
/proc/12072/stat : 12072 (strangenight2-m) R 12070 12072 11686 0 -1 4202496 90006 0 0 0 5029 31 0 0 25 0 4 0 514725250 443068416 43965 33554432000 4194304 4627427 140735397223168 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12072/statm: 108171 43965 387 106 0 103142 0
[pid=12072/tid=12073] ppid=12070 vsize=432684 CPUtime=12.6 cores=0,2,4,6
/proc/12072/task/12073/stat : 12073 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 20733 0 0 0 1255 5 0 0 25 0 4 0 514725250 443068416 43965 33554432000 4194304 4627427 140735397223168 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12072/tid=12074] ppid=12070 vsize=432684 CPUtime=12.65 cores=0,2,4,6
/proc/12072/task/12074/stat : 12074 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 20751 0 0 0 1256 9 0 0 25 0 4 0 514725250 443068416 43965 33554432000 4194304 4627427 140735397223168 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12072/tid=12076] ppid=12070 vsize=432684 CPUtime=12.67 cores=0,2,4,6
/proc/12072/task/12076/stat : 12076 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 27124 0 0 0 1260 7 0 0 25 0 4 0 514725250 443068416 43965 33554432000 4194304 4627427 140735397223168 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 432684

[startup+25.5007 s]
/proc/loadavg: 8.29 8.20 7.67 9/184 12077
/proc/meminfo: memFree=30025224/32951124 swapFree=67111416/67111528
[pid=12072] ppid=12070 vsize=780504 CPUtime=101.71 cores=0,2,4,6
/proc/12072/stat : 12072 (strangenight2-m) R 12070 12072 11686 0 -1 4202496 189099 0 0 0 10113 58 0 0 25 0 4 0 514725250 799236096 109060 33554432000 4194304 4627427 140735397223168 18446744073709551615 4322476 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12072/statm: 195126 109060 390 106 0 190097 0
[pid=12072/tid=12073] ppid=12070 vsize=780504 CPUtime=25.33 cores=0,2,4,6
/proc/12072/task/12073/stat : 12073 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 55496 0 0 0 2517 16 0 0 25 0 4 0 514725250 799236096 109060 33554432000 4194304 4627427 140735397223168 18446744073709551615 4332667 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12072/tid=12074] ppid=12070 vsize=780504 CPUtime=25.45 cores=0,2,4,6
/proc/12072/task/12074/stat : 12074 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 36101 0 0 0 2533 12 0 0 25 0 4 0 514725250 799236096 109060 33554432000 4194304 4627427 140735397223168 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12072/tid=12076] ppid=12070 vsize=780504 CPUtime=25.46 cores=0,2,4,6
/proc/12072/task/12076/stat : 12076 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 47025 0 0 0 2534 12 0 0 25 0 4 0 514725250 799236096 109060 33554432000 4194304 4627427 140735397223168 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.71
Current children cumulated vsize (KiB) 780504

[startup+51.1008 s]
/proc/loadavg: 8.19 8.18 7.68 9/184 12077
/proc/meminfo: memFree=29912040/32951124 swapFree=67111416/67111528
[pid=12072] ppid=12070 vsize=954248 CPUtime=203.96 cores=0,2,4,6
/proc/12072/stat : 12072 (strangenight2-m) R 12070 12072 11686 0 -1 4202496 265486 0 0 0 20318 78 0 0 25 0 4 0 514725250 977149952 136284 33554432000 4194304 4627427 140735397223168 18446744073709551615 4333369 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12072/statm: 238562 136284 390 106 0 233533 0
[pid=12072/tid=12073] ppid=12070 vsize=954248 CPUtime=50.79 cores=0,2,4,6
/proc/12072/task/12073/stat : 12073 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 73449 0 0 0 5058 21 0 0 25 0 4 0 514725250 977149952 136284 33554432000 4194304 4627427 140735397223168 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12072/tid=12074] ppid=12070 vsize=954248 CPUtime=51.04 cores=0,2,4,6
/proc/12072/task/12074/stat : 12074 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 54008 0 0 0 5088 16 0 0 25 0 4 0 514725250 977149952 136284 33554432000 4194304 4627427 140735397223168 18446744073709551615 4299634 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12072/tid=12076] ppid=12070 vsize=954248 CPUtime=51.05 cores=0,2,4,6
/proc/12072/task/12076/stat : 12076 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 68567 0 0 0 5087 18 0 0 25 0 4 0 514725250 977149952 136284 33554432000 4194304 4627427 140735397223168 18446744073709551615 4308752 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.96
Current children cumulated vsize (KiB) 954248

[startup+102.301 s]
/proc/loadavg: 8.11 8.16 7.70 9/184 12079
/proc/meminfo: memFree=29725864/32951124 swapFree=67111416/67111528
[pid=12072] ppid=12070 vsize=1087684 CPUtime=408.48 cores=0,2,4,6
/proc/12072/stat : 12072 (strangenight2-m) R 12070 12072 11686 0 -1 4202496 386439 0 0 0 40732 116 0 0 25 0 4 0 514725250 1113788416 176640 33554432000 4194304 4627427 140735397223168 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12072/statm: 271921 176640 390 106 0 266892 0
[pid=12072/tid=12073] ppid=12070 vsize=1087684 CPUtime=101.71 cores=0,2,4,6
/proc/12072/task/12073/stat : 12073 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 101053 0 0 0 10142 29 0 0 25 0 4 0 514725250 1113788416 176640 33554432000 4194304 4627427 140735397223168 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12072/tid=12074] ppid=12070 vsize=1087684 CPUtime=102.24 cores=0,2,4,6
/proc/12072/task/12074/stat : 12074 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 82983 0 0 0 10200 24 0 0 25 0 4 0 514725250 1113788416 176640 33554432000 4194304 4627427 140735397223168 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12072/tid=12076] ppid=12070 vsize=1087684 CPUtime=102.26 cores=0,2,4,6
/proc/12072/task/12076/stat : 12076 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 94696 0 0 0 10198 28 0 0 25 0 4 0 514725250 1113788416 176640 33554432000 4194304 4627427 140735397223168 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.48
Current children cumulated vsize (KiB) 1087684

[startup+162.301 s]
/proc/loadavg: 8.15 8.16 7.72 9/184 12080
/proc/meminfo: memFree=29548496/32951124 swapFree=67111416/67111528
[pid=12072] ppid=12070 vsize=1109204 CPUtime=648.15 cores=0,2,4,6
/proc/12072/stat : 12072 (strangenight2-m) R 12070 12072 11686 0 -1 4202496 490504 0 0 0 64666 149 0 0 25 0 4 0 514725250 1135824896 203223 33554432000 4194304 4627427 140735397223168 18446744073709551615 4308280 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12072/statm: 277301 203223 390 106 0 272272 0
[pid=12072/tid=12073] ppid=12070 vsize=1109204 CPUtime=161.38 cores=0,2,4,6
/proc/12072/task/12073/stat : 12073 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 124999 0 0 0 16102 36 0 0 25 0 4 0 514725250 1135824896 203223 33554432000 4194304 4627427 140735397223168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12072/tid=12074] ppid=12070 vsize=1109204 CPUtime=162.24 cores=0,2,4,6
/proc/12072/task/12074/stat : 12074 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 106249 0 0 0 16192 32 0 0 25 0 4 0 514725250 1135824896 203223 33554432000 4194304 4627427 140735397223168 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12072/tid=12076] ppid=12070 vsize=1109204 CPUtime=162.26 cores=0,2,4,6
/proc/12072/task/12076/stat : 12076 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 128611 0 0 0 16187 39 0 0 25 0 4 0 514725250 1135824896 203223 33554432000 4194304 4627427 140735397223168 18446744073709551615 4321720 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 648.15

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

[pid=12072] ppid=12070 vsize=1517268 CPUtime=2564.64 cores=0,2,4,6
/proc/12072/stat : 12072 (strangenight2-m) R 12070 12072 11686 0 -1 4202496 1384793 0 0 0 256032 432 0 0 25 0 4 0 514725250 1553682432 299487 33554432000 4194304 4627427 140735397223168 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12072/statm: 379317 299487 390 106 0 374288 0
[pid=12072/tid=12073] ppid=12070 vsize=1517268 CPUtime=638.74 cores=0,2,4,6
/proc/12072/task/12073/stat : 12073 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 353699 0 0 0 63768 106 0 0 25 0 4 0 514725250 1553682432 299487 33554432000 4194304 4627427 140735397223168 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12072/tid=12074] ppid=12070 vsize=1517268 CPUtime=641.52 cores=0,2,4,6
/proc/12072/task/12074/stat : 12074 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 320470 0 0 0 64051 101 0 0 25 0 4 0 514725250 1553682432 299487 33554432000 4194304 4627427 140735397223168 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12072/tid=12076] ppid=12070 vsize=1517268 CPUtime=642.16 cores=0,2,4,6
/proc/12072/task/12076/stat : 12076 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 350827 0 0 0 64106 110 0 0 25 0 4 0 514725250 1553682432 299487 33554432000 4194304 4627427 140735397223168 18446744073709551615 4299536 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2564.64
Current children cumulated vsize (KiB) 1517268

[startup+702.301 s]
/proc/loadavg: 8.22 8.20 7.91 9/184 12107
/proc/meminfo: memFree=28980772/32951124 swapFree=67111416/67111528
[pid=12072] ppid=12070 vsize=1474228 CPUtime=2804.28 cores=0,2,4,6
/proc/12072/stat : 12072 (strangenight2-m) R 12070 12072 11686 0 -1 4202496 1484568 0 0 0 279964 464 0 0 25 0 4 0 514725250 1509609472 292839 33554432000 4194304 4627427 140735397223168 18446744073709551615 4308194 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12072/statm: 368557 292839 390 106 0 363528 0
[pid=12072/tid=12073] ppid=12070 vsize=1474228 CPUtime=698.41 cores=0,2,4,6
/proc/12072/task/12073/stat : 12073 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 374561 0 0 0 69729 112 0 0 25 0 4 0 514725250 1509609472 292839 33554432000 4194304 4627427 140735397223168 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12072/tid=12074] ppid=12070 vsize=1474228 CPUtime=701.51 cores=0,2,4,6
/proc/12072/task/12074/stat : 12074 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 348149 0 0 0 70042 109 0 0 25 0 4 0 514725250 1509609472 292839 33554432000 4194304 4627427 140735397223168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12072/tid=12076] ppid=12070 vsize=1474228 CPUtime=702.15 cores=0,2,4,6
/proc/12072/task/12076/stat : 12076 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 375742 0 0 0 70096 119 0 0 25 0 4 0 514725250 1509609472 292839 33554432000 4194304 4627427 140735397223168 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2804.28
Current children cumulated vsize (KiB) 1474228

[startup+762.3 s]
/proc/loadavg: 8.16 8.19 7.92 9/184 12108
/proc/meminfo: memFree=28887864/32951124 swapFree=67111416/67111528
[pid=12072] ppid=12070 vsize=1409128 CPUtime=3043.95 cores=0,2,4,6
/proc/12072/stat : 12072 (strangenight2-m) R 12070 12072 11686 0 -1 4202496 1586494 0 0 0 303895 500 0 0 25 0 4 0 514725250 1442947072 297183 33554432000 4194304 4627427 140735397223168 18446744073709551615 4308715 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12072/statm: 352282 297183 390 106 0 347253 0
[pid=12072/tid=12073] ppid=12070 vsize=1409128 CPUtime=758.09 cores=0,2,4,6
/proc/12072/task/12073/stat : 12073 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 399976 0 0 0 75689 120 0 0 25 0 4 0 514725250 1442947072 297183 33554432000 4194304 4627427 140735397223168 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12072/tid=12074] ppid=12070 vsize=1409128 CPUtime=761.5 cores=0,2,4,6
/proc/12072/task/12074/stat : 12074 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 371736 0 0 0 76032 118 0 0 25 0 4 0 514725250 1442947072 297183 33554432000 4194304 4627427 140735397223168 18446744073709551615 4299595 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12072/tid=12076] ppid=12070 vsize=1409128 CPUtime=762.14 cores=0,2,4,6
/proc/12072/task/12076/stat : 12076 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 400996 0 0 0 76086 128 0 0 25 0 4 0 514725250 1442947072 297183 33554432000 4194304 4627427 140735397223168 18446744073709551615 4308277 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3043.95
Current children cumulated vsize (KiB) 1409128

[startup+822.301 s]
/proc/loadavg: 8.14 8.18 7.93 9/184 12110
/proc/meminfo: memFree=28840212/32951124 swapFree=67111416/67111528
[pid=12072] ppid=12070 vsize=1521380 CPUtime=3283.61 cores=0,2,4,6
/proc/12072/stat : 12072 (strangenight2-m) R 12070 12072 11686 0 -1 4202496 1686026 0 0 0 327825 536 0 0 25 0 4 0 514725250 1557893120 317510 33554432000 4194304 4627427 140735397223168 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12072/statm: 380345 317510 390 106 0 375316 0
[pid=12072/tid=12073] ppid=12070 vsize=1521380 CPUtime=817.77 cores=0,2,4,6
/proc/12072/task/12073/stat : 12073 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 423449 0 0 0 81646 131 0 0 25 0 4 0 514725250 1557893120 317510 33554432000 4194304 4627427 140735397223168 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12072/tid=12074] ppid=12070 vsize=1521380 CPUtime=821.51 cores=0,2,4,6
/proc/12072/task/12074/stat : 12074 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 397594 0 0 0 82024 127 0 0 25 0 4 0 514725250 1557893120 317510 33554432000 4194304 4627427 140735397223168 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12072/tid=12076] ppid=12070 vsize=1521380 CPUtime=822.14 cores=0,2,4,6
/proc/12072/task/12076/stat : 12076 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 425016 0 0 0 82078 136 0 0 25 0 4 0 514725250 1557893120 317510 33554432000 4194304 4627427 140735397223168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3283.61
Current children cumulated vsize (KiB) 1521380

[startup+882.301 s]
/proc/loadavg: 8.12 8.17 7.95 9/184 12111
/proc/meminfo: memFree=28851944/32951124 swapFree=67111416/67111528
[pid=12072] ppid=12070 vsize=1588216 CPUtime=3523.26 cores=0,2,4,6
/proc/12072/stat : 12072 (strangenight2-m) R 12070 12072 11686 0 -1 4202496 1791272 0 0 0 351754 572 0 0 25 0 4 0 514725250 1626333184 309389 33554432000 4194304 4627427 140735397223168 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12072/statm: 397054 309389 390 106 0 392025 0
[pid=12072/tid=12073] ppid=12070 vsize=1588216 CPUtime=877.44 cores=0,2,4,6
/proc/12072/task/12073/stat : 12073 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 446739 0 0 0 87604 140 0 0 25 0 4 0 514725250 1626333184 309389 33554432000 4194304 4627427 140735397223168 18446744073709551615 4332428 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12072/tid=12074] ppid=12070 vsize=1588216 CPUtime=881.5 cores=0,2,4,6
/proc/12072/task/12074/stat : 12074 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 424786 0 0 0 88014 136 0 0 25 0 4 0 514725250 1626333184 309389 33554432000 4194304 4627427 140735397223168 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12072/tid=12076] ppid=12070 vsize=1588216 CPUtime=882.14 cores=0,2,4,6
/proc/12072/task/12076/stat : 12076 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 452428 0 0 0 88069 145 0 0 25 0 4 0 514725250 1626333184 309389 33554432000 4194304 4627427 140735397223168 18446744073709551615 4308588 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3523.26
Current children cumulated vsize (KiB) 1588216

[startup+942.3 s]
/proc/loadavg: 8.11 8.17 7.96 9/184 12113
/proc/meminfo: memFree=28981824/32951124 swapFree=67111416/67111528
[pid=12072] ppid=12070 vsize=1417416 CPUtime=3762.91 cores=0,2,4,6
/proc/12072/stat : 12072 (strangenight2-m) R 12070 12072 11686 0 -1 4202496 1891180 0 0 0 375684 607 0 0 25 0 4 0 514725250 1451433984 281432 33554432000 4194304 4627427 140735397223168 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12072/statm: 354354 281432 390 106 0 349325 0
[pid=12072/tid=12073] ppid=12070 vsize=1417416 CPUtime=937.12 cores=0,2,4,6
/proc/12072/task/12073/stat : 12073 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 473366 0 0 0 93563 149 0 0 25 0 4 0 514725250 1451433984 281432 33554432000 4194304 4627427 140735397223168 18446744073709551615 4333536 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12072/tid=12074] ppid=12070 vsize=1417416 CPUtime=941.49 cores=0,2,4,6
/proc/12072/task/12074/stat : 12074 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 447943 0 0 0 94005 144 0 0 25 0 4 0 514725250 1451433984 281432 33554432000 4194304 4627427 140735397223168 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12072/tid=12076] ppid=12070 vsize=1417416 CPUtime=942.12 cores=0,2,4,6
/proc/12072/task/12076/stat : 12076 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 475351 0 0 0 94059 153 0 0 25 0 4 0 514725250 1451433984 281433 33554432000 4194304 4627427 140735397223168 18446744073709551615 4327897 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3762.91
Current children cumulated vsize (KiB) 1417416

[startup+1002.3 s]
/proc/loadavg: 8.08 8.15 7.96 9/184 12115
/proc/meminfo: memFree=28787720/32951124 swapFree=67111416/67111528
[pid=12072] ppid=12070 vsize=1539420 CPUtime=4002.58 cores=0,2,4,6
/proc/12072/stat : 12072 (strangenight2-m) R 12070 12072 11686 0 -1 4202496 1981975 0 0 0 399621 637 0 0 25 0 4 0 514725250 1576366080 317137 33554432000 4194304 4627427 140735397223168 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12072/statm: 384855 317137 390 106 0 379826 0
[pid=12072/tid=12073] ppid=12070 vsize=1539420 CPUtime=996.78 cores=0,2,4,6
/proc/12072/task/12073/stat : 12073 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 495339 0 0 0 99523 155 0 0 25 0 4 0 514725250 1576366080 317137 33554432000 4194304 4627427 140735397223168 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12072/tid=12074] ppid=12070 vsize=1539420 CPUtime=1001.49 cores=0,2,4,6
/proc/12072/task/12074/stat : 12074 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 469135 0 0 0 99999 150 0 0 25 0 4 0 514725250 1576366080 317137 33554432000 4194304 4627427 140735397223168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12072/tid=12076] ppid=12070 vsize=1539420 CPUtime=1002.12 cores=0,2,4,6
/proc/12072/task/12076/stat : 12076 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 498764 0 0 0 100050 162 0 0 25 0 4 0 514725250 1576366080 317137 33554432000 4194304 4627427 140735397223168 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4002.58
Current children cumulated vsize (KiB) 1539420

[startup+1062.3 s]
/proc/loadavg: 8.06 8.13 7.97 9/184 12116
/proc/meminfo: memFree=28863576/32951124 swapFree=67111416/67111528
[pid=12072] ppid=12070 vsize=1435216 CPUtime=4242.23 cores=0,2,4,6
/proc/12072/stat : 12072 (strangenight2-m) R 12070 12072 11686 0 -1 4202496 2084214 0 0 0 423547 676 0 0 25 0 4 0 514725250 1469661184 295979 33554432000 4194304 4627427 140735397223168 18446744073709551615 4324696 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12072/statm: 358804 295979 390 106 0 353775 0
[pid=12072/tid=12073] ppid=12070 vsize=1435216 CPUtime=1056.46 cores=0,2,4,6
/proc/12072/task/12073/stat : 12073 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 521719 0 0 0 105480 166 0 0 25 0 4 0 514725250 1469661184 295979 33554432000 4194304 4627427 140735397223168 18446744073709551615 4332689 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12072/tid=12074] ppid=12070 vsize=1435216 CPUtime=1061.49 cores=0,2,4,6
/proc/12072/task/12074/stat : 12074 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 495894 0 0 0 105989 160 0 0 25 0 4 0 514725250 1469661184 295979 33554432000 4194304 4627427 140735397223168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12072/tid=12076] ppid=12070 vsize=1435216 CPUtime=1062.12 cores=0,2,4,6
/proc/12072/task/12076/stat : 12076 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 520963 0 0 0 106041 171 0 0 25 0 4 0 514725250 1469661184 295979 33554432000 4194304 4627427 140735397223168 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4242.23
Current children cumulated vsize (KiB) 1435216

[startup+1122.3 s]
/proc/loadavg: 8.13 8.14 7.98 9/184 12118
/proc/meminfo: memFree=28682248/32951124 swapFree=67111416/67111528
[pid=12072] ppid=12070 vsize=1622820 CPUtime=4481.9 cores=0,2,4,6
/proc/12072/stat : 12072 (strangenight2-m) R 12070 12072 11686 0 -1 4202496 2189614 0 0 0 447482 708 0 0 25 0 4 0 514725250 1661767680 340541 33554432000 4194304 4627427 140735397223168 18446744073709551615 4321739 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12072/statm: 405705 340541 390 106 0 400676 0
[pid=12072/tid=12073] ppid=12070 vsize=1622820 CPUtime=1116.13 cores=0,2,4,6
/proc/12072/task/12073/stat : 12073 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 542813 0 0 0 111440 173 0 0 25 0 4 0 514725250 1661767680 340541 33554432000 4194304 4627427 140735397223168 18446744073709551615 4305865 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12072/tid=12074] ppid=12070 vsize=1622820 CPUtime=1121.49 cores=0,2,4,6
/proc/12072/task/12074/stat : 12074 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 530921 0 0 0 111980 169 0 0 25 0 4 0 514725250 1661767680 340541 33554432000 4194304 4627427 140735397223168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12072/tid=12076] ppid=12070 vsize=1622820 CPUtime=1122.12 cores=0,2,4,6
/proc/12072/task/12076/stat : 12076 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 545873 0 0 0 112032 180 0 0 25 0 4 0 514725250 1661767680 340541 33554432000 4194304 4627427 140735397223168 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4481.9
Current children cumulated vsize (KiB) 1622820

[startup+1182.3 s]
/proc/loadavg: 5.93 7.55 7.79 5/175 12137
/proc/meminfo: memFree=29309452/32951124 swapFree=67111416/67111528
[pid=12072] ppid=12070 vsize=1562420 CPUtime=4721.6 cores=0,2,4,6
/proc/12072/stat : 12072 (strangenight2-m) R 12070 12072 11686 0 -1 4202496 2282169 0 0 0 471419 741 0 0 25 0 4 0 514725250 1599918080 343746 33554432000 4194304 4627427 140735397223168 18446744073709551615 4327897 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12072/statm: 390605 343746 390 106 0 385576 0
[pid=12072/tid=12073] ppid=12070 vsize=1562420 CPUtime=1175.84 cores=0,2,4,6
/proc/12072/task/12073/stat : 12073 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 567377 0 0 0 117402 182 0 0 25 0 4 0 514725250 1599918080 343746 33554432000 4194304 4627427 140735397223168 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12072/tid=12074] ppid=12070 vsize=1562420 CPUtime=1181.49 cores=0,2,4,6
/proc/12072/task/12074/stat : 12074 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 553046 0 0 0 117973 176 0 0 25 0 4 0 514725250 1599918080 343746 33554432000 4194304 4627427 140735397223168 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12072/tid=12076] ppid=12070 vsize=1562420 CPUtime=1182.11 cores=0,2,4,6
/proc/12072/task/12076/stat : 12076 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 569071 0 0 0 118023 188 0 0 25 0 4 0 514725250 1599918080 343746 33554432000 4194304 4627427 140735397223168 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4721.6
Current children cumulated vsize (KiB) 1562420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202 s]
/proc/loadavg: 5.38 7.32 7.71 5/175 12138
/proc/meminfo: memFree=29346000/32951124 swapFree=67111416/67111528
[pid=12072] ppid=12070 vsize=1624452 CPUtime=4800.31 cores=0,2,4,6
/proc/12072/stat : 12072 (strangenight2-m) R 12070 12072 11686 0 -1 4202496 2312702 0 0 0 479278 753 0 0 25 0 4 0 514725250 1663438848 334606 33554432000 4194304 4627427 140735397223168 18446744073709551615 4333021 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12072/statm: 406113 334606 390 106 0 401084 0
[pid=12072/tid=12073] ppid=12070 vsize=1624452 CPUtime=1195.45 cores=0,2,4,6
/proc/12072/task/12073/stat : 12073 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 573124 0 0 0 119361 184 0 0 25 0 4 0 514725250 1663438848 334606 33554432000 4194304 4627427 140735397223168 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12072/tid=12074] ppid=12070 vsize=1624452 CPUtime=1201.19 cores=0,2,4,6
/proc/12072/task/12074/stat : 12074 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 560968 0 0 0 119939 180 0 0 25 0 4 0 514725250 1663438848 334606 33554432000 4194304 4627427 140735397223168 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12072/tid=12076] ppid=12070 vsize=1624452 CPUtime=1201.81 cores=0,2,4,6
/proc/12072/task/12076/stat : 12076 (strangenight2-m) R 12070 12072 11686 0 -1 4202560 577968 0 0 0 119990 191 0 0 25 0 4 0 514725250 1663438848 334606 33554432000 4194304 4627427 140735397223168 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 1624452

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.41
CPU user time (s): 4792.81
CPU system time (s): 7.60084
CPU usage (%): 399.344
Max. virtual memory (cumulated for all children) (KiB): 1624452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.81
system time used= 7.60084
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2312710
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= 17341
involuntary context switches= 21287

runsolver used 1.89671 second user time and 4.6073 second system time

The end

Launcher Data 

Begin job on node102 at 2011-04-29 00:53:49
IDJOB=3173797
IDBENCH=82615
IDSOLVER=1586
FILE ID=node102/3173797-1304031229
RUNJOBID= node102-1304028687-11704
PBS_JOBID= 13170350
Free space on /tmp= 71552 MiB

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

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

MD5SUM BENCH= 0aa289a52d8d004ea581b39b43a8a19a
RANDOM SEED=114681059

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30493624 kB
Buffers:        596316 kB
Cached:        1186120 kB
SwapCached:          8 kB
Active:         348096 kB
Inactive:      1696184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30493624 kB
SwapTotal:    67111528 kB
SwapFree:     67111416 kB
Dirty:            8216 kB
Writeback:           0 kB
AnonPages:      262220 kB
Mapped:          15504 kB
Slab:           348976 kB
PageTables:       5216 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   469004 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= 71552 MiB
End job on node102 at 2011-04-29 01:13:53