Trace number 3369045

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.28 1203.14

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v90-c8010-S1897189325-062.UNKNOWN.cnf
MD5SUM28731ba8f9c5274ff0cd070fd7aeff45
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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369045-1305410853.cnf'
0.00/0.01	c -- header says num vars:             90
0.00/0.01	c -- header says num clauses:        8010
0.00/0.01	c -- clauses added:            0 learnts,         8010 normals,            0 xors
0.00/0.01	c -- vars added         90
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        90      8010         0         0     56070         0   no data   no data  --
2.76/0.77	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 0.77
2.76/0.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
2.76/0.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2.76/0.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2.76/0.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
2.76/0.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2.76/0.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
2.76/0.77	c Finding binary XORs  T:     0.00 s  found:       0
2.76/0.77	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
2.76/0.77	c calculated reachability. Time: 0.00
2.76/0.77	c Calc default polars -  time:   0.00 s pos:      46 undec:       0 neg:      44
2.76/0.77	c =========================================================================================
2.76/0.77	c types(t): F = full restart, N = normal restart
2.76/0.77	c types(t): S = simplification begin/end, E = solution found
2.76/0.77	c restart types(rt): st = static, dy = dynamic
3.96/1.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.96/1.01	c  B st     0         0        90      8010         0         0     56070         0   no data   no data  --
3.96/1.01	c  N dy     8      5828        90      8010         0      3054     56070     79158     25.12     26.47  --
3.96/1.01	c  N dy    25     11589        90      8010         0      4467     56070    104943     25.47     26.83  --
3.96/1.01	c  N dy    31     17981        90      8010         0     10382     56070    276814     25.04     26.42  --
5.19/1.33	c  F st    42     25001        90      8010         0     11628     56070    297203     24.84     24.03  --
5.19/1.33	c  N st    42     25001        90      8010         0     11628     56070    297203     24.84     24.03  --
5.95/1.58	c  N dy    48     30000        90      8010         0      9989     56070    236649     24.84   no data  --
5.95/1.58	c  S st    48     30000        90      8010         0      9989     56070    236649     24.84   no data  --
6.35/1.61	c  S st    48     30502        90      8010         0     10463     56070    251086     24.84   no data  --
6.35/1.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
6.35/1.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
6.35/1.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
6.35/1.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
6.35/1.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.35/1.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
6.35/1.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
11.13/2.83	c lits-rem:      1763  cl-subs:      676  v-elim:      0  v-fix:    0  time:  4.76 s
12.73/3.21	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.55
12.73/3.21	c calculated reachability. Time: 0.00
12.73/3.21	c  N dy    48     30502        90      8010         0      9787     56070    226631     24.84   no data  --
14.32/3.61	c  N dy    58     37603        90      8010         0      9051     56070    187098     24.69     26.02  --
15.13/3.84	c  N dy    84     41630        90      8010         0     12803     56070    299086     24.90     26.24  --
16.32/4.13	c  N dy   108     45753        90      8010         0      8364     56070    150476     24.99     24.81  --
16.32/4.13	c  S st   108     45753        90      8010         0      8364     56070    150476     24.99     24.81  --
16.32/4.16	c  S st   108     46257        90      8010         0      8838     56070    164305     24.99   no data  --
16.32/4.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.32/4.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
16.32/4.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
16.32/4.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.32/4.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.32/4.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
16.32/4.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
20.31/5.14	c lits-rem:       160  cl-subs:       48  v-elim:      0  v-fix:    0  time:  3.85 s
20.31/5.14	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
20.31/5.14	c vivif2 --  cl tried     8790 cl shrink        0 lits rem          0 time: 0.01
21.51/5.43	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.18
21.51/5.43	c calculated reachability. Time: 0.00
21.51/5.43	c  N dy   108     46257        90      8010         0      8790     56070    162467     24.99   no data  --
22.33/5.67	c  N dy   129     50319        90      8010         0     12529     56070    271902     25.06     26.59  --
23.51/5.95	c  N dy   156     54342        90      8010         0     16246     56070    381633     25.16     27.52  --
24.70/6.26	c  N dy   184     58687        90      8010         0     11061     56070    212008     25.26     26.81  --
25.90/6.55	c  N dy   198     63413        90      8010         0     15455     56070    341086     25.28     26.64  --
27.13/6.84	c  N dy   215     67519        90      8010         0     19272     56070    454704     25.33     27.13  --
27.89/7.00	c  S st   232     69388        90      8010         0     10814     56070    188132     25.38   no data  --
27.89/7.04	c  S st   232     69890        90      8010         0     11281     56070    201974     25.38   no data  --
27.89/7.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.89/7.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.89/7.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
27.89/7.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.89/7.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.89/7.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
27.89/7.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
32.28/8.11	c lits-rem:       280  cl-subs:      119  v-elim:      0  v-fix:    0  time:  4.21 s
32.28/8.11	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
32.28/8.11	c vivif2 --  cl tried    11162 cl shrink        0 lits rem          0 time: 0.01
33.47/8.46	c asymm  cl-useful: 0/7800/8010 lits-rem:0 time: 1.40
33.47/8.46	c calculated reachability. Time: 0.00
33.47/8.46	c  N dy   232     69890        90      8010         0     11162     56070    197392     25.38   no data  --
35.50/9.00	c  N dy   245     77943        90      8010         0     18581     56070    416469     25.35     26.71  --
37.47/9.42	c  N dy   251     83261        90      8010         0     12405     56070    217147     25.31     26.76  --
38.67/9.72	c  F st   271     87500        90      8010         0     16365     56070    335206     25.34     25.54  --
39.07/9.80	c  N st   274     88688        90      8010         0     17472     56070    368887     25.34   no data  --
40.66/10.21	c  N dy   282     94360        90      8010         0     22731     56070    526763     25.35     26.87  --
42.25/10.66	c  N dy   298    100413        90      8010         0     16278     56070    314668     25.36     27.03  --
43.45/10.97	c  S st   302    104835        90      8010         0     20370     56070    433048     25.32     24.67  --
43.85/11.03	c  S st   302    105337        90      8010         0     20843     56070    447046     25.32   no data  --
43.85/11.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.85/11.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.85/11.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
43.85/11.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.85/11.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.85/11.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
43.85/11.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
50.63/12.74	c lits-rem:      1904  cl-subs:     1680  v-elim:      0  v-fix:    0  time:  6.72 s
50.63/12.74	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
50.63/12.75	c vivif2 --  cl tried    19163 cl shrink        0 lits rem          0 time: 0.02
52.23/13.15	c asymm  cl-useful: 0/5657/8010 lits-rem:0 time: 1.59
52.23/13.15	c calculated reachability. Time: 0.00
52.23/13.15	c  N dy   302    105337        90      8010         0     19163     56070    393632     25.32   no data  --
54.61/13.75	c  N dy   324    112480        90      8010         0     25749     56070    588421     25.35     26.92  --
59.81/15.01	c  N dy   334    128733        90      8010         0     14019     56070    215105     25.13     26.65  --
61.82/15.60	c  N dy   364    137064        90      8010         0     21692     56070    440737     25.16     26.60  --
65.39/16.44	c  N dy   406    145926        90      8010         0     15153     56070    228364     25.21     26.61  --
68.98/17.34	c  N dy   425    158005        90      8010         0     26322     56070    555094     25.15     22.14  --
68.98/17.34	c  S st   425    158005        90      8010         0     26322     56070    555094     25.15     22.14  --
69.38/17.41	c  S st   425    158512        90      8010         0     26802     56070    569367     25.15   no data  --
69.38/17.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
69.38/17.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
69.38/17.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
69.38/17.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
69.38/17.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
69.38/17.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
69.38/17.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
78.56/19.72	c lits-rem:      1702  cl-subs:     2190  v-elim:      0  v-fix:    0  time:  9.12 s
78.56/19.73	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
78.56/19.73	c vivif2 --  cl tried    24612 cl shrink        0 lits rem          0 time: 0.02
79.38/19.98	c asymm  cl-useful: 0/1932/8010 lits-rem:0 time: 0.96
79.38/19.98	c calculated reachability. Time: 0.00
79.38/19.98	c  N dy   425    158512        90      8010         0     24612     56070    501013     25.15   no data  --
84.54/21.22	c  N dy   481    171086        90      8010         0     20605     56070    371152     25.21     26.57  --
88.16/22.20	c  N dy   508    182039        90      8010         0     30767     56070    670129     25.19     29.28  --
92.55/23.24	c  N dy   551    193717        90      8010         0     25009     56070    484733     25.22     26.62  --
98.91/24.84	c  N dy   591    208821        90      8010         0     21374     56070    355679     25.20     26.85  --
104.49/26.27	c  N dy   648    222190        90      8010         0     33812     56070    723924     25.24     27.26  --
110.10/27.68	c  N dy   729    236402        90      8010         0     28478     56070    554131     25.31     28.05  --
110.87/27.83	c  S st   737    237768        90      8010         0     29740     56070    591420     25.32   no data  --
111.27/27.91	c  S st   737    238271        90      8010         0     30213     56070    605483     25.32   no data  --
111.27/27.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
111.27/27.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
111.27/27.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
111.27/27.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
111.27/27.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
111.27/27.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
111.27/27.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
124.04/31.12	c lits-rem:      2171  cl-subs:     1714  v-elim:      0  v-fix:    0  time: 12.71 s
124.04/31.13	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
124.04/31.13	c vivif2 --  cl tried    28499 cl shrink        0 lits rem          0 time: 0.02
124.84/31.33	c asymm  cl-useful: 0/2270/8010 lits-rem:0 time: 0.78
124.84/31.33	c calculated reachability. Time: 0.00
124.84/31.33	c  N dy   737    238271        90      8010         0     28499     56070    545647     25.32   no data  --
130.83/32.82	c  N dy   776    253677        90      8010         0     23360     56070    380273     25.30     26.70  --
137.61/34.58	c  N dy   820    271127        90      8010         0     39530     56070    859953     25.30     26.79  --
144.79/36.40	c  N dy   834    290895        90      8010         0     37387     56070    764486     25.19     26.52  --
151.57/38.09	c  F st   907    306252        90      8010         0     30335     56070    553748     25.24     23.73  --
153.17/38.41	c  N st   912    309549        90      8010         0     33357     56070    643921     25.24   no data  --
162.77/40.82	c  N dy   967    331233        90      8010         0     31239     56070    559456     25.24     26.57  --
172.32/43.20	c  N dy  1034    351445        90      8010         0     26894     56070    411335     25.25     26.80  --
174.72/43.82	c  S st  1057    357406        90      8010         0     32418     56070    574339     25.27     25.14  --
175.12/43.91	c  S st  1057    357910        90      8010         0     32903     56070    588949     25.27   no data  --
175.12/43.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
175.12/43.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
175.12/43.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
175.12/43.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
175.12/43.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
175.12/43.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
175.12/43.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
188.29/47.28	c lits-rem:      1703  cl-subs:     1656  v-elim:      0  v-fix:    0  time: 13.33 s
188.29/47.28	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
188.29/47.29	c vivif2 --  cl tried    31247 cl shrink        0 lits rem          0 time: 0.03
189.88/47.65	c asymm  cl-useful: 0/1703/8010 lits-rem:0 time: 1.43
189.88/47.65	c calculated reachability. Time: 0.00
189.88/47.65	c  N dy  1057    357910        90      8010         0     31247     56070    534262     25.27   no data  --
201.85/50.65	c  N dy  1097    377923        90      8010         0     25731     56070    360420     25.24     26.77  --
220.60/55.32	c  N dy  1122    417825        90      8010         0     37518     56070    689514     25.13     26.51  --
231.77/58.12	c  N dy  1204    438246        90      8010         0     30635     56070    473288     25.15     26.48  --
241.76/60.70	c  N dy  1239    459818        90      8010         0     50504     56070   1052744     25.11     26.52  --
251.32/63.08	c  N dy  1259    479859        90      8010         0     42208     56070    784750     25.05     27.58  --
263.29/66.11	c  N dy  1353    499885        90      8010         0     33122     56070    509865     25.09     28.99  --
276.46/69.30	c  N dy  1378    525778        90      8010         0     56962     56070   1210760     25.04     26.40  --
281.68/70.63	c  S st  1410    536865        90      8010         0     38625     56070    653633     25.05   no data  --
282.04/70.73	c  S st  1410    537366        90      8010         0     39101     56070    667895     25.05   no data  --
282.04/70.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
282.04/70.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
282.04/70.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.06
282.04/70.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
282.04/70.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
282.04/70.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
282.04/70.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
293.62/73.61	c lits-rem:      1093  cl-subs:     1803  v-elim:      0  v-fix:    0  time: 11.34 s
293.62/73.61	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
293.62/73.62	c vivif2 --  cl tried    37298 cl shrink        0 lits rem          0 time: 0.03
294.44/73.84	c asymm  cl-useful: 0/1445/8010 lits-rem:0 time: 0.86
294.44/73.84	c calculated reachability. Time: 0.00
294.44/73.84	c  N dy  1410    537366        90      8010         0     37298     56070    610533     25.05   no data  --
306.78/76.95	c  N dy  1505    557408        90      8010         0     55935     56070   1164418     25.08     26.45  --
319.15/80.06	c  N dy  1651    577411        90      8010         0     44963     56070    827160     25.14     26.48  --
333.52/83.64	c  N dy  1701    600584        90      8010         0     35818     56070    531831     25.13     26.47  --
344.68/86.49	c  N dy  1759    620732        90      8010         0     54439     56070   1079305     25.13     26.53  --
357.05/89.53	c  N dy  1827    640741        90      8010         0     41528     56070    685393     25.13     26.57  --
369.05/92.54	c  N dy  1868    660791        90      8010         0     60003     56070   1226826     25.11     26.66  --
384.98/96.55	c  N dy  1953    683602        90      8010         0     48789     56070    876874     25.12     26.45  --
401.74/100.73	c  N dy  2027    707240        90      8010         0     37325     56070    522126     25.11     26.48  --
415.70/104.29	c  N dy  2115    727294        90      8010         0     55950     56070   1075846     25.13     28.20  --
433.66/108.70	c  N dy  2181    750526        90      8010         0     43148     56070    673326     25.12     26.54  --
446.42/111.90	c  N dy  2218    771523        90      8010         0     62477     56070   1240715     25.10     26.43  --
459.19/115.14	c  N dy  2255    793081        90      8010         0     47265     56070    779857     25.08     26.49  --
468.37/117.43	c  S st  2312    806049        90      8010         0     59309     56070   1137141     25.09     23.28  --
468.77/117.59	c  S st  2312    806554        90      8010         0     59791     56070   1151544     25.09   no data  --
468.77/117.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
468.77/117.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
469.17/117.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
469.17/117.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
469.17/117.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
469.17/117.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
469.17/117.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
515.05/129.15	c lits-rem:      2725  cl-subs:     4261  v-elim:      0  v-fix:    0  time: 45.83 s
515.05/129.15	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
515.05/129.16	c vivif2 --  cl tried    55530 cl shrink        0 lits rem          0 time: 0.05
516.25/129.49	c asymm  cl-useful: 0/987/8010 lits-rem:0 time: 1.34
516.65/129.50	c calculated reachability. Time: 0.00
516.65/129.50	c  N dy  2312    806554        90      8010         0     55530     56070   1017661     25.09   no data  --
533.80/133.89	c  N dy  2352    831445        90      8010         0     42577     56070    622925     25.08     26.42  --
546.98/137.14	c  N dy  2387    851743        90      8010         0     61337     56070   1170449     25.07     26.43  --
563.73/141.38	c  N dy  2491    872046        90      8010         0     43327     56070    627612     25.09     26.44  --
577.30/144.78	c  N dy  2556    892724        90      8010         0     62437     56070   1192466     25.10     26.42  --
593.65/148.82	c  N dy  2613    912845        90      8010         0     43146     56070    603022     25.10     26.61  --
608.01/152.49	c  N dy  2726    932846        90      8010         0     61744     56070   1159172     25.13     26.87  --
627.17/157.23	c  N dy  2796    956562        90      8010         0     44764     56070    626694     25.13     26.59  --
641.93/160.92	c  N dy  2872    976844        90      8010         0     63509     56070   1180173     25.14     26.60  --
660.28/165.52	c  N dy  2948    998960        90      8010         0     44253     56070    595901     25.14     26.50  --
674.65/169.14	c  N dy  3037   1019021        90      8010         0     62883     56070   1148448     25.16     26.65  --
694.24/174.01	c  N dy  3116   1039066        90      8010         0     81511     56070   1701684     25.17     27.21  --
707.77/177.43	c  N dy  3175   1059321        90      8010         0     59446     56070   1023052     25.17     26.61  --
718.54/180.14	c  F st  3214   1071878        90      8010         0     71063     56070   1365810     25.17   no data  --
727.73/182.44	c  N dy  3230   1082193        90      8010         0     80594     56070   1650323     25.17     26.55  --
743.27/186.39	c  N dy  3324   1102210        90      8010         0     57489     56070    951348     25.19     27.81  --
763.63/191.44	c  N dy  3393   1125632        90      8010         0     79123     56070   1590926     25.19     26.57  --
779.99/195.53	c  N dy  3460   1145702        90      8010         0     55196     56070    864725     25.19     27.26  --
799.15/200.31	c  N dy  3576   1165774        90      8010         0     73815     56070   1420795     25.21     26.66  --
822.67/206.25	c  N dy  3657   1185919        90      8010         0     48924     56070    660195     25.23     26.65  --
843.46/211.47	c  N dy  3766   1205951        90      8010         0     67581     56070   1219749     25.25     27.76  --
849.00/212.89	c  S st  3788   1209831        90      8010         0     71178     56070   1326907     25.25   no data  --
850.20/213.18	c  S st  3788   1210336        90      8010         0     71657     56070   1341253     25.25   no data  --
850.20/213.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
850.20/213.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
850.60/213.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.20
850.60/213.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
850.60/213.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
850.60/213.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
850.60/213.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
950.75/238.39	c lits-rem:      3423  cl-subs:     4576  v-elim:      0  v-fix:    0  time: 100.13 s
950.75/238.40	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
951.15/238.41	c vivif2 --  cl tried    67081 cl shrink        0 lits rem          0 time: 0.06
952.35/238.81	c asymm  cl-useful: 0/815/8010 lits-rem:0 time: 1.58
952.77/238.81	c calculated reachability. Time: 0.00
952.77/238.81	c  N dy  3788   1210336        90      8010         0     67081     56070   1188943     25.25   no data  --
983.49/246.55	c  N dy  3873   1234483        90      8010         0     45067     56070    526368     25.26     26.61  --
1006.60/252.38	c  N dy  3945   1260888        90      8010         0     69463     56070   1250947     25.25     26.79  --
1031.76/258.66	c  N dy  4051   1280890        90      8010         0     87987     56070   1802825     25.26     26.61  --
1050.49/263.36	c  N dy  4135   1300895        90      8010         0     61249     56070    991568     25.27     29.03  --
1073.64/269.20	c  N dy  4223   1321630        90      8010         0     80427     56070   1561996     25.28     26.82  --
1096.38/274.80	c  N dy  4287   1341672        90      8010         0     52702     56070    715561     25.29     26.63  --
1115.16/279.54	c  N dy  4354   1361757        90      8010         0     71334     56070   1267692     25.29     27.86  --
1149.84/288.29	c  N dy  4412   1392579        90      8010         0     52582     56070    690048     25.29     26.68  --
1175.78/294.74	c  N dy  4458   1420915        90      8010         0     78658     56070   1450142     25.27     26.64  --
1202.52/301.42	c  N dy  4509   1440965        90      8010         0     49168     56070    573768     25.27     28.14  --
1218.07/305.39	c  N dy  4533   1461248        90      8010         0     67888     56070   1123982     25.25     26.73  --
1249.60/313.26	c  N dy  4563   1490028        90      8010         0     94336     56070   1894829     25.23     26.88  --
1267.95/317.86	c  N dy  4575   1511638        90      8010         0     65353     56070   1030409     25.21     26.72  --
1297.48/325.22	c  N dy  4619   1540006        90      8010         0     91322     56070   1788006     25.19     26.52  --
1321.01/331.10	c  N dy  4714   1560041        90      8010         0     60221     56070    869539     25.20     29.29  --
1337.77/335.39	c  N dy  4763   1580063        90      8010         0     78644     56070   1410653     25.20     27.95  --
1366.49/342.53	c  N dy  4871   1602850        90      8010         0     99741     56070   2040822     25.21     26.63  --
1383.29/346.77	c  N dy  4921   1622913        90      8010         0     67595     56070   1062538     25.21     28.79  --
1413.60/354.32	c  N dy  4986   1653557        90      8010         0     95801     56070   1890375     25.20     26.61  --
1465.85/367.50	c  N dy  5025   1710336        90      8010         0     96109     56070   1863026     25.15     24.80  --
1465.85/367.50	c  S st  5025   1710336        90      8010         0     96109     56070   1863026     25.15     24.80  --
1467.04/367.76	c  S st  5025   1710840        90      8010         0     96583     56070   1877513     25.15   no data  --
1467.04/367.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1467.04/367.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1467.44/367.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
1467.44/367.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1467.44/367.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1467.44/367.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
1467.44/367.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1629.82/408.51	c lits-rem:      5182  cl-subs:    10782  v-elim:      0  v-fix:    0  time: 162.04 s
1629.82/408.51	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
1629.82/408.53	c vivif2 --  cl tried    85801 cl shrink        0 lits rem          0 time: 0.08
1631.02/408.87	c asymm  cl-useful: 0/662/8010 lits-rem:0 time: 1.39
1631.02/408.88	c calculated reachability. Time: 0.00
1631.02/408.88	c  N dy  5025   1710840        90      8010         0     85801     56070   1574821     25.15   no data  --
1658.16/415.66	c  N dy  5117   1730919        90      8010         0     52431     56070    590222     25.15     28.53  --
1675.70/420.02	c  N dy  5222   1750998        90      8010         0     71069     56070   1146338     25.16     26.52  --
1699.29/425.93	c  N dy  5334   1771938        90      8010         0     90466     56070   1726605     25.18     26.78  --
1726.78/432.84	c  N dy  5434   1791960        90      8010         0     55655     56070    661504     25.19     27.91  --
1756.70/440.33	c  N dy  5532   1826901        90      8010         0     87805     56070   1607506     25.18     26.51  --
1785.03/447.45	c  N dy  5631   1847175        90      8010         0    106577     56070   2166392     25.19     26.55  --
1807.77/453.17	c  N dy  5709   1871372        90      8010         0     74553     56070   1200929     25.20     26.67  --
1832.51/459.35	c  N dy  5822   1891484        90      8010         0     93176     56070   1755718     25.21     26.60  --
1862.02/466.76	c  N dy  5892   1911517        90      8010         0     56331     56070    642081     25.22     27.56  --
1910.71/478.93	c  N dy  5907   1961884        90      8010         0    102214     56070   1957680     25.16     26.51  --
1939.04/486.00	c  N dy  5986   1982519        90      8010         0     65284     56070    894217     25.16     26.57  --
1962.62/491.96	c  N dy  6077   2002571        90      8010         0     83857     56070   1447882     25.17     26.60  --
1990.51/498.98	c  N dy  6195   2022936        90      8010         0    102796     56070   2017851     25.19     26.60  --
2017.25/505.64	c  N dy  6294   2042980        90      8010         0     64136     56070    837714     25.20     26.88  --
2037.58/510.73	c  N dy  6399   2063102        90      8010         0     82742     56070   1393726     25.21     26.55  --
2065.51/517.72	c  N dy  6543   2083106        90      8010         0    101321     56070   1957068     25.22     28.21  --
2093.05/524.62	c  N dy  6613   2103119        90      8010         0     61615     56070    740961     25.23     26.58  --
2111.42/529.25	c  N dy  6687   2123157        90      8010         0     80146     56070   1288856     25.23     28.18  --
2136.54/535.53	c  N dy  6753   2144589        90      8010         0     99900     56070   1870435     25.23     26.72  --
2170.45/544.08	c  N dy  6845   2165073        90      8010         0     59690     56070    666669     25.23     26.66  --
2192.00/549.48	c  N dy  6890   2187388        90      8010         0     80226     56070   1275018     25.23     26.58  --
2218.73/556.19	c  N dy  6999   2207419        90      8010         0     98777     56070   1829583     25.24     26.60  --
2223.51/557.39	c  S st  7010   2210841        90      8010         0    101971     56070   1925064     25.24     25.26  --
2224.71/557.68	c  S st  7010   2211345        90      8010         0    102453     56070   1939673     25.24   no data  --
2224.71/557.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2224.71/557.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2225.11/557.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
2225.11/557.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2225.11/557.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2225.11/557.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
2225.11/557.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2647.28/663.53	c lits-rem:      6070  cl-subs:     7798  v-elim:      0  v-fix:    0  time: 421.71 s
2647.28/663.53	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
2647.28/663.56	c vivif2 --  cl tried    94655 cl shrink        0 lits rem          0 time: 0.09
2648.84/663.96	c asymm  cl-useful: 0/815/8010 lits-rem:0 time: 1.62
2648.84/663.96	c calculated reachability. Time: 0.00
2648.84/663.96	c  N dy  7010   2211345        90      8010         0     94655     56070   1689551     25.24   no data  --
2682.40/672.39	c  N dy  7110   2231436        90      8010         0    113287     56070   2248171     25.25     27.35  --
2706.30/678.32	c  N dy  7184   2251484        90      8010         0     71998     56070   1017913     25.25     27.56  --
2729.45/684.11	c  N dy  7290   2271491        90      8010         0     90507     56070   1572565     25.26     28.26  --
2761.40/692.16	c  N dy  7361   2296274        90      8010         0    113366     56070   2249148     25.26     26.63  --
2786.09/698.38	c  N dy  7428   2318021        90      8010         0     72616     56070   1012496     25.26     26.65  --
2808.44/703.97	c  N dy  7461   2339718        90      8010         0     92627     56070   1602097     25.25     26.59  --
2841.16/712.10	c  N dy  7530   2364366        90      8010         0    115321     56070   2269280     25.25     26.76  --
2881.86/722.34	c  N dy  7628   2400854        90      8010         0     87143     56070   1421717     25.24     26.67  --
2911.38/729.76	c  N dy  7711   2420887        90      8010         0    105706     56070   1976589     25.25     27.81  --
2953.28/740.23	c  N dy  7821   2440907        90      8010         0    124276     56070   2534546     25.26     27.56  --
2976.45/746.04	c  N dy  7879   2461000        90      8010         0     80043     56070   1194986     25.26     27.06  --
3003.95/752.96	c  N dy  7928   2486663        90      8010         0    103565     56070   1889291     25.25     26.62  --
3037.90/761.41	c  N dy  8036   2506723        90      8010         0    122142     56070   2447691     25.26     28.58  --
3061.80/767.47	c  N dy  8115   2526785        90      8010         0     77084     56070   1093759     25.27     28.67  --
3086.18/773.55	c  N dy  8219   2546913        90      8010         0     95729     56070   1649950     25.27     26.93  --
3120.45/782.12	c  N dy  8290   2572605        90      8010         0    119374     56070   2346157     25.27     26.65  --
3161.14/792.32	c  N dy  8383   2605950        90      8010         0     85382     56070   1305078     25.26     26.70  --
3189.08/799.36	c  N dy  8495   2625984        90      8010         0    103919     56070   1861547     25.27     27.16  --
3216.61/806.25	c  N dy  8530   2646039        90      8010         0    122416     56070   2402296     25.27     27.41  --
3240.95/812.33	c  N dy  8547   2666220        90      8010         0     75445     56070    999485     25.26     26.64  --
3264.10/818.11	c  N dy  8632   2686298        90      8010         0     94052     56070   1554791     25.27     27.51  --
3295.20/825.99	c  N dy  8682   2711131        90      8010         0    116888     56070   2228821     25.26     26.69  --
3295.60/826.08	c  S st  8684   2711347        90      8010         0    117090     56070   2234917     25.26     26.20  --
3297.21/826.43	c  S st  8684   2711852        90      8010         0    117565     56070   2249225     25.26   no data  --
3297.21/826.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3297.21/826.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3297.60/826.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.26
3297.60/826.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3297.60/826.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3297.60/826.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
3297.60/826.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3995.43/1001.45	c lits-rem:      7484  cl-subs:    10463  v-elim:      0  v-fix:    0  time: 697.54 s
3995.43/1001.45	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
3995.43/1001.47	c vivif2 --  cl tried   107102 cl shrink        0 lits rem          0 time: 0.11
3997.43/1001.94	c asymm  cl-useful: 0/622/8010 lits-rem:0 time: 1.85
3997.43/1001.94	c calculated reachability. Time: 0.00
3997.43/1001.94	c  N dy  8684   2711852        90      8010         0    107102     56070   1925979     25.26   no data  --
4040.92/1012.87	c  N dy  8789   2731935        90      8010         0    125703     56070   2484989     25.27     26.64  --
4071.65/1020.52	c  N dy  8814   2752361        90      8010         0     78471     56070   1077141     25.26     26.65  --
4103.57/1028.61	c  N dy  8878   2773485        90      8010         0     97998     56070   1656612     25.26     26.62  --
4143.49/1038.61	c  N dy  8986   2793705        90      8010         0    116770     56070   2220480     25.27     26.71  --
4184.16/1048.71	c  N dy  9012   2816077        90      8010         0     70211     56070    816150     25.26     26.87  --
4210.89/1055.49	c  N dy  9083   2836135        90      8010         0     88759     56070   1370325     25.27     28.46  --
4246.00/1064.26	c  N dy  9180   2856151        90      8010         0    107264     56070   1928089     25.27     27.85  --
4284.69/1073.90	c  N dy  9236   2876387        90      8010         0    125957     56070   2480683     25.27     26.78  --
4323.01/1083.52	c  N dy  9301   2896436        90      8010         0     76250     56070    976104     25.27     28.33  --
4352.93/1091.01	c  N dy  9376   2916788        90      8010         0     95059     56070   1532834     25.28     26.67  --
4397.61/1102.25	c  N dy  9473   2939570        90      8010         0    116140     56070   2160826     25.28     26.63  --
4445.90/1114.38	c  N dy  9560   2960925        90      8010         0    135851     56070   2751169     25.29     26.66  --
4485.82/1124.39	c  N dy  9689   2980935        90      8010         0     85174     56070   1228834     25.29     28.10  --
4532.47/1136.09	c  N dy  9724   3010822        90      8010         0    112550     56070   2015009     25.28     26.66  --
4585.54/1149.39	c  N dy  9818   3033243        90      8010         0    133295     56070   2633938     25.28     26.71  --
4630.23/1160.59	c  N dy  9924   3054882        90      8010         0     83237     56070   1151904     25.29     26.71  --
4663.74/1168.94	c  N dy  9980   3074950        90      8010         0    101709     56070   1696642     25.29     27.27  --
4708.83/1180.21	c  N dy 10072   3096329        90      8010         0    121468     56070   2287329     25.29     26.68  --
4757.51/1192.46	c  N dy 10110   3120660        90      8010         0     72770     56070    819595     25.29     26.65  --
4785.43/1199.48	c  N dy 10225   3140690        90      8010         0     91284     56070   1377445     25.30     27.45  --

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-3369045-1305410853/watcher-3369045-1305410853 -o /tmp/evaluation-result-3369045-1305410853/solver-3369045-1305410853 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369045-1305410853.cnf 

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

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


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.03 2/311 8573
/proc/meminfo: memFree=27338556/32951124 swapFree=46575252/67111528
[pid=8573] ppid=8571 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/8573/stat : 8573 (strangenight1-m) R 8571 8573 8545 0 -1 4202496 412 0 0 0 0 0 0 0 23 0 4 0 385276549 52465664 352 33554432000 4194304 4650419 140734991936928 18446744073709551615 47854837852082 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8573/statm: 12809 352 303 112 0 7774 0
[pid=8573/tid=8574] ppid=8571 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/8573/task/8574/stat : 8574 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 385276549 52465664 352 33554432000 4194304 4650419 140734991936928 18446744073709551615 47854837852076 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8573/tid=8575] ppid=8571 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/8573/task/8575/stat : 8575 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 385276549 52465664 352 33554432000 4194304 4650419 140734991936928 18446744073709551615 47854837852076 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8573/tid=8576] ppid=8571 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/8573/task/8576/stat : 8576 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 385276549 52465664 352 33554432000 4194304 4650419 140734991936928 18446744073709551615 268660718577 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.233135 s]
/proc/loadavg: 0.00 0.00 0.03 2/311 8573
/proc/meminfo: memFree=27338556/32951124 swapFree=46575252/67111528
[pid=8573] ppid=8571 vsize=283712 CPUtime=0.89 cores=0,2,4,6
/proc/8573/stat : 8573 (strangenight1-m) R 8571 8573 8545 0 -1 4202496 3892 0 0 0 88 1 0 0 18 0 4 0 385276549 290521088 3212 33554432000 4194304 4650419 140734991936928 18446744073709551615 4438407 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8573/statm: 70928 3212 388 112 0 65893 0
[pid=8573/tid=8574] ppid=8571 vsize=283712 CPUtime=0.22 cores=0,2,4,6
/proc/8573/task/8574/stat : 8574 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 920 0 0 0 22 0 0 0 18 0 4 0 385276549 290521088 3212 33554432000 4194304 4650419 140734991936928 18446744073709551615 4541720 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8573/tid=8575] ppid=8571 vsize=283712 CPUtime=0.22 cores=0,2,4,6
/proc/8573/task/8575/stat : 8575 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 939 0 0 0 22 0 0 0 18 0 4 0 385276549 290521088 3212 33554432000 4194304 4650419 140734991936928 18446744073709551615 268660323361 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8573/tid=8576] ppid=8571 vsize=283712 CPUtime=0.21 cores=0,2,4,6
/proc/8573/task/8576/stat : 8576 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 750 0 0 0 21 0 0 0 18 0 4 0 385276549 290521088 3212 33554432000 4194304 4650419 140734991936928 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 283712

