Trace number 3366325

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v450-c1917-S380157195-014.SATISFIABLE.cnf
MD5SUMc5ca502edf263e9767f2d7ec536d2edf
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.009997
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of clauses1917
Sum of the clauses size5751
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31917
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366325-1305401772.cnf'
0.00/0.01	c -- header says num vars:            450
0.00/0.01	c -- header says num clauses:        1917
0.00/0.01	c -- clauses added:            0 learnts,         1917 normals,            0 xors
0.00/0.01	c -- vars added        450
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       450      1917         0         0      5751         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/1917/1917 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 blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
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:    450 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.57/0.90	c lits-rem:         0  cl-subs:        0  v-elim:     16  v-fix:    0  time:  0.00 s
3.57/0.90	c Finding binary XORs  T:     0.00 s  found:       0
3.57/0.90	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.57/0.90	c calculated reachability. Time: 0.00
3.57/0.90	c Calc default polars -  time:   0.00 s pos:     216 undec:      42 neg:     192
3.57/0.90	c =========================================================================================
3.57/0.90	c types(t): F = full restart, N = normal restart
3.57/0.90	c types(t): S = simplification begin/end, E = solution found
3.57/0.90	c restart types(rt): st = static, dy = dynamic
3.57/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.57/0.90	c  B st     0         0       434      1901         0         0      5807         0   no data   no data
3.57/0.90	c Decided on static restart strategy
3.57/0.90	c  N st     8      4918       434      1901         0      4823      5807    104149   no data   no data
3.57/0.90	c  N st    10     11301       434      1901         0      4470      5807     70181   no data   no data
3.57/0.90	c  N st    11     17045       434      1901         0     10069      5807    191736   no data   no data
3.97/1.10	c  F st    12     25001       434      1901         0     12348      5807    234757   no data   no data
3.97/1.10	c  N st    12     25001       434      1901         0     12348      5807    234757   no data   no data
5.16/1.34	c Decided on static restart strategy
5.16/1.34	c  N st    18     30000       434      1901         0     10613      5807    176537   no data   no data
5.16/1.34	c  S st    18     30000       434      1901         0     10613      5807    176537   no data   no data
5.16/1.37	c  S st    18     30500       434      1901         0     11113      5807    187735   no data   no data
5.16/1.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.16/1.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.16/1.37	c blocked clauses removed:       12 vars:      2 tried:         434 T: 0.00 s
5.16/1.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.16/1.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    432 time:  0.00 s
5.16/1.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.16/1.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.16/1.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.55/1.44	c lits-rem:       260  cl-subs:      886  v-elim:      0  v-fix:    0  time:  0.06 s
5.55/1.45	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.01
5.55/1.45	c calculated reachability. Time: 0.00
5.55/1.45	c  N st    18     30500       432      1889         0     10227      5771    169734   no data   no data
7.16/1.86	c  N st    20     37611       432      1889         0      9497      5771    139303   no data   no data
8.79/2.22	c  N st    21     44013       432      1889         0     15758      5771    274803   no data   no data
9.20/2.35	c  S st    22     45751       432      1889         0     17464      5771    311741   no data   no data
9.20/2.38	c  S st    22     46254       432      1889         0      9236      5771    120725   no data   no data
9.20/2.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.20/2.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.20/2.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.20/2.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.20/2.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.20/2.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    432 time:  0.00 s
9.20/2.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.20/2.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.20/2.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.55/2.40	c lits-rem:        30  cl-subs:       73  v-elim:      0  v-fix:    0  time:  0.01 s
9.55/2.40	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
9.55/2.40	c vivif2 --  cl tried     9163 cl shrink        0 lits rem          0 time: 0.00
9.55/2.41	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.00
9.55/2.41	c calculated reachability. Time: 0.00
9.55/2.41	c  N st    22     46254       432      1889         0      9163      5771    119357   no data   no data
12.75/3.29	c  N st    23     60652       432      1889         0     13514      5771    209233   no data   no data
15.53/3.90	c  N st    24     69382       432      1889         0     11289      5771    149608   no data   no data
15.53/3.90	c  S st    24     69382       432      1889         0     11289      5771    149608   no data   no data
15.53/3.93	c  S st    24     69887       432      1889         0     11790      5771    160744   no data   no data
15.53/3.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.53/3.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
15.53/3.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.53/3.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.53/3.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.53/3.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    432 time:  0.00 s
15.53/3.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.53/3.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.53/3.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.53/3.96	c lits-rem:        36  cl-subs:      143  v-elim:      0  v-fix:    0  time:  0.01 s
15.53/3.96	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
15.53/3.96	c vivif2 --  cl tried    11647 cl shrink        0 lits rem          0 time: 0.00
15.53/3.97	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.01
15.53/3.97	c calculated reachability. Time: 0.00
15.53/3.97	c  N st    24     69887       432      1889         0     11647      5771    157501   no data   no data
20.72/5.29	c  F st    25     87501       432      1889         0     17079      5771    269531   no data   no data
20.72/5.29	c  N st    25     87501       432      1889         0     17079      5771    269531   no data   no data
22.36/5.68	c Decided on static restart strategy
23.51/5.91	c  N st    32     95538       432      1889         0     24945      5771    440263   no data   no data
25.91/6.56	c  N st    34    104830       432      1889         0     21286      5771    332851   no data   no data
25.91/6.56	c  S st    34    104830       432      1889         0     21286      5771    332851   no data   no data
26.34/6.62	c  S st    34    105332       432      1889         0     21788      5771    343514   no data   no data
26.34/6.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.34/6.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
26.34/6.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.34/6.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.34/6.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.34/6.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    432 time:  0.00 s
26.34/6.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.34/6.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
26.34/6.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.09/6.80	c lits-rem:       215  cl-subs:     1274  v-elim:      0  v-fix:    0  time:  0.16 s
27.09/6.80	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
27.09/6.81	c vivif2 --  cl tried    20514 cl shrink        0 lits rem          0 time: 0.00
27.09/6.82	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.01
27.09/6.82	c calculated reachability. Time: 0.00
27.09/6.82	c  N st    34    105332       432      1889         0     20514      5771    317855   no data   no data
30.30/7.61	c  N st    35    114930       432      1889         0     16279      5771    215582   no data   no data
35.12/8.86	c  N st    36    129327       432      1889         0     15642      5771    186758   no data   no data
42.66/10.73	c  N st    37    150922       432      1889         0     21142      5771    303818   no data   no data
45.06/11.35	c  S st    38    157998       432      1889         0     28065      5771    464547   no data   no data
45.46/11.42	c  S st    38    158502       432      1889         0     28568      5771    475716   no data   no data
45.46/11.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
45.46/11.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
45.46/11.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
45.46/11.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
45.46/11.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.46/11.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    432 time:  0.00 s
45.46/11.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
45.46/11.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
45.46/11.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.65/11.73	c lits-rem:       162  cl-subs:     1223  v-elim:      0  v-fix:    0  time:  0.28 s
46.65/11.73	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
46.65/11.74	c vivif2 --  cl tried    27345 cl shrink        0 lits rem          0 time: 0.00
46.65/11.75	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.02
46.65/11.75	c calculated reachability. Time: 0.00
46.65/11.75	c  N st    38    158502       432      1889         0     27345      5771    446832   no data   no data
65.01/16.36	c  N st    39    207091       432      1889         0     22038      5771    280556   no data   no data
78.17/19.62	c  N st    40    237753       432      1889         0     32565      5771    492047   no data   no data
78.17/19.62	c  S st    40    237753       432      1889         0     32565      5771    492047   no data   no data
78.57/19.70	c  S st    40    238259       432      1889         0     33070      5771    502823   no data   no data
78.57/19.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
78.57/19.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
78.57/19.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
78.57/19.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
78.57/19.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
78.57/19.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    432 time:  0.00 s
78.57/19.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
78.57/19.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
78.57/19.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
80.55/20.27	c lits-rem:       206  cl-subs:     2481  v-elim:      0  v-fix:    0  time:  0.54 s
80.55/20.27	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
80.55/20.28	c vivif2 --  cl tried    30589 cl shrink        0 lits rem          0 time: 0.00
80.55/20.29	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.02
80.55/20.29	c calculated reachability. Time: 0.00
80.55/20.29	c  N st    40    238259       432      1889         0     30589      5771    450868   no data   no data
110.87/27.87	c  F st    41    306250       432      1889         0     32390      5771    461547   no data   no data
110.87/27.87	c  N st    41    306250       432      1889         0     32390      5771    461547   no data   no data
113.67/28.56	c Decided on static restart strategy
124.83/31.38	c  N st    51    334552       432      1889         0     36696      5771    534506   no data   no data
135.62/34.08	c  N st    53    357389       432      1889         0     34587      5771    485424   no data   no data
135.62/34.08	c  S st    53    357389       432      1889         0     34587      5771    485424   no data   no data
136.05/34.18	c  S st    53    357891       432      1889         0     35089      5771    496898   no data   no data
136.05/34.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
136.05/34.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
136.05/34.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
136.05/34.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
136.05/34.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
136.05/34.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    432 time:  0.00 s
136.05/34.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
136.05/34.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
136.05/34.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
137.60/34.51	c lits-rem:       269  cl-subs:     1391  v-elim:      0  v-fix:    0  time:  0.30 s
137.60/34.51	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
137.60/34.52	c vivif2 --  cl tried    33698 cl shrink        0 lits rem          0 time: 0.01
137.60/34.54	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.02
137.60/34.54	c calculated reachability. Time: 0.00
137.60/34.54	c  N st    53    357891       432      1889         0     33698      5771    464654   no data   no data
153.16/38.44	c  N st    54    390284       432      1889         0     39850      5771    577405   no data   no data
182.68/45.83	c  N st    55    438873       432      1889         0     33615      5771    411691   no data   no data
224.96/56.42	c  N st    56    511757       432      1889         0     47071      5771    680655   no data   no data
239.32/60.02	c  N st    57    536836       432      1889         0     41393      5771    562660   no data   no data
239.32/60.02	c  S st    57    536836       432      1889         0     41393      5771    562660   no data   no data
239.72/60.13	c  S st    57    537339       432      1889         0     41893      5771    573305   no data   no data
239.72/60.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
239.72/60.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
239.72/60.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
239.72/60.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
239.72/60.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
239.72/60.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    432 time:  0.00 s
239.72/60.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
239.72/60.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
239.72/60.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
241.35/60.53	c lits-rem:       288  cl-subs:     1233  v-elim:      0  v-fix:    0  time:  0.36 s
241.35/60.53	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
241.35/60.54	c vivif2 --  cl tried    40660 cl shrink        0 lits rem          0 time: 0.01
241.35/60.57	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.03
241.35/60.57	c calculated reachability. Time: 0.00
241.35/60.57	c  N st    57    537339       432      1889         0     40660      5771    545603   no data   no data
349.81/87.70	c  N st    58    701324       432      1889         0     69885      5771   1150094   no data   no data
428.00/107.34	c  N st    59    806008       432      1889         0     63532      5771    973800   no data   no data
428.00/107.34	c  S st    59    806008       432      1889         0     63532      5771    973800   no data   no data
428.80/107.52	c  S st    59    806512       432      1889         0     64034      5771    984632   no data   no data
428.80/107.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
428.80/107.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
428.80/107.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
428.80/107.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
428.80/107.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
428.80/107.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    432 time:  0.00 s
428.80/107.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
428.80/107.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
428.80/107.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
439.22/110.16	c lits-rem:       548  cl-subs:     4724  v-elim:      0  v-fix:    0  time:  2.56 s
439.22/110.16	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
439.22/110.17	c vivif2 --  cl tried    59310 cl shrink        0 lits rem          0 time: 0.01
439.56/110.22	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.05
439.56/110.23	c calculated reachability. Time: 0.00
439.56/110.23	c  N st    59    806512       432      1889         0     59310      5771    883436   no data   no data
648.99/162.71	c  F st    60   1071876       432      1889         0     74875      5771   1083959   no data   no data
648.99/162.71	c  N st    60   1071876       432      1889         0     74875      5771   1083959   no data   no data
654.96/164.21	c Decided on static restart strategy
674.52/169.18	c  N st    70   1100181       432      1889         0     59012      5771    743860   no data   no data
712.40/178.63	c  N st    72   1136173       432      1889         0     49328      5771    512741   no data   no data
741.13/185.91	c  N st    73   1168568       432      1889         0     80895      5771   1246376   no data   no data
778.22/195.17	c  N st    74   1209768       432      1889         0     75409      5771   1105007   no data   no data
778.22/195.17	c  S st    74   1209768       432      1889         0     75409      5771   1105007   no data   no data
779.42/195.49	c  S st    74   1210275       432      1889         0     75916      5771   1115804   no data   no data
779.82/195.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
779.82/195.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
779.82/195.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
779.82/195.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
779.82/195.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
779.82/195.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    432 time:  0.00 s
779.82/195.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
779.82/195.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
780.22/195.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
794.21/199.12	c lits-rem:       945  cl-subs:     4219  v-elim:      0  v-fix:    0  time:  3.53 s
794.21/199.12	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
794.21/199.14	c vivif2 --  cl tried    71697 cl shrink        0 lits rem          0 time: 0.02
794.21/199.21	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.07
794.63/199.21	c calculated reachability. Time: 0.00
794.63/199.21	c  N st    74   1210275       432      1889         0     71697      5771   1024426   no data   no data
873.60/219.02	c  N st    75   1283158       432      1889         0     48116      5771    445784   no data   no data
981.64/246.16	c  N st    76   1392481       432      1889         0     56060      5771    596452   no data   no data
1151.18/288.62	c  N st    77   1556465       432      1889         0     60992      5771    659890   no data   no data
1297.56/325.32	c  N st    78   1710280       432      1889         0    102331      5771   1534935   no data   no data
1297.56/325.32	c  S st    78   1710280       432      1889         0    102331      5771   1534935   no data   no data
1298.79/325.68	c  S st    78   1710781       432      1889         0    102832      5771   1546127   no data   no data
1298.79/325.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1299.20/325.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1299.20/325.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1299.20/325.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1299.20/325.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1299.20/325.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    432 time:  0.00 s
1299.20/325.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1299.20/325.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1299.54/325.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1335.85/334.95	c lits-rem:       634  cl-subs:    10534  v-elim:      0  v-fix:    0  time:  9.15 s
1335.85/334.95	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
1335.85/334.97	c vivif2 --  cl tried    92298 cl shrink        0 lits rem          0 time: 0.02
1336.25/335.07	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.09
1336.25/335.07	c calculated reachability. Time: 0.00
1336.25/335.07	c  N st    78   1710781       432      1889         0     92298      5771   1348497   no data   no data
1720.77/431.49	c  N st    79   2079746       432      1889         0    104704      5771   1586593   no data   no data
1863.58/467.27	c  N st    80   2210781       432      1889         0    108505      5771   1654854   no data   no data
1863.58/467.27	c  S st    80   2210781       432      1889         0    108505      5771   1654854   no data   no data
1865.22/467.68	c  S st    80   2211284       432      1889         0    109006      5771   1666253   no data   no data
1865.22/467.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1865.57/467.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1865.57/467.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1865.57/467.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1865.57/467.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1865.57/467.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    432 time:  0.00 s
1865.57/467.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1865.57/467.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1865.97/467.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1897.07/475.62	c lits-rem:       607  cl-subs:     7793  v-elim:      0  v-fix:    0  time:  7.80 s
1897.07/475.62	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
1897.07/475.64	c vivif2 --  cl tried   101213 cl shrink        0 lits rem          0 time: 0.02
1897.47/475.75	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.11
1897.47/475.75	c calculated reachability. Time: 0.00
1897.47/475.75	c  N st    80   2211284       432      1889         0    101213      5771   1512142   no data   no data
2533.32/635.13	c  N st    81   2711285       432      1889         0    123986      5771   1809533   no data   no data
2533.32/635.13	c  S st    81   2711285       432      1889         0    123986      5771   1809533   no data   no data
2534.92/635.58	c  S st    81   2711787       432      1889         0    124486      5771   1820279   no data   no data
2534.92/635.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2535.32/635.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2535.32/635.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2535.32/635.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2535.32/635.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2535.32/635.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    432 time:  0.00 s
2535.32/635.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2535.32/635.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2535.72/635.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2592.35/649.95	c lits-rem:       966  cl-subs:    14160  v-elim:      0  v-fix:    0  time: 14.21 s
2592.35/649.95	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
2592.35/649.97	c vivif2 --  cl tried   110326 cl shrink        0 lits rem          0 time: 0.02
2592.75/650.09	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.12
2592.75/650.09	c calculated reachability. Time: 0.00
2592.75/650.09	c  N st    81   2711787       432      1889         0    110326      5771   1550278   no data   no data
3267.25/819.17	c  N st    82   3211787       432      1889         0     86793      5771    918256   no data   no data
3267.25/819.17	c  S st    82   3211787       432      1889         0     86793      5771    918256   no data   no data
3268.45/819.42	c  S st    82   3212287       432      1889         0     87293      5771    929841   no data   no data
3268.45/819.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3268.45/819.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3268.45/819.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3268.45/819.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3268.45/819.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3268.45/819.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    432 time:  0.00 s
3268.45/819.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3268.45/819.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3268.88/819.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3272.03/820.39	c lits-rem:        68  cl-subs:     2794  v-elim:      0  v-fix:    0  time:  0.87 s
3272.03/820.39	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
3272.43/820.40	c vivif2 --  cl tried    84499 cl shrink        0 lits rem          0 time: 0.01
3272.43/820.48	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.08
3272.43/820.48	c calculated reachability. Time: 0.00
3272.43/820.48	c  N st    82   3212287       432      1889         0     84499      5771    878345   no data   no data
3976.42/996.95	c  N st    83   3712288       432      1889         0     95528      5771   1053947   no data   no data
3976.42/996.95	c  S st    83   3712288       432      1889         0     95528      5771   1053947   no data   no data
3977.62/997.27	c  S st    83   3712790       432      1889         0     96028      5771   1065689   no data   no data
3977.62/997.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3978.02/997.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
3978.02/997.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3978.02/997.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3978.02/997.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3978.02/997.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    432 time:  0.00 s
3978.02/997.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3978.02/997.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3978.02/997.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3982.00/998.36	c lits-rem:       146  cl-subs:     2292  v-elim:      0  v-fix:    0  time:  0.99 s
3982.00/998.36	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
3982.00/998.38	c vivif2 --  cl tried    93736 cl shrink        0 lits rem          0 time: 0.02
3982.40/998.47	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.09
3982.40/998.47	c calculated reachability. Time: 0.00
3982.40/998.47	c  N st    83   3712790       432      1889         0     93736      5771   1020230   no data   no data
4044.62/1014.02	c  F st    84   3751565       432      1889         0    131581      5771   1929749   no data   no data
4044.62/1014.02	c  N st    84   3751565       432      1889         0    131581      5771   1929749   no data   no data
4053.80/1016.40	c Decided on static restart strategy
4097.27/1027.28	c  N st    94   3779869       432      1889         0    159074      5771   2540160   no data   no data
4145.93/1039.48	c  N st    96   3815862       432      1889         0    111497      5771   1347555   no data   no data
4201.36/1053.35	c  N st    97   3848256       432      1889         0    143012      5771   2056506   no data   no data
4282.37/1073.62	c  N st    98   3896844       432      1889         0    106760      5771   1233882   no data   no data
4381.65/1098.53	c  N st    99   3969727       432      1889         0     93047      5771    939016   no data   no data
4537.25/1137.59	c  N st   100   4079050       432      1889         0    113590      5771   1391130   no data   no data
4754.57/1192.01	c  N st   101   4212791       432      1889         0    156531      5771   2262135   no data   no data
4754.57/1192.01	c  S st   101   4212791       432      1889         0    156531      5771   2262135   no data   no data
4756.96/1192.61	c  S st   101   4213296       432      1889         0    157032      5771   2273572   no data   no data
4756.96/1192.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4757.36/1192.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.08
4757.36/1192.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4757.36/1192.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4757.36/1192.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4757.36/1192.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    432 time:  0.00 s
4757.36/1192.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4757.36/1192.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4757.76/1192.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  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-3366325-1305401772/watcher-3366325-1305401772 -o /tmp/evaluation-result-3366325-1305401772/solver-3366325-1305401772 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366325-1305401772.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.61 8.04 7.98 7/351 26433
/proc/meminfo: memFree=21566728/32951124 swapFree=67111348/67111528
[pid=26433] ppid=26431 vsize=51168 CPUtime=0.01 cores=1,3,5,7
/proc/26433/stat : 26433 (strangenight2-m) R 26431 26433 26096 0 -1 4202496 406 0 0 0 1 0 0 0 21 0 4 0 632593283 52396032 347 33554432000 4194304 4580107 140734306805552 18446744073709551615 47646693115824 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26433/statm: 12792 347 299 95 0 7774 0
[pid=26433/tid=26434] ppid=26431 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/26433/task/26434/stat : 26434 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 632593283 52396032 347 33554432000 4194304 4580107 140734306805552 18446744073709551615 47646693115816 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26433/tid=26435] ppid=26431 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/26433/task/26435/stat : 26435 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 632593283 52396032 347 33554432000 4194304 4580107 140734306805552 18446744073709551615 47646693115830 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26433/tid=26437] ppid=26431 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/26433/task/26437/stat : 26437 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 632593283 52396032 347 33554432000 4194304 4580107 140734306805552 18446744073709551615 255106825201 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.101816 s]
/proc/loadavg: 7.61 8.04 7.98 7/351 26433
/proc/meminfo: memFree=21566728/32951124 swapFree=67111348/67111528
[pid=26433] ppid=26431 vsize=282184 CPUtime=0.38 cores=1,3,5,7
/proc/26433/stat : 26433 (strangenight2-m) R 26431 26433 26096 0 -1 4202496 1569 0 0 0 38 0 0 0 18 0 4 0 632593283 288956416 1461 33554432000 4194304 4580107 140734306805552 18446744073709551615 4293904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26433/statm: 70546 1461 377 95 0 65528 0
[pid=26433/tid=26434] ppid=26431 vsize=282184 CPUtime=0.09 cores=1,3,5,7
/proc/26433/task/26434/stat : 26434 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 318 0 0 0 9 0 0 0 18 0 4 0 632593283 288956416 1461 33554432000 4194304 4580107 140734306805552 18446744073709551615 4292928 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26433/tid=26435] ppid=26431 vsize=282184 CPUtime=0.09 cores=1,3,5,7
/proc/26433/task/26435/stat : 26435 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 293 0 0 0 9 0 0 0 18 0 4 0 632593283 288956416 1461 33554432000 4194304 4580107 140734306805552 18446744073709551615 255106429985 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26433/tid=26437] ppid=26431 vsize=282184 CPUtime=0.08 cores=1,3,5,7
/proc/26433/task/26437/stat : 26437 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 237 0 0 0 8 0 0 0 23 0 4 0 632593283 288956416 1461 33554432000 4194304 4580107 140734306805552 18446744073709551615 4293755 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282184

