Trace number 3366381

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 4800.09 1203.03

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v500-c2130-S1383368897-031.UNKNOWN.cnf
MD5SUM4d20714634af5755393f1c67cf27956c
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 variables500
Number of clauses2130
Sum of the clauses size6390
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32130
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366381-1305402980.cnf'
0.00/0.01	c -- header says num vars:            500
0.00/0.01	c -- header says num clauses:        2130
0.00/0.06	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.06	c -- vars added        500
0.00/0.06	c Parsing time:  0.00 s
0.00/0.06	c  N st     0         0       500      2130         0         0      6390         0   no data   no data
0.00/0.06	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.00
0.00/0.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    500 time:  0.00 s
0.00/0.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.06	c lits-rem:         0  cl-subs:        0  v-elim:      6  v-fix:    0  time:  0.00 s
0.00/0.06	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.06	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.06	c calculated reachability. Time: 0.00
0.00/0.06	c Calc default polars -  time:   0.00 s pos:     212 undec:      53 neg:     235
0.00/0.06	c =========================================================================================
0.00/0.06	c types(t): F = full restart, N = normal restart
0.00/0.06	c types(t): S = simplification begin/end, E = solution found
0.00/0.06	c restart types(rt): st = static, dy = dynamic
0.00/0.06	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.06	c  B st     0         0       494      2124         0         0      6405         0   no data   no data
0.00/0.15	c Decided on static restart strategy
0.59/0.15	c  N st     8      4917       494      2124         0      4832      6405    111450   no data   no data
1.57/0.41	c  N st    10     11300       494      2124         0      4480      6405     74864   no data   no data
2.37/0.68	c  N st    11     17044       494      2124         0     10088      6405    201627   no data   no data
3.97/1.06	c  F st    12     25000       494      2124         0     12371      6405    250220   no data   no data
3.97/1.06	c  N st    12     25000       494      2124         0     12371      6405    250220   no data   no data
5.16/1.31	c Decided on static restart strategy
5.16/1.31	c  N st    18     30000       494      2124         0     10635      6405    196524   no data   no data
5.16/1.31	c  S st    18     30000       494      2124         0     10635      6405    196524   no data   no data
5.16/1.34	c  S st    18     30502       494      2124         0     11137      6405    207270   no data   no data
5.16/1.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.16/1.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.16/1.34	c blocked clauses removed:        8 vars:      1 tried:         494 T: 0.00 s
5.16/1.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.16/1.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    493 time:  0.00 s
5.16/1.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.16/1.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.16/1.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.40	c lits-rem:       119  cl-subs:      617  v-elim:      0  v-fix:    0  time:  0.05 s
5.56/1.41	c asymm  cl-useful: 0/2116/2116 lits-rem:0 time: 0.01
5.56/1.41	c calculated reachability. Time: 0.00
5.56/1.41	c  N st    18     30502       493      2116         0     10492      6381    191692   no data   no data
7.15/1.81	c  N st    20     37614       493      2116         0      9761      6381    160987   no data   no data
8.79/2.21	c  N st    21     44013       493      2116         0     15988      6381    295102   no data   no data
9.19/2.34	c  S st    22     45756       493      2116         0      8974      6381    125874   no data   no data
9.19/2.36	c  S st    22     46258       493      2116         0      9473      6381    136725   no data   no data
9.19/2.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.19/2.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.19/2.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.19/2.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.19/2.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.19/2.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    493 time:  0.00 s
9.19/2.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.19/2.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.19/2.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.19/2.38	c lits-rem:        10  cl-subs:       97  v-elim:      0  v-fix:    0  time:  0.01 s
9.19/2.38	c vivif2 --  cl tried     2116 cl shrink        0 lits rem          0 time: 0.00
9.19/2.38	c vivif2 --  cl tried     9376 cl shrink        0 lits rem          0 time: 0.00
9.19/2.39	c asymm  cl-useful: 0/2116/2116 lits-rem:0 time: 0.00
9.19/2.39	c calculated reachability. Time: 0.00
9.19/2.39	c  N st    22     46258       493      2116         0      9376      6381    134625   no data   no data
13.17/3.34	c  N st    23     60656       493      2116         0     13694      6381    233036   no data   no data
15.53/3.99	c  N st    24     69388       493      2116         0     11502      6381    166118   no data   no data
15.53/3.99	c  S st    24     69388       493      2116         0     11502      6381    166118   no data   no data
15.93/4.03	c  S st    24     69894       493      2116         0     12008      6381    177519   no data   no data
15.93/4.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.93/4.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.93/4.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.93/4.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.93/4.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.93/4.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    493 time:  0.00 s
15.93/4.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.93/4.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.93/4.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.93/4.05	c lits-rem:        27  cl-subs:      120  v-elim:      0  v-fix:    0  time:  0.01 s
15.93/4.05	c vivif2 --  cl tried     2116 cl shrink        0 lits rem          0 time: 0.00
15.93/4.06	c vivif2 --  cl tried    11888 cl shrink        0 lits rem          0 time: 0.00
15.93/4.06	c asymm  cl-useful: 0/2116/2116 lits-rem:0 time: 0.01
15.93/4.06	c calculated reachability. Time: 0.00
15.93/4.06	c  N st    24     69894       493      2116         0     11888      6381    174473   no data   no data
21.13/5.31	c  F st    25     87500       493      2116         0     17428      6381    300696   no data   no data
21.13/5.31	c  N st    25     87500       493      2116         0     17428      6381    300696   no data   no data
22.72/5.74	c Decided on static restart strategy
23.91/6.01	c  N st    32     95537       493      2116         0     25293      6381    484651   no data   no data
26.35/6.70	c  N st    34    104841       493      2116         0     21662      6381    374908   no data   no data
26.35/6.70	c  S st    34    104841       493      2116         0     21662      6381    374908   no data   no data
26.75/6.75	c  S st    34    105346       493      2116         0     22167      6381    386423   no data   no data
26.75/6.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.75/6.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
26.75/6.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.75/6.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.75/6.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.75/6.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    493 time:  0.00 s
26.75/6.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.75/6.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
26.75/6.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.51/6.93	c lits-rem:       152  cl-subs:      910  v-elim:      0  v-fix:    0  time:  0.15 s
27.51/6.93	c vivif2 --  cl tried     2116 cl shrink        0 lits rem          0 time: 0.00
27.51/6.94	c vivif2 --  cl tried    21257 cl shrink        0 lits rem          0 time: 0.00
27.51/6.95	c asymm  cl-useful: 0/2116/2116 lits-rem:0 time: 0.01
27.51/6.95	c calculated reachability. Time: 0.00
27.51/6.95	c  N st    34    105346       493      2116         0     21257      6381    364493   no data   no data
31.13/7.81	c  N st    35    114946       493      2116         0     16939      6381    247777   no data   no data
36.28/9.16	c  N st    36    129346       493      2116         0     16329      6381    220793   no data   no data
44.30/11.16	c  N st    37    150942       493      2116         0     21763      6381    344651   no data   no data
47.06/11.82	c  S st    38    158020       493      2116         0     28714      6381    529625   no data   no data
47.06/11.89	c  S st    38    158525       493      2116         0     29219      6381    541152   no data   no data
47.06/11.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.46/11.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.46/11.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.46/11.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.46/11.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.46/11.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    493 time:  0.00 s
47.46/11.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
47.46/11.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.46/11.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.05/12.31	c lits-rem:       332  cl-subs:     1214  v-elim:      0  v-fix:    0  time:  0.38 s
49.05/12.31	c vivif2 --  cl tried     2116 cl shrink        0 lits rem          0 time: 0.00
49.05/12.31	c vivif2 --  cl tried    28005 cl shrink        0 lits rem          0 time: 0.01
49.05/12.33	c asymm  cl-useful: 0/2116/2116 lits-rem:0 time: 0.02
49.05/12.33	c calculated reachability. Time: 0.00
49.05/12.33	c  N st    38    158525       493      2116         0     28005      6381    507379   no data   no data
69.41/17.40	c  N st    39    207114       493      2116         0     22684      6381    319319   no data   no data
82.57/20.77	c  N st    40    237789       493      2116         0     33098      6381    551501   no data   no data
82.57/20.77	c  S st    40    237789       493      2116         0     33098      6381    551501   no data   no data
82.97/20.85	c  S st    40    238290       493      2116         0     33599      6381    563485   no data   no data
82.97/20.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
82.97/20.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
82.97/20.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
82.97/20.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
82.97/20.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.97/20.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    493 time:  0.00 s
82.97/20.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
82.97/20.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
82.97/20.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.36/21.41	c lits-rem:       225  cl-subs:     1682  v-elim:      0  v-fix:    0  time:  0.52 s
85.36/21.41	c vivif2 --  cl tried     2116 cl shrink        0 lits rem          0 time: 0.00
85.36/21.42	c vivif2 --  cl tried    31917 cl shrink        0 lits rem          0 time: 0.01
85.36/21.44	c asymm  cl-useful: 0/2116/2116 lits-rem:0 time: 0.02
85.36/21.44	c calculated reachability. Time: 0.00
85.36/21.44	c  N st    40    238290       493      2116         0     31917      6381    523761   no data   no data
116.89/29.31	c  F st    41    306250       493      2116         0     33922      6381    542512   no data   no data
116.89/29.32	c  N st    41    306250       493      2116         0     33922      6381    542512   no data   no data
119.68/30.09	c Decided on static restart strategy
132.09/33.12	c  N st    51    334549       493      2116         0     38149      6381    619121   no data   no data
142.82/35.83	c  N st    53    357436       493      2116         0     36094      6381    569944   no data   no data
142.82/35.83	c  S st    53    357436       493      2116         0     36094      6381    569944   no data   no data
143.22/35.92	c  S st    53    357939       493      2116         0     36594      6381    581604   no data   no data
143.22/35.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
143.22/35.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
143.22/35.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
143.22/35.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
143.22/35.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
143.22/35.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    493 time:  0.00 s
143.22/35.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
143.22/35.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
143.22/35.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
144.42/36.23	c lits-rem:       125  cl-subs:     1034  v-elim:      0  v-fix:    0  time:  0.27 s
144.42/36.23	c vivif2 --  cl tried     2116 cl shrink        0 lits rem          0 time: 0.00
144.42/36.24	c vivif2 --  cl tried    35560 cl shrink        0 lits rem          0 time: 0.01
144.42/36.26	c asymm  cl-useful: 0/2116/2116 lits-rem:0 time: 0.02
144.42/36.26	c calculated reachability. Time: 0.00
144.42/36.26	c  N st    53    357939       493      2116         0     35560      6381    554394   no data   no data
160.78/40.35	c  N st    54    390332       493      2116         0     41831      6381    690327   no data   no data
188.75/47.33	c  N st    55    438920       493      2116         0     35454      6381    471071   no data   no data
231.81/58.16	c  N st    56    511804       493      2116         0     48920      6381    763942   no data   no data
247.36/62.05	c  N st    57    536908       493      2116         0     43230      6381    650635   no data   no data
247.36/62.05	c  S st    57    536908       493      2116         0     43230      6381    650635   no data   no data
247.76/62.16	c  S st    57    537414       493      2116         0     43736      6381    662282   no data   no data
247.76/62.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
247.76/62.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.02
247.76/62.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
247.76/62.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
247.76/62.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
247.76/62.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    493 time:  0.00 s
247.76/62.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
247.76/62.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
248.16/62.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
250.19/62.76	c lits-rem:       258  cl-subs:     1447  v-elim:      0  v-fix:    0  time:  0.55 s
250.19/62.76	c vivif2 --  cl tried     2116 cl shrink        0 lits rem          0 time: 0.00
250.19/62.77	c vivif2 --  cl tried    42289 cl shrink        0 lits rem          0 time: 0.01
250.19/62.80	c asymm  cl-useful: 0/2116/2116 lits-rem:0 time: 0.03
250.19/62.80	c calculated reachability. Time: 0.00
250.19/62.80	c  N st    57    537414       493      2116         0     42289      6381    625295   no data   no data
369.11/92.56	c  N st    58    701398       493      2116         0     36351      6381    383519   no data   no data
446.07/111.89	c  N st    59    806121       493      2116         0     65431      6381   1078549   no data   no data
446.07/111.89	c  S st    59    806121       493      2116         0     65431      6381   1078549   no data   no data
446.87/112.08	c  S st    59    806625       493      2116         0     65933      6381   1090315   no data   no data
446.87/112.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
447.27/112.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
447.27/112.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
447.27/112.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
447.27/112.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
447.27/112.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    493 time:  0.00 s
447.27/112.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
447.27/112.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
447.27/112.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
456.48/114.44	c lits-rem:       671  cl-subs:     3441  v-elim:      0  v-fix:    0  time:  2.28 s
456.48/114.44	c vivif2 --  cl tried     2116 cl shrink        0 lits rem          0 time: 0.00
456.48/114.45	c vivif2 --  cl tried    62492 cl shrink        0 lits rem          0 time: 0.01
456.48/114.50	c asymm  cl-useful: 0/2116/2116 lits-rem:0 time: 0.05
456.48/114.50	c calculated reachability. Time: 0.00
456.48/114.50	c  N st    59    806625       493      2116         0     62492      6381   1011548   no data   no data
689.86/172.97	c  F st    60   1071875       493      2116         0     77822      6381   1210564   no data   no data
689.86/172.97	c  N st    60   1071875       493      2116         0     77822      6381   1210564   no data   no data
695.86/174.41	c Decided on static restart strategy
713.81/178.96	c  N st    70   1100181       493      2116         0     61906      6381    875461   no data   no data
748.12/187.52	c  N st    72   1136174       493      2116         0     52363      6381    621599   no data   no data
775.25/194.39	c  N st    73   1168567       493      2116         0     83992      6381   1370885   no data   no data
817.54/204.96	c  N st    74   1209937       493      2116         0     78436      6381   1211361   no data   no data
817.54/204.96	c  S st    74   1209937       493      2116         0     78436      6381   1211361   no data   no data
818.75/205.29	c  S st    74   1210441       493      2116         0     78939      6381   1223104   no data   no data
818.75/205.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
819.15/205.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.05
819.15/205.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
819.15/205.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
819.15/205.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
819.15/205.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    493 time:  0.00 s
819.15/205.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
819.15/205.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
819.55/205.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
854.25/214.17	c lits-rem:       531  cl-subs:     4686  v-elim:      0  v-fix:    0  time:  8.76 s
854.25/214.17	c vivif2 --  cl tried     2116 cl shrink        0 lits rem          0 time: 0.00
854.25/214.19	c vivif2 --  cl tried    74253 cl shrink        0 lits rem          0 time: 0.02
855.05/214.30	c asymm  cl-useful: 0/2116/2116 lits-rem:0 time: 0.11
855.05/214.30	c calculated reachability. Time: 0.00
855.05/214.30	c  N st    74   1210441       493      2116         0     74253      6381   1113364   no data   no data
932.47/233.79	c  N st    75   1283324       493      2116         0     50781      6381    519517   no data   no data
1050.16/263.27	c  N st    76   1392648       493      2116         0     58720      6381    676310   no data   no data
1217.74/305.29	c  N st    77   1556633       493      2116         0     63491      6381    733957   no data   no data
1381.74/346.37	c  N st    78   1710442       493      2116         0    105179      6381   1676430   no data   no data
1381.74/346.37	c  S st    78   1710442       493      2116         0    105179      6381   1676430   no data   no data
1383.33/346.71	c  S st    78   1710946       493      2116         0    105683      6381   1688872   no data   no data
1383.33/346.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1383.33/346.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1383.33/346.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1383.33/346.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1383.33/346.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1383.33/346.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    493 time:  0.00 s
1383.33/346.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1383.33/346.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1383.73/346.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1430.02/358.49	c lits-rem:       947  cl-subs:    11950  v-elim:      0  v-fix:    0  time: 11.65 s
1430.02/358.49	c vivif2 --  cl tried     2116 cl shrink        0 lits rem          0 time: 0.00
1430.42/358.51	c vivif2 --  cl tried    93733 cl shrink        0 lits rem          0 time: 0.02
1430.85/358.61	c asymm  cl-useful: 0/2116/2116 lits-rem:0 time: 0.09
1430.85/358.61	c calculated reachability. Time: 0.00
1430.85/358.61	c  N st    78   1710946       493      2116         0     93733      6381   1436905   no data   no data
1858.95/465.98	c  N st    79   2079911       493      2116         0    106220      6381   1634151   no data   no data
2021.75/506.78	c  N st    80   2210946       493      2116         0    109345      6381   1639343   no data   no data
2021.75/506.78	c  S st    80   2210946       493      2116         0    109345      6381   1639343   no data   no data
2023.38/507.14	c  S st    80   2211451       493      2116         0    109850      6381   1651294   no data   no data
2023.38/507.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2023.38/507.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
2023.38/507.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2023.38/507.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2023.38/507.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2023.38/507.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    493 time:  0.00 s
2023.38/507.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2023.78/507.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2023.78/507.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2067.67/518.25	c lits-rem:       571  cl-subs:    11588  v-elim:      0  v-fix:    0  time: 10.97 s
2067.67/518.25	c vivif2 --  cl tried     2116 cl shrink        0 lits rem          0 time: 0.00
2067.67/518.27	c vivif2 --  cl tried    98262 cl shrink        0 lits rem          0 time: 0.02
2068.03/518.37	c asymm  cl-useful: 0/2116/2116 lits-rem:0 time: 0.09
2068.03/518.37	c calculated reachability. Time: 0.00
2068.03/518.37	c  N st    80   2211451       493      2116         0     98262      6381   1410369   no data   no data
2679.71/671.69	c  N st    81   2711452       493      2116         0    121849      6381   1913285   no data   no data
2679.71/671.70	c  S st    81   2711452       493      2116         0    121849      6381   1913285   no data   no data
2681.31/672.08	c  S st    81   2711953       493      2116         0    122349      6381   1924549   no data   no data
2681.31/672.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2681.74/672.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2681.74/672.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2681.74/672.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2681.74/672.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2681.74/672.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    493 time:  0.00 s
2681.74/672.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2681.74/672.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2682.14/672.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2737.97/686.29	c lits-rem:       807  cl-subs:     9671  v-elim:      0  v-fix:    0  time: 14.05 s
2737.97/686.29	c vivif2 --  cl tried     2116 cl shrink        0 lits rem          0 time: 0.00
2738.37/686.32	c vivif2 --  cl tried   112678 cl shrink        0 lits rem          0 time: 0.03
2738.79/686.44	c asymm  cl-useful: 0/2116/2116 lits-rem:0 time: 0.12
2738.79/686.44	c calculated reachability. Time: 0.00
2738.79/686.44	c  N st    81   2711953       493      2116         0    112678      6381   1710927   no data   no data
3399.13/851.91	c  N st    82   3211953       493      2116         0     88941      6381   1009123   no data   no data
3399.13/851.91	c  S st    82   3211953       493      2116         0     88941      6381   1009123   no data   no data
3399.92/852.19	c  S st    82   3212459       493      2116         0     89446      6381   1021047   no data   no data
3400.32/852.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3400.32/852.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3400.32/852.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3400.32/852.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3400.32/852.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3400.32/852.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    493 time:  0.00 s
3400.32/852.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3400.32/852.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3400.32/852.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3403.91/853.15	c lits-rem:       156  cl-subs:     2007  v-elim:      0  v-fix:    0  time:  0.86 s
3403.91/853.15	c vivif2 --  cl tried     2116 cl shrink        0 lits rem          0 time: 0.00
3403.91/853.17	c vivif2 --  cl tried    87439 cl shrink        0 lits rem          0 time: 0.02
3404.31/853.25	c asymm  cl-useful: 0/2116/2116 lits-rem:0 time: 0.08
3404.31/853.25	c calculated reachability. Time: 0.00
3404.31/853.25	c  N st    82   3212459       493      2116         0     87439      6381    981115   no data   no data
4193.55/1051.01	c  N st    83   3712459       493      2116         0     98177      6381   1132398   no data   no data
4193.55/1051.01	c  S st    83   3712459       493      2116         0     98177      6381   1132398   no data   no data
4194.75/1051.32	c  S st    83   3712961       493      2116         0     98678      6381   1144819   no data   no data
4194.75/1051.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4194.75/1051.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
4194.75/1051.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4194.75/1051.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4194.75/1051.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4194.75/1051.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    493 time:  0.00 s
4194.75/1051.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4194.75/1051.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
4195.15/1051.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4201.13/1052.91	c lits-rem:       143  cl-subs:     2943  v-elim:      0  v-fix:    0  time:  1.48 s
4201.13/1052.91	c vivif2 --  cl tried     2116 cl shrink        0 lits rem          0 time: 0.00
4201.13/1052.93	c vivif2 --  cl tried    95735 cl shrink        0 lits rem          0 time: 0.02
4201.53/1053.02	c asymm  cl-useful: 0/2116/2116 lits-rem:0 time: 0.10
4201.53/1053.03	c calculated reachability. Time: 0.00
4201.53/1053.03	c  N st    83   3712961       493      2116         0     95735      6381   1085401   no data   no data
4250.21/1065.23	c  F st    84   3751562       493      2116         0    133495      6381   2071959   no data   no data
4250.21/1065.23	c  N st    84   3751562       493      2116         0    133495      6381   2071959   no data   no data
4260.98/1067.91	c Decided on static restart strategy
4307.66/1079.61	c  N st    94   3779864       493      2116         0    161116      6381   2723560   no data   no data
4361.92/1093.27	c  N st    96   3815856       493      2116         0    113439      6381   1474785   no data   no data
4408.59/1104.93	c  N st    97   3848248       493      2116         0    144810      6381   2230269   no data   no data
4478.40/1122.40	c  N st    98   3896837       493      2116         0    108607      6381   1362457   no data   no data
4617.70/1157.31	c  N st    99   3969720       493      2116         0     94781      6381    997975   no data   no data

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 8.22 8.16 8.11 5/304 16975
/proc/meminfo: memFree=12020876/32951124 swapFree=66050672/67111528
[pid=16975] ppid=16973 vsize=51168 CPUtime=0.01 cores=1,3,5,7
/proc/16975/stat : 16975 (strangenight2-m) R 16973 16975 16480 0 -1 4202496 408 0 0 0 1 0 0 0 25 0 4 0 651895884 52396032 348 33554432000 4194304 4580107 140736562282112 18446744073709551615 47948667496368 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16975/statm: 12792 348 299 95 0 7774 0
[pid=16975/tid=16976] ppid=16973 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/16975/task/16976/stat : 16976 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651895884 52396032 348 33554432000 4194304 4580107 140736562282112 18446744073709551615 47948667496370 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16975/tid=16977] ppid=16973 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/16975/task/16977/stat : 16977 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651895884 52396032 348 33554432000 4194304 4580107 140736562282112 18446744073709551615 47948667496360 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16975/tid=16978] ppid=16973 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/16975/task/16978/stat : 16978 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651895884 52396032 348 33554432000 4194304 4580107 140736562282112 18446744073709551615 255377357809 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.155505 s]
/proc/loadavg: 8.22 8.16 8.11 5/304 16975
/proc/meminfo: memFree=12020876/32951124 swapFree=66050672/67111528
[pid=16975] ppid=16973 vsize=290584 CPUtime=0.59 cores=1,3,5,7
/proc/16975/stat : 16975 (strangenight2-m) R 16973 16975 16480 0 -1 4202496 1919 0 0 0 59 0 0 0 25 0 4 0 651895884 297558016 1787 33554432000 4194304 4580107 140736562282112 18446744073709551615 4316658 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16975/statm: 72646 1787 377 95 0 67628 0
[pid=16975/tid=16976] ppid=16973 vsize=290584 CPUtime=0.15 cores=1,3,5,7
/proc/16975/task/16976/stat : 16976 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 405 0 0 0 15 0 0 0 25 0 4 0 651895884 297558016 1787 33554432000 4194304 4580107 140736562282112 18446744073709551615 255376962593 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16975/tid=16977] ppid=16973 vsize=290584 CPUtime=0.14 cores=1,3,5,7
/proc/16975/task/16977/stat : 16977 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 380 0 0 0 14 0 0 0 25 0 4 0 651895884 297558016 1787 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294701 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16975/tid=16978] ppid=16973 vsize=290584 CPUtime=0.14 cores=1,3,5,7
/proc/16975/task/16978/stat : 16978 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 336 0 0 0 14 0 0 0 25 0 4 0 651895884 297558016 1787 33554432000 4194304 4580107 140736562282112 18446744073709551615 255376967192 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 290584

