Trace number 3366477

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.15 1203.44

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v150-c3195-S1502652578-043.UNKNOWN.cnf
MD5SUM200b19edc2ebf99249f1125469c39206
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 variables150
Number of clauses3195
Sum of the clauses size15975
Maximum clause length5
Minimum clause length5
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 53195
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.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-3366477-1305405209.cnf'
0.00/0.01	c -- header says num vars:            150
0.00/0.01	c -- header says num clauses:        3195
0.00/0.01	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.00/0.01	c -- vars added        150
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       150      3195         0         0     15975         0   no data   no data
0.00/0.02	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.01
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
0.00/0.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.15	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.15	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.15	c calculated reachability. Time: 0.00
0.00/0.15	c Calc default polars -  time:   0.00 s pos:      75 undec:       5 neg:      70
0.00/0.15	c =========================================================================================
0.00/0.15	c types(t): F = full restart, N = normal restart
0.00/0.15	c types(t): S = simplification begin/end, E = solution found
0.00/0.15	c restart types(rt): st = static, dy = dynamic
0.00/0.15	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.90	c  B st     0         0       150      3195         0         0     15975         0   no data   no data
0.00/0.90	c Decided on static restart strategy
0.00/0.90	c  N st     8      4919       150      3195         0      4710     15975    141564   no data   no data
0.00/0.90	c  N st    10     11307       150      3195         0      4344     15975     99526   no data   no data
0.00/0.90	c  N st    11     17050       150      3195         0      9812     15975    266241   no data   no data
3.96/1.00	c  F st    12     25004       150      3195         0     12002     15975    326589   no data   no data
3.96/1.00	c  N st    12     25004       150      3195         0     12002     15975    326589   no data   no data
4.76/1.20	c Decided on static restart strategy
4.76/1.20	c  N st    18     30000       150      3195         0     10303     15975    266161   no data   no data
4.76/1.20	c  S st    18     30000       150      3195         0     10303     15975    266161   no data   no data
4.76/1.20	c  S st    18     30503       150      3195         0     10798     15975    280499   no data   no data
4.76/1.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.76/1.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.76/1.20	c blocked clauses removed:        0 vars:      0 tried:         150 T: 0.00 s
4.76/1.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.76/1.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.76/1.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4.76/1.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.76/1.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.76/1.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.38	c lits-rem:       242  cl-subs:     1106  v-elim:      0  v-fix:    0  time:  0.17 s
5.56/1.42	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
5.56/1.42	c calculated reachability. Time: 0.00
5.56/1.42	c  N st    18     30503       150      3195         0      9692     15975    242167   no data   no data
6.77/1.79	c  N st    20     37615       150      3195         0      8976     15975    199689   no data   no data
8.35/2.11	c  N st    21     44014       150      3195         0     15051     15975    377663   no data   no data
8.76/2.23	c  S st    22     45754       150      3195         0     16711     15975    426161   no data   no data
8.76/2.28	c  S st    22     46256       150      3195         0      8676     15975    171327   no data   no data
8.76/2.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.76/2.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
8.76/2.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.76/2.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.76/2.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.76/2.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
8.76/2.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.76/2.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.76/2.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.15/2.31	c lits-rem:        19  cl-subs:      146  v-elim:      0  v-fix:    0  time:  0.02 s
9.15/2.31	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
9.15/2.31	c vivif2 --  cl tried     8530 cl shrink        0 lits rem          0 time: 0.00
9.15/2.35	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
9.15/2.35	c calculated reachability. Time: 0.00
9.15/2.35	c  N st    22     46256       150      3195         0      8530     15975    166763   no data   no data
12.40/3.15	c  N st    23     60653       150      3195         0     12722     15975    279356   no data   no data
14.34/3.68	c  N st    24     69385       150      3195         0     10589     15975    197373   no data   no data
14.34/3.68	c  S st    24     69385       150      3195         0     10589     15975    197373   no data   no data
14.74/3.71	c  S st    24     69889       150      3195         0     11081     15975    211726   no data   no data
14.74/3.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.74/3.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
14.74/3.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.74/3.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.74/3.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.74/3.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
14.74/3.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.74/3.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.74/3.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.74/3.77	c lits-rem:        50  cl-subs:      269  v-elim:      0  v-fix:    0  time:  0.04 s
14.74/3.77	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
14.74/3.77	c vivif2 --  cl tried    10812 cl shrink        0 lits rem          0 time: 0.00
15.14/3.82	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.05
15.14/3.82	c calculated reachability. Time: 0.00
15.14/3.82	c  N st    24     69889       150      3195         0     10812     15975    202753   no data   no data
19.53/4.90	c  F st    25     87500       150      3195         0     16114     15975    349832   no data   no data
19.53/4.90	c  N st    25     87500       150      3195         0     16114     15975    349832   no data   no data
20.74/5.24	c Decided on static restart strategy
21.52/5.45	c  N st    32     95543       150      3195         0     23783     15975    582613   no data   no data
23.51/5.99	c  N st    34    104833       150      3195         0     20301     15975    471008   no data   no data
23.51/5.99	c  S st    34    104833       150      3195         0     20301     15975    471008   no data   no data
23.91/6.04	c  S st    34    105337       150      3195         0     20795     15975    485885   no data   no data
23.91/6.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.91/6.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
23.91/6.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
23.91/6.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.91/6.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.91/6.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
23.91/6.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
23.91/6.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
23.91/6.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.55/6.49	c lits-rem:       308  cl-subs:     1362  v-elim:      0  v-fix:    0  time:  0.42 s
25.55/6.49	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
25.55/6.49	c vivif2 --  cl tried    19433 cl shrink        0 lits rem          0 time: 0.01
25.90/6.57	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.08
25.90/6.57	c calculated reachability. Time: 0.00
25.90/6.57	c  N st    34    105337       150      3195         0     19433     15975    440695   no data   no data
28.70/7.24	c  N st    35    114935       150      3195         0     15284     15975    304553   no data   no data
33.49/8.45	c  N st    36    129333       150      3195         0     14664     15975    259849   no data   no data
40.26/10.13	c  N st    37    150928       150      3195         0     19958     15975    397205   no data   no data
42.26/10.64	c  S st    38    158005       150      3195         0     26702     15975    605502   no data   no data
42.67/10.71	c  S st    38    158506       150      3195         0     27197     15975    619858   no data   no data
42.67/10.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
42.67/10.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
42.67/10.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
42.67/10.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
42.67/10.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
42.67/10.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
42.67/10.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
42.67/10.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
42.67/10.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.25/11.60	c lits-rem:       523  cl-subs:     1830  v-elim:      0  v-fix:    0  time:  0.85 s
46.25/11.60	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
46.25/11.60	c vivif2 --  cl tried    25367 cl shrink        0 lits rem          0 time: 0.01
46.65/11.71	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.11
46.65/11.71	c calculated reachability. Time: 0.00
46.65/11.71	c  N st    38    158506       150      3195         0     25367     15975    560239   no data   no data
65.04/16.32	c  N st    39    207094       150      3195         0     20186     15975    359188   no data   no data
76.57/19.25	c  N st    40    237760       150      3195         0     30245     15975    653200   no data   no data
76.57/19.25	c  S st    40    237760       150      3195         0     30245     15975    653200   no data   no data
76.97/19.34	c  S st    40    238263       150      3195         0     30740     15975    667536   no data   no data
76.97/19.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
76.97/19.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
76.97/19.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
76.97/19.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
76.97/19.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
76.97/19.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
76.97/19.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
76.97/19.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
76.97/19.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.75/20.59	c lits-rem:       576  cl-subs:     2395  v-elim:      0  v-fix:    0  time:  1.21 s
81.75/20.59	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
81.75/20.60	c vivif2 --  cl tried    28345 cl shrink        0 lits rem          0 time: 0.01
82.59/20.72	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.12
82.59/20.72	c calculated reachability. Time: 0.00
82.59/20.72	c  N st    40    238263       150      3195         0     28345     15975    594565   no data   no data
107.28/26.99	c  F st    41    306250       150      3195         0     30400     15975    616660   no data   no data
107.28/26.99	c  N st    41    306250       150      3195         0     30400     15975    616660   no data   no data
109.67/27.52	c Decided on static restart strategy
118.05/29.64	c  N st    51    334555       150      3195         0     34644     15975    720386   no data   no data
128.02/32.12	c  N st    53    357394       150      3195         0     32564     15975    623587   no data   no data
128.02/32.12	c  S st    53    357394       150      3195         0     32564     15975    623587   no data   no data
128.42/32.21	c  S st    53    357899       150      3195         0     33061     15975    638217   no data   no data
128.42/32.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
128.42/32.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
128.42/32.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
128.42/32.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
128.42/32.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
128.42/32.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
128.42/32.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
128.42/32.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
128.42/32.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
131.21/32.97	c lits-rem:       347  cl-subs:     1508  v-elim:      0  v-fix:    0  time:  0.72 s
131.21/32.97	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
131.21/32.98	c vivif2 --  cl tried    31553 cl shrink        0 lits rem          0 time: 0.01
132.01/33.12	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.15
132.01/33.12	c calculated reachability. Time: 0.00
132.01/33.12	c  N st    53    357899       150      3195         0     31553     15975    588203   no data   no data
147.17/36.97	c  N st    54    390292       150      3195         0     37625     15975    757249   no data   no data
175.88/44.11	c  N st    55    438880       150      3195         0     31484     15975    550879   no data   no data
210.99/52.95	c  N st    56    511762       150      3195         0     44558     15975    902510   no data   no data
222.57/55.82	c  N st    57    536848       150      3195         0     38883     15975    712927   no data   no data
222.57/55.82	c  S st    57    536848       150      3195         0     38883     15975    712927   no data   no data
222.99/55.92	c  S st    57    537353       150      3195         0     39375     15975    727561   no data   no data
222.99/55.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
222.99/55.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
222.99/55.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
222.99/55.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
222.99/55.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
222.99/55.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
222.99/55.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
222.99/55.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
222.99/55.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
226.96/57.01	c lits-rem:       419  cl-subs:     1938  v-elim:      0  v-fix:    0  time:  1.04 s
226.96/57.01	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
227.38/57.02	c vivif2 --  cl tried    37437 cl shrink        0 lits rem          0 time: 0.01
227.73/57.19	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.17
227.73/57.19	c calculated reachability. Time: 0.00
227.73/57.19	c  N st    57    537353       150      3195         0     37437     15975    667358   no data   no data
315.49/79.13	c  N st    58    701338       150      3195         0     65820     15975   1483045   no data   no data
381.71/95.73	c  N st    59    806029       150      3195         0     59618     15975   1202162   no data   no data
381.71/95.73	c  S st    59    806029       150      3195         0     59618     15975   1202162   no data   no data
382.11/95.90	c  S st    59    806534       150      3195         0     60111     15975   1217264   no data   no data
382.51/95.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
382.51/95.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
382.51/95.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
382.51/95.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
382.51/95.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
382.51/95.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
382.51/95.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
382.51/95.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
382.51/95.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
411.67/103.22	c lits-rem:      1097  cl-subs:     6220  v-elim:      0  v-fix:    0  time:  7.25 s
411.67/103.22	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
411.67/103.24	c vivif2 --  cl tried    53891 cl shrink        0 lits rem          0 time: 0.02
412.82/103.53	c asymm  cl-useful: 0/3040/3195 lits-rem:0 time: 0.28
412.82/103.53	c calculated reachability. Time: 0.00
412.82/103.53	c  N st    59    806534       150      3195         0     53891     15975   1039542   no data   no data
585.94/146.97	c  F st    60   1071875       150      3195         0     69608     15975   1427936   no data   no data
585.94/146.97	c  N st    60   1071875       150      3195         0     69608     15975   1427936   no data   no data
590.73/148.19	c Decided on static restart strategy
606.28/152.07	c  N st    70   1100177       150      3195         0     54186     15975    949288   no data   no data
635.80/159.44	c  N st    72   1136170       150      3195         0     44805     15975    625835   no data   no data
657.74/164.92	c  N st    73   1168564       150      3195         0     75642     15975   1581625   no data   no data
697.23/174.83	c  N st    74   1209802       150      3195         0     70009     15975   1373666   no data   no data
697.23/174.83	c  S st    74   1209802       150      3195         0     70009     15975   1373666   no data   no data
698.43/175.11	c  S st    74   1210303       150      3195         0     70498     15975   1388230   no data   no data
698.43/175.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
698.43/175.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
698.43/175.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
698.43/175.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
698.43/175.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
698.43/175.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
698.43/175.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
698.43/175.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
698.83/175.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
750.27/188.12	c lits-rem:      1980  cl-subs:     5209  v-elim:      0  v-fix:    0  time: 12.90 s
750.27/188.12	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
750.27/188.15	c vivif2 --  cl tried    65289 cl shrink        0 lits rem          0 time: 0.03
752.26/188.60	c asymm  cl-useful: 0/2474/3195 lits-rem:0 time: 0.45
752.26/188.60	c calculated reachability. Time: 0.00
752.26/188.60	c  N st    74   1210303       150      3195         0     65289     15975   1225664   no data   no data
819.29/205.46	c  N st    75   1283185       150      3195         0     89013     15975   1947588   no data   no data
921.78/231.12	c  N st    76   1392508       150      3195         0     50472     15975    699264   no data   no data
1065.78/267.26	c  N st    77   1556493       150      3195         0     54879     15975    782344   no data   no data
1205.00/302.14	c  N st    78   1710304       150      3195         0     95458     15975   2008249   no data   no data
1205.00/302.14	c  S st    78   1710304       150      3195         0     95458     15975   2008249   no data   no data
1206.19/302.45	c  S st    78   1710813       150      3195         0     95959     15975   2023044   no data   no data
1206.19/302.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1206.59/302.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1206.59/302.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1206.59/302.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1206.59/302.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1206.59/302.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1206.59/302.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1206.59/302.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1206.59/302.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1293.16/324.26	c lits-rem:      2784  cl-subs:     8353  v-elim:      0  v-fix:    0  time: 21.67 s
1293.16/324.26	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1293.16/324.29	c vivif2 --  cl tried    87606 cl shrink        0 lits rem          0 time: 0.03
1293.93/324.46	c asymm  cl-useful: 0/721/3195 lits-rem:0 time: 0.16
1293.93/324.46	c calculated reachability. Time: 0.00
1293.93/324.46	c  N st    78   1710813       150      3195         0     87606     15975   1764592   no data   no data
1677.65/420.69	c  N st    79   2079778       150      3195         0     98697     15975   1949126   no data   no data
1814.09/454.83	c  N st    80   2210814       150      3195         0    102994     15975   2109587   no data   no data
1814.09/454.83	c  S st    80   2210814       150      3195         0    102994     15975   2109587   no data   no data
1815.30/455.15	c  S st    80   2211317       150      3195         0    103489     15975   2123774   no data   no data
1815.30/455.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1815.73/455.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1815.73/455.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1815.73/455.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1815.73/455.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1815.73/455.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1815.73/455.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1815.73/455.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1816.07/455.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1911.00/479.11	c lits-rem:      2861  cl-subs:     9034  v-elim:      0  v-fix:    0  time: 23.81 s
1911.00/479.11	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1911.00/479.15	c vivif2 --  cl tried    94455 cl shrink        0 lits rem          0 time: 0.04
1912.59/479.50	c asymm  cl-useful: 0/1818/3195 lits-rem:0 time: 0.36
1912.59/479.51	c calculated reachability. Time: 0.00
1912.59/479.51	c  N st    80   2211317       150      3195         0     94455     15975   1841282   no data   no data
2434.74/610.48	c  N st    81   2711319       150      3195         0    117295     15975   2434706   no data   no data
2434.74/610.48	c  S st    81   2711319       150      3195         0    117295     15975   2434706   no data   no data
2436.33/610.83	c  S st    81   2711820       150      3195         0    117786     15975   2449570   no data   no data
2436.33/610.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2436.73/610.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2436.73/610.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2436.73/610.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2436.73/610.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2436.73/610.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
2436.73/610.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2436.73/610.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2437.14/611.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2592.33/649.96	c lits-rem:      3694  cl-subs:    12592  v-elim:      0  v-fix:    0  time: 38.96 s
2592.33/649.96	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
2592.33/650.00	c vivif2 --  cl tried   105194 cl shrink        0 lits rem          0 time: 0.04
2593.88/650.37	c asymm  cl-useful: 0/1377/3195 lits-rem:0 time: 0.37
2593.88/650.37	c calculated reachability. Time: 0.00
2593.88/650.37	c  N st    81   2711820       150      3195         0    105194     15975   2063869   no data   no data
3159.09/792.09	c  N st    82   3211821       150      3195         0     82775     15975   1206914   no data   no data
3159.09/792.09	c  S st    82   3211821       150      3195         0     82775     15975   1206914   no data   no data
3160.68/792.43	c  S st    82   3212323       150      3195         0     83267     15975   1222349   no data   no data
3160.68/792.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3160.68/792.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.05
3160.68/792.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3160.68/792.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3160.68/792.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3160.68/792.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3160.68/792.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3161.08/792.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3161.08/792.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3176.23/796.31	c lits-rem:       463  cl-subs:     2068  v-elim:      0  v-fix:    0  time:  3.75 s
3176.23/796.31	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3176.23/796.33	c vivif2 --  cl tried    81199 cl shrink        0 lits rem          0 time: 0.03
3177.83/796.79	c asymm  cl-useful: 0/2035/3195 lits-rem:0 time: 0.46
3177.83/796.80	c calculated reachability. Time: 0.00
3177.83/796.80	c  N st    82   3212323       150      3195         0     81199     15975   1161458   no data   no data
3785.79/949.15	c  N st    83   3712324       150      3195         0     91451     15975   1364868   no data   no data
3785.79/949.15	c  S st    83   3712324       150      3195         0     91451     15975   1364868   no data   no data
3786.94/949.49	c  S st    83   3712826       150      3195         0     91940     15975   1379760   no data   no data
3787.34/949.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3787.34/949.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.06
3787.34/949.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3787.34/949.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3787.34/949.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3787.34/949.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3787.34/949.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3787.34/949.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3787.74/949.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3809.67/955.18	c lits-rem:       563  cl-subs:     2742  v-elim:      0  v-fix:    0  time:  5.55 s
3809.67/955.18	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3810.07/955.21	c vivif2 --  cl tried    89198 cl shrink        0 lits rem          0 time: 0.03
3811.27/955.55	c asymm  cl-useful: 0/1160/3195 lits-rem:0 time: 0.34
3811.27/955.56	c calculated reachability. Time: 0.00
3811.27/955.56	c  N st    83   3712826       150      3195         0     89198     15975   1300793   no data   no data
3863.12/968.56	c  F st    84   3751563       150      3195         0    125860     15975   2444502   no data   no data
3863.12/968.56	c  N st    84   3751563       150      3195         0    125860     15975   2444502   no data   no data
3871.50/970.67	c Decided on static restart strategy
3907.40/979.69	c  N st    94   3779864       150      3195         0    152781     15975   3278161   no data   no data
3956.06/991.81	c  N st    96   3815860       150      3195         0    106821     15975   1826878   no data   no data
4021.08/1008.19	c  N st    97   3848252       150      3195         0    137540     15975   2786092   no data   no data
4095.67/1026.87	c  N st    98   3896842       150      3195         0    102262     15975   1662622   no data   no data
4202.19/1053.55	c  N st    99   3969724       150      3195         0     88892     15975   1219471   no data   no data
4335.01/1086.82	c  N st   100   4079050       150      3195         0    108754     15975   1807138   no data   no data
4522.50/1133.84	c  N st   101   4212826       150      3195         0    151063     15975   3124760   no data   no data
4522.50/1133.84	c  S st   101   4212826       150      3195         0    151063     15975   3124760   no data   no data
4524.48/1134.34	c  S st   101   4213333       150      3195         0    151560     15975   3139567   no data   no data
4524.48/1134.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4524.88/1134.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.08
4524.88/1134.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4524.88/1134.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4524.88/1134.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4524.88/1134.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4524.88/1134.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4524.88/1134.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4525.28/1134.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4756.18/1192.44	c lits-rem:      6092  cl-subs:    14608  v-elim:      0  v-fix:    0  time: 57.88 s
4756.18/1192.44	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
4756.58/1192.50	c vivif2 --  cl tried   136952 cl shrink        0 lits rem          0 time: 0.06
4757.78/1192.89	c asymm  cl-useful: 0/1295/3195 lits-rem:0 time: 0.39
4758.18/1192.90	c calculated reachability. Time: 0.00
4758.18/1192.90	c  N st   101   4213333       150      3195         0    136952     15975   2689231   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-3366477-1305405209/watcher-3366477-1305405209 -o /tmp/evaluation-result-3366477-1305405209/solver-3366477-1305405209 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366477-1305405209.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: 6.59 7.76 7.98 2/344 3290
/proc/meminfo: memFree=26253400/32951124 swapFree=53501236/67111528
[pid=3290] ppid=3288 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/3290/stat : 3290 (strangenight2-m) R 3288 3290 2586 0 -1 4202496 407 0 0 0 0 0 0 0 22 0 4 0 652123549 52396032 347 33554432000 4194304 4580107 140734506789968 18446744073709551615 216634571761 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3290/statm: 12792 347 299 95 0 7774 0
[pid=3290/tid=3291] ppid=3288 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/3290/task/3291/stat : 3291 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 652123549 52396032 350 33554432000 4194304 4580107 140734506789968 18446744073709551615 47770745439769 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3290/tid=3292] ppid=3288 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/3290/task/3292/stat : 3292 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 652123549 52396032 350 33554432000 4194304 4580107 140734506789968 18446744073709551615 47770745439769 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3290/tid=3293] ppid=3288 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/3290/task/3293/stat : 3293 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 652123549 52396032 350 33554432000 4194304 4580107 140734506789968 18446744073709551615 47770745440178 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.91351 s]
/proc/loadavg: 6.59 7.76 7.98 2/344 3290
/proc/meminfo: memFree=26253400/32951124 swapFree=53501236/67111528
[pid=3290] ppid=3288 vsize=286304 CPUtime=3.62 cores=0,2,4,6
/proc/3290/stat : 3290 (strangenight2-m) R 3288 3290 2586 0 -1 4202496 6733 0 0 0 361 1 0 0 19 0 4 0 652123549 293175296 3367 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3290/statm: 71576 3367 377 95 0 66558 0
[pid=3290/tid=3291] ppid=3288 vsize=286304 CPUtime=0.9 cores=0,2,4,6
/proc/3290/task/3291/stat : 3291 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 1620 0 0 0 90 0 0 0 19 0 4 0 652123549 293175296 3367 33554432000 4194304 4580107 140734506789968 18446744073709551615 4324385 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3290/tid=3292] ppid=3288 vsize=286304 CPUtime=0.9 cores=0,2,4,6
/proc/3290/task/3292/stat : 3292 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 1577 0 0 0 90 0 0 0 19 0 4 0 652123549 293175296 3367 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3290/tid=3293] ppid=3288 vsize=286304 CPUtime=0.89 cores=0,2,4,6
/proc/3290/task/3293/stat : 3293 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 1450 0 0 0 89 0 0 0 19 0 4 0 652123549 293175296 3367 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294389 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.62
Current children cumulated vsize (KiB) 286304