[startup+0.200798 s]
/proc/loadavg: 7.61 8.04 7.98 7/351 26433
/proc/meminfo: memFree=21566728/32951124 swapFree=67111348/67111528
[pid=26433] ppid=26431 vsize=283392 CPUtime=0.77 cores=1,3,5,7
/proc/26433/stat : 26433 (strangenight2-m) R 26431 26433 26096 0 -1 4202496 2199 0 0 0 77 0 0 0 18 0 4 0 632593283 290193408 1577 33554432000 4194304 4580107 140734306805552 18446744073709551615 4293911 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26433/statm: 70848 1577 377 95 0 65830 0
[pid=26433/tid=26434] ppid=26431 vsize=283392 CPUtime=0.19 cores=1,3,5,7
/proc/26433/task/26434/stat : 26434 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 466 0 0 0 19 0 0 0 18 0 4 0 632593283 290193408 1577 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26433/tid=26435] ppid=26431 vsize=283392 CPUtime=0.19 cores=1,3,5,7
/proc/26433/task/26435/stat : 26435 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 451 0 0 0 19 0 0 0 18 0 4 0 632593283 290193408 1577 33554432000 4194304 4580107 140734306805552 18446744073709551615 4321646 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26433/tid=26437] ppid=26431 vsize=283392 CPUtime=0.18 cores=1,3,5,7
/proc/26433/task/26437/stat : 26437 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 400 0 0 0 18 0 0 0 24 0 4 0 632593283 290193408 1577 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283392

