Trace number 3368952

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.42 1203.65

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v90-c8010-S1321406709-042.UNKNOWN.cnf
MD5SUM383bd72f29b3667b7a0d512d7fa797ad
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables90
Number of clauses8010
Sum of the clauses size56070
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 58010

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.03	c This is CryptoMiniSat 2.9.0
0.00/0.03	c compiled with gcc version 4.4.5
0.00/0.03	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.03	c Reading file 'HOME/instance-3368952-1305407495.cnf'
0.00/0.03	c -- header says num vars:             90
0.00/0.03	c -- header says num clauses:        8010
0.00/0.03	c -- clauses added:            0 learnts,         8010 normals,            0 xors
0.00/0.03	c -- vars added         90
0.00/0.03	c Parsing time:  0.02 s
0.00/0.22	c  N st     0         0        90      8010         0         0     56070         0   no data   no data  --
0.00/0.22	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 0.73
0.00/0.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
4.34/1.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.34/1.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.34/1.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
4.34/1.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.34/1.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
4.34/1.10	c Finding binary XORs  T:     0.00 s  found:       0
4.34/1.10	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
4.34/1.10	c calculated reachability. Time: 0.00
4.34/1.10	c Calc default polars -  time:   0.00 s pos:      47 undec:       2 neg:      41
4.34/1.10	c =========================================================================================
4.34/1.10	c types(t): F = full restart, N = normal restart
4.34/1.10	c types(t): S = simplification begin/end, E = solution found
4.34/1.10	c restart types(rt): st = static, dy = dynamic
4.34/1.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
4.34/1.10	c  B st     0         0        90      8010         0         0     56070         0   no data   no data  --
4.34/1.10	c  N dy     8      4335        90      8010         0      4033     56070    121411     25.74     27.30  --
4.34/1.10	c  N dy    14      8962        90      8010         0      5997     56070    165069     25.24     26.74  --
4.34/1.10	c  N dy    31     18200        90      8010         0      5384     56070    113908     24.92     26.32  --
4.34/1.20	c  N dy    56     22283        90      8010         0      9211     56070    227394     25.17     27.67  --
5.18/1.39	c  F st    69     25001        90      8010         0     11748     56070    302555     25.28     25.91  --
5.93/1.50	c  N st    73     27035        90      8010         0      7297     56070    152940     25.28   no data  --
6.33/1.60	c  S st    75     30001        90      8010         0     10069     56070    236923     25.28   no data  --
6.33/1.60	c  S st    75     30504        90      8010         0     10543     56070    251421     25.28   no data  --
6.33/1.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
6.33/1.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
6.33/1.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
6.33/1.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
6.33/1.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.33/1.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
6.33/1.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
11.11/2.86	c lits-rem:      2004  cl-subs:      705  v-elim:      0  v-fix:    0  time:  5.00 s
12.72/3.23	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.47
12.72/3.23	c calculated reachability. Time: 0.00
12.72/3.23	c  N dy    75     30504        90      8010         0      9838     56070    225458     25.28   no data  --
13.54/3.50	c  N dy    86     35037        90      8010         0     14070     56070    349962     25.26     26.65  --
14.70/3.72	c  N dy   111     39134        90      8010         0     10546     56070    231166     25.44     27.32  --
16.30/4.10	c  N dy   120     45615        90      8010         0     16533     56070    405829     25.26     26.61  --
16.30/4.12	c  S st   122     45757        90      8010         0      8361     56070    148555     25.28   no data  --
16.30/4.15	c  S st   122     46262        90      8010         0      8837     56070    163048     25.28   no data  --
16.30/4.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.30/4.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
16.30/4.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
16.30/4.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.30/4.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.30/4.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
16.30/4.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
19.88/5.04	c lits-rem:       199  cl-subs:       41  v-elim:      0  v-fix:    0  time:  3.49 s
19.88/5.04	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
19.88/5.04	c vivif2 --  cl tried     8796 cl shrink        0 lits rem          0 time: 0.01
21.09/5.35	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.22
21.09/5.35	c calculated reachability. Time: 0.00
21.09/5.35	c  N dy   122     46262        90      8010         0      8796     56070    161309     25.28   no data  --
22.72/5.74	c  N dy   139     53365        90      8010         0     15381     56070    353875     25.27     26.60  --
24.28/6.10	c  N dy   154     58819        90      8010         0     11186     56070    213090     25.30     26.68  --
26.71/6.79	c  N dy   171     69393        90      8010         0     10781     56070    184746     25.12     23.53  --
26.71/6.79	c  S st   171     69393        90      8010         0     10781     56070    184746     25.12     23.53  --
27.12/6.83	c  S st   171     69899        90      8010         0     11258     56070    198722     25.12   no data  --
27.12/6.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.12/6.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.12/6.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
27.12/6.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.12/6.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.12/6.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
27.12/6.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
30.66/7.80	c lits-rem:       334  cl-subs:      181  v-elim:      0  v-fix:    0  time:  3.82 s
30.66/7.80	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
30.66/7.81	c vivif2 --  cl tried    11077 cl shrink        0 lits rem          0 time: 0.01
32.25/8.17	c asymm  cl-useful: 0/7625/8010 lits-rem:0 time: 1.43
32.25/8.17	c calculated reachability. Time: 0.00
32.25/8.17	c  N dy   171     69899        90      8010         0     11077     56070    192990     25.12   no data  --
33.45/8.45	c  N dy   180     74506        90      8010         0     15349     56070    317785     25.10     26.48  --
37.03/9.35	c  F st   193     87500        90      8010         0     16209     56070    326491     24.98     24.64  --
37.03/9.35	c  N st   193     87500        90      8010         0     16209     56070    326491     24.98     24.64  --
38.63/9.77	c  N dy   203     93096        90      8010         0     21375     56070    481109     24.99     27.53  --
40.63/10.22	c  N dy   222     99159        90      8010         0     15016     56070    278059     25.03     26.38  --
42.22/10.60	c  S st   224    104848        90      8010         0     20240     56070    429108     24.93     23.96  --
42.22/10.66	c  S st   224    105348        90      8010         0     20715     56070    443583     24.93   no data  --
42.22/10.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
42.22/10.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
42.22/10.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
42.22/10.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
42.22/10.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
42.22/10.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
42.22/10.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
49.80/12.54	c lits-rem:      2518  cl-subs:     1705  v-elim:      0  v-fix:    0  time:  7.39 s
49.80/12.54	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
49.80/12.55	c vivif2 --  cl tried    19010 cl shrink        0 lits rem          0 time: 0.02
51.40/12.95	c asymm  cl-useful: 0/5713/8010 lits-rem:0 time: 1.61
51.40/12.95	c calculated reachability. Time: 0.00
51.40/12.95	c  N dy   224    105348        90      8010         0     19010     56070    390010     24.93   no data  --
54.18/13.63	c  N dy   246    113127        90      8010         0     13316     56070    210250     24.95     26.40  --
56.19/14.13	c  N dy   272    120520        90      8010         0     20210     56070    413552     24.98     26.48  --
58.97/14.82	c  N dy   326    128222        90      8010         0     27341     56070    626193     25.09     29.56  --
61.37/15.46	c  N dy   379    136459        90      8010         0     21153     56070    426014     25.18     26.53  --
64.96/16.33	c  N dy   427    145511        90      8010         0     29560     56070    675811     25.24     26.58  --
67.35/16.99	c  N dy   450    154799        90      8010         0     23315     56070    467200     25.24     26.60  --
68.55/17.27	c  S st   459    158024        90      8010         0     26299     56070    555498     25.25     24.01  --
68.95/17.34	c  S st   459    158525        90      8010         0     26773     56070    569684     25.25   no data  --
68.95/17.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
68.95/17.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
68.95/17.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
68.95/17.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
68.95/17.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
68.95/17.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
68.95/17.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
79.76/20.04	c lits-rem:      3145  cl-subs:     2101  v-elim:      0  v-fix:    0  time: 10.66 s
79.76/20.05	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
79.76/20.05	c vivif2 --  cl tried    24672 cl shrink        0 lits rem          0 time: 0.02
80.90/20.30	c asymm  cl-useful: 0/1942/8010 lits-rem:0 time: 1.00
80.90/20.30	c calculated reachability. Time: 0.00
80.90/20.30	c  N dy   459    158525        90      8010         0     24672     56070    500667     25.25   no data  --
84.90/21.39	c  N dy   506    168864        90      8010         0     18604     56070    312164     25.30     26.82  --
89.68/22.53	c  N dy   552    181634        90      8010         0     30451     56070    661540     25.34     26.93  --
98.06/24.65	c  N dy   566    205408        90      8010         0     18152     56070    263090     25.14     26.53  --
104.84/26.30	c  N dy   588    223855        90      8010         0     35308     56070    766862     25.08     26.43  --
110.06/27.64	c  S st   647    237787        90      8010         0     29713     56070    588639     25.12   no data  --
110.47/27.72	c  S st   647    238289        90      8010         0     30186     56070    602958     25.12   no data  --
110.47/27.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
110.47/27.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
110.47/27.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
110.47/27.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
110.47/27.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
110.47/27.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
110.47/27.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
122.79/30.82	c lits-rem:      1876  cl-subs:     1923  v-elim:      0  v-fix:    0  time: 12.23 s
122.79/30.82	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
122.79/30.82	c vivif2 --  cl tried    28263 cl shrink        0 lits rem          0 time: 0.02
123.64/31.02	c asymm  cl-useful: 0/2212/8010 lits-rem:0 time: 0.75
123.64/31.02	c calculated reachability. Time: 0.00
123.64/31.02	c  N dy   647    238289        90      8010         0     28263     56070    538705     25.12   no data  --
130.36/32.73	c  N dy   714    253510        90      8010         0     22978     56070    371116     25.16     26.80  --
137.14/34.47	c  N dy   786    269701        90      8010         0     38035     56070    817856     25.22     28.01  --
144.33/36.20	c  N dy   832    286917        90      8010         0     33694     56070    667667     25.23     26.58  --
152.30/38.25	c  F st   866    306252        90      8010         0     30114     56070    539139     25.18     23.25  --
152.30/38.25	c  N st   866    306252        90      8010         0     30114     56070    539139     25.18     23.25  --
162.28/40.78	c  N dy   941    328272        90      8010         0     28370     56070    474912     25.20     26.53  --
175.04/43.94	c  N dy  1001    357433        90      8010         0     32212     56070    562569     25.15     22.51  --
175.04/43.94	c  S st  1001    357433        90      8010         0     32212     56070    562569     25.15     22.51  --
175.44/44.02	c  S st  1001    357937        90      8010         0     32684     56070    576787     25.15   no data  --
175.44/44.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
175.44/44.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
175.44/44.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
175.44/44.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
175.44/44.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
175.44/44.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
175.44/44.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
186.60/46.83	c lits-rem:      2202  cl-subs:     2076  v-elim:      0  v-fix:    0  time: 11.05 s
186.60/46.83	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
186.60/46.83	c vivif2 --  cl tried    30608 cl shrink        0 lits rem          0 time: 0.02
187.40/47.04	c asymm  cl-useful: 0/1744/8010 lits-rem:0 time: 0.84
187.40/47.04	c calculated reachability. Time: 0.00
187.40/47.04	c  N dy  1001    357937        90      8010         0     30608     56070    515138     25.15   no data  --
201.37/50.57	c  N dy  1097    379782        90      8010         0     26868     56070    394259     25.20     26.54  --
212.93/53.44	c  N dy  1134    402276        90      8010         0     47575     56070    995311     25.14     26.59  --
224.89/56.41	c  N dy  1215    424967        90      8010         0     43648     56070    871815     25.16     26.51  --
235.26/59.05	c  N dy  1300    445037        90      8010         0     36447     56070    644948     25.19     26.74  --
247.63/62.10	c  N dy  1393    465074        90      8010         0     28171     56070    378592     25.22     27.13  --
258.40/64.85	c  N dy  1449    487176        90      8010         0     48578     56070    979042     25.23     26.57  --
269.97/67.80	c  N dy  1518    507782        90      8010         0     39875     56070    696961     25.23     26.61  --
283.13/71.08	c  N dy  1601    529061        90      8010         0     30839     56070    417711     25.24     26.58  --
287.11/72.03	c  S st  1639    536907        90      8010         0     38139     56070    635136     25.26     23.21  --
287.51/72.13	c  S st  1639    537410        90      8010         0     38616     56070    649126     25.26   no data  --
287.51/72.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
287.51/72.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
287.51/72.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.06
287.51/72.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
287.51/72.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
287.51/72.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
287.51/72.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
304.26/76.39	c lits-rem:      1714  cl-subs:     1683  v-elim:      0  v-fix:    0  time: 16.82 s
304.26/76.39	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
304.26/76.39	c vivif2 --  cl tried    36933 cl shrink        0 lits rem          0 time: 0.03
305.46/76.62	c asymm  cl-useful: 0/1455/8010 lits-rem:0 time: 0.92
305.46/76.63	c calculated reachability. Time: 0.00
305.46/76.63	c  N dy  1639    537410        90      8010         0     36933     56070    594634     25.26   no data  --
317.42/79.62	c  N dy  1697    557618        90      8010         0     55648     56070   1148938     25.26     26.62  --
328.59/82.48	c  N dy  1768    578204        90      8010         0     45154     56070    824015     25.27     26.62  --
342.16/85.81	c  N dy  1795    602226        90      8010         0     36831     56070    558111     25.25     26.73  --
354.92/89.02	c  N dy  1844    624279        90      8010         0     57212     56070   1160157     25.25     26.64  --
367.67/92.25	c  N dy  1892    644366        90      8010         0     44333     56070    761422     25.23     28.28  --
382.48/95.96	c  N dy  1964    664548        90      8010         0     62974     56070   1309302     25.24     26.86  --
394.80/99.07	c  N dy  2050    685518        90      8010         0     50061     56070    917287     25.25     26.59  --
408.80/102.52	c  N dy  2095    705539        90      8010         0     35248     56070    460948     25.25     26.74  --
422.72/106.03	c  N dy  2134    728799        90      8010         0     56635     56070   1089380     25.23     26.61  --
439.51/110.29	c  N dy  2206    750421        90      8010         0     42486     56070    658190     25.24     26.74  --
455.42/114.21	c  N dy  2269    774047        90      8010         0     64284     56070   1298210     25.24     26.60  --
468.99/117.61	c  N dy  2299    796269        90      8010         0     49739     56070    850076     25.23     26.58  --
475.75/119.31	c  S st  2333    806116        90      8010         0     58843     56070   1121012     25.24     25.10  --
476.15/119.48	c  S st  2333    806623        90      8010         0     59328     56070   1135830     25.24   no data  --
476.15/119.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
476.15/119.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
476.55/119.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
476.55/119.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
476.55/119.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
476.55/119.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
476.55/119.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
518.07/129.92	c lits-rem:      2311  cl-subs:     4522  v-elim:      0  v-fix:    0  time: 41.35 s
518.07/129.93	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
518.07/129.94	c vivif2 --  cl tried    54806 cl shrink        0 lits rem          0 time: 0.05
519.23/130.28	c asymm  cl-useful: 0/984/8010 lits-rem:0 time: 1.39
519.23/130.29	c calculated reachability. Time: 0.00
519.23/130.29	c  N dy  2333    806623        90      8010         0     54806     56070    993226     25.24   no data  --
536.38/134.58	c  N dy  2409    829027        90      8010         0     39631     56070    534189     25.25     26.68  --
555.53/139.35	c  N dy  2454    859094        90      8010         0     67222     56070   1330350     25.21     26.72  --
570.72/143.12	c  N dy  2486    882776        90      8010         0     52279     56070    888730     25.19     26.63  --
587.04/147.20	c  N dy  2560    902794        90      8010         0     70858     56070   1437602     25.20     27.15  --
600.60/150.66	c  N dy  2621    923158        90      8010         0     51885     56070    856884     25.20     26.61  --
616.15/154.52	c  N dy  2700    943298        90      8010         0     70503     56070   1411347     25.21     26.67  --
631.71/158.47	c  N dy  2765    964480        90      8010         0     51336     56070    822351     25.21     26.56  --
661.62/165.97	c  N dy  2853   1004546        90      8010         0     48528     56070    712354     25.17     26.54  --
677.97/170.06	c  N dy  2960   1024701        90      8010         0     67235     56070   1269170     25.19     26.70  --
697.52/174.96	c  N dy  3046   1045717        90      8010         0     46018     56070    630301     25.20     26.56  --
711.87/178.53	c  N dy  3132   1065785        90      8010         0     64640     56070   1184278     25.21     26.62  --
717.45/179.93	c  F st  3162   1071875        90      8010         0     70258     56070   1351554     25.22     25.98  --
730.62/183.25	c  N dy  3204   1085801        90      8010         0     83199     56070   1738353     25.22     27.09  --
745.37/186.92	c  N dy  3285   1106127        90      8010         0     60376     56070   1034786     25.23     26.79  --
762.53/191.21	c  N dy  3329   1126201        90      8010         0     78874     56070   1576419     25.22     26.65  --
779.27/195.40	c  N dy  3378   1147949        90      8010         0     56391     56070    897272     25.22     26.85  --
816.81/204.86	c  N dy  3455   1187382        90      8010         0     49238     56070    668127     25.20     26.63  --
834.71/209.30	c  N dy  3541   1207416        90      8010         0     67759     56070   1219660     25.21     26.54  --
837.11/209.91	c  S st  3542   1209934        90      8010         0     70071     56070   1286623     25.20     22.80  --
837.91/210.14	c  S st  3542   1210435        90      8010         0     70548     56070   1300859     25.20   no data  --
837.91/210.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
837.91/210.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
837.91/210.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.18
838.33/210.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
838.33/210.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
838.33/210.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
838.33/210.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
938.81/235.41	c lits-rem:      2857  cl-subs:     5243  v-elim:      0  v-fix:    0  time: 100.40 s
938.81/235.41	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
938.81/235.43	c vivif2 --  cl tried    65305 cl shrink        0 lits rem          0 time: 0.06
940.40/235.86	c asymm  cl-useful: 0/834/8010 lits-rem:0 time: 1.71
940.40/235.86	c calculated reachability. Time: 0.00
940.40/235.86	c  N dy  3542   1210435        90      8010         0     65305     56070   1138957     25.20   no data  --
965.98/242.25	c  N dy  3620   1232982        90      8010         0     86165     56070   1756174     25.21     26.57  --
983.11/246.55	c  N dy  3739   1254216        90      8010         0     61744     56070   1029851     25.23     26.66  --
1005.46/252.15	c  N dy  3822   1274332        90      8010         0     80330     56070   1581225     25.24     26.60  --
1026.98/257.55	c  N dy  3849   1296941        90      8010         0     55966     56070    822486     25.22     26.56  --
1048.49/262.96	c  N dy  3912   1319163        90      8010         0     76474     56070   1423087     25.22     26.81  --
1074.42/269.46	c  N dy  3985   1340162        90      8010         0     49819     56070    630367     25.22     26.57  --
1091.57/273.76	c  N dy  4058   1360224        90      8010         0     68365     56070   1180460     25.23     28.97  --
1115.13/279.66	c  N dy  4150   1380231        90      8010         0     86903     56070   1732814     25.24     29.42  --
1131.85/283.87	c  N dy  4201   1400264        90      8010         0     58226     56070    858787     25.23     27.46  --
1151.38/288.70	c  N dy  4313   1420333        90      8010         0     76917     56070   1416677     25.25     26.81  --
1174.51/294.58	c  N dy  4404   1440458        90      8010         0     95579     56070   1972473     25.26     26.64  --
1190.87/298.64	c  N dy  4462   1460663        90      8010         0     66155     56070   1071500     25.26     26.75  --
1209.61/303.31	c  N dy  4517   1480769        90      8010         0     84709     56070   1620993     25.26     26.88  --
1232.34/309.04	c  N dy  4581   1501467        90      8010         0     54815     56070    717750     25.26     26.82  --
1248.29/313.06	c  N dy  4616   1522705        90      8010         0     74376     56070   1290436     25.25     26.70  --
1270.64/318.63	c  N dy  4691   1543382        90      8010         0     93446     56070   1857835     25.26     26.70  --
1290.21/323.58	c  N dy  4792   1563471        90      8010         0     62195     56070    925585     25.27     26.76  --
1310.11/328.56	c  N dy  4884   1583678        90      8010         0     80958     56070   1484896     25.28     26.62  --
1332.85/334.22	c  N dy  4934   1603689        90      8010         0     99379     56070   2029014     25.28     28.57  --
1349.99/338.50	c  N dy  4991   1623776        90      8010         0     67065     56070   1044667     25.28     29.84  --
1370.74/343.73	c  N dy  5082   1644030        90      8010         0     85822     56070   1601917     25.29     26.73  --
1397.06/350.33	c  N dy  5148   1666030        90      8010         0     54393     56070    651257     25.29     26.66  --
1412.22/354.17	c  N dy  5176   1686746        90      8010         0     73459     56070   1210259     25.28     26.83  --
1436.14/360.18	c  N dy  5252   1708065        90      8010         0     93205     56070   1797063     25.29     26.69  --
1439.78/361.02	c  S st  5260   1710436        90      8010         0     95402     56070   1861490     25.29     23.10  --
1440.93/361.33	c  S st  5260   1710938        90      8010         0     95869     56070   1875374     25.29   no data  --
1440.93/361.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1440.93/361.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1440.93/361.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.22
1441.33/361.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1441.33/361.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1441.33/361.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
1441.33/361.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1586.50/397.83	c lits-rem:      5409  cl-subs:     8399  v-elim:      0  v-fix:    0  time: 145.03 s
1586.50/397.83	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
1586.50/397.85	c vivif2 --  cl tried    87470 cl shrink        0 lits rem          0 time: 0.08
1588.10/398.21	c asymm  cl-useful: 0/640/8010 lits-rem:0 time: 1.43
1588.10/398.21	c calculated reachability. Time: 0.00
1588.10/398.21	c  N dy  5260   1710938        90      8010         0     87470     56070   1613126     25.29   no data  --
1614.42/404.87	c  N dy  5307   1733767        90      8010         0     56213     56070    690502     25.28     26.61  --
1654.33/414.87	c  N dy  5385   1775442        90      8010         0     94471     56070   1810765     25.26     26.63  --
1680.23/421.41	c  N dy  5448   1795503        90      8010         0     59637     56070    779695     25.26     28.68  --
1703.35/427.11	c  N dy  5569   1815921        90      8010         0     78584     56070   1348737     25.28     26.63  --
1746.04/437.85	c  N dy  5626   1850822        90      8010         0     56365     56070    660526     25.26     26.59  --
1764.43/442.42	c  N dy  5691   1871308        90      8010         0     75275     56070   1220333     25.26     26.61  --
1787.11/448.13	c  N dy  5767   1891937        90      8010         0     94349     56070   1789406     25.27     26.66  --
1817.42/455.74	c  N dy  5865   1913415        90      8010         0     58907     56070    715013     25.28     26.70  --
1835.77/460.38	c  N dy  5947   1934162        90      8010         0     78112     56070   1286095     25.28     26.69  --
1857.30/465.73	c  N dy  5982   1954883        90      8010         0     97179     56070   1848281     25.28     26.89  --
1882.87/472.15	c  N dy  6024   1975697        90      8010         0     60060     56070    730561     25.27     26.66  --
1901.58/476.89	c  N dy  6115   1995756        90      8010         0     78646     56070   1282205     25.28     26.62  --
1928.30/483.55	c  N dy  6212   2018025        90      8010         0     99303     56070   1899739     25.28     26.73  --
1953.82/489.98	c  N dy  6266   2038059        90      8010         0     60525     56070    726208     25.28     27.34  --
1974.17/495.00	c  N dy  6372   2058143        90      8010         0     79129     56070   1282896     25.29     26.95  --
2004.88/502.79	c  N dy  6435   2085949        90      8010         0    104834     56070   2041940     25.29     26.73  --
2031.63/509.43	c  N dy  6531   2106021        90      8010         0     65197     56070    846902     25.30     26.77  --
2048.76/513.81	c  N dy  6565   2126080        90      8010         0     83632     56070   1385812     25.29     26.94  --
2071.88/519.58	c  N dy  6602   2146095        90      8010         0    102091     56070   1927834     25.28     27.23  --
2103.79/527.53	c  N dy  6654   2166126        90      8010         0     61485     56070    717548     25.28     28.06  --
2125.32/532.90	c  N dy  6726   2186241        90      8010         0     80069     56070   1270335     25.29     26.70  --
2152.45/539.79	c  N dy  6796   2210941        90      8010         0    102937     56070   1941876     25.28     23.29  --
2152.45/539.79	c  S st  6796   2210941        90      8010         0    102937     56070   1941876     25.28     23.29  --
2153.65/540.09	c  S st  6796   2211444        90      8010         0    103420     56070   1956191     25.28   no data  --
2154.05/540.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2154.05/540.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2154.05/540.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
2154.47/540.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2154.47/540.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2154.47/540.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
2154.47/540.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2575.21/645.78	c lits-rem:      5540  cl-subs:     8666  v-elim:      0  v-fix:    0  time: 420.83 s
2575.21/645.78	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
2575.21/645.80	c vivif2 --  cl tried    94754 cl shrink        0 lits rem          0 time: 0.07
2576.80/646.15	c asymm  cl-useful: 0/807/8010 lits-rem:0 time: 1.37
2576.80/646.15	c calculated reachability. Time: 0.00
2576.80/646.15	c  N dy  6796   2211444        90      8010         0     94754     56070   1686815     25.28   no data  --
2609.51/654.37	c  N dy  6911   2232112        90      8010         0    113887     56070   2260113     25.29     26.79  --
2633.09/660.26	c  N dy  7003   2252200        90      8010         0     72690     56070   1037201     25.30     26.73  --
2654.18/665.59	c  N dy  7050   2273250        90      8010         0     92169     56070   1613303     25.30     26.66  --
2686.48/673.70	c  N dy  7152   2296243        90      8010         0    113415     56070   2246687     25.30     26.72  --
2709.22/679.39	c  N dy  7175   2316267        90      8010         0     70839     56070    950023     25.29     26.94  --
2740.73/687.20	c  N dy  7233   2348720        90      8010         0    100646     56070   1820179     25.28     26.62  --
2772.24/695.19	c  N dy  7287   2372881        90      8010         0    122972     56070   2479968     25.28     26.66  --
2798.97/701.80	c  N dy  7335   2400853        90      8010         0     87049     56070   1418316     25.27     26.69  --
2827.68/709.08	c  N dy  7424   2421281        90      8010         0    105895     56070   1978268     25.28     26.65  --
2865.20/718.51	c  N dy  7481   2441387        90      8010         0    124434     56070   2526660     25.28     26.64  --
2889.89/724.62	c  N dy  7557   2461429        90      8010         0     80394     56070   1207341     25.28     26.92  --
2917.01/731.47	c  N dy  7626   2482750        90      8010         0    100130     56070   1794074     25.28     26.70  --
2967.66/744.15	c  N dy  7653   2530223        90      8010         0     79994     56070   1167512     25.25     26.60  --
2992.00/750.25	c  N dy  7743   2550240        90      8010         0     98548     56070   1721643     25.26     26.75  --
3025.50/758.66	c  N dy  7885   2570612        90      8010         0    117453     56070   2292503     25.27     26.72  --
3061.80/767.78	c  N dy  8012   2595718        90      8010         0     76109     56070   1041971     25.28     26.74  --
3086.13/773.80	c  N dy  8091   2615786        90      8010         0     94669     56070   1594316     25.29     26.66  --
3116.03/781.38	c  N dy  8196   2635825        90      8010         0    113225     56070   2150012     25.30     27.34  --
3154.33/790.97	c  N dy  8288   2656605        90      8010         0     66829     56070    747999     25.30     26.87  --
3176.26/796.50	c  N dy  8350   2676719        90      8010         0     85352     56070   1297036     25.30     26.70  --
3202.58/803.08	c  N dy  8420   2698320        90      8010         0    105229     56070   1885894     25.30     26.64  --
3220.56/807.52	c  S st  8440   2711446        90      8010         0    117292     56070   2236937     25.30     23.86  --
3221.73/807.88	c  S st  8440   2711950        90      8010         0    117774     56070   2251864     25.30   no data  --
3221.73/807.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3221.73/807.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3222.13/807.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.24
3222.53/808.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3222.53/808.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3222.53/808.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
3222.53/808.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3902.12/978.47	c lits-rem:      7220  cl-subs:    10249  v-elim:      0  v-fix:    0  time: 679.62 s
3902.12/978.47	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
3902.12/978.49	c vivif2 --  cl tried   107525 cl shrink        0 lits rem          0 time: 0.10
3904.12/978.95	c asymm  cl-useful: 0/604/8010 lits-rem:0 time: 1.83
3904.12/978.96	c calculated reachability. Time: 0.00
3904.12/978.96	c  N dy  8440   2711950        90      8010         0    107525     56070   1934508     25.30   no data  --
4058.50/1017.63	c  N dy  8531   2810460        90      8010         0    131371     56070   2587259     25.22     26.78  --
4090.37/1025.67	c  N dy  8609   2830495        90      8010         0     83219     56070   1215065     25.22     26.68  --
4132.65/1036.24	c  N dy  8689   2853103        90      8010         0    104053     56070   1832001     25.23     26.56  --
4179.31/1047.96	c  N dy  8787   2873558        90      8010         0    122943     56070   2392798     25.23     26.70  --
4230.01/1060.68	c  N dy  8918   2894751        90      8010         0     74682     56070    937737     25.24     26.58  --
4261.47/1068.57	c  N dy  8973   2915229        90      8010         0     93636     56070   1499575     25.24     26.71  --
4303.35/1079.04	c  N dy  9062   2935620        90      8010         0    112498     56070   2064629     25.24     26.58  --
4352.85/1091.44	c  N dy  9168   2955791        90      8010         0    131152     56070   2624827     25.25     26.64  --
4394.68/1101.93	c  N dy  9259   2976230        90      8010         0     80915     56070   1098678     25.26     26.71  --
4432.97/1111.50	c  N dy  9323   3000524        90      8010         0    103252     56070   1755975     25.25     26.63  --
4514.75/1132.04	c  N dy  9347   3043648        90      8010         0     72649     56070    837770     25.22     26.57  --
4544.64/1139.53	c  N dy  9423   3064060        90      8010         0     91457     56070   1395457     25.23     26.71  --
4579.74/1148.36	c  N dy  9515   3084070        90      8010         0    109918     56070   1945575     25.23     27.34  --
4625.19/1159.77	c  N dy  9637   3104169        90      8010         0    128528     56070   2503584     25.24     27.02  --
4667.08/1170.24	c  N dy  9701   3124838        90      8010         0     76692     56070    942068     25.24     26.91  --
4698.59/1178.12	c  N dy  9790   3145006        90      8010         0     95337     56070   1498128     25.24     26.60  --
4744.05/1189.55	c  N dy  9866   3171424        90      8010         0    119629     56070   2216941     25.24     26.60  --
4793.10/1201.84	c  N dy  9973   3195548        90      8010         0    141927     56070   2882114     25.25     26.59  --

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-3368952-1305407495/watcher-3368952-1305407495 -o /tmp/evaluation-result-3368952-1305407495/solver-3368952-1305407495 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368952-1305407495.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.09 8.08 8.02 5/360 19068
/proc/meminfo: memFree=18342560/32951124 swapFree=67111348/67111528
[pid=19068] ppid=19066 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/19068/stat : 19068 (strangenight1-m) R 19066 19068 18878 0 -1 4202496 414 0 0 0 1 0 0 0 25 0 4 0 633165401 52465664 355 33554432000 4194304 4650419 140735530273760 18446744073709551615 47742753572368 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19068/statm: 12809 355 306 112 0 7774 0
[pid=19068/tid=19069] ppid=19066 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/19068/task/19069/stat : 19069 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 633165402 52465664 355 33554432000 4194304 4650419 140735530273760 18446744073709551615 47742753572786 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19068/tid=19070] ppid=19066 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/19068/task/19070/stat : 19070 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 633165402 52465664 355 33554432000 4194304 4650419 140735530273760 18446744073709551615 47742753572371 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19068/tid=19071] ppid=19066 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/19068/task/19071/stat : 19071 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 633165402 52465664 355 33554432000 4194304 4650419 140735530273760 18446744073709551615 47742753572786 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.223586 s]
/proc/loadavg: 8.09 8.08 8.02 5/360 19068
/proc/meminfo: memFree=18342560/32951124 swapFree=67111348/67111528
[pid=19068] ppid=19066 vsize=285592 CPUtime=0.83 cores=1,3,5,7
/proc/19068/stat : 19068 (strangenight1-m) R 19066 19068 18878 0 -1 4202496 2713 0 0 0 83 0 0 0 18 0 4 0 633165401 292446208 2137 33554432000 4194304 4650419 140735530273760 18446744073709551615 233510340791 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19068/statm: 71398 2144 378 112 0 66363 0
[pid=19068/tid=19069] ppid=19066 vsize=285592 CPUtime=0.19 cores=1,3,5,7
/proc/19068/task/19069/stat : 19069 (strangenight1-m) D 19066 19068 18878 0 -1 4202560 559 0 0 0 19 0 0 0 25 0 4 0 633165402 292446208 2146 33554432000 4194304 4650419 140735530273760 18446744073709551615 233510340791 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19068/tid=19070] ppid=19066 vsize=285592 CPUtime=0.21 cores=1,3,5,7
/proc/19068/task/19070/stat : 19070 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 616 0 0 0 21 0 0 0 18 0 4 0 633165402 292446208 2148 33554432000 4194304 4650419 140735530273760 18446744073709551615 233509958341 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19068/tid=19071] ppid=19066 vsize=285592 CPUtime=0.2 cores=1,3,5,7
/proc/19068/task/19071/stat : 19071 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 707 0 0 0 20 0 0 0 18 0 4 0 633165402 292446208 2159 33554432000 4194304 4650419 140735530273760 18446744073709551615 233510402542 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.83
Current children cumulated vsize (KiB) 285592

