Trace number 3174273

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? (TO) 4800.28 1201.73

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v450-c1917-S1959079526-027.UNKNOWN.cnf
MD5SUMf44a4cf4fe89dcbd323f749ee3ba0f10
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark146.379
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of clauses1917
Sum of the clauses size5751
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31917
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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3174273-1304116642.cnf'
0.00/0.00	c -- header says num vars:            450
0.00/0.00	c -- header says num clauses:        1917
0.00/0.00	c -- clauses added:            0 learnts,         1917 normals,            0 xors
0.00/0.00	c -- vars added        450
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       450      1917         0         0      5751         0   no data   no data
0.00/0.00	c asymm  cl-useful: 0/1917/1917 lits-rem:0 time: 0.00
0.00/0.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
3.17/0.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3.17/0.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.17/0.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.17/0.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    450 time:  0.00 s
3.17/0.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.17/0.80	c lits-rem:         0  cl-subs:        0  v-elim:     14  v-fix:    0  time:  0.00 s
3.17/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.17/0.80	c calculated reachability. Time: 0.00
3.17/0.80	c Calc default polars -  time:   0.00 s pos:     216 undec:      55 neg:     179
3.17/0.80	c =========================================================================================
3.17/0.80	c types(t): F = full restart, N = normal restart
3.17/0.80	c types(t): S = simplification begin/end, E = solution found
3.17/0.80	c restart types(rt): st = static, dy = dynamic
3.17/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.80	c  B st     0         0       436      1898         0         0      5773         0   no data   no data
3.17/0.80	c Decided on static restart strategy
3.17/0.80	c  N st     8      4918       436      1898         0      4790      5773    101356   no data   no data
3.17/0.80	c  N st    10     11301       436      1898         0      4451      5773     69782   no data   no data
3.17/0.80	c  N st    11     17047       436      1898         0     10039      5773    183323   no data   no data
3.97/1.10	c  F st    12     25001       436      1898         0     12289      5773    235793   no data   no data
3.97/1.10	c  N st    12     25001       436      1898         0     12289      5773    235793   no data   no data
5.16/1.30	c Decided on static restart strategy
5.16/1.30	c  N st    18     30000       436      1898         0     10602      5773    186377   no data   no data
5.16/1.30	c  S st    18     30000       436      1898         0     10602      5773    186377   no data   no data
5.56/1.40	c  S st    18     30501       436      1898         0     11101      5773    196781   no data   no data
5.56/1.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.56/1.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.56/1.40	c blocked clauses removed:       17 vars:      2 tried:         436 T: 0.00 s
5.56/1.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.56/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    434 time:  0.00 s
5.56/1.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.56/1.40	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.00 s
5.56/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.40	c lits-rem:       160  cl-subs:      708  v-elim:      0  v-fix:    0  time:  0.06 s
5.96/1.50	c asymm  cl-useful: 0/1881/1881 lits-rem:0 time: 0.01
5.96/1.50	c calculated reachability. Time: 0.00
5.96/1.50	c  N st    18     30501       433      1881         0     10346      5726    179530   no data   no data
6.77/1.79	c  N st    20     37612       433      1881         0      9639      5726    146088   no data   no data
8.37/2.18	c  N st    21     44013       433      1881         0     15874      5726    282352   no data   no data
9.18/2.31	c  S st    22     45751       433      1881         0      8866      5726    115857   no data   no data
9.18/2.34	c  S st    22     46252       433      1881         0      9367      5726    126583   no data   no data
9.18/2.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.18/2.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.18/2.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.18/2.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.18/2.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.18/2.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    433 time:  0.00 s
9.18/2.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.18/2.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.18/2.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.18/2.35	c lits-rem:        17  cl-subs:       94  v-elim:      0  v-fix:    0  time:  0.01 s
9.18/2.35	c vivif2 --  cl tried     1881 cl shrink        0 lits rem          0 time: 0.00
9.18/2.35	c vivif2 --  cl tried     9273 cl shrink        0 lits rem          0 time: 0.00
9.18/2.36	c asymm  cl-useful: 0/1881/1881 lits-rem:0 time: 0.00
9.18/2.36	c calculated reachability. Time: 0.00
9.18/2.36	c  N st    22     46252       433      1881         0      9273      5726    124549   no data   no data
12.76/3.27	c  N st    23     60649       433      1881         0     13569      5726    205556   no data   no data
15.56/3.95	c  N st    24     69378       433      1881         0     11403      5726    152587   no data   no data
15.56/3.95	c  S st    24     69378       433      1881         0     11403      5726    152587   no data   no data
15.56/3.98	c  S st    24     69879       433      1881         0     11903      5726    162382   no data   no data
15.56/3.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.56/3.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
15.56/3.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.56/3.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.56/3.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.56/3.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    433 time:  0.00 s
15.56/3.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.56/3.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.56/3.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.95/4.01	c lits-rem:        30  cl-subs:      159  v-elim:      0  v-fix:    0  time:  0.01 s
15.95/4.01	c vivif2 --  cl tried     1881 cl shrink        0 lits rem          0 time: 0.00
15.95/4.01	c vivif2 --  cl tried    11744 cl shrink        0 lits rem          0 time: 0.00
15.95/4.02	c asymm  cl-useful: 0/1881/1881 lits-rem:0 time: 0.01
15.95/4.02	c calculated reachability. Time: 0.00
15.95/4.02	c  N st    24     69879       433      1881         0     11744      5726    159032   no data   no data
20.75/5.30	c  F st    25     87500       433      1881         0     17213      5726    279396   no data   no data
20.75/5.30	c  N st    25     87500       433      1881         0     17213      5726    279396   no data   no data
22.37/5.66	c Decided on static restart strategy
23.14/5.88	c  N st    32     95539       433      1881         0     25063      5726    451378   no data   no data
25.95/6.54	c  N st    34    104818       433      1881         0     21483      5726    352410   no data   no data
25.95/6.54	c  S st    34    104818       433      1881         0     21483      5726    352410   no data   no data
25.95/6.59	c  S st    34    105321       433      1881         0     21986      5726    363089   no data   no data
25.95/6.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.95/6.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
25.95/6.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.95/6.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.95/6.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.95/6.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    433 time:  0.00 s
25.95/6.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.36/6.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
26.36/6.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.76/6.76	c lits-rem:       102  cl-subs:     1008  v-elim:      0  v-fix:    0  time:  0.15 s
26.76/6.76	c vivif2 --  cl tried     1881 cl shrink        0 lits rem          0 time: 0.00
26.76/6.76	c vivif2 --  cl tried    20978 cl shrink        0 lits rem          0 time: 0.00
26.76/6.77	c asymm  cl-useful: 0/1881/1881 lits-rem:0 time: 0.01
26.76/6.78	c calculated reachability. Time: 0.00
26.76/6.78	c  N st    34    105321       433      1881         0     20978      5726    340037   no data   no data
29.94/7.58	c  N st    35    114919       433      1881         0     16676      5726    225907   no data   no data
35.15/8.89	c  N st    36    129317       433      1881         0     16021      5726    196677   no data   no data
43.12/10.86	c  N st    37    150912       433      1881         0     21604      5726    310364   no data   no data
45.52/11.44	c  S st    38    157983       433      1881         0     28517      5726    474084   no data   no data
45.92/11.52	c  S st    38    158489       433      1881         0     29022      5726    485385   no data   no data
45.92/11.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
45.92/11.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
45.92/11.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
45.92/11.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
45.92/11.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.92/11.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    433 time:  0.00 s
45.92/11.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
45.92/11.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
45.92/11.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.11/11.84	c lits-rem:       435  cl-subs:     1321  v-elim:      0  v-fix:    0  time:  0.30 s
47.11/11.85	c vivif2 --  cl tried     1881 cl shrink        0 lits rem          0 time: 0.00
47.11/11.85	c vivif2 --  cl tried    27701 cl shrink        0 lits rem          0 time: 0.01
47.11/11.87	c asymm  cl-useful: 0/1881/1881 lits-rem:0 time: 0.02
47.11/11.87	c calculated reachability. Time: 0.00
47.11/11.87	c  N st    38    158489       433      1881         0     27701      5726    455527   no data   no data
65.90/16.59	c  N st    39    207077       433      1881         0     22384      5726    297750   no data   no data
79.09/19.83	c  N st    40    237733       433      1881         0     32632      5726    477293   no data   no data
79.09/19.83	c  S st    40    237733       433      1881         0     32632      5726    477293   no data   no data
79.49/19.92	c  S st    40    238238       433      1881         0     33135      5726    488172   no data   no data
79.49/19.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
79.49/19.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
79.49/19.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
79.49/19.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
79.49/19.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
79.49/19.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    433 time:  0.00 s
79.49/19.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
79.49/19.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
79.49/19.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.86/20.50	c lits-rem:       218  cl-subs:     2827  v-elim:      0  v-fix:    0  time:  0.54 s
81.86/20.50	c vivif2 --  cl tried     1881 cl shrink        0 lits rem          0 time: 0.00
81.86/20.50	c vivif2 --  cl tried    30308 cl shrink        0 lits rem          0 time: 0.01
81.86/20.52	c asymm  cl-useful: 0/1881/1881 lits-rem:0 time: 0.02
81.86/20.52	c calculated reachability. Time: 0.00
81.86/20.52	c  N st    40    238238       433      1881         0     30308      5726    437700   no data   no data
113.03/28.37	c  F st    41    306252       433      1881         0     32196      5726    449369   no data   no data
113.03/28.37	c  N st    41    306252       433      1881         0     32196      5726    449369   no data   no data
115.42/28.96	c Decided on static restart strategy
126.20/31.67	c  N st    51    334558       433      1881         0     36538      5726    537938   no data   no data
136.99/34.37	c  N st    53    357357       433      1881         0     34512      5726    487025   no data   no data
136.99/34.37	c  S st    53    357357       433      1881         0     34512      5726    487025   no data   no data
137.39/34.46	c  S st    53    357861       433      1881         0     35015      5726    498168   no data   no data
137.39/34.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
137.39/34.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
137.39/34.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
137.39/34.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
137.39/34.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
137.39/34.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    433 time:  0.00 s
137.39/34.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
137.39/34.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
137.78/34.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
138.58/34.73	c lits-rem:       143  cl-subs:      920  v-elim:      0  v-fix:    0  time:  0.23 s
138.58/34.73	c vivif2 --  cl tried     1881 cl shrink        0 lits rem          0 time: 0.00
138.58/34.74	c vivif2 --  cl tried    34095 cl shrink        0 lits rem          0 time: 0.01
138.58/34.76	c asymm  cl-useful: 0/1881/1881 lits-rem:0 time: 0.02
138.58/34.76	c calculated reachability. Time: 0.00
138.58/34.76	c  N st    53    357861       433      1881         0     34095      5726    477016   no data   no data
155.76/39.09	c  N st    54    390255       433      1881         0     40243      5726    620870   no data   no data
184.94/46.33	c  N st    55    438844       433      1881         0     33910      5726    415013   no data   no data
225.26/56.41	c  N st    56    511726       433      1881         0     47373      5726    693312   no data   no data
240.05/60.16	c  N st    57    536791       433      1881         0     41660      5726    546203   no data   no data
240.05/60.16	c  S st    57    536791       433      1881         0     41660      5726    546203   no data   no data
240.45/60.26	c  S st    57    537298       433      1881         0     42166      5726    557643   no data   no data
240.45/60.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
240.45/60.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
240.45/60.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
240.45/60.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
240.45/60.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
240.45/60.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    433 time:  0.00 s
240.45/60.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
240.45/60.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
240.85/60.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
242.44/60.78	c lits-rem:       218  cl-subs:     1871  v-elim:      0  v-fix:    0  time:  0.48 s
242.44/60.78	c vivif2 --  cl tried     1881 cl shrink        0 lits rem          0 time: 0.00
242.44/60.79	c vivif2 --  cl tried    40295 cl shrink        0 lits rem          0 time: 0.01
242.84/60.81	c asymm  cl-useful: 0/1881/1881 lits-rem:0 time: 0.02
242.84/60.81	c calculated reachability. Time: 0.00
242.84/60.81	c  N st    57    537298       433      1881         0     40295      5726    518706   no data   no data
347.13/86.90	c  N st    58    701282       433      1881         0     69149      5726   1157208   no data   no data
417.01/104.49	c  N st    59    805947       433      1881         0     63087      5726    947700   no data   no data
417.01/104.49	c  S st    59    805947       433      1881         0     63087      5726    947700   no data   no data
417.83/104.69	c  S st    59    806454       433      1881         0     63590      5726    958792   no data   no data
418.21/104.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
418.21/104.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
418.21/104.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
418.21/104.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
418.21/104.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
418.21/104.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    433 time:  0.00 s
418.21/104.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
418.21/104.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
418.21/104.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
429.79/107.64	c lits-rem:       784  cl-subs:     5518  v-elim:      0  v-fix:    0  time:  2.86 s
429.79/107.64	c vivif2 --  cl tried     1881 cl shrink        0 lits rem          0 time: 0.00
429.79/107.65	c vivif2 --  cl tried    58072 cl shrink        0 lits rem          0 time: 0.01
430.19/107.70	c asymm  cl-useful: 0/1881/1881 lits-rem:0 time: 0.05
430.19/107.70	c calculated reachability. Time: 0.00
430.19/107.70	c  N st    59    806454       433      1881         0     58072      5726    842485   no data   no data
629.52/157.66	c  F st    60   1071877       433      1881         0     74158      5726   1085052   no data   no data
629.52/157.66	c  N st    60   1071877       433      1881         0     74158      5726   1085052   no data   no data
634.72/158.93	c Decided on static restart strategy
655.49/164.17	c  N st    70   1100178       433      1881         0     58012      5726    729669   no data   no data
689.44/172.66	c  N st    72   1136173       433      1881         0     48436      5726    500462   no data   no data
715.81/179.26	c  N st    73   1168569       433      1881         0     79925      5726   1180133   no data   no data
750.56/187.97	c  N st    74   1209681       433      1881         0     74150      5726   1056932   no data   no data
750.56/187.97	c  S st    74   1209681       433      1881         0     74150      5726   1056932   no data   no data
751.78/188.26	c  S st    74   1210183       433      1881         0     74649      5726   1068450   no data   no data
751.78/188.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
752.15/188.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
752.15/188.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
752.15/188.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
752.15/188.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
752.15/188.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    433 time:  0.00 s
752.15/188.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
752.15/188.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
752.15/188.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
768.14/192.39	c lits-rem:       378  cl-subs:     4940  v-elim:      0  v-fix:    0  time:  4.03 s
768.14/192.39	c vivif2 --  cl tried     1881 cl shrink        0 lits rem          0 time: 0.00
768.54/192.41	c vivif2 --  cl tried    69709 cl shrink        0 lits rem          0 time: 0.02
768.54/192.49	c asymm  cl-useful: 0/1881/1881 lits-rem:0 time: 0.08
768.54/192.49	c calculated reachability. Time: 0.00
768.54/192.49	c  N st    74   1210183       433      1881         0     69709      5726    966323   no data   no data
844.42/211.43	c  N st    75   1283065       433      1881         0     93565      5726   1448042   no data   no data
955.07/239.18	c  N st    76   1392388       433      1881         0     54264      5726    549033   no data   no data
1109.66/277.85	c  N st    77   1556373       433      1881         0     59147      5726    614226   no data   no data
1265.06/316.80	c  N st    78   1710184       433      1881         0    100773      5726   1500317   no data   no data
1265.06/316.80	c  S st    78   1710184       433      1881         0    100773      5726   1500317   no data   no data
1266.65/317.15	c  S st    78   1710686       433      1881         0    101274      5726   1511844   no data   no data
1266.65/317.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1267.05/317.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1267.05/317.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1267.05/317.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1267.05/317.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1267.05/317.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    433 time:  0.00 s
1267.05/317.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1267.05/317.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1267.05/317.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1296.63/324.66	c lits-rem:       540  cl-subs:     8687  v-elim:      0  v-fix:    0  time:  7.38 s
1296.63/324.66	c vivif2 --  cl tried     1881 cl shrink        0 lits rem          0 time: 0.00
1296.63/324.68	c vivif2 --  cl tried    92587 cl shrink        0 lits rem          0 time: 0.02
1297.01/324.78	c asymm  cl-useful: 0/1881/1881 lits-rem:0 time: 0.10
1297.01/324.78	c calculated reachability. Time: 0.00
1297.01/324.78	c  N st    78   1710686       433      1881         0     92587      5726   1339575   no data   no data
1692.46/423.73	c  N st    79   2079650       433      1881         0    104188      5726   1519607   no data   no data
1851.05/463.44	c  N st    80   2210686       433      1881         0    108143      5726   1595714   no data   no data
1851.05/463.44	c  S st    80   2210686       433      1881         0    108143      5726   1595714   no data   no data
1852.65/463.84	c  S st    80   2211191       433      1881         0    108648      5726   1607052   no data   no data
1852.65/463.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1853.05/463.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1853.05/463.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1853.05/463.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1853.05/463.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1853.05/463.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    433 time:  0.00 s
1853.05/463.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1853.05/463.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1853.05/463.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1887.41/472.55	c lits-rem:       739  cl-subs:     8489  v-elim:      0  v-fix:    0  time:  8.57 s
1887.41/472.55	c vivif2 --  cl tried     1881 cl shrink        0 lits rem          0 time: 0.00
1887.41/472.57	c vivif2 --  cl tried   100159 cl shrink        0 lits rem          0 time: 0.02
1887.81/472.67	c asymm  cl-useful: 0/1881/1881 lits-rem:0 time: 0.10
1887.81/472.67	c calculated reachability. Time: 0.00
1887.81/472.67	c  N st    80   2211191       433      1881         0    100159      5726   1435334   no data   no data
2509.75/628.38	c  N st    81   2711191       433      1881         0    123380      5726   1839848   no data   no data
2509.75/628.38	c  S st    81   2711191       433      1881         0    123380      5726   1839848   no data   no data
2511.74/628.84	c  S st    81   2711692       433      1881         0    123878      5726   1851153   no data   no data
2511.74/628.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2512.14/628.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2512.14/628.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2512.14/628.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2512.14/628.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2512.14/628.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    433 time:  0.00 s
2512.14/628.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2512.14/628.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2512.14/628.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2567.27/642.75	c lits-rem:       447  cl-subs:    11339  v-elim:      0  v-fix:    0  time: 13.76 s
2567.27/642.75	c vivif2 --  cl tried     1881 cl shrink        0 lits rem          0 time: 0.00
2567.27/642.78	c vivif2 --  cl tried   112539 cl shrink        0 lits rem          0 time: 0.02
2568.07/642.90	c asymm  cl-useful: 0/1881/1881 lits-rem:0 time: 0.13
2568.07/642.91	c calculated reachability. Time: 0.00
2568.07/642.91	c  N st    81   2711692       433      1881         0    112539      5726   1615737   no data   no data
3302.27/826.76	c  N st    82   3211693       433      1881         0     88715      5726    939296   no data   no data
3302.27/826.76	c  S st    82   3211693       433      1881         0     88715      5726    939296   no data   no data
3303.47/827.03	c  S st    82   3212197       433      1881         0     89218      5726    950646   no data   no data
3303.47/827.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3303.47/827.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3303.47/827.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3303.47/827.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3303.47/827.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3303.47/827.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    433 time:  0.00 s
3303.47/827.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3303.47/827.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3303.87/827.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3307.46/828.02	c lits-rem:       149  cl-subs:     3017  v-elim:      0  v-fix:    0  time:  0.90 s
3307.46/828.02	c vivif2 --  cl tried     1881 cl shrink        0 lits rem          0 time: 0.00
3307.46/828.04	c vivif2 --  cl tried    86201 cl shrink        0 lits rem          0 time: 0.01
3307.86/828.12	c asymm  cl-useful: 0/1881/1881 lits-rem:0 time: 0.08
3307.86/828.12	c calculated reachability. Time: 0.00
3307.86/828.12	c  N st    82   3212197       433      1881         0     86201      5726    903066   no data   no data
4057.24/1015.72	c  N st    83   3712197       433      1881         0     96704      5726   1044342   no data   no data
4057.24/1015.72	c  S st    83   3712197       433      1881         0     96704      5726   1044342   no data   no data
4058.43/1016.05	c  S st    83   3712700       433      1881         0     97205      5726   1055538   no data   no data
4058.43/1016.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4058.83/1016.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
4058.83/1016.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4058.83/1016.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4058.83/1016.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4058.83/1016.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    433 time:  0.00 s
4058.83/1016.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4058.83/1016.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
4058.83/1016.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4064.44/1017.57	c lits-rem:       173  cl-subs:     4055  v-elim:      0  v-fix:    0  time:  1.41 s
4064.44/1017.57	c vivif2 --  cl tried     1881 cl shrink        0 lits rem          0 time: 0.00
4064.44/1017.58	c vivif2 --  cl tried    93150 cl shrink        0 lits rem          0 time: 0.02
4064.84/1017.68	c asymm  cl-useful: 0/1881/1881 lits-rem:0 time: 0.09
4064.84/1017.68	c calculated reachability. Time: 0.00
4064.84/1017.68	c  N st    83   3712700       433      1881         0     93150      5726    985570   no data   no data
4124.74/1032.61	c  F st    84   3751565       433      1881         0    130643      5726   1813533   no data   no data
4124.74/1032.61	c  N st    84   3751565       433      1881         0    130643      5726   1813533   no data   no data
4133.92/1034.96	c Decided on static restart strategy
4175.07/1045.29	c  N st    94   3779868       433      1881         0    158161      5726   2427146   no data   no data
4228.20/1058.59	c  N st    96   3815862       433      1881         0    111206      5726   1373607   no data   no data
4280.53/1071.67	c  N st    97   3848254       433      1881         0    142568      5726   2045771   no data   no data
4357.62/1090.94	c  N st    98   3896842       433      1881         0    106660      5726   1273848   no data   no data
4483.45/1122.49	c  N st    99   3969724       433      1881         0     93105      5726    939240   no data   no data
4650.82/1164.30	c  N st   100   4079047       433      1881         0    113594      5726   1368764   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: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3174273-1304116642/watcher-3174273-1304116642 -o /tmp/evaluation-result-3174273-1304116642/solver-3174273-1304116642 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174273-1304116642.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: 8.09 8.05 7.89 5/180 4557
/proc/meminfo: memFree=24116656/32951124 swapFree=67111524/67111528
[pid=4557] ppid=4555 vsize=182296 CPUtime=0 cores=0,2,4,6
/proc/4557/stat : 4557 (strangenight2-m) R 4555 4557 4006 0 -1 4202496 471 0 0 0 0 0 0 0 25 0 4 0 523261935 186671104 400 33554432000 4194304 4627427 140735301613328 18446744073709551615 212687675195 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4557/statm: 45813 421 329 106 0 40784 0
[pid=4557/tid=4558] ppid=4555 vsize=248792 CPUtime=0 cores=0,2,4,6
/proc/4557/task/4558/stat : 4558 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 18 0 0 0 0 0 0 0 25 0 4 0 523261935 254763008 459 33554432000 4194304 4627427 140735301613328 18446744073709551615 212687372043 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4557/tid=4559] ppid=4555 vsize=248792 CPUtime=0 cores=0,2,4,6
/proc/4557/task/4559/stat : 4559 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 32 0 0 0 0 0 0 0 25 0 4 0 523261935 254763008 467 33554432000 4194304 4627427 140735301613328 18446744073709551615 212687780334 0 0 4096 2 18446604448517077056 0 0 -1 2 0 0 0
[pid=4557/tid=4560] ppid=4555 vsize=248792 CPUtime=0 cores=0,2,4,6
/proc/4557/task/4560/stat : 4560 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 33 0 0 0 0 0 0 0 25 0 4 0 523261935 254763008 473 33554432000 4194304 4627427 140735301613328 18446744073709551615 212687780334 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.107743 s]
/proc/loadavg: 8.09 8.05 7.89 5/180 4557
/proc/meminfo: memFree=24116656/32951124 swapFree=67111524/67111528
[pid=4557] ppid=4555 vsize=282276 CPUtime=0.4 cores=0,2,4,6
/proc/4557/stat : 4557 (strangenight2-m) R 4555 4557 4006 0 -1 4202496 1632 0 0 0 40 0 0 0 18 0 4 0 523261935 289050624 1544 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4557/statm: 70569 1544 384 106 0 65540 0
[pid=4557/tid=4558] ppid=4555 vsize=282276 CPUtime=0.1 cores=0,2,4,6
/proc/4557/task/4558/stat : 4558 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 305 0 0 0 10 0 0 0 18 0 4 0 523261935 289050624 1544 33554432000 4194304 4627427 140735301613328 18446744073709551615 4321713 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4557/tid=4559] ppid=4555 vsize=282276 CPUtime=0.1 cores=0,2,4,6
/proc/4557/task/4559/stat : 4559 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 322 0 0 0 10 0 0 0 18 0 4 0 523261935 289050624 1544 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4557/tid=4560] ppid=4555 vsize=282276 CPUtime=0.1 cores=0,2,4,6
/proc/4557/task/4560/stat : 4560 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 267 0 0 0 10 0 0 0 25 0 4 0 523261935 289050624 1544 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282276

