Trace number 3175343

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? (TO) 4800.3 1201.93

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.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175343-1304119617.cnf'
0.00/0.00	c -- header says num vars:             90
0.00/0.00	c -- header says num clauses:        8010
0.38/0.19	c -- clauses added:            0 learnts,         8010 normals,            0 xors
0.38/0.19	c -- vars added         90
0.38/0.19	c Parsing time:  0.02 s
0.38/0.19	c  N st     0         0        90      8010         0         0     56070         0   no data   no data  --
0.38/0.19	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 0.73
0.38/0.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.38/0.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.38/0.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.38/0.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
0.38/0.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.38/1.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
0.38/1.00	c Finding binary XORs  T:     0.00 s  found:       0
0.38/1.00	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
0.38/1.00	c calculated reachability. Time: 0.00
0.38/1.00	c Calc default polars -  time:   0.00 s pos:      47 undec:       2 neg:      41
0.38/1.00	c =========================================================================================
0.38/1.00	c types(t): F = full restart, N = normal restart
0.38/1.00	c types(t): S = simplification begin/end, E = solution found
0.38/1.00	c restart types(rt): st = static, dy = dynamic
0.38/1.00	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.38/1.00	c  B st     0         0        90      8010         0         0     56070         0   no data   no data  --
0.38/1.00	c  N dy     8      4335        90      8010         0      4033     56070    121411     25.74     27.30  --
0.38/1.00	c  N dy    14      8962        90      8010         0      5997     56070    165069     25.24     26.74  --
0.38/1.00	c  N dy    31     18200        90      8010         0      5384     56070    113908     24.92     26.32  --
4.19/1.14	c  N dy    56     22283        90      8010         0      9211     56070    227394     25.17     27.67  --
4.99/1.29	c  F st    69     25001        90      8010         0     11748     56070    302555     25.28     25.91  --
5.57/1.40	c  N st    73     27035        90      8010         0      7297     56070    152940     25.28   no data  --
5.97/1.53	c  S st    75     30001        90      8010         0     10069     56070    236923     25.28   no data  --
5.97/1.56	c  S st    75     30504        90      8010         0     10543     56070    251421     25.28   no data  --
5.97/1.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.97/1.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
5.97/1.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
5.97/1.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
11.16/2.84	c lits-rem:      2004  cl-subs:      705  v-elim:      0  v-fix:    0  time:  5.02 s
12.76/3.21	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.48
12.76/3.21	c calculated reachability. Time: 0.00
12.76/3.21	c  N dy    75     30504        90      8010         0      9838     56070    225458     25.28   no data  --
13.56/3.48	c  N dy    86     35037        90      8010         0     14070     56070    349962     25.26     26.65  --
14.75/3.70	c  N dy   111     39134        90      8010         0     10546     56070    231166     25.44     27.32  --
15.98/4.08	c  N dy   120     45615        90      8010         0     16533     56070    405829     25.26     26.61  --
16.38/4.10	c  S st   122     45757        90      8010         0      8361     56070    148555     25.28   no data  --
16.38/4.13	c  S st   122     46262        90      8010         0      8837     56070    163048     25.28   no data  --
16.38/4.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.38/4.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
16.38/4.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
16.38/4.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.38/4.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.38/4.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
16.38/4.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
19.95/5.02	c lits-rem:       199  cl-subs:       41  v-elim:      0  v-fix:    0  time:  3.49 s
19.95/5.02	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
19.95/5.02	c vivif2 --  cl tried     8796 cl shrink        0 lits rem          0 time: 0.00
21.15/5.33	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.21
21.15/5.33	c calculated reachability. Time: 0.00
21.15/5.33	c  N dy   122     46262        90      8010         0      8796     56070    161309     25.28   no data  --
22.75/5.72	c  N dy   139     53365        90      8010         0     15381     56070    353875     25.27     26.60  --
23.95/6.08	c  N dy   154     58819        90      8010         0     11186     56070    213090     25.30     26.68  --
26.74/6.77	c  N dy   171     69393        90      8010         0     10781     56070    184746     25.12     23.53  --
26.74/6.77	c  S st   171     69393        90      8010         0     10781     56070    184746     25.12     23.53  --
27.14/6.81	c  S st   171     69899        90      8010         0     11258     56070    198722     25.12   no data  --
27.14/6.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.14/6.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.14/6.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
27.14/6.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.14/6.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.14/6.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
27.14/6.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
30.73/7.79	c lits-rem:       334  cl-subs:      181  v-elim:      0  v-fix:    0  time:  3.85 s
30.73/7.79	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
30.73/7.79	c vivif2 --  cl tried    11077 cl shrink        0 lits rem          0 time: 0.01
32.33/8.15	c asymm  cl-useful: 0/7625/8010 lits-rem:0 time: 1.44
32.33/8.15	c calculated reachability. Time: 0.00
32.33/8.15	c  N dy   171     69899        90      8010         0     11077     56070    192990     25.12   no data  --
33.54/8.43	c  N dy   180     74506        90      8010         0     15349     56070    317785     25.10     26.48  --
37.13/9.34	c  F st   193     87500        90      8010         0     16209     56070    326491     24.98     24.64  --
37.13/9.35	c  N st   193     87500        90      8010         0     16209     56070    326491     24.98     24.64  --
38.72/9.77	c  N dy   203     93096        90      8010         0     21375     56070    481109     24.99     27.53  --
40.72/10.21	c  N dy   222     99159        90      8010         0     15016     56070    278059     25.03     26.38  --
41.93/10.59	c  S st   224    104848        90      8010         0     20240     56070    429108     24.93     23.96  --
42.34/10.65	c  S st   224    105348        90      8010         0     20715     56070    443583     24.93   no data  --
42.34/10.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
42.34/10.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
42.34/10.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
42.34/10.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
42.34/10.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
42.34/10.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
42.34/10.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
49.91/12.52	c lits-rem:      2518  cl-subs:     1705  v-elim:      0  v-fix:    0  time:  7.39 s
49.91/12.52	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
49.91/12.53	c vivif2 --  cl tried    19010 cl shrink        0 lits rem          0 time: 0.02
51.53/12.93	c asymm  cl-useful: 0/5713/8010 lits-rem:0 time: 1.59
51.53/12.93	c calculated reachability. Time: 0.00
51.53/12.93	c  N dy   224    105348        90      8010         0     19010     56070    390010     24.93   no data  --
54.30/13.60	c  N dy   246    113127        90      8010         0     13316     56070    210250     24.95     26.40  --
56.29/14.10	c  N dy   272    120520        90      8010         0     20210     56070    413552     24.98     26.48  --
58.70/14.79	c  N dy   326    128222        90      8010         0     27341     56070    626193     25.09     29.56  --
61.49/15.43	c  N dy   379    136459        90      8010         0     21153     56070    426014     25.18     26.53  --
64.70/16.29	c  N dy   427    145511        90      8010         0     29560     56070    675811     25.24     26.58  --
67.49/16.96	c  N dy   450    154799        90      8010         0     23315     56070    467200     25.24     26.60  --
68.70/17.24	c  S st   459    158024        90      8010         0     26299     56070    555498     25.25     24.01  --
69.10/17.31	c  S st   459    158525        90      8010         0     26773     56070    569684     25.25   no data  --
69.10/17.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
69.10/17.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
69.10/17.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
69.10/17.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
69.10/17.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
69.10/17.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
69.10/17.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
79.86/20.01	c lits-rem:      3145  cl-subs:     2101  v-elim:      0  v-fix:    0  time: 10.67 s
79.86/20.01	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
79.86/20.01	c vivif2 --  cl tried    24672 cl shrink        0 lits rem          0 time: 0.02
80.67/20.26	c asymm  cl-useful: 0/1942/8010 lits-rem:0 time: 0.98
80.67/20.26	c calculated reachability. Time: 0.00
80.67/20.26	c  N dy   459    158525        90      8010         0     24672     56070    500667     25.25   no data  --
85.06/21.34	c  N dy   506    168864        90      8010         0     18604     56070    312164     25.30     26.82  --
89.45/22.48	c  N dy   552    181634        90      8010         0     30451     56070    661540     25.34     26.93  --
97.84/24.59	c  N dy   566    205408        90      8010         0     18152     56070    263090     25.14     26.53  --
104.63/26.23	c  N dy   588    223855        90      8010         0     35308     56070    766862     25.08     26.43  --
109.82/27.57	c  S st   647    237787        90      8010         0     29713     56070    588639     25.12   no data  --
110.22/27.64	c  S st   647    238289        90      8010         0     30186     56070    602958     25.12   no data  --
110.22/27.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
110.22/27.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
110.22/27.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
110.22/27.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
110.22/27.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
110.22/27.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
110.22/27.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
122.60/30.70	c lits-rem:      1876  cl-subs:     1923  v-elim:      0  v-fix:    0  time: 12.11 s
122.60/30.71	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
122.60/30.71	c vivif2 --  cl tried    28263 cl shrink        0 lits rem          0 time: 0.02
123.40/30.90	c asymm  cl-useful: 0/2212/8010 lits-rem:0 time: 0.77
123.40/30.90	c calculated reachability. Time: 0.00
123.40/30.90	c  N dy   647    238289        90      8010         0     28263     56070    538705     25.12   no data  --
130.21/32.61	c  N dy   714    253510        90      8010         0     22978     56070    371116     25.16     26.80  --
136.99/34.35	c  N dy   786    269701        90      8010         0     38035     56070    817856     25.22     28.01  --
143.80/36.08	c  N dy   832    286917        90      8010         0     33694     56070    667667     25.23     26.58  --
152.18/38.13	c  F st   866    306252        90      8010         0     30114     56070    539139     25.18     23.25  --
152.18/38.13	c  N st   866    306252        90      8010         0     30114     56070    539139     25.18     23.25  --
162.16/40.67	c  N dy   941    328272        90      8010         0     28370     56070    474912     25.20     26.53  --
174.94/43.84	c  N dy  1001    357433        90      8010         0     32212     56070    562569     25.15     22.51  --
174.94/43.84	c  S st  1001    357433        90      8010         0     32212     56070    562569     25.15     22.51  --
175.34/43.92	c  S st  1001    357937        90      8010         0     32684     56070    576787     25.15   no data  --
175.34/43.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
175.34/43.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
175.34/43.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
175.34/43.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
175.34/43.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
175.34/43.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
175.34/43.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
186.52/46.71	c lits-rem:      2202  cl-subs:     2076  v-elim:      0  v-fix:    0  time: 11.01 s
186.52/46.71	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
186.52/46.72	c vivif2 --  cl tried    30608 cl shrink        0 lits rem          0 time: 0.02
187.34/46.92	c asymm  cl-useful: 0/1744/8010 lits-rem:0 time: 0.82
187.34/46.92	c calculated reachability. Time: 0.00
187.34/46.92	c  N dy  1001    357937        90      8010         0     30608     56070    515138     25.15   no data  --
201.30/50.43	c  N dy  1097    379782        90      8010         0     26868     56070    394259     25.20     26.54  --
212.89/53.31	c  N dy  1134    402276        90      8010         0     47575     56070    995311     25.14     26.59  --
224.87/56.30	c  N dy  1215    424967        90      8010         0     43648     56070    871815     25.16     26.51  --
235.26/58.94	c  N dy  1300    445037        90      8010         0     36447     56070    644948     25.19     26.74  --
247.24/61.98	c  N dy  1393    465074        90      8010         0     28171     56070    378592     25.22     27.13  --
258.42/64.73	c  N dy  1449    487176        90      8010         0     48578     56070    979042     25.23     26.57  --
270.01/67.66	c  N dy  1518    507782        90      8010         0     39875     56070    696961     25.23     26.61  --
283.19/70.94	c  N dy  1601    529061        90      8010         0     30839     56070    417711     25.24     26.58  --
286.78/71.89	c  S st  1639    536907        90      8010         0     38139     56070    635136     25.26     23.21  --
287.18/71.99	c  S st  1639    537410        90      8010         0     38616     56070    649126     25.26   no data  --
287.18/71.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
287.18/71.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
287.58/72.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.06
287.58/72.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
287.58/72.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
287.58/72.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
287.58/72.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
304.36/76.24	c lits-rem:      1714  cl-subs:     1683  v-elim:      0  v-fix:    0  time: 16.85 s
304.36/76.24	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
304.36/76.25	c vivif2 --  cl tried    36933 cl shrink        0 lits rem          0 time: 0.03
305.16/76.48	c asymm  cl-useful: 0/1455/8010 lits-rem:0 time: 0.93
305.16/76.48	c calculated reachability. Time: 0.00
305.16/76.48	c  N dy  1639    537410        90      8010         0     36933     56070    594634     25.26   no data  --
317.14/79.49	c  N dy  1697    557618        90      8010         0     55648     56070   1148938     25.26     26.62  --
328.73/82.33	c  N dy  1768    578204        90      8010         0     45154     56070    824015     25.27     26.62  --
341.91/85.66	c  N dy  1795    602226        90      8010         0     36831     56070    558111     25.25     26.73  --
355.09/88.97	c  N dy  1844    624279        90      8010         0     57212     56070   1160157     25.25     26.64  --
367.90/92.20	c  N dy  1892    644366        90      8010         0     44333     56070    761422     25.23     28.28  --
382.65/95.81	c  N dy  1964    664548        90      8010         0     62974     56070   1309302     25.24     26.86  --
395.03/98.92	c  N dy  2050    685518        90      8010         0     50061     56070    917287     25.25     26.59  --
408.61/102.37	c  N dy  2095    705539        90      8010         0     35248     56070    460948     25.25     26.74  --
422.59/105.86	c  N dy  2134    728799        90      8010         0     56635     56070   1089380     25.23     26.61  --
439.77/110.13	c  N dy  2206    750421        90      8010         0     42486     56070    658190     25.24     26.74  --
455.37/114.04	c  N dy  2269    774047        90      8010         0     64284     56070   1298210     25.24     26.60  --
468.95/117.46	c  N dy  2299    796269        90      8010         0     49739     56070    850076     25.23     26.58  --
475.73/119.15	c  S st  2333    806116        90      8010         0     58843     56070   1121012     25.24     25.10  --
476.53/119.32	c  S st  2333    806623        90      8010         0     59328     56070   1135830     25.24   no data  --
476.53/119.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
476.53/119.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
476.53/119.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
476.53/119.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
476.53/119.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
476.53/119.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
476.53/119.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
518.46/129.82	c lits-rem:      2311  cl-subs:     4522  v-elim:      0  v-fix:    0  time: 41.66 s
518.46/129.83	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
518.46/129.84	c vivif2 --  cl tried    54806 cl shrink        0 lits rem          0 time: 0.05
519.66/130.19	c asymm  cl-useful: 0/984/8010 lits-rem:0 time: 1.42
519.66/130.20	c calculated reachability. Time: 0.00
519.66/130.20	c  N dy  2333    806623        90      8010         0     54806     56070    993226     25.24   no data  --
536.84/134.48	c  N dy  2409    829027        90      8010         0     39631     56070    534189     25.25     26.68  --
556.01/139.22	c  N dy  2454    859094        90      8010         0     67222     56070   1330350     25.21     26.72  --
571.20/143.00	c  N dy  2486    882776        90      8010         0     52279     56070    888730     25.19     26.63  --
587.19/147.06	c  N dy  2560    902794        90      8010         0     70858     56070   1437602     25.20     27.15  --
601.15/150.52	c  N dy  2621    923158        90      8010         0     51885     56070    856884     25.20     26.61  --
616.34/154.38	c  N dy  2700    943298        90      8010         0     70503     56070   1411347     25.21     26.67  --
632.31/158.32	c  N dy  2765    964480        90      8010         0     51336     56070    822351     25.21     26.56  --
662.29/165.81	c  N dy  2853   1004546        90      8010         0     48528     56070    712354     25.17     26.54  --
678.64/169.90	c  N dy  2960   1024701        90      8010         0     67235     56070   1269170     25.19     26.70  --
697.82/174.78	c  N dy  3046   1045717        90      8010         0     46018     56070    630301     25.20     26.56  --
712.20/178.36	c  N dy  3132   1065785        90      8010         0     64640     56070   1184278     25.21     26.62  --
717.79/179.76	c  F st  3162   1071875        90      8010         0     70258     56070   1351554     25.22     25.98  --
730.97/183.08	c  N dy  3204   1085801        90      8010         0     83199     56070   1738353     25.22     27.09  --
745.78/186.73	c  N dy  3285   1106127        90      8010         0     60376     56070   1034786     25.23     26.79  --
762.96/191.02	c  N dy  3329   1126201        90      8010         0     78874     56070   1576419     25.22     26.65  --
780.53/195.46	c  N dy  3378   1147949        90      8010         0     56391     56070    897272     25.22     26.85  --
818.06/204.85	c  N dy  3455   1187382        90      8010         0     49238     56070    668127     25.20     26.63  --
836.03/209.30	c  N dy  3541   1207416        90      8010         0     67759     56070   1219660     25.21     26.54  --
838.42/209.90	c  S st  3542   1209934        90      8010         0     70071     56070   1286623     25.20     22.80  --
839.23/210.14	c  S st  3542   1210435        90      8010         0     70548     56070   1300859     25.20   no data  --
839.23/210.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
839.23/210.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
839.23/210.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.18
839.63/210.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
839.63/210.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
839.63/210.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
839.63/210.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
936.69/234.50	c lits-rem:      2857  cl-subs:     5243  v-elim:      0  v-fix:    0  time: 96.90 s
936.69/234.50	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
936.69/234.51	c vivif2 --  cl tried    65305 cl shrink        0 lits rem          0 time: 0.06
938.29/234.94	c asymm  cl-useful: 0/834/8010 lits-rem:0 time: 1.68
938.29/234.94	c calculated reachability. Time: 0.00
938.29/234.94	c  N dy  3542   1210435        90      8010         0     65305     56070   1138957     25.20   no data  --
964.25/241.45	c  N dy  3620   1232982        90      8010         0     86165     56070   1756174     25.21     26.57  --
981.44/245.76	c  N dy  3739   1254216        90      8010         0     61744     56070   1029851     25.23     26.66  --
1003.40/251.30	c  N dy  3822   1274332        90      8010         0     80330     56070   1581225     25.24     26.60  --
1024.98/256.70	c  N dy  3849   1296941        90      8010         0     55966     56070    822486     25.22     26.56  --
1046.95/262.12	c  N dy  3912   1319163        90      8010         0     76474     56070   1423087     25.22     26.81  --
1072.91/268.64	c  N dy  3985   1340162        90      8010         0     49819     56070    630367     25.22     26.57  --
1090.08/272.93	c  N dy  4058   1360224        90      8010         0     68365     56070   1180460     25.23     28.97  --
1113.66/278.86	c  N dy  4150   1380231        90      8010         0     86903     56070   1732814     25.24     29.42  --
1130.43/283.08	c  N dy  4201   1400264        90      8010         0     58226     56070    858787     25.23     27.46  --
1149.62/287.90	c  N dy  4313   1420333        90      8010         0     76917     56070   1416677     25.25     26.81  --
1173.57/293.80	c  N dy  4404   1440458        90      8010         0     95579     56070   1972473     25.26     26.64  --
1189.57/297.83	c  N dy  4462   1460663        90      8010         0     66155     56070   1071500     25.26     26.75  --
1207.92/302.48	c  N dy  4517   1480769        90      8010         0     84709     56070   1620993     25.26     26.88  --
1231.09/308.22	c  N dy  4581   1501467        90      8010         0     54815     56070    717750     25.26     26.82  --
1247.07/312.23	c  N dy  4616   1522705        90      8010         0     74376     56070   1290436     25.25     26.70  --
1269.43/317.80	c  N dy  4691   1543382        90      8010         0     93446     56070   1857835     25.26     26.70  --
1289.02/322.76	c  N dy  4792   1563471        90      8010         0     62195     56070    925585     25.27     26.76  --
1308.99/327.70	c  N dy  4884   1583678        90      8010         0     80958     56070   1484896     25.28     26.62  --
1331.35/333.39	c  N dy  4934   1603689        90      8010         0     99379     56070   2029014     25.28     28.57  --
1348.53/337.68	c  N dy  4991   1623776        90      8010         0     67065     56070   1044667     25.28     29.84  --
1369.73/342.91	c  N dy  5082   1644030        90      8010         0     85822     56070   1601917     25.29     26.73  --
1396.09/349.54	c  N dy  5148   1666030        90      8010         0     54393     56070    651257     25.29     26.66  --
1411.25/353.36	c  N dy  5176   1686746        90      8010         0     73459     56070   1210259     25.28     26.83  --
1436.42/359.61	c  N dy  5252   1708065        90      8010         0     93205     56070   1797063     25.29     26.69  --
1439.22/360.37	c  S st  5260   1710436        90      8010         0     95402     56070   1861490     25.29     23.10  --
1440.41/360.64	c  S st  5260   1710938        90      8010         0     95869     56070   1875374     25.29   no data  --
1440.41/360.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1440.41/360.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1440.81/360.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.20
1440.81/360.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1440.81/360.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1440.81/360.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
1440.81/360.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1585.40/396.94	c lits-rem:      5409  cl-subs:     8399  v-elim:      0  v-fix:    0  time: 144.47 s
1585.40/396.95	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
1585.40/396.97	c vivif2 --  cl tried    87470 cl shrink        0 lits rem          0 time: 0.08
1587.00/397.32	c asymm  cl-useful: 0/640/8010 lits-rem:0 time: 1.43
1587.00/397.33	c calculated reachability. Time: 0.00
1587.00/397.33	c  N dy  5260   1710938        90      8010         0     87470     56070   1613126     25.29   no data  --
1613.37/403.94	c  N dy  5307   1733767        90      8010         0     56213     56070    690502     25.28     26.61  --
1653.32/413.95	c  N dy  5385   1775442        90      8010         0     94471     56070   1810765     25.26     26.63  --
1679.28/420.47	c  N dy  5448   1795503        90      8010         0     59637     56070    779695     25.26     28.68  --
1702.05/426.19	c  N dy  5569   1815921        90      8010         0     78584     56070   1348737     25.28     26.63  --
1745.19/436.97	c  N dy  5626   1850822        90      8010         0     56365     56070    660526     25.26     26.59  --
1763.57/441.53	c  N dy  5691   1871308        90      8010         0     75275     56070   1220333     25.26     26.61  --
1786.34/447.28	c  N dy  5767   1891937        90      8010         0     94349     56070   1789406     25.27     26.66  --
1816.70/454.89	c  N dy  5865   1913415        90      8010         0     58907     56070    715013     25.28     26.70  --
1835.49/459.53	c  N dy  5947   1934162        90      8010         0     78112     56070   1286095     25.28     26.69  --
1856.64/464.89	c  N dy  5982   1954883        90      8010         0     97179     56070   1848281     25.28     26.89  --
1882.60/471.32	c  N dy  6024   1975697        90      8010         0     60060     56070    730561     25.27     26.66  --
1901.00/476.00	c  N dy  6115   1995756        90      8010         0     78646     56070   1282205     25.28     26.62  --
1928.14/482.70	c  N dy  6212   2018025        90      8010         0     99303     56070   1899739     25.28     26.73  --
1953.73/489.14	c  N dy  6266   2038059        90      8010         0     60525     56070    726208     25.28     27.34  --
1973.68/494.17	c  N dy  6372   2058143        90      8010         0     79129     56070   1282896     25.29     26.95  --
2004.84/501.99	c  N dy  6435   2085949        90      8010         0    104834     56070   2041940     25.29     26.73  --
2031.61/508.67	c  N dy  6531   2106021        90      8010         0     65197     56070    846902     25.30     26.77  --
2049.18/513.04	c  N dy  6565   2126080        90      8010         0     83632     56070   1385812     25.29     26.94  --
2074.34/519.30	c  N dy  6602   2146095        90      8010         0    102091     56070   1927834     25.28     27.23  --
2103.90/526.77	c  N dy  6654   2166126        90      8010         0     61485     56070    717548     25.28     28.06  --
2124.68/531.93	c  N dy  6726   2186241        90      8010         0     80069     56070   1270335     25.29     26.70  --
2152.23/538.84	c  N dy  6796   2210941        90      8010         0    102937     56070   1941876     25.28     23.29  --
2152.23/538.84	c  S st  6796   2210941        90      8010         0    102937     56070   1941876     25.28     23.29  --
2153.44/539.14	c  S st  6796   2211444        90      8010         0    103420     56070   1956191     25.28   no data  --
2153.44/539.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2153.44/539.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2153.84/539.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.21
2153.84/539.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2153.84/539.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2153.84/539.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
2153.84/539.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2577.27/645.29	c lits-rem:      5540  cl-subs:     8666  v-elim:      0  v-fix:    0  time: 423.41 s
2577.27/645.30	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
2577.68/645.32	c vivif2 --  cl tried    94754 cl shrink        0 lits rem          0 time: 0.07
2578.86/645.65	c asymm  cl-useful: 0/807/8010 lits-rem:0 time: 1.35
2578.86/645.66	c calculated reachability. Time: 0.00
2578.86/645.66	c  N dy  6796   2211444        90      8010         0     94754     56070   1686815     25.28   no data  --
2611.62/653.86	c  N dy  6911   2232112        90      8010         0    113887     56070   2260113     25.29     26.79  --
2635.21/659.72	c  N dy  7003   2252200        90      8010         0     72690     56070   1037201     25.30     26.73  --
2656.78/665.11	c  N dy  7050   2273250        90      8010         0     92169     56070   1613303     25.30     26.66  --
2689.11/673.25	c  N dy  7152   2296243        90      8010         0    113415     56070   2246687     25.30     26.72  --
2711.88/678.91	c  N dy  7175   2316267        90      8010         0     70839     56070    950023     25.29     26.94  --
2742.64/686.67	c  N dy  7233   2348720        90      8010         0    100646     56070   1820179     25.28     26.62  --
2774.60/694.65	c  N dy  7287   2372881        90      8010         0    122972     56070   2479968     25.28     26.66  --
2800.96/701.26	c  N dy  7335   2400853        90      8010         0     87049     56070   1418316     25.27     26.69  --
2832.93/709.24	c  N dy  7424   2421281        90      8010         0    105895     56070   1978268     25.28     26.65  --
2872.08/719.01	c  N dy  7481   2441387        90      8010         0    124434     56070   2526660     25.28     26.64  --
2895.88/725.08	c  N dy  7557   2461429        90      8010         0     80394     56070   1207341     25.28     26.92  --
2920.07/731.18	c  N dy  7626   2482750        90      8010         0    100130     56070   1794074     25.28     26.70  --
2970.32/743.87	c  N dy  7653   2530223        90      8010         0     79994     56070   1167512     25.25     26.60  --
2994.70/749.95	c  N dy  7743   2550240        90      8010         0     98548     56070   1721643     25.26     26.75  --
3028.24/758.37	c  N dy  7885   2570612        90      8010         0    117453     56070   2292503     25.27     26.72  --
3065.01/767.53	c  N dy  8012   2595718        90      8010         0     76109     56070   1041971     25.28     26.74  --
3088.55/773.49	c  N dy  8091   2615786        90      8010         0     94669     56070   1594316     25.29     26.66  --
3118.90/781.09	c  N dy  8196   2635825        90      8010         0    113225     56070   2150012     25.30     27.34  --
3157.65/790.77	c  N dy  8288   2656605        90      8010         0     66829     56070    747999     25.30     26.87  --
3180.03/796.31	c  N dy  8350   2676719        90      8010         0     85352     56070   1297036     25.30     26.70  --
3206.39/802.92	c  N dy  8420   2698320        90      8010         0    105229     56070   1885894     25.30     26.64  --
3223.97/807.37	c  S st  8440   2711446        90      8010         0    117292     56070   2236937     25.30     23.86  --
3225.57/807.73	c  S st  8440   2711950        90      8010         0    117774     56070   2251864     25.30   no data  --
3225.57/807.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3225.57/807.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3225.97/807.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.24
3225.97/807.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3225.97/807.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3225.97/807.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
3225.97/807.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3919.42/981.43	c lits-rem:      7220  cl-subs:    10249  v-elim:      0  v-fix:    0  time: 693.07 s
3919.42/981.43	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
3919.42/981.46	c vivif2 --  cl tried   107525 cl shrink        0 lits rem          0 time: 0.11
3921.44/981.95	c asymm  cl-useful: 0/604/8010 lits-rem:0 time: 1.94
3921.44/981.95	c calculated reachability. Time: 0.00
3921.44/981.95	c  N dy  8440   2711950        90      8010         0    107525     56070   1934508     25.30   no data  --
4076.00/1020.63	c  N dy  8531   2810460        90      8010         0    131371     56070   2587259     25.22     26.78  --
4109.56/1029.05	c  N dy  8609   2830495        90      8010         0     83219     56070   1215065     25.22     26.68  --
4151.50/1039.58	c  N dy  8689   2853103        90      8010         0    104053     56070   1832001     25.23     26.56  --
4198.26/1051.21	c  N dy  8787   2873558        90      8010         0    122943     56070   2392798     25.23     26.70  --
4248.97/1063.93	c  N dy  8918   2894751        90      8010         0     74682     56070    937737     25.24     26.58  --
4280.13/1071.77	c  N dy  8973   2915229        90      8010         0     93636     56070   1499575     25.24     26.71  --
4321.69/1082.16	c  N dy  9062   2935620        90      8010         0    112498     56070   2064629     25.24     26.58  --
4371.20/1094.59	c  N dy  9168   2955791        90      8010         0    131152     56070   2624827     25.25     26.64  --
4412.75/1104.99	c  N dy  9259   2976230        90      8010         0     80915     56070   1098678     25.26     26.71  --
4451.10/1114.57	c  N dy  9323   3000524        90      8010         0    103252     56070   1755975     25.25     26.63  --
4532.98/1135.08	c  N dy  9347   3043648        90      8010         0     72649     56070    837770     25.22     26.57  --
4562.96/1142.54	c  N dy  9423   3064060        90      8010         0     91457     56070   1395457     25.23     26.71  --
4598.12/1151.38	c  N dy  9515   3084070        90      8010         0    109918     56070   1945575     25.23     27.34  --
4643.63/1162.79	c  N dy  9637   3104169        90      8010         0    128528     56070   2503584     25.24     27.02  --
4685.58/1173.24	c  N dy  9701   3124838        90      8010         0     76692     56070    942068     25.24     26.91  --
4716.33/1180.99	c  N dy  9790   3145006        90      8010         0     95337     56070   1498128     25.24     26.60  --
4757.88/1191.35	c  N dy  9866   3171424        90      8010         0    119629     56070   2216941     25.24     26.60  --

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-3175343-1304119617/watcher-3175343-1304119617 -o /tmp/evaluation-result-3175343-1304119617/solver-3175343-1304119617 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175343-1304119617.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: 6.83 7.79 7.92 7/180 23467
/proc/meminfo: memFree=31038860/32951124 swapFree=67103364/67111528
[pid=23467] ppid=23465 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/23467/stat : 23467 (strangenight1-m) R 23465 23467 23098 0 -1 4202496 413 0 0 0 0 0 0 0 21 0 4 0 602192365 52465664 352 33554432000 4194304 4650419 140735230953488 18446744073709551615 47268615624620 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23467/statm: 12809 352 303 112 0 7774 0
[pid=23467/tid=23468] ppid=23465 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/23467/task/23468/stat : 23468 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 602192366 52465664 352 33554432000 4194304 4650419 140735230953488 18446744073709551615 47268615624620 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23467/tid=23469] ppid=23465 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/23467/task/23469/stat : 23469 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 602192366 52465664 352 33554432000 4194304 4650419 140735230953488 18446744073709551615 47268615624626 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23467/tid=23470] ppid=23465 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/23467/task/23470/stat : 23470 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 602192366 52465664 352 33554432000 4194304 4650419 140735230953488 18446744073709551615 224284982257 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0428011 s]
/proc/loadavg: 6.83 7.79 7.92 7/180 23467
/proc/meminfo: memFree=31038860/32951124 swapFree=67103364/67111528
[pid=23467] ppid=23465 vsize=282052 CPUtime=0.15 cores=1,3,5,7
/proc/23467/stat : 23467 (strangenight1-m) R 23465 23467 23098 0 -1 4202496 1520 0 0 0 15 0 0 0 23 0 4 0 602192365 288821248 1428 33554432000 4194304 4650419 140735230953488 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23467/statm: 70513 1428 366 112 0 65478 0
[pid=23467/tid=23468] ppid=23465 vsize=282052 CPUtime=0.03 cores=1,3,5,7
/proc/23467/task/23468/stat : 23468 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 258 0 0 0 3 0 0 0 18 0 4 0 602192366 288821248 1428 33554432000 4194304 4650419 140735230953488 18446744073709551615 4370604 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23467/tid=23469] ppid=23465 vsize=282052 CPUtime=0.03 cores=1,3,5,7
/proc/23467/task/23469/stat : 23469 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 251 0 0 0 3 0 0 0 18 0 4 0 602192366 288821248 1428 33554432000 4194304 4650419 140735230953488 18446744073709551615 4370682 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23467/tid=23470] ppid=23465 vsize=282052 CPUtime=0.03 cores=1,3,5,7
/proc/23467/task/23470/stat : 23470 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 315 0 0 0 3 0 0 0 24 0 4 0 602192366 288821248 1428 33554432000 4194304 4650419 140735230953488 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 282052