[startup+0.30078 s]
/proc/loadavg: 7.61 8.04 7.98 7/351 26433
/proc/meminfo: memFree=21566728/32951124 swapFree=67111348/67111528
[pid=26433] ppid=26431 vsize=283560 CPUtime=1.17 cores=1,3,5,7
/proc/26433/stat : 26433 (strangenight2-m) R 26431 26433 26096 0 -1 4202496 2611 0 0 0 117 0 0 0 18 0 4 0 632593283 290365440 1989 33554432000 4194304 4580107 140734306805552 18446744073709551615 4293975 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26433/statm: 70890 1989 377 95 0 65872 0
[pid=26433/tid=26434] ppid=26431 vsize=283560 CPUtime=0.29 cores=1,3,5,7
/proc/26433/task/26434/stat : 26434 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 576 0 0 0 29 0 0 0 18 0 4 0 632593283 290365440 1989 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26433/tid=26435] ppid=26431 vsize=283560 CPUtime=0.29 cores=1,3,5,7
/proc/26433/task/26435/stat : 26435 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 549 0 0 0 29 0 0 0 18 0 4 0 632593283 290365440 1989 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26433/tid=26437] ppid=26431 vsize=283560 CPUtime=0.28 cores=1,3,5,7
/proc/26433/task/26437/stat : 26437 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 502 0 0 0 28 0 0 0 25 0 4 0 632593283 290365440 1989 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283560