[startup+0.200727 s]
/proc/loadavg: 8.09 8.05 7.89 5/180 4557
/proc/meminfo: memFree=24116656/32951124 swapFree=67111524/67111528
[pid=4557] ppid=4555 vsize=283356 CPUtime=0.78 cores=0,2,4,6
/proc/4557/stat : 4557 (strangenight2-m) R 4555 4557 4006 0 -1 4202496 2185 0 0 0 78 0 0 0 18 0 4 0 523261935 290156544 1589 33554432000 4194304 4627427 140735301613328 18446744073709551615 4332749 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4557/statm: 70839 1589 385 106 0 65810 0
[pid=4557/tid=4558] ppid=4555 vsize=283356 CPUtime=0.19 cores=0,2,4,6
/proc/4557/task/4558/stat : 4558 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 447 0 0 0 19 0 0 0 18 0 4 0 523261935 290156544 1589 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4557/tid=4559] ppid=4555 vsize=283356 CPUtime=0.19 cores=0,2,4,6
/proc/4557/task/4559/stat : 4559 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 460 0 0 0 19 0 0 0 18 0 4 0 523261935 290156544 1589 33554432000 4194304 4627427 140735301613328 18446744073709551615 4308127 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4557/tid=4560] ppid=4555 vsize=283356 CPUtime=0.19 cores=0,2,4,6
/proc/4557/task/4560/stat : 4560 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 408 0 0 0 19 0 0 0 25 0 4 0 523261935 290156544 1589 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 283356