[startup+0.100791 s]
/proc/loadavg: 6.83 7.79 7.92 7/180 23467
/proc/meminfo: memFree=31038860/32951124 swapFree=67103364/67111528
[pid=23467] ppid=23465 vsize=282052 CPUtime=0.38 cores=1,3,5,7
/proc/23467/stat : 23467 (strangenight1-m) R 23465 23467 23098 0 -1 4202496 1638 0 0 0 38 0 0 0 23 0 4 0 602192365 288821248 1546 33554432000 4194304 4650419 140735230953488 18446744073709551615 4370649 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23467/statm: 70513 1546 366 112 0 65478 0
[pid=23467/tid=23468] ppid=23465 vsize=282052 CPUtime=0.09 cores=1,3,5,7
/proc/23467/task/23468/stat : 23468 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 270 0 0 0 9 0 0 0 18 0 4 0 602192366 288821248 1546 33554432000 4194304 4650419 140735230953488 18446744073709551615 4370541 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23467/tid=23469] ppid=23465 vsize=282052 CPUtime=0.09 cores=1,3,5,7
/proc/23467/task/23469/stat : 23469 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 263 0 0 0 9 0 0 0 18 0 4 0 602192366 288821248 1546 33554432000 4194304 4650419 140735230953488 18446744073709551615 4370456 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23467/tid=23470] ppid=23465 vsize=282052 CPUtime=0.09 cores=1,3,5,7
/proc/23467/task/23470/stat : 23470 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 397 0 0 0 9 0 0 0 24 0 4 0 602192366 288821248 1546 33554432000 4194304 4650419 140735230953488 18446744073709551615 4365158 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282052

