Trace number 3273477

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.24 1201.75

General information on the benchmark

Namecrafted/spence/sgen/
sgen3-n180-s33098896-unsat.cnf
MD5SUM1221fb51c407dee7559369d7c6eedb4e
Bench CategoryCRAFTED (crafted 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 variables181
Number of clauses372
Sum of the clauses size1116
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3372
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 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3273477-1304127695.cnf'
0.00/0.00	c -- header says num vars:            181
0.00/0.00	c -- header says num clauses:         372
0.00/0.00	c -- clauses added:            0 learnts,          372 normals,            0 xors
0.00/0.00	c -- vars added        181
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       181       372         0         0      1116         0   no data   no data  --
0.00/0.00	c asymm  cl-useful: 0/372/372 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
0.00/0.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    181 time:  0.00 s
0.00/0.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.00	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.00	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.00	c calculated reachability. Time: 0.00
0.00/0.00	c Calc default polars -  time:   0.00 s pos:       4 undec:     171 neg:       6
0.00/0.00	c =========================================================================================
0.00/0.00	c types(t): F = full restart, N = normal restart
0.00/0.00	c types(t): S = simplification begin/end, E = solution found
0.00/0.00	c restart types(rt): st = static, dy = dynamic
0.00/0.00	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.00	c  B st     0         0       181       372         0         0      1116         0   no data   no data  --
0.00/0.03	c Decided on static restart strategy
0.19/0.08	c  N st     8      4916       181       372         0      4446      1116     92096   no data   no data  --
0.77/0.24	c  N st    10     11299       181       372         0      4156      1116     77384   no data   no data  --
1.57/0.43	c  N st    11     17043       181       372         0      9242      1116    218936   no data   no data  --
2.77/0.70	c  F st    12     25002       181       372         0     11158      1116    261862   no data   no data  --
2.77/0.70	c  N st    12     25002       181       372         0     11158      1116    261862   no data   no data  --
3.18/0.84	c Decided on static restart strategy
3.18/0.84	c  N st    18     30000       181       372         0      9690      1116    193944   no data   no data  --
3.18/0.84	c  S st    18     30000       181       372         0      9690      1116    193944   no data   no data  --
3.18/0.86	c  S st    18     30500       181       372         0     10167      1116    203811   no data   no data  --
3.18/0.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.18/0.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3.18/0.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
3.18/0.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.18/0.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.18/0.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    181 time:  0.00 s
3.18/0.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.99/1.06	c lits-rem:       851  cl-subs:      506  v-elim:      0  v-fix:    0  time:  0.75 s
3.99/1.06	c asymm  cl-useful: 0/372/372 lits-rem:0 time: 0.01
3.99/1.06	c calculated reachability. Time: 0.00
3.99/1.06	c  N st    18     30500       181       372         0      9661      1116    187958   no data   no data  --
5.17/1.30	c  N st    20     37611       181       372         0      8947      1116    164351   no data   no data  --
5.97/1.54	c  N st    21     44010       181       372         0     14607      1116    346287   no data   no data  --
6.36/1.60	c  S st    22     45750       181       372         0      8168      1116    126949   no data   no data  --
6.36/1.62	c  S st    22     46252       181       372         0      8651      1116    137734   no data   no data  --
6.36/1.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
6.36/1.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
6.36/1.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
6.36/1.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
6.36/1.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.36/1.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    181 time:  0.00 s
6.36/1.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
6.36/1.67	c lits-rem:       333  cl-subs:       92  v-elim:      0  v-fix:    0  time:  0.17 s
6.36/1.67	c vivif2 --  cl tried      372 cl shrink        0 lits rem          0 time: 0.00
6.36/1.67	c vivif2 --  cl tried     8559 cl shrink        0 lits rem          0 time: 0.00
6.36/1.67	c asymm  cl-useful: 0/372/372 lits-rem:0 time: 0.01
6.36/1.67	c calculated reachability. Time: 0.00
6.36/1.67	c  N st    22     46252       181       372         0      8559      1116    134651   no data   no data  --
8.79/2.29	c  N st    23     60649       181       372         0     12522      1116    267890   no data   no data  --
10.76/2.73	c  N st    24     69379       181       372         0     10568      1116    178395   no data   no data  --
10.76/2.73	c  S st    24     69379       181       372         0     10568      1116    178395   no data   no data  --
10.76/2.75	c  S st    24     69881       181       372         0     11048      1116    188816   no data   no data  --
10.76/2.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.76/2.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.76/2.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
10.76/2.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.76/2.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.76/2.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    181 time:  0.00 s
10.76/2.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
11.96/3.05	c lits-rem:       349  cl-subs:       98  v-elim:      0  v-fix:    0  time:  1.17 s
11.96/3.05	c vivif2 --  cl tried      372 cl shrink        0 lits rem          0 time: 0.00
11.96/3.05	c vivif2 --  cl tried    10950 cl shrink        0 lits rem          0 time: 0.01
11.96/3.06	c asymm  cl-useful: 0/372/372 lits-rem:0 time: 0.01
11.96/3.06	c calculated reachability. Time: 0.00
11.96/3.06	c  N st    24     69881       181       372         0     10950      1116    185372   no data   no data  --
15.55/3.99	c  F st    25     87500       181       372         0     16085      1116    355510   no data   no data  --
15.55/3.99	c  N st    25     87500       181       372         0     16085      1116    355510   no data   no data  --
16.76/4.25	c Decided on static restart strategy
17.57/4.41	c  N st    32     95541       181       372         0     23421      1116    592616   no data   no data  --
18.75/4.75	c  N st    34    104823       181       372         0     19816      1116    411019   no data   no data  --
18.75/4.75	c  S st    34    104823       181       372         0     19816      1116    411019   no data   no data  --
18.75/4.79	c  S st    34    105325       181       372         0     20309      1116    422171   no data   no data  --
18.75/4.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
18.75/4.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
19.15/4.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
19.15/4.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
19.15/4.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
19.15/4.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    181 time:  0.00 s
19.15/4.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
24.74/6.21	c lits-rem:      2402  cl-subs:     1148  v-elim:      0  v-fix:    0  time:  5.59 s
24.74/6.21	c vivif2 --  cl tried      372 cl shrink        0 lits rem          0 time: 0.00
24.74/6.21	c vivif2 --  cl tried    19161 cl shrink        0 lits rem          0 time: 0.01
24.74/6.22	c asymm  cl-useful: 0/372/372 lits-rem:0 time: 0.02
24.74/6.22	c calculated reachability. Time: 0.00
24.74/6.22	c  N st    34    105325       181       372         0     19161      1116    379927   no data   no data  --
26.36/6.66	c  N st    35    114924       181       372         0     15078      1116    265713   no data   no data  --
28.73/7.27	c  N st    36    129322       181       372         0     14233      1116    229068   no data   no data  --
32.73/8.26	c  N st    37    150920       181       372         0     19373      1116    359069   no data   no data  --
33.93/8.57	c  S st    38    157989       181       372         0     25752      1116    513255   no data   no data  --
34.33/8.61	c  S st    38    158491       181       372         0     26246      1116    525227   no data   no data  --
34.33/8.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
34.33/8.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
34.33/8.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
34.33/8.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
34.33/8.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
34.33/8.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    181 time:  0.00 s
34.33/8.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
40.72/10.20	c lits-rem:      4651  cl-subs:     1406  v-elim:      0  v-fix:    0  time:  6.24 s
40.72/10.20	c vivif2 --  cl tried      372 cl shrink        0 lits rem          0 time: 0.00
40.72/10.20	c vivif2 --  cl tried    24840 cl shrink        0 lits rem          0 time: 0.02
40.72/10.21	c asymm  cl-useful: 0/372/372 lits-rem:0 time: 0.03
40.72/10.21	c calculated reachability. Time: 0.00
40.72/10.21	c  N st    38    158491       181       372         0     24840      1116    477428   no data   no data  --
50.31/12.61	c  N st    39    207081       181       372         0     19587      1116    318760   no data   no data  --
57.49/14.40	c  N st    40    237738       181       372         0     28297      1116    568148   no data   no data  --
57.49/14.40	c  S st    40    237738       181       372         0     28297      1116    568148   no data   no data  --
57.49/14.45	c  S st    40    238240       181       372         0     28789      1116    578834   no data   no data  --
57.49/14.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
57.49/14.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
57.49/14.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.04
57.49/14.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
57.49/14.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
57.49/14.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    181 time:  0.00 s
57.49/14.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
68.28/17.11	c lits-rem:      4052  cl-subs:     3039  v-elim:      0  v-fix:    0  time: 10.50 s
68.28/17.11	c vivif2 --  cl tried      372 cl shrink        0 lits rem          0 time: 0.00
68.28/17.11	c vivif2 --  cl tried    25750 cl shrink        0 lits rem          0 time: 0.02
68.28/17.12	c asymm  cl-useful: 0/372/372 lits-rem:0 time: 0.04
68.28/17.12	c calculated reachability. Time: 0.00
68.28/17.12	c  N st    40    238240       181       372         0     25750      1116    471776   no data   no data  --
81.86/20.57	c  F st    41    306250       181       372         0     28172      1116    518726   no data   no data  --
81.86/20.57	c  N st    41    306250       181       372         0     28172      1116    518726   no data   no data  --
83.07/20.84	c Decided on static restart strategy
88.65/22.21	c  N st    51    334552       181       372         0     32993      1116    632639   no data   no data  --
94.64/23.70	c  N st    53    357360       181       372         0     31421      1116    572908   no data   no data  --
94.64/23.70	c  S st    53    357360       181       372         0     31421      1116    572908   no data   no data  --
94.64/23.76	c  S st    53    357861       181       372         0     31907      1116    585751   no data   no data  --
94.64/23.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
94.64/23.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
94.64/23.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
94.64/23.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
94.64/23.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
94.64/23.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    181 time:  0.00 s
94.64/23.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
101.43/25.42	c lits-rem:      3514  cl-subs:      942  v-elim:      0  v-fix:    0  time:  6.53 s
101.43/25.42	c vivif2 --  cl tried      372 cl shrink        0 lits rem          0 time: 0.00
101.43/25.42	c vivif2 --  cl tried    30965 cl shrink        0 lits rem          0 time: 0.02
101.43/25.43	c asymm  cl-useful: 0/372/372 lits-rem:0 time: 0.03
101.43/25.43	c calculated reachability. Time: 0.00
101.43/25.43	c  N st    53    357861       181       372         0     30965      1116    548994   no data   no data  --
109.85/27.57	c  N st    54    390255       181       372         0     35920      1116    775731   no data   no data  --
123.80/31.04	c  N st    55    438844       181       372         0     29254      1116    503615   no data   no data  --
145.36/36.42	c  N st    56    511726       181       372         0     40553      1116    893851   no data   no data  --
153.38/38.44	c  N st    57    536791       181       372         0     36001      1116    686956   no data   no data  --
153.38/38.44	c  S st    57    536791       181       372         0     36001      1116    686956   no data   no data  --
153.38/38.50	c  S st    57    537292       181       372         0     36493      1116    699806   no data   no data  --
153.79/38.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
153.79/38.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
153.79/38.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
153.79/38.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
153.79/38.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
153.79/38.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    181 time:  0.00 s
153.79/38.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
163.34/40.91	c lits-rem:      7959  cl-subs:     2561  v-elim:      0  v-fix:    0  time:  9.50 s
163.34/40.91	c vivif2 --  cl tried      372 cl shrink        0 lits rem          0 time: 0.00
163.34/40.92	c vivif2 --  cl tried    33932 cl shrink        0 lits rem          0 time: 0.03
163.34/40.93	c asymm  cl-useful: 0/372/372 lits-rem:0 time: 0.04
163.34/40.93	c calculated reachability. Time: 0.00
163.34/40.93	c  N st    57    537292       181       372         0     33932      1116    604927   no data   no data  --
218.87/54.88	c  N st    58    701278       181       372         0     57900      1116   1332512   no data   no data  --
255.22/63.93	c  N st    59    805938       181       372         0     53785      1116   1149641   no data   no data  --
255.22/63.93	c  S st    59    805938       181       372         0     53785      1116   1149641   no data   no data  --
255.62/64.02	c  S st    59    806439       181       372         0     54275      1116   1161438   no data   no data  --
255.62/64.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
255.62/64.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
255.62/64.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.07
255.62/64.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
255.62/64.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
255.62/64.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    181 time:  0.00 s
255.62/64.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
292.77/73.33	c lits-rem:      9106  cl-subs:     6454  v-elim:      0  v-fix:    0  time: 36.95 s
292.77/73.33	c vivif2 --  cl tried      372 cl shrink        0 lits rem          0 time: 0.00
292.77/73.34	c vivif2 --  cl tried    47821 cl shrink        0 lits rem          0 time: 0.04
292.77/73.36	c asymm  cl-useful: 0/372/372 lits-rem:0 time: 0.08
292.77/73.36	c calculated reachability. Time: 0.00
292.77/73.36	c  N st    59    806439       181       372         0     47821      1116    939963   no data   no data  --
384.65/96.32	c  F st    60   1071877       181       372         0     64278      1116   1336198   no data   no data  --
384.65/96.32	c  N st    60   1071877       181       372         0     64278      1116   1336198   no data   no data  --
386.26/96.70	c Decided on static restart strategy
393.44/98.52	c  N st    70   1100181       181       372         0     50579      1116    903391   no data   no data  --
408.23/102.22	c  N st    72   1136174       181       372         0     42908      1116    641598   no data   no data  --
421.82/105.61	c  N st    73   1168566       181       372         0     72168      1116   1572393   no data   no data  --
436.17/109.22	c  N st    74   1209658       181       372         0     66037      1116   1294043   no data   no data  --
436.17/109.22	c  S st    74   1209658       181       372         0     66037      1116   1294043   no data   no data  --
436.57/109.35	c  S st    74   1210164       181       372         0     66534      1116   1306693   no data   no data  --
436.57/109.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
436.57/109.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
436.57/109.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.14
436.97/109.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
436.97/109.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
436.97/109.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    181 time:  0.00 s
436.97/109.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
474.14/118.75	c lits-rem:      4002  cl-subs:     3539  v-elim:      0  v-fix:    0  time: 37.19 s
474.14/118.75	c vivif2 --  cl tried      372 cl shrink        0 lits rem          0 time: 0.00
474.14/118.76	c vivif2 --  cl tried    62995 cl shrink        0 lits rem          0 time: 0.06
474.54/118.81	c asymm  cl-useful: 0/372/372 lits-rem:0 time: 0.18
474.54/118.81	c calculated reachability. Time: 0.00
474.54/118.81	c  N st    74   1210164       181       372         0     62995      1116   1190193   no data   no data  --
509.69/127.63	c  N st    75   1283046       181       372         0     83380      1116   1894331   no data   no data  --
559.20/140.09	c  N st    76   1392369       181       372         0     46952      1116    731766   no data   no data  --
634.70/158.94	c  N st    77   1556353       181       372         0     53819      1116    857356   no data   no data  --
697.42/174.61	c  N st    78   1710166       181       372         0     90396      1116   1908422   no data   no data  --
697.42/174.61	c  S st    78   1710166       181       372         0     90396      1116   1908422   no data   no data  --
697.82/174.76	c  S st    78   1710672       181       372         0     90889      1116   1921539   no data   no data  --
697.82/174.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
697.82/174.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
697.82/174.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.13
698.23/174.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
698.23/174.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
698.23/174.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    181 time:  0.00 s
698.23/174.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
758.54/189.92	c lits-rem:      3241  cl-subs:     5500  v-elim:      0  v-fix:    0  time: 60.13 s
758.54/189.92	c vivif2 --  cl tried      372 cl shrink        0 lits rem          0 time: 0.00
758.54/189.94	c vivif2 --  cl tried    85389 cl shrink        0 lits rem          0 time: 0.08
758.54/189.99	c asymm  cl-useful: 0/372/372 lits-rem:0 time: 0.18
758.54/189.99	c calculated reachability. Time: 0.00
758.54/189.99	c  N st    78   1710672       181       372         0     85389      1116   1741481   no data   no data  --
916.31/229.43	c  N st    79   2079636       181       372         0     91495      1116   1936869   no data   no data  --
977.83/244.86	c  N st    80   2210675       181       372         0     99276      1116   2159234   no data   no data  --
977.83/244.86	c  S st    80   2210675       181       372         0     99276      1116   2159234   no data   no data  --
978.63/245.06	c  S st    80   2211175       181       372         0     99769      1116   2172001   no data   no data  --
978.63/245.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
978.63/245.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
979.03/245.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
979.03/245.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
979.03/245.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
979.03/245.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    181 time:  0.00 s
979.03/245.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1047.73/262.31	c lits-rem:       971  cl-subs:     4460  v-elim:      0  v-fix:    0  time: 68.47 s
1047.73/262.31	c vivif2 --  cl tried      372 cl shrink        0 lits rem          0 time: 0.00
1047.73/262.34	c vivif2 --  cl tried    95309 cl shrink        0 lits rem          0 time: 0.09
1047.73/262.39	c asymm  cl-useful: 0/372/372 lits-rem:0 time: 0.20
1047.73/262.39	c calculated reachability. Time: 0.00
1047.73/262.39	c  N st    80   2211175       181       372         0     95309      1116   2010404   no data   no data  --
1275.03/319.25	c  N st    81   2711175       181       372         0    110806      1116   2471264   no data   no data  --
1275.03/319.25	c  S st    81   2711175       181       372         0    110806      1116   2471264   no data   no data  --
1275.83/319.44	c  S st    81   2711685       181       372         0    111308      1116   2484671   no data   no data  --
1275.83/319.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1275.83/319.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1275.83/319.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.18
1276.23/319.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1276.23/319.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1276.23/319.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    181 time:  0.00 s
1276.23/319.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1480.36/370.64	c lits-rem:      7614  cl-subs:    14653  v-elim:      0  v-fix:    0  time: 203.94 s
1480.36/370.64	c vivif2 --  cl tried      372 cl shrink        0 lits rem          0 time: 0.00
1480.36/370.67	c vivif2 --  cl tried    96655 cl shrink        0 lits rem          0 time: 0.09
1480.76/370.72	c asymm  cl-useful: 0/372/372 lits-rem:0 time: 0.21
1480.76/370.72	c calculated reachability. Time: 0.00
1480.76/370.72	c  N st    81   2711685       181       372         0     96655      1116   1938315   no data   no data  --
1776.33/444.76	c  N st    82   3211688       181       372         0     81292      1116   1405200   no data   no data  --
1776.33/444.76	c  S st    82   3211688       181       372         0     81292      1116   1405200   no data   no data  --
1777.13/444.90	c  S st    82   3212195       181       372         0     81792      1116   1419023   no data   no data  --
1777.13/444.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1777.13/444.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1777.13/444.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.12
1777.13/444.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1777.13/444.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1777.13/444.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    181 time:  0.00 s
1777.13/444.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1802.69/451.33	c lits-rem:      1995  cl-subs:     3071  v-elim:      0  v-fix:    0  time: 25.38 s
1802.69/451.33	c vivif2 --  cl tried      372 cl shrink        0 lits rem          0 time: 0.00
1802.69/451.35	c vivif2 --  cl tried    78721 cl shrink        0 lits rem          0 time: 0.06
1802.69/451.39	c asymm  cl-useful: 0/372/372 lits-rem:0 time: 0.15
1802.69/451.39	c calculated reachability. Time: 0.00
1802.69/451.39	c  N st    82   3212195       181       372         0     78721      1116   1304521   no data   no data  --
2142.62/536.43	c  N st    83   3712195       181       372         0     88539      1116   1509266   no data   no data  --
2142.62/536.43	c  S st    83   3712195       181       372         0     88539      1116   1509266   no data   no data  --
2143.43/536.60	c  S st    83   3712698       181       372         0     89027      1116   1522932   no data   no data  --
2143.43/536.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2143.43/536.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2143.43/536.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.13
2143.43/536.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2143.43/536.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2143.43/536.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    181 time:  0.00 s
2143.43/536.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2168.58/542.99	c lits-rem:      6259  cl-subs:     3663  v-elim:      0  v-fix:    0  time: 25.20 s
2168.58/542.99	c vivif2 --  cl tried      372 cl shrink        0 lits rem          0 time: 0.00
2168.98/543.01	c vivif2 --  cl tried    85364 cl shrink        0 lits rem          0 time: 0.07
2168.98/543.05	c asymm  cl-useful: 0/372/372 lits-rem:0 time: 0.17
2168.98/543.06	c calculated reachability. Time: 0.00
2168.98/543.06	c  N st    83   3712698       181       372         0     85364      1116   1395178   no data   no data  --
2196.15/549.88	c  F st    84   3751564       181       372         0    121626      1116   2719326   no data   no data  --
2196.15/549.88	c  N st    84   3751564       181       372         0    121626      1116   2719326   no data   no data  --
2199.75/550.71	c Decided on static restart strategy
2213.32/554.16	c  N st    94   3779868       181       372         0    147371      1116   3477648   no data   no data  --
2229.70/558.25	c  N st    96   3815865       181       372         0    103301      1116   1955613   no data   no data  --
2247.27/562.64	c  N st    97   3848257       181       372         0    132592      1116   2909439   no data   no data  --
2276.06/569.89	c  N st    98   3896845       181       372         0    100184      1116   1829637   no data   no data  --
2320.77/581.07	c  N st    99   3969729       181       372         0     85905      1116   1351825   no data   no data  --
2386.29/597.49	c  N st   100   4079053       181       372         0    103179      1116   1849816   no data   no data  --
2500.52/626.09	c  N st   101   4212699       181       372         0    144294      1116   3000729   no data   no data  --
2500.52/626.09	c  S st   101   4212699       181       372         0    144294      1116   3000729   no data   no data  --
2502.13/626.45	c  S st   101   4213201       181       372         0    144791      1116   3013623   no data   no data  --
2502.13/626.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2502.13/626.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2502.53/626.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.38
2502.93/626.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2502.93/626.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2502.93/626.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    181 time:  0.00 s
2502.93/626.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2896.79/725.28	c lits-rem:      4375  cl-subs:     8776  v-elim:      0  v-fix:    0  time: 393.77 s
2896.79/725.28	c vivif2 --  cl tried      372 cl shrink        0 lits rem          0 time: 0.00
2897.19/725.32	c vivif2 --  cl tried   136015 cl shrink        0 lits rem          0 time: 0.14
2897.59/725.41	c asymm  cl-useful: 0/372/372 lits-rem:0 time: 0.38
2897.59/725.42	c calculated reachability. Time: 0.00
2897.59/725.42	c  N st   101   4213201       181       372         0    136015      1116   2738636   no data   no data  --
3076.14/770.11	c  N st   102   4459179       181       372         0    110657      1116   2059491   no data   no data  --
3266.28/817.74	c  N st   103   4713206       181       372         0     90548      1116   1341249   no data   no data  --
3266.28/817.74	c  S st   103   4713206       181       372         0     90548      1116   1341249   no data   no data  --
3267.08/817.97	c  S st   103   4713708       181       372         0     91046      1116   1354701   no data   no data  --
3267.08/817.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3267.08/817.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3267.48/818.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.18
3267.48/818.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3267.48/818.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3267.48/818.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    181 time:  0.00 s
3267.48/818.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3284.65/822.38	c lits-rem:       515  cl-subs:      788  v-elim:      0  v-fix:    0  time: 17.22 s
3284.65/822.38	c vivif2 --  cl tried      372 cl shrink        0 lits rem          0 time: 0.00
3285.06/822.40	c vivif2 --  cl tried    90258 cl shrink        0 lits rem          0 time: 0.08
3285.06/822.46	c asymm  cl-useful: 0/372/372 lits-rem:0 time: 0.24
3285.06/822.46	c calculated reachability. Time: 0.00
3285.06/822.46	c  N st   103   4713708       181       372         0     90258      1116   1328254   no data   no data  --
3651.38/914.18	c  N st   104   5213708       181       372         0     94392      1116   1503734   no data   no data  --
3651.38/914.18	c  S st   104   5213708       181       372         0     94392      1116   1503734   no data   no data  --
3652.15/914.37	c  S st   104   5214211       181       372         0     94884      1116   1517355   no data   no data  --
3652.15/914.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3652.15/914.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3652.55/914.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.15
3652.55/914.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3652.55/914.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3652.55/914.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    181 time:  0.00 s
3652.55/914.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3675.71/920.21	c lits-rem:      1068  cl-subs:     2242  v-elim:      0  v-fix:    0  time: 22.98 s
3675.71/920.21	c vivif2 --  cl tried      372 cl shrink        0 lits rem          0 time: 0.00
3675.71/920.23	c vivif2 --  cl tried    92642 cl shrink        0 lits rem          0 time: 0.07
3675.71/920.28	c asymm  cl-useful: 0/372/372 lits-rem:0 time: 0.18
3675.71/920.28	c calculated reachability. Time: 0.00
3675.71/920.28	c  N st   104   5214211       181       372         0     92642      1116   1434587   no data   no data  --
4055.99/1015.48	c  N st   105   5714211       181       372         0    166318      1116   3463270   no data   no data  --
4055.99/1015.48	c  S st   105   5714211       181       372         0    166318      1116   3463270   no data   no data  --
4057.59/1015.85	c  S st   105   5714718       181       372         0    166814      1116   3476998   no data   no data  --
4057.59/1015.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
4057.59/1015.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4057.99/1015.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.32
4058.39/1016.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4058.39/1016.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4058.39/1016.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    181 time:  0.00 s
4058.39/1016.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s

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-3273477-1304127695/watcher-3273477-1304127695 -o /tmp/evaluation-result-3273477-1304127695/solver-3273477-1304127695 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3273477-1304127695.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: 7.36 7.89 7.95 1/172 8880
/proc/meminfo: memFree=31227720/32951124 swapFree=67107188/67111528
[pid=8880] ppid=8878 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/8880/stat : 8880 (strangenight1-m) R 8878 8880 7936 0 -1 4202496 416 0 0 0 0 0 0 0 23 0 4 0 524367983 52465664 356 33554432000 4194304 4650419 140733775830336 18446744073709551615 210204647355 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8880/statm: 12809 356 306 112 0 7774 0
[pid=8880/tid=8881] ppid=8878 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/8880/task/8881/stat : 8881 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 524367984 52465664 356 33554432000 4194304 4650419 140733775830336 18446744073709551615 47030760306610 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8880/tid=8882] ppid=8878 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/8880/task/8882/stat : 8882 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 524367984 52465664 356 33554432000 4194304 4650419 140733775830336 18446744073709551615 47030760306610 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8880/tid=8883] ppid=8878 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/8880/task/8883/stat : 8883 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 524367984 52465664 356 33554432000 4194304 4650419 140733775830336 18446744073709551615 210199694422 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0553241 s]
/proc/loadavg: 7.36 7.89 7.95 1/172 8880
/proc/meminfo: memFree=31227720/32951124 swapFree=67107188/67111528
[pid=8880] ppid=8878 vsize=282072 CPUtime=0.19 cores=0,2,4,6
/proc/8880/stat : 8880 (strangenight1-m) R 8878 8880 7936 0 -1 4202496 1151 0 0 0 19 0 0 0 24 0 4 0 524367983 288841728 1053 33554432000 4194304 4650419 140733775830336 18446744073709551615 4229486 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8880/statm: 70518 1053 390 112 0 65483 0
[pid=8880/tid=8881] ppid=8878 vsize=282072 CPUtime=0.05 cores=0,2,4,6
/proc/8880/task/8881/stat : 8881 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 209 0 0 0 5 0 0 0 25 0 4 0 524367984 288841728 1053 33554432000 4194304 4650419 140733775830336 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8880/tid=8882] ppid=8878 vsize=282072 CPUtime=0.04 cores=0,2,4,6
/proc/8880/task/8882/stat : 8882 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 179 0 0 0 4 0 0 0 25 0 4 0 524367984 288841728 1053 33554432000 4194304 4650419 140733775830336 18446744073709551615 4328302 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8880/tid=8883] ppid=8878 vsize=282072 CPUtime=0.04 cores=0,2,4,6
/proc/8880/task/8883/stat : 8883 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 169 0 0 0 4 0 0 0 25 0 4 0 524367984 288841728 1054 33554432000 4194304 4650419 140733775830336 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 282072