[startup+0.301167 s]
/proc/loadavg: 0.00 0.00 0.03 2/311 8573
/proc/meminfo: memFree=27338556/32951124 swapFree=46575252/67111528
[pid=8573] ppid=8571 vsize=283712 CPUtime=1.16 cores=0,2,4,6
/proc/8573/stat : 8573 (strangenight1-m) R 8571 8573 8545 0 -1 4202496 4164 0 0 0 115 1 0 0 18 0 4 0 385276549 290521088 3403 33554432000 4194304 4650419 140734991936928 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8573/statm: 70928 3403 390 112 0 65893 0
[pid=8573/tid=8574] ppid=8571 vsize=283712 CPUtime=0.28 cores=0,2,4,6
/proc/8573/task/8574/stat : 8574 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 986 0 0 0 28 0 0 0 18 0 4 0 385276549 290521088 3403 33554432000 4194304 4650419 140734991936928 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8573/tid=8575] ppid=8571 vsize=283712 CPUtime=0.28 cores=0,2,4,6
/proc/8573/task/8575/stat : 8575 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 1027 0 0 0 28 0 0 0 18 0 4 0 385276549 290521088 3403 33554432000 4194304 4650419 140734991936928 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8573/tid=8576] ppid=8571 vsize=283712 CPUtime=0.28 cores=0,2,4,6
/proc/8573/task/8576/stat : 8576 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 807 0 0 0 28 0 0 0 18 0 4 0 385276549 290521088 3403 33554432000 4194304 4650419 140734991936928 18446744073709551615 4365216 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 283712