[startup+1.05663 s]
/proc/loadavg: 6.83 7.79 7.92 7/180 23467
/proc/meminfo: memFree=31038860/32951124 swapFree=67103364/67111528
[pid=23467] ppid=23465 vsize=288772 CPUtime=4.19 cores=1,3,5,7
/proc/23467/stat : 23467 (strangenight1-m) R 23465 23467 23098 0 -1 4202496 8784 0 0 0 418 1 0 0 19 0 4 0 602192365 295702528 4457 33554432000 4194304 4650419 140735230953488 18446744073709551615 4366928 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23467/statm: 72193 4457 390 112 0 67158 0
[pid=23467/tid=23468] ppid=23465 vsize=288772 CPUtime=1.04 cores=1,3,5,7
/proc/23467/task/23468/stat : 23468 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 2131 0 0 0 104 0 0 0 19 0 4 0 602192366 295702528 4457 33554432000 4194304 4650419 140735230953488 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23467/tid=23469] ppid=23465 vsize=288772 CPUtime=1.04 cores=1,3,5,7
/proc/23467/task/23469/stat : 23469 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 2171 0 0 0 104 0 0 0 19 0 4 0 602192366 295702528 4457 33554432000 4194304 4650419 140735230953488 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23467/tid=23470] ppid=23465 vsize=288772 CPUtime=1.04 cores=1,3,5,7
/proc/23467/task/23470/stat : 23470 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 1849 0 0 0 104 0 0 0 19 0 4 0 602192366 295702528 4457 33554432000 4194304 4650419 140735230953488 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 288772