[startup+0.100316 s]
/proc/loadavg: 7.36 7.89 7.95 1/172 8880
/proc/meminfo: memFree=31227720/32951124 swapFree=67107188/67111528
[pid=8880] ppid=8878 vsize=282764 CPUtime=0.37 cores=0,2,4,6
/proc/8880/stat : 8880 (strangenight1-m) R 8878 8880 7936 0 -1 4202496 1587 0 0 0 37 0 0 0 24 0 4 0 524367983 289550336 1271 33554432000 4194304 4650419 140733775830336 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8880/statm: 70691 1271 392 112 0 65656 0
[pid=8880/tid=8881] ppid=8878 vsize=282764 CPUtime=0.09 cores=0,2,4,6
/proc/8880/task/8881/stat : 8881 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 286 0 0 0 9 0 0 0 25 0 4 0 524367984 289550336 1271 33554432000 4194304 4650419 140733775830336 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8880/tid=8882] ppid=8878 vsize=282764 CPUtime=0.09 cores=0,2,4,6
/proc/8880/task/8882/stat : 8882 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 262 0 0 0 9 0 0 0 25 0 4 0 524367984 289550336 1272 33554432000 4194304 4650419 140733775830336 18446744073709551615 4333403 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8880/tid=8883] ppid=8878 vsize=282764 CPUtime=0.09 cores=0,2,4,6
/proc/8880/task/8883/stat : 8883 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 309 0 0 0 9 0 0 0 25 0 4 0 524367984 289550336 1273 33554432000 4194304 4650419 140733775830336 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282764

