Trace number 3369377

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.16 1203.46

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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369377-1305412577.cnf'
0.00/0.01	c -- header says num vars:            181
0.00/0.01	c -- header says num clauses:         372
0.00/0.01	c -- clauses added:            0 learnts,          372 normals,            0 xors
0.00/0.01	c -- vars added        181
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       181       372         0         0      1116         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/372/372 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    181 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:       4 undec:     171 neg:       6
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
3.56/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.56/0.90	c  B st     0         0       181       372         0         0      1116         0   no data   no data  --
3.56/0.90	c Decided on static restart strategy
3.56/0.90	c  N st     8      4916       181       372         0      4446      1116     92096   no data   no data  --
3.56/0.90	c  N st    10     11299       181       372         0      4156      1116     77384   no data   no data  --
3.56/0.90	c  N st    11     17043       181       372         0      9242      1116    218936   no data   no data  --
3.56/0.90	c  F st    12     25002       181       372         0     11158      1116    261862   no data   no data  --
3.56/0.90	c  N st    12     25002       181       372         0     11158      1116    261862   no data   no data  --
3.56/0.90	c Decided on static restart strategy
3.56/0.90	c  N st    18     30000       181       372         0      9690      1116    193944   no data   no data  --
3.56/0.90	c  S st    18     30000       181       372         0      9690      1116    193944   no data   no data  --
3.56/0.90	c  S st    18     30500       181       372         0     10167      1116    203811   no data   no data  --
3.56/0.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.56/0.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3.56/0.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
3.56/0.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.56/0.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.56/0.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    181 time:  0.00 s
3.56/0.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.98/1.10	c lits-rem:       851  cl-subs:      506  v-elim:      0  v-fix:    0  time:  0.74 s
3.98/1.10	c asymm  cl-useful: 0/372/372 lits-rem:0 time: 0.01
3.98/1.10	c calculated reachability. Time: 0.00
3.98/1.10	c  N st    18     30500       181       372         0      9661      1116    187958   no data   no data  --
5.55/1.40	c  N st    20     37611       181       372         0      8947      1116    164351   no data   no data  --
5.96/1.55	c  N st    21     44010       181       372         0     14607      1116    346287   no data   no data  --
6.36/1.61	c  S st    22     45750       181       372         0      8168      1116    126949   no data   no data  --
6.36/1.63	c  S st    22     46252       181       372         0      8651      1116    137734   no data   no data  --
6.36/1.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
6.36/1.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
6.36/1.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
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.68	c lits-rem:       333  cl-subs:       92  v-elim:      0  v-fix:    0  time:  0.17 s
6.36/1.68	c vivif2 --  cl tried      372 cl shrink        0 lits rem          0 time: 0.00
6.36/1.68	c vivif2 --  cl tried     8559 cl shrink        0 lits rem          0 time: 0.00
6.36/1.68	c asymm  cl-useful: 0/372/372 lits-rem:0 time: 0.01
6.36/1.68	c calculated reachability. Time: 0.00
6.36/1.68	c  N st    22     46252       181       372         0      8559      1116    134651   no data   no data  --
9.15/2.30	c  N st    23     60649       181       372         0     12522      1116    267890   no data   no data  --
10.75/2.74	c  N st    24     69379       181       372         0     10568      1116    178395   no data   no data  --
10.75/2.74	c  S st    24     69379       181       372         0     10568      1116    178395   no data   no data  --
10.75/2.76	c  S st    24     69881       181       372         0     11048      1116    188816   no data   no data  --
10.75/2.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.75/2.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.75/2.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
10.75/2.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.75/2.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.75/2.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    181 time:  0.00 s
10.75/2.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
11.94/3.06	c lits-rem:       349  cl-subs:       98  v-elim:      0  v-fix:    0  time:  1.16 s
11.94/3.06	c vivif2 --  cl tried      372 cl shrink        0 lits rem          0 time: 0.00
11.94/3.06	c vivif2 --  cl tried    10950 cl shrink        0 lits rem          0 time: 0.01
11.94/3.07	c asymm  cl-useful: 0/372/372 lits-rem:0 time: 0.01
11.94/3.07	c calculated reachability. Time: 0.00
11.94/3.07	c  N st    24     69881       181       372         0     10950      1116    185372   no data   no data  --
15.53/3.99	c  F st    25     87500       181       372         0     16085      1116    355510   no data   no data  --
15.53/3.99	c  N st    25     87500       181       372         0     16085      1116    355510   no data   no data  --
16.73/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.72/4.76	c  N st    34    104823       181       372         0     19816      1116    411019   no data   no data  --
18.72/4.76	c  S st    34    104823       181       372         0     19816      1116    411019   no data   no data  --
19.12/4.80	c  S st    34    105325       181       372         0     20309      1116    422171   no data   no data  --
19.12/4.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
19.12/4.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
19.12/4.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
19.12/4.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
19.12/4.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
19.12/4.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    181 time:  0.00 s
19.12/4.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
24.70/6.22	c lits-rem:      2402  cl-subs:     1148  v-elim:      0  v-fix:    0  time:  5.62 s
24.70/6.22	c vivif2 --  cl tried      372 cl shrink        0 lits rem          0 time: 0.00
24.70/6.23	c vivif2 --  cl tried    19161 cl shrink        0 lits rem          0 time: 0.02
24.70/6.23	c asymm  cl-useful: 0/372/372 lits-rem:0 time: 0.02
24.70/6.23	c calculated reachability. Time: 0.00
24.70/6.23	c  N st    34    105325       181       372         0     19161      1116    379927   no data   no data  --
26.34/6.67	c  N st    35    114924       181       372         0     15078      1116    265713   no data   no data  --
28.69/7.29	c  N st    36    129322       181       372         0     14233      1116    229068   no data   no data  --
32.68/8.28	c  N st    37    150920       181       372         0     19373      1116    359069   no data   no data  --
33.88/8.59	c  S st    38    157989       181       372         0     25752      1116    513255   no data   no data  --
34.28/8.63	c  S st    38    158491       181       372         0     26246      1116    525227   no data   no data  --
34.28/8.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
34.28/8.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
34.28/8.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
34.28/8.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
34.28/8.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
34.28/8.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    181 time:  0.00 s
34.28/8.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
40.66/10.24	c lits-rem:      4651  cl-subs:     1406  v-elim:      0  v-fix:    0  time:  6.30 s
40.66/10.24	c vivif2 --  cl tried      372 cl shrink        0 lits rem          0 time: 0.00
40.66/10.24	c vivif2 --  cl tried    24840 cl shrink        0 lits rem          0 time: 0.02
40.66/10.25	c asymm  cl-useful: 0/372/372 lits-rem:0 time: 0.03
40.66/10.25	c calculated reachability. Time: 0.00
40.66/10.25	c  N st    38    158491       181       372         0     24840      1116    477428   no data   no data  --
50.23/12.66	c  N st    39    207081       181       372         0     19587      1116    318760   no data   no data  --
57.41/14.45	c  N st    40    237738       181       372         0     28297      1116    568148   no data   no data  --
57.41/14.45	c  S st    40    237738       181       372         0     28297      1116    568148   no data   no data  --
57.81/14.50	c  S st    40    238240       181       372         0     28789      1116    578834   no data   no data  --
57.81/14.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
57.81/14.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
57.81/14.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.04
57.81/14.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
57.81/14.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
57.81/14.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    181 time:  0.00 s
57.81/14.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
68.18/17.15	c lits-rem:      4052  cl-subs:     3039  v-elim:      0  v-fix:    0  time: 10.44 s
68.18/17.15	c vivif2 --  cl tried      372 cl shrink        0 lits rem          0 time: 0.00
68.18/17.15	c vivif2 --  cl tried    25750 cl shrink        0 lits rem          0 time: 0.02
68.18/17.16	c asymm  cl-useful: 0/372/372 lits-rem:0 time: 0.03
68.18/17.16	c calculated reachability. Time: 0.00
68.18/17.16	c  N st    40    238240       181       372         0     25750      1116    471776   no data   no data  --
82.13/20.61	c  F st    41    306250       181       372         0     28172      1116    518726   no data   no data  --
82.13/20.62	c  N st    41    306250       181       372         0     28172      1116    518726   no data   no data  --
82.95/20.88	c Decided on static restart strategy
88.51/22.26	c  N st    51    334552       181       372         0     32993      1116    632639   no data   no data  --
94.50/23.75	c  N st    53    357360       181       372         0     31421      1116    572908   no data   no data  --
94.50/23.75	c  S st    53    357360       181       372         0     31421      1116    572908   no data   no data  --
94.90/23.81	c  S st    53    357861       181       372         0     31907      1116    585751   no data   no data  --
94.90/23.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
94.90/23.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
94.90/23.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
94.90/23.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
94.90/23.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
94.90/23.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    181 time:  0.00 s
94.90/23.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
101.27/25.48	c lits-rem:      3514  cl-subs:      942  v-elim:      0  v-fix:    0  time:  6.57 s
101.27/25.48	c vivif2 --  cl tried      372 cl shrink        0 lits rem          0 time: 0.00
101.27/25.48	c vivif2 --  cl tried    30965 cl shrink        0 lits rem          0 time: 0.02
101.27/25.49	c asymm  cl-useful: 0/372/372 lits-rem:0 time: 0.03
101.27/25.49	c calculated reachability. Time: 0.00
101.27/25.49	c  N st    53    357861       181       372         0     30965      1116    548994   no data   no data  --
110.05/27.65	c  N st    54    390255       181       372         0     35920      1116    775731   no data   no data  --
124.02/31.10	c  N st    55    438844       181       372         0     29254      1116    503615   no data   no data  --
145.15/36.47	c  N st    56    511726       181       372         0     40553      1116    893851   no data   no data  --
153.16/38.50	c  N st    57    536791       181       372         0     36001      1116    686956   no data   no data  --
153.16/38.50	c  S st    57    536791       181       372         0     36001      1116    686956   no data   no data  --
153.58/38.56	c  S st    57    537292       181       372         0     36493      1116    699806   no data   no data  --
153.58/38.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
153.58/38.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
153.58/38.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
153.58/38.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
153.58/38.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
153.58/38.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    181 time:  0.00 s
153.58/38.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
163.10/40.98	c lits-rem:      7959  cl-subs:     2561  v-elim:      0  v-fix:    0  time:  9.54 s
163.10/40.98	c vivif2 --  cl tried      372 cl shrink        0 lits rem          0 time: 0.00
163.10/40.99	c vivif2 --  cl tried    33932 cl shrink        0 lits rem          0 time: 0.03
163.50/41.00	c asymm  cl-useful: 0/372/372 lits-rem:0 time: 0.04
163.50/41.00	c calculated reachability. Time: 0.00
163.50/41.00	c  N st    57    537292       181       372         0     33932      1116    604927   no data   no data  --
218.98/54.98	c  N st    58    701278       181       372         0     57900      1116   1332512   no data   no data  --
255.25/64.06	c  N st    59    805938       181       372         0     53785      1116   1149641   no data   no data  --
255.25/64.06	c  S st    59    805938       181       372         0     53785      1116   1149641   no data   no data  --
255.66/64.15	c  S st    59    806439       181       372         0     54275      1116   1161438   no data   no data  --
255.66/64.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
255.66/64.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
255.66/64.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.06
256.06/64.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
256.06/64.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
256.06/64.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    181 time:  0.00 s
256.06/64.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
293.15/73.56	c lits-rem:      9106  cl-subs:     6454  v-elim:      0  v-fix:    0  time: 37.33 s
293.15/73.56	c vivif2 --  cl tried      372 cl shrink        0 lits rem          0 time: 0.00
293.15/73.57	c vivif2 --  cl tried    47821 cl shrink        0 lits rem          0 time: 0.04
293.15/73.59	c asymm  cl-useful: 0/372/372 lits-rem:0 time: 0.06
293.15/73.59	c calculated reachability. Time: 0.00
293.15/73.59	c  N st    59    806439       181       372         0     47821      1116    939963   no data   no data  --
384.90/96.57	c  F st    60   1071877       181       372         0     64278      1116   1336198   no data   no data  --
384.90/96.57	c  N st    60   1071877       181       372         0     64278      1116   1336198   no data   no data  --
386.48/96.96	c Decided on static restart strategy
393.68/98.78	c  N st    70   1100181       181       372         0     50579      1116    903391   no data   no data  --
408.42/102.49	c  N st    72   1136174       181       372         0     42908      1116    641598   no data   no data  --
422.00/105.88	c  N st    73   1168566       181       372         0     72168      1116   1572393   no data   no data  --
436.76/109.57	c  N st    74   1209658       181       372         0     66037      1116   1294043   no data   no data  --
436.76/109.57	c  S st    74   1209658       181       372         0     66037      1116   1294043   no data   no data  --
437.56/109.72	c  S st    74   1210164       181       372         0     66534      1116   1306693   no data   no data  --
437.56/109.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
437.56/109.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
437.56/109.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.14
437.96/109.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
437.96/109.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
437.96/109.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    181 time:  0.00 s
437.96/109.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
474.23/118.91	c lits-rem:      4002  cl-subs:     3539  v-elim:      0  v-fix:    0  time: 36.27 s
474.23/118.91	c vivif2 --  cl tried      372 cl shrink        0 lits rem          0 time: 0.00
474.23/118.92	c vivif2 --  cl tried    62995 cl shrink        0 lits rem          0 time: 0.06
474.23/118.97	c asymm  cl-useful: 0/372/372 lits-rem:0 time: 0.19
474.23/118.97	c calculated reachability. Time: 0.00
474.23/118.97	c  N st    74   1210164       181       372         0     62995      1116   1190193   no data   no data  --
510.53/128.06	c  N st    75   1283046       181       372         0     83380      1116   1894331   no data   no data  --
559.99/140.49	c  N st    76   1392369       181       372         0     46952      1116    731766   no data   no data  --
634.98/159.27	c  N st    77   1556353       181       372         0     53819      1116    857356   no data   no data  --
697.66/174.95	c  N st    78   1710166       181       372         0     90396      1116   1908422   no data   no data  --
697.66/174.95	c  S st    78   1710166       181       372         0     90396      1116   1908422   no data   no data  --
698.01/175.10	c  S st    78   1710672       181       372         0     90889      1116   1921539   no data   no data  --
698.41/175.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
698.41/175.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
698.41/175.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
698.41/175.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
698.41/175.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
698.41/175.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    181 time:  0.00 s
698.41/175.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
759.44/190.49	c lits-rem:      3241  cl-subs:     5500  v-elim:      0  v-fix:    0  time: 60.99 s
759.44/190.49	c vivif2 --  cl tried      372 cl shrink        0 lits rem          0 time: 0.00
759.84/190.51	c vivif2 --  cl tried    85389 cl shrink        0 lits rem          0 time: 0.08
759.84/190.55	c asymm  cl-useful: 0/372/372 lits-rem:0 time: 0.18
759.84/190.56	c calculated reachability. Time: 0.00
759.84/190.56	c  N st    78   1710672       181       372         0     85389      1116   1741481   no data   no data  --
917.80/230.13	c  N st    79   2079636       181       372         0     91495      1116   1936869   no data   no data  --
979.23/245.57	c  N st    80   2210675       181       372         0     99276      1116   2159234   no data   no data  --
979.23/245.57	c  S st    80   2210675       181       372         0     99276      1116   2159234   no data   no data  --
980.03/245.77	c  S st    80   2211175       181       372         0     99769      1116   2172001   no data   no data  --
980.03/245.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
980.03/245.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
980.43/245.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.16
980.43/245.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
980.43/245.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
980.43/245.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    181 time:  0.00 s
980.43/245.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1049.83/263.27	c lits-rem:       971  cl-subs:     4460  v-elim:      0  v-fix:    0  time: 69.32 s
1049.83/263.27	c vivif2 --  cl tried      372 cl shrink        0 lits rem          0 time: 0.00
1049.83/263.29	c vivif2 --  cl tried    95309 cl shrink        0 lits rem          0 time: 0.09
1050.23/263.34	c asymm  cl-useful: 0/372/372 lits-rem:0 time: 0.20
1050.23/263.34	c calculated reachability. Time: 0.00
1050.23/263.34	c  N st    80   2211175       181       372         0     95309      1116   2010404   no data   no data  --
1276.85/320.15	c  N st    81   2711175       181       372         0    110806      1116   2471264   no data   no data  --
1276.85/320.15	c  S st    81   2711175       181       372         0    110806      1116   2471264   no data   no data  --
1277.60/320.34	c  S st    81   2711685       181       372         0    111308      1116   2484671   no data   no data  --
1277.60/320.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1277.60/320.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1277.60/320.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.18
1278.00/320.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1278.00/320.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1278.00/320.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    181 time:  0.00 s
1278.00/320.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1485.42/372.41	c lits-rem:      7614  cl-subs:    14653  v-elim:      0  v-fix:    0  time: 207.09 s
1485.42/372.41	c vivif2 --  cl tried      372 cl shrink        0 lits rem          0 time: 0.00
1485.42/372.43	c vivif2 --  cl tried    96655 cl shrink        0 lits rem          0 time: 0.09
1485.42/372.48	c asymm  cl-useful: 0/372/372 lits-rem:0 time: 0.22
1485.42/372.49	c calculated reachability. Time: 0.00
1485.42/372.49	c  N st    81   2711685       181       372         0     96655      1116   1938315   no data   no data  --
1781.77/446.77	c  N st    82   3211688       181       372         0     81292      1116   1405200   no data   no data  --
1781.77/446.77	c  S st    82   3211688       181       372         0     81292      1116   1405200   no data   no data  --
1782.57/446.91	c  S st    82   3212195       181       372         0     81792      1116   1419023   no data   no data  --
1782.57/446.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1782.57/446.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1782.57/446.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.11
1782.57/446.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1782.57/446.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1782.57/446.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    181 time:  0.00 s
1782.57/446.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1808.10/453.38	c lits-rem:      1995  cl-subs:     3071  v-elim:      0  v-fix:    0  time: 25.48 s
1808.10/453.38	c vivif2 --  cl tried      372 cl shrink        0 lits rem          0 time: 0.00
1808.10/453.39	c vivif2 --  cl tried    78721 cl shrink        0 lits rem          0 time: 0.06
1808.50/453.43	c asymm  cl-useful: 0/372/372 lits-rem:0 time: 0.14
1808.50/453.43	c calculated reachability. Time: 0.00
1808.50/453.43	c  N st    82   3212195       181       372         0     78721      1116   1304521   no data   no data  --
2147.95/538.52	c  N st    83   3712195       181       372         0     88539      1116   1509266   no data   no data  --
2147.95/538.52	c  S st    83   3712195       181       372         0     88539      1116   1509266   no data   no data  --
2148.75/538.70	c  S st    83   3712698       181       372         0     89027      1116   1522932   no data   no data  --
2148.75/538.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2148.75/538.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2148.75/538.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
2148.75/538.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2148.75/538.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2148.75/538.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    181 time:  0.00 s
2148.75/538.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2174.27/545.17	c lits-rem:      6259  cl-subs:     3663  v-elim:      0  v-fix:    0  time: 25.48 s
2174.27/545.17	c vivif2 --  cl tried      372 cl shrink        0 lits rem          0 time: 0.00
2174.27/545.19	c vivif2 --  cl tried    85364 cl shrink        0 lits rem          0 time: 0.07
2174.67/545.23	c asymm  cl-useful: 0/372/372 lits-rem:0 time: 0.16
2174.67/545.23	c calculated reachability. Time: 0.00
2174.67/545.23	c  N st    83   3712698       181       372         0     85364      1116   1395178   no data   no data  --
2201.80/552.06	c  F st    84   3751564       181       372         0    121626      1116   2719326   no data   no data  --
2201.80/552.06	c  N st    84   3751564       181       372         0    121626      1116   2719326   no data   no data  --
2204.99/552.89	c Decided on static restart strategy
2218.96/556.33	c  N st    94   3779868       181       372         0    147371      1116   3477648   no data   no data  --
2235.30/560.42	c  N st    96   3815865       181       372         0    103301      1116   1955613   no data   no data  --
2252.85/564.80	c  N st    97   3848257       181       372         0    132592      1116   2909439   no data   no data  --
2281.61/572.05	c  N st    98   3896845       181       372         0    100184      1116   1829637   no data   no data  --
2326.25/583.24	c  N st    99   3969729       181       372         0     85905      1116   1351825   no data   no data  --
2392.87/599.95	c  N st   100   4079053       181       372         0    103179      1116   1849816   no data   no data  --
2506.54/628.41	c  N st   101   4212699       181       372         0    144294      1116   3000729   no data   no data  --
2506.54/628.41	c  S st   101   4212699       181       372         0    144294      1116   3000729   no data   no data  --
2507.74/628.77	c  S st   101   4213201       181       372         0    144791      1116   3013623   no data   no data  --
2507.74/628.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2507.74/628.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2508.14/628.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.32
2508.54/628.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2508.54/628.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2508.54/628.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    181 time:  0.00 s
2508.54/628.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2912.59/730.22	c lits-rem:      4375  cl-subs:     8776  v-elim:      0  v-fix:    0  time: 403.65 s
2912.59/730.22	c vivif2 --  cl tried      372 cl shrink        0 lits rem          0 time: 0.00
2912.59/730.25	c vivif2 --  cl tried   136015 cl shrink        0 lits rem          0 time: 0.14
2913.01/730.35	c asymm  cl-useful: 0/372/372 lits-rem:0 time: 0.38
2913.01/730.36	c calculated reachability. Time: 0.00
2913.01/730.36	c  N st   101   4213201       181       372         0    136015      1116   2738636   no data   no data  --
3093.69/775.67	c  N st   102   4459179       181       372         0    110657      1116   2059491   no data   no data  --
3281.59/822.71	c  N st   103   4713206       181       372         0     90548      1116   1341249   no data   no data  --
3281.59/822.71	c  S st   103   4713206       181       372         0     90548      1116   1341249   no data   no data  --
3282.36/822.91	c  S st   103   4713708       181       372         0     91046      1116   1354701   no data   no data  --
3282.36/822.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3282.36/822.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3282.36/822.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
3282.76/823.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3282.76/823.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3282.76/823.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    181 time:  0.00 s
3282.76/823.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3305.49/828.75	c lits-rem:       515  cl-subs:      788  v-elim:      0  v-fix:    0  time: 22.93 s
3305.49/828.75	c vivif2 --  cl tried      372 cl shrink        0 lits rem          0 time: 0.00
3305.49/828.77	c vivif2 --  cl tried    90258 cl shrink        0 lits rem          0 time: 0.10
3305.89/828.86	c asymm  cl-useful: 0/372/372 lits-rem:0 time: 0.34
3305.89/828.86	c calculated reachability. Time: 0.00
3305.89/828.86	c  N st   103   4713708       181       372         0     90258      1116   1328254   no data   no data  --
3668.49/919.77	c  N st   104   5213708       181       372         0     94392      1116   1503734   no data   no data  --
3668.49/919.77	c  S st   104   5213708       181       372         0     94392      1116   1503734   no data   no data  --
3669.29/919.96	c  S st   104   5214211       181       372         0     94884      1116   1517355   no data   no data  --
3669.29/919.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3669.29/919.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3669.69/920.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.15
3669.69/920.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3669.69/920.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3669.69/920.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    181 time:  0.00 s
3669.69/920.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3692.82/925.85	c lits-rem:      1068  cl-subs:     2242  v-elim:      0  v-fix:    0  time: 23.12 s
3692.82/925.85	c vivif2 --  cl tried      372 cl shrink        0 lits rem          0 time: 0.00
3692.82/925.87	c vivif2 --  cl tried    92642 cl shrink        0 lits rem          0 time: 0.07
3693.22/925.92	c asymm  cl-useful: 0/372/372 lits-rem:0 time: 0.20
3693.22/925.92	c calculated reachability. Time: 0.00
3693.22/925.92	c  N st   104   5214211       181       372         0     92642      1116   1434587   no data   no data  --
4070.16/1020.44	c  N st   105   5714211       181       372         0    166318      1116   3463270   no data   no data  --
4070.16/1020.44	c  S st   105   5714211       181       372         0    166318      1116   3463270   no data   no data  --
4071.38/1020.78	c  S st   105   5714718       181       372         0    166814      1116   3476998   no data   no data  --
4071.38/1020.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
4071.38/1020.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4071.80/1020.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.35
4072.15/1020.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4072.15/1020.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4072.15/1020.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    181 time:  0.00 s
4072.15/1020.99	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: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3369377-1305412577/watcher-3369377-1305412577 -o /tmp/evaluation-result-3369377-1305412577/solver-3369377-1305412577 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369377-1305412577.cnf 

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

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