[startup+1.15662 s]
/proc/loadavg: 6.83 7.79 7.92 7/180 23467
/proc/meminfo: memFree=31038860/32951124 swapFree=67103364/67111528
[pid=23467] ppid=23465 vsize=288856 CPUtime=4.59 cores=1,3,5,7
/proc/23467/stat : 23467 (strangenight1-m) R 23465 23467 23098 0 -1 4202496 9333 0 0 0 458 1 0 0 19 0 4 0 602192365 295788544 4560 33554432000 4194304 4650419 140735230953488 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23467/statm: 72214 4560 391 112 0 67179 0
[pid=23467/tid=23468] ppid=23465 vsize=288856 CPUtime=1.14 cores=1,3,5,7
/proc/23467/task/23468/stat : 23468 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 2195 0 0 0 114 0 0 0 19 0 4 0 602192366 295788544 4560 33554432000 4194304 4650419 140735230953488 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23467/tid=23469] ppid=23465 vsize=288856 CPUtime=1.14 cores=1,3,5,7
/proc/23467/task/23469/stat : 23469 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 2239 0 0 0 114 0 0 0 19 0 4 0 602192366 295788544 4560 33554432000 4194304 4650419 140735230953488 18446744073709551615 4366164 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23467/tid=23470] ppid=23465 vsize=288856 CPUtime=1.14 cores=1,3,5,7
/proc/23467/task/23470/stat : 23470 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 2199 0 0 0 114 0 0 0 19 0 4 0 602192366 295788544 4560 33554432000 4194304 4650419 140735230953488 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.59
Current children cumulated vsize (KiB) 288856