[startup+1.0005 s]
/proc/loadavg: 6.59 7.76 7.98 2/344 3290
/proc/meminfo: memFree=26253400/32951124 swapFree=53501236/67111528
[pid=3290] ppid=3288 vsize=286800 CPUtime=3.96 cores=0,2,4,6
/proc/3290/stat : 3290 (strangenight2-m) R 3288 3290 2586 0 -1 4202496 7496 0 0 0 395 1 0 0 19 0 4 0 652123549 293683200 3304 33554432000 4194304 4580107 140734506789968 18446744073709551615 4293067 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3290/statm: 71700 3304 378 95 0 66682 0
[pid=3290/tid=3291] ppid=3288 vsize=286800 CPUtime=0.99 cores=0,2,4,6
/proc/3290/task/3291/stat : 3291 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 1705 0 0 0 99 0 0 0 19 0 4 0 652123549 293683200 3304 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294570 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3290/tid=3292] ppid=3288 vsize=286800 CPUtime=0.98 cores=0,2,4,6
/proc/3290/task/3292/stat : 3292 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 1663 0 0 0 98 0 0 0 19 0 4 0 652123549 293683200 3304 33554432000 4194304 4580107 140734506789968 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3290/tid=3293] ppid=3288 vsize=286800 CPUtime=0.98 cores=0,2,4,6
/proc/3290/task/3293/stat : 3293 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 1735 0 0 0 98 0 0 0 19 0 4 0 652123549 293683200 3304 33554432000 4194304 4580107 140734506789968 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 286800