[startup+0 s]
/proc/loadavg: 6.26 7.67 7.89 2/345 4024
/proc/meminfo: memFree=26247808/32951124 swapFree=53501236/67111528
[pid=4024] ppid=4022 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/4024/stat : 4024 (strangenight1-m) R 4022 4024 3413 0 -1 4202496 412 0 0 0 0 0 0 0 23 0 4 0 652860332 52465664 352 33554432000 4194304 4650419 140733564509664 18446744073709551615 47683931670450 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4024/statm: 12809 352 303 112 0 7774 0
[pid=4024/tid=4025] ppid=4022 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/4024/task/4025/stat : 4025 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 652860333 52465664 352 33554432000 4194304 4650419 140733564509664 18446744073709551615 47683931670450 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4024/tid=4026] ppid=4022 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/4024/task/4026/stat : 4026 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 652860333 52465664 352 33554432000 4194304 4650419 140733564509664 18446744073709551615 47683931670450 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4024/tid=4027] ppid=4022 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/4024/task/4027/stat : 4027 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652860333 52465664 352 33554432000 4194304 4650419 140733564509664 18446744073709551615 216634571761 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.086531 s]
/proc/loadavg: 6.26 7.67 7.89 2/345 4024
/proc/meminfo: memFree=26247808/32951124 swapFree=53501236/67111528
[pid=4024] ppid=4022 vsize=282080 CPUtime=0.31 cores=0,2,4,6
/proc/4024/stat : 4024 (strangenight1-m) R 4022 4024 3413 0 -1 4202496 1352 0 0 0 31 0 0 0 25 0 4 0 652860332 288849920 1254 33554432000 4194304 4650419 140733564509664 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4024/statm: 70520 1254 390 112 0 65485 0
[pid=4024/tid=4025] ppid=4022 vsize=282080 CPUtime=0.08 cores=0,2,4,6
/proc/4024/task/4025/stat : 4025 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 214 0 0 0 8 0 0 0 18 0 4 0 652860333 288849920 1254 33554432000 4194304 4650419 140733564509664 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4024/tid=4026] ppid=4022 vsize=282080 CPUtime=0.07 cores=0,2,4,6
/proc/4024/task/4026/stat : 4026 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 247 0 0 0 7 0 0 0 18 0 4 0 652860333 288849920 1254 33554432000 4194304 4650419 140733564509664 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4024/tid=4027] ppid=4022 vsize=282080 CPUtime=0.07 cores=0,2,4,6
/proc/4024/task/4027/stat : 4027 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 233 0 0 0 7 0 0 0 25 0 4 0 652860333 288849920 1254 33554432000 4194304 4650419 140733564509664 18446744073709551615 4364468 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 282080