[startup+0.401151 s]
/proc/loadavg: 0.00 0.00 0.03 2/311 8573
/proc/meminfo: memFree=27338556/32951124 swapFree=46575252/67111528
[pid=8573] ppid=8571 vsize=283848 CPUtime=1.56 cores=0,2,4,6
/proc/8573/stat : 8573 (strangenight1-m) R 8571 8573 8545 0 -1 4202496 4508 0 0 0 155 1 0 0 18 0 4 0 385276549 290660352 3747 33554432000 4194304 4650419 140734991936928 18446744073709551615 4366896 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8573/statm: 70962 3747 390 112 0 65927 0
[pid=8573/tid=8574] ppid=8571 vsize=283848 CPUtime=0.38 cores=0,2,4,6
/proc/8573/task/8574/stat : 8574 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 1074 0 0 0 38 0 0 0 18 0 4 0 385276549 290660352 3747 33554432000 4194304 4650419 140734991936928 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8573/tid=8575] ppid=8571 vsize=283848 CPUtime=0.38 cores=0,2,4,6
/proc/8573/task/8575/stat : 8575 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 1128 0 0 0 38 0 0 0 18 0 4 0 385276549 290660352 3747 33554432000 4194304 4650419 140734991936928 18446744073709551615 4366052 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8573/tid=8576] ppid=8571 vsize=283848 CPUtime=0.38 cores=0,2,4,6
/proc/8573/task/8576/stat : 8576 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 877 0 0 0 38 0 0 0 18 0 4 0 385276549 290660352 3747 33554432000 4194304 4650419 140734991936928 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 283848