[startup+1.50056 s]
/proc/loadavg: 6.83 7.79 7.92 7/180 23467
/proc/meminfo: memFree=31038860/32951124 swapFree=67103364/67111528
[pid=23467] ppid=23465 vsize=289304 CPUtime=5.97 cores=1,3,5,7
/proc/23467/stat : 23467 (strangenight1-m) R 23465 23467 23098 0 -1 4202496 11042 0 0 0 596 1 0 0 19 0 4 0 602192365 296247296 4938 33554432000 4194304 4650419 140735230953488 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23467/statm: 72326 4938 391 112 0 67291 0
[pid=23467/tid=23468] ppid=23465 vsize=289304 CPUtime=1.49 cores=1,3,5,7
/proc/23467/task/23468/stat : 23468 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 2672 0 0 0 149 0 0 0 19 0 4 0 602192366 296247296 4938 33554432000 4194304 4650419 140735230953488 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23467/tid=23469] ppid=23465 vsize=289304 CPUtime=1.48 cores=1,3,5,7
/proc/23467/task/23469/stat : 23469 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 2752 0 0 0 148 0 0 0 19 0 4 0 602192366 296247296 4938 33554432000 4194304 4650419 140735230953488 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23467/tid=23470] ppid=23465 vsize=289304 CPUtime=1.48 cores=1,3,5,7
/proc/23467/task/23470/stat : 23470 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 2410 0 0 0 148 0 0 0 19 0 4 0 602192366 296247296 4938 33554432000 4194304 4650419 140735230953488 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 289304

[startup+3.1003 s]
/proc/loadavg: 6.83 7.79 7.92 9/184 23471
/proc/meminfo: memFree=30950044/32951124 swapFree=67103364/67111528
[pid=23467] ppid=23465 vsize=295404 CPUtime=12.36 cores=1,3,5,7
/proc/23467/stat : 23467 (strangenight1-m) R 23465 23467 23098 0 -1 4202496 21231 0 0 0 1233 3 0 0 25 0 4 0 602192365 302493696 12845 33554432000 4194304 4650419 140735230953488 18446744073709551615 4370637 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23467/statm: 73851 12845 392 112 0 68816 0
[pid=23467/tid=23468] ppid=23465 vsize=295404 CPUtime=3.09 cores=1,3,5,7
/proc/23467/task/23468/stat : 23468 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 4517 0 0 0 309 0 0 0 23 0 4 0 602192366 302493696 12845 33554432000 4194304 4650419 140735230953488 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23467/tid=23469] ppid=23465 vsize=295404 CPUtime=3.09 cores=1,3,5,7
/proc/23467/task/23469/stat : 23469 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 5774 0 0 0 308 1 0 0 23 0 4 0 602192366 302493696 12845 33554432000 4194304 4650419 140735230953488 18446744073709551615 4438661 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23467/tid=23470] ppid=23465 vsize=295404 CPUtime=3.08 cores=1,3,5,7
/proc/23467/task/23470/stat : 23470 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 5912 0 0 0 307 1 0 0 24 0 4 0 602192366 302493696 12845 33554432000 4194304 4650419 140735230953488 18446744073709551615 4476474 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 295404

[startup+6.30676 s]
/proc/loadavg: 7.00 7.81 7.92 9/184 23471
/proc/meminfo: memFree=30921600/32951124 swapFree=67103364/67111528
[pid=23467] ppid=23465 vsize=285436 CPUtime=25.16 cores=1,3,5,7
/proc/23467/stat : 23467 (strangenight1-m) R 23465 23467 23098 0 -1 4202496 30737 0 0 0 2511 5 0 0 25 0 4 0 602192365 292286464 16629 33554432000 4194304 4650419 140735230953488 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23467/statm: 71359 16629 392 112 0 66324 0
[pid=23467/tid=23468] ppid=23465 vsize=285436 CPUtime=6.29 cores=1,3,5,7
/proc/23467/task/23468/stat : 23468 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 7922 0 0 0 629 0 0 0 25 0 4 0 602192366 292286464 16629 33554432000 4194304 4650419 140735230953488 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23467/tid=23469] ppid=23465 vsize=285436 CPUtime=6.29 cores=1,3,5,7
/proc/23467/task/23469/stat : 23469 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 7836 0 0 0 628 1 0 0 25 0 4 0 602192366 292286464 16629 33554432000 4194304 4650419 140735230953488 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23467/tid=23470] ppid=23465 vsize=285436 CPUtime=6.26 cores=1,3,5,7
/proc/23467/task/23470/stat : 23470 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 7955 0 0 0 625 1 0 0 25 0 4 0 602192366 292286464 16629 33554432000 4194304 4650419 140735230953488 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 285436