[startup+0.201022 s]
/proc/loadavg: 8.22 8.16 8.11 5/304 16975
/proc/meminfo: memFree=12020876/32951124 swapFree=66050672/67111528
[pid=16975] ppid=16973 vsize=283260 CPUtime=0.77 cores=1,3,5,7
/proc/16975/stat : 16975 (strangenight2-m) R 16973 16975 16480 0 -1 4202496 2335 0 0 0 77 0 0 0 25 0 4 0 651895884 290058240 1641 33554432000 4194304 4580107 140736562282112 18446744073709551615 4320946 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16975/statm: 70815 1641 377 95 0 65797 0
[pid=16975/tid=16976] ppid=16973 vsize=283260 CPUtime=0.19 cores=1,3,5,7
/proc/16975/task/16976/stat : 16976 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 516 0 0 0 19 0 0 0 25 0 4 0 651895884 290058240 1641 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16975/tid=16977] ppid=16973 vsize=283260 CPUtime=0.19 cores=1,3,5,7
/proc/16975/task/16977/stat : 16977 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 492 0 0 0 19 0 0 0 25 0 4 0 651895884 290058240 1641 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16975/tid=16978] ppid=16973 vsize=283260 CPUtime=0.18 cores=1,3,5,7
/proc/16975/task/16978/stat : 16978 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 420 0 0 0 18 0 0 0 25 0 4 0 651895884 290058240 1641 33554432000 4194304 4580107 140736562282112 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283260