[startup+0.300708 s]
/proc/loadavg: 8.09 8.05 7.89 5/180 4557
/proc/meminfo: memFree=24116656/32951124 swapFree=67111524/67111528
[pid=4557] ppid=4555 vsize=283628 CPUtime=1.18 cores=0,2,4,6
/proc/4557/stat : 4557 (strangenight2-m) R 4555 4557 4006 0 -1 4202496 2587 0 0 0 118 0 0 0 18 0 4 0 523261935 290435072 1991 33554432000 4194304 4627427 140735301613328 18446744073709551615 4308329 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4557/statm: 70907 1991 385 106 0 65878 0
[pid=4557/tid=4558] ppid=4555 vsize=283628 CPUtime=0.29 cores=0,2,4,6
/proc/4557/task/4558/stat : 4558 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 551 0 0 0 29 0 0 0 18 0 4 0 523261935 290435072 1991 33554432000 4194304 4627427 140735301613328 18446744073709551615 4332971 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4557/tid=4559] ppid=4555 vsize=283628 CPUtime=0.29 cores=0,2,4,6
/proc/4557/task/4559/stat : 4559 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 561 0 0 0 29 0 0 0 18 0 4 0 523261935 290435072 1991 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4557/tid=4560] ppid=4555 vsize=283628 CPUtime=0.29 cores=0,2,4,6
/proc/4557/task/4560/stat : 4560 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 505 0 0 0 29 0 0 0 25 0 4 0 523261935 290435072 1991 33554432000 4194304 4627427 140735301613328 18446744073709551615 4333042 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 283628