[startup+1.10048 s]
/proc/loadavg: 6.59 7.76 7.98 2/344 3290
/proc/meminfo: memFree=26253400/32951124 swapFree=53501236/67111528
[pid=3290] ppid=3288 vsize=287068 CPUtime=4.36 cores=0,2,4,6
/proc/3290/stat : 3290 (strangenight2-m) R 3288 3290 2586 0 -1 4202496 8197 0 0 0 435 1 0 0 19 0 4 0 652123549 293957632 3175 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3290/statm: 71767 3175 378 95 0 66749 0
[pid=3290/tid=3291] ppid=3288 vsize=287068 CPUtime=1.09 cores=0,2,4,6
/proc/3290/task/3291/stat : 3291 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 1971 0 0 0 109 0 0 0 19 0 4 0 652123549 293957632 3175 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294496 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3290/tid=3292] ppid=3288 vsize=287068 CPUtime=1.08 cores=0,2,4,6
/proc/3290/task/3292/stat : 3292 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 1933 0 0 0 108 0 0 0 19 0 4 0 652123549 293957632 3175 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3290/tid=3293] ppid=3288 vsize=287068 CPUtime=1.08 cores=0,2,4,6
/proc/3290/task/3293/stat : 3293 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 1823 0 0 0 108 0 0 0 19 0 4 0 652123549 293957632 3176 33554432000 4194304 4580107 140734506789968 18446744073709551615 4322754 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 287068