[startup+0.301003 s]
/proc/loadavg: 8.22 8.16 8.11 5/304 16975
/proc/meminfo: memFree=12020876/32951124 swapFree=66050672/67111528
[pid=16975] ppid=16973 vsize=283440 CPUtime=1.17 cores=1,3,5,7
/proc/16975/stat : 16975 (strangenight2-m) R 16973 16975 16480 0 -1 4202496 2762 0 0 0 117 0 0 0 25 0 4 0 651895884 290242560 2068 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294627 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16975/statm: 70860 2069 377 95 0 65842 0
[pid=16975/tid=16976] ppid=16973 vsize=283440 CPUtime=0.29 cores=1,3,5,7
/proc/16975/task/16976/stat : 16976 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 624 0 0 0 29 0 0 0 25 0 4 0 651895884 290242560 2069 33554432000 4194304 4580107 140736562282112 18446744073709551615 4296072 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16975/tid=16977] ppid=16973 vsize=283440 CPUtime=0.29 cores=1,3,5,7
/proc/16975/task/16977/stat : 16977 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 598 0 0 0 29 0 0 0 25 0 4 0 651895884 290242560 2069 33554432000 4194304 4580107 140736562282112 18446744073709551615 4489273 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16975/tid=16978] ppid=16973 vsize=283440 CPUtime=0.28 cores=1,3,5,7
/proc/16975/task/16978/stat : 16978 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 533 0 0 0 28 0 0 0 25 0 4 0 651895884 290242560 2069 33554432000 4194304 4580107 140736562282112 18446744073709551615 4293918 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283440