[startup+0.100528 s]
/proc/loadavg: 6.26 7.67 7.89 2/345 4024
/proc/meminfo: memFree=26247808/32951124 swapFree=53501236/67111528
[pid=4024] ppid=4022 vsize=282484 CPUtime=0.37 cores=0,2,4,6
/proc/4024/stat : 4024 (strangenight1-m) R 4022 4024 3413 0 -1 4202496 1554 0 0 0 37 0 0 0 25 0 4 0 652860332 289263616 1238 33554432000 4194304 4650419 140733564509664 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4024/statm: 70621 1238 392 112 0 65586 0
[pid=4024/tid=4025] ppid=4022 vsize=282484 CPUtime=0.09 cores=0,2,4,6
/proc/4024/task/4025/stat : 4025 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 232 0 0 0 9 0 0 0 18 0 4 0 652860333 289263616 1238 33554432000 4194304 4650419 140733564509664 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4024/tid=4026] ppid=4022 vsize=282484 CPUtime=0.09 cores=0,2,4,6
/proc/4024/task/4026/stat : 4026 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 266 0 0 0 9 0 0 0 18 0 4 0 652860333 289263616 1238 33554432000 4194304 4650419 140733564509664 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4024/tid=4027] ppid=4022 vsize=282484 CPUtime=0.08 cores=0,2,4,6
/proc/4024/task/4027/stat : 4027 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 314 0 0 0 8 0 0 0 25 0 4 0 652860333 289263616 1238 33554432000 4194304 4650419 140733564509664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282484

