Trace number 3366612

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.21 1205.34

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v800-c3408-S902286199-017.SATISFIABLE.cnf
MD5SUM598e5ac0f35fb3d353f44669087059bc
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.035993
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of clauses3408
Sum of the clauses size10224
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 33408
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-3366612-1305410429.cnf'
0.00/0.01	c -- header says num vars:            800
0.00/0.01	c -- header says num clauses:        3408
0.00/0.01	c -- clauses added:            0 learnts,         3408 normals,            0 xors
0.00/0.01	c -- vars added        800
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       800      3408         0         0     10224         0   no data   no data
0.00/0.02	c asymm  cl-useful: 0/3408/3408 lits-rem:0 time: 0.00
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    800 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.02	c lits-rem:         0  cl-subs:        0  v-elim:     19  v-fix:    0  time:  0.00 s
0.00/0.02	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.04	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.04	c calculated reachability. Time: 0.00
0.00/0.04	c Calc default polars -  time:   0.00 s pos:     343 undec:      84 neg:     373
0.00/0.04	c =========================================================================================
0.00/0.04	c types(t): F = full restart, N = normal restart
0.00/0.04	c types(t): S = simplification begin/end, E = solution found
0.00/0.04	c restart types(rt): st = static, dy = dynamic
0.00/0.04	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.04	c  B st     0         0       781      3388         0         0     10281         0   no data   no data
0.37/0.15	c Decided on static restart strategy
3.17/0.85	c  N st     8      4914       781      3388         0      4874     10281    160849   no data   no data
3.17/0.85	c  N st    10     11297       781      3388         0      4520     10281    102957   no data   no data
3.17/0.85	c  N st    11     17040       781      3388         0     10196     10281    302234   no data   no data
5.15/1.35	c  F st    12     25000       781      3388         0     12444     10281    368704   no data   no data
5.15/1.35	c  N st    12     25000       781      3388         0     12444     10281    368704   no data   no data
6.36/1.62	c Decided on static restart strategy
6.36/1.62	c  N st    18     30002       781      3388         0     10736     10281    280163   no data   no data
6.36/1.62	c  S st    18     30002       781      3388         0     10736     10281    280163   no data   no data
6.36/1.65	c  S st    18     30502       781      3388         0     11236     10281    294731   no data   no data
6.36/1.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
6.36/1.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
6.36/1.66	c blocked clauses removed:       51 vars:      7 tried:         781 T: 0.00 s
6.36/1.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
6.36/1.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.36/1.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    774 time:  0.00 s
6.36/1.66	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
6.36/1.66	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.00 s
6.36/1.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.75/1.72	c lits-rem:       135  cl-subs:      246  v-elim:      0  v-fix:    0  time:  0.05 s
6.75/1.73	c asymm  cl-useful: 0/3336/3336 lits-rem:0 time: 0.01
6.75/1.73	c calculated reachability. Time: 0.00
6.75/1.73	c  N st    18     30502       773      3336         0     10956     10133    283619   no data   no data
6.75/2.17	c  N st    20     37612       773      3336         0     10200     10133    233462   no data   no data
7.23/2.58	c  N st    21     44014       773      3336         0     16514     10133    443468   no data   no data
7.23/2.70	c  S st    22     45753       773      3336         0      9436     10133    181455   no data   no data
7.23/2.73	c  S st    22     46254       773      3336         0      9937     10133    195700   no data   no data
7.23/2.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.23/2.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
7.23/2.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.23/2.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.23/2.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.23/2.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    773 time:  0.00 s
7.23/2.73	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
7.23/2.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
7.23/2.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.23/2.75	c lits-rem:        14  cl-subs:       32  v-elim:      0  v-fix:    0  time:  0.01 s
7.23/2.75	c vivif2 --  cl tried     3336 cl shrink        0 lits rem          0 time: 0.00
7.23/2.75	c vivif2 --  cl tried     9905 cl shrink        0 lits rem          0 time: 0.00
7.23/2.76	c asymm  cl-useful: 0/3336/3336 lits-rem:0 time: 0.01
7.23/2.76	c calculated reachability. Time: 0.00
7.23/2.76	c  N st    22     46254       773      3336         0      9905     10133    194422   no data   no data
11.15/3.77	c  N st    23     60651       773      3336         0     14268     10133    343571   no data   no data
13.07/4.49	c  N st    24     69382       773      3336         0     12043     10133    245928   no data   no data
13.07/4.49	c  S st    24     69382       773      3336         0     12043     10133    245928   no data   no data
13.07/4.52	c  S st    24     69883       773      3336         0     12544     10133    260264   no data   no data
13.07/4.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.07/4.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
13.07/4.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
13.07/4.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.07/4.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.07/4.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    773 time:  0.00 s
13.07/4.53	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
13.07/4.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
13.07/4.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.07/4.56	c lits-rem:        22  cl-subs:      103  v-elim:      0  v-fix:    0  time:  0.02 s
13.07/4.56	c vivif2 --  cl tried     3336 cl shrink        0 lits rem          0 time: 0.00
13.07/4.57	c vivif2 --  cl tried    12441 cl shrink        0 lits rem          0 time: 0.00
13.07/4.57	c asymm  cl-useful: 0/3336/3336 lits-rem:0 time: 0.01
13.07/4.58	c calculated reachability. Time: 0.00
13.07/4.58	c  N st    24     69883       773      3336         0     12441     10133    256448   no data   no data
20.15/5.99	c  F st    25     87501       773      3336         0     18007     10133    435289   no data   no data
20.15/5.99	c  N st    25     87501       773      3336         0     18007     10133    435289   no data   no data
22.20/6.46	c  N dy    34     93266       773      3336         0     23722     10133    625763     22.53     23.72
24.13/6.93	c  N dy    55     99373       773      3336         0     16890     10133    306405     21.53     22.73
25.72/7.38	c  S st    81    104824       773      3336         0     22299     10133    472708     21.49     18.11
26.15/7.43	c  S st    81    105325       773      3336         0     22800     10133    486751     21.49   no data
26.15/7.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.15/7.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
26.15/7.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.15/7.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.15/7.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.15/7.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    773 time:  0.00 s
26.15/7.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
26.15/7.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
26.15/7.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.57/7.54	c lits-rem:       110  cl-subs:      160  v-elim:      0  v-fix:    0  time:  0.08 s
26.57/7.54	c vivif2 --  cl tried     3336 cl shrink        0 lits rem          0 time: 0.00
26.57/7.55	c vivif2 --  cl tried    22640 cl shrink        0 lits rem          0 time: 0.01
26.57/7.56	c asymm  cl-useful: 0/3336/3336 lits-rem:0 time: 0.01
26.57/7.56	c calculated reachability. Time: 0.00
26.57/7.56	c  N dy    81    105325       773      3336         0     22640     10133    480482     21.49   no data
28.91/8.17	c  N dy   110    112108       773      3336         0     15474     10133    214569     21.51     22.82
31.30/8.75	c  N dy   146    119503       773      3336         0     22835     10133    447406     21.64     22.81
34.93/9.65	c  N dy   180    128619       773      3336         0     16986     10133    228261     21.56     23.13
39.72/10.87	c  N dy   210    142278       773      3336         0     30516     10133    645698     21.17     22.32
42.86/11.69	c  N dy   259    151657       773      3336         0     23973     10133    423005     21.26     22.57
45.65/12.33	c  S st   275    157987       773      3336         0     30273     10133    616335     21.20     18.38
46.05/12.40	c  S st   275    158490       773      3336         0     30776     10133    631660     21.20   no data
46.05/12.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
46.05/12.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
46.05/12.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
46.05/12.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
46.05/12.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.05/12.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    773 time:  0.00 s
46.05/12.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
46.05/12.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
46.05/12.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.85/12.61	c lits-rem:       186  cl-subs:      320  v-elim:      0  v-fix:    0  time:  0.16 s
46.85/12.61	c vivif2 --  cl tried     3336 cl shrink        0 lits rem          0 time: 0.00
46.85/12.61	c vivif2 --  cl tried    30456 cl shrink        0 lits rem          0 time: 0.01
46.85/12.63	c asymm  cl-useful: 0/3336/3336 lits-rem:0 time: 0.02
46.85/12.64	c calculated reachability. Time: 0.00
46.85/12.64	c  N dy   275    158490       773      3336         0     30456     10133    619498     21.20   no data
50.83/13.62	c  N dy   330    168780       773      3336         0     23792     10133    383049     21.25     22.46
55.61/14.86	c  N dy   370    180213       773      3336         0     35159     10133    741216     21.19     22.36
60.01/15.97	c  N dy   434    191973       773      3336         0     28946     10133    510792     21.24     22.50
65.62/17.37	c  N dy   497    204237       773      3336         0     22266     10133    281544     21.30     22.53
71.15/18.76	c  N dy   565    217344       773      3336         0     35308     10133    694012     21.33     22.71
77.53/20.33	c  N dy   616    231792       773      3336         0     29786     10133    488751     21.30     22.68
80.32/21.05	c  S st   646    237735       773      3336         0     35677     10133    670035     21.32     22.30
80.72/21.13	c  S st   646    238237       773      3336         0     36179     10133    685711     21.32   no data
80.72/21.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
80.72/21.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
80.72/21.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
80.72/21.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
80.72/21.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
80.72/21.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    773 time:  0.00 s
80.72/21.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
80.72/21.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
80.72/21.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.52/21.38	c lits-rem:        83  cl-subs:      402  v-elim:      0  v-fix:    0  time:  0.20 s
81.52/21.38	c vivif2 --  cl tried     3336 cl shrink        0 lits rem          0 time: 0.00
81.52/21.38	c vivif2 --  cl tried    35777 cl shrink        0 lits rem          0 time: 0.01
81.92/21.41	c asymm  cl-useful: 0/3336/3336 lits-rem:0 time: 0.02
81.92/21.41	c calculated reachability. Time: 0.00
81.92/21.41	c  N dy   646    238237       773      3336         0     35777     10133    671009     21.32   no data
88.69/23.17	c  N dy   731    253455       773      3336         0     30032     10133    475031     21.38     22.53
96.71/25.17	c  N dy   778    269725       773      3336         0     24324     10133    266812     21.34     26.38
105.07/27.27	c  N dy   873    286995       773      3336         0     41511     10133    816364     21.38     22.84
114.59/29.64	c  F st   956    306251       773      3336         0     37740     10133    659471     21.35     18.99
114.59/29.64	c  N st   956    306251       773      3336         0     37740     10133    659471     21.35     18.99
124.95/32.26	c  N dy  1033    326329       773      3336         0     33846     10133    508398     21.36     22.52
136.12/35.05	c  N dy  1082    346491       773      3336         0     29049     10133    337640     21.28     22.47
141.65/36.40	c  S st  1129    357359       773      3336         0     39843     10133    676468     21.28     20.36
141.65/36.49	c  S st  1129    357862       773      3336         0     40346     10133    691753     21.28   no data
141.65/36.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
141.65/36.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
141.65/36.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
141.65/36.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
141.65/36.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
141.65/36.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    773 time:  0.00 s
141.65/36.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
141.65/36.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
141.65/36.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
142.75/36.76	c lits-rem:       182  cl-subs:      330  v-elim:      0  v-fix:    0  time:  0.22 s
142.75/36.76	c vivif2 --  cl tried     3336 cl shrink        0 lits rem          0 time: 0.00
142.75/36.77	c vivif2 --  cl tried    40016 cl shrink        0 lits rem          0 time: 0.01
143.14/36.80	c asymm  cl-useful: 0/3336/3336 lits-rem:0 time: 0.03
143.14/36.80	c calculated reachability. Time: 0.00
143.14/36.80	c  N dy  1129    357862       773      3336         0     40016     10133    679482     21.28   no data
154.68/39.72	c  N dy  1215    378478       773      3336         0     34662     10133    493926     21.27     22.46
167.43/42.97	c  N dy  1322    398521       773      3336         0     27772     10133    244521     21.31     22.46
178.60/45.76	c  N dy  1440    418551       773      3336         0     47693     10133    878956     21.36     22.51
190.95/48.80	c  N dy  1517    439055       773      3336         0     40205     10133    609266     21.35     22.52
204.89/52.30	c  N dy  1633    459166       773      3336         0     31382     10133    308963     21.39     22.65
217.65/55.51	c  N dy  1719    480477       773      3336         0     52577     10133    985049     21.39     22.57
230.40/58.76	c  N dy  1804    501059       773      3336         0     43174     10133    647818     21.39     22.60
245.58/62.55	c  N dy  1874    522178       773      3336         0     33361     10133    319019     21.37     22.56
253.93/64.69	c  S st  1903    536793       773      3336         0     47841     10133    763276     21.33     16.09
254.36/64.80	c  S st  1903    537296       773      3336         0     48344     10133    778498     21.33   no data
254.36/64.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
254.77/64.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
254.77/64.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
254.77/64.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
254.77/64.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
254.77/64.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    773 time:  0.00 s
254.77/64.82	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
254.77/64.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
254.77/64.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
256.31/65.21	c lits-rem:       103  cl-subs:      804  v-elim:      0  v-fix:    0  time:  0.35 s
256.31/65.21	c vivif2 --  cl tried     3336 cl shrink        0 lits rem          0 time: 0.00
256.31/65.22	c vivif2 --  cl tried    47540 cl shrink        0 lits rem          0 time: 0.01
256.31/65.26	c asymm  cl-useful: 0/3336/3336 lits-rem:0 time: 0.04
256.31/65.26	c calculated reachability. Time: 0.00
256.31/65.26	c  N dy  1903    537296       773      3336         0     47540     10133    752527     21.33   no data
271.90/69.17	c  N dy  2028    557340       773      3336         0     35703     10133    369993     21.38     22.70
285.03/72.49	c  N dy  2137    577423       773      3336         0     55643     10133   1008510     21.40     23.64
300.13/76.20	c  N dy  2243    597524       773      3336         0     42842     10133    567632     21.42     22.69
315.28/80.03	c  N dy  2334    617605       773      3336         0     62783     10133   1204512     21.42     26.56
329.29/83.56	c  N dy  2421    637849       773      3336         0     49134     10133    748989     21.43     22.59
346.82/87.98	c  N dy  2532    657881       773      3336         0     69047     10133   1387575     21.46     25.14
360.32/91.32	c  N dy  2608    677945       773      3336         0     54217     10133    883894     21.45     24.98
379.05/96.10	c  N dy  2697    700066       773      3336         0     40388     10133    411399     21.45     22.95
393.80/99.76	c  N dy  2765    720259       773      3336         0     60461     10133   1051124     21.44     22.93
412.18/104.31	c  N dy  2889    740378       773      3336         0     43688     10133    496852     21.47     22.62
429.26/108.62	c  N dy  3013    761233       773      3336         0     64411     10133   1158105     21.50     22.73
445.99/112.85	c  N dy  3112    781282       773      3336         0     46599     10133    564258     21.51     22.81
461.94/116.87	c  N dy  3171    801345       773      3336         0     66471     10133   1195363     21.50     24.45
466.72/118.08	c  S st  3200    805945       773      3336         0     71043     10133   1343172     21.51     20.40
467.52/118.27	c  S st  3200    806446       773      3336         0     71543     10133   1359221     21.51   no data
467.52/118.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
467.92/118.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
467.92/118.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
467.92/118.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
467.92/118.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
467.92/118.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    773 time:  0.00 s
467.92/118.31	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
467.92/118.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
467.92/118.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
471.50/119.29	c lits-rem:       338  cl-subs:     1079  v-elim:      0  v-fix:    0  time:  0.92 s
471.50/119.29	c vivif2 --  cl tried     3336 cl shrink        0 lits rem          0 time: 0.00
471.90/119.31	c vivif2 --  cl tried    70464 cl shrink        0 lits rem          0 time: 0.02
471.90/119.38	c asymm  cl-useful: 0/3336/3336 lits-rem:0 time: 0.07
471.90/119.38	c calculated reachability. Time: 0.00
471.90/119.38	c  N dy  3200    806446       773      3336         0     70464     10133   1321779     21.51   no data
492.21/124.41	c  N dy  3308    830246       773      3336         0     55357     10133    805090     21.51     22.74
511.75/129.36	c  N dy  3406    850300       773      3336         0     75266     10133   1438612     21.52     23.99
527.69/133.39	c  N dy  3497    870364       773      3336         0     55512     10133    787218     21.53     22.87
548.47/138.51	c  N dy  3598    890819       773      3336         0     75835     10133   1440085     21.55     22.88
565.16/142.74	c  N dy  3677    911274       773      3336         0     55419     10133    761084     21.55     22.69
593.86/149.97	c  N dy  3771    941518       773      3336         0     43717     10133    365037     21.51     22.79
609.86/153.96	c  N dy  3871    961800       773      3336         0     63838     10133   1008571     21.52     22.72
632.52/159.60	c  N dy  3977    981821       773      3336         0     83736     10133   1646244     21.54     26.97
648.90/163.77	c  N dy  4106   1001868       773      3336         0     60975     10133    893862     21.56     22.82
670.38/169.18	c  N dy  4197   1021931       773      3336         0     80890     10133   1527985     21.57     22.75
689.11/173.88	c  N dy  4329   1041977       773      3336         0     57108     10133    751910     21.60     22.77
713.44/179.98	c  N dy  4429   1066047       773      3336         0     81010     10133   1514137     21.60     22.79
721.00/181.85	c  F st  4457   1071876       773      3336         0     86796     10133   1700590     21.60     18.68
726.18/183.16	c Decided on static restart strategy
736.15/185.66	c  N st  4466   1090583       773      3336         0     60635     10133    851441     21.60   no data
758.91/191.32	c  N st  4468   1114580       773      3336         0     84303     10133   1628041     21.60   no data
777.58/196.09	c  N st  4469   1136176       773      3336         0     60015     10133   1427992     21.60   no data
813.86/205.19	c  N st  4470   1168569       773      3336         0     92069     10133   2571269     21.60   no data
852.13/214.79	c  N st  4471   1209674       773      3336         0     86334     10133   2302108     21.60   no data
852.13/214.79	c  S st  4471   1209674       773      3336         0     86334     10133   2302108     21.60   no data
853.33/215.02	c  S st  4471   1210176       773      3336         0     86836     10133   2317451     21.60   no data
853.33/215.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
853.33/215.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
853.33/215.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
853.33/215.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
853.33/215.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
853.33/215.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    773 time:  0.00 s
853.33/215.08	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
853.73/215.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
853.73/215.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
874.44/220.39	c lits-rem:       434  cl-subs:     2251  v-elim:      0  v-fix:    0  time:  5.21 s
874.44/220.39	c vivif2 --  cl tried     3336 cl shrink        0 lits rem          0 time: 0.00
874.84/220.41	c vivif2 --  cl tried    84585 cl shrink        0 lits rem          0 time: 0.03
875.24/220.50	c asymm  cl-useful: 0/3336/3336 lits-rem:0 time: 0.09
875.24/220.51	c calculated reachability. Time: 0.00
875.24/220.51	c  N st  4471   1210176       773      3336         0     84585     10133   2228318     21.60   no data
953.36/240.15	c  N st  4472   1283059       773      3336         0     60565     10133   1197549     21.60   no data
1067.37/268.74	c  N st  4473   1392382       773      3336         0     68725     10133   1485759     21.60   no data
1241.54/312.40	c  N st  4474   1556366       773      3336         0     73759     10133   1528937     21.60   no data
1422.34/357.89	c  N st  4475   1710178       773      3336         0     59721     10133    882584     21.60   no data
1422.34/357.89	c  S st  4475   1710178       773      3336         0     59721     10133    882584     21.60   no data
1423.14/358.03	c  S st  4475   1710680       773      3336         0     60223     10133    897775     21.60   no data
1423.14/358.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1423.14/358.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.03
1423.14/358.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1423.14/358.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1423.14/358.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1423.14/358.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    773 time:  0.00 s
1423.14/358.07	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1423.14/358.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1423.54/358.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1425.18/358.52	c lits-rem:       160  cl-subs:      305  v-elim:      0  v-fix:    0  time:  0.41 s
1425.18/358.52	c vivif2 --  cl tried     3336 cl shrink        0 lits rem          0 time: 0.00
1425.18/358.53	c vivif2 --  cl tried    59918 cl shrink        0 lits rem          0 time: 0.01
1425.18/358.59	c asymm  cl-useful: 0/3336/3336 lits-rem:0 time: 0.05
1425.18/358.59	c calculated reachability. Time: 0.00
1425.18/358.59	c  N st  4475   1710680       773      3336         0     59918     10133    886850     21.60   no data
1855.18/466.53	c  N st  4476   2079644       773      3336         0     65646     10133    900493     21.60   no data
2029.40/510.20	c  N st  4477   2210681       773      3336         0     67865     10133    923307     21.60   no data
2029.40/510.20	c  S st  4477   2210681       773      3336         0     67865     10133    923307     21.60   no data
2029.80/510.38	c  S st  4477   2211182       773      3336         0     68365     10133    938262     21.60   no data
2029.80/510.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2030.20/510.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
2030.20/510.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2030.20/510.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2030.20/510.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2030.20/510.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    773 time:  0.00 s
2030.20/510.42	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2030.20/510.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2030.20/510.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2031.44/510.77	c lits-rem:        73  cl-subs:      262  v-elim:      0  v-fix:    0  time:  0.31 s
2031.44/510.77	c vivif2 --  cl tried     3336 cl shrink        0 lits rem          0 time: 0.00
2031.44/510.79	c vivif2 --  cl tried    68103 cl shrink        0 lits rem          0 time: 0.01
2031.85/510.85	c asymm  cl-useful: 0/3336/3336 lits-rem:0 time: 0.06
2031.85/510.85	c calculated reachability. Time: 0.00
2031.85/510.85	c  N st  4477   2211182       773      3336         0     68103     10133    928716     21.60   no data
2742.93/689.28	c  N st  4478   2711182       773      3336         0     85115     10133   1343407     21.60   no data
2742.93/689.28	c  S st  4478   2711182       773      3336         0     85115     10133   1343407     21.60   no data
2744.13/689.50	c  S st  4478   2711683       773      3336         0     85616     10133   1359593     21.60   no data
2744.13/689.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2744.13/689.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
2744.13/689.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2744.13/689.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2744.13/689.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2744.13/689.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    773 time:  0.00 s
2744.13/689.55	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2744.13/689.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2744.53/689.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2751.30/691.37	c lits-rem:       291  cl-subs:     1719  v-elim:      0  v-fix:    0  time:  1.75 s
2751.30/691.37	c vivif2 --  cl tried     3336 cl shrink        0 lits rem          0 time: 0.00
2751.30/691.39	c vivif2 --  cl tried    83897 cl shrink        0 lits rem          0 time: 0.02
2751.70/691.48	c asymm  cl-useful: 0/3336/3336 lits-rem:0 time: 0.08
2751.70/691.48	c calculated reachability. Time: 0.00
2751.70/691.48	c  N st  4478   2711683       773      3336         0     83897     10133   1301289     21.60   no data
3428.54/861.29	c  N st  4479   3211686       773      3336         0    128945     10133   2695053     21.60   no data
3428.54/861.29	c  S st  4479   3211686       773      3336         0    128945     10133   2695053     21.60   no data
3430.16/861.70	c  S st  4479   3212192       773      3336         0    129451     10133   2711145     21.60   no data
3430.16/861.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3430.58/861.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
3430.58/861.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3430.58/861.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3430.58/861.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3430.58/861.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    773 time:  0.00 s
3430.58/861.78	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3430.92/861.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3431.32/861.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3521.79/884.69	c lits-rem:       633  cl-subs:     8574  v-elim:      0  v-fix:    0  time: 22.80 s
3521.79/884.69	c vivif2 --  cl tried     3336 cl shrink        0 lits rem          0 time: 0.00
3522.23/884.73	c vivif2 --  cl tried   120877 cl shrink        0 lits rem          0 time: 0.03
3522.64/884.86	c asymm  cl-useful: 0/3336/3336 lits-rem:0 time: 0.14
3522.64/884.87	c calculated reachability. Time: 0.00
3522.64/884.87	c  N st  4479   3212192       773      3336         0    120877     10133   2446313     21.60   no data
4281.94/1075.30	c  N st  4480   3712192       773      3336         0    132131     10133   2691867     21.60   no data
4281.94/1075.30	c  S st  4480   3712192       773      3336         0    132131     10133   2691867     21.60   no data
4283.54/1075.71	c  S st  4480   3712698       773      3336         0    132636     10133   2708661     21.60   no data
4283.54/1075.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4283.54/1075.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
4283.54/1075.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4283.54/1075.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4283.54/1075.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4283.54/1075.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    773 time:  0.00 s
4283.54/1075.79	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4283.94/1075.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4284.33/1075.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4343.31/1090.74	c lits-rem:       888  cl-subs:     5254  v-elim:      0  v-fix:    0  time: 14.82 s
4343.31/1090.74	c vivif2 --  cl tried     3336 cl shrink        0 lits rem          0 time: 0.00
4343.31/1090.78	c vivif2 --  cl tried   127382 cl shrink        0 lits rem          0 time: 0.04
4344.11/1090.92	c asymm  cl-useful: 0/3336/3336 lits-rem:0 time: 0.14
4344.11/1090.92	c calculated reachability. Time: 0.00
4344.11/1090.92	c  N st  4480   3712698       773      3336         0    127382     10133   2536447     21.60   no data
4425.48/1111.39	c  F st  4481   3751563       773      3336         0    165666     10133   3833496     21.60   no data
4425.48/1111.39	c  N st  4481   3751563       773      3336         0    165666     10133   3833496     21.60   no data
4434.66/1113.62	c Decided on static restart strategy
4461.71/1120.40	c  N st  4491   3779865       773      3336         0    110330     10133   1897309     21.60   no data
4520.69/1135.24	c  N st  4493   3815858       773      3336         0    145806     10133   3182320     21.60   no data
4583.73/1151.06	c  N st  4494   3848250       773      3336         0     93170     10133   1259175     21.60   no data
4664.59/1171.31	c  N st  4495   3896839       773      3336         0    141253     10133   3018054     21.60   no data
4781.77/1200.76	c  N st  4496   3969721       773      3336         0    127042     10133   2325395     21.60   no data

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

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

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

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