[startup+0.700929 s]
/proc/loadavg: 8.22 8.16 8.11 5/304 16975
/proc/meminfo: memFree=12020876/32951124 swapFree=66050672/67111528
[pid=16975] ppid=16973 vsize=284392 CPUtime=2.77 cores=1,3,5,7
/proc/16975/stat : 16975 (strangenight2-m) R 16973 16975 16480 0 -1 4202496 4316 0 0 0 277 0 0 0 25 0 4 0 651895884 291217408 2749 33554432000 4194304 4580107 140736562282112 18446744073709551615 4293232 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16975/statm: 71098 2749 377 95 0 66080 0
[pid=16975/tid=16976] ppid=16973 vsize=284392 CPUtime=0.69 cores=1,3,5,7
/proc/16975/task/16976/stat : 16976 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 1019 0 0 0 69 0 0 0 25 0 4 0 651895884 291217408 2749 33554432000 4194304 4580107 140736562282112 18446744073709551615 4318719 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16975/tid=16977] ppid=16973 vsize=284392 CPUtime=0.69 cores=1,3,5,7
/proc/16975/task/16977/stat : 16977 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 988 0 0 0 69 0 0 0 25 0 4 0 651895884 291217408 2749 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16975/tid=16978] ppid=16973 vsize=284392 CPUtime=0.68 cores=1,3,5,7
/proc/16975/task/16978/stat : 16978 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 932 0 0 0 68 0 0 0 25 0 4 0 651895884 291217408 2750 33554432000 4194304 4580107 140736562282112 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284392