[startup+0.700636 s]
/proc/loadavg: 8.09 8.05 7.89 5/180 4557
/proc/meminfo: memFree=24116656/32951124 swapFree=67111524/67111528
[pid=4557] ppid=4555 vsize=284776 CPUtime=2.77 cores=0,2,4,6
/proc/4557/stat : 4557 (strangenight2-m) R 4555 4557 4006 0 -1 4202496 4255 0 0 0 277 0 0 0 18 0 4 0 523261935 291610624 2390 33554432000 4194304 4627427 140735301613328 18446744073709551615 4308376 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4557/statm: 71194 2390 385 106 0 66165 0
[pid=4557/tid=4558] ppid=4555 vsize=284776 CPUtime=0.69 cores=0,2,4,6
/proc/4557/task/4558/stat : 4558 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 1038 0 0 0 69 0 0 0 18 0 4 0 523261935 291610624 2390 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4557/tid=4559] ppid=4555 vsize=284776 CPUtime=0.69 cores=0,2,4,6
/proc/4557/task/4559/stat : 4559 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 907 0 0 0 69 0 0 0 18 0 4 0 523261935 291610624 2390 33554432000 4194304 4627427 140735301613328 18446744073709551615 4338618 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4557/tid=4560] ppid=4555 vsize=284776 CPUtime=0.69 cores=0,2,4,6
/proc/4557/task/4560/stat : 4560 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 866 0 0 0 69 0 0 0 25 0 4 0 523261935 291610624 2390 33554432000 4194304 4627427 140735301613328 18446744073709551615 4350055 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284776