[startup+0.301038 s]
/proc/loadavg: 8.09 8.08 8.02 5/360 19068
/proc/meminfo: memFree=18342560/32951124 swapFree=67111348/67111528
[pid=19068] ppid=19066 vsize=286592 CPUtime=1.14 cores=1,3,5,7
/proc/19068/stat : 19068 (strangenight1-m) R 19066 19068 18878 0 -1 4202496 4074 0 0 0 113 1 0 0 18 0 4 0 633165401 293470208 3383 33554432000 4194304 4650419 140735530273760 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19068/statm: 71648 3383 390 112 0 66613 0
[pid=19068/tid=19069] ppid=19066 vsize=286592 CPUtime=0.26 cores=1,3,5,7
/proc/19068/task/19069/stat : 19069 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 974 0 0 0 26 0 0 0 25 0 4 0 633165402 293470208 3383 33554432000 4194304 4650419 140735530273760 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19068/tid=19070] ppid=19066 vsize=286592 CPUtime=0.29 cores=1,3,5,7
/proc/19068/task/19070/stat : 19070 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 951 0 0 0 29 0 0 0 18 0 4 0 633165402 293470208 3383 33554432000 4194304 4650419 140735530273760 18446744073709551615 4334389 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19068/tid=19071] ppid=19066 vsize=286592 CPUtime=0.28 cores=1,3,5,7
/proc/19068/task/19071/stat : 19071 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 772 0 0 0 28 0 0 0 18 0 4 0 633165402 293470208 3385 33554432000 4194304 4650419 140735530273760 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 286592