[startup+1.20046 s]
/proc/loadavg: 6.59 7.76 7.98 2/344 3290
/proc/meminfo: memFree=26253400/32951124 swapFree=53501236/67111528
[pid=3290] ppid=3288 vsize=287068 CPUtime=4.76 cores=0,2,4,6
/proc/3290/stat : 3290 (strangenight2-m) R 3288 3290 2586 0 -1 4202496 8696 0 0 0 475 1 0 0 19 0 4 0 652123549 293957632 3674 33554432000 4194304 4580107 140734506789968 18446744073709551615 216634212107 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3290/statm: 71767 3684 379 95 0 66749 0
[pid=3290/tid=3291] ppid=3288 vsize=287068 CPUtime=1.19 cores=0,2,4,6
/proc/3290/task/3291/stat : 3291 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 2045 0 0 0 119 0 0 0 19 0 4 0 652123549 293957632 3686 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3290/tid=3292] ppid=3288 vsize=287068 CPUtime=1.18 cores=0,2,4,6
/proc/3290/task/3292/stat : 3292 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 2005 0 0 0 118 0 0 0 19 0 4 0 652123549 293957632 3691 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3290/tid=3293] ppid=3288 vsize=287068 CPUtime=1.18 cores=0,2,4,6
/proc/3290/task/3293/stat : 3293 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 1894 0 0 0 118 0 0 0 19 0 4 0 652123549 293957632 3698 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.76
Current children cumulated vsize (KiB) 287068