[startup+0.300494 s]
/proc/loadavg: 6.26 7.67 7.89 2/345 4024
/proc/meminfo: memFree=26247808/32951124 swapFree=53501236/67111528
[pid=4024] ppid=4022 vsize=283992 CPUtime=1.17 cores=0,2,4,6
/proc/4024/stat : 4024 (strangenight1-m) R 4022 4024 3413 0 -1 4202496 3103 0 0 0 117 0 0 0 25 0 4 0 652860332 290807808 1751 33554432000 4194304 4650419 140733564509664 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4024/statm: 70998 1751 392 112 0 65963 0
[pid=4024/tid=4025] ppid=4022 vsize=283992 CPUtime=0.29 cores=0,2,4,6
/proc/4024/task/4025/stat : 4025 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 634 0 0 0 29 0 0 0 18 0 4 0 652860333 290807808 1751 33554432000 4194304 4650419 140733564509664 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4024/tid=4026] ppid=4022 vsize=283992 CPUtime=0.29 cores=0,2,4,6
/proc/4024/task/4026/stat : 4026 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 701 0 0 0 29 0 0 0 18 0 4 0 652860333 290807808 1752 33554432000 4194304 4650419 140733564509664 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4024/tid=4027] ppid=4022 vsize=283992 CPUtime=0.28 cores=0,2,4,6
/proc/4024/task/4027/stat : 4027 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 660 0 0 0 28 0 0 0 25 0 4 0 652860333 290807808 1752 33554432000 4194304 4650419 140733564509664 18446744073709551615 4364433 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283992