[startup+0.401018 s]
/proc/loadavg: 8.09 8.08 8.02 5/360 19068
/proc/meminfo: memFree=18342560/32951124 swapFree=67111348/67111528
[pid=19068] ppid=19066 vsize=286592 CPUtime=1.54 cores=1,3,5,7
/proc/19068/stat : 19068 (strangenight1-m) R 19066 19068 18878 0 -1 4202496 4410 0 0 0 153 1 0 0 18 0 4 0 633165401 293470208 3719 33554432000 4194304 4650419 140735530273760 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19068/statm: 71648 3719 390 112 0 66613 0
[pid=19068/tid=19069] ppid=19066 vsize=286592 CPUtime=0.36 cores=1,3,5,7
/proc/19068/task/19069/stat : 19069 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 1059 0 0 0 36 0 0 0 25 0 4 0 633165402 293470208 3719 33554432000 4194304 4650419 140735530273760 18446744073709551615 4329563 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19068/tid=19070] ppid=19066 vsize=286592 CPUtime=0.39 cores=1,3,5,7
/proc/19068/task/19070/stat : 19070 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 1043 0 0 0 39 0 0 0 18 0 4 0 633165402 293470208 3719 33554432000 4194304 4650419 140735530273760 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19068/tid=19071] ppid=19066 vsize=286592 CPUtime=0.38 cores=1,3,5,7
/proc/19068/task/19071/stat : 19071 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 843 0 0 0 38 0 0 0 18 0 4 0 633165402 293470208 3719 33554432000 4194304 4650419 140735530273760 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 286592