[startup+1.50049 s]
/proc/loadavg: 8.24 8.08 7.90 10/184 4561
/proc/meminfo: memFree=24090788/32951124 swapFree=67111524/67111528
[pid=4557] ppid=4555 vsize=285516 CPUtime=5.96 cores=0,2,4,6
/proc/4557/stat : 4557 (strangenight2-m) R 4555 4557 4006 0 -1 4202496 7994 0 0 0 596 0 0 0 20 0 4 0 523261935 292368384 4315 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4557/statm: 71379 4315 389 106 0 66350 0
[pid=4557/tid=4558] ppid=4555 vsize=285516 CPUtime=1.49 cores=0,2,4,6
/proc/4557/task/4558/stat : 4558 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 1615 0 0 0 149 0 0 0 20 0 4 0 523261935 292368384 4315 33554432000 4194304 4627427 140735301613328 18446744073709551615 4308231 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4557/tid=4559] ppid=4555 vsize=285516 CPUtime=1.49 cores=0,2,4,6
/proc/4557/task/4559/stat : 4559 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 1601 0 0 0 149 0 0 0 19 0 4 0 523261935 292368384 4315 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4557/tid=4560] ppid=4555 vsize=285516 CPUtime=1.48 cores=0,2,4,6
/proc/4557/task/4560/stat : 4560 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 1556 0 0 0 148 0 0 0 25 0 4 0 523261935 292368384 4315 33554432000 4194304 4627427 140735301613328 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 285516

[startup+3.1002 s]
/proc/loadavg: 8.24 8.08 7.90 9/184 4561
/proc/meminfo: memFree=24067104/32951124 swapFree=67111524/67111528
[pid=4557] ppid=4555 vsize=290560 CPUtime=12.35 cores=0,2,4,6
/proc/4557/stat : 4557 (strangenight2-m) R 4555 4557 4006 0 -1 4202496 16782 0 0 0 1234 1 0 0 25 0 4 0 523261935 297533440 8293 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309155 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4557/statm: 72640 8293 389 106 0 67611 0
[pid=4557/tid=4558] ppid=4555 vsize=290560 CPUtime=3.08 cores=0,2,4,6
/proc/4557/task/4558/stat : 4558 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 3686 0 0 0 308 0 0 0 25 0 4 0 523261935 297533440 8293 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4557/tid=4559] ppid=4555 vsize=290560 CPUtime=3.08 cores=0,2,4,6
/proc/4557/task/4559/stat : 4559 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 4481 0 0 0 308 0 0 0 25 0 4 0 523261935 297533440 8293 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4557/tid=4560] ppid=4555 vsize=290560 CPUtime=3.07 cores=0,2,4,6
/proc/4557/task/4560/stat : 4560 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 4117 0 0 0 307 0 0 0 25 0 4 0 523261935 297533440 8293 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 290560

[startup+6.30062 s]
/proc/loadavg: 8.22 8.08 7.90 9/184 4561
/proc/meminfo: memFree=24044692/32951124 swapFree=67111524/67111528
[pid=4557] ppid=4555 vsize=297480 CPUtime=25.15 cores=0,2,4,6
/proc/4557/stat : 4557 (strangenight2-m) R 4555 4557 4006 0 -1 4202496 26127 0 0 0 2511 4 0 0 25 0 4 0 523261935 304619520 11345 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309360 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4557/statm: 74370 11345 389 106 0 69341 0
[pid=4557/tid=4558] ppid=4555 vsize=297480 CPUtime=6.28 cores=0,2,4,6
/proc/4557/task/4558/stat : 4558 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 6651 0 0 0 628 0 0 0 25 0 4 0 523261935 304619520 11345 33554432000 4194304 4627427 140735301613328 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4557/tid=4559] ppid=4555 vsize=297480 CPUtime=6.28 cores=0,2,4,6
/proc/4557/task/4559/stat : 4559 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 7158 0 0 0 628 0 0 0 25 0 4 0 523261935 304619520 11345 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4557/tid=4560] ppid=4555 vsize=297480 CPUtime=6.25 cores=0,2,4,6
/proc/4557/task/4560/stat : 4560 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 5794 0 0 0 625 0 0 0 25 0 4 0 523261935 304619520 11345 33554432000 4194304 4627427 140735301613328 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 297480

[startup+12.7005 s]
/proc/loadavg: 8.20 8.08 7.90 9/184 4561
/proc/meminfo: memFree=24009448/32951124 swapFree=67111524/67111528
[pid=4557] ppid=4555 vsize=301856 CPUtime=50.71 cores=0,2,4,6
/proc/4557/stat : 4557 (strangenight2-m) R 4555 4557 4006 0 -1 4202496 41898 0 0 0 5063 8 0 0 25 0 4 0 523261935 309100544 16496 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4557/statm: 75464 16496 389 106 0 70435 0
[pid=4557/tid=4558] ppid=4555 vsize=301856 CPUtime=12.68 cores=0,2,4,6
/proc/4557/task/4558/stat : 4558 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 10014 0 0 0 1266 2 0 0 25 0 4 0 523261935 309100544 16496 33554432000 4194304 4627427 140735301613328 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4557/tid=4559] ppid=4555 vsize=301856 CPUtime=12.68 cores=0,2,4,6
/proc/4557/task/4559/stat : 4559 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 9910 0 0 0 1267 1 0 0 25 0 4 0 523261935 309100544 16496 33554432000 4194304 4627427 140735301613328 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4557/tid=4560] ppid=4555 vsize=301856 CPUtime=12.62 cores=0,2,4,6
/proc/4557/task/4560/stat : 4560 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 10270 0 0 0 1260 2 0 0 25 0 4 0 523261935 309100544 16496 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 301856