[startup+0 s]
/proc/loadavg: 8.12 8.09 7.98 7/401 29288
/proc/meminfo: memFree=24228132/32951132 swapFree=67093844/67111528
[pid=29288] ppid=29286 vsize=51168 CPUtime=0.02 cores=0,2,4,6
/proc/29288/stat : 29288 (strangenight2-m) R 29286 29288 28827 0 -1 4202496 406 0 0 0 2 0 0 0 25 0 4 0 652641522 52396032 347 33554432000 4194304 4580107 140734678144832 18446744073709551615 47195697985458 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29288/statm: 12792 347 299 95 0 7774 0
[pid=29288/tid=29289] ppid=29286 vsize=51168 CPUtime=0.01 cores=0,2,4,6
/proc/29288/task/29289/stat : 29289 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 4 0 652641522 52396032 347 33554432000 4194304 4580107 140734678144832 18446744073709551615 47195697985452 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29288/tid=29290] ppid=29286 vsize=51168 CPUtime=0.01 cores=0,2,4,6
/proc/29288/task/29290/stat : 29290 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 4 0 652641522 52396032 347 33554432000 4194304 4580107 140734678144832 18446744073709551615 47195697985452 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29288/tid=29291] ppid=29286 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/29288/task/29291/stat : 29291 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652641522 52396032 347 33554432000 4194304 4580107 140734678144832 18446744073709551615 242970606577 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.10188 s]
/proc/loadavg: 8.12 8.09 7.98 7/401 29288
/proc/meminfo: memFree=24228132/32951132 swapFree=67093844/67111528
[pid=29288] ppid=29286 vsize=282848 CPUtime=0.37 cores=0,2,4,6
/proc/29288/stat : 29288 (strangenight2-m) R 29286 29288 28827 0 -1 4202496 1997 0 0 0 37 0 0 0 18 0 4 0 652641522 289636352 1845 33554432000 4194304 4580107 140734678144832 18446744073709551615 242970655263 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29288/statm: 70712 1845 377 95 0 65694 0
[pid=29288/tid=29289] ppid=29286 vsize=282848 CPUtime=0.09 cores=0,2,4,6
/proc/29288/task/29289/stat : 29289 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 461 0 0 0 9 0 0 0 18 0 4 0 652641522 289636352 1845 33554432000 4194304 4580107 140734678144832 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29288/tid=29290] ppid=29286 vsize=282848 CPUtime=0.09 cores=0,2,4,6
/proc/29288/task/29290/stat : 29290 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 394 0 0 0 9 0 0 0 18 0 4 0 652641522 289636352 1845 33554432000 4194304 4580107 140734678144832 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29288/tid=29291] ppid=29286 vsize=282848 CPUtime=0.08 cores=0,2,4,6
/proc/29288/task/29291/stat : 29291 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 248 0 0 0 8 0 0 0 25 0 4 0 652641522 289636352 1845 33554432000 4194304 4580107 140734678144832 18446744073709551615 242970655214 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) 282848