[startup+0.70104 s]
/proc/loadavg: 0.00 0.00 0.03 2/311 8573
/proc/meminfo: memFree=27338556/32951124 swapFree=46575252/67111528
[pid=8573] ppid=8571 vsize=285788 CPUtime=2.76 cores=0,2,4,6
/proc/8573/stat : 8573 (strangenight1-m) R 8571 8573 8545 0 -1 4202496 6738 0 0 0 274 2 0 0 18 0 4 0 385276549 292646912 3991 33554432000 4194304 4650419 140734991936928 18446744073709551615 4365300 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8573/statm: 71447 3991 390 112 0 66412 0
[pid=8573/tid=8574] ppid=8571 vsize=285788 CPUtime=0.68 cores=0,2,4,6
/proc/8573/task/8574/stat : 8574 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 1678 0 0 0 68 0 0 0 18 0 4 0 385276549 292646912 3991 33554432000 4194304 4650419 140734991936928 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8573/tid=8575] ppid=8571 vsize=285788 CPUtime=0.68 cores=0,2,4,6
/proc/8573/task/8575/stat : 8575 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 1733 0 0 0 68 0 0 0 18 0 4 0 385276549 292646912 3991 33554432000 4194304 4650419 140734991936928 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8573/tid=8576] ppid=8571 vsize=285788 CPUtime=0.68 cores=0,2,4,6
/proc/8573/task/8576/stat : 8576 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 1322 0 0 0 68 0 0 0 18 0 4 0 385276549 292646912 3991 33554432000 4194304 4650419 140734991936928 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 285788