[startup+0.700715 s]
/proc/loadavg: 7.61 8.04 7.98 7/351 26433
/proc/meminfo: memFree=21566728/32951124 swapFree=67111348/67111528
[pid=26433] ppid=26431 vsize=284744 CPUtime=2.77 cores=1,3,5,7
/proc/26433/stat : 26433 (strangenight2-m) R 26431 26433 26096 0 -1 4202496 4357 0 0 0 277 0 0 0 18 0 4 0 632593283 291577856 2418 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26433/statm: 71186 2418 377 95 0 66168 0
[pid=26433/tid=26434] ppid=26431 vsize=284744 CPUtime=0.69 cores=1,3,5,7
/proc/26433/task/26434/stat : 26434 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 1074 0 0 0 69 0 0 0 18 0 4 0 632593283 291577856 2418 33554432000 4194304 4580107 140734306805552 18446744073709551615 4321192 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26433/tid=26435] ppid=26431 vsize=284744 CPUtime=0.69 cores=1,3,5,7
/proc/26433/task/26435/stat : 26435 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 1048 0 0 0 69 0 0 0 18 0 4 0 632593283 291577856 2418 33554432000 4194304 4580107 140734306805552 18446744073709551615 4321248 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26433/tid=26437] ppid=26431 vsize=284744 CPUtime=0.68 cores=1,3,5,7
/proc/26433/task/26437/stat : 26437 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 880 0 0 0 68 0 0 0 25 0 4 0 632593283 291577856 2418 33554432000 4194304 4580107 140734306805552 18446744073709551615 4340603 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284744