[startup+0.200707 s]
/proc/loadavg: 8.12 8.09 7.98 7/401 29288
/proc/meminfo: memFree=24228132/32951132 swapFree=67093844/67111528
[pid=29288] ppid=29286 vsize=282988 CPUtime=0.77 cores=0,2,4,6
/proc/29288/stat : 29288 (strangenight2-m) R 29286 29288 28827 0 -1 4202496 2480 0 0 0 77 0 0 0 18 0 4 0 652641522 289779712 2328 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294438 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29288/statm: 70747 2328 377 95 0 65729 0
[pid=29288/tid=29289] ppid=29286 vsize=282988 CPUtime=0.19 cores=0,2,4,6
/proc/29288/task/29289/stat : 29289 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 575 0 0 0 19 0 0 0 18 0 4 0 652641522 289779712 2328 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29288/tid=29290] ppid=29286 vsize=282988 CPUtime=0.19 cores=0,2,4,6
/proc/29288/task/29290/stat : 29290 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 522 0 0 0 19 0 0 0 18 0 4 0 652641522 289779712 2328 33554432000 4194304 4580107 140734678144832 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29288/tid=29291] ppid=29286 vsize=282988 CPUtime=0.18 cores=0,2,4,6
/proc/29288/task/29291/stat : 29291 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 369 0 0 0 18 0 0 0 25 0 4 0 652641522 289779712 2328 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 282988