[startup+1.50078 s]
/proc/loadavg: 8.22 8.16 8.11 9/308 16979
/proc/meminfo: memFree=12013776/32951124 swapFree=66050672/67111528
[pid=16975] ppid=16973 vsize=285584 CPUtime=5.96 cores=1,3,5,7
/proc/16975/stat : 16975 (strangenight2-m) R 16973 16975 16480 0 -1 4202496 8625 0 0 0 595 1 0 0 25 0 4 0 651895884 292438016 4448 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16975/statm: 71396 4448 379 95 0 66378 0
[pid=16975/tid=16976] ppid=16973 vsize=285584 CPUtime=1.49 cores=1,3,5,7
/proc/16975/task/16976/stat : 16976 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 1780 0 0 0 149 0 0 0 25 0 4 0 651895884 292438016 4448 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16975/tid=16977] ppid=16973 vsize=285584 CPUtime=1.49 cores=1,3,5,7
/proc/16975/task/16977/stat : 16977 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 1761 0 0 0 149 0 0 0 25 0 4 0 651895884 292438016 4448 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16975/tid=16978] ppid=16973 vsize=285584 CPUtime=1.47 cores=1,3,5,7
/proc/16975/task/16978/stat : 16978 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 1708 0 0 0 147 0 0 0 25 0 4 0 651895884 292438016 4448 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 285584

[startup+3.10049 s]
/proc/loadavg: 8.22 8.16 8.11 9/308 16979
/proc/meminfo: memFree=11992448/32951124 swapFree=66050672/67111528
[pid=16975] ppid=16973 vsize=293380 CPUtime=12.35 cores=1,3,5,7
/proc/16975/stat : 16975 (strangenight2-m) R 16973 16975 16480 0 -1 4202496 17892 0 0 0 1233 2 0 0 25 0 4 0 651895884 300421120 9272 33554432000 4194304 4580107 140736562282112 18446744073709551615 4340713 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16975/statm: 73345 9272 379 95 0 68327 0
[pid=16975/tid=16976] ppid=16973 vsize=293380 CPUtime=3.08 cores=1,3,5,7
/proc/16975/task/16976/stat : 16976 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 4025 0 0 0 308 0 0 0 25 0 4 0 651895884 300421120 9272 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294558 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16975/tid=16977] ppid=16973 vsize=293380 CPUtime=3.08 cores=1,3,5,7
/proc/16975/task/16977/stat : 16977 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 4696 0 0 0 308 0 0 0 25 0 4 0 651895884 300421120 9272 33554432000 4194304 4580107 140736562282112 18446744073709551615 4293884 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16975/tid=16978] ppid=16973 vsize=293380 CPUtime=3.05 cores=1,3,5,7
/proc/16975/task/16978/stat : 16978 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 4594 0 0 0 305 0 0 0 25 0 4 0 651895884 300421120 9272 33554432000 4194304 4580107 140736562282112 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 293380

[startup+6.3009 s]
/proc/loadavg: 8.28 8.17 8.11 9/308 16979
/proc/meminfo: memFree=11973924/32951124 swapFree=66050672/67111528
[pid=16975] ppid=16973 vsize=294364 CPUtime=25.11 cores=1,3,5,7
/proc/16975/stat : 16975 (strangenight2-m) R 16973 16975 16480 0 -1 4202496 28625 0 0 0 2508 3 0 0 25 0 4 0 651895884 301428736 12734 33554432000 4194304 4580107 140736562282112 18446744073709551615 4295723 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16975/statm: 73591 12734 379 95 0 68573 0
[pid=16975/tid=16976] ppid=16973 vsize=294364 CPUtime=6.29 cores=1,3,5,7
/proc/16975/task/16976/stat : 16976 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 7481 0 0 0 628 1 0 0 25 0 4 0 651895884 301428736 12734 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16975/tid=16977] ppid=16973 vsize=294364 CPUtime=6.28 cores=1,3,5,7
/proc/16975/task/16977/stat : 16977 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 7898 0 0 0 628 0 0 0 25 0 4 0 651895884 301428736 12734 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16975/tid=16978] ppid=16973 vsize=294364 CPUtime=6.22 cores=1,3,5,7
/proc/16975/task/16978/stat : 16978 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 6329 0 0 0 622 0 0 0 25 0 4 0 651895884 301428736 12734 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 294364

[startup+12.7007 s]
/proc/loadavg: 8.26 8.17 8.11 9/308 16979
/proc/meminfo: memFree=11960668/32951124 swapFree=66050672/67111528
[pid=16975] ppid=16973 vsize=302448 CPUtime=50.65 cores=1,3,5,7
/proc/16975/stat : 16975 (strangenight2-m) R 16973 16975 16480 0 -1 4202496 45779 0 0 0 5058 7 0 0 25 0 4 0 651895884 309706752 18443 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294482 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16975/statm: 75612 18443 379 95 0 70594 0
[pid=16975/tid=16976] ppid=16973 vsize=302448 CPUtime=12.69 cores=1,3,5,7
/proc/16975/task/16976/stat : 16976 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 11518 0 0 0 1267 2 0 0 25 0 4 0 651895884 309706752 18443 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16975/tid=16977] ppid=16973 vsize=302448 CPUtime=12.68 cores=1,3,5,7
/proc/16975/task/16977/stat : 16977 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 11175 0 0 0 1267 1 0 0 25 0 4 0 651895884 309706752 18443 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16975/tid=16978] ppid=16973 vsize=302448 CPUtime=12.56 cores=1,3,5,7
/proc/16975/task/16978/stat : 16978 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 10727 0 0 0 1255 1 0 0 25 0 4 0 651895884 309706752 18443 33554432000 4194304 4580107 140736562282112 18446744073709551615 4318708 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 302448