[startup+1.50057 s]
/proc/loadavg: 7.61 8.04 7.98 10/356 26438
/proc/meminfo: memFree=21545732/32951124 swapFree=67111348/67111528
[pid=26433] ppid=26431 vsize=290736 CPUtime=5.95 cores=1,3,5,7
/proc/26433/stat : 26433 (strangenight2-m) R 26431 26433 26096 0 -1 4202496 8120 0 0 0 595 0 0 0 20 0 4 0 632593283 297713664 4444 33554432000 4194304 4580107 140734306805552 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26433/statm: 72684 4444 379 95 0 67666 0
[pid=26433/tid=26434] ppid=26431 vsize=290736 CPUtime=1.49 cores=1,3,5,7
/proc/26433/task/26434/stat : 26434 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 1674 0 0 0 149 0 0 0 20 0 4 0 632593283 297713664 4444 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26433/tid=26435] ppid=26431 vsize=290736 CPUtime=1.49 cores=1,3,5,7
/proc/26433/task/26435/stat : 26435 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 1643 0 0 0 149 0 0 0 20 0 4 0 632593283 297713664 4444 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26433/tid=26437] ppid=26431 vsize=290736 CPUtime=1.47 cores=1,3,5,7
/proc/26433/task/26437/stat : 26437 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 1578 0 0 0 147 0 0 0 25 0 4 0 632593283 297713664 4444 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 290736

[startup+3.10029 s]
/proc/loadavg: 7.64 8.04 7.98 9/356 26438
/proc/meminfo: memFree=21511140/32951124 swapFree=67111348/67111528
[pid=26433] ppid=26431 vsize=282424 CPUtime=12.35 cores=1,3,5,7
/proc/26433/stat : 26433 (strangenight2-m) R 26431 26433 26096 0 -1 4202496 16678 0 0 0 1233 2 0 0 25 0 4 0 632593283 289202176 7871 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26433/statm: 70606 7871 379 95 0 65588 0
[pid=26433/tid=26434] ppid=26431 vsize=282424 CPUtime=3.09 cores=1,3,5,7
/proc/26433/task/26434/stat : 26434 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 3824 0 0 0 309 0 0 0 25 0 4 0 632593283 289202176 7871 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26433/tid=26435] ppid=26431 vsize=282424 CPUtime=3.08 cores=1,3,5,7
/proc/26433/task/26435/stat : 26435 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 4646 0 0 0 308 0 0 0 25 0 4 0 632593283 289202176 7871 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26433/tid=26437] ppid=26431 vsize=282424 CPUtime=3.05 cores=1,3,5,7
/proc/26433/task/26437/stat : 26437 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 3904 0 0 0 305 0 0 0 25 0 4 0 632593283 289202176 7871 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 282424

[startup+6.30073 s]
/proc/loadavg: 7.64 8.04 7.98 9/356 26438
/proc/meminfo: memFree=21485768/32951124 swapFree=67111348/67111528
[pid=26433] ppid=26431 vsize=293284 CPUtime=25.11 cores=1,3,5,7
/proc/26433/stat : 26433 (strangenight2-m) R 26431 26433 26096 0 -1 4202496 26043 0 0 0 2507 4 0 0 25 0 4 0 632593283 300322816 11822 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26433/statm: 73321 11822 379 95 0 68303 0
[pid=26433/tid=26434] ppid=26431 vsize=293284 CPUtime=6.29 cores=1,3,5,7
/proc/26433/task/26434/stat : 26434 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 7056 0 0 0 628 1 0 0 25 0 4 0 632593283 300322816 11822 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294410 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26433/tid=26435] ppid=26431 vsize=293284 CPUtime=6.29 cores=1,3,5,7
/proc/26433/task/26435/stat : 26435 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 7149 0 0 0 628 1 0 0 25 0 4 0 632593283 300322816 11822 33554432000 4194304 4580107 140734306805552 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26433/tid=26437] ppid=26431 vsize=293284 CPUtime=6.22 cores=1,3,5,7
/proc/26433/task/26437/stat : 26437 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 5643 0 0 0 621 1 0 0 25 0 4 0 632593283 300322816 11822 33554432000 4194304 4580107 140734306805552 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 293284

[startup+12.7006 s]
/proc/loadavg: 7.70 8.03 7.98 9/356 26438
/proc/meminfo: memFree=21439396/32951124 swapFree=67111348/67111528
[pid=26433] ppid=26431 vsize=313540 CPUtime=50.64 cores=1,3,5,7
/proc/26433/stat : 26433 (strangenight2-m) R 26431 26433 26096 0 -1 4202496 41546 0 0 0 5057 7 0 0 25 0 4 0 632593283 321064960 17795 33554432000 4194304 4580107 140734306805552 18446744073709551615 4306299 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26433/statm: 78385 17795 379 95 0 73367 0
[pid=26433/tid=26434] ppid=26431 vsize=313540 CPUtime=12.68 cores=1,3,5,7
/proc/26433/task/26434/stat : 26434 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 10950 0 0 0 1267 1 0 0 25 0 4 0 632593283 321064960 17795 33554432000 4194304 4580107 140734306805552 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26433/tid=26435] ppid=26431 vsize=313540 CPUtime=12.68 cores=1,3,5,7
/proc/26433/task/26435/stat : 26435 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 10186 0 0 0 1267 1 0 0 25 0 4 0 632593283 321064960 17795 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26433/tid=26437] ppid=26431 vsize=313540 CPUtime=12.54 cores=1,3,5,7
/proc/26433/task/26437/stat : 26437 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 9821 0 0 0 1253 1 0 0 25 0 4 0 632593283 321064960 17795 33554432000 4194304 4580107 140734306805552 18446744073709551615 4292956 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 313540

[startup+25.5004 s]
/proc/loadavg: 7.74 8.03 7.98 9/356 26439
/proc/meminfo: memFree=21395384/32951124 swapFree=67111348/67111528
[pid=26433] ppid=26431 vsize=313016 CPUtime=101.69 cores=1,3,5,7
/proc/26433/stat : 26433 (strangenight2-m) R 26431 26433 26096 0 -1 4202496 62889 0 0 0 10157 12 0 0 25 0 4 0 632593283 320528384 22469 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26433/statm: 78254 22469 379 95 0 73236 0
[pid=26433/tid=26434] ppid=26431 vsize=313016 CPUtime=25.49 cores=1,3,5,7
/proc/26433/task/26434/stat : 26434 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 17417 0 0 0 2546 3 0 0 25 0 4 0 632593283 320528384 22469 33554432000 4194304 4580107 140734306805552 18446744073709551615 4293148 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26433/tid=26435] ppid=26431 vsize=313016 CPUtime=25.48 cores=1,3,5,7
/proc/26433/task/26435/stat : 26435 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 16129 0 0 0 2546 2 0 0 25 0 4 0 632593283 320528384 22469 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26433/tid=26437] ppid=26431 vsize=313016 CPUtime=25.21 cores=1,3,5,7
/proc/26433/task/26437/stat : 26437 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 14577 0 0 0 2518 3 0 0 25 0 4 0 632593283 320528384 22469 33554432000 4194304 4580107 140734306805552 18446744073709551615 4321914 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 313016