[startup+0.300284 s]
/proc/loadavg: 7.36 7.89 7.95 1/172 8880
/proc/meminfo: memFree=31227720/32951124 swapFree=67107188/67111528
[pid=8880] ppid=8878 vsize=284308 CPUtime=1.17 cores=0,2,4,6
/proc/8880/stat : 8880 (strangenight1-m) R 8878 8880 7936 0 -1 4202496 3136 0 0 0 117 0 0 0 25 0 4 0 524367983 291131392 1784 33554432000 4194304 4650419 140733775830336 18446744073709551615 4366062 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8880/statm: 71077 1784 392 112 0 66042 0
[pid=8880/tid=8881] ppid=8878 vsize=284308 CPUtime=0.29 cores=0,2,4,6
/proc/8880/task/8881/stat : 8881 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 701 0 0 0 29 0 0 0 25 0 4 0 524367984 291131392 1784 33554432000 4194304 4650419 140733775830336 18446744073709551615 4334261 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8880/tid=8882] ppid=8878 vsize=284308 CPUtime=0.29 cores=0,2,4,6
/proc/8880/task/8882/stat : 8882 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 688 0 0 0 29 0 0 0 25 0 4 0 524367984 291131392 1784 33554432000 4194304 4650419 140733775830336 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8880/tid=8883] ppid=8878 vsize=284308 CPUtime=0.29 cores=0,2,4,6
/proc/8880/task/8883/stat : 8883 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 650 0 0 0 29 0 0 0 25 0 4 0 524367984 291131392 1784 33554432000 4194304 4650419 140733775830336 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284308