[startup+0.700966 s]
/proc/loadavg: 8.09 8.08 8.02 5/360 19068
/proc/meminfo: memFree=18342560/32951124 swapFree=67111348/67111528
[pid=19068] ppid=19066 vsize=288704 CPUtime=2.74 cores=1,3,5,7
/proc/19068/stat : 19068 (strangenight1-m) R 19066 19068 18878 0 -1 4202496 6655 0 0 0 273 1 0 0 18 0 4 0 633165401 295632896 4002 33554432000 4194304 4650419 140735530273760 18446744073709551615 4365276 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19068/statm: 72176 4002 390 112 0 67141 0
[pid=19068/tid=19069] ppid=19066 vsize=288704 CPUtime=0.66 cores=1,3,5,7
/proc/19068/task/19069/stat : 19069 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 1688 0 0 0 66 0 0 0 25 0 4 0 633165402 295632896 4002 33554432000 4194304 4650419 140735530273760 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19068/tid=19070] ppid=19066 vsize=288704 CPUtime=0.69 cores=1,3,5,7
/proc/19068/task/19070/stat : 19070 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 1671 0 0 0 69 0 0 0 18 0 4 0 633165402 295632896 4002 33554432000 4194304 4650419 140735530273760 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19068/tid=19071] ppid=19066 vsize=288704 CPUtime=0.68 cores=1,3,5,7
/proc/19068/task/19071/stat : 19071 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 1262 0 0 0 68 0 0 0 18 0 4 0 633165402 295632896 4002 33554432000 4194304 4650419 140735530273760 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 288704