[startup+25.5003 s]
/proc/loadavg: 8.20 8.16 8.11 9/308 16979
/proc/meminfo: memFree=11914112/32951124 swapFree=66050672/67111528
[pid=16975] ppid=16973 vsize=303524 CPUtime=101.71 cores=1,3,5,7
/proc/16975/stat : 16975 (strangenight2-m) R 16973 16975 16480 0 -1 4202496 69803 0 0 0 10160 11 0 0 25 0 4 0 651895884 310808576 23713 33554432000 4194304 4580107 140736562282112 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16975/statm: 75881 23713 379 95 0 70863 0
[pid=16975/tid=16976] ppid=16973 vsize=303524 CPUtime=25.49 cores=1,3,5,7
/proc/16975/task/16976/stat : 16976 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 18269 0 0 0 2546 3 0 0 25 0 4 0 651895884 310808576 23713 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16975/tid=16977] ppid=16973 vsize=303524 CPUtime=25.49 cores=1,3,5,7
/proc/16975/task/16977/stat : 16977 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 17658 0 0 0 2546 3 0 0 25 0 4 0 651895884 310808576 23713 33554432000 4194304 4580107 140736562282112 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16975/tid=16978] ppid=16973 vsize=303524 CPUtime=25.23 cores=1,3,5,7
/proc/16975/task/16978/stat : 16978 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 15281 0 0 0 2521 2 0 0 25 0 4 0 651895884 310808576 23713 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.71
Current children cumulated vsize (KiB) 303524

[startup+51.1006 s]
/proc/loadavg: 8.13 8.15 8.10 9/308 16980
/proc/meminfo: memFree=11892640/32951124 swapFree=66050672/67111528
[pid=16975] ppid=16973 vsize=307540 CPUtime=203.88 cores=1,3,5,7
/proc/16975/stat : 16975 (strangenight2-m) R 16973 16975 16480 0 -1 4202496 103960 0 0 0 20367 21 0 0 25 0 4 0 651895884 314920960 30520 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16975/statm: 76885 30520 379 95 0 71867 0
[pid=16975/tid=16976] ppid=16973 vsize=307540 CPUtime=51.09 cores=1,3,5,7
/proc/16975/task/16976/stat : 16976 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 26544 0 0 0 5103 6 0 0 25 0 4 0 651895884 314920960 30520 33554432000 4194304 4580107 140736562282112 18446744073709551615 4293067 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16975/tid=16977] ppid=16973 vsize=307540 CPUtime=51.09 cores=1,3,5,7
/proc/16975/task/16977/stat : 16977 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 26683 0 0 0 5104 5 0 0 25 0 4 0 651895884 314920960 30520 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16975/tid=16978] ppid=16973 vsize=307540 CPUtime=50.58 cores=1,3,5,7
/proc/16975/task/16978/stat : 16978 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 23023 0 0 0 5054 4 0 0 25 0 4 0 651895884 314920960 30520 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.88
Current children cumulated vsize (KiB) 307540

[startup+102.301 s]
/proc/loadavg: 8.21 8.17 8.11 9/308 16981
/proc/meminfo: memFree=11807432/32951124 swapFree=66050672/67111528
[pid=16975] ppid=16973 vsize=320868 CPUtime=408.2 cores=1,3,5,7
/proc/16975/stat : 16975 (strangenight2-m) R 16973 16975 16480 0 -1 4202496 154202 0 0 0 40780 40 0 0 25 0 4 0 651895884 328568832 38055 33554432000 4194304 4580107 140736562282112 18446744073709551615 4322556 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16975/statm: 80217 38055 379 95 0 75199 0
[pid=16975/tid=16976] ppid=16973 vsize=320868 CPUtime=102.3 cores=1,3,5,7
/proc/16975/task/16976/stat : 16976 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 41432 0 0 0 10219 11 0 0 25 0 4 0 651895884 328568832 38055 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16975/tid=16977] ppid=16973 vsize=320868 CPUtime=102.29 cores=1,3,5,7
/proc/16975/task/16977/stat : 16977 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 36985 0 0 0 10221 8 0 0 25 0 4 0 651895884 328568832 38055 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16975/tid=16978] ppid=16973 vsize=320868 CPUtime=101.28 cores=1,3,5,7
/proc/16975/task/16978/stat : 16978 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 36312 0 0 0 10119 9 0 0 25 0 4 0 651895884 328568832 38055 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.2
Current children cumulated vsize (KiB) 320868

[startup+162.301 s]

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

[pid=16975] ppid=16973 vsize=545016 CPUtime=2802.21 cores=1,3,5,7
/proc/16975/stat : 16975 (strangenight2-m) R 16973 16975 16480 0 -1 4202496 484992 0 0 0 280025 196 0 0 25 0 4 0 651895884 558096384 88242 33554432000 4194304 4580107 140736562282112 18446744073709551615 4293890 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16975/statm: 136254 88242 379 95 0 131236 0
[pid=16975/tid=16976] ppid=16973 vsize=545016 CPUtime=702.31 cores=1,3,5,7
/proc/16975/task/16976/stat : 16976 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 125912 0 0 0 70177 54 0 0 25 0 4 0 651895884 558096384 88242 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16975/tid=16977] ppid=16973 vsize=545016 CPUtime=702.31 cores=1,3,5,7
/proc/16975/task/16977/stat : 16977 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 132122 0 0 0 70178 53 0 0 25 0 4 0 651895884 558096384 88242 33554432000 4194304 4580107 140736562282112 18446744073709551615 4322351 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16975/tid=16978] ppid=16973 vsize=545016 CPUtime=695.28 cores=1,3,5,7
/proc/16975/task/16978/stat : 16978 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 103637 0 0 0 69487 41 0 0 25 0 4 0 651895884 558096384 88242 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2802.21
Current children cumulated vsize (KiB) 545016

[startup+762.301 s]
/proc/loadavg: 8.15 8.21 8.15 9/308 17011
/proc/meminfo: memFree=11321256/32951124 swapFree=66050672/67111528
[pid=16975] ppid=16973 vsize=568204 CPUtime=3041.64 cores=1,3,5,7
/proc/16975/stat : 16975 (strangenight2-m) R 16973 16975 16480 0 -1 4202496 507485 0 0 0 303959 205 0 0 25 0 4 0 651895884 581840896 92864 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16975/statm: 142051 92864 379 95 0 137033 0
[pid=16975/tid=16976] ppid=16973 vsize=568204 CPUtime=762.32 cores=1,3,5,7
/proc/16975/task/16976/stat : 16976 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 132439 0 0 0 76176 56 0 0 25 0 4 0 651895884 581840896 92864 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16975/tid=16977] ppid=16973 vsize=568204 CPUtime=762.32 cores=1,3,5,7
/proc/16975/task/16977/stat : 16977 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 139361 0 0 0 76177 55 0 0 25 0 4 0 651895884 581840896 92864 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16975/tid=16978] ppid=16973 vsize=568204 CPUtime=754.69 cores=1,3,5,7
/proc/16975/task/16978/stat : 16978 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 108252 0 0 0 75425 44 0 0 25 0 4 0 651895884 581840896 92864 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3041.64
Current children cumulated vsize (KiB) 568204