[startup+1.50041 s]
/proc/loadavg: 6.59 7.76 7.98 2/344 3290
/proc/meminfo: memFree=26253400/32951124 swapFree=53501236/67111528
[pid=3290] ppid=3288 vsize=287556 CPUtime=5.97 cores=0,2,4,6
/proc/3290/stat : 3290 (strangenight2-m) R 3288 3290 2586 0 -1 4202496 11471 0 0 0 595 2 0 0 20 0 4 0 652123549 294457344 4919 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3290/statm: 71889 4919 379 95 0 66871 0
[pid=3290/tid=3291] ppid=3288 vsize=287556 CPUtime=1.49 cores=0,2,4,6
/proc/3290/task/3291/stat : 3291 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 2470 0 0 0 149 0 0 0 20 0 4 0 652123549 294457344 4919 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3290/tid=3292] ppid=3288 vsize=287556 CPUtime=1.48 cores=0,2,4,6
/proc/3290/task/3292/stat : 3292 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 2438 0 0 0 148 0 0 0 20 0 4 0 652123549 294457344 4919 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3290/tid=3293] ppid=3288 vsize=287556 CPUtime=1.48 cores=0,2,4,6
/proc/3290/task/3293/stat : 3293 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 2324 0 0 0 148 0 0 0 20 0 4 0 652123549 294457344 4919 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 287556

[startup+3.11312 s]
/proc/loadavg: 6.59 7.76 7.98 10/356 3303
/proc/meminfo: memFree=26168388/32951124 swapFree=53501236/67111528
[pid=3290] ppid=3288 vsize=298704 CPUtime=12.4 cores=0,2,4,6
/proc/3290/stat : 3290 (strangenight2-m) R 3288 3290 2586 0 -1 4202496 22819 0 0 0 1236 4 0 0 25 0 4 0 652123549 305872896 11124 33554432000 4194304 4580107 140734506789968 18446744073709551615 4295723 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3290/statm: 74676 11124 379 95 0 69658 0
[pid=3290/tid=3291] ppid=3288 vsize=298704 CPUtime=3.1 cores=0,2,4,6
/proc/3290/task/3291/stat : 3291 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 5178 0 0 0 310 0 0 0 25 0 4 0 652123549 305872896 11124 33554432000 4194304 4580107 140734506789968 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3290/tid=3292] ppid=3288 vsize=298704 CPUtime=3.1 cores=0,2,4,6
/proc/3290/task/3292/stat : 3292 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 6135 0 0 0 309 1 0 0 25 0 4 0 652123549 305872896 11124 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3290/tid=3293] ppid=3288 vsize=298704 CPUtime=3.06 cores=0,2,4,6
/proc/3290/task/3293/stat : 3293 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 5533 0 0 0 306 0 0 0 25 0 4 0 652123549 305872896 11124 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 298704

[startup+6.30057 s]
/proc/loadavg: 6.70 7.76 7.98 9/356 3303
/proc/meminfo: memFree=26131036/32951124 swapFree=53501236/67111528
[pid=3290] ppid=3288 vsize=305536 CPUtime=25.13 cores=0,2,4,6
/proc/3290/stat : 3290 (strangenight2-m) R 3288 3290 2586 0 -1 4202496 36060 0 0 0 2506 7 0 0 25 0 4 0 652123549 312868864 16855 33554432000 4194304 4580107 140734506789968 18446744073709551615 4406480 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3290/statm: 76384 16855 379 95 0 71366 0
[pid=3290/tid=3291] ppid=3288 vsize=305536 CPUtime=6.29 cores=0,2,4,6
/proc/3290/task/3291/stat : 3291 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 9049 0 0 0 627 2 0 0 25 0 4 0 652123549 312868864 16864 33554432000 4194304 4580107 140734506789968 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3290/tid=3292] ppid=3288 vsize=305536 CPUtime=6.3 cores=0,2,4,6
/proc/3290/task/3292/stat : 3292 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 9225 0 0 0 629 1 0 0 25 0 4 0 652123549 312868864 16864 33554432000 4194304 4580107 140734506789968 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3290/tid=3293] ppid=3288 vsize=305536 CPUtime=6.23 cores=0,2,4,6
/proc/3290/task/3293/stat : 3293 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 7901 0 0 0 622 1 0 0 25 0 4 0 652123549 312868864 16864 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 305536

[startup+12.7004 s]
/proc/loadavg: 6.80 7.77 7.98 9/356 3303
/proc/meminfo: memFree=26098884/32951124 swapFree=53501236/67111528
[pid=3290] ppid=3288 vsize=306608 CPUtime=50.64 cores=0,2,4,6
/proc/3290/stat : 3290 (strangenight2-m) R 3288 3290 2586 0 -1 4202496 55741 0 0 0 5053 11 0 0 25 0 4 0 652123549 313966592 20869 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294445 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3290/statm: 76652 20869 379 95 0 71634 0
[pid=3290/tid=3291] ppid=3288 vsize=306608 CPUtime=12.68 cores=0,2,4,6
/proc/3290/task/3291/stat : 3291 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 13896 0 0 0 1265 3 0 0 25 0 4 0 652123549 313966592 20869 33554432000 4194304 4580107 140734506789968 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3290/tid=3292] ppid=3288 vsize=306608 CPUtime=12.69 cores=0,2,4,6
/proc/3290/task/3292/stat : 3292 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 13939 0 0 0 1267 2 0 0 25 0 4 0 652123549 313966592 20869 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3290/tid=3293] ppid=3288 vsize=306608 CPUtime=12.55 cores=0,2,4,6
/proc/3290/task/3293/stat : 3293 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 13085 0 0 0 1253 2 0 0 25 0 4 0 652123549 313966592 20869 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 306608

[startup+25.5012 s]
/proc/loadavg: 7.07 7.78 7.98 9/356 3335
/proc/meminfo: memFree=26078088/32951124 swapFree=53501236/67111528
[pid=3290] ppid=3288 vsize=305992 CPUtime=101.7 cores=0,2,4,6
/proc/3290/stat : 3290 (strangenight2-m) R 3288 3290 2586 0 -1 4202496 85408 0 0 0 10152 18 0 0 25 0 4 0 652123549 313335808 29461 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3290/statm: 76498 29461 379 95 0 71480 0
[pid=3290/tid=3291] ppid=3288 vsize=305992 CPUtime=25.48 cores=0,2,4,6
/proc/3290/task/3291/stat : 3291 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 21722 0 0 0 2543 5 0 0 25 0 4 0 652123549 313335808 29461 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3290/tid=3292] ppid=3288 vsize=305992 CPUtime=25.49 cores=0,2,4,6
/proc/3290/task/3292/stat : 3292 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 21598 0 0 0 2546 3 0 0 25 0 4 0 652123549 313335808 29461 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3290/tid=3293] ppid=3288 vsize=305992 CPUtime=25.22 cores=0,2,4,6
/proc/3290/task/3293/stat : 3293 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 20000 0 0 0 2518 4 0 0 25 0 4 0 652123549 313335808 29461 33554432000 4194304 4580107 140734506789968 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 305992