[startup+0.700424 s]
/proc/loadavg: 6.26 7.67 7.89 2/345 4024
/proc/meminfo: memFree=26247808/32951124 swapFree=53501236/67111528
[pid=4024] ppid=4022 vsize=285176 CPUtime=2.77 cores=0,2,4,6
/proc/4024/stat : 4024 (strangenight1-m) R 4022 4024 3413 0 -1 4202496 5508 0 0 0 277 0 0 0 25 0 4 0 652860332 292020224 2559 33554432000 4194304 4650419 140733564509664 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4024/statm: 71294 2559 393 112 0 66259 0
[pid=4024/tid=4025] ppid=4022 vsize=285176 CPUtime=0.69 cores=0,2,4,6
/proc/4024/task/4025/stat : 4025 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 1183 0 0 0 69 0 0 0 18 0 4 0 652860333 292020224 2559 33554432000 4194304 4650419 140733564509664 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4024/tid=4026] ppid=4022 vsize=285176 CPUtime=0.69 cores=0,2,4,6
/proc/4024/task/4026/stat : 4026 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 1363 0 0 0 69 0 0 0 18 0 4 0 652860333 292020224 2559 33554432000 4194304 4650419 140733564509664 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4024/tid=4027] ppid=4022 vsize=285176 CPUtime=0.68 cores=0,2,4,6
/proc/4024/task/4027/stat : 4027 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 1337 0 0 0 68 0 0 0 25 0 4 0 652860333 292020224 2559 33554432000 4194304 4650419 140733564509664 18446744073709551615 4366869 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) 285176

[startup+1.50028 s]
/proc/loadavg: 6.26 7.67 7.89 9/356 4036
/proc/meminfo: memFree=26222196/32951124 swapFree=53501236/67111528
[pid=4024] ppid=4022 vsize=283180 CPUtime=5.96 cores=0,2,4,6
/proc/4024/stat : 4024 (strangenight1-m) R 4022 4024 3413 0 -1 4202496 13333 0 0 0 594 2 0 0 25 0 4 0 652860332 289976320 8343 33554432000 4194304 4650419 140733564509664 18446744073709551615 4314858 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4024/statm: 70795 8343 394 112 0 65760 0
[pid=4024/tid=4025] ppid=4022 vsize=283180 CPUtime=1.49 cores=0,2,4,6
/proc/4024/task/4025/stat : 4025 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 3030 0 0 0 149 0 0 0 20 0 4 0 652860333 289976320 8343 33554432000 4194304 4650419 140733564509664 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4024/tid=4026] ppid=4022 vsize=283180 CPUtime=1.48 cores=0,2,4,6
/proc/4024/task/4026/stat : 4026 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 3191 0 0 0 148 0 0 0 19 0 4 0 652860333 289976320 8343 33554432000 4194304 4650419 140733564509664 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4024/tid=4027] ppid=4022 vsize=283180 CPUtime=1.46 cores=0,2,4,6
/proc/4024/task/4027/stat : 4027 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 3344 0 0 0 146 0 0 0 25 0 4 0 652860333 289976320 8343 33554432000 4194304 4650419 140733564509664 18446744073709551615 4476502 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) 283180

[startup+3.101 s]
/proc/loadavg: 6.26 7.67 7.89 9/356 4036
/proc/meminfo: memFree=26191196/32951124 swapFree=53501236/67111528
[pid=4024] ppid=4022 vsize=284784 CPUtime=12.34 cores=0,2,4,6
/proc/4024/stat : 4024 (strangenight1-m) R 4022 4024 3413 0 -1 4202496 20219 0 0 0 1231 3 0 0 25 0 4 0 652860332 291618816 12405 33554432000 4194304 4650419 140733564509664 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4024/statm: 71196 12405 394 112 0 66161 0
[pid=4024/tid=4025] ppid=4022 vsize=284784 CPUtime=3.09 cores=0,2,4,6
/proc/4024/task/4025/stat : 4025 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 5660 0 0 0 309 0 0 0 25 0 4 0 652860333 291618816 12405 33554432000 4194304 4650419 140733564509664 18446744073709551615 4439488 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4024/tid=4026] ppid=4022 vsize=284784 CPUtime=3.08 cores=0,2,4,6
/proc/4024/task/4026/stat : 4026 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 4140 0 0 0 308 0 0 0 25 0 4 0 652860333 291618816 12405 33554432000 4194304 4650419 140733564509664 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4024/tid=4027] ppid=4022 vsize=284784 CPUtime=3.05 cores=0,2,4,6
/proc/4024/task/4027/stat : 4027 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 4797 0 0 0 305 0 0 0 25 0 4 0 652860333 291618816 12405 33554432000 4194304 4650419 140733564509664 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 284784

[startup+6.30044 s]
/proc/loadavg: 6.40 7.68 7.89 9/356 4036
/proc/meminfo: memFree=26130312/32951124 swapFree=53501236/67111528
[pid=4024] ppid=4022 vsize=300464 CPUtime=25.1 cores=0,2,4,6
/proc/4024/stat : 4024 (strangenight1-m) R 4022 4024 3413 0 -1 4202496 30165 0 0 0 2505 5 0 0 25 0 4 0 652860332 307675136 16594 33554432000 4194304 4650419 140733564509664 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4024/statm: 75116 16594 394 112 0 70081 0
[pid=4024/tid=4025] ppid=4022 vsize=300464 CPUtime=6.29 cores=0,2,4,6
/proc/4024/task/4025/stat : 4025 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 8057 0 0 0 628 1 0 0 25 0 4 0 652860333 307675136 16594 33554432000 4194304 4650419 140733564509664 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4024/tid=4026] ppid=4022 vsize=300464 CPUtime=6.28 cores=0,2,4,6
/proc/4024/task/4026/stat : 4026 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 6708 0 0 0 627 1 0 0 25 0 4 0 652860333 307675136 16594 33554432000 4194304 4650419 140733564509664 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4024/tid=4027] ppid=4022 vsize=300464 CPUtime=6.21 cores=0,2,4,6
/proc/4024/task/4027/stat : 4027 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 7074 0 0 0 621 0 0 0 25 0 4 0 652860333 307675136 16594 33554432000 4194304 4650419 140733564509664 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 300464

[startup+12.7003 s]
/proc/loadavg: 6.53 7.68 7.89 9/356 4037
/proc/meminfo: memFree=26082832/32951124 swapFree=53501236/67111528
[pid=4024] ppid=4022 vsize=309492 CPUtime=50.63 cores=0,2,4,6
/proc/4024/stat : 4024 (strangenight1-m) R 4022 4024 3413 0 -1 4202496 47399 0 0 0 5055 8 0 0 25 0 4 0 652860332 316919808 23159 33554432000 4194304 4650419 140733564509664 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4024/statm: 77373 23159 394 112 0 72338 0
[pid=4024/tid=4025] ppid=4022 vsize=309492 CPUtime=12.68 cores=0,2,4,6
/proc/4024/task/4025/stat : 4025 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 12149 0 0 0 1267 1 0 0 25 0 4 0 652860333 316919808 23159 33554432000 4194304 4650419 140733564509664 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4024/tid=4026] ppid=4022 vsize=309492 CPUtime=12.68 cores=0,2,4,6
/proc/4024/task/4026/stat : 4026 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 11831 0 0 0 1266 2 0 0 25 0 4 0 652860333 316919808 23159 33554432000 4194304 4650419 140733564509664 18446744073709551615 4440715 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4024/tid=4027] ppid=4022 vsize=309492 CPUtime=12.54 cores=0,2,4,6
/proc/4024/task/4027/stat : 4027 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 10144 0 0 0 1253 1 0 0 25 0 4 0 652860333 316919808 23159 33554432000 4194304 4650419 140733564509664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 309492