[startup+0.700218 s]
/proc/loadavg: 7.36 7.89 7.95 1/172 8880
/proc/meminfo: memFree=31227720/32951124 swapFree=67107188/67111528
[pid=8880] ppid=8878 vsize=285580 CPUtime=2.77 cores=0,2,4,6
/proc/8880/stat : 8880 (strangenight1-m) R 8878 8880 7936 0 -1 4202496 5512 0 0 0 276 1 0 0 25 0 4 0 524367983 292433920 2563 33554432000 4194304 4650419 140733775830336 18446744073709551615 4331329 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8880/statm: 71395 2563 393 112 0 66360 0
[pid=8880/tid=8881] ppid=8878 vsize=285580 CPUtime=0.69 cores=0,2,4,6
/proc/8880/task/8881/stat : 8881 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 1246 0 0 0 69 0 0 0 25 0 4 0 524367984 292433920 2564 33554432000 4194304 4650419 140733775830336 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8880/tid=8882] ppid=8878 vsize=285580 CPUtime=0.69 cores=0,2,4,6
/proc/8880/task/8882/stat : 8882 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 1372 0 0 0 69 0 0 0 25 0 4 0 524367984 292433920 2564 33554432000 4194304 4650419 140733775830336 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8880/tid=8883] ppid=8878 vsize=285580 CPUtime=0.69 cores=0,2,4,6
/proc/8880/task/8883/stat : 8883 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 1255 0 0 0 69 0 0 0 25 0 4 0 524367984 292433920 2564 33554432000 4194304 4650419 140733775830336 18446744073709551615 4334529 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285580