[startup+1.5009 s]
/proc/loadavg: 0.48 0.10 0.06 12/323 8590
/proc/meminfo: memFree=27305256/32951124 swapFree=46575252/67111528
[pid=8573] ppid=8571 vsize=286588 CPUtime=5.95 cores=0,2,4,6
/proc/8573/stat : 8573 (strangenight1-m) R 8571 8573 8545 0 -1 4202496 10920 0 0 0 593 2 0 0 20 0 4 0 385276549 293466112 4787 33554432000 4194304 4650419 140734991936928 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8573/statm: 71647 4787 391 112 0 66612 0
[pid=8573/tid=8574] ppid=8571 vsize=286588 CPUtime=1.48 cores=0,2,4,6
/proc/8573/task/8574/stat : 8574 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 2753 0 0 0 148 0 0 0 19 0 4 0 385276549 293466112 4787 33554432000 4194304 4650419 140734991936928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8573/tid=8575] ppid=8571 vsize=286588 CPUtime=1.48 cores=0,2,4,6
/proc/8573/task/8575/stat : 8575 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 2731 0 0 0 148 0 0 0 19 0 4 0 385276549 293466112 4787 33554432000 4194304 4650419 140734991936928 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8573/tid=8576] ppid=8571 vsize=286588 CPUtime=1.46 cores=0,2,4,6
/proc/8573/task/8576/stat : 8576 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 2400 0 0 0 146 0 0 0 20 0 4 0 385276549 293466112 4787 33554432000 4194304 4650419 140734991936928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 286588

[startup+3.10062 s]
/proc/loadavg: 0.48 0.10 0.06 9/323 8591
/proc/meminfo: memFree=27280264/32951124 swapFree=46575252/67111528
[pid=8573] ppid=8571 vsize=287104 CPUtime=12.33 cores=0,2,4,6
/proc/8573/stat : 8573 (strangenight1-m) R 8571 8573 8545 0 -1 4202496 20920 0 0 0 1229 4 0 0 25 0 4 0 385276549 293994496 12768 33554432000 4194304 4650419 140734991936928 18446744073709551615 4371151 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8573/statm: 71776 12768 392 112 0 66741 0
[pid=8573/tid=8574] ppid=8571 vsize=287104 CPUtime=3.09 cores=0,2,4,6
/proc/8573/task/8574/stat : 8574 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 4679 0 0 0 308 1 0 0 23 0 4 0 385276549 293994496 12768 33554432000 4194304 4650419 140734991936928 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8573/tid=8575] ppid=8571 vsize=287104 CPUtime=3.08 cores=0,2,4,6
/proc/8573/task/8575/stat : 8575 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 5569 0 0 0 307 1 0 0 23 0 4 0 385276549 293994496 12768 33554432000 4194304 4650419 140734991936928 18446744073709551615 4438939 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8573/tid=8576] ppid=8571 vsize=287104 CPUtime=3.05 cores=0,2,4,6
/proc/8573/task/8576/stat : 8576 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 5844 0 0 0 304 1 0 0 25 0 4 0 385276549 293994496 12768 33554432000 4194304 4650419 140734991936928 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 287104