[startup+1.50082 s]
/proc/loadavg: 8.09 8.08 8.02 10/364 19072
/proc/meminfo: memFree=18321780/32951124 swapFree=67111348/67111528
[pid=19068] ppid=19066 vsize=289876 CPUtime=5.93 cores=1,3,5,7
/proc/19068/stat : 19068 (strangenight1-m) R 19066 19068 18878 0 -1 4202496 10863 0 0 0 591 2 0 0 19 0 4 0 633165401 296833024 4904 33554432000 4194304 4650419 140735530273760 18446744073709551615 4520131 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19068/statm: 72469 4904 391 112 0 67434 0
[pid=19068/tid=19069] ppid=19066 vsize=289876 CPUtime=1.46 cores=1,3,5,7
/proc/19068/task/19069/stat : 19069 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 2752 0 0 0 146 0 0 0 25 0 4 0 633165402 296833024 4904 33554432000 4194304 4650419 140735530273760 18446744073709551615 4334212 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19068/tid=19070] ppid=19066 vsize=289876 CPUtime=1.48 cores=1,3,5,7
/proc/19068/task/19070/stat : 19070 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 2760 0 0 0 148 0 0 0 19 0 4 0 633165402 296833024 4905 33554432000 4194304 4650419 140735530273760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19068/tid=19071] ppid=19066 vsize=289876 CPUtime=1.46 cores=1,3,5,7
/proc/19068/task/19071/stat : 19071 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 2302 0 0 0 146 0 0 0 20 0 4 0 633165402 296833024 4905 33554432000 4194304 4650419 140735530273760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 289876

[startup+3.10054 s]
/proc/loadavg: 8.09 8.08 8.02 9/364 19072
/proc/meminfo: memFree=18306652/32951124 swapFree=67111348/67111528
[pid=19068] ppid=19066 vsize=310176 CPUtime=12.32 cores=1,3,5,7
/proc/19068/stat : 19068 (strangenight1-m) R 19066 19068 18878 0 -1 4202496 20869 0 0 0 1228 4 0 0 24 0 4 0 633165401 317620224 12874 33554432000 4194304 4650419 140735530273760 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19068/statm: 77544 12874 392 112 0 72509 0
[pid=19068/tid=19069] ppid=19066 vsize=310176 CPUtime=3.06 cores=1,3,5,7
/proc/19068/task/19069/stat : 19069 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 4645 0 0 0 306 0 0 0 25 0 4 0 633165402 317620224 12874 33554432000 4194304 4650419 140735530273760 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19068/tid=19070] ppid=19066 vsize=310176 CPUtime=3.09 cores=1,3,5,7
/proc/19068/task/19070/stat : 19070 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 5764 0 0 0 308 1 0 0 23 0 4 0 633165402 317620224 12874 33554432000 4194304 4650419 140735530273760 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19068/tid=19071] ppid=19066 vsize=310176 CPUtime=3.06 cores=1,3,5,7
/proc/19068/task/19071/stat : 19071 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 5643 0 0 0 305 1 0 0 25 0 4 0 633165402 317620224 12874 33554432000 4194304 4650419 140735530273760 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 310176