[startup+0.30069 s]
/proc/loadavg: 8.12 8.09 7.98 7/401 29288
/proc/meminfo: memFree=24228132/32951132 swapFree=67093844/67111528
[pid=29288] ppid=29286 vsize=284556 CPUtime=1.17 cores=0,2,4,6
/proc/29288/stat : 29288 (strangenight2-m) R 29286 29288 28827 0 -1 4202496 3214 0 0 0 117 0 0 0 18 0 4 0 652641522 291385344 2276 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29288/statm: 71139 2276 377 95 0 66121 0
[pid=29288/tid=29289] ppid=29286 vsize=284556 CPUtime=0.29 cores=0,2,4,6
/proc/29288/task/29289/stat : 29289 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 769 0 0 0 29 0 0 0 18 0 4 0 652641522 291385344 2276 33554432000 4194304 4580107 140734678144832 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29288/tid=29290] ppid=29286 vsize=284556 CPUtime=0.29 cores=0,2,4,6
/proc/29288/task/29290/stat : 29290 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 708 0 0 0 29 0 0 0 18 0 4 0 652641522 291385344 2276 33554432000 4194304 4580107 140734678144832 18446744073709551615 4293145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29288/tid=29291] ppid=29286 vsize=284556 CPUtime=0.28 cores=0,2,4,6
/proc/29288/task/29291/stat : 29291 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 546 0 0 0 28 0 0 0 25 0 4 0 652641522 291385344 2276 33554432000 4194304 4580107 140734678144832 18446744073709551615 4293182 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) 284556