[startup+1.50109 s]
/proc/loadavg: 7.36 7.89 7.95 9/184 8897
/proc/meminfo: memFree=31197408/32951124 swapFree=67107188/67111528
[pid=8880] ppid=8878 vsize=295536 CPUtime=5.97 cores=0,2,4,6
/proc/8880/stat : 8880 (strangenight1-m) R 8878 8880 7936 0 -1 4202496 13756 0 0 0 595 2 0 0 25 0 4 0 524367983 302628864 8772 33554432000 4194304 4650419 140733775830336 18446744073709551615 4365330 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8880/statm: 73884 8772 394 112 0 68849 0
[pid=8880/tid=8881] ppid=8878 vsize=295536 CPUtime=1.49 cores=0,2,4,6
/proc/8880/task/8881/stat : 8881 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 3310 0 0 0 148 1 0 0 25 0 4 0 524367984 302628864 8772 33554432000 4194304 4650419 140733775830336 18446744073709551615 4363441 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8880/tid=8882] ppid=8878 vsize=295536 CPUtime=1.48 cores=0,2,4,6
/proc/8880/task/8882/stat : 8882 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 3548 0 0 0 148 0 0 0 25 0 4 0 524367984 302628864 8772 33554432000 4194304 4650419 140733775830336 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8880/tid=8883] ppid=8878 vsize=295536 CPUtime=1.48 cores=0,2,4,6
/proc/8880/task/8883/stat : 8883 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 3182 0 0 0 148 0 0 0 25 0 4 0 524367984 302628864 8772 33554432000 4194304 4650419 140733775830336 18446744073709551615 4428112 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 295536

[startup+3.10082 s]
/proc/loadavg: 7.36 7.89 7.95 9/184 8897
/proc/meminfo: memFree=31164176/32951124 swapFree=67107188/67111528
[pid=8880] ppid=8878 vsize=313792 CPUtime=12.36 cores=0,2,4,6
/proc/8880/stat : 8880 (strangenight1-m) R 8878 8880 7936 0 -1 4202496 20853 0 0 0 1232 4 0 0 25 0 4 0 524367983 321323008 12834 33554432000 4194304 4650419 140733775830336 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8880/statm: 78448 12834 394 112 0 73413 0
[pid=8880/tid=8881] ppid=8878 vsize=313792 CPUtime=3.09 cores=0,2,4,6
/proc/8880/task/8881/stat : 8881 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 5886 0 0 0 308 1 0 0 25 0 4 0 524367984 321323008 12834 33554432000 4194304 4650419 140733775830336 18446744073709551615 4438661 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8880/tid=8882] ppid=8878 vsize=313792 CPUtime=3.07 cores=0,2,4,6
/proc/8880/task/8882/stat : 8882 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 4679 0 0 0 307 0 0 0 25 0 4 0 524367984 321323008 12835 33554432000 4194304 4650419 140733775830336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8880/tid=8883] ppid=8878 vsize=313792 CPUtime=3.08 cores=0,2,4,6
/proc/8880/task/8883/stat : 8883 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 4601 0 0 0 308 0 0 0 25 0 4 0 524367984 321323008 12835 33554432000 4194304 4650419 140733775830336 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 313792

[startup+6.30029 s]
/proc/loadavg: 7.41 7.89 7.95 9/184 8897
/proc/meminfo: memFree=31098808/32951124 swapFree=67107188/67111528
[pid=8880] ppid=8878 vsize=324176 CPUtime=25.14 cores=0,2,4,6
/proc/8880/stat : 8880 (strangenight1-m) R 8878 8880 7936 0 -1 4202496 29688 0 0 0 2508 6 0 0 25 0 4 0 524367983 331956224 17111 33554432000 4194304 4650419 140733775830336 18446744073709551615 4328518 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8880/statm: 81044 17112 394 112 0 76009 0
[pid=8880/tid=8881] ppid=8878 vsize=324176 CPUtime=6.28 cores=0,2,4,6
/proc/8880/task/8881/stat : 8881 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 7394 0 0 0 627 1 0 0 25 0 4 0 524367984 331956224 17112 33554432000 4194304 4650419 140733775830336 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8880/tid=8882] ppid=8878 vsize=324176 CPUtime=6.26 cores=0,2,4,6
/proc/8880/task/8882/stat : 8882 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 6943 0 0 0 625 1 0 0 25 0 4 0 524367984 331956224 17112 33554432000 4194304 4650419 140733775830336 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8880/tid=8883] ppid=8878 vsize=324176 CPUtime=6.29 cores=0,2,4,6
/proc/8880/task/8883/stat : 8883 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 6458 0 0 0 628 1 0 0 25 0 4 0 524367984 331956224 17112 33554432000 4194304 4650419 140733775830336 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 324176

[startup+12.7002 s]
/proc/loadavg: 7.45 7.89 7.95 9/184 8897
/proc/meminfo: memFree=31053072/32951124 swapFree=67107188/67111528
[pid=8880] ppid=8878 vsize=335236 CPUtime=50.71 cores=0,2,4,6
/proc/8880/stat : 8880 (strangenight1-m) R 8878 8880 7936 0 -1 4202496 44247 0 0 0 5062 9 0 0 25 0 4 0 524367983 343281664 24658 33554432000 4194304 4650419 140733775830336 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8880/statm: 83809 24659 394 112 0 78774 0
[pid=8880/tid=8881] ppid=8878 vsize=335236 CPUtime=12.68 cores=0,2,4,6
/proc/8880/task/8881/stat : 8881 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 10265 0 0 0 1267 1 0 0 25 0 4 0 524367984 343281664 24659 33554432000 4194304 4650419 140733775830336 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8880/tid=8882] ppid=8878 vsize=335236 CPUtime=12.62 cores=0,2,4,6
/proc/8880/task/8882/stat : 8882 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 12931 0 0 0 1260 2 0 0 25 0 4 0 524367984 343281664 24659 33554432000 4194304 4650419 140733775830336 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8880/tid=8883] ppid=8878 vsize=335236 CPUtime=12.68 cores=0,2,4,6
/proc/8880/task/8883/stat : 8883 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 7209 0 0 0 1267 1 0 0 25 0 4 0 524367984 343281664 24659 33554432000 4194304 4650419 140733775830336 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 335236