[startup+6.30105 s]
/proc/loadavg: 1.08 0.23 0.11 9/323 8591
/proc/meminfo: memFree=27221232/32951124 swapFree=46575252/67111528
[pid=8573] ppid=8571 vsize=269232 CPUtime=25.1 cores=0,2,4,6
/proc/8573/stat : 8573 (strangenight1-m) R 8571 8573 8545 0 -1 4202496 29064 0 0 0 2504 6 0 0 25 0 4 0 385276549 275693568 16215 33554432000 4194304 4650419 140734991936928 18446744073709551615 4365280 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8573/statm: 67308 16215 392 112 0 62273 0
[pid=8573/tid=8574] ppid=8571 vsize=269232 CPUtime=6.28 cores=0,2,4,6
/proc/8573/task/8574/stat : 8574 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 8211 0 0 0 627 1 0 0 25 0 4 0 385276549 275693568 16215 33554432000 4194304 4650419 140734991936928 18446744073709551615 4438407 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8573/tid=8575] ppid=8571 vsize=269232 CPUtime=6.28 cores=0,2,4,6
/proc/8573/task/8575/stat : 8575 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 6464 0 0 0 627 1 0 0 25 0 4 0 385276549 275693568 16215 33554432000 4194304 4650419 140734991936928 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8573/tid=8576] ppid=8571 vsize=269232 CPUtime=6.22 cores=0,2,4,6
/proc/8573/task/8576/stat : 8576 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 7934 0 0 0 620 2 0 0 25 0 4 0 385276549 275693568 16215 33554432000 4194304 4650419 140734991936928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 269232

[startup+12.7009 s]
/proc/loadavg: 1.64 0.36 0.15 9/323 8591
/proc/meminfo: memFree=27163320/32951124 swapFree=46575252/67111528
[pid=8573] ppid=8571 vsize=288712 CPUtime=50.63 cores=0,2,4,6
/proc/8573/stat : 8573 (strangenight1-m) R 8571 8573 8545 0 -1 4202496 42737 0 0 0 5054 9 0 0 25 0 4 0 385276549 295641088 23563 33554432000 4194304 4650419 140734991936928 18446744073709551615 4476356 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8573/statm: 72178 23563 392 112 0 67143 0
[pid=8573/tid=8574] ppid=8571 vsize=288712 CPUtime=12.67 cores=0,2,4,6
/proc/8573/task/8574/stat : 8574 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 10820 0 0 0 1265 2 0 0 25 0 4 0 385276549 295641088 23563 33554432000 4194304 4650419 140734991936928 18446744073709551615 4439371 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8573/tid=8575] ppid=8571 vsize=288712 CPUtime=12.68 cores=0,2,4,6
/proc/8573/task/8575/stat : 8575 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 9737 0 0 0 1266 2 0 0 25 0 4 0 385276549 295641088 23563 33554432000 4194304 4650419 140734991936928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8573/tid=8576] ppid=8571 vsize=288712 CPUtime=12.55 cores=0,2,4,6
/proc/8573/task/8576/stat : 8576 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 12388 0 0 0 1253 2 0 0 25 0 4 0 385276549 295641088 23563 33554432000 4194304 4650419 140734991936928 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 288712

[startup+25.5117 s]
/proc/loadavg: 2.69 0.63 0.24 9/323 8591
/proc/meminfo: memFree=27116920/32951124 swapFree=46575252/67111528
[pid=8573] ppid=8571 vsize=279536 CPUtime=101.74 cores=0,2,4,6
/proc/8573/stat : 8573 (strangenight1-m) R 8571 8573 8545 0 -1 4202496 63583 0 0 0 10161 13 0 0 25 0 4 0 385276549 286244864 28299 33554432000 4194304 4650419 140734991936928 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8573/statm: 69884 28299 392 112 0 64849 0
[pid=8573/tid=8574] ppid=8571 vsize=279536 CPUtime=25.48 cores=0,2,4,6
/proc/8573/task/8574/stat : 8574 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 16952 0 0 0 2545 3 0 0 25 0 4 0 385276549 286244864 28299 33554432000 4194304 4650419 140734991936928 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8573/tid=8575] ppid=8571 vsize=279536 CPUtime=25.49 cores=0,2,4,6
/proc/8573/task/8575/stat : 8575 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 15062 0 0 0 2546 3 0 0 25 0 4 0 385276549 286244864 28299 33554432000 4194304 4650419 140734991936928 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8573/tid=8576] ppid=8571 vsize=279536 CPUtime=25.24 cores=0,2,4,6
/proc/8573/task/8576/stat : 8576 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 18399 0 0 0 2520 4 0 0 25 0 4 0 385276549 286244864 28299 33554432000 4194304 4650419 140734991936928 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 279536

[startup+51.1012 s]
/proc/loadavg: 4.78 1.33 0.48 9/323 8592
/proc/meminfo: memFree=27046296/32951124 swapFree=46575252/67111528
[pid=8573] ppid=8571 vsize=311564 CPUtime=203.85 cores=0,2,4,6
/proc/8573/stat : 8573 (strangenight1-m) R 8571 8573 8545 0 -1 4202496 89461 0 0 0 20366 19 0 0 25 0 4 0 385276549 319041536 37049 33554432000 4194304 4650419 140734991936928 18446744073709551615 4365242 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8573/statm: 77891 37049 392 112 0 72856 0
[pid=8573/tid=8574] ppid=8571 vsize=311564 CPUtime=51.07 cores=0,2,4,6
/proc/8573/task/8574/stat : 8574 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 23205 0 0 0 5103 4 0 0 25 0 4 0 385276549 319041536 37049 33554432000 4194304 4650419 140734991936928 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8573/tid=8575] ppid=8571 vsize=311564 CPUtime=51.08 cores=0,2,4,6
/proc/8573/task/8575/stat : 8575 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 22090 0 0 0 5104 4 0 0 25 0 4 0 385276549 319041536 37049 33554432000 4194304 4650419 140734991936928 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8573/tid=8576] ppid=8571 vsize=311564 CPUtime=50.57 cores=0,2,4,6
/proc/8573/task/8576/stat : 8576 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 28301 0 0 0 5051 6 0 0 25 0 4 0 385276549 319041536 37049 33554432000 4194304 4650419 140734991936928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.85
Current children cumulated vsize (KiB) 311564

[startup+102.301 s]
/proc/loadavg: 6.69 2.39 0.89 9/323 8593
/proc/meminfo: memFree=27008932/32951124 swapFree=46575252/67111528
[pid=8573] ppid=8571 vsize=303436 CPUtime=408.12 cores=0,2,4,6
/proc/8573/stat : 8573 (strangenight1-m) R 8571 8573 8545 0 -1 4202496 138589 0 0 0 40780 32 0 0 25 0 4 0 385276549 310718464 39286 33554432000 4194304 4650419 140734991936928 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8573/statm: 75859 39286 392 112 0 70824 0
[pid=8573/tid=8574] ppid=8571 vsize=303436 CPUtime=102.25 cores=0,2,4,6
/proc/8573/task/8574/stat : 8574 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 35560 0 0 0 10219 6 0 0 25 0 4 0 385276549 310718464 39286 33554432000 4194304 4650419 140734991936928 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8573/tid=8575] ppid=8571 vsize=303436 CPUtime=102.28 cores=0,2,4,6
/proc/8573/task/8575/stat : 8575 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 33334 0 0 0 10220 8 0 0 25 0 4 0 385276549 310718464 39286 33554432000 4194304 4650419 140734991936928 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8573/tid=8576] ppid=8571 vsize=303436 CPUtime=101.26 cores=0,2,4,6
/proc/8573/task/8576/stat : 8576 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 44893 0 0 0 10116 10 0 0 25 0 4 0 385276549 310718464 39286 33554432000 4194304 4650419 140734991936928 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.12
Current children cumulated vsize (KiB) 303436

[startup+162.301 s]

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

[pid=8573] ppid=8571 vsize=494640 CPUtime=2802.05 cores=0,2,4,6
/proc/8573/stat : 8573 (strangenight1-m) R 8571 8573 8545 0 -1 4202496 484572 0 0 0 280043 162 0 0 25 0 4 0 385276549 506511360 73081 33554432000 4194304 4650419 140734991936928 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8573/statm: 123660 73081 392 112 0 118625 0
[pid=8573/tid=8574] ppid=8571 vsize=494640 CPUtime=702.18 cores=0,2,4,6
/proc/8573/task/8574/stat : 8574 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 121558 0 0 0 70175 43 0 0 25 0 4 0 385276549 506511360 73081 33554432000 4194304 4650419 140734991936928 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8573/tid=8575] ppid=8571 vsize=494640 CPUtime=702.3 cores=0,2,4,6
/proc/8573/task/8575/stat : 8575 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 114821 0 0 0 70194 36 0 0 25 0 4 0 385276549 506511360 73081 33554432000 4194304 4650419 140734991936928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8573/tid=8576] ppid=8571 vsize=494640 CPUtime=695.26 cores=0,2,4,6
/proc/8573/task/8576/stat : 8576 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 138722 0 0 0 69481 45 0 0 25 0 4 0 385276549 506511360 73081 33554432000 4194304 4650419 140734991936928 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2802.05
Current children cumulated vsize (KiB) 494640