[startup+0.700621 s]
/proc/loadavg: 8.12 8.09 7.98 7/401 29288
/proc/meminfo: memFree=24228132/32951132 swapFree=67093844/67111528
[pid=29288] ppid=29286 vsize=285852 CPUtime=2.77 cores=0,2,4,6
/proc/29288/stat : 29288 (strangenight2-m) R 29286 29288 28827 0 -1 4202496 5141 0 0 0 277 0 0 0 18 0 4 0 652641522 292712448 3011 33554432000 4194304 4580107 140734678144832 18446744073709551615 4318675 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29288/statm: 71463 3012 377 95 0 66445 0
[pid=29288/tid=29289] ppid=29286 vsize=285852 CPUtime=0.69 cores=0,2,4,6
/proc/29288/task/29289/stat : 29289 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 1228 0 0 0 69 0 0 0 18 0 4 0 652641522 292712448 3012 33554432000 4194304 4580107 140734678144832 18446744073709551615 4318708 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29288/tid=29290] ppid=29286 vsize=285852 CPUtime=0.69 cores=0,2,4,6
/proc/29288/task/29290/stat : 29290 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 1177 0 0 0 69 0 0 0 18 0 4 0 652641522 292712448 3012 33554432000 4194304 4580107 140734678144832 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29288/tid=29291] ppid=29286 vsize=285852 CPUtime=0.68 cores=0,2,4,6
/proc/29288/task/29291/stat : 29291 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 1052 0 0 0 68 0 0 0 25 0 4 0 652641522 292712448 3012 33554432000 4194304 4580107 140734678144832 18446744073709551615 4342196 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) 285852

[startup+1.50048 s]
/proc/loadavg: 8.19 8.10 7.99 10/405 29292
/proc/meminfo: memFree=24202028/32951132 swapFree=67093844/67111528
[pid=29288] ppid=29286 vsize=287592 CPUtime=5.96 cores=0,2,4,6
/proc/29288/stat : 29288 (strangenight2-m) R 29286 29288 28827 0 -1 4202496 8957 0 0 0 595 1 0 0 20 0 4 0 652641522 294494208 3481 33554432000 4194304 4580107 140734678144832 18446744073709551615 4293167 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29288/statm: 71898 3481 378 95 0 66880 0
[pid=29288/tid=29289] ppid=29286 vsize=287592 CPUtime=1.49 cores=0,2,4,6
/proc/29288/task/29289/stat : 29289 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 2158 0 0 0 149 0 0 0 20 0 4 0 652641522 294494208 3481 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29288/tid=29290] ppid=29286 vsize=287592 CPUtime=1.49 cores=0,2,4,6
/proc/29288/task/29290/stat : 29290 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 2190 0 0 0 149 0 0 0 19 0 4 0 652641522 294494208 3481 33554432000 4194304 4580107 140734678144832 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29288/tid=29291] ppid=29286 vsize=287592 CPUtime=1.46 cores=0,2,4,6
/proc/29288/task/29291/stat : 29291 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 2007 0 0 0 146 0 0 0 25 0 4 0 652641522 294494208 3482 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294426 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) 287592

[startup+3.71192 s]
/proc/loadavg: 8.19 8.10 7.99 10/405 29292
/proc/meminfo: memFree=24202028/32951132 swapFree=67093844/67111528
[pid=29288] ppid=29286 vsize=294872 CPUtime=13.07 cores=0,2,4,6
/proc/29288/stat : 29288 (strangenight2-m) R 29286 29288 28827 0 -1 4202496 19750 0 0 0 1302 5 0 0 25 0 4 0 652641522 301948928 9478 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294574 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29288/statm: 73718 9604 379 95 0 68700 0
[pid=29288/tid=29289] ppid=29286 vsize=294872 CPUtime=3.73 cores=0,2,4,6
/proc/29288/task/29289/stat : 29289 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 4899 0 0 0 372 1 0 0 25 0 4 0 652641522 301948928 9694 33554432000 4194304 4580107 140734678144832 18446744073709551615 4321036 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29288/tid=29290] ppid=29286 vsize=294872 CPUtime=3.86 cores=0,2,4,6
/proc/29288/task/29290/stat : 29290 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 6234 0 0 0 385 1 0 0 25 0 4 0 652641522 301948928 9810 33554432000 4194304 4580107 140734678144832 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29288/tid=29291] ppid=29286 vsize=294872 CPUtime=2.05 cores=0,2,4,6
/proc/29288/task/29291/stat : 29291 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 2371 0 0 0 204 1 0 0 25 0 4 0 652641522 301948928 9987 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 13.07
Current children cumulated vsize (KiB) 294872

[startup+6.30066 s]
/proc/loadavg: 8.41 8.15 8.01 9/405 29292
/proc/meminfo: memFree=24117668/32951132 swapFree=67093844/67111528
[pid=29288] ppid=29286 vsize=295316 CPUtime=21.77 cores=0,2,4,6
/proc/29288/stat : 29288 (strangenight2-m) R 29286 29288 28827 0 -1 4202496 29104 0 0 0 2170 7 0 0 25 0 4 0 652641522 302403584 15460 33554432000 4194304 4580107 140734678144832 18446744073709551615 4318767 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29288/statm: 73829 15460 379 95 0 68811 0
[pid=29288/tid=29289] ppid=29286 vsize=295316 CPUtime=6.13 cores=0,2,4,6
/proc/29288/task/29289/stat : 29289 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 8234 0 0 0 612 1 0 0 25 0 4 0 652641522 302403584 15463 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29288/tid=29290] ppid=29286 vsize=295316 CPUtime=6 cores=0,2,4,6
/proc/29288/task/29290/stat : 29290 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 7758 0 0 0 598 2 0 0 25 0 4 0 652641522 302403584 15463 33554432000 4194304 4580107 140734678144832 18446744073709551615 4320440 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29288/tid=29291] ppid=29286 vsize=295316 CPUtime=3.33 cores=0,2,4,6
/proc/29288/task/29291/stat : 29291 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 4929 0 0 0 331 2 0 0 25 0 4 0 652641522 302403584 15463 33554432000 4194304 4580107 140734678144832 18446744073709551615 4318708 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 21.77
Current children cumulated vsize (KiB) 295316