[startup+25.5011 s]
/proc/loadavg: 7.58 7.90 7.95 9/184 8897
/proc/meminfo: memFree=30990428/32951124 swapFree=67107188/67111528
[pid=8880] ppid=8878 vsize=328048 CPUtime=101.84 cores=0,2,4,6
/proc/8880/stat : 8880 (strangenight1-m) R 8878 8880 7936 0 -1 4202496 68661 0 0 0 10169 15 0 0 25 0 4 0 524367983 335921152 33272 33554432000 4194304 4650419 140733775830336 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8880/statm: 82012 33272 394 112 0 76977 0
[pid=8880/tid=8881] ppid=8878 vsize=328048 CPUtime=25.49 cores=0,2,4,6
/proc/8880/task/8881/stat : 8881 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 15793 0 0 0 2546 3 0 0 25 0 4 0 524367984 335921152 33272 33554432000 4194304 4650419 140733775830336 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8880/tid=8882] ppid=8878 vsize=328048 CPUtime=25.35 cores=0,2,4,6
/proc/8880/task/8882/stat : 8882 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 21881 0 0 0 2531 4 0 0 25 0 4 0 524367984 335921152 33272 33554432000 4194304 4650419 140733775830336 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8880/tid=8883] ppid=8878 vsize=328048 CPUtime=25.48 cores=0,2,4,6
/proc/8880/task/8883/stat : 8883 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 10129 0 0 0 2546 2 0 0 25 0 4 0 524367984 335921152 33272 33554432000 4194304 4650419 140733775830336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 328048

[startup+51.1008 s]
/proc/loadavg: 7.78 7.92 7.96 9/184 8898
/proc/meminfo: memFree=30910484/32951124 swapFree=67107188/67111528
[pid=8880] ppid=8878 vsize=349736 CPUtime=204.1 cores=0,2,4,6
/proc/8880/stat : 8880 (strangenight1-m) R 8878 8880 7936 0 -1 4202496 105102 0 0 0 20387 23 0 0 25 0 4 0 524367983 358129664 46918 33554432000 4194304 4650419 140733775830336 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8880/statm: 87434 46918 394 112 0 82399 0
[pid=8880/tid=8881] ppid=8878 vsize=349736 CPUtime=51.09 cores=0,2,4,6
/proc/8880/task/8881/stat : 8881 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 23387 0 0 0 5105 4 0 0 25 0 4 0 524367984 358129664 46918 33554432000 4194304 4650419 140733775830336 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8880/tid=8882] ppid=8878 vsize=349736 CPUtime=50.82 cores=0,2,4,6
/proc/8880/task/8882/stat : 8882 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 38021 0 0 0 5074 8 0 0 25 0 4 0 524367984 358129664 46918 33554432000 4194304 4650419 140733775830336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8880/tid=8883] ppid=8878 vsize=349736 CPUtime=51.08 cores=0,2,4,6
/proc/8880/task/8883/stat : 8883 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 12590 0 0 0 5105 3 0 0 25 0 4 0 524367984 358129664 46918 33554432000 4194304 4650419 140733775830336 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 349736

[startup+102.306 s]
/proc/loadavg: 7.97 7.94 7.97 9/184 8899
/proc/meminfo: memFree=30819412/32951124 swapFree=67107188/67111528
[pid=8880] ppid=8878 vsize=372920 CPUtime=408.63 cores=0,2,4,6
/proc/8880/stat : 8880 (strangenight1-m) R 8878 8880 7936 0 -1 4202496 176300 0 0 0 40824 39 0 0 25 0 4 0 524367983 381870080 58152 33554432000 4194304 4650419 140733775830336 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8880/statm: 93230 58152 394 112 0 88195 0
[pid=8880/tid=8881] ppid=8878 vsize=372920 CPUtime=102.3 cores=0,2,4,6
/proc/8880/task/8881/stat : 8881 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 40068 0 0 0 10221 9 0 0 25 0 4 0 524367984 381870080 58152 33554432000 4194304 4650419 140733775830336 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8880/tid=8882] ppid=8878 vsize=372920 CPUtime=101.74 cores=0,2,4,6
/proc/8880/task/8882/stat : 8882 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 63719 0 0 0 10161 13 0 0 25 0 4 0 524367984 381870080 58152 33554432000 4194304 4650419 140733775830336 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8880/tid=8883] ppid=8878 vsize=372920 CPUtime=102.28 cores=0,2,4,6
/proc/8880/task/8883/stat : 8883 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 21325 0 0 0 10223 5 0 0 25 0 4 0 524367984 381870080 58152 33554432000 4194304 4650419 140733775830336 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 372920

[startup+162.3 s]

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

[pid=8880] ppid=8878 vsize=771944 CPUtime=2805.31 cores=0,2,4,6
/proc/8880/stat : 8880 (strangenight1-m) R 8878 8880 7936 0 -1 4202496 575819 0 0 0 280357 174 0 0 25 0 4 0 524367983 790470656 149859 33554432000 4194304 4650419 140733775830336 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8880/statm: 192986 149859 394 112 0 187951 0
[pid=8880/tid=8881] ppid=8878 vsize=771944 CPUtime=702.3 cores=0,2,4,6
/proc/8880/task/8881/stat : 8881 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 113441 0 0 0 70193 37 0 0 25 0 4 0 524367984 790470656 149859 33554432000 4194304 4650419 140733775830336 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8880/tid=8882] ppid=8878 vsize=771944 CPUtime=698.48 cores=0,2,4,6
/proc/8880/task/8882/stat : 8882 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 213442 0 0 0 69784 64 0 0 25 0 4 0 524367984 790470656 149859 33554432000 4194304 4650419 140733775830336 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8880/tid=8883] ppid=8878 vsize=771944 CPUtime=702.22 cores=0,2,4,6
/proc/8880/task/8883/stat : 8883 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 39949 0 0 0 70208 14 0 0 25 0 4 0 524367984 790470656 149859 33554432000 4194304 4650419 140733775830336 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2805.31
Current children cumulated vsize (KiB) 771944

[startup+762.306 s]
/proc/loadavg: 8.10 8.04 8.01 9/184 8917
/proc/meminfo: memFree=30268572/32951124 swapFree=67107188/67111528
[pid=8880] ppid=8878 vsize=933260 CPUtime=3045 cores=0,2,4,6
/proc/8880/stat : 8880 (strangenight1-m) R 8878 8880 7936 0 -1 4202496 619885 0 0 0 304310 190 0 0 25 0 4 0 524367983 955658240 154450 33554432000 4194304 4650419 140733775830336 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8880/statm: 233315 154450 394 112 0 228280 0
[pid=8880/tid=8881] ppid=8878 vsize=933260 CPUtime=762.3 cores=0,2,4,6
/proc/8880/task/8881/stat : 8881 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 122517 0 0 0 76190 40 0 0 25 0 4 0 524367984 955658240 154450 33554432000 4194304 4650419 140733775830336 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8880/tid=8882] ppid=8878 vsize=933260 CPUtime=758.16 cores=0,2,4,6
/proc/8880/task/8882/stat : 8882 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 222586 0 0 0 75748 68 0 0 25 0 4 0 524367984 955658240 154450 33554432000 4194304 4650419 140733775830336 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8880/tid=8883] ppid=8878 vsize=933260 CPUtime=762.23 cores=0,2,4,6
/proc/8880/task/8883/stat : 8883 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 47578 0 0 0 76205 18 0 0 25 0 4 0 524367984 955658240 154450 33554432000 4194304 4650419 140733775830336 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3045
Current children cumulated vsize (KiB) 933260