[startup+12.7007 s]
/proc/loadavg: 7.08 7.81 7.92 9/184 23471
/proc/meminfo: memFree=30868640/32951124 swapFree=67103364/67111528
[pid=23467] ppid=23465 vsize=313676 CPUtime=50.71 cores=1,3,5,7
/proc/23467/stat : 23467 (strangenight1-m) R 23465 23467 23098 0 -1 4202496 43027 0 0 0 5062 9 0 0 25 0 4 0 602192365 321204224 23609 33554432000 4194304 4650419 140735230953488 18446744073709551615 4369360 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23467/statm: 78419 23609 392 112 0 73384 0
[pid=23467/tid=23468] ppid=23465 vsize=313676 CPUtime=12.68 cores=1,3,5,7
/proc/23467/task/23468/stat : 23468 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 10160 0 0 0 1267 1 0 0 25 0 4 0 602192366 321204224 23609 33554432000 4194304 4650419 140735230953488 18446744073709551615 4439099 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23467/tid=23469] ppid=23465 vsize=313676 CPUtime=12.68 cores=1,3,5,7
/proc/23467/task/23469/stat : 23469 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 10649 0 0 0 1266 2 0 0 25 0 4 0 602192366 321204224 23609 33554432000 4194304 4650419 140735230953488 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23467/tid=23470] ppid=23465 vsize=313676 CPUtime=12.62 cores=1,3,5,7
/proc/23467/task/23470/stat : 23470 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 12411 0 0 0 1260 2 0 0 25 0 4 0 602192366 321204224 23609 33554432000 4194304 4650419 140735230953488 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 313676

[startup+25.5006 s]
/proc/loadavg: 7.29 7.82 7.92 9/184 23471
/proc/meminfo: memFree=30814192/32951124 swapFree=67103364/67111528
[pid=23467] ppid=23465 vsize=304304 CPUtime=101.84 cores=1,3,5,7
/proc/23467/stat : 23467 (strangenight1-m) R 23465 23467 23098 0 -1 4202496 63106 0 0 0 10169 15 0 0 25 0 4 0 602192365 311607296 29598 33554432000 4194304 4650419 140735230953488 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23467/statm: 76076 29598 392 112 0 71041 0
[pid=23467/tid=23468] ppid=23465 vsize=304304 CPUtime=25.48 cores=1,3,5,7
/proc/23467/task/23468/stat : 23468 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 13395 0 0 0 2546 2 0 0 25 0 4 0 602192366 311607296 29598 33554432000 4194304 4650419 140735230953488 18446744073709551615 4476466 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23467/tid=23469] ppid=23465 vsize=304304 CPUtime=25.48 cores=1,3,5,7
/proc/23467/task/23469/stat : 23469 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 16259 0 0 0 2545 3 0 0 25 0 4 0 602192366 311607296 29598 33554432000 4194304 4650419 140735230953488 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23467/tid=23470] ppid=23465 vsize=304304 CPUtime=25.35 cores=1,3,5,7
/proc/23467/task/23470/stat : 23470 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 18832 0 0 0 2531 4 0 0 25 0 4 0 602192366 311607296 29598 33554432000 4194304 4650419 140735230953488 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 304304

[startup+51.1003 s]
/proc/loadavg: 7.53 7.83 7.92 9/184 23471
/proc/meminfo: memFree=30758324/32951124 swapFree=67103364/67111528
[pid=23467] ppid=23465 vsize=329104 CPUtime=204.1 cores=1,3,5,7
/proc/23467/stat : 23467 (strangenight1-m) R 23465 23467 23098 0 -1 4202496 92293 0 0 0 20387 23 0 0 25 0 4 0 602192365 337002496 35520 33554432000 4194304 4650419 140735230953488 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23467/statm: 82276 35520 392 112 0 77241 0
[pid=23467/tid=23468] ppid=23465 vsize=329104 CPUtime=51.09 cores=1,3,5,7
/proc/23467/task/23468/stat : 23468 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 16876 0 0 0 5105 4 0 0 25 0 4 0 602192366 337002496 35520 33554432000 4194304 4650419 140735230953488 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23467/tid=23469] ppid=23465 vsize=329104 CPUtime=51.08 cores=1,3,5,7
/proc/23467/task/23469/stat : 23469 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 26014 0 0 0 5102 6 0 0 25 0 4 0 602192366 337002496 35520 33554432000 4194304 4650419 140735230953488 18446744073709551615 4370519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23467/tid=23470] ppid=23465 vsize=329104 CPUtime=50.81 cores=1,3,5,7
/proc/23467/task/23470/stat : 23470 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 28369 0 0 0 5074 7 0 0 25 0 4 0 602192366 337002496 35520 33554432000 4194304 4650419 140735230953488 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 329104

[startup+102.301 s]
/proc/loadavg: 7.79 7.86 7.92 9/184 23473
/proc/meminfo: memFree=30687716/32951124 swapFree=67103364/67111528
[pid=23467] ppid=23465 vsize=352256 CPUtime=408.61 cores=1,3,5,7
/proc/23467/stat : 23467 (strangenight1-m) R 23465 23467 23098 0 -1 4202496 136613 0 0 0 40824 37 0 0 25 0 4 0 602192365 360710144 45671 33554432000 4194304 4650419 140735230953488 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23467/statm: 88064 45671 392 112 0 83029 0
[pid=23467/tid=23468] ppid=23465 vsize=352256 CPUtime=102.28 cores=1,3,5,7
/proc/23467/task/23468/stat : 23468 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 21342 0 0 0 10223 5 0 0 25 0 4 0 602192366 360710144 45671 33554432000 4194304 4650419 140735230953488 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23467/tid=23469] ppid=23465 vsize=352256 CPUtime=102.28 cores=1,3,5,7
/proc/23467/task/23469/stat : 23469 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 38194 0 0 0 10217 11 0 0 25 0 4 0 602192366 360710144 45671 33554432000 4194304 4650419 140735230953488 18446744073709551615 4365258 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23467/tid=23470] ppid=23465 vsize=352256 CPUtime=101.73 cores=1,3,5,7
/proc/23467/task/23470/stat : 23470 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 45256 0 0 0 10161 12 0 0 25 0 4 0 602192366 360710144 45671 33554432000 4194304 4650419 140735230953488 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.61
Current children cumulated vsize (KiB) 352256

[startup+162.301 s]

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

[pid=23467] ppid=23465 vsize=477136 CPUtime=2805.36 cores=1,3,5,7
/proc/23467/stat : 23467 (strangenight1-m) R 23465 23467 23098 0 -1 4202496 414064 0 0 0 280365 171 0 0 25 0 4 0 602192365 488587264 82061 33554432000 4194304 4650419 140735230953488 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23467/statm: 119284 82061 392 112 0 114249 0
[pid=23467/tid=23468] ppid=23465 vsize=477136 CPUtime=702.28 cores=1,3,5,7
/proc/23467/task/23468/stat : 23468 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 59280 0 0 0 70200 28 0 0 25 0 4 0 602192366 488587264 82061 33554432000 4194304 4650419 140735230953488 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23467/tid=23469] ppid=23465 vsize=477136 CPUtime=702.28 cores=1,3,5,7
/proc/23467/task/23469/stat : 23469 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 119349 0 0 0 70179 49 0 0 25 0 4 0 602192366 488587264 82061 33554432000 4194304 4650419 140735230953488 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23467/tid=23470] ppid=23465 vsize=477136 CPUtime=698.47 cores=1,3,5,7
/proc/23467/task/23470/stat : 23470 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 137156 0 0 0 69790 57 0 0 25 0 4 0 602192366 488587264 82061 33554432000 4194304 4650419 140735230953488 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.36
Current children cumulated vsize (KiB) 477136