[startup+12.7006 s]
/proc/loadavg: 8.38 8.15 8.01 9/405 29292
/proc/meminfo: memFree=24073536/32951132 swapFree=67093844/67111528
[pid=29288] ppid=29286 vsize=276620 CPUtime=47.25 cores=0,2,4,6
/proc/29288/stat : 29288 (strangenight2-m) R 29286 29288 28827 0 -1 4202496 47839 0 0 0 4713 12 0 0 25 0 4 0 652641522 283258880 24590 33554432000 4194304 4580107 140734678144832 18446744073709551615 4293680 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29288/statm: 69155 24590 379 95 0 64137 0
[pid=29288/tid=29289] ppid=29286 vsize=276620 CPUtime=12.52 cores=0,2,4,6
/proc/29288/task/29289/stat : 29289 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 13753 0 0 0 1250 2 0 0 25 0 4 0 652641522 283258880 24590 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29288/tid=29290] ppid=29286 vsize=276620 CPUtime=12.39 cores=0,2,4,6
/proc/29288/task/29290/stat : 29290 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 12885 0 0 0 1236 3 0 0 25 0 4 0 652641522 283258880 24590 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29288/tid=29291] ppid=29286 vsize=276620 CPUtime=9.62 cores=0,2,4,6
/proc/29288/task/29291/stat : 29291 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 9082 0 0 0 959 3 0 0 25 0 4 0 652641522 283258880 24590 33554432000 4194304 4580107 140734678144832 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 47.25
Current children cumulated vsize (KiB) 276620

[startup+25.5004 s]
/proc/loadavg: 8.32 8.14 8.00 9/405 29293
/proc/meminfo: memFree=24022576/32951132 swapFree=67093844/67111528
[pid=29288] ppid=29286 vsize=312408 CPUtime=98.26 cores=0,2,4,6
/proc/29288/stat : 29288 (strangenight2-m) R 29286 29288 28827 0 -1 4202496 65325 0 0 0 9808 18 0 0 25 0 4 0 652641522 319905792 29492 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29288/statm: 78102 29492 379 95 0 73084 0
[pid=29288/tid=29289] ppid=29286 vsize=312408 CPUtime=25.32 cores=0,2,4,6
/proc/29288/task/29289/stat : 29289 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 20190 0 0 0 2528 4 0 0 25 0 4 0 652641522 319905792 29492 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29288/tid=29290] ppid=29286 vsize=312408 CPUtime=25.19 cores=0,2,4,6
/proc/29288/task/29290/stat : 29290 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 16897 0 0 0 2515 4 0 0 25 0 4 0 652641522 319905792 29492 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294612 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29288/tid=29291] ppid=29286 vsize=312408 CPUtime=22.24 cores=0,2,4,6
/proc/29288/task/29291/stat : 29291 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 12489 0 0 0 2219 5 0 0 25 0 4 0 652641522 319905792 29492 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 98.26
Current children cumulated vsize (KiB) 312408

[startup+51.101 s]
/proc/loadavg: 8.19 8.13 8.00 9/405 29302
/proc/meminfo: memFree=23970500/32951132 swapFree=67093844/67111528
[pid=29288] ppid=29286 vsize=332516 CPUtime=200.11 cores=0,2,4,6
/proc/29288/stat : 29288 (strangenight2-m) R 29286 29288 28827 0 -1 4202496 93045 0 0 0 19980 31 0 0 25 0 4 0 652641522 340496384 38257 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294627 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29288/statm: 83129 38257 379 95 0 78111 0
[pid=29288/tid=29289] ppid=29286 vsize=332516 CPUtime=50.65 cores=0,2,4,6
/proc/29288/task/29289/stat : 29289 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 28612 0 0 0 5057 8 0 0 25 0 4 0 652641522 340496384 38257 33554432000 4194304 4580107 140734678144832 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29288/tid=29290] ppid=29286 vsize=332516 CPUtime=50.76 cores=0,2,4,6
/proc/29288/task/29290/stat : 29290 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 24200 0 0 0 5070 6 0 0 25 0 4 0 652641522 340496384 38257 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29288/tid=29291] ppid=29286 vsize=332516 CPUtime=47.59 cores=0,2,4,6
/proc/29288/task/29291/stat : 29291 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 18564 0 0 0 4749 10 0 0 25 0 4 0 652641522 340496384 38257 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 200.11
Current children cumulated vsize (KiB) 332516

[startup+102.301 s]
/proc/loadavg: 8.22 8.14 8.01 9/405 29304
/proc/meminfo: memFree=23947416/32951132 swapFree=67093844/67111528
[pid=29288] ppid=29286 vsize=323188 CPUtime=404.16 cores=0,2,4,6
/proc/29288/stat : 29288 (strangenight2-m) R 29286 29288 28827 0 -1 4202496 135655 0 0 0 40369 47 0 0 25 0 4 0 652641522 330944512 39915 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29288/statm: 80797 39915 379 95 0 75779 0
[pid=29288/tid=29289] ppid=29286 vsize=323188 CPUtime=101.2 cores=0,2,4,6
/proc/29288/task/29289/stat : 29289 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 38768 0 0 0 10108 12 0 0 25 0 4 0 652641522 330944512 39915 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29288/tid=29290] ppid=29286 vsize=323188 CPUtime=101.96 cores=0,2,4,6
/proc/29288/task/29290/stat : 29290 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 33647 0 0 0 10186 10 0 0 25 0 4 0 652641522 330944512 39915 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294460 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29288/tid=29291] ppid=29286 vsize=323188 CPUtime=98.69 cores=0,2,4,6
/proc/29288/task/29291/stat : 29291 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 29907 0 0 0 9855 14 0 0 25 0 4 0 652641522 330944512 39915 33554432000 4194304 4580107 140734678144832 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 404.16
Current children cumulated vsize (KiB) 323188

[startup+162.301 s]

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

[pid=29288] ppid=29286 vsize=473980 CPUtime=2555.98 cores=0,2,4,6
/proc/29288/stat : 29288 (strangenight2-m) R 29286 29288 28827 0 -1 4202496 367988 0 0 0 255435 163 0 0 25 0 4 0 652641522 485355520 87545 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29288/statm: 118495 87545 379 95 0 113477 0
[pid=29288/tid=29289] ppid=29286 vsize=473980 CPUtime=637.56 cores=0,2,4,6
/proc/29288/task/29289/stat : 29289 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 88488 0 0 0 63720 36 0 0 25 0 4 0 652641522 485355520 87545 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29288/tid=29290] ppid=29286 vsize=473980 CPUtime=641.1 cores=0,2,4,6
/proc/29288/task/29290/stat : 29290 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 92184 0 0 0 64064 46 0 0 25 0 4 0 652641522 485355520 87545 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29288/tid=29291] ppid=29286 vsize=473980 CPUtime=635.01 cores=0,2,4,6
/proc/29288/task/29291/stat : 29291 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 79997 0 0 0 63462 39 0 0 25 0 4 0 652641522 485355520 87545 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294482 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2555.98
Current children cumulated vsize (KiB) 473980