[startup+822.3 s]
/proc/loadavg: 8.11 8.05 8.00 9/184 8919
/proc/meminfo: memFree=30260340/32951124 swapFree=67107188/67111528
[pid=8880] ppid=8878 vsize=799888 CPUtime=3284.65 cores=0,2,4,6
/proc/8880/stat : 8880 (strangenight1-m) R 8878 8880 7936 0 -1 4202496 642150 0 0 0 328265 200 0 0 25 0 4 0 524367983 819085312 153631 33554432000 4194304 4650419 140733775830336 18446744073709551615 4451368 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8880/statm: 199972 153631 394 112 0 194937 0
[pid=8880/tid=8881] ppid=8878 vsize=799888 CPUtime=822.3 cores=0,2,4,6
/proc/8880/task/8881/stat : 8881 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 125214 0 0 0 82188 42 0 0 25 0 4 0 524367984 819085312 153631 33554432000 4194304 4650419 140733775830336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8880/tid=8882] ppid=8878 vsize=799888 CPUtime=817.84 cores=0,2,4,6
/proc/8880/task/8882/stat : 8882 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 227193 0 0 0 81715 69 0 0 25 0 4 0 524367984 819085312 153631 33554432000 4194304 4650419 140733775830336 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8880/tid=8883] ppid=8878 vsize=799888 CPUtime=822.21 cores=0,2,4,6
/proc/8880/task/8883/stat : 8883 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 51748 0 0 0 82201 20 0 0 25 0 4 0 524367984 819085312 153631 33554432000 4194304 4650419 140733775830336 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3284.65
Current children cumulated vsize (KiB) 799888

[startup+882.3 s]
/proc/loadavg: 8.10 8.05 8.00 9/184 8920
/proc/meminfo: memFree=30213056/32951124 swapFree=67107188/67111528
[pid=8880] ppid=8878 vsize=828184 CPUtime=3524.32 cores=0,2,4,6
/proc/8880/stat : 8880 (strangenight1-m) R 8878 8880 7936 0 -1 4202496 683428 0 0 0 352220 212 0 0 25 0 4 0 524367983 848060416 159407 33554432000 4194304 4650419 140733775830336 18446744073709551615 4365300 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8880/statm: 207046 159407 394 112 0 202011 0
[pid=8880/tid=8881] ppid=8878 vsize=828184 CPUtime=882.3 cores=0,2,4,6
/proc/8880/task/8881/stat : 8881 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 137202 0 0 0 88185 45 0 0 25 0 4 0 524367984 848060416 159407 33554432000 4194304 4650419 140733775830336 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8880/tid=8882] ppid=8878 vsize=828184 CPUtime=877.51 cores=0,2,4,6
/proc/8880/task/8882/stat : 8882 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 239996 0 0 0 87680 71 0 0 25 0 4 0 524367984 848060416 159407 33554432000 4194304 4650419 140733775830336 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8880/tid=8883] ppid=8878 vsize=828184 CPUtime=882.21 cores=0,2,4,6
/proc/8880/task/8883/stat : 8883 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 55454 0 0 0 88199 22 0 0 25 0 4 0 524367984 848060416 159407 33554432000 4194304 4650419 140733775830336 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3524.32
Current children cumulated vsize (KiB) 828184

[startup+942.3 s]
/proc/loadavg: 8.04 8.04 8.00 9/184 8922
/proc/meminfo: memFree=30184120/32951124 swapFree=67107188/67111528
[pid=8880] ppid=8878 vsize=893944 CPUtime=3763.99 cores=0,2,4,6
/proc/8880/stat : 8880 (strangenight1-m) R 8878 8880 7936 0 -1 4202496 716588 0 0 0 376175 224 0 0 25 0 4 0 524367983 915398656 167330 33554432000 4194304 4650419 140733775830336 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8880/statm: 223486 167330 394 112 0 218451 0
[pid=8880/tid=8881] ppid=8878 vsize=893944 CPUtime=942.3 cores=0,2,4,6
/proc/8880/task/8881/stat : 8881 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 148618 0 0 0 94181 49 0 0 25 0 4 0 524367984 915398656 167330 33554432000 4194304 4650419 140733775830336 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8880/tid=8882] ppid=8878 vsize=893944 CPUtime=937.18 cores=0,2,4,6
/proc/8880/task/8882/stat : 8882 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 248867 0 0 0 93644 74 0 0 25 0 4 0 524367984 915398656 167330 33554432000 4194304 4650419 140733775830336 18446744073709551615 4433048 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8880/tid=8883] ppid=8878 vsize=893944 CPUtime=942.2 cores=0,2,4,6
/proc/8880/task/8883/stat : 8883 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 57424 0 0 0 94198 22 0 0 25 0 4 0 524367984 915398656 167330 33554432000 4194304 4650419 140733775830336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3763.99
Current children cumulated vsize (KiB) 893944

[startup+1002.3 s]
/proc/loadavg: 8.01 8.03 8.00 9/184 8923
/proc/meminfo: memFree=30167100/32951124 swapFree=67107188/67111528
[pid=8880] ppid=8878 vsize=958224 CPUtime=4003.66 cores=0,2,4,6
/proc/8880/stat : 8880 (strangenight1-m) R 8878 8880 7936 0 -1 4202496 736298 0 0 0 400131 235 0 0 25 0 4 0 524367983 981221376 169072 33554432000 4194304 4650419 140733775830336 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8880/statm: 239556 169072 394 112 0 234521 0
[pid=8880/tid=8881] ppid=8878 vsize=958224 CPUtime=1002.3 cores=0,2,4,6
/proc/8880/task/8881/stat : 8881 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 157616 0 0 0 100176 54 0 0 25 0 4 0 524367984 981221376 169072 33554432000 4194304 4650419 140733775830336 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8880/tid=8882] ppid=8878 vsize=958224 CPUtime=996.86 cores=0,2,4,6
/proc/8880/task/8882/stat : 8882 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 249739 0 0 0 99611 75 0 0 25 0 4 0 524367984 981221376 169072 33554432000 4194304 4650419 140733775830336 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8880/tid=8883] ppid=8878 vsize=958224 CPUtime=1002.19 cores=0,2,4,6
/proc/8880/task/8883/stat : 8883 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 58703 0 0 0 100197 22 0 0 25 0 4 0 524367984 981221376 169072 33554432000 4194304 4650419 140733775830336 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4003.66
Current children cumulated vsize (KiB) 958224

[startup+1062.3 s]
/proc/loadavg: 8.00 8.02 8.00 9/184 8925
/proc/meminfo: memFree=30151800/32951124 swapFree=67107188/67111528
[pid=8880] ppid=8878 vsize=953452 CPUtime=4243.33 cores=0,2,4,6
/proc/8880/stat : 8880 (strangenight1-m) R 8878 8880 7936 0 -1 4202496 754544 0 0 0 424090 243 0 0 25 0 4 0 524367983 976334848 175084 33554432000 4194304 4650419 140733775830336 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8880/statm: 238363 175084 394 112 0 233328 0
[pid=8880/tid=8881] ppid=8878 vsize=953452 CPUtime=1062.3 cores=0,2,4,6
/proc/8880/task/8881/stat : 8881 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 166524 0 0 0 106173 57 0 0 25 0 4 0 524367984 976334848 175084 33554432000 4194304 4650419 140733775830336 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8880/tid=8882] ppid=8878 vsize=953452 CPUtime=1056.53 cores=0,2,4,6
/proc/8880/task/8882/stat : 8882 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 257311 0 0 0 105574 79 0 0 25 0 4 0 524367984 976334848 175084 33554432000 4194304 4650419 140733775830336 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8880/tid=8883] ppid=8878 vsize=953452 CPUtime=1062.18 cores=0,2,4,6
/proc/8880/task/8883/stat : 8883 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 58703 0 0 0 106196 22 0 0 25 0 4 0 524367984 976334848 175084 33554432000 4194304 4650419 140733775830336 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4243.33
Current children cumulated vsize (KiB) 953452