[startup+822.301 s]
/proc/loadavg: 8.14 8.20 8.15 9/308 17012
/proc/meminfo: memFree=11340204/32951124 swapFree=66050672/67111528
[pid=16975] ppid=16973 vsize=555548 CPUtime=3281.02 cores=1,3,5,7
/proc/16975/stat : 16975 (strangenight2-m) R 16973 16975 16480 0 -1 4202496 533369 0 0 0 327886 216 0 0 25 0 4 0 651895884 568881152 95022 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16975/statm: 138887 95022 379 95 0 133869 0
[pid=16975/tid=16976] ppid=16973 vsize=555548 CPUtime=822.31 cores=1,3,5,7
/proc/16975/task/16976/stat : 16976 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 142370 0 0 0 82171 60 0 0 25 0 4 0 651895884 568881152 95022 33554432000 4194304 4580107 140736562282112 18446744073709551615 4406355 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16975/tid=16977] ppid=16973 vsize=555548 CPUtime=822.3 cores=1,3,5,7
/proc/16975/task/16977/stat : 16977 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 146000 0 0 0 82173 57 0 0 25 0 4 0 651895884 568881152 95022 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16975/tid=16978] ppid=16973 vsize=555548 CPUtime=814.08 cores=1,3,5,7
/proc/16975/task/16978/stat : 16978 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 111790 0 0 0 81363 45 0 0 25 0 4 0 651895884 568881152 95022 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3281.02
Current children cumulated vsize (KiB) 555548

[startup+882.312 s]
/proc/loadavg: 8.14 8.19 8.15 9/308 17014
/proc/meminfo: memFree=11317116/32951124 swapFree=66050672/67111528
[pid=16975] ppid=16973 vsize=580792 CPUtime=3520.46 cores=1,3,5,7
/proc/16975/stat : 16975 (strangenight2-m) R 16973 16975 16480 0 -1 4202496 553980 0 0 0 351820 226 0 0 25 0 4 0 651895884 594731008 101961 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16975/statm: 145198 101961 379 95 0 140180 0
[pid=16975/tid=16976] ppid=16973 vsize=580792 CPUtime=882.32 cores=1,3,5,7
/proc/16975/task/16976/stat : 16976 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 148726 0 0 0 88169 63 0 0 25 0 4 0 651895884 594731008 101961 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16975/tid=16977] ppid=16973 vsize=580792 CPUtime=882.32 cores=1,3,5,7
/proc/16975/task/16977/stat : 16977 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 152144 0 0 0 88172 60 0 0 25 0 4 0 651895884 594731008 101961 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16975/tid=16978] ppid=16973 vsize=580792 CPUtime=873.5 cores=1,3,5,7
/proc/16975/task/16978/stat : 16978 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 116892 0 0 0 87302 48 0 0 25 0 4 0 651895884 594731008 101961 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3520.46
Current children cumulated vsize (KiB) 580792

[startup+942.301 s]
/proc/loadavg: 8.17 8.19 8.16 9/308 17016
/proc/meminfo: memFree=11324408/32951124 swapFree=66050672/67111528
[pid=16975] ppid=16973 vsize=580940 CPUtime=3759.83 cores=1,3,5,7
/proc/16975/stat : 16975 (strangenight2-m) R 16973 16975 16480 0 -1 4202496 572864 0 0 0 375747 236 0 0 25 0 4 0 651895884 594882560 104310 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16975/statm: 145235 104310 379 95 0 140217 0
[pid=16975/tid=16976] ppid=16973 vsize=580940 CPUtime=942.31 cores=1,3,5,7
/proc/16975/task/16976/stat : 16976 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 155155 0 0 0 94163 68 0 0 25 0 4 0 651895884 594882560 104310 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16975/tid=16977] ppid=16973 vsize=580940 CPUtime=942.31 cores=1,3,5,7
/proc/16975/task/16977/stat : 16977 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 160277 0 0 0 94168 63 0 0 25 0 4 0 651895884 594882560 104310 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16975/tid=16978] ppid=16973 vsize=580940 CPUtime=932.89 cores=1,3,5,7
/proc/16975/task/16978/stat : 16978 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 118235 0 0 0 93241 48 0 0 25 0 4 0 651895884 594882560 104310 33554432000 4194304 4580107 140736562282112 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3759.83
Current children cumulated vsize (KiB) 580940

[startup+1002.3 s]
/proc/loadavg: 8.23 8.22 8.16 9/308 17017
/proc/meminfo: memFree=11319408/32951124 swapFree=66050672/67111528
[pid=16975] ppid=16973 vsize=603220 CPUtime=3999.23 cores=1,3,5,7
/proc/16975/stat : 16975 (strangenight2-m) R 16973 16975 16480 0 -1 4202496 592206 0 0 0 399677 246 0 0 25 0 4 0 651895884 617697280 104021 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294471 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16975/statm: 150805 104021 379 95 0 145787 0
[pid=16975/tid=16976] ppid=16973 vsize=603220 CPUtime=1002.32 cores=1,3,5,7
/proc/16975/task/16976/stat : 16976 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 161219 0 0 0 100161 71 0 0 25 0 4 0 651895884 617697280 104021 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16975/tid=16977] ppid=16973 vsize=603220 CPUtime=1002.32 cores=1,3,5,7
/proc/16975/task/16977/stat : 16977 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 166138 0 0 0 100165 67 0 0 25 0 4 0 651895884 617697280 104021 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16975/tid=16978] ppid=16973 vsize=603220 CPUtime=992.29 cores=1,3,5,7
/proc/16975/task/16978/stat : 16978 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 119686 0 0 0 99180 49 0 0 25 0 4 0 651895884 617697280 104021 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3999.23
Current children cumulated vsize (KiB) 603220

[startup+1062.3 s]
/proc/loadavg: 8.19 8.22 8.17 9/308 17019
/proc/meminfo: memFree=11243876/32951124 swapFree=66050672/67111528
[pid=16975] ppid=16973 vsize=654872 CPUtime=4238.65 cores=1,3,5,7
/proc/16975/stat : 16975 (strangenight2-m) R 16973 16975 16480 0 -1 4202496 611950 0 0 0 423607 258 0 0 25 0 4 0 651895884 670588928 108711 33554432000 4194304 4580107 140736562282112 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16975/statm: 163718 108711 379 95 0 158700 0
[pid=16975/tid=16976] ppid=16973 vsize=654872 CPUtime=1062.32 cores=1,3,5,7
/proc/16975/task/16976/stat : 16976 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 168305 0 0 0 106158 74 0 0 25 0 4 0 651895884 670588928 108711 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16975/tid=16977] ppid=16973 vsize=654872 CPUtime=1062.32 cores=1,3,5,7
/proc/16975/task/16977/stat : 16977 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 170941 0 0 0 106161 71 0 0 25 0 4 0 651895884 670588928 108711 33554432000 4194304 4580107 140736562282112 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16975/tid=16978] ppid=16973 vsize=654872 CPUtime=1051.7 cores=1,3,5,7
/proc/16975/task/16978/stat : 16978 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 120739 0 0 0 105120 50 0 0 25 0 4 0 651895884 670588928 108711 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4238.65
Current children cumulated vsize (KiB) 654872