[startup+51.1007 s]
/proc/loadavg: 7.45 7.81 7.98 9/356 3335
/proc/meminfo: memFree=26018772/32951124 swapFree=53501236/67111528
[pid=3290] ppid=3288 vsize=312844 CPUtime=203.82 cores=0,2,4,6
/proc/3290/stat : 3290 (strangenight2-m) R 3288 3290 2586 0 -1 4202496 127786 0 0 0 20354 28 0 0 25 0 4 0 652123549 320352256 35297 33554432000 4194304 4580107 140734506789968 18446744073709551615 4304864 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3290/statm: 78211 35297 379 95 0 73193 0
[pid=3290/tid=3291] ppid=3288 vsize=312844 CPUtime=51.07 cores=0,2,4,6
/proc/3290/task/3291/stat : 3291 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 32056 0 0 0 5100 7 0 0 25 0 4 0 652123549 320352256 35297 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3290/tid=3292] ppid=3288 vsize=312844 CPUtime=51.09 cores=0,2,4,6
/proc/3290/task/3292/stat : 3292 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 32304 0 0 0 5103 6 0 0 25 0 4 0 652123549 320352256 35297 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3290/tid=3293] ppid=3288 vsize=312844 CPUtime=50.54 cores=0,2,4,6
/proc/3290/task/3293/stat : 3293 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 30004 0 0 0 5048 6 0 0 25 0 4 0 652123549 320352256 35297 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294410 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.82
Current children cumulated vsize (KiB) 312844

[startup+102.301 s]
/proc/loadavg: 7.91 7.87 7.99 9/356 3337
/proc/meminfo: memFree=25940484/32951124 swapFree=53501236/67111528
[pid=3290] ppid=3288 vsize=458496 CPUtime=408.03 cores=0,2,4,6
/proc/3290/stat : 3290 (strangenight2-m) R 3288 3290 2586 0 -1 4202496 200461 0 0 0 40755 48 0 0 25 0 4 0 652123549 469499904 47414 33554432000 4194304 4580107 140734506789968 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3290/statm: 114624 47414 379 95 0 109606 0
[pid=3290/tid=3291] ppid=3288 vsize=458496 CPUtime=102.25 cores=0,2,4,6
/proc/3290/task/3291/stat : 3291 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 50063 0 0 0 10214 11 0 0 25 0 4 0 652123549 469499904 47414 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3290/tid=3292] ppid=3288 vsize=458496 CPUtime=102.28 cores=0,2,4,6
/proc/3290/task/3292/stat : 3292 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 48340 0 0 0 10217 11 0 0 25 0 4 0 652123549 469499904 47414 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3290/tid=3293] ppid=3288 vsize=458496 CPUtime=101.17 cores=0,2,4,6
/proc/3290/task/3293/stat : 3293 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 48400 0 0 0 10106 11 0 0 25 0 4 0 652123549 469499904 47414 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.03
Current children cumulated vsize (KiB) 458496

[startup+162.301 s]

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

[pid=3290] ppid=3288 vsize=608920 CPUtime=2801.3 cores=0,2,4,6
/proc/3290/stat : 3290 (strangenight2-m) R 3288 3290 2586 0 -1 4202496 573770 0 0 0 279952 178 0 0 25 0 4 0 652123549 623534080 105208 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3290/statm: 152230 105208 379 95 0 147212 0
[pid=3290/tid=3291] ppid=3288 vsize=608920 CPUtime=702.16 cores=0,2,4,6
/proc/3290/task/3291/stat : 3291 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 150634 0 0 0 70170 46 0 0 25 0 4 0 652123549 623534080 105208 33554432000 4194304 4580107 140734506789968 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3290/tid=3292] ppid=3288 vsize=608920 CPUtime=702.28 cores=0,2,4,6
/proc/3290/task/3292/stat : 3292 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 129557 0 0 0 70186 42 0 0 25 0 4 0 652123549 623534080 105208 33554432000 4194304 4580107 140734506789968 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3290/tid=3293] ppid=3288 vsize=608920 CPUtime=694.54 cores=0,2,4,6
/proc/3290/task/3293/stat : 3293 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 144793 0 0 0 69408 46 0 0 25 0 4 0 652123549 623534080 105208 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2801.3
Current children cumulated vsize (KiB) 608920

[startup+762.301 s]
/proc/loadavg: 8.04 8.04 8.01 9/356 3354
/proc/meminfo: memFree=25465108/32951124 swapFree=53501236/67111528
[pid=3290] ppid=3288 vsize=664144 CPUtime=3040.62 cores=0,2,4,6
/proc/3290/stat : 3290 (strangenight2-m) R 3288 3290 2586 0 -1 4202496 610116 0 0 0 303872 190 0 0 25 0 4 0 652123549 680083456 119845 33554432000 4194304 4580107 140734506789968 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3290/statm: 166036 119845 379 95 0 161018 0
[pid=3290/tid=3291] ppid=3288 vsize=664144 CPUtime=762.15 cores=0,2,4,6
/proc/3290/task/3291/stat : 3291 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 161917 0 0 0 76166 49 0 0 25 0 4 0 652123549 680083456 119845 33554432000 4194304 4580107 140734506789968 18446744073709551615 4406355 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3290/tid=3292] ppid=3288 vsize=664144 CPUtime=762.27 cores=0,2,4,6
/proc/3290/task/3292/stat : 3292 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 134328 0 0 0 76183 44 0 0 25 0 4 0 652123549 680083456 119845 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3290/tid=3293] ppid=3288 vsize=664144 CPUtime=753.86 cores=0,2,4,6
/proc/3290/task/3293/stat : 3293 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 158110 0 0 0 75337 49 0 0 25 0 4 0 652123549 680083456 119845 33554432000 4194304 4580107 140734506789968 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3040.62
Current children cumulated vsize (KiB) 664144

[startup+822.301 s]
/proc/loadavg: 8.01 8.03 8.00 9/356 3356
/proc/meminfo: memFree=25426896/32951124 swapFree=53501236/67111528
[pid=3290] ppid=3288 vsize=716100 CPUtime=3279.95 cores=0,2,4,6
/proc/3290/stat : 3290 (strangenight2-m) R 3288 3290 2586 0 -1 4202496 624986 0 0 0 327796 199 0 0 25 0 4 0 652123549 733286400 120964 33554432000 4194304 4580107 140734506789968 18446744073709551615 4304880 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3290/statm: 179025 120964 379 95 0 174007 0
[pid=3290/tid=3291] ppid=3288 vsize=716100 CPUtime=822.13 cores=0,2,4,6
/proc/3290/task/3291/stat : 3291 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 166599 0 0 0 82162 51 0 0 25 0 4 0 652123549 733286400 120964 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3290/tid=3292] ppid=3288 vsize=716100 CPUtime=822.28 cores=0,2,4,6
/proc/3290/task/3292/stat : 3292 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 137094 0 0 0 82182 46 0 0 25 0 4 0 652123549 733286400 120964 33554432000 4194304 4580107 140734506789968 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3290/tid=3293] ppid=3288 vsize=716100 CPUtime=813.2 cores=0,2,4,6
/proc/3290/task/3293/stat : 3293 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 159334 0 0 0 81269 51 0 0 25 0 4 0 652123549 733286400 120964 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3279.95
Current children cumulated vsize (KiB) 716100