[startup+762.301 s]
/proc/loadavg: 8.27 8.12 8.01 9/184 23494
/proc/meminfo: memFree=30282060/32951124 swapFree=67103364/67111528
[pid=23467] ppid=23465 vsize=503140 CPUtime=3044.21 cores=1,3,5,7
/proc/23467/stat : 23467 (strangenight1-m) R 23465 23467 23098 0 -1 4202496 431901 0 0 0 304240 181 0 0 25 0 4 0 602192365 515215360 83073 33554432000 4194304 4650419 140735230953488 18446744073709551615 4365333 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23467/statm: 125785 83073 392 112 0 120750 0
[pid=23467/tid=23468] ppid=23465 vsize=503140 CPUtime=762.27 cores=1,3,5,7
/proc/23467/task/23468/stat : 23468 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 61986 0 0 0 76198 29 0 0 25 0 4 0 602192366 515215360 83073 33554432000 4194304 4650419 140735230953488 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23467/tid=23469] ppid=23465 vsize=503140 CPUtime=761.47 cores=1,3,5,7
/proc/23467/task/23469/stat : 23469 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 124517 0 0 0 76095 52 0 0 25 0 4 0 602192366 515215360 83073 33554432000 4194304 4650419 140735230953488 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23467/tid=23470] ppid=23465 vsize=503140 CPUtime=758.14 cores=1,3,5,7
/proc/23467/task/23470/stat : 23470 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 143045 0 0 0 75754 60 0 0 25 0 4 0 602192366 515215360 83073 33554432000 4194304 4650419 140735230953488 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.21
Current children cumulated vsize (KiB) 503140

[startup+822.301 s]
/proc/loadavg: 8.18 8.13 8.01 9/184 23496
/proc/meminfo: memFree=30249644/32951124 swapFree=67103364/67111528
[pid=23467] ppid=23465 vsize=542684 CPUtime=3283.89 cores=1,3,5,7
/proc/23467/stat : 23467 (strangenight1-m) R 23465 23467 23098 0 -1 4202496 451275 0 0 0 328195 194 0 0 25 0 4 0 602192365 555708416 88375 33554432000 4194304 4650419 140735230953488 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23467/statm: 135671 88375 392 112 0 130636 0
[pid=23467/tid=23468] ppid=23465 vsize=542684 CPUtime=822.28 cores=1,3,5,7
/proc/23467/task/23468/stat : 23468 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 65531 0 0 0 82196 32 0 0 25 0 4 0 602192366 555708416 88375 33554432000 4194304 4650419 140735230953488 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23467/tid=23469] ppid=23465 vsize=542684 CPUtime=821.47 cores=1,3,5,7
/proc/23467/task/23469/stat : 23469 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 127037 0 0 0 82094 53 0 0 25 0 4 0 602192366 555708416 88375 33554432000 4194304 4650419 140735230953488 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23467/tid=23470] ppid=23465 vsize=542684 CPUtime=817.82 cores=1,3,5,7
/proc/23467/task/23470/stat : 23470 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 150152 0 0 0 81717 65 0 0 25 0 4 0 602192366 555708416 88375 33554432000 4194304 4650419 140735230953488 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3283.89
Current children cumulated vsize (KiB) 542684

[startup+882.301 s]
/proc/loadavg: 8.14 8.13 8.02 9/184 23496
/proc/meminfo: memFree=30219472/32951124 swapFree=67103364/67111528
[pid=23467] ppid=23465 vsize=503804 CPUtime=3523.56 cores=1,3,5,7
/proc/23467/stat : 23467 (strangenight1-m) R 23465 23467 23098 0 -1 4202496 470361 0 0 0 352151 205 0 0 25 0 4 0 602192365 515895296 90712 33554432000 4194304 4650419 140735230953488 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23467/statm: 125951 90712 392 112 0 120916 0
[pid=23467/tid=23468] ppid=23465 vsize=503804 CPUtime=882.27 cores=1,3,5,7
/proc/23467/task/23468/stat : 23468 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 71849 0 0 0 88192 35 0 0 25 0 4 0 602192366 515895296 90712 33554432000 4194304 4650419 140735230953488 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23467/tid=23469] ppid=23465 vsize=503804 CPUtime=881.47 cores=1,3,5,7
/proc/23467/task/23469/stat : 23469 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 133370 0 0 0 88090 57 0 0 25 0 4 0 602192366 515895296 90712 33554432000 4194304 4650419 140735230953488 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23467/tid=23470] ppid=23465 vsize=503804 CPUtime=877.49 cores=1,3,5,7
/proc/23467/task/23470/stat : 23470 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 156587 0 0 0 87680 69 0 0 25 0 4 0 602192366 515895296 90712 33554432000 4194304 4650419 140735230953488 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3523.56
Current children cumulated vsize (KiB) 503804

[startup+942.301 s]
/proc/loadavg: 8.20 8.15 8.03 9/184 23498
/proc/meminfo: memFree=30247060/32951124 swapFree=67103364/67111528
[pid=23467] ppid=23465 vsize=573416 CPUtime=3763.25 cores=1,3,5,7
/proc/23467/stat : 23467 (strangenight1-m) R 23465 23467 23098 0 -1 4202496 488771 0 0 0 376111 214 0 0 25 0 4 0 602192365 587177984 95651 33554432000 4194304 4650419 140735230953488 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23467/statm: 143354 95651 392 112 0 138319 0
[pid=23467/tid=23468] ppid=23465 vsize=573416 CPUtime=942.28 cores=1,3,5,7
/proc/23467/task/23468/stat : 23468 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 76073 0 0 0 94190 38 0 0 25 0 4 0 602192366 587177984 95651 33554432000 4194304 4650419 140735230953488 18446744073709551615 4432376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23467/tid=23469] ppid=23465 vsize=573416 CPUtime=941.48 cores=1,3,5,7
/proc/23467/task/23469/stat : 23469 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 139469 0 0 0 94087 61 0 0 25 0 4 0 602192366 587177984 95651 33554432000 4194304 4650419 140735230953488 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23467/tid=23470] ppid=23465 vsize=573416 CPUtime=937.17 cores=1,3,5,7
/proc/23467/task/23470/stat : 23470 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 164674 0 0 0 93645 72 0 0 25 0 4 0 602192366 587177984 95651 33554432000 4194304 4650419 140735230953488 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.25
Current children cumulated vsize (KiB) 573416

[startup+1002.3 s]
/proc/loadavg: 8.18 8.15 8.03 10/184 23500
/proc/meminfo: memFree=30217872/32951124 swapFree=67103364/67111528
[pid=23467] ppid=23465 vsize=575636 CPUtime=4002.91 cores=1,3,5,7
/proc/23467/stat : 23467 (strangenight1-m) R 23465 23467 23098 0 -1 4202496 498192 0 0 0 400071 220 0 0 25 0 4 0 602192365 589451264 93984 33554432000 4194304 4650419 140735230953488 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23467/statm: 143909 93984 392 112 0 138874 0
[pid=23467/tid=23468] ppid=23465 vsize=575636 CPUtime=1002.27 cores=1,3,5,7
/proc/23467/task/23468/stat : 23468 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 76201 0 0 0 100189 38 0 0 25 0 4 0 602192366 589451264 93984 33554432000 4194304 4650419 140735230953488 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23467/tid=23469] ppid=23465 vsize=575636 CPUtime=1001.46 cores=1,3,5,7
/proc/23467/task/23469/stat : 23469 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 143913 0 0 0 100082 64 0 0 25 0 4 0 602192366 589451264 93984 33554432000 4194304 4650419 140735230953488 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23467/tid=23470] ppid=23465 vsize=575636 CPUtime=996.83 cores=1,3,5,7
/proc/23467/task/23470/stat : 23470 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 168729 0 0 0 99611 72 0 0 25 0 4 0 602192366 589451264 93984 33554432000 4194304 4650419 140735230953488 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4002.91
Current children cumulated vsize (KiB) 575636