[startup+25.5011 s]
/proc/loadavg: 8.17 8.08 7.90 9/184 4561
/proc/meminfo: memFree=23977072/32951124 swapFree=67111524/67111528
[pid=4557] ppid=4555 vsize=310792 CPUtime=101.84 cores=0,2,4,6
/proc/4557/stat : 4557 (strangenight2-m) R 4555 4557 4006 0 -1 4202496 64254 0 0 0 10171 13 0 0 25 0 4 0 523261935 318251008 21888 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4557/statm: 77698 21888 389 106 0 72669 0
[pid=4557/tid=4558] ppid=4555 vsize=310792 CPUtime=25.48 cores=0,2,4,6
/proc/4557/task/4558/stat : 4558 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 15991 0 0 0 2545 3 0 0 25 0 4 0 523261935 318251008 21888 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4557/tid=4559] ppid=4555 vsize=310792 CPUtime=25.49 cores=0,2,4,6
/proc/4557/task/4559/stat : 4559 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 15742 0 0 0 2546 3 0 0 25 0 4 0 523261935 318251008 21888 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4557/tid=4560] ppid=4555 vsize=310792 CPUtime=25.35 cores=0,2,4,6
/proc/4557/task/4560/stat : 4560 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 15595 0 0 0 2532 3 0 0 25 0 4 0 523261935 318251008 21888 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 310792

[startup+51.1005 s]
/proc/loadavg: 8.16 8.08 7.91 9/184 4562
/proc/meminfo: memFree=23932260/32951124 swapFree=67111524/67111528
[pid=4557] ppid=4555 vsize=320320 CPUtime=204.09 cores=0,2,4,6
/proc/4557/stat : 4557 (strangenight2-m) R 4555 4557 4006 0 -1 4202496 96077 0 0 0 20389 20 0 0 25 0 4 0 523261935 328007680 27264 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4557/statm: 80080 27264 389 106 0 75051 0
[pid=4557/tid=4558] ppid=4555 vsize=320320 CPUtime=51.08 cores=0,2,4,6
/proc/4557/task/4558/stat : 4558 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 24249 0 0 0 5103 5 0 0 25 0 4 0 523261935 328007680 27264 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4557/tid=4559] ppid=4555 vsize=320320 CPUtime=51.09 cores=0,2,4,6
/proc/4557/task/4559/stat : 4559 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 24083 0 0 0 5104 5 0 0 25 0 4 0 523261935 328007680 27264 33554432000 4194304 4627427 140735301613328 18446744073709551615 4310133 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4557/tid=4560] ppid=4555 vsize=320320 CPUtime=50.82 cores=0,2,4,6
/proc/4557/task/4560/stat : 4560 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 22714 0 0 0 5078 4 0 0 25 0 4 0 523261935 328007680 27264 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 320320

[startup+102.301 s]
/proc/loadavg: 8.12 8.08 7.91 9/184 4563
/proc/meminfo: memFree=23886244/32951124 swapFree=67111524/67111528
[pid=4557] ppid=4555 vsize=332144 CPUtime=408.64 cores=0,2,4,6
/proc/4557/stat : 4557 (strangenight2-m) R 4555 4557 4006 0 -1 4202496 147473 0 0 0 40829 35 0 0 25 0 4 0 523261935 340115456 33349 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4557/statm: 83036 33349 389 106 0 78007 0
[pid=4557/tid=4558] ppid=4555 vsize=332144 CPUtime=102.29 cores=0,2,4,6
/proc/4557/task/4558/stat : 4558 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 35884 0 0 0 10220 9 0 0 25 0 4 0 523261935 340115456 33349 33554432000 4194304 4627427 140735301613328 18446744073709551615 4308268 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4557/tid=4559] ppid=4555 vsize=332144 CPUtime=102.29 cores=0,2,4,6
/proc/4557/task/4559/stat : 4559 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 35988 0 0 0 10221 8 0 0 25 0 4 0 523261935 340115456 33349 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4557/tid=4560] ppid=4555 vsize=332144 CPUtime=101.75 cores=0,2,4,6
/proc/4557/task/4560/stat : 4560 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 36974 0 0 0 10167 8 0 0 25 0 4 0 523261935 340115456 33349 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 332144

[startup+162.3 s]

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

[pid=4557] ppid=4555 vsize=499068 CPUtime=2565.68 cores=0,2,4,6
/proc/4557/stat : 4557 (strangenight2-m) R 4555 4557 4006 0 -1 4202496 459068 0 0 0 256419 149 0 0 25 0 4 0 523261935 511045632 75177 33554432000 4194304 4627427 140735301613328 18446744073709551615 4427693 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4557/statm: 124767 75177 389 106 0 119738 0
[pid=4557/tid=4558] ppid=4555 vsize=499068 CPUtime=642.23 cores=0,2,4,6
/proc/4557/task/4558/stat : 4558 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 104872 0 0 0 64190 33 0 0 25 0 4 0 523261935 511045632 75177 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4557/tid=4559] ppid=4555 vsize=499068 CPUtime=642.3 cores=0,2,4,6
/proc/4557/task/4559/stat : 4559 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 115942 0 0 0 64195 35 0 0 25 0 4 0 523261935 511045632 75177 33554432000 4194304 4627427 140735301613328 18446744073709551615 4299657 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4557/tid=4560] ppid=4555 vsize=499068 CPUtime=638.82 cores=0,2,4,6
/proc/4557/task/4560/stat : 4560 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 116792 0 0 0 63842 40 0 0 25 0 4 0 523261935 511045632 75177 33554432000 4194304 4627427 140735301613328 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2565.68
Current children cumulated vsize (KiB) 499068

[startup+702.301 s]
/proc/loadavg: 8.08 8.06 7.97 9/184 4579
/proc/meminfo: memFree=23555660/32951124 swapFree=67111524/67111528
[pid=4557] ppid=4555 vsize=487356 CPUtime=2805.34 cores=0,2,4,6
/proc/4557/stat : 4557 (strangenight2-m) R 4555 4557 4006 0 -1 4202496 484276 0 0 0 280376 158 0 0 25 0 4 0 523261935 499052544 78402 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309220 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4557/statm: 121839 78402 389 106 0 116810 0
[pid=4557/tid=4558] ppid=4555 vsize=487356 CPUtime=702.22 cores=0,2,4,6
/proc/4557/task/4558/stat : 4558 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 111879 0 0 0 70187 35 0 0 25 0 4 0 523261935 499052544 78402 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309111 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4557/tid=4559] ppid=4555 vsize=487356 CPUtime=702.3 cores=0,2,4,6
/proc/4557/task/4559/stat : 4559 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 121787 0 0 0 70192 38 0 0 25 0 4 0 523261935 499052544 78402 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309170 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4557/tid=4560] ppid=4555 vsize=487356 CPUtime=698.49 cores=0,2,4,6
/proc/4557/task/4560/stat : 4560 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 122889 0 0 0 69807 42 0 0 25 0 4 0 523261935 499052544 78402 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.34
Current children cumulated vsize (KiB) 487356