[startup+6.30096 s]
/proc/loadavg: 8.08 8.08 8.02 9/364 19072
/proc/meminfo: memFree=18284084/32951124 swapFree=67111348/67111528
[pid=19068] ppid=19066 vsize=291772 CPUtime=25.08 cores=1,3,5,7
/proc/19068/stat : 19068 (strangenight1-m) R 19066 19068 18878 0 -1 4202496 30227 0 0 0 2503 5 0 0 25 0 4 0 633165401 298774528 16744 33554432000 4194304 4650419 140735530273760 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19068/statm: 72943 16744 392 112 0 67908 0
[pid=19068/tid=19069] ppid=19066 vsize=291772 CPUtime=6.26 cores=1,3,5,7
/proc/19068/task/19069/stat : 19069 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 8009 0 0 0 626 0 0 0 25 0 4 0 633165402 298774528 16744 33554432000 4194304 4650419 140735530273760 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19068/tid=19070] ppid=19066 vsize=291772 CPUtime=6.29 cores=1,3,5,7
/proc/19068/task/19070/stat : 19070 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 7770 0 0 0 628 1 0 0 25 0 4 0 633165402 298774528 16744 33554432000 4194304 4650419 140735530273760 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19068/tid=19071] ppid=19066 vsize=291772 CPUtime=6.21 cores=1,3,5,7
/proc/19068/task/19071/stat : 19071 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 7757 0 0 0 620 1 0 0 25 0 4 0 633165402 298774528 16744 33554432000 4194304 4650419 140735530273760 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 291772

[startup+12.7008 s]
/proc/loadavg: 8.07 8.08 8.02 9/364 19072
/proc/meminfo: memFree=18248048/32951124 swapFree=67111348/67111528
[pid=19068] ppid=19066 vsize=331256 CPUtime=50.6 cores=1,3,5,7
/proc/19068/stat : 19068 (strangenight1-m) R 19066 19068 18878 0 -1 4202496 42037 0 0 0 5052 8 0 0 25 0 4 0 633165401 339206144 23118 33554432000 4194304 4650419 140735530273760 18446744073709551615 4370477 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19068/statm: 82814 23118 392 112 0 77779 0
[pid=19068/tid=19069] ppid=19066 vsize=331256 CPUtime=12.66 cores=1,3,5,7
/proc/19068/task/19069/stat : 19069 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 9650 0 0 0 1265 1 0 0 25 0 4 0 633165402 339206144 23118 33554432000 4194304 4650419 140735530273760 18446744073709551615 4439344 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19068/tid=19070] ppid=19066 vsize=331256 CPUtime=12.69 cores=1,3,5,7
/proc/19068/task/19070/stat : 19070 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 10805 0 0 0 1267 2 0 0 25 0 4 0 633165402 339206144 23118 33554432000 4194304 4650419 140735530273760 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19068/tid=19071] ppid=19066 vsize=331256 CPUtime=12.54 cores=1,3,5,7
/proc/19068/task/19071/stat : 19071 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 11968 0 0 0 1252 2 0 0 25 0 4 0 633165402 339206144 23118 33554432000 4194304 4650419 140735530273760 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 331256

[startup+25.5135 s]
/proc/loadavg: 8.06 8.08 8.02 9/364 19072
/proc/meminfo: memFree=18218892/32951124 swapFree=67111348/67111528
[pid=19068] ppid=19066 vsize=342072 CPUtime=101.7 cores=1,3,5,7
/proc/19068/stat : 19068 (strangenight1-m) R 19066 19068 18878 0 -1 4202496 63968 0 0 0 10156 14 0 0 25 0 4 0 633165401 350281728 27984 33554432000 4194304 4650419 140735530273760 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19068/statm: 85518 27984 392 112 0 80483 0
[pid=19068/tid=19069] ppid=19066 vsize=342072 CPUtime=25.48 cores=1,3,5,7
/proc/19068/task/19069/stat : 19069 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 14897 0 0 0 2545 3 0 0 25 0 4 0 633165402 350281728 27984 33554432000 4194304 4650419 140735530273760 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19068/tid=19070] ppid=19066 vsize=342072 CPUtime=25.5 cores=1,3,5,7
/proc/19068/task/19070/stat : 19070 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 16297 0 0 0 2547 3 0 0 25 0 4 0 633165402 350281728 27984 33554432000 4194304 4650419 140735530273760 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19068/tid=19071] ppid=19066 vsize=342072 CPUtime=25.2 cores=1,3,5,7
/proc/19068/task/19071/stat : 19071 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 17625 0 0 0 2516 4 0 0 25 0 4 0 633165402 350281728 27984 33554432000 4194304 4650419 140735530273760 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 342072

[startup+51.1009 s]
/proc/loadavg: 8.17 8.10 8.02 9/364 19073
/proc/meminfo: memFree=18205824/32951124 swapFree=67111348/67111528
[pid=19068] ppid=19066 vsize=345340 CPUtime=203.75 cores=1,3,5,7
/proc/19068/stat : 19068 (strangenight1-m) R 19066 19068 18878 0 -1 4202496 95357 0 0 0 20351 24 0 0 25 0 4 0 633165401 353628160 34167 33554432000 4194304 4650419 140735530273760 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19068/statm: 86335 34167 392 112 0 81300 0
[pid=19068/tid=19069] ppid=19066 vsize=345340 CPUtime=51.06 cores=1,3,5,7
/proc/19068/task/19069/stat : 19069 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 22711 0 0 0 5101 5 0 0 25 0 4 0 633165402 353628160 34167 33554432000 4194304 4650419 140735530273760 18446744073709551615 4433084 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19068/tid=19070] ppid=19066 vsize=345340 CPUtime=51.09 cores=1,3,5,7
/proc/19068/task/19070/stat : 19070 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 24028 0 0 0 5103 6 0 0 25 0 4 0 633165402 353628160 34167 33554432000 4194304 4650419 140735530273760 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19068/tid=19071] ppid=19066 vsize=345340 CPUtime=50.49 cores=1,3,5,7
/proc/19068/task/19071/stat : 19071 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 25495 0 0 0 5042 7 0 0 25 0 4 0 633165402 353628160 34167 33554432000 4194304 4650419 140735530273760 18446744073709551615 4310525 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.75
Current children cumulated vsize (KiB) 345340

[startup+102.301 s]
/proc/loadavg: 8.14 8.10 8.03 9/364 19074
/proc/meminfo: memFree=18170296/32951124 swapFree=67111348/67111528
[pid=19068] ppid=19066 vsize=402968 CPUtime=407.96 cores=1,3,5,7
/proc/19068/stat : 19068 (strangenight1-m) R 19066 19068 18878 0 -1 4202496 148846 0 0 0 40754 42 0 0 25 0 4 0 633165401 412639232 39892 33554432000 4194304 4650419 140735530273760 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19068/statm: 100742 39892 392 112 0 95707 0
[pid=19068/tid=19069] ppid=19066 vsize=402968 CPUtime=102.26 cores=1,3,5,7
/proc/19068/task/19069/stat : 19069 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 36264 0 0 0 10216 10 0 0 25 0 4 0 633165402 412639232 39892 33554432000 4194304 4650419 140735530273760 18446744073709551615 4229498 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19068/tid=19070] ppid=19066 vsize=402968 CPUtime=102.28 cores=1,3,5,7
/proc/19068/task/19070/stat : 19070 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 39556 0 0 0 10218 10 0 0 25 0 4 0 633165402 412639232 39892 33554432000 4194304 4650419 140735530273760 18446744073709551615 4366956 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19068/tid=19071] ppid=19066 vsize=402968 CPUtime=101.1 cores=1,3,5,7
/proc/19068/task/19071/stat : 19071 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 37011 0 0 0 10100 10 0 0 25 0 4 0 633165402 412639232 39892 33554432000 4194304 4650419 140735530273760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 407.96
Current children cumulated vsize (KiB) 402968

[startup+162.301 s]

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

[pid=19068] ppid=19066 vsize=485564 CPUtime=2561.65 cores=1,3,5,7
/proc/19068/stat : 19068 (strangenight1-m) R 19066 19068 18878 0 -1 4202496 445168 0 0 0 255990 175 0 0 25 0 4 0 633165401 497217536 78429 33554432000 4194304 4650419 140735530273760 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19068/statm: 121391 78429 392 112 0 116356 0
[pid=19068/tid=19069] ppid=19066 vsize=485564 CPUtime=642.27 cores=1,3,5,7
/proc/19068/task/19069/stat : 19069 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 119883 0 0 0 64175 52 0 0 25 0 4 0 633165402 497217536 78429 33554432000 4194304 4650419 140735530273760 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19068/tid=19070] ppid=19066 vsize=485564 CPUtime=642.29 cores=1,3,5,7
/proc/19068/task/19070/stat : 19070 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 113192 0 0 0 64186 43 0 0 25 0 4 0 633165402 497217536 78429 33554432000 4194304 4650419 140735530273760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19068/tid=19071] ppid=19066 vsize=485564 CPUtime=634.75 cores=1,3,5,7
/proc/19068/task/19071/stat : 19071 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 113584 0 0 0 63429 46 0 0 25 0 4 0 633165402 497217536 78429 33554432000 4194304 4650419 140735530273760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2561.65
Current children cumulated vsize (KiB) 485564