[startup+702.301 s]
/proc/loadavg: 8.13 8.11 8.04 9/405 29323
/proc/meminfo: memFree=23579520/32951132 swapFree=67093844/67111528
[pid=29288] ppid=29286 vsize=534264 CPUtime=2795.14 cores=0,2,4,6
/proc/29288/stat : 29288 (strangenight2-m) R 29286 29288 28827 0 -1 4202496 376113 0 0 0 279347 167 0 0 25 0 4 0 652641522 547086336 90397 33554432000 4194304 4580107 140734678144832 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29288/statm: 133566 90397 379 95 0 128548 0
[pid=29288/tid=29289] ppid=29286 vsize=534264 CPUtime=696.76 cores=0,2,4,6
/proc/29288/task/29289/stat : 29289 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 88933 0 0 0 69640 36 0 0 25 0 4 0 652641522 547086336 90397 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29288/tid=29290] ppid=29286 vsize=534264 CPUtime=701.06 cores=0,2,4,6
/proc/29288/task/29290/stat : 29290 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 95534 0 0 0 70057 49 0 0 25 0 4 0 652641522 547086336 90397 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29288/tid=29291] ppid=29286 vsize=534264 CPUtime=695 cores=0,2,4,6
/proc/29288/task/29291/stat : 29291 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 80465 0 0 0 69461 39 0 0 25 0 4 0 652641522 547086336 90397 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2795.14
Current children cumulated vsize (KiB) 534264

[startup+762.301 s]
/proc/loadavg: 8.15 8.12 8.04 9/405 29324
/proc/meminfo: memFree=23579500/32951132 swapFree=67093844/67111528
[pid=29288] ppid=29286 vsize=561928 CPUtime=3034.32 cores=0,2,4,6
/proc/29288/stat : 29288 (strangenight2-m) R 29286 29288 28827 0 -1 4202496 387858 0 0 0 303259 173 0 0 25 0 4 0 652641522 575414272 89528 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29288/statm: 140482 89528 379 95 0 135464 0
[pid=29288/tid=29289] ppid=29286 vsize=561928 CPUtime=755.99 cores=0,2,4,6
/proc/29288/task/29289/stat : 29289 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 92636 0 0 0 75562 37 0 0 25 0 4 0 652641522 575414272 89528 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29288/tid=29290] ppid=29286 vsize=561928 CPUtime=761.02 cores=0,2,4,6
/proc/29288/task/29290/stat : 29290 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 96144 0 0 0 76051 51 0 0 25 0 4 0 652641522 575414272 89528 33554432000 4194304 4580107 140734678144832 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29288/tid=29291] ppid=29286 vsize=561928 CPUtime=755 cores=0,2,4,6
/proc/29288/task/29291/stat : 29291 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 85987 0 0 0 75458 42 0 0 25 0 4 0 652641522 575414272 89528 33554432000 4194304 4580107 140734678144832 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3034.32
Current children cumulated vsize (KiB) 561928

[startup+822.3 s]
/proc/loadavg: 8.14 8.12 8.05 9/405 29326
/proc/meminfo: memFree=23555812/32951132 swapFree=67093844/67111528
[pid=29288] ppid=29286 vsize=450892 CPUtime=3273.48 cores=0,2,4,6
/proc/29288/stat : 29288 (strangenight2-m) R 29286 29288 28827 0 -1 4202496 408843 0 0 0 327165 183 0 0 25 0 4 0 652641522 461713408 90963 33554432000 4194304 4580107 140734678144832 18446744073709551615 4316644 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29288/statm: 112723 90963 379 95 0 107705 0
[pid=29288/tid=29289] ppid=29286 vsize=450892 CPUtime=815.2 cores=0,2,4,6
/proc/29288/task/29289/stat : 29289 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 95916 0 0 0 81482 38 0 0 25 0 4 0 652641522 461713408 90963 33554432000 4194304 4580107 140734678144832 18446744073709551615 4292985 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29288/tid=29290] ppid=29286 vsize=450892 CPUtime=820.96 cores=0,2,4,6
/proc/29288/task/29290/stat : 29290 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 102452 0 0 0 82042 54 0 0 25 0 4 0 652641522 461713408 90963 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29288/tid=29291] ppid=29286 vsize=450892 CPUtime=815 cores=0,2,4,6
/proc/29288/task/29291/stat : 29291 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 87589 0 0 0 81457 43 0 0 25 0 4 0 652641522 461713408 90963 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3273.48
Current children cumulated vsize (KiB) 450892

[startup+882.301 s]
/proc/loadavg: 8.27 8.16 8.06 9/405 29328
/proc/meminfo: memFree=23510540/32951132 swapFree=67093844/67111528
[pid=29288] ppid=29286 vsize=474564 CPUtime=3512.63 cores=0,2,4,6
/proc/29288/stat : 29288 (strangenight2-m) R 29286 29288 28827 0 -1 4202496 424471 0 0 0 351069 194 0 0 25 0 4 0 652641522 485953536 91748 33554432000 4194304 4580107 140734678144832 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29288/statm: 118641 91748 379 95 0 113623 0
[pid=29288/tid=29289] ppid=29286 vsize=474564 CPUtime=874.41 cores=0,2,4,6
/proc/29288/task/29289/stat : 29289 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 101491 0 0 0 87400 41 0 0 25 0 4 0 652641522 485953536 91748 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29288/tid=29290] ppid=29286 vsize=474564 CPUtime=880.91 cores=0,2,4,6
/proc/29288/task/29290/stat : 29290 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 103521 0 0 0 88035 56 0 0 25 0 4 0 652641522 485953536 91748 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29288/tid=29291] ppid=29286 vsize=474564 CPUtime=874.99 cores=0,2,4,6
/proc/29288/task/29291/stat : 29291 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 91342 0 0 0 87453 46 0 0 25 0 4 0 652641522 485953536 91748 33554432000 4194304 4580107 140734678144832 18446744073709551615 4321030 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3512.63
Current children cumulated vsize (KiB) 474564

[startup+942.301 s]
/proc/loadavg: 8.22 8.16 8.07 9/405 29329
/proc/meminfo: memFree=23490576/32951132 swapFree=67093844/67111528
[pid=29288] ppid=29286 vsize=563880 CPUtime=3751.78 cores=0,2,4,6
/proc/29288/stat : 29288 (strangenight2-m) R 29286 29288 28827 0 -1 4202496 445358 0 0 0 374974 204 0 0 25 0 4 0 652641522 577413120 96381 33554432000 4194304 4580107 140734678144832 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29288/statm: 140970 96381 379 95 0 135952 0
[pid=29288/tid=29289] ppid=29286 vsize=563880 CPUtime=933.61 cores=0,2,4,6
/proc/29288/task/29289/stat : 29289 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 107170 0 0 0 93317 44 0 0 25 0 4 0 652641522 577413120 96381 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294440 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29288/tid=29290] ppid=29286 vsize=563880 CPUtime=940.86 cores=0,2,4,6
/proc/29288/task/29290/stat : 29290 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 107369 0 0 0 94027 59 0 0 25 0 4 0 652641522 577413120 96381 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29288/tid=29291] ppid=29286 vsize=563880 CPUtime=934.99 cores=0,2,4,6
/proc/29288/task/29291/stat : 29291 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 94857 0 0 0 93452 47 0 0 25 0 4 0 652641522 577413120 96381 33554432000 4194304 4580107 140734678144832 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3751.78
Current children cumulated vsize (KiB) 563880

[startup+1002.3 s]
/proc/loadavg: 8.08 8.13 8.06 9/405 29331
/proc/meminfo: memFree=23520700/32951132 swapFree=67093844/67111528
[pid=29288] ppid=29286 vsize=575448 CPUtime=3990.95 cores=0,2,4,6
/proc/29288/stat : 29288 (strangenight2-m) R 29286 29288 28827 0 -1 4202496 475191 0 0 0 398880 215 0 0 25 0 4 0 652641522 589258752 94038 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29288/statm: 143862 94038 379 95 0 138844 0
[pid=29288/tid=29289] ppid=29286 vsize=575448 CPUtime=992.83 cores=0,2,4,6
/proc/29288/task/29289/stat : 29289 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 119707 0 0 0 99236 47 0 0 25 0 4 0 652641522 589258752 94038 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29288/tid=29290] ppid=29286 vsize=575448 CPUtime=1000.81 cores=0,2,4,6
/proc/29288/task/29290/stat : 29290 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 111013 0 0 0 100020 61 0 0 25 0 4 0 652641522 589258752 94038 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29288/tid=29291] ppid=29286 vsize=575448 CPUtime=994.99 cores=0,2,4,6
/proc/29288/task/29291/stat : 29291 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 100836 0 0 0 99449 50 0 0 25 0 4 0 652641522 589258752 94038 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3990.95
Current children cumulated vsize (KiB) 575448