[startup+25.5011 s]
/proc/loadavg: 6.85 7.70 7.89 9/356 4037
/proc/meminfo: memFree=26017116/32951124 swapFree=53501236/67111528
[pid=4024] ppid=4022 vsize=305252 CPUtime=101.67 cores=0,2,4,6
/proc/4024/stat : 4024 (strangenight1-m) R 4022 4024 3413 0 -1 4202496 75373 0 0 0 10154 13 0 0 25 0 4 0 652860332 312578048 32303 33554432000 4194304 4650419 140733564509664 18446744073709551615 4303936 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4024/statm: 76313 32303 394 112 0 71278 0
[pid=4024/tid=4025] ppid=4022 vsize=305252 CPUtime=25.48 cores=0,2,4,6
/proc/4024/task/4025/stat : 4025 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 19503 0 0 0 2545 3 0 0 25 0 4 0 652860333 312578048 32303 33554432000 4194304 4650419 140733564509664 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4024/tid=4026] ppid=4022 vsize=305252 CPUtime=25.48 cores=0,2,4,6
/proc/4024/task/4026/stat : 4026 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 20520 0 0 0 2544 4 0 0 25 0 4 0 652860333 312578048 32303 33554432000 4194304 4650419 140733564509664 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4024/tid=4027] ppid=4022 vsize=305252 CPUtime=25.2 cores=0,2,4,6
/proc/4024/task/4027/stat : 4027 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 15474 0 0 0 2518 2 0 0 25 0 4 0 652860333 312578048 32303 33554432000 4194304 4650419 140733564509664 18446744073709551615 4334529 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 305252

[startup+51.1006 s]
/proc/loadavg: 7.24 7.72 7.89 9/356 4038
/proc/meminfo: memFree=25953304/32951124 swapFree=53501236/67111528
[pid=4024] ppid=4022 vsize=371676 CPUtime=203.8 cores=0,2,4,6
/proc/4024/stat : 4024 (strangenight1-m) R 4022 4024 3413 0 -1 4202496 120615 0 0 0 20357 23 0 0 25 0 4 0 652860332 380596224 41878 33554432000 4194304 4650419 140733564509664 18446744073709551615 4363441 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4024/statm: 92919 41879 394 112 0 87884 0
[pid=4024/tid=4025] ppid=4022 vsize=371676 CPUtime=51.08 cores=0,2,4,6
/proc/4024/task/4025/stat : 4025 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 31443 0 0 0 5104 4 0 0 25 0 4 0 652860333 380596224 41879 33554432000 4194304 4650419 140733564509664 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4024/tid=4026] ppid=4022 vsize=371676 CPUtime=51.07 cores=0,2,4,6
/proc/4024/task/4026/stat : 4026 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 35126 0 0 0 5100 7 0 0 25 0 4 0 652860333 380596224 41879 33554432000 4194304 4650419 140733564509664 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4024/tid=4027] ppid=4022 vsize=371676 CPUtime=50.53 cores=0,2,4,6
/proc/4024/task/4027/stat : 4027 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 22560 0 0 0 5049 4 0 0 25 0 4 0 652860333 380596224 41879 33554432000 4194304 4650419 140733564509664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.8
Current children cumulated vsize (KiB) 371676

[startup+102.313 s]
/proc/loadavg: 7.71 7.78 7.90 9/356 4039
/proc/meminfo: memFree=25861904/32951124 swapFree=53501236/67111528
[pid=4024] ppid=4022 vsize=417700 CPUtime=408.08 cores=0,2,4,6
/proc/4024/stat : 4024 (strangenight1-m) R 4022 4024 3413 0 -1 4202496 191048 0 0 0 40771 37 0 0 25 0 4 0 652860332 427724800 55700 33554432000 4194304 4650419 140733564509664 18446744073709551615 4313463 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4024/statm: 104425 55700 394 112 0 99390 0
[pid=4024/tid=4025] ppid=4022 vsize=417700 CPUtime=102.28 cores=0,2,4,6
/proc/4024/task/4025/stat : 4025 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 52680 0 0 0 10220 8 0 0 25 0 4 0 652860333 427724800 55700 33554432000 4194304 4650419 140733564509664 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4024/tid=4026] ppid=4022 vsize=417700 CPUtime=102.29 cores=0,2,4,6
/proc/4024/task/4026/stat : 4026 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 54236 0 0 0 10218 11 0 0 25 0 4 0 652860333 427724800 55700 33554432000 4194304 4650419 140733564509664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4024/tid=4027] ppid=4022 vsize=417700 CPUtime=101.17 cores=0,2,4,6
/proc/4024/task/4027/stat : 4027 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 32129 0 0 0 10111 6 0 0 25 0 4 0 652860333 427724800 55700 33554432000 4194304 4650419 140733564509664 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.08
Current children cumulated vsize (KiB) 417700

[startup+162.301 s]

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

[pid=4024] ppid=4022 vsize=746060 CPUtime=2562 cores=0,2,4,6
/proc/4024/stat : 4024 (strangenight1-m) R 4022 4024 3413 0 -1 4202496 611414 0 0 0 256032 168 0 0 25 0 4 0 652860332 763965440 133626 33554432000 4194304 4650419 140733564509664 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4024/statm: 186515 133626 394 112 0 181480 0
[pid=4024/tid=4025] ppid=4022 vsize=746060 CPUtime=642.19 cores=0,2,4,6
/proc/4024/task/4025/stat : 4025 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 179657 0 0 0 64170 49 0 0 25 0 4 0 652860333 763965440 133626 33554432000 4194304 4650419 140733564509664 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4024/tid=4026] ppid=4022 vsize=746060 CPUtime=642.3 cores=0,2,4,6
/proc/4024/task/4026/stat : 4026 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 128363 0 0 0 64197 33 0 0 25 0 4 0 652860333 763965440 133626 33554432000 4194304 4650419 140733564509664 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4024/tid=4027] ppid=4022 vsize=746060 CPUtime=635.2 cores=0,2,4,6
/proc/4024/task/4027/stat : 4027 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 109545 0 0 0 63490 30 0 0 25 0 4 0 652860333 763965440 133626 33554432000 4194304 4650419 140733564509664 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2562
Current children cumulated vsize (KiB) 746060

[startup+702.301 s]
/proc/loadavg: 8.09 8.04 7.97 9/356 4055
/proc/meminfo: memFree=25346416/32951124 swapFree=53501236/67111528
[pid=4024] ppid=4022 vsize=816228 CPUtime=2801.31 cores=0,2,4,6
/proc/4024/stat : 4024 (strangenight1-m) R 4022 4024 3413 0 -1 4202496 651422 0 0 0 279950 181 0 0 25 0 4 0 652860332 835817472 138686 33554432000 4194304 4650419 140733564509664 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4024/statm: 204057 138686 394 112 0 199022 0
[pid=4024/tid=4025] ppid=4022 vsize=816228 CPUtime=702.16 cores=0,2,4,6
/proc/4024/task/4025/stat : 4025 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 192773 0 0 0 70159 57 0 0 25 0 4 0 652860333 835817472 138686 33554432000 4194304 4650419 140733564509664 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4024/tid=4026] ppid=4022 vsize=816228 CPUtime=702.28 cores=0,2,4,6
/proc/4024/task/4026/stat : 4026 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 132689 0 0 0 70193 35 0 0 25 0 4 0 652860333 835817472 138686 33554432000 4194304 4650419 140733564509664 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4024/tid=4027] ppid=4022 vsize=816228 CPUtime=694.53 cores=0,2,4,6
/proc/4024/task/4027/stat : 4027 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 109647 0 0 0 69423 30 0 0 25 0 4 0 652860333 835817472 138686 33554432000 4194304 4650419 140733564509664 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2801.31
Current children cumulated vsize (KiB) 816228