[startup+702.3 s]
/proc/loadavg: 8.18 8.12 8.06 9/364 19181
/proc/meminfo: memFree=18210280/32951124 swapFree=67111348/67111528
[pid=19068] ppid=19066 vsize=510808 CPUtime=2800.95 cores=1,3,5,7
/proc/19068/stat : 19068 (strangenight1-m) R 19066 19068 18878 0 -1 4202496 472380 0 0 0 279906 189 0 0 25 0 4 0 633165401 523067392 89433 33554432000 4194304 4650419 140735530273760 18446744073709551615 4334219 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19068/statm: 127702 89433 392 112 0 122667 0
[pid=19068/tid=19069] ppid=19066 vsize=510808 CPUtime=702.28 cores=1,3,5,7
/proc/19068/task/19069/stat : 19069 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 127182 0 0 0 70171 57 0 0 25 0 4 0 633165402 523067392 89433 33554432000 4194304 4650419 140735530273760 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19068/tid=19070] ppid=19066 vsize=510808 CPUtime=702.29 cores=1,3,5,7
/proc/19068/task/19070/stat : 19070 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 117854 0 0 0 70184 45 0 0 25 0 4 0 633165402 523067392 89433 33554432000 4194304 4650419 140735530273760 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19068/tid=19071] ppid=19066 vsize=510808 CPUtime=694.04 cores=1,3,5,7
/proc/19068/task/19071/stat : 19071 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 120471 0 0 0 69354 50 0 0 25 0 4 0 633165402 523067392 89433 33554432000 4194304 4650419 140735530273760 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2800.95
Current children cumulated vsize (KiB) 510808

[startup+762.301 s]
/proc/loadavg: 8.10 8.11 8.06 9/364 19183
/proc/meminfo: memFree=18188808/32951124 swapFree=67111348/67111528
[pid=19068] ppid=19066 vsize=524000 CPUtime=3040.26 cores=1,3,5,7
/proc/19068/stat : 19068 (strangenight1-m) R 19066 19068 18878 0 -1 4202496 494729 0 0 0 303829 197 0 0 25 0 4 0 633165401 536576000 89247 33554432000 4194304 4650419 140735530273760 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19068/statm: 131000 89247 392 112 0 125965 0
[pid=19068/tid=19069] ppid=19066 vsize=524000 CPUtime=762.28 cores=1,3,5,7
/proc/19068/task/19069/stat : 19069 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 133616 0 0 0 76169 59 0 0 25 0 4 0 633165402 536576000 89247 33554432000 4194304 4650419 140735530273760 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19068/tid=19070] ppid=19066 vsize=524000 CPUtime=762.3 cores=1,3,5,7
/proc/19068/task/19070/stat : 19070 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 125943 0 0 0 76182 48 0 0 25 0 4 0 633165402 536576000 89247 33554432000 4194304 4650419 140735530273760 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19068/tid=19071] ppid=19066 vsize=524000 CPUtime=753.35 cores=1,3,5,7
/proc/19068/task/19071/stat : 19071 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 126954 0 0 0 75282 53 0 0 25 0 4 0 633165402 536576000 89247 33554432000 4194304 4650419 140735530273760 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3040.26
Current children cumulated vsize (KiB) 524000

[startup+822.301 s]
/proc/loadavg: 8.30 8.15 8.07 10/365 19187
/proc/meminfo: memFree=18123104/32951124 swapFree=67111348/67111528
[pid=19068] ppid=19066 vsize=524768 CPUtime=3279.55 cores=1,3,5,7
/proc/19068/stat : 19068 (strangenight1-m) R 19066 19068 18878 0 -1 4202496 514191 0 0 0 327749 206 0 0 25 0 4 0 633165401 537362432 92484 33554432000 4194304 4650419 140735530273760 18446744073709551615 4439082 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19068/statm: 131192 92484 392 112 0 126157 0
[pid=19068/tid=19069] ppid=19066 vsize=524768 CPUtime=822.28 cores=1,3,5,7
/proc/19068/task/19069/stat : 19069 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 140418 0 0 0 82166 62 0 0 25 0 4 0 633165402 537362432 92484 33554432000 4194304 4650419 140735530273760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19068/tid=19070] ppid=19066 vsize=524768 CPUtime=822.3 cores=1,3,5,7
/proc/19068/task/19070/stat : 19070 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 130604 0 0 0 82180 50 0 0 25 0 4 0 633165402 537362432 92484 33554432000 4194304 4650419 140735530273760 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19068/tid=19071] ppid=19066 vsize=524768 CPUtime=812.64 cores=1,3,5,7
/proc/19068/task/19071/stat : 19071 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 133871 0 0 0 81208 56 0 0 25 0 4 0 633165402 537362432 92484 33554432000 4194304 4650419 140735530273760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3279.55
Current children cumulated vsize (KiB) 524768

[startup+882.301 s]
/proc/loadavg: 8.26 8.18 8.09 9/364 19189
/proc/meminfo: memFree=18119184/32951124 swapFree=67111348/67111528
[pid=19068] ppid=19066 vsize=511996 CPUtime=3518.89 cores=1,3,5,7
/proc/19068/stat : 19068 (strangenight1-m) R 19066 19068 18878 0 -1 4202496 531157 0 0 0 351672 217 0 0 25 0 4 0 633165401 524283904 88440 33554432000 4194304 4650419 140735530273760 18446744073709551615 4476324 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19068/statm: 127999 88440 392 112 0 122964 0
[pid=19068/tid=19069] ppid=19066 vsize=511996 CPUtime=882.29 cores=1,3,5,7
/proc/19068/task/19069/stat : 19069 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 146887 0 0 0 88164 65 0 0 25 0 4 0 633165402 524283904 88441 33554432000 4194304 4650419 140735530273760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19068/tid=19070] ppid=19066 vsize=511996 CPUtime=882.31 cores=1,3,5,7
/proc/19068/task/19070/stat : 19070 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 134024 0 0 0 88179 52 0 0 25 0 4 0 633165402 524283904 88441 33554432000 4194304 4650419 140735530273760 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19068/tid=19071] ppid=19066 vsize=511996 CPUtime=871.94 cores=1,3,5,7
/proc/19068/task/19071/stat : 19071 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 140490 0 0 0 87133 61 0 0 25 0 4 0 633165402 524283904 88441 33554432000 4194304 4650419 140735530273760 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3518.89
Current children cumulated vsize (KiB) 511996

[startup+942.3 s]
/proc/loadavg: 8.10 8.14 8.08 9/364 19191
/proc/meminfo: memFree=18061748/32951124 swapFree=67111348/67111528
[pid=19068] ppid=19066 vsize=590920 CPUtime=3758.15 cores=1,3,5,7
/proc/19068/stat : 19068 (strangenight1-m) R 19066 19068 18878 0 -1 4202496 548914 0 0 0 375590 225 0 0 25 0 4 0 633165401 605102080 95890 33554432000 4194304 4650419 140735530273760 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19068/statm: 147730 95890 392 112 0 142695 0
[pid=19068/tid=19069] ppid=19066 vsize=590920 CPUtime=942.28 cores=1,3,5,7
/proc/19068/task/19069/stat : 19069 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 154588 0 0 0 94161 67 0 0 25 0 4 0 633165402 605102080 95890 33554432000 4194304 4650419 140735530273760 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19068/tid=19070] ppid=19066 vsize=590920 CPUtime=942.3 cores=1,3,5,7
/proc/19068/task/19070/stat : 19070 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 139805 0 0 0 94174 56 0 0 25 0 4 0 633165402 605102080 95890 33554432000 4194304 4650419 140735530273760 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19068/tid=19071] ppid=19066 vsize=590920 CPUtime=931.23 cores=1,3,5,7
/proc/19068/task/19071/stat : 19071 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 144764 0 0 0 93059 64 0 0 25 0 4 0 633165402 605102080 95890 33554432000 4194304 4650419 140735530273760 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3758.15
Current children cumulated vsize (KiB) 590920