[startup+1062.3 s]
/proc/loadavg: 8.03 8.10 8.05 9/405 29332
/proc/meminfo: memFree=23473712/32951132 swapFree=67093844/67111528
[pid=29288] ppid=29286 vsize=624304 CPUtime=4230.12 cores=0,2,4,6
/proc/29288/stat : 29288 (strangenight2-m) R 29286 29288 28827 0 -1 4202496 499443 0 0 0 422787 225 0 0 25 0 4 0 652641522 639287296 103187 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29288/statm: 156076 103187 379 95 0 151058 0
[pid=29288/tid=29289] ppid=29286 vsize=624304 CPUtime=1052.05 cores=0,2,4,6
/proc/29288/task/29289/stat : 29289 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 124937 0 0 0 105155 50 0 0 25 0 4 0 652641522 639287296 103187 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29288/tid=29290] ppid=29286 vsize=624304 CPUtime=1060.77 cores=0,2,4,6
/proc/29288/task/29290/stat : 29290 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 119975 0 0 0 106012 65 0 0 25 0 4 0 652641522 639287296 103187 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29288/tid=29291] ppid=29286 vsize=624304 CPUtime=1054.99 cores=0,2,4,6
/proc/29288/task/29291/stat : 29291 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 103173 0 0 0 105448 51 0 0 25 0 4 0 652641522 639287296 103187 33554432000 4194304 4580107 140734678144832 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4230.12
Current children cumulated vsize (KiB) 624304

[startup+1122.3 s]
/proc/loadavg: 8.12 8.11 8.06 9/405 29334
/proc/meminfo: memFree=23459692/32951132 swapFree=67093844/67111528
[pid=29288] ppid=29286 vsize=613960 CPUtime=4469.33 cores=0,2,4,6
/proc/29288/stat : 29288 (strangenight2-m) R 29286 29288 28827 0 -1 4202496 520246 0 0 0 446697 236 0 0 25 0 4 0 652641522 628695040 107397 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294458 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29288/statm: 153490 107397 379 95 0 148472 0
[pid=29288/tid=29289] ppid=29286 vsize=613960 CPUtime=1111.26 cores=0,2,4,6
/proc/29288/task/29289/stat : 29289 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 129162 0 0 0 111073 53 0 0 25 0 4 0 652641522 628695040 107397 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29288/tid=29290] ppid=29286 vsize=613960 CPUtime=1120.74 cores=0,2,4,6
/proc/29288/task/29290/stat : 29290 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 124194 0 0 0 112006 68 0 0 25 0 4 0 652641522 628695040 107397 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29288/tid=29291] ppid=29286 vsize=613960 CPUtime=1115 cores=0,2,4,6
/proc/29288/task/29291/stat : 29291 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 106292 0 0 0 111448 52 0 0 25 0 4 0 652641522 628695040 107397 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4469.33
Current children cumulated vsize (KiB) 613960

[startup+1182.3 s]
/proc/loadavg: 8.15 8.12 8.06 9/405 29336
/proc/meminfo: memFree=23376344/32951132 swapFree=67093844/67111528
[pid=29288] ppid=29286 vsize=719232 CPUtime=4708.44 cores=0,2,4,6
/proc/29288/stat : 29288 (strangenight2-m) R 29286 29288 28827 0 -1 4202496 541235 0 0 0 470595 249 0 0 25 0 4 0 652641522 736493568 121048 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29288/statm: 179808 121048 379 95 0 174790 0
[pid=29288/tid=29289] ppid=29286 vsize=719232 CPUtime=1170.47 cores=0,2,4,6
/proc/29288/task/29289/stat : 29289 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 132792 0 0 0 116992 55 0 0 25 0 4 0 652641522 736493568 121048 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29288/tid=29290] ppid=29286 vsize=719232 CPUtime=1180.66 cores=0,2,4,6
/proc/29288/task/29290/stat : 29290 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 129964 0 0 0 117994 72 0 0 25 0 4 0 652641522 736493568 121048 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29288/tid=29291] ppid=29286 vsize=719232 CPUtime=1174.98 cores=0,2,4,6
/proc/29288/task/29291/stat : 29291 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 111568 0 0 0 117443 55 0 0 25 0 4 0 652641522 736493568 121048 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4708.44
Current children cumulated vsize (KiB) 719232



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1205.3 s]
/proc/loadavg: 7.84 8.06 8.05 5/397 29354
/proc/meminfo: memFree=23790036/32951132 swapFree=67093844/67111528
[pid=29288] ppid=29286 vsize=614880 CPUtime=4800.15 cores=0,2,4,6
/proc/29288/stat : 29288 (strangenight2-m) R 29286 29288 28827 0 -1 4202496 550047 0 0 0 479761 254 0 0 25 0 4 0 652641522 629637120 114544 33554432000 4194304 4580107 140734678144832 18446744073709551615 4293179 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29288/statm: 153720 114544 379 95 0 148702 0
[pid=29288/tid=29289] ppid=29286 vsize=614880 CPUtime=1193.18 cores=0,2,4,6
/proc/29288/task/29289/stat : 29289 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 133599 0 0 0 119262 56 0 0 25 0 4 0 652641522 629637120 114545 33554432000 4194304 4580107 140734678144832 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29288/tid=29290] ppid=29286 vsize=614880 CPUtime=1203.65 cores=0,2,4,6
/proc/29288/task/29290/stat : 29290 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 131794 0 0 0 120291 74 0 0 25 0 4 0 652641522 629637120 114545 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29288/tid=29291] ppid=29286 vsize=614880 CPUtime=1198 cores=0,2,4,6
/proc/29288/task/29291/stat : 29291 (strangenight2-m) R 29286 29288 28827 0 -1 4202560 114200 0 0 0 119743 57 0 0 25 0 4 0 652641522 629637120 114545 33554432000 4194304 4580107 140734678144832 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 614880

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): 1205.34
CPU time (s): 4800.21
CPU user time (s): 4797.64
CPU system time (s): 2.57261
CPU usage (%): 398.244
Max. virtual memory (cumulated for all children) (KiB): 767740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.64
system time used= 2.57261
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 550049
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= 633
involuntary context switches= 21935

runsolver used 4.67329 second user time and 12.2231 second system time

The end

Launcher Data 

Begin job on node128 at 2011-05-15 00:00:29
IDJOB=3366612
IDBENCH=83021
IDSOLVER=1844
FILE ID=node128/3366612-1305410429
RUNJOBID= node128-1305409221-29171
PBS_JOBID= 13324496
Free space on /tmp= 73604 MiB

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

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

MD5SUM BENCH= 598e5ac0f35fb3d353f44669087059bc
RANDOM SEED=581165316

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      24228288 kB
Buffers:        267164 kB
Cached:        2892460 kB
SwapCached:       1440 kB
Active:        6342160 kB
Inactive:      2088956 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      24228288 kB
SwapTotal:    67111528 kB
SwapFree:     67093844 kB
Dirty:           11252 kB
Writeback:           0 kB
AnonPages:     5270568 kB
Mapped:          32072 kB
Slab:           187464 kB
PageTables:      38404 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 100770768 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73604 MiB
End job on node128 at 2011-05-15 00:20:36