[startup+882.3 s]
/proc/loadavg: 8.04 8.04 8.00 9/356 3357
/proc/meminfo: memFree=25468036/32951124 swapFree=53501236/67111528
[pid=3290] ppid=3288 vsize=623808 CPUtime=3519.28 cores=0,2,4,6
/proc/3290/stat : 3290 (strangenight2-m) R 3288 3290 2586 0 -1 4202496 655530 0 0 0 351718 210 0 0 25 0 4 0 652123549 638779392 113774 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3290/statm: 155952 113774 379 95 0 150934 0
[pid=3290/tid=3291] ppid=3288 vsize=623808 CPUtime=882.13 cores=0,2,4,6
/proc/3290/task/3291/stat : 3291 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 176495 0 0 0 88158 55 0 0 25 0 4 0 652123549 638779392 113774 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3290/tid=3292] ppid=3288 vsize=623808 CPUtime=882.28 cores=0,2,4,6
/proc/3290/task/3292/stat : 3292 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 142152 0 0 0 88179 49 0 0 25 0 4 0 652123549 638779392 113774 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3290/tid=3293] ppid=3288 vsize=623808 CPUtime=872.54 cores=0,2,4,6
/proc/3290/task/3293/stat : 3293 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 165039 0 0 0 87202 52 0 0 25 0 4 0 652123549 638779392 113774 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3519.28
Current children cumulated vsize (KiB) 623808

[startup+942.301 s]
/proc/loadavg: 8.05 8.04 8.00 9/356 3359
/proc/meminfo: memFree=25445052/32951124 swapFree=53501236/67111528
[pid=3290] ppid=3288 vsize=734184 CPUtime=3758.63 cores=0,2,4,6
/proc/3290/stat : 3290 (strangenight2-m) R 3288 3290 2586 0 -1 4202496 688545 0 0 0 375641 222 0 0 25 0 4 0 652123549 751804416 123015 33554432000 4194304 4580107 140734506789968 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3290/statm: 183546 123015 379 95 0 178528 0
[pid=3290/tid=3291] ppid=3288 vsize=734184 CPUtime=942.11 cores=0,2,4,6
/proc/3290/task/3291/stat : 3291 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 188557 0 0 0 94153 58 0 0 25 0 4 0 652123549 751804416 123015 33554432000 4194304 4580107 140734506789968 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3290/tid=3292] ppid=3288 vsize=734184 CPUtime=942.28 cores=0,2,4,6
/proc/3290/task/3292/stat : 3292 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 147445 0 0 0 94177 51 0 0 25 0 4 0 652123549 751804416 123015 33554432000 4194304 4580107 140734506789968 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3290/tid=3293] ppid=3288 vsize=734184 CPUtime=931.9 cores=0,2,4,6
/proc/3290/task/3293/stat : 3293 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 172155 0 0 0 93135 55 0 0 25 0 4 0 652123549 751804416 123015 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3758.63
Current children cumulated vsize (KiB) 734184

[startup+1002.3 s]
/proc/loadavg: 8.05 8.05 8.00 9/356 3361
/proc/meminfo: memFree=25441804/32951124 swapFree=53501236/67111528
[pid=3290] ppid=3288 vsize=635996 CPUtime=3997.93 cores=0,2,4,6
/proc/3290/stat : 3290 (strangenight2-m) R 3288 3290 2586 0 -1 4202496 710756 0 0 0 399563 230 0 0 25 0 4 0 652123549 651259904 124181 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3290/statm: 158999 124181 379 95 0 153981 0
[pid=3290/tid=3291] ppid=3288 vsize=635996 CPUtime=1002.1 cores=0,2,4,6
/proc/3290/task/3291/stat : 3291 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 192702 0 0 0 100150 60 0 0 25 0 4 0 652123549 651259904 124181 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3290/tid=3292] ppid=3288 vsize=635996 CPUtime=1002.29 cores=0,2,4,6
/proc/3290/task/3292/stat : 3292 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 150236 0 0 0 100176 53 0 0 25 0 4 0 652123549 651259904 124181 33554432000 4194304 4580107 140734506789968 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3290/tid=3293] ppid=3288 vsize=635996 CPUtime=991.21 cores=0,2,4,6
/proc/3290/task/3293/stat : 3293 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 180085 0 0 0 99064 57 0 0 25 0 4 0 652123549 651259904 124181 33554432000 4194304 4580107 140734506789968 18446744073709551615 4406365 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3997.93
Current children cumulated vsize (KiB) 635996

[startup+1062.3 s]
/proc/loadavg: 8.15 8.08 8.01 9/356 3362
/proc/meminfo: memFree=25441904/32951124 swapFree=53501236/67111528
[pid=3290] ppid=3288 vsize=636304 CPUtime=4237.3 cores=0,2,4,6
/proc/3290/stat : 3290 (strangenight2-m) R 3288 3290 2586 0 -1 4202496 735441 0 0 0 423489 241 0 0 25 0 4 0 652123549 651575296 122950 33554432000 4194304 4580107 140734506789968 18446744073709551615 4295727 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3290/statm: 159076 122950 379 95 0 154058 0
[pid=3290/tid=3291] ppid=3288 vsize=636304 CPUtime=1062.11 cores=0,2,4,6
/proc/3290/task/3291/stat : 3291 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 200517 0 0 0 106148 63 0 0 25 0 4 0 652123549 651575296 122953 33554432000 4194304 4580107 140734506789968 18446744073709551615 4295687 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3290/tid=3292] ppid=3288 vsize=636304 CPUtime=1062.3 cores=0,2,4,6
/proc/3290/task/3292/stat : 3292 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 157873 0 0 0 106174 56 0 0 25 0 4 0 652123549 651575296 122953 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3290/tid=3293] ppid=3288 vsize=636304 CPUtime=1050.57 cores=0,2,4,6
/proc/3290/task/3293/stat : 3293 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 181504 0 0 0 104999 58 0 0 25 0 4 0 652123549 651575296 122953 33554432000 4194304 4580107 140734506789968 18446744073709551615 4318440 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4237.3
Current children cumulated vsize (KiB) 636304