[startup+762.301 s]
/proc/loadavg: 8.09 8.07 7.98 9/184 4581
/proc/meminfo: memFree=23540124/32951124 swapFree=67111524/67111528
[pid=4557] ppid=4555 vsize=487688 CPUtime=3045.04 cores=0,2,4,6
/proc/4557/stat : 4557 (strangenight2-m) R 4555 4557 4006 0 -1 4202496 506390 0 0 0 304336 168 0 0 25 0 4 0 523261935 499392512 79131 33554432000 4194304 4627427 140735301613328 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4557/statm: 121922 79131 389 106 0 116893 0
[pid=4557/tid=4558] ppid=4555 vsize=487688 CPUtime=762.22 cores=0,2,4,6
/proc/4557/task/4558/stat : 4558 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 117922 0 0 0 76184 38 0 0 25 0 4 0 523261935 499392512 79131 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4557/tid=4559] ppid=4555 vsize=487688 CPUtime=762.31 cores=0,2,4,6
/proc/4557/task/4559/stat : 4559 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 127638 0 0 0 76190 41 0 0 25 0 4 0 523261935 499392512 79131 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4557/tid=4560] ppid=4555 vsize=487688 CPUtime=758.16 cores=0,2,4,6
/proc/4557/task/4560/stat : 4560 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 129026 0 0 0 75772 44 0 0 25 0 4 0 523261935 499392512 79131 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.04
Current children cumulated vsize (KiB) 487688

[startup+822.301 s]
/proc/loadavg: 8.10 8.07 7.98 9/184 4582
/proc/meminfo: memFree=23518036/32951124 swapFree=67111524/67111528
[pid=4557] ppid=4555 vsize=563280 CPUtime=3284.69 cores=0,2,4,6
/proc/4557/stat : 4557 (strangenight2-m) R 4555 4557 4006 0 -1 4202496 529690 0 0 0 328293 176 0 0 25 0 4 0 523261935 576798720 90563 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4557/statm: 140820 90563 389 106 0 135791 0
[pid=4557/tid=4558] ppid=4555 vsize=563280 CPUtime=822.2 cores=0,2,4,6
/proc/4557/task/4558/stat : 4558 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 124049 0 0 0 82181 39 0 0 25 0 4 0 523261935 576798720 90563 33554432000 4194304 4627427 140735301613328 18446744073709551615 4332955 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4557/tid=4559] ppid=4555 vsize=563280 CPUtime=822.31 cores=0,2,4,6
/proc/4557/task/4559/stat : 4559 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 132917 0 0 0 82187 44 0 0 25 0 4 0 523261935 576798720 90563 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4557/tid=4560] ppid=4555 vsize=563280 CPUtime=817.84 cores=0,2,4,6
/proc/4557/task/4560/stat : 4560 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 136934 0 0 0 81738 46 0 0 25 0 4 0 523261935 576798720 90563 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.69
Current children cumulated vsize (KiB) 563280

[startup+882.307 s]
/proc/loadavg: 8.09 8.07 7.99 9/184 4584
/proc/meminfo: memFree=23528168/32951124 swapFree=67111524/67111528
[pid=4557] ppid=4555 vsize=563620 CPUtime=3524.38 cores=0,2,4,6
/proc/4557/stat : 4557 (strangenight2-m) R 4555 4557 4006 0 -1 4202496 553054 0 0 0 352252 186 0 0 25 0 4 0 523261935 577146880 87230 33554432000 4194304 4627427 140735301613328 18446744073709551615 4308399 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4557/statm: 140905 87230 389 106 0 135876 0
[pid=4557/tid=4558] ppid=4555 vsize=563620 CPUtime=882.21 cores=0,2,4,6
/proc/4557/task/4558/stat : 4558 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 129934 0 0 0 88179 42 0 0 25 0 4 0 523261935 577146880 87230 33554432000 4194304 4627427 140735301613328 18446744073709551615 4324120 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4557/tid=4559] ppid=4555 vsize=563620 CPUtime=882.32 cores=0,2,4,6
/proc/4557/task/4559/stat : 4559 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 140461 0 0 0 88185 47 0 0 25 0 4 0 523261935 577146880 87230 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4557/tid=4560] ppid=4555 vsize=563620 CPUtime=877.51 cores=0,2,4,6
/proc/4557/task/4560/stat : 4560 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 143414 0 0 0 87702 49 0 0 25 0 4 0 523261935 577146880 87230 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.38
Current children cumulated vsize (KiB) 563620

[startup+942.301 s]
/proc/loadavg: 8.03 8.05 7.99 9/184 4586
/proc/meminfo: memFree=23524792/32951124 swapFree=67111524/67111528
[pid=4557] ppid=4555 vsize=563984 CPUtime=3764.04 cores=0,2,4,6
/proc/4557/stat : 4557 (strangenight2-m) R 4555 4557 4006 0 -1 4202496 573867 0 0 0 376209 195 0 0 25 0 4 0 523261935 577519616 84714 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4557/statm: 140996 84714 389 106 0 135967 0
[pid=4557/tid=4558] ppid=4555 vsize=563984 CPUtime=942.2 cores=0,2,4,6
/proc/4557/task/4558/stat : 4558 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 135753 0 0 0 94176 44 0 0 25 0 4 0 523261935 577519616 84714 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309340 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4557/tid=4559] ppid=4555 vsize=563984 CPUtime=942.31 cores=0,2,4,6
/proc/4557/task/4559/stat : 4559 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 146635 0 0 0 94182 49 0 0 25 0 4 0 523261935 577519616 84714 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4557/tid=4560] ppid=4555 vsize=563984 CPUtime=937.18 cores=0,2,4,6
/proc/4557/task/4560/stat : 4560 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 149262 0 0 0 93667 51 0 0 25 0 4 0 523261935 577519616 84714 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.04
Current children cumulated vsize (KiB) 563984

[startup+1002.3 s]
/proc/loadavg: 8.07 8.06 8.00 9/184 4587
/proc/meminfo: memFree=23464636/32951124 swapFree=67111524/67111528
[pid=4557] ppid=4555 vsize=571928 CPUtime=4003.7 cores=0,2,4,6
/proc/4557/stat : 4557 (strangenight2-m) R 4555 4557 4006 0 -1 4202496 598518 0 0 0 400167 203 0 0 25 0 4 0 523261935 585654272 93348 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4557/statm: 142982 93348 389 106 0 137953 0
[pid=4557/tid=4558] ppid=4555 vsize=571928 CPUtime=1002.19 cores=0,2,4,6
/proc/4557/task/4558/stat : 4558 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 142799 0 0 0 100173 46 0 0 25 0 4 0 523261935 585654272 93348 33554432000 4194304 4627427 140735301613328 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4557/tid=4559] ppid=4555 vsize=571928 CPUtime=1002.32 cores=0,2,4,6
/proc/4557/task/4559/stat : 4559 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 152432 0 0 0 100181 51 0 0 25 0 4 0 523261935 585654272 93348 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4557/tid=4560] ppid=4555 vsize=571928 CPUtime=996.86 cores=0,2,4,6
/proc/4557/task/4560/stat : 4560 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 155524 0 0 0 99633 53 0 0 25 0 4 0 523261935 585654272 93348 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.7
Current children cumulated vsize (KiB) 571928