[startup+762.301 s]
/proc/loadavg: 8.13 7.47 4.54 9/323 8611
/proc/meminfo: memFree=26604148/32951124 swapFree=46575252/67111528
[pid=8573] ppid=8571 vsize=507500 CPUtime=3041.45 cores=0,2,4,6
/proc/8573/stat : 8573 (strangenight1-m) R 8571 8573 8545 0 -1 4202496 508010 0 0 0 303973 172 0 0 25 0 4 0 385276549 519680000 82973 33554432000 4194304 4650419 140734991936928 18446744073709551615 4365263 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8573/statm: 126875 82973 392 112 0 121840 0
[pid=8573/tid=8574] ppid=8571 vsize=507500 CPUtime=762.17 cores=0,2,4,6
/proc/8573/task/8574/stat : 8574 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 127324 0 0 0 76171 46 0 0 25 0 4 0 385276549 519680000 82973 33554432000 4194304 4650419 140734991936928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8573/tid=8575] ppid=8571 vsize=507500 CPUtime=762.29 cores=0,2,4,6
/proc/8573/task/8575/stat : 8575 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 121034 0 0 0 76191 38 0 0 25 0 4 0 385276549 519680000 82973 33554432000 4194304 4650419 140734991936928 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8573/tid=8576] ppid=8571 vsize=507500 CPUtime=754.66 cores=0,2,4,6
/proc/8573/task/8576/stat : 8576 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 144065 0 0 0 75419 47 0 0 25 0 4 0 385276549 519680000 82973 33554432000 4194304 4650419 140734991936928 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3041.45
Current children cumulated vsize (KiB) 507500

[startup+822.301 s]
/proc/loadavg: 8.14 7.59 4.77 9/323 8612
/proc/meminfo: memFree=26601988/32951124 swapFree=46575252/67111528
[pid=8573] ppid=8571 vsize=507860 CPUtime=3280.84 cores=0,2,4,6
/proc/8573/stat : 8573 (strangenight1-m) R 8571 8573 8545 0 -1 4202496 539763 0 0 0 327898 186 0 0 25 0 4 0 385276549 520048640 82170 33554432000 4194304 4650419 140734991936928 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8573/statm: 126965 82170 392 112 0 121930 0
[pid=8573/tid=8574] ppid=8571 vsize=507860 CPUtime=822.15 cores=0,2,4,6
/proc/8573/task/8574/stat : 8574 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 136005 0 0 0 82166 49 0 0 25 0 4 0 385276549 520048640 82170 33554432000 4194304 4650419 140734991936928 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8573/tid=8575] ppid=8571 vsize=507860 CPUtime=822.3 cores=0,2,4,6
/proc/8573/task/8575/stat : 8575 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 129609 0 0 0 82187 43 0 0 25 0 4 0 385276549 520048640 82170 33554432000 4194304 4650419 140734991936928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8573/tid=8576] ppid=8571 vsize=507860 CPUtime=814.06 cores=0,2,4,6
/proc/8573/task/8576/stat : 8576 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 152240 0 0 0 81356 50 0 0 25 0 4 0 385276549 520048640 82170 33554432000 4194304 4650419 140734991936928 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3280.84
Current children cumulated vsize (KiB) 507860

[startup+882.3 s]
/proc/loadavg: 8.14 7.70 4.97 9/323 8614
/proc/meminfo: memFree=26561776/32951124 swapFree=46575252/67111528
[pid=8573] ppid=8571 vsize=494828 CPUtime=3520.26 cores=0,2,4,6
/proc/8573/stat : 8573 (strangenight1-m) R 8571 8573 8545 0 -1 4202496 554046 0 0 0 351832 194 0 0 25 0 4 0 385276549 506703872 86462 33554432000 4194304 4650419 140734991936928 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8573/statm: 123707 86462 392 112 0 118672 0
[pid=8573/tid=8574] ppid=8571 vsize=494828 CPUtime=882.15 cores=0,2,4,6
/proc/8573/task/8574/stat : 8574 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 140741 0 0 0 88163 52 0 0 25 0 4 0 385276549 506703872 86463 33554432000 4194304 4650419 140734991936928 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8573/tid=8575] ppid=8571 vsize=494828 CPUtime=882.31 cores=0,2,4,6
/proc/8573/task/8575/stat : 8575 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 133647 0 0 0 88187 44 0 0 25 0 4 0 385276549 506703872 86463 33554432000 4194304 4650419 140734991936928 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8573/tid=8576] ppid=8571 vsize=494828 CPUtime=873.46 cores=0,2,4,6
/proc/8573/task/8576/stat : 8576 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 157305 0 0 0 87293 53 0 0 25 0 4 0 385276549 506703872 86463 33554432000 4194304 4650419 140734991936928 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3520.26
Current children cumulated vsize (KiB) 494828

[startup+942.301 s]
/proc/loadavg: 8.13 7.78 5.17 9/323 8616
/proc/meminfo: memFree=26500356/32951124 swapFree=46575252/67111528
[pid=8573] ppid=8571 vsize=573760 CPUtime=3759.63 cores=0,2,4,6
/proc/8573/stat : 8573 (strangenight1-m) R 8571 8573 8545 0 -1 4202496 587974 0 0 0 375759 204 0 0 25 0 4 0 385276549 587530240 98253 33554432000 4194304 4650419 140734991936928 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8573/statm: 143440 98253 392 112 0 138405 0
[pid=8573/tid=8574] ppid=8571 vsize=573760 CPUtime=942.14 cores=0,2,4,6
/proc/8573/task/8574/stat : 8574 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 148611 0 0 0 94159 55 0 0 25 0 4 0 385276549 587530240 98253 33554432000 4194304 4650419 140734991936928 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8573/tid=8575] ppid=8571 vsize=573760 CPUtime=942.3 cores=0,2,4,6
/proc/8573/task/8575/stat : 8575 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 139747 0 0 0 94182 48 0 0 25 0 4 0 385276549 587530240 98253 33554432000 4194304 4650419 140734991936928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8573/tid=8576] ppid=8571 vsize=573760 CPUtime=932.86 cores=0,2,4,6
/proc/8573/task/8576/stat : 8576 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 169397 0 0 0 93230 56 0 0 25 0 4 0 385276549 587530240 98253 33554432000 4194304 4650419 140734991936928 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3759.63
Current children cumulated vsize (KiB) 573760

[startup+1002.31 s]
/proc/loadavg: 8.08 7.83 5.35 9/323 8617
/proc/meminfo: memFree=26503540/32951124 swapFree=46575252/67111528
[pid=8573] ppid=8571 vsize=573760 CPUtime=3999.06 cores=0,2,4,6
/proc/8573/stat : 8573 (strangenight1-m) R 8571 8573 8545 0 -1 4202496 595154 0 0 0 399700 206 0 0 25 0 4 0 385276549 587530240 95278 33554432000 4194304 4650419 140734991936928 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8573/statm: 143440 95278 392 112 0 138405 0
[pid=8573/tid=8574] ppid=8571 vsize=573760 CPUtime=1002.14 cores=0,2,4,6
/proc/8573/task/8574/stat : 8574 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 148611 0 0 0 100159 55 0 0 25 0 4 0 385276549 587530240 95278 33554432000 4194304 4650419 140734991936928 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8573/tid=8575] ppid=8571 vsize=573760 CPUtime=1002.32 cores=0,2,4,6
/proc/8573/task/8575/stat : 8575 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 141446 0 0 0 100183 49 0 0 25 0 4 0 385276549 587530240 95278 33554432000 4194304 4650419 140734991936928 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8573/tid=8576] ppid=8571 vsize=573760 CPUtime=992.26 cores=0,2,4,6
/proc/8573/task/8576/stat : 8576 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 169783 0 0 0 99170 56 0 0 25 0 4 0 385276549 587530240 95278 33554432000 4194304 4650419 140734991936928 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3999.06
Current children cumulated vsize (KiB) 573760