[startup+51.1009 s]
/proc/loadavg: 7.90 8.04 7.98 9/356 26439
/proc/meminfo: memFree=21350752/32951124 swapFree=67111348/67111528
[pid=26433] ppid=26431 vsize=323900 CPUtime=203.82 cores=1,3,5,7
/proc/26433/stat : 26433 (strangenight2-m) R 26431 26433 26096 0 -1 4202496 94903 0 0 0 20359 23 0 0 25 0 4 0 632593283 331673600 28181 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26433/statm: 80975 28181 379 95 0 75957 0
[pid=26433/tid=26434] ppid=26431 vsize=323900 CPUtime=51.09 cores=1,3,5,7
/proc/26433/task/26434/stat : 26434 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 26254 0 0 0 5103 6 0 0 25 0 4 0 632593283 331673600 28181 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26433/tid=26435] ppid=26431 vsize=323900 CPUtime=51.09 cores=1,3,5,7
/proc/26433/task/26435/stat : 26435 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 24737 0 0 0 5104 5 0 0 25 0 4 0 632593283 331673600 28181 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26433/tid=26437] ppid=26431 vsize=323900 CPUtime=50.53 cores=1,3,5,7
/proc/26433/task/26437/stat : 26437 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 21905 0 0 0 5048 5 0 0 25 0 4 0 632593283 331673600 28181 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.82
Current children cumulated vsize (KiB) 323900

[startup+102.301 s]
/proc/loadavg: 8.03 8.05 7.99 9/356 26441
/proc/meminfo: memFree=21309076/32951124 swapFree=67111348/67111528
[pid=26433] ppid=26431 vsize=325724 CPUtime=408.1 cores=1,3,5,7
/proc/26433/stat : 26433 (strangenight2-m) R 26431 26433 26096 0 -1 4202496 145961 0 0 0 40770 40 0 0 25 0 4 0 632593283 333541376 33572 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294589 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26433/statm: 81431 33572 379 95 0 76413 0
[pid=26433/tid=26434] ppid=26431 vsize=325724 CPUtime=102.3 cores=1,3,5,7
/proc/26433/task/26434/stat : 26434 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 39467 0 0 0 10220 10 0 0 25 0 4 0 632593283 333541376 33573 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26433/tid=26435] ppid=26431 vsize=325724 CPUtime=102.3 cores=1,3,5,7
/proc/26433/task/26435/stat : 26435 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 36937 0 0 0 10221 9 0 0 25 0 4 0 632593283 333541376 33573 33554432000 4194304 4580107 140734306805552 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26433/tid=26437] ppid=26431 vsize=325724 CPUtime=101.16 cores=1,3,5,7
/proc/26433/task/26437/stat : 26437 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 36277 0 0 0 10107 9 0 0 25 0 4 0 632593283 333541376 33573 33554432000 4194304 4580107 140734306805552 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.1
Current children cumulated vsize (KiB) 325724

[startup+162.3 s]

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

[pid=26433] ppid=26431 vsize=530356 CPUtime=2801.37 cores=1,3,5,7
/proc/26433/stat : 26433 (strangenight2-m) R 26431 26433 26096 0 -1 4202496 487801 0 0 0 279943 194 0 0 25 0 4 0 632593283 543084544 75830 33554432000 4194304 4580107 140734306805552 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26433/statm: 132589 75830 379 95 0 127571 0
[pid=26433/tid=26434] ppid=26431 vsize=530356 CPUtime=702.3 cores=1,3,5,7
/proc/26433/task/26434/stat : 26434 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 121844 0 0 0 70181 49 0 0 25 0 4 0 632593283 543084544 75830 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26433/tid=26435] ppid=26431 vsize=530356 CPUtime=702.3 cores=1,3,5,7
/proc/26433/task/26435/stat : 26435 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 125230 0 0 0 70183 47 0 0 25 0 4 0 632593283 543084544 75830 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26433/tid=26437] ppid=26431 vsize=530356 CPUtime=694.43 cores=1,3,5,7
/proc/26433/task/26437/stat : 26437 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 124415 0 0 0 69395 48 0 0 25 0 4 0 632593283 543084544 75830 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2801.37
Current children cumulated vsize (KiB) 530356

[startup+762.301 s]
/proc/loadavg: 8.09 8.11 8.03 9/356 26518
/proc/meminfo: memFree=21082880/32951124 swapFree=67111348/67111528
[pid=26433] ppid=26431 vsize=542892 CPUtime=3040.72 cores=1,3,5,7
/proc/26433/stat : 26433 (strangenight2-m) R 26431 26433 26096 0 -1 4202496 509685 0 0 0 303868 204 0 0 25 0 4 0 632593283 555921408 81059 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26433/statm: 135723 81059 379 95 0 130705 0
[pid=26433/tid=26434] ppid=26431 vsize=542892 CPUtime=762.31 cores=1,3,5,7
/proc/26433/task/26434/stat : 26434 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 127960 0 0 0 76178 53 0 0 25 0 4 0 632593283 555921408 81059 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26433/tid=26435] ppid=26431 vsize=542892 CPUtime=762.31 cores=1,3,5,7
/proc/26433/task/26435/stat : 26435 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 131422 0 0 0 76181 50 0 0 25 0 4 0 632593283 555921408 81059 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26433/tid=26437] ppid=26431 vsize=542892 CPUtime=753.75 cores=1,3,5,7
/proc/26433/task/26437/stat : 26437 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 130791 0 0 0 75324 51 0 0 25 0 4 0 632593283 555921408 81059 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3040.72
Current children cumulated vsize (KiB) 542892

[startup+822.3 s]
/proc/loadavg: 8.08 8.11 8.03 9/356 26520
/proc/meminfo: memFree=21021356/32951124 swapFree=67111348/67111528
[pid=26433] ppid=26431 vsize=596736 CPUtime=3280 cores=1,3,5,7
/proc/26433/stat : 26433 (strangenight2-m) R 26431 26433 26096 0 -1 4202496 534276 0 0 0 327786 214 0 0 25 0 4 0 632593283 611057664 89281 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26433/statm: 149184 89281 379 95 0 144166 0
[pid=26433/tid=26434] ppid=26431 vsize=596736 CPUtime=822.3 cores=1,3,5,7
/proc/26433/task/26434/stat : 26434 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 136618 0 0 0 82174 56 0 0 25 0 4 0 632593283 611057664 89281 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26433/tid=26435] ppid=26431 vsize=596736 CPUtime=822.3 cores=1,3,5,7
/proc/26433/task/26435/stat : 26435 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 137141 0 0 0 82177 53 0 0 25 0 4 0 632593283 611057664 89281 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26433/tid=26437] ppid=26431 vsize=596736 CPUtime=813.06 cores=1,3,5,7
/proc/26433/task/26437/stat : 26437 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 140621 0 0 0 81252 54 0 0 25 0 4 0 632593283 611057664 89281 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3280
Current children cumulated vsize (KiB) 596736