[startup+1122.3 s]
/proc/loadavg: 8.11 8.08 8.01 9/356 3364
/proc/meminfo: memFree=25436176/32951124 swapFree=53501236/67111528
[pid=3290] ppid=3288 vsize=665412 CPUtime=4476.61 cores=0,2,4,6
/proc/3290/stat : 3290 (strangenight2-m) R 3288 3290 2586 0 -1 4202496 756707 0 0 0 447412 249 0 0 25 0 4 0 652123549 681381888 122901 33554432000 4194304 4580107 140734506789968 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3290/statm: 166353 122901 379 95 0 161335 0
[pid=3290/tid=3291] ppid=3288 vsize=665412 CPUtime=1122.08 cores=0,2,4,6
/proc/3290/task/3291/stat : 3291 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 208544 0 0 0 112142 66 0 0 25 0 4 0 652123549 681381888 122901 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3290/tid=3292] ppid=3288 vsize=665412 CPUtime=1122.28 cores=0,2,4,6
/proc/3290/task/3292/stat : 3292 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 160526 0 0 0 112171 57 0 0 25 0 4 0 652123549 681381888 122901 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3290/tid=3293] ppid=3288 vsize=665412 CPUtime=1109.91 cores=0,2,4,6
/proc/3290/task/3293/stat : 3293 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 186012 0 0 0 110932 59 0 0 25 0 4 0 652123549 681381888 122901 33554432000 4194304 4580107 140734506789968 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4476.61
Current children cumulated vsize (KiB) 665412

[startup+1182.31 s]
/proc/loadavg: 8.10 8.08 8.01 9/356 3365
/proc/meminfo: memFree=25387416/32951124 swapFree=53501236/67111528
[pid=3290] ppid=3288 vsize=746020 CPUtime=4715.95 cores=0,2,4,6
/proc/3290/stat : 3290 (strangenight2-m) R 3288 3290 2586 0 -1 4202496 780975 0 0 0 471335 260 0 0 25 0 4 0 652123549 763924480 133247 33554432000 4194304 4580107 140734506789968 18446744073709551615 4406440 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3290/statm: 186505 133247 379 95 0 181487 0
[pid=3290/tid=3291] ppid=3288 vsize=746020 CPUtime=1182.08 cores=0,2,4,6
/proc/3290/task/3291/stat : 3291 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 214836 0 0 0 118138 70 0 0 25 0 4 0 652123549 763924480 133247 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3290/tid=3292] ppid=3288 vsize=746020 CPUtime=1182.3 cores=0,2,4,6
/proc/3290/task/3292/stat : 3292 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 167615 0 0 0 118169 61 0 0 25 0 4 0 652123549 763924480 133247 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3290/tid=3293] ppid=3288 vsize=746020 CPUtime=1169.22 cores=0,2,4,6
/proc/3290/task/3293/stat : 3293 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 190689 0 0 0 116860 62 0 0 25 0 4 0 652123549 763924480 133247 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4715.95
Current children cumulated vsize (KiB) 746020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.4 s]
/proc/loadavg: 8.06 8.07 8.01 9/356 3366
/proc/meminfo: memFree=25381452/32951124 swapFree=53501236/67111528
[pid=3290] ppid=3288 vsize=813880 CPUtime=4800.08 cores=0,2,4,6
/proc/3290/stat : 3290 (strangenight2-m) R 3288 3290 2586 0 -1 4202496 788636 0 0 0 479745 263 0 0 25 0 4 0 652123549 833413120 135905 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3290/statm: 203470 135905 379 95 0 198452 0
[pid=3290/tid=3291] ppid=3288 vsize=813880 CPUtime=1203.18 cores=0,2,4,6
/proc/3290/task/3291/stat : 3291 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 218168 0 0 0 120247 71 0 0 25 0 4 0 652123549 833413120 135906 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3290/tid=3292] ppid=3288 vsize=813880 CPUtime=1203.39 cores=0,2,4,6
/proc/3290/task/3292/stat : 3292 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 171178 0 0 0 120278 61 0 0 25 0 4 0 652123549 833413120 135906 33554432000 4194304 4580107 140734506789968 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3290/tid=3293] ppid=3288 vsize=813880 CPUtime=1190.07 cores=0,2,4,6
/proc/3290/task/3293/stat : 3293 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 190812 0 0 0 118945 62 0 0 25 0 4 0 652123549 833413120 135906 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.08
Current children cumulated vsize (KiB) 813880

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

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

[startup+1203.4 s]
/proc/loadavg: 8.06 8.07 8.01 9/356 3366
/proc/meminfo: memFree=25381452/32951124 swapFree=53501236/67111528
[pid=3290] ppid=3288 vsize=813880 CPUtime=4800.08 cores=0,2,4,6
/proc/3290/stat : 3290 (strangenight2-m) R 3288 3290 2586 0 -1 4202496 788636 0 0 0 479745 263 0 0 25 0 4 0 652123549 833413120 135905 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3290/statm: 203470 135905 379 95 0 198452 0
[pid=3290/tid=3291] ppid=3288 vsize=813880 CPUtime=1203.18 cores=0,2,4,6
/proc/3290/task/3291/stat : 3291 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 218168 0 0 0 120247 71 0 0 25 0 4 0 652123549 833413120 135906 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3290/tid=3292] ppid=3288 vsize=813880 CPUtime=1203.39 cores=0,2,4,6
/proc/3290/task/3292/stat : 3292 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 171178 0 0 0 120278 61 0 0 25 0 4 0 652123549 833413120 135906 33554432000 4194304 4580107 140734506789968 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3290/tid=3293] ppid=3288 vsize=813880 CPUtime=1190.07 cores=0,2,4,6
/proc/3290/task/3293/stat : 3293 (strangenight2-m) R 3288 3290 2586 0 -1 4202560 190812 0 0 0 118945 62 0 0 25 0 4 0 652123549 833413120 135906 33554432000 4194304 4580107 140734506789968 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.08
Current children cumulated vsize (KiB) 813880

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.44
CPU time (s): 4800.15
CPU user time (s): 4797.5
CPU system time (s): 2.6536
CPU usage (%): 398.869
Max. virtual memory (cumulated for all children) (KiB): 813880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.5
system time used= 2.6536
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 788639
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= 420
involuntary context switches= 21999

runsolver used 3.73443 second user time and 9.63753 second system time

The end

Launcher Data 

Begin job on node103 at 2011-05-14 22:33:29
IDJOB=3366477
IDBENCH=82886
IDSOLVER=1844
FILE ID=node103/3366477-1305405209
RUNJOBID= node103-1305405209-3275
PBS_JOBID= 13324472
Free space on /tmp= 72992 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v150-c3195-S1502652578-043.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366477-1305405209/watcher-3366477-1305405209 -o /tmp/evaluation-result-3366477-1305405209/solver-3366477-1305405209 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366477-1305405209.cnf

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

MD5SUM BENCH= 200b19edc2ebf99249f1125469c39206
RANDOM SEED=1615133073

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26253672 kB
Buffers:        298076 kB
Cached:        3864792 kB
SwapCached:     340192 kB
Active:        1313260 kB
Inactive:      5115212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26253672 kB
SwapTotal:    67111528 kB
SwapFree:     53501236 kB
Dirty:           11032 kB
Writeback:           8 kB
AnonPages:     1935916 kB
Mapped:          10148 kB
Slab:           151312 kB
PageTables:      52708 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 78288532 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= 72980 MiB
End job on node103 at 2011-05-14 22:53:35