[startup+1122.3 s]
/proc/loadavg: 8.17 8.06 8.01 9/184 8927
/proc/meminfo: memFree=30147788/32951124 swapFree=67107188/67111528
[pid=8880] ppid=8878 vsize=917104 CPUtime=4483 cores=0,2,4,6
/proc/8880/stat : 8880 (strangenight1-m) R 8878 8880 7936 0 -1 4202496 772963 0 0 0 448050 250 0 0 25 0 4 0 524367983 939114496 171238 33554432000 4194304 4650419 140733775830336 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8880/statm: 229276 171238 394 112 0 224241 0
[pid=8880/tid=8881] ppid=8878 vsize=917104 CPUtime=1122.3 cores=0,2,4,6
/proc/8880/task/8881/stat : 8881 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 174418 0 0 0 112172 58 0 0 25 0 4 0 524367984 939114496 171238 33554432000 4194304 4650419 140733775830336 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8880/tid=8882] ppid=8878 vsize=917104 CPUtime=1116.2 cores=0,2,4,6
/proc/8880/task/8882/stat : 8882 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 263049 0 0 0 111538 82 0 0 25 0 4 0 524367984 939114496 171238 33554432000 4194304 4650419 140733775830336 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8880/tid=8883] ppid=8878 vsize=917104 CPUtime=1122.18 cores=0,2,4,6
/proc/8880/task/8883/stat : 8883 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 63220 0 0 0 112193 25 0 0 25 0 4 0 524367984 939114496 171238 33554432000 4194304 4650419 140733775830336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4483
Current children cumulated vsize (KiB) 917104

[startup+1182.3 s]
/proc/loadavg: 8.19 8.08 8.02 9/184 8937
/proc/meminfo: memFree=30135428/32951124 swapFree=67107188/67111528
[pid=8880] ppid=8878 vsize=901552 CPUtime=4722.67 cores=0,2,4,6
/proc/8880/stat : 8880 (strangenight1-m) R 8878 8880 7936 0 -1 4202496 807689 0 0 0 472006 261 0 0 25 0 4 0 524367983 923189248 171134 33554432000 4194304 4650419 140733775830336 18446744073709551615 4476432 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8880/statm: 225388 171134 394 112 0 220353 0
[pid=8880/tid=8881] ppid=8878 vsize=901552 CPUtime=1182.3 cores=0,2,4,6
/proc/8880/task/8881/stat : 8881 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 192688 0 0 0 118169 61 0 0 25 0 4 0 524367984 923189248 171134 33554432000 4194304 4650419 140733775830336 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8880/tid=8882] ppid=8878 vsize=901552 CPUtime=1175.87 cores=0,2,4,6
/proc/8880/task/8882/stat : 8882 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 275947 0 0 0 117499 88 0 0 25 0 4 0 524367984 923189248 171134 33554432000 4194304 4650419 140733775830336 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8880/tid=8883] ppid=8878 vsize=901552 CPUtime=1182.18 cores=0,2,4,6
/proc/8880/task/8883/stat : 8883 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 64464 0 0 0 118192 26 0 0 25 0 4 0 524367984 923189248 171134 33554432000 4194304 4650419 140733775830336 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4722.67
Current children cumulated vsize (KiB) 901552



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.13 8.07 8.01 9/184 8938
/proc/meminfo: memFree=30117740/32951124 swapFree=67107188/67111528
[pid=8880] ppid=8878 vsize=917424 CPUtime=4800.17 cores=0,2,4,6
/proc/8880/stat : 8880 (strangenight1-m) R 8878 8880 7936 0 -1 4202496 821676 0 0 0 479753 264 0 0 25 0 4 0 524367983 939442176 174227 33554432000 4194304 4650419 140733775830336 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8880/statm: 229356 174227 394 112 0 224321 0
[pid=8880/tid=8881] ppid=8878 vsize=917424 CPUtime=1201.71 cores=0,2,4,6
/proc/8880/task/8881/stat : 8881 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 199828 0 0 0 120109 62 0 0 25 0 4 0 524367984 939442176 174227 33554432000 4194304 4650419 140733775830336 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8880/tid=8882] ppid=8878 vsize=917424 CPUtime=1195.17 cores=0,2,4,6
/proc/8880/task/8882/stat : 8882 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 280484 0 0 0 119427 90 0 0 25 0 4 0 524367984 939442176 174227 33554432000 4194304 4650419 140733775830336 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8880/tid=8883] ppid=8878 vsize=917424 CPUtime=1201.58 cores=0,2,4,6
/proc/8880/task/8883/stat : 8883 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 65145 0 0 0 120131 27 0 0 25 0 4 0 524367984 939442176 174227 33554432000 4194304 4650419 140733775830336 18446744073709551615 4364346 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.17
Current children cumulated vsize (KiB) 917424

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

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

[startup+1201.7 s]
/proc/loadavg: 8.13 8.07 8.01 9/184 8938
/proc/meminfo: memFree=30117740/32951124 swapFree=67107188/67111528
[pid=8880] ppid=8878 vsize=917424 CPUtime=4800.17 cores=0,2,4,6
/proc/8880/stat : 8880 (strangenight1-m) R 8878 8880 7936 0 -1 4202496 821676 0 0 0 479753 264 0 0 25 0 4 0 524367983 939442176 174227 33554432000 4194304 4650419 140733775830336 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8880/statm: 229356 174227 394 112 0 224321 0
[pid=8880/tid=8881] ppid=8878 vsize=917424 CPUtime=1201.71 cores=0,2,4,6
/proc/8880/task/8881/stat : 8881 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 199828 0 0 0 120109 62 0 0 25 0 4 0 524367984 939442176 174227 33554432000 4194304 4650419 140733775830336 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8880/tid=8882] ppid=8878 vsize=917424 CPUtime=1195.17 cores=0,2,4,6
/proc/8880/task/8882/stat : 8882 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 280484 0 0 0 119427 90 0 0 25 0 4 0 524367984 939442176 174227 33554432000 4194304 4650419 140733775830336 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8880/tid=8883] ppid=8878 vsize=917424 CPUtime=1201.58 cores=0,2,4,6
/proc/8880/task/8883/stat : 8883 (strangenight1-m) R 8878 8880 7936 0 -1 4202560 65145 0 0 0 120131 27 0 0 25 0 4 0 524367984 939442176 174227 33554432000 4194304 4650419 140733775830336 18446744073709551615 4364346 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.17
Current children cumulated vsize (KiB) 917424

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.75
CPU time (s): 4800.24
CPU user time (s): 4797.56
CPU system time (s): 2.67959
CPU usage (%): 399.438
Max. virtual memory (cumulated for all children) (KiB): 1100132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.56
system time used= 2.67959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 821677
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= 212
involuntary context switches= 22228

runsolver used 1.89071 second user time and 4.66529 second system time

The end

Launcher Data 

Begin job on node130 at 2011-04-30 03:41:35
IDJOB=3273477
IDBENCH=83140
IDSOLVER=1588
FILE ID=node130/3273477-1304127695
RUNJOBID= node130-1304127695-8870
PBS_JOBID= 13170734
Free space on /tmp= 71996 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/crafted/spence/sgen/sgen3-n180-s33098896-unsat.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3273477-1304127695/watcher-3273477-1304127695 -o /tmp/evaluation-result-3273477-1304127695/solver-3273477-1304127695 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3273477-1304127695.cnf

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

MD5SUM BENCH= 1221fb51c407dee7559369d7c6eedb4e
RANDOM SEED=1401946581

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31227876 kB
Buffers:        168684 kB
Cached:        1216612 kB
SwapCached:       1596 kB
Active:          91228 kB
Inactive:      1355292 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31227876 kB
SwapTotal:    67111528 kB
SwapFree:     67107188 kB
Dirty:            6256 kB
Writeback:           0 kB
AnonPages:       60748 kB
Mapped:          14576 kB
Slab:           212876 kB
PageTables:       4848 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   191976 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= 71984 MiB
End job on node130 at 2011-04-30 04:01:39