[startup+1122.3 s]
/proc/loadavg: 8.20 8.22 8.17 5/303 17021
/proc/meminfo: memFree=11748436/32951124 swapFree=66050672/67111528
[pid=16975] ppid=16973 vsize=605028 CPUtime=4478 cores=1,3,5,7
/proc/16975/stat : 16975 (strangenight2-m) R 16973 16975 16480 0 -1 4202496 630261 0 0 0 447526 274 0 0 25 0 4 0 651895884 619548672 106426 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16975/statm: 151257 106426 379 95 0 146239 0
[pid=16975/tid=16976] ppid=16973 vsize=605028 CPUtime=1122.32 cores=1,3,5,7
/proc/16975/task/16976/stat : 16976 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 174483 0 0 0 112152 80 0 0 25 0 4 0 651895884 619548672 106426 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16975/tid=16977] ppid=16973 vsize=605028 CPUtime=1122.31 cores=1,3,5,7
/proc/16975/task/16977/stat : 16977 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 176842 0 0 0 112156 75 0 0 25 0 4 0 651895884 619548672 106426 33554432000 4194304 4580107 140736562282112 18446744073709551615 4321152 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16975/tid=16978] ppid=16973 vsize=605028 CPUtime=1111.05 cores=1,3,5,7
/proc/16975/task/16978/stat : 16978 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 120776 0 0 0 111055 50 0 0 25 0 4 0 651895884 619548672 106426 33554432000 4194304 4580107 140736562282112 18446744073709551615 4406476 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4478
Current children cumulated vsize (KiB) 605028

[startup+1182.3 s]
/proc/loadavg: 5.65 7.48 7.92 5/299 17040
/proc/meminfo: memFree=11735084/32951124 swapFree=66050672/67111528
[pid=16975] ppid=16973 vsize=605152 CPUtime=4717.42 cores=1,3,5,7
/proc/16975/stat : 16975 (strangenight2-m) R 16973 16975 16480 0 -1 4202496 646517 0 0 0 471457 285 0 0 25 0 4 0 651895884 619675648 111831 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16975/statm: 151288 111831 379 95 0 146270 0
[pid=16975/tid=16976] ppid=16973 vsize=605152 CPUtime=1182.32 cores=1,3,5,7
/proc/16975/task/16976/stat : 16976 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 179498 0 0 0 118148 84 0 0 25 0 4 0 651895884 619675648 111831 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16975/tid=16977] ppid=16973 vsize=605152 CPUtime=1182.32 cores=1,3,5,7
/proc/16975/task/16977/stat : 16977 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 183030 0 0 0 118153 79 0 0 25 0 4 0 651895884 619675648 111831 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16975/tid=16978] ppid=16973 vsize=605152 CPUtime=1170.46 cores=1,3,5,7
/proc/16975/task/16978/stat : 16978 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 121319 0 0 0 116996 50 0 0 25 0 4 0 651895884 619675648 111831 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4717.42
Current children cumulated vsize (KiB) 605152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203 s]
/proc/loadavg: 5.18 7.25 7.84 5/299 17041
/proc/meminfo: memFree=11747852/32951124 swapFree=66050672/67111528
[pid=16975] ppid=16973 vsize=605288 CPUtime=4800.03 cores=1,3,5,7
/proc/16975/stat : 16975 (strangenight2-m) R 16973 16975 16480 0 -1 4202496 653441 0 0 0 479716 287 0 0 25 0 4 0 651895884 619814912 108563 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294627 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16975/statm: 151322 108563 379 95 0 146304 0
[pid=16975/tid=16976] ppid=16973 vsize=605288 CPUtime=1203.04 cores=1,3,5,7
/proc/16975/task/16976/stat : 16976 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 181842 0 0 0 120219 85 0 0 25 0 4 0 651895884 619814912 108564 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16975/tid=16977] ppid=16973 vsize=605288 CPUtime=1203.03 cores=1,3,5,7
/proc/16975/task/16977/stat : 16977 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 185329 0 0 0 120224 79 0 0 25 0 4 0 651895884 619814912 108564 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16975/tid=16978] ppid=16973 vsize=605288 CPUtime=1190.95 cores=1,3,5,7
/proc/16975/task/16978/stat : 16978 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 121322 0 0 0 119045 50 0 0 25 0 4 0 651895884 619814912 108564 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.03
Current children cumulated vsize (KiB) 605288

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

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

[startup+1203 s]
/proc/loadavg: 5.18 7.25 7.84 5/299 17041
/proc/meminfo: memFree=11747852/32951124 swapFree=66050672/67111528
[pid=16975] ppid=16973 vsize=605288 CPUtime=4800.03 cores=1,3,5,7
/proc/16975/stat : 16975 (strangenight2-m) R 16973 16975 16480 0 -1 4202496 653441 0 0 0 479716 287 0 0 25 0 4 0 651895884 619814912 108563 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294627 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16975/statm: 151322 108563 379 95 0 146304 0
[pid=16975/tid=16976] ppid=16973 vsize=605288 CPUtime=1203.04 cores=1,3,5,7
/proc/16975/task/16976/stat : 16976 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 181842 0 0 0 120219 85 0 0 25 0 4 0 651895884 619814912 108564 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16975/tid=16977] ppid=16973 vsize=605288 CPUtime=1203.03 cores=1,3,5,7
/proc/16975/task/16977/stat : 16977 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 185329 0 0 0 120224 79 0 0 25 0 4 0 651895884 619814912 108564 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16975/tid=16978] ppid=16973 vsize=605288 CPUtime=1190.95 cores=1,3,5,7
/proc/16975/task/16978/stat : 16978 (strangenight2-m) R 16973 16975 16480 0 -1 4202560 121322 0 0 0 119045 50 0 0 25 0 4 0 651895884 619814912 108564 33554432000 4194304 4580107 140736562282112 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.03
Current children cumulated vsize (KiB) 605288

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.03
CPU time (s): 4800.09
CPU user time (s): 4797.19
CPU system time (s): 2.89656
CPU usage (%): 398.999
Max. virtual memory (cumulated for all children) (KiB): 696632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.19
system time used= 2.89656
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 653442
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= 297
involuntary context switches= 20725

runsolver used 3.22851 second user time and 8.85665 second system time

The end

Launcher Data 

Begin job on node135 at 2011-05-14 21:56:20
IDJOB=3366381
IDBENCH=82790
IDSOLVER=1844
FILE ID=node135/3366381-1305402980
RUNJOBID= node135-1305401693-16795
PBS_JOBID= 13324477
Free space on /tmp= 73336 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v500-c2130-S1383368897-031.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366381-1305402980/watcher-3366381-1305402980 -o /tmp/evaluation-result-3366381-1305402980/solver-3366381-1305402980 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366381-1305402980.cnf

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

MD5SUM BENCH= 4d20714634af5755393f1c67cf27956c
RANDOM SEED=560108235

node135.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.851
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.70
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.851
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.83
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.851
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.75
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.851
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	: 6640.14
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.851
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.78
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.851
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.851
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.74
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.851
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      12021032 kB
Buffers:        274092 kB
Cached:        5847020 kB
SwapCached:      50684 kB
Active:       10027344 kB
Inactive:     10660236 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      12021032 kB
SwapTotal:    67111528 kB
SwapFree:     66050672 kB
Dirty:            5472 kB
Writeback:           0 kB
AnonPages:    14521608 kB
Mapped:          19256 kB
Slab:           134652 kB
PageTables:      46768 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 57291000 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73336 MiB
End job on node135 at 2011-05-14 22:16:25