[startup+882.314 s]
/proc/loadavg: 8.17 8.13 8.04 9/356 26522
/proc/meminfo: memFree=21002980/32951124 swapFree=67111348/67111528
[pid=26433] ppid=26431 vsize=585076 CPUtime=3519.37 cores=1,3,5,7
/proc/26433/stat : 26433 (strangenight2-m) R 26431 26433 26096 0 -1 4202496 556907 0 0 0 351710 227 0 0 25 0 4 0 632593283 599117824 83754 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26433/statm: 146269 83754 379 95 0 141251 0
[pid=26433/tid=26434] ppid=26431 vsize=585076 CPUtime=882.31 cores=1,3,5,7
/proc/26433/task/26434/stat : 26434 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 142543 0 0 0 88172 59 0 0 25 0 4 0 632593283 599117824 83754 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26433/tid=26435] ppid=26431 vsize=585076 CPUtime=882.32 cores=1,3,5,7
/proc/26433/task/26435/stat : 26435 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 145395 0 0 0 88174 58 0 0 25 0 4 0 632593283 599117824 83754 33554432000 4194304 4580107 140734306805552 18446744073709551615 4293083 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26433/tid=26437] ppid=26431 vsize=585076 CPUtime=872.38 cores=1,3,5,7
/proc/26433/task/26437/stat : 26437 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 147006 0 0 0 87180 58 0 0 25 0 4 0 632593283 599117824 83754 33554432000 4194304 4580107 140734306805552 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3519.37
Current children cumulated vsize (KiB) 585076

[startup+942.3 s]
/proc/loadavg: 8.14 8.12 8.04 9/356 26523
/proc/meminfo: memFree=21002464/32951124 swapFree=67111348/67111528
[pid=26433] ppid=26431 vsize=585908 CPUtime=3758.63 cores=1,3,5,7
/proc/26433/stat : 26433 (strangenight2-m) R 26431 26433 26096 0 -1 4202496 582267 0 0 0 375624 239 0 0 25 0 4 0 632593283 599969792 84923 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26433/statm: 146477 84923 379 95 0 141459 0
[pid=26433/tid=26434] ppid=26431 vsize=585908 CPUtime=942.3 cores=1,3,5,7
/proc/26433/task/26434/stat : 26434 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 148940 0 0 0 94168 62 0 0 25 0 4 0 632593283 599969792 84923 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26433/tid=26435] ppid=26431 vsize=585908 CPUtime=942.3 cores=1,3,5,7
/proc/26433/task/26435/stat : 26435 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 151819 0 0 0 94169 61 0 0 25 0 4 0 632593283 599969792 84923 33554432000 4194304 4580107 140734306805552 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26433/tid=26437] ppid=26431 vsize=585908 CPUtime=931.68 cores=1,3,5,7
/proc/26433/task/26437/stat : 26437 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 153287 0 0 0 93107 61 0 0 25 0 4 0 632593283 599969792 84923 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294460 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3758.63
Current children cumulated vsize (KiB) 585908

[startup+1002.3 s]
/proc/loadavg: 8.11 8.11 8.04 9/356 26525
/proc/meminfo: memFree=20980008/32951124 swapFree=67111348/67111528
[pid=26433] ppid=26431 vsize=589572 CPUtime=3997.95 cores=1,3,5,7
/proc/26433/stat : 26433 (strangenight2-m) R 26431 26433 26096 0 -1 4202496 610964 0 0 0 399544 251 0 0 25 0 4 0 632593283 603721728 91556 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26433/statm: 147393 91556 379 95 0 142375 0
[pid=26433/tid=26434] ppid=26431 vsize=589572 CPUtime=1002.3 cores=1,3,5,7
/proc/26433/task/26434/stat : 26434 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 155398 0 0 0 100165 65 0 0 25 0 4 0 632593283 603721728 91556 33554432000 4194304 4580107 140734306805552 18446744073709551615 4295695 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26433/tid=26435] ppid=26431 vsize=589572 CPUtime=1002.31 cores=1,3,5,7
/proc/26433/task/26435/stat : 26435 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 157704 0 0 0 100168 63 0 0 25 0 4 0 632593283 603721728 91556 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26433/tid=26437] ppid=26431 vsize=589572 CPUtime=991 cores=1,3,5,7
/proc/26433/task/26437/stat : 26437 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 162976 0 0 0 99035 65 0 0 25 0 4 0 632593283 603721728 91556 33554432000 4194304 4580107 140734306805552 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3997.95
Current children cumulated vsize (KiB) 589572

[startup+1062.3 s]
/proc/loadavg: 8.10 8.10 8.04 9/356 26526
/proc/meminfo: memFree=20948628/32951124 swapFree=67111348/67111528
[pid=26433] ppid=26431 vsize=589832 CPUtime=4237.26 cores=1,3,5,7
/proc/26433/stat : 26433 (strangenight2-m) R 26431 26433 26096 0 -1 4202496 630774 0 0 0 423463 263 0 0 25 0 4 0 632593283 603987968 93495 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294595 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26433/statm: 147458 93495 379 95 0 142440 0
[pid=26433/tid=26434] ppid=26431 vsize=589832 CPUtime=1062.31 cores=1,3,5,7
/proc/26433/task/26434/stat : 26434 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 160509 0 0 0 106163 68 0 0 25 0 4 0 632593283 603987968 93495 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26433/tid=26435] ppid=26431 vsize=589832 CPUtime=1062.31 cores=1,3,5,7
/proc/26433/task/26435/stat : 26435 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 163817 0 0 0 106165 66 0 0 25 0 4 0 632593283 603987968 93495 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26433/tid=26437] ppid=26431 vsize=589832 CPUtime=1050.31 cores=1,3,5,7
/proc/26433/task/26437/stat : 26437 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 167142 0 0 0 104963 68 0 0 25 0 4 0 632593283 603987968 93495 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4237.26
Current children cumulated vsize (KiB) 589832