[startup+762.313 s]
/proc/loadavg: 8.08 8.05 7.97 9/356 4057
/proc/meminfo: memFree=25236372/32951124 swapFree=53501236/67111528
[pid=4024] ppid=4022 vsize=772992 CPUtime=3040.67 cores=0,2,4,6
/proc/4024/stat : 4024 (strangenight1-m) R 4022 4024 3413 0 -1 4202496 689734 0 0 0 303872 195 0 0 25 0 4 0 652860332 791543808 159498 33554432000 4194304 4650419 140733564509664 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4024/statm: 193248 159498 394 112 0 188213 0
[pid=4024/tid=4025] ppid=4022 vsize=772992 CPUtime=762.17 cores=0,2,4,6
/proc/4024/task/4025/stat : 4025 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 204698 0 0 0 76157 60 0 0 25 0 4 0 652860333 791543808 159498 33554432000 4194304 4650419 140733564509664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4024/tid=4026] ppid=4022 vsize=772992 CPUtime=762.3 cores=0,2,4,6
/proc/4024/task/4026/stat : 4026 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 136863 0 0 0 76192 38 0 0 25 0 4 0 652860333 791543808 159498 33554432000 4194304 4650419 140733564509664 18446744073709551615 4438387 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4024/tid=4027] ppid=4022 vsize=772992 CPUtime=753.88 cores=0,2,4,6
/proc/4024/task/4027/stat : 4027 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 119192 0 0 0 75353 35 0 0 25 0 4 0 652860333 791543808 159498 33554432000 4194304 4650419 140733564509664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3040.67
Current children cumulated vsize (KiB) 772992

[startup+822.301 s]
/proc/loadavg: 8.06 8.05 7.98 9/356 4058
/proc/meminfo: memFree=25268336/32951124 swapFree=53501236/67111528
[pid=4024] ppid=4022 vsize=775416 CPUtime=3279.98 cores=0,2,4,6
/proc/4024/stat : 4024 (strangenight1-m) R 4022 4024 3413 0 -1 4202496 714031 0 0 0 327789 209 0 0 25 0 4 0 652860332 794025984 148239 33554432000 4194304 4650419 140733564509664 18446744073709551615 4365327 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4024/statm: 193854 148239 394 112 0 188819 0
[pid=4024/tid=4025] ppid=4022 vsize=775416 CPUtime=822.15 cores=0,2,4,6
/proc/4024/task/4025/stat : 4025 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 210250 0 0 0 82152 63 0 0 25 0 4 0 652860333 794025984 148239 33554432000 4194304 4650419 140733564509664 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4024/tid=4026] ppid=4022 vsize=775416 CPUtime=822.29 cores=0,2,4,6
/proc/4024/task/4026/stat : 4026 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 136863 0 0 0 82191 38 0 0 25 0 4 0 652860333 794025984 148239 33554432000 4194304 4650419 140733564509664 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4024/tid=4027] ppid=4022 vsize=775416 CPUtime=813.22 cores=0,2,4,6
/proc/4024/task/4027/stat : 4027 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 126500 0 0 0 81282 40 0 0 25 0 4 0 652860333 794025984 148239 33554432000 4194304 4650419 140733564509664 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3279.98
Current children cumulated vsize (KiB) 775416

[startup+882.3 s]
/proc/loadavg: 8.08 8.07 7.99 9/356 4060
/proc/meminfo: memFree=25231320/32951124 swapFree=53501236/67111528
[pid=4024] ppid=4022 vsize=953040 CPUtime=3519.29 cores=0,2,4,6
/proc/4024/stat : 4024 (strangenight1-m) R 4022 4024 3413 0 -1 4202496 744219 0 0 0 351710 219 0 0 25 0 4 0 652860332 975912960 162812 33554432000 4194304 4650419 140733564509664 18446744073709551615 4361085 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4024/statm: 238260 162812 394 112 0 233225 0
[pid=4024/tid=4025] ppid=4022 vsize=953040 CPUtime=882.14 cores=0,2,4,6
/proc/4024/task/4025/stat : 4025 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 220359 0 0 0 88148 66 0 0 25 0 4 0 652860333 975912960 162812 33554432000 4194304 4650419 140733564509664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4024/tid=4026] ppid=4022 vsize=953040 CPUtime=882.29 cores=0,2,4,6
/proc/4024/task/4026/stat : 4026 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 140518 0 0 0 88190 39 0 0 25 0 4 0 652860333 975912960 162812 33554432000 4194304 4650419 140733564509664 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4024/tid=4027] ppid=4022 vsize=953040 CPUtime=872.55 cores=0,2,4,6
/proc/4024/task/4027/stat : 4027 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 132300 0 0 0 87213 42 0 0 25 0 4 0 652860333 975912960 162812 33554432000 4194304 4650419 140733564509664 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3519.29
Current children cumulated vsize (KiB) 953040

[startup+942.301 s]
/proc/loadavg: 8.03 8.05 7.99 9/356 4061
/proc/meminfo: memFree=25232628/32951124 swapFree=53501236/67111528
[pid=4024] ppid=4022 vsize=902184 CPUtime=3758.63 cores=0,2,4,6
/proc/4024/stat : 4024 (strangenight1-m) R 4022 4024 3413 0 -1 4202496 782557 0 0 0 375632 231 0 0 25 0 4 0 652860332 923836416 163562 33554432000 4194304 4650419 140733564509664 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4024/statm: 225546 163562 394 112 0 220511 0
[pid=4024/tid=4025] ppid=4022 vsize=902184 CPUtime=942.12 cores=0,2,4,6
/proc/4024/task/4025/stat : 4025 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 236055 0 0 0 94142 70 0 0 25 0 4 0 652860333 923836416 163562 33554432000 4194304 4650419 140733564509664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4024/tid=4026] ppid=4022 vsize=902184 CPUtime=942.29 cores=0,2,4,6
/proc/4024/task/4026/stat : 4026 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 144609 0 0 0 94188 41 0 0 25 0 4 0 652860333 923836416 163562 33554432000 4194304 4650419 140733564509664 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4024/tid=4027] ppid=4022 vsize=902184 CPUtime=931.89 cores=0,2,4,6
/proc/4024/task/4027/stat : 4027 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 140095 0 0 0 93144 45 0 0 25 0 4 0 652860333 923836416 163562 33554432000 4194304 4650419 140733564509664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3758.63
Current children cumulated vsize (KiB) 902184

[startup+1002.3 s]
/proc/loadavg: 8.05 8.06 8.00 9/356 4063
/proc/meminfo: memFree=25283544/32951124 swapFree=53501236/67111528
[pid=4024] ppid=4022 vsize=809780 CPUtime=3997.95 cores=0,2,4,6
/proc/4024/stat : 4024 (strangenight1-m) R 4022 4024 3413 0 -1 4202496 813485 0 0 0 399551 244 0 0 25 0 4 0 652860332 829214720 151761 33554432000 4194304 4650419 140733564509664 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4024/statm: 202445 151761 394 112 0 197410 0
[pid=4024/tid=4025] ppid=4022 vsize=809780 CPUtime=1002.12 cores=0,2,4,6
/proc/4024/task/4025/stat : 4025 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 250440 0 0 0 100135 77 0 0 25 0 4 0 652860333 829214720 151761 33554432000 4194304 4650419 140733564509664 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4024/tid=4026] ppid=4022 vsize=809780 CPUtime=1002.3 cores=0,2,4,6
/proc/4024/task/4026/stat : 4026 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 149030 0 0 0 100187 43 0 0 25 0 4 0 652860333 829214720 151761 33554432000 4194304 4650419 140733564509664 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4024/tid=4027] ppid=4022 vsize=809780 CPUtime=991.23 cores=0,2,4,6
/proc/4024/task/4027/stat : 4027 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 143516 0 0 0 99076 47 0 0 25 0 4 0 652860333 829214720 151761 33554432000 4194304 4650419 140733564509664 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3997.95
Current children cumulated vsize (KiB) 809780