[startup+1062.3 s]
/proc/loadavg: 8.03 7.86 5.51 9/323 8619
/proc/meminfo: memFree=26476712/32951124 swapFree=46575252/67111528
[pid=8573] ppid=8571 vsize=587104 CPUtime=4238.42 cores=0,2,4,6
/proc/8573/stat : 8573 (strangenight1-m) R 8571 8573 8545 0 -1 4202496 616751 0 0 0 423626 216 0 0 25 0 4 0 385276549 601194496 98264 33554432000 4194304 4650419 140734991936928 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8573/statm: 146776 98264 392 112 0 141741 0
[pid=8573/tid=8574] ppid=8571 vsize=587104 CPUtime=1062.12 cores=0,2,4,6
/proc/8573/task/8574/stat : 8574 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 148611 0 0 0 106157 55 0 0 25 0 4 0 385276549 601194496 98264 33554432000 4194304 4650419 140734991936928 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8573/tid=8575] ppid=8571 vsize=587104 CPUtime=1062.3 cores=0,2,4,6
/proc/8573/task/8575/stat : 8575 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 147038 0 0 0 106178 52 0 0 25 0 4 0 385276549 601194496 98264 33554432000 4194304 4650419 140734991936928 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8573/tid=8576] ppid=8571 vsize=587104 CPUtime=1051.66 cores=0,2,4,6
/proc/8573/task/8576/stat : 8576 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 180175 0 0 0 105108 58 0 0 25 0 4 0 385276549 601194496 98264 33554432000 4194304 4650419 140734991936928 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4238.42
Current children cumulated vsize (KiB) 587104

[startup+1122.3 s]
/proc/loadavg: 8.08 7.91 5.68 9/323 8620
/proc/meminfo: memFree=26457076/32951124 swapFree=46575252/67111528
[pid=8573] ppid=8571 vsize=587160 CPUtime=4477.81 cores=0,2,4,6
/proc/8573/stat : 8573 (strangenight1-m) R 8571 8573 8545 0 -1 4202496 635808 0 0 0 447558 223 0 0 25 0 4 0 385276549 601251840 99324 33554432000 4194304 4650419 140734991936928 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8573/statm: 146790 99324 392 112 0 141755 0
[pid=8573/tid=8574] ppid=8571 vsize=587160 CPUtime=1122.11 cores=0,2,4,6
/proc/8573/task/8574/stat : 8574 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 148611 0 0 0 112156 55 0 0 25 0 4 0 385276549 601251840 99324 33554432000 4194304 4650419 140734991936928 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8573/tid=8575] ppid=8571 vsize=587160 CPUtime=1122.31 cores=0,2,4,6
/proc/8573/task/8575/stat : 8575 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 151147 0 0 0 112176 55 0 0 25 0 4 0 385276549 601251840 99324 33554432000 4194304 4650419 140734991936928 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8573/tid=8576] ppid=8571 vsize=587160 CPUtime=1111.05 cores=0,2,4,6
/proc/8573/task/8576/stat : 8576 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 190516 0 0 0 111046 59 0 0 25 0 4 0 385276549 601251840 99324 33554432000 4194304 4650419 140734991936928 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4477.81
Current children cumulated vsize (KiB) 587160

[startup+1182.3 s]
/proc/loadavg: 8.10 7.94 5.83 9/323 8622
/proc/meminfo: memFree=26435456/32951124 swapFree=46575252/67111528
[pid=8573] ppid=8571 vsize=587160 CPUtime=4717.2 cores=0,2,4,6
/proc/8573/stat : 8573 (strangenight1-m) R 8571 8573 8545 0 -1 4202496 651557 0 0 0 471493 227 0 0 25 0 4 0 385276549 601251840 101624 33554432000 4194304 4650419 140734991936928 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8573/statm: 146790 101624 392 112 0 141755 0
[pid=8573/tid=8574] ppid=8571 vsize=587160 CPUtime=1182.1 cores=0,2,4,6
/proc/8573/task/8574/stat : 8574 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 149095 0 0 0 118154 56 0 0 25 0 4 0 385276549 601251840 101624 33554432000 4194304 4650419 140734991936928 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8573/tid=8575] ppid=8571 vsize=587160 CPUtime=1182.31 cores=0,2,4,6
/proc/8573/task/8575/stat : 8575 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 155670 0 0 0 118175 56 0 0 25 0 4 0 385276549 601251840 101624 33554432000 4194304 4650419 140734991936928 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8573/tid=8576] ppid=8571 vsize=587160 CPUtime=1170.45 cores=0,2,4,6
/proc/8573/task/8576/stat : 8576 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 198509 0 0 0 116985 60 0 0 25 0 4 0 385276549 601251840 101624 33554432000 4194304 4650419 140734991936928 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4717.2
Current children cumulated vsize (KiB) 587160



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.14 7.96 5.88 9/323 8623
/proc/meminfo: memFree=26438544/32951124 swapFree=46575252/67111528
[pid=8573] ppid=8571 vsize=692528 CPUtime=4800.21 cores=0,2,4,6
/proc/8573/stat : 8573 (strangenight1-m) R 8571 8573 8545 0 -1 4202496 661915 0 0 0 479791 230 0 0 25 0 4 0 385276549 709148672 101875 33554432000 4194304 4650419 140734991936928 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8573/statm: 173132 101875 392 112 0 168097 0
[pid=8573/tid=8574] ppid=8571 vsize=692528 CPUtime=1202.91 cores=0,2,4,6
/proc/8573/task/8574/stat : 8574 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 149692 0 0 0 120234 57 0 0 25 0 4 0 385276549 709148672 101876 33554432000 4194304 4650419 140734991936928 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8573/tid=8575] ppid=8571 vsize=692528 CPUtime=1203.11 cores=0,2,4,6
/proc/8573/task/8575/stat : 8575 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 159821 0 0 0 120255 56 0 0 25 0 4 0 385276549 709148672 101876 33554432000 4194304 4650419 140734991936928 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8573/tid=8576] ppid=8571 vsize=692528 CPUtime=1191.05 cores=0,2,4,6
/proc/8573/task/8576/stat : 8576 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 201619 0 0 0 119044 61 0 0 25 0 4 0 385276549 709148672 101876 33554432000 4194304 4650419 140734991936928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 692528

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

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

[startup+1203.1 s]
/proc/loadavg: 8.14 7.96 5.88 9/323 8623
/proc/meminfo: memFree=26438544/32951124 swapFree=46575252/67111528
[pid=8573] ppid=8571 vsize=692528 CPUtime=4800.21 cores=0,2,4,6
/proc/8573/stat : 8573 (strangenight1-m) R 8571 8573 8545 0 -1 4202496 661915 0 0 0 479791 230 0 0 25 0 4 0 385276549 709148672 101875 33554432000 4194304 4650419 140734991936928 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8573/statm: 173132 101875 392 112 0 168097 0
[pid=8573/tid=8574] ppid=8571 vsize=692528 CPUtime=1202.91 cores=0,2,4,6
/proc/8573/task/8574/stat : 8574 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 149692 0 0 0 120234 57 0 0 25 0 4 0 385276549 709148672 101876 33554432000 4194304 4650419 140734991936928 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8573/tid=8575] ppid=8571 vsize=692528 CPUtime=1203.11 cores=0,2,4,6
/proc/8573/task/8575/stat : 8575 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 159821 0 0 0 120255 56 0 0 25 0 4 0 385276549 709148672 101876 33554432000 4194304 4650419 140734991936928 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8573/tid=8576] ppid=8571 vsize=692528 CPUtime=1191.05 cores=0,2,4,6
/proc/8573/task/8576/stat : 8576 (strangenight1-m) R 8571 8573 8545 0 -1 4202560 201619 0 0 0 119044 61 0 0 25 0 4 0 385276549 709148672 101876 33554432000 4194304 4650419 140734991936928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 692528

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.14
CPU time (s): 4800.28
CPU user time (s): 4797.95
CPU system time (s): 2.32865
CPU usage (%): 398.98
Max. virtual memory (cumulated for all children) (KiB): 705780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.95
system time used= 2.32864
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 661916
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= 536
involuntary context switches= 22128

runsolver used 3.43448 second user time and 8.63069 second system time

The end

Launcher Data 

Begin job on node107 at 2011-05-15 00:07:33
IDJOB=3369045
IDBENCH=83054
IDSOLVER=1846
FILE ID=node107/3369045-1305410853
RUNJOBID= node107-1305410852-8563
PBS_JOBID= 13324536
Free space on /tmp= 73436 MiB

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

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

MD5SUM BENCH= 28731ba8f9c5274ff0cd070fd7aeff45
RANDOM SEED=187629669

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27338844 kB
Buffers:        130472 kB
Cached:         918452 kB
SwapCached:       9832 kB
Active:        5257152 kB
Inactive:        74352 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27338844 kB
SwapTotal:    67111528 kB
SwapFree:     46575252 kB
Dirty:            6260 kB
Writeback:           0 kB
AnonPages:     4279988 kB
Mapped:          18640 kB
Slab:           146536 kB
PageTables:      68684 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 64917724 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= 73424 MiB
End job on node107 at 2011-05-15 00:27:38