[startup+1122.3 s]
/proc/loadavg: 8.03 8.08 8.04 9/356 26528
/proc/meminfo: memFree=20951588/32951124 swapFree=67111348/67111528
[pid=26433] ppid=26431 vsize=564384 CPUtime=4476.57 cores=1,3,5,7
/proc/26433/stat : 26433 (strangenight2-m) R 26431 26433 26096 0 -1 4202496 653636 0 0 0 447381 276 0 0 25 0 4 0 632593283 577929216 93870 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26433/statm: 141096 93870 379 95 0 136078 0
[pid=26433/tid=26434] ppid=26431 vsize=564384 CPUtime=1122.3 cores=1,3,5,7
/proc/26433/task/26434/stat : 26434 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 164994 0 0 0 112160 70 0 0 25 0 4 0 632593283 577929216 93870 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26433/tid=26435] ppid=26431 vsize=564384 CPUtime=1122.31 cores=1,3,5,7
/proc/26433/task/26435/stat : 26435 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 170285 0 0 0 112163 68 0 0 25 0 4 0 632593283 577929216 93870 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26433/tid=26437] ppid=26431 vsize=564384 CPUtime=1109.61 cores=1,3,5,7
/proc/26433/task/26437/stat : 26437 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 172888 0 0 0 110890 71 0 0 25 0 4 0 632593283 577929216 93870 33554432000 4194304 4580107 140734306805552 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4476.57
Current children cumulated vsize (KiB) 564384

[startup+1182.3 s]
/proc/loadavg: 8.07 8.08 8.04 9/356 26529
/proc/meminfo: memFree=20917220/32951124 swapFree=67111348/67111528
[pid=26433] ppid=26431 vsize=564536 CPUtime=4715.89 cores=1,3,5,7
/proc/26433/stat : 26433 (strangenight2-m) R 26431 26433 26096 0 -1 4202496 675726 0 0 0 471302 287 0 0 25 0 4 0 632593283 578084864 102836 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26433/statm: 141134 102836 379 95 0 136116 0
[pid=26433/tid=26434] ppid=26431 vsize=564536 CPUtime=1182.31 cores=1,3,5,7
/proc/26433/task/26434/stat : 26434 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 170438 0 0 0 118158 73 0 0 25 0 4 0 632593283 578084864 102836 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26433/tid=26435] ppid=26431 vsize=564536 CPUtime=1182.31 cores=1,3,5,7
/proc/26433/task/26435/stat : 26435 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 175925 0 0 0 118160 71 0 0 25 0 4 0 632593283 578084864 102836 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26433/tid=26437] ppid=26431 vsize=564536 CPUtime=1168.92 cores=1,3,5,7
/proc/26433/task/26437/stat : 26437 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 178274 0 0 0 116818 74 0 0 25 0 4 0 632593283 578084864 102836 33554432000 4194304 4580107 140734306805552 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4715.89
Current children cumulated vsize (KiB) 564536



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.4 s]
/proc/loadavg: 8.05 8.07 8.03 10/356 26530
/proc/meminfo: memFree=20881252/32951124 swapFree=67111348/67111528
[pid=26433] ppid=26431 vsize=580020 CPUtime=4800.11 cores=1,3,5,7
/proc/26433/stat : 26433 (strangenight2-m) R 26431 26433 26096 0 -1 4202496 683751 0 0 0 479720 291 0 0 25 0 4 0 632593283 593940480 110861 33554432000 4194304 4580107 140734306805552 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26433/statm: 145005 110861 379 95 0 139987 0
[pid=26433/tid=26434] ppid=26431 vsize=580020 CPUtime=1203.43 cores=1,3,5,7
/proc/26433/task/26434/stat : 26434 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 171317 0 0 0 120270 73 0 0 25 0 4 0 632593283 593940480 110862 33554432000 4194304 4580107 140734306805552 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26433/tid=26435] ppid=26431 vsize=580020 CPUtime=1203.44 cores=1,3,5,7
/proc/26433/task/26435/stat : 26435 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 177476 0 0 0 120271 73 0 0 25 0 4 0 632593283 593940480 110862 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26433/tid=26437] ppid=26431 vsize=580020 CPUtime=1189.78 cores=1,3,5,7
/proc/26433/task/26437/stat : 26437 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 179554 0 0 0 118903 75 0 0 25 0 4 0 632593283 593940480 110862 33554432000 4194304 4580107 140734306805552 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.11
Current children cumulated vsize (KiB) 580020

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

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

[startup+1203.4 s]
/proc/loadavg: 8.05 8.07 8.03 10/356 26530
/proc/meminfo: memFree=20881252/32951124 swapFree=67111348/67111528
[pid=26433] ppid=26431 vsize=580020 CPUtime=4800.11 cores=1,3,5,7
/proc/26433/stat : 26433 (strangenight2-m) R 26431 26433 26096 0 -1 4202496 683751 0 0 0 479720 291 0 0 25 0 4 0 632593283 593940480 110861 33554432000 4194304 4580107 140734306805552 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26433/statm: 145005 110861 379 95 0 139987 0
[pid=26433/tid=26434] ppid=26431 vsize=580020 CPUtime=1203.43 cores=1,3,5,7
/proc/26433/task/26434/stat : 26434 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 171317 0 0 0 120270 73 0 0 25 0 4 0 632593283 593940480 110862 33554432000 4194304 4580107 140734306805552 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26433/tid=26435] ppid=26431 vsize=580020 CPUtime=1203.44 cores=1,3,5,7
/proc/26433/task/26435/stat : 26435 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 177476 0 0 0 120271 73 0 0 25 0 4 0 632593283 593940480 110862 33554432000 4194304 4580107 140734306805552 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26433/tid=26437] ppid=26431 vsize=580020 CPUtime=1189.78 cores=1,3,5,7
/proc/26433/task/26437/stat : 26437 (strangenight2-m) R 26431 26433 26096 0 -1 4202560 179554 0 0 0 118903 75 0 0 25 0 4 0 632593283 593940480 110862 33554432000 4194304 4580107 140734306805552 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.11
Current children cumulated vsize (KiB) 580020

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.46
CPU time (s): 4800.18
CPU user time (s): 4797.24
CPU system time (s): 2.93455
CPU usage (%): 398.866
Max. virtual memory (cumulated for all children) (KiB): 658796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.24
system time used= 2.93455
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 683753
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= 193
involuntary context switches= 30178

runsolver used 3.77143 second user time and 9.8985 second system time

The end

Launcher Data 

Begin job on node144 at 2011-05-14 21:36:12
IDJOB=3366325
IDBENCH=82734
IDSOLVER=1844
FILE ID=node144/3366325-1305401772
RUNJOBID= node144-1305401771-26412
PBS_JOBID= 13324479
Free space on /tmp= 73236 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v450-c1917-S380157195-014.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366325-1305401772/watcher-3366325-1305401772 -o /tmp/evaluation-result-3366325-1305401772/solver-3366325-1305401772 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366325-1305401772.cnf

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

MD5SUM BENCH= c5ca502edf263e9767f2d7ec536d2edf
RANDOM SEED=306221047

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21567008 kB
Buffers:        287932 kB
Cached:        3621884 kB
SwapCached:          0 kB
Active:        8168812 kB
Inactive:      2869388 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21567008 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           10996 kB
Writeback:           0 kB
AnonPages:     7128240 kB
Mapped:          27184 kB
Slab:           244828 kB
PageTables:      37460 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 82011440 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= 73232 MiB
End job on node144 at 2011-05-14 21:56:17