[startup+1062.3 s]
/proc/loadavg: 8.05 8.06 8.00 9/356 4065
/proc/meminfo: memFree=25170412/32951124 swapFree=53501236/67111528
[pid=4024] ppid=4022 vsize=897008 CPUtime=4237.26 cores=0,2,4,6
/proc/4024/stat : 4024 (strangenight1-m) R 4022 4024 3413 0 -1 4202496 845173 0 0 0 423472 254 0 0 25 0 4 0 652860332 918536192 170004 33554432000 4194304 4650419 140733564509664 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4024/statm: 224252 170004 394 112 0 219217 0
[pid=4024/tid=4025] ppid=4022 vsize=897008 CPUtime=1062.1 cores=0,2,4,6
/proc/4024/task/4025/stat : 4025 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 259112 0 0 0 106131 79 0 0 25 0 4 0 652860333 918536192 170004 33554432000 4194304 4650419 140733564509664 18446744073709551615 4420267 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4024/tid=4026] ppid=4022 vsize=897008 CPUtime=1062.3 cores=0,2,4,6
/proc/4024/task/4026/stat : 4026 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 158892 0 0 0 106182 48 0 0 25 0 4 0 652860333 918536192 170004 33554432000 4194304 4650419 140733564509664 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4024/tid=4027] ppid=4022 vsize=897008 CPUtime=1050.55 cores=0,2,4,6
/proc/4024/task/4027/stat : 4027 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 145432 0 0 0 105008 47 0 0 25 0 4 0 652860333 918536192 170004 33554432000 4194304 4650419 140733564509664 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4237.26
Current children cumulated vsize (KiB) 897008

[startup+1122.3 s]
/proc/loadavg: 8.12 8.07 8.01 9/356 4066
/proc/meminfo: memFree=25138008/32951124 swapFree=53501236/67111528
[pid=4024] ppid=4022 vsize=905796 CPUtime=4476.55 cores=0,2,4,6
/proc/4024/stat : 4024 (strangenight1-m) R 4022 4024 3413 0 -1 4202496 857485 0 0 0 447394 261 0 0 25 0 4 0 652860332 927535104 175152 33554432000 4194304 4650419 140733564509664 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4024/statm: 226449 175152 394 112 0 221414 0
[pid=4024/tid=4025] ppid=4022 vsize=905796 CPUtime=1122.09 cores=0,2,4,6
/proc/4024/task/4025/stat : 4025 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 260145 0 0 0 112130 79 0 0 25 0 4 0 652860333 927535104 175152 33554432000 4194304 4650419 140733564509664 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4024/tid=4026] ppid=4022 vsize=905796 CPUtime=1122.3 cores=0,2,4,6
/proc/4024/task/4026/stat : 4026 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 165137 0 0 0 112179 51 0 0 25 0 4 0 652860333 927535104 175152 33554432000 4194304 4650419 140733564509664 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4024/tid=4027] ppid=4022 vsize=905796 CPUtime=1109.84 cores=0,2,4,6
/proc/4024/task/4027/stat : 4027 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 150466 0 0 0 110934 50 0 0 25 0 4 0 652860333 927535104 175152 33554432000 4194304 4650419 140733564509664 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4476.55
Current children cumulated vsize (KiB) 905796

[startup+1182.3 s]
/proc/loadavg: 8.18 8.09 8.01 9/356 4068
/proc/meminfo: memFree=25182224/32951124 swapFree=53501236/67111528
[pid=4024] ppid=4022 vsize=1016456 CPUtime=4715.87 cores=0,2,4,6
/proc/4024/stat : 4024 (strangenight1-m) R 4022 4024 3413 0 -1 4202496 875773 0 0 0 471317 270 0 0 25 0 4 0 652860332 1040850944 174945 33554432000 4194304 4650419 140733564509664 18446744073709551615 4476411 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4024/statm: 254114 174945 394 112 0 249079 0
[pid=4024/tid=4025] ppid=4022 vsize=1016456 CPUtime=1182.08 cores=0,2,4,6
/proc/4024/task/4025/stat : 4025 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 260145 0 0 0 118129 79 0 0 25 0 4 0 652860333 1040850944 174945 33554432000 4194304 4650419 140733564509664 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4024/tid=4026] ppid=4022 vsize=1016456 CPUtime=1182.3 cores=0,2,4,6
/proc/4024/task/4026/stat : 4026 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 176038 0 0 0 118174 56 0 0 25 0 4 0 652860333 1040850944 174945 33554432000 4194304 4650419 140733564509664 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4024/tid=4027] ppid=4022 vsize=1016456 CPUtime=1169.16 cores=0,2,4,6
/proc/4024/task/4027/stat : 4027 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 157853 0 0 0 116862 54 0 0 25 0 4 0 652860333 1040850944 174945 33554432000 4194304 4650419 140733564509664 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4715.87
Current children cumulated vsize (KiB) 1016456



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.41 s]
/proc/loadavg: 8.13 8.08 8.01 9/356 4068
/proc/meminfo: memFree=25156284/32951124 swapFree=53501236/67111528
[pid=4024] ppid=4022 vsize=965268 CPUtime=4800.07 cores=0,2,4,6
/proc/4024/stat : 4024 (strangenight1-m) R 4022 4024 3413 0 -1 4202496 883797 0 0 0 479734 273 0 0 25 0 4 0 652860332 988434432 177316 33554432000 4194304 4650419 140733564509664 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4024/statm: 241317 177316 394 112 0 236282 0
[pid=4024/tid=4025] ppid=4022 vsize=965268 CPUtime=1203.2 cores=0,2,4,6
/proc/4024/task/4025/stat : 4025 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 260146 0 0 0 120241 79 0 0 25 0 4 0 652860333 988434432 177317 33554432000 4194304 4650419 140733564509664 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4024/tid=4026] ppid=4022 vsize=965268 CPUtime=1203.42 cores=0,2,4,6
/proc/4024/task/4026/stat : 4026 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 180563 0 0 0 120284 58 0 0 25 0 4 0 652860333 988434432 177317 33554432000 4194304 4650419 140733564509664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4024/tid=4027] ppid=4022 vsize=965268 CPUtime=1190.03 cores=0,2,4,6
/proc/4024/task/4027/stat : 4027 (strangenight1-m) R 4022 4024 3413 0 -1 4202560 161352 0 0 0 118947 56 0 0 25 0 4 0 652860333 988434432 177317 33554432000 4194304 4650419 140733564509664 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 965268

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): 1203.46
CPU time (s): 4800.16
CPU user time (s): 4797.39
CPU system time (s): 2.76758
CPU usage (%): 398.862
Max. virtual memory (cumulated for all children) (KiB): 1046116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.39
system time used= 2.76758
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 883799
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= 258
involuntary context switches= 20763

runsolver used 3.65944 second user time and 9.76751 second system time

The end

Launcher Data 

Begin job on node103 at 2011-05-15 00:36:17
IDJOB=3369377
IDBENCH=83140
IDSOLVER=1846
FILE ID=node103/3369377-1305412577
RUNJOBID= node103-1305412577-4009
PBS_JOBID= 13324513
Free space on /tmp= 72992 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
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-3369377-1305412577/watcher-3369377-1305412577 -o /tmp/evaluation-result-3369377-1305412577/solver-3369377-1305412577 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369377-1305412577.cnf

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

MD5SUM BENCH= 1221fb51c407dee7559369d7c6eedb4e
RANDOM SEED=1694875508

node103.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26249584 kB
Buffers:        301372 kB
Cached:        3865080 kB
SwapCached:     340192 kB
Active:        1317824 kB
Inactive:      5113896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26249584 kB
SwapTotal:    67111528 kB
SwapFree:     53501236 kB
Dirty:           10580 kB
Writeback:           0 kB
AnonPages:     1936192 kB
Mapped:          10200 kB
Slab:           151468 kB
PageTables:      52940 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 78289128 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72980 MiB
End job on node103 at 2011-05-15 00:56:23