[startup+1002.31 s]
/proc/loadavg: 8.08 8.13 8.08 9/364 19192
/proc/meminfo: memFree=18062580/32951124 swapFree=67111348/67111528
[pid=19068] ppid=19066 vsize=644304 CPUtime=3997.5 cores=1,3,5,7
/proc/19068/stat : 19068 (strangenight1-m) R 19066 19068 18878 0 -1 4202496 559504 0 0 0 399522 228 0 0 25 0 4 0 633165401 659767296 97009 33554432000 4194304 4650419 140735530273760 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19068/statm: 161076 97009 392 112 0 156041 0
[pid=19068/tid=19069] ppid=19066 vsize=644304 CPUtime=1002.3 cores=1,3,5,7
/proc/19068/task/19069/stat : 19069 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 160349 0 0 0 100162 68 0 0 25 0 4 0 633165402 659767296 97009 33554432000 4194304 4650419 140735530273760 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19068/tid=19070] ppid=19066 vsize=644304 CPUtime=1002.31 cores=1,3,5,7
/proc/19068/task/19070/stat : 19070 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 144253 0 0 0 100173 58 0 0 25 0 4 0 633165402 659767296 97009 33554432000 4194304 4650419 140735530273760 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19068/tid=19071] ppid=19066 vsize=644304 CPUtime=990.53 cores=1,3,5,7
/proc/19068/task/19071/stat : 19071 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 144764 0 0 0 98989 64 0 0 25 0 4 0 633165402 659767296 97009 33554432000 4194304 4650419 140735530273760 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3997.5
Current children cumulated vsize (KiB) 644304

[startup+1062.3 s]
/proc/loadavg: 8.15 8.13 8.09 9/364 19194
/proc/meminfo: memFree=18043464/32951124 swapFree=67111348/67111528
[pid=19068] ppid=19066 vsize=591040 CPUtime=4236.75 cores=1,3,5,7
/proc/19068/stat : 19068 (strangenight1-m) R 19066 19068 18878 0 -1 4202496 575528 0 0 0 423442 233 0 0 25 0 4 0 633165401 605224960 95600 33554432000 4194304 4650419 140735530273760 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19068/statm: 147760 95600 392 112 0 142725 0
[pid=19068/tid=19069] ppid=19066 vsize=591040 CPUtime=1062.29 cores=1,3,5,7
/proc/19068/task/19069/stat : 19069 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 170691 0 0 0 106159 70 0 0 25 0 4 0 633165402 605224960 95600 33554432000 4194304 4650419 140735530273760 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19068/tid=19070] ppid=19066 vsize=591040 CPUtime=1062.3 cores=1,3,5,7
/proc/19068/task/19070/stat : 19070 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 146765 0 0 0 106171 59 0 0 25 0 4 0 633165402 605224960 95600 33554432000 4194304 4650419 140735530273760 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19068/tid=19071] ppid=19066 vsize=591040 CPUtime=1049.81 cores=1,3,5,7
/proc/19068/task/19071/stat : 19071 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 144764 0 0 0 104917 64 0 0 25 0 4 0 633165402 605224960 95600 33554432000 4194304 4650419 140735530273760 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4236.75
Current children cumulated vsize (KiB) 591040

[startup+1122.3 s]
/proc/loadavg: 8.10 8.12 8.09 9/364 19195
/proc/meminfo: memFree=18037468/32951124 swapFree=67111348/67111528
[pid=19068] ppid=19066 vsize=597104 CPUtime=4476.04 cores=1,3,5,7
/proc/19068/stat : 19068 (strangenight1-m) R 19066 19068 18878 0 -1 4202496 582838 0 0 0 447369 235 0 0 25 0 4 0 633165401 611434496 96903 33554432000 4194304 4650419 140735530273760 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19068/statm: 149276 96903 392 112 0 144241 0
[pid=19068/tid=19069] ppid=19066 vsize=597104 CPUtime=1122.29 cores=1,3,5,7
/proc/19068/task/19069/stat : 19069 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 176752 0 0 0 112158 71 0 0 25 0 4 0 633165402 611434496 96903 33554432000 4194304 4650419 140735530273760 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19068/tid=19070] ppid=19066 vsize=597104 CPUtime=1122.3 cores=1,3,5,7
/proc/19068/task/19070/stat : 19070 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 146765 0 0 0 112171 59 0 0 25 0 4 0 633165402 611434496 96903 33554432000 4194304 4650419 140735530273760 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19068/tid=19071] ppid=19066 vsize=597104 CPUtime=1109.1 cores=1,3,5,7
/proc/19068/task/19071/stat : 19071 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 144764 0 0 0 110846 64 0 0 25 0 4 0 633165402 611434496 96903 33554432000 4194304 4650419 140735530273760 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4476.04
Current children cumulated vsize (KiB) 597104

[startup+1182.3 s]
/proc/loadavg: 8.18 8.14 8.09 9/364 19197
/proc/meminfo: memFree=18008184/32951124 swapFree=67111348/67111528
[pid=19068] ppid=19066 vsize=597164 CPUtime=4715.34 cores=1,3,5,7
/proc/19068/stat : 19068 (strangenight1-m) R 19066 19068 18878 0 -1 4202496 587710 0 0 0 471296 238 0 0 25 0 4 0 633165401 611495936 98029 33554432000 4194304 4650419 140735530273760 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19068/statm: 149291 98029 392 112 0 144256 0
[pid=19068/tid=19069] ppid=19066 vsize=597164 CPUtime=1182.29 cores=1,3,5,7
/proc/19068/task/19069/stat : 19069 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 181073 0 0 0 118155 74 0 0 25 0 4 0 633165402 611495936 98029 33554432000 4194304 4650419 140735530273760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19068/tid=19070] ppid=19066 vsize=597164 CPUtime=1182.3 cores=1,3,5,7
/proc/19068/task/19070/stat : 19070 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 146765 0 0 0 118171 59 0 0 25 0 4 0 633165402 611495936 98029 33554432000 4194304 4650419 140735530273760 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19068/tid=19071] ppid=19066 vsize=597164 CPUtime=1168.4 cores=1,3,5,7
/proc/19068/task/19071/stat : 19071 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 144764 0 0 0 116776 64 0 0 25 0 4 0 633165402 611495936 98029 33554432000 4194304 4650419 140735530273760 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4715.34
Current children cumulated vsize (KiB) 597164



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.61 s]
/proc/loadavg: 8.13 8.13 8.09 9/364 19198
/proc/meminfo: memFree=17993052/32951124 swapFree=67111348/67111528
[pid=19068] ppid=19066 vsize=661336 CPUtime=4800.36 cores=1,3,5,7
/proc/19068/stat : 19068 (strangenight1-m) R 19066 19068 18878 0 -1 4202496 592340 0 0 0 479794 242 0 0 25 0 4 0 633165401 677208064 99119 33554432000 4194304 4650419 140735530273760 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19068/statm: 165334 99119 392 112 0 160299 0
[pid=19068/tid=19069] ppid=19066 vsize=661336 CPUtime=1203.62 cores=1,3,5,7
/proc/19068/task/19069/stat : 19069 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 183741 0 0 0 120287 75 0 0 25 0 4 0 633165402 677208064 99119 33554432000 4194304 4650419 140735530273760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19068/tid=19070] ppid=19066 vsize=661336 CPUtime=1203.63 cores=1,3,5,7
/proc/19068/task/19070/stat : 19070 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 147058 0 0 0 120303 60 0 0 25 0 4 0 633165402 677208064 99119 33554432000 4194304 4650419 140735530273760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19068/tid=19071] ppid=19066 vsize=661336 CPUtime=1189.45 cores=1,3,5,7
/proc/19068/task/19071/stat : 19071 (strangenight1-m) R 19066 19068 18878 0 -1 4202560 145676 0 0 0 118880 65 0 0 25 0 4 0 633165402 677208064 99119 33554432000 4194304 4650419 140735530273760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 661336

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): 1203.65
CPU time (s): 4800.42
CPU user time (s): 4797.98
CPU system time (s): 2.43863
CPU usage (%): 398.821
Max. virtual memory (cumulated for all children) (KiB): 703108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.98
system time used= 2.43863
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 592341
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= 876
involuntary context switches= 30589

runsolver used 4.01639 second user time and 10.1964 second system time

The end

Launcher Data 

Begin job on node145 at 2011-05-14 23:11:35
IDJOB=3368952
IDBENCH=82961
IDSOLVER=1846
FILE ID=node145/3368952-1305407495
RUNJOBID= node145-1305405721-18897
PBS_JOBID= 13324499
Free space on /tmp= 73656 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k7-r89-v90-c8010-S1321406709-042.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368952-1305407495/watcher-3368952-1305407495 -o /tmp/evaluation-result-3368952-1305407495/solver-3368952-1305407495 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368952-1305407495.cnf

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

MD5SUM BENCH= 383bd72f29b3667b7a0d512d7fa797ad
RANDOM SEED=480521240

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18342716 kB
Buffers:        296028 kB
Cached:        8125676 kB
SwapCached:          0 kB
Active:        7631360 kB
Inactive:      6621616 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18342716 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            6224 kB
Writeback:           0 kB
AnonPages:     5831528 kB
Mapped:          28100 kB
Slab:           255400 kB
PageTables:      34404 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 79798300 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= 73648 MiB
End job on node145 at 2011-05-14 23:31:41