[startup+1062.3 s]
/proc/loadavg: 8.12 8.07 8.00 9/184 4589
/proc/meminfo: memFree=23471680/32951124 swapFree=67111524/67111528
[pid=4557] ppid=4555 vsize=585480 CPUtime=4243.38 cores=0,2,4,6
/proc/4557/stat : 4557 (strangenight2-m) R 4555 4557 4006 0 -1 4202496 618459 0 0 0 424125 213 0 0 25 0 4 0 523261935 599531520 91734 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309089 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4557/statm: 146370 91734 389 106 0 141341 0
[pid=4557/tid=4558] ppid=4555 vsize=585480 CPUtime=1062.18 cores=0,2,4,6
/proc/4557/task/4558/stat : 4558 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 146987 0 0 0 106170 48 0 0 25 0 4 0 523261935 599531520 91734 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4557/tid=4559] ppid=4555 vsize=585480 CPUtime=1062.32 cores=0,2,4,6
/proc/4557/task/4559/stat : 4559 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 156937 0 0 0 106178 54 0 0 25 0 4 0 523261935 599531520 91734 33554432000 4194304 4627427 140735301613328 18446744073709551615 4324134 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4557/tid=4560] ppid=4555 vsize=585480 CPUtime=1056.54 cores=0,2,4,6
/proc/4557/task/4560/stat : 4560 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 161313 0 0 0 105598 56 0 0 25 0 4 0 523261935 599531520 91734 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.38
Current children cumulated vsize (KiB) 585480

[startup+1122.3 s]
/proc/loadavg: 8.13 8.09 8.01 9/184 4591
/proc/meminfo: memFree=23484920/32951124 swapFree=67111524/67111528
[pid=4557] ppid=4555 vsize=585856 CPUtime=4483.05 cores=0,2,4,6
/proc/4557/stat : 4557 (strangenight2-m) R 4555 4557 4006 0 -1 4202496 640522 0 0 0 448082 223 0 0 25 0 4 0 523261935 599916544 91448 33554432000 4194304 4627427 140735301613328 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4557/statm: 146464 91448 389 106 0 141435 0
[pid=4557/tid=4558] ppid=4555 vsize=585856 CPUtime=1122.18 cores=0,2,4,6
/proc/4557/task/4558/stat : 4558 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 152496 0 0 0 112167 51 0 0 25 0 4 0 523261935 599916544 91448 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4557/tid=4559] ppid=4555 vsize=585856 CPUtime=1122.31 cores=0,2,4,6
/proc/4557/task/4559/stat : 4559 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 163632 0 0 0 112175 56 0 0 25 0 4 0 523261935 599916544 91448 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4557/tid=4560] ppid=4555 vsize=585856 CPUtime=1116.21 cores=0,2,4,6
/proc/4557/task/4560/stat : 4560 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 165637 0 0 0 111563 58 0 0 25 0 4 0 523261935 599916544 91448 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.05
Current children cumulated vsize (KiB) 585856

[startup+1182.3 s]
/proc/loadavg: 8.13 8.10 8.01 9/184 4592
/proc/meminfo: memFree=23450532/32951124 swapFree=67111524/67111528
[pid=4557] ppid=4555 vsize=586216 CPUtime=4722.72 cores=0,2,4,6
/proc/4557/stat : 4557 (strangenight2-m) R 4555 4557 4006 0 -1 4202496 662312 0 0 0 472039 233 0 0 25 0 4 0 523261935 600285184 91637 33554432000 4194304 4627427 140735301613328 18446744073709551615 4308265 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4557/statm: 146554 91637 389 106 0 141525 0
[pid=4557/tid=4558] ppid=4555 vsize=586216 CPUtime=1182.17 cores=0,2,4,6
/proc/4557/task/4558/stat : 4558 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 158196 0 0 0 118163 54 0 0 25 0 4 0 523261935 600285184 91637 33554432000 4194304 4627427 140735301613328 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4557/tid=4559] ppid=4555 vsize=586216 CPUtime=1182.32 cores=0,2,4,6
/proc/4557/task/4559/stat : 4559 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 169386 0 0 0 118173 59 0 0 25 0 4 0 523261935 600285184 91637 33554432000 4194304 4627427 140735301613328 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4557/tid=4560] ppid=4555 vsize=586216 CPUtime=1175.88 cores=0,2,4,6
/proc/4557/task/4560/stat : 4560 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 171227 0 0 0 117528 60 0 0 25 0 4 0 523261935 600285184 91637 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.72
Current children cumulated vsize (KiB) 586216



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 7.77 8.02 7.99 6/176 4609
/proc/meminfo: memFree=23764232/32951124 swapFree=67111524/67111528
[pid=4557] ppid=4555 vsize=586264 CPUtime=4800.24 cores=0,2,4,6
/proc/4557/stat : 4557 (strangenight2-m) R 4555 4557 4006 0 -1 4202496 667672 0 0 0 479787 237 0 0 25 0 4 0 523261935 600334336 93807 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4557/statm: 146566 93807 389 106 0 141537 0
[pid=4557/tid=4558] ppid=4555 vsize=586264 CPUtime=1201.58 cores=0,2,4,6
/proc/4557/task/4558/stat : 4558 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 159236 0 0 0 120103 55 0 0 25 0 4 0 523261935 600334336 93807 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4557/tid=4559] ppid=4555 vsize=586264 CPUtime=1201.73 cores=0,2,4,6
/proc/4557/task/4559/stat : 4559 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 170543 0 0 0 120112 61 0 0 25 0 4 0 523261935 600334336 93807 33554432000 4194304 4627427 140735301613328 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4557/tid=4560] ppid=4555 vsize=586264 CPUtime=1195.18 cores=0,2,4,6
/proc/4557/task/4560/stat : 4560 (strangenight2-m) R 4555 4557 4006 0 -1 4202560 172187 0 0 0 119457 61 0 0 25 0 4 0 523261935 600334336 93807 33554432000 4194304 4627427 140735301613328 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 586264

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.28
CPU user time (s): 4797.89
CPU system time (s): 2.39164
CPU usage (%): 399.447
Max. virtual memory (cumulated for all children) (KiB): 649256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.89
system time used= 2.39164
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 667673
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= 223
involuntary context switches= 21140

runsolver used 2.02069 second user time and 4.53831 second system time

The end

Launcher Data 

Begin job on node139 at 2011-04-30 00:37:22
IDJOB=3174273
IDBENCH=83091
IDSOLVER=1586
FILE ID=node139/3174273-1304116642
RUNJOBID= node139-1304115436-4409
PBS_JOBID= 13170691
Free space on /tmp= 72548 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v450-c1917-S1959079526-027.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174273-1304116642/watcher-3174273-1304116642 -o /tmp/evaluation-result-3174273-1304116642/solver-3174273-1304116642 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174273-1304116642.cnf

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

MD5SUM BENCH= f44a4cf4fe89dcbd323f749ee3ba0f10
RANDOM SEED=296915636

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24116936 kB
Buffers:       2049552 kB
Cached:        6179676 kB
SwapCached:          4 kB
Active:         966568 kB
Inactive:      7348572 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24116936 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           11664 kB
Writeback:           8 kB
AnonPages:       86036 kB
Mapped:          15552 kB
Slab:           454444 kB
PageTables:       4744 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   294808 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= 72548 MiB
End job on node139 at 2011-04-30 00:57:26