[startup+1062.31 s]
/proc/loadavg: 8.24 8.16 8.04 9/184 23502
/proc/meminfo: memFree=30199976/32951124 swapFree=67103364/67111528
[pid=23467] ppid=23465 vsize=575696 CPUtime=4242.6 cores=1,3,5,7
/proc/23467/stat : 23467 (strangenight1-m) R 23465 23467 23098 0 -1 4202496 513977 0 0 0 424035 225 0 0 25 0 4 0 602192365 589512704 97030 33554432000 4194304 4650419 140735230953488 18446744073709551615 4364792 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23467/statm: 143924 97030 392 112 0 138889 0
[pid=23467/tid=23468] ppid=23465 vsize=575696 CPUtime=1062.27 cores=1,3,5,7
/proc/23467/task/23468/stat : 23468 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 76201 0 0 0 106189 38 0 0 25 0 4 0 602192366 589512704 97030 33554432000 4194304 4650419 140735230953488 18446744073709551615 4476466 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23467/tid=23469] ppid=23465 vsize=575696 CPUtime=1061.47 cores=1,3,5,7
/proc/23467/task/23469/stat : 23469 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 146411 0 0 0 106081 66 0 0 25 0 4 0 602192366 589512704 97030 33554432000 4194304 4650419 140735230953488 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23467/tid=23470] ppid=23465 vsize=575696 CPUtime=1056.51 cores=1,3,5,7
/proc/23467/task/23470/stat : 23470 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 177661 0 0 0 105577 74 0 0 25 0 4 0 602192366 589512704 97030 33554432000 4194304 4650419 140735230953488 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4242.6
Current children cumulated vsize (KiB) 575696

[startup+1122.3 s]
/proc/loadavg: 8.22 8.16 8.05 9/184 23504
/proc/meminfo: memFree=30197332/32951124 swapFree=67103364/67111528
[pid=23467] ppid=23465 vsize=575696 CPUtime=4482.25 cores=1,3,5,7
/proc/23467/stat : 23467 (strangenight1-m) R 23465 23467 23098 0 -1 4202496 525315 0 0 0 447997 228 0 0 25 0 4 0 602192365 589512704 93019 33554432000 4194304 4650419 140735230953488 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23467/statm: 143924 93019 392 112 0 138889 0
[pid=23467/tid=23468] ppid=23465 vsize=575696 CPUtime=1122.27 cores=1,3,5,7
/proc/23467/task/23468/stat : 23468 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 76201 0 0 0 112189 38 0 0 25 0 4 0 602192366 589512704 93019 33554432000 4194304 4650419 140735230953488 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23467/tid=23469] ppid=23465 vsize=575696 CPUtime=1121.47 cores=1,3,5,7
/proc/23467/task/23469/stat : 23469 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 146411 0 0 0 112081 66 0 0 25 0 4 0 602192366 589512704 93019 33554432000 4194304 4650419 140735230953488 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23467/tid=23470] ppid=23465 vsize=575696 CPUtime=1116.18 cores=1,3,5,7
/proc/23467/task/23470/stat : 23470 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 186807 0 0 0 111543 75 0 0 25 0 4 0 602192366 589512704 93019 33554432000 4194304 4650419 140735230953488 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.25
Current children cumulated vsize (KiB) 575696

[startup+1182.3 s]
/proc/loadavg: 8.15 8.15 8.05 9/184 23504
/proc/meminfo: memFree=30125492/32951124 swapFree=67103364/67111528
[pid=23467] ppid=23465 vsize=575756 CPUtime=4721.93 cores=1,3,5,7
/proc/23467/stat : 23467 (strangenight1-m) R 23465 23467 23098 0 -1 4202496 543911 0 0 0 471956 237 0 0 25 0 4 0 602192365 589574144 98535 33554432000 4194304 4650419 140735230953488 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23467/statm: 143939 98535 392 112 0 138904 0
[pid=23467/tid=23468] ppid=23465 vsize=575756 CPUtime=1182.27 cores=1,3,5,7
/proc/23467/task/23468/stat : 23468 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 80446 0 0 0 118185 42 0 0 25 0 4 0 602192366 589574144 98535 33554432000 4194304 4650419 140735230953488 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23467/tid=23469] ppid=23465 vsize=575756 CPUtime=1181.47 cores=1,3,5,7
/proc/23467/task/23469/stat : 23469 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 146411 0 0 0 118081 66 0 0 25 0 4 0 602192366 589574144 98535 33554432000 4194304 4650419 140735230953488 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23467/tid=23470] ppid=23465 vsize=575756 CPUtime=1175.85 cores=1,3,5,7
/proc/23467/task/23470/stat : 23470 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 195941 0 0 0 117509 76 0 0 25 0 4 0 602192366 589574144 98535 33554432000 4194304 4650419 140735230953488 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4721.93
Current children cumulated vsize (KiB) 575756



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.10 8.14 8.05 5/179 23507
/proc/meminfo: memFree=30650416/32951124 swapFree=67103364/67111528
[pid=23467] ppid=23465 vsize=575880 CPUtime=4800.25 cores=1,3,5,7
/proc/23467/stat : 23467 (strangenight1-m) R 23465 23467 23098 0 -1 4202496 550688 0 0 0 479784 241 0 0 25 0 4 0 602192365 589701120 97872 33554432000 4194304 4650419 140735230953488 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23467/statm: 143970 97872 392 112 0 138935 0
[pid=23467/tid=23468] ppid=23465 vsize=575880 CPUtime=1201.88 cores=1,3,5,7
/proc/23467/task/23468/stat : 23468 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 83019 0 0 0 120144 44 0 0 25 0 4 0 602192366 589701120 97872 33554432000 4194304 4650419 140735230953488 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23467/tid=23469] ppid=23465 vsize=575880 CPUtime=1201.08 cores=1,3,5,7
/proc/23467/task/23469/stat : 23469 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 146691 0 0 0 120042 66 0 0 25 0 4 0 602192366 589701120 97872 33554432000 4194304 4650419 140735230953488 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23467/tid=23470] ppid=23465 vsize=575880 CPUtime=1195.35 cores=1,3,5,7
/proc/23467/task/23470/stat : 23470 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 198575 0 0 0 119457 78 0 0 25 0 4 0 602192366 589701120 97872 33554432000 4194304 4650419 140735230953488 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 575880

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

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

[startup+1201.9 s]
/proc/loadavg: 8.10 8.14 8.05 5/179 23507
/proc/meminfo: memFree=30650416/32951124 swapFree=67103364/67111528
[pid=23467] ppid=23465 vsize=575880 CPUtime=4800.25 cores=1,3,5,7
/proc/23467/stat : 23467 (strangenight1-m) R 23465 23467 23098 0 -1 4202496 550688 0 0 0 479784 241 0 0 25 0 4 0 602192365 589701120 97872 33554432000 4194304 4650419 140735230953488 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23467/statm: 143970 97872 392 112 0 138935 0
[pid=23467/tid=23468] ppid=23465 vsize=575880 CPUtime=1201.88 cores=1,3,5,7
/proc/23467/task/23468/stat : 23468 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 83019 0 0 0 120144 44 0 0 25 0 4 0 602192366 589701120 97872 33554432000 4194304 4650419 140735230953488 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23467/tid=23469] ppid=23465 vsize=575880 CPUtime=1201.08 cores=1,3,5,7
/proc/23467/task/23469/stat : 23469 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 146691 0 0 0 120042 66 0 0 25 0 4 0 602192366 589701120 97872 33554432000 4194304 4650419 140735230953488 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23467/tid=23470] ppid=23465 vsize=575880 CPUtime=1195.35 cores=1,3,5,7
/proc/23467/task/23470/stat : 23470 (strangenight1-m) R 23465 23467 23098 0 -1 4202560 198575 0 0 0 119457 78 0 0 25 0 4 0 602192366 589701120 97872 33554432000 4194304 4650419 140735230953488 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 575880

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.93
CPU time (s): 4800.3
CPU user time (s): 4797.87
CPU system time (s): 2.43263
CPU usage (%): 399.382
Max. virtual memory (cumulated for all children) (KiB): 639836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.87
system time used= 2.43263
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 550689
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= 579
involuntary context switches= 34287

runsolver used 1.83672 second user time and 4.74528 second system time

The end

Launcher Data 

Begin job on node118 at 2011-04-30 01:26:57
IDJOB=3175343
IDBENCH=82961
IDSOLVER=1588
FILE ID=node118/3175343-1304119617
RUNJOBID= node118-1304119617-23445
PBS_JOBID= 13170712
Free space on /tmp= 71612 MiB

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

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

MD5SUM BENCH= 383bd72f29b3667b7a0d512d7fa797ad
RANDOM SEED=349539510

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31038892 kB
Buffers:        372040 kB
Cached:        1136456 kB
SwapCached:       2248 kB
Active:         103200 kB
Inactive:      1469884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31038892 kB
SwapTotal:    67111528 kB
SwapFree:     67103364 kB
Dirty:           12564 kB
Writeback:           0 kB
AnonPages:       63960 kB
Mapped:          15284 kB
Slab:           275464 kB
PageTables:       4796 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   275128 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= 71604 MiB
End job on node118 at 2011-04-30 01:47:01