Trace number 3174203

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.29 1201.74

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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3174203-1304114170.cnf'
0.00/0.00	c -- header says num vars:            800
0.00/0.00	c -- header says num clauses:        3408
0.00/0.00	c -- clauses added:            0 learnts,         3408 normals,            0 xors
0.00/0.00	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.01	c asymm  cl-useful: 0/3408/3408 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:    800 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.10	c lits-rem:         0  cl-subs:        0  v-elim:     19  v-fix:    0  time:  0.00 s
0.00/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.10	c calculated reachability. Time: 0.00
0.00/0.10	c Calc default polars -  time:   0.00 s pos:     343 undec:      84 neg:     373
0.00/0.10	c =========================================================================================
0.00/0.10	c types(t): F = full restart, N = normal restart
0.00/0.10	c types(t): S = simplification begin/end, E = solution found
0.00/0.10	c restart types(rt): st = static, dy = dynamic
0.00/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.10	c  B st     0         0       781      3388         0         0     10281         0   no data   no data
0.00/0.10	c Decided on static restart strategy
0.40/0.19	c  N st     8      4914       781      3388         0      4874     10281    160849   no data   no data
1.57/0.49	c  N st    10     11297       781      3388         0      4520     10281    102957   no data   no data
3.17/0.81	c  N st    11     17040       781      3388         0     10196     10281    302234   no data   no data
5.17/1.32	c  F st    12     25000       781      3388         0     12444     10281    368704   no data   no data
5.17/1.32	c  N st    12     25000       781      3388         0     12444     10281    368704   no data   no data
6.37/1.60	c Decided on static restart strategy
6.37/1.60	c  N st    18     30002       781      3388         0     10736     10281    280163   no data   no data
6.37/1.60	c  S st    18     30002       781      3388         0     10736     10281    280163   no data   no data
6.37/1.63	c  S st    18     30502       781      3388         0     11236     10281    294731   no data   no data
6.37/1.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
6.37/1.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
6.37/1.63	c blocked clauses removed:       51 vars:      7 tried:         781 T: 0.00 s
6.37/1.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
6.37/1.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.37/1.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    774 time:  0.00 s
6.37/1.63	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
6.37/1.64	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.00 s
6.37/1.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.76/1.70	c lits-rem:       135  cl-subs:      246  v-elim:      0  v-fix:    0  time:  0.05 s
6.76/1.71	c asymm  cl-useful: 0/3336/3336 lits-rem:0 time: 0.01
6.76/1.71	c calculated reachability. Time: 0.00
6.76/1.71	c  N st    18     30502       773      3336         0     10956     10133    283619   no data   no data
8.37/2.14	c  N st    20     37612       773      3336         0     10200     10133    233462   no data   no data
9.96/2.56	c  N st    21     44014       773      3336         0     16514     10133    443468   no data   no data
10.37/2.68	c  S st    22     45753       773      3336         0      9436     10133    181455   no data   no data
10.77/2.71	c  S st    22     46254       773      3336         0      9937     10133    195700   no data   no data
10.77/2.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.77/2.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
10.77/2.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10.77/2.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.77/2.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.77/2.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    773 time:  0.00 s
10.77/2.71	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
10.77/2.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
10.77/2.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.77/2.73	c lits-rem:        14  cl-subs:       32  v-elim:      0  v-fix:    0  time:  0.01 s
10.77/2.73	c vivif2 --  cl tried     3336 cl shrink        0 lits rem          0 time: 0.00
10.77/2.73	c vivif2 --  cl tried     9905 cl shrink        0 lits rem          0 time: 0.00
10.77/2.74	c asymm  cl-useful: 0/3336/3336 lits-rem:0 time: 0.01
10.77/2.74	c calculated reachability. Time: 0.00
10.77/2.74	c  N st    22     46254       773      3336         0      9905     10133    194422   no data   no data
14.75/3.76	c  N st    23     60651       773      3336         0     14268     10133    343571   no data   no data
17.56/4.49	c  N st    24     69382       773      3336         0     12043     10133    245928   no data   no data
17.56/4.49	c  S st    24     69382       773      3336         0     12043     10133    245928   no data   no data
17.97/4.52	c  S st    24     69883       773      3336         0     12544     10133    260264   no data   no data
17.97/4.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.97/4.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
17.97/4.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
17.97/4.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.97/4.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.97/4.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    773 time:  0.00 s
17.97/4.53	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.97/4.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
17.97/4.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.97/4.57	c lits-rem:        22  cl-subs:      103  v-elim:      0  v-fix:    0  time:  0.02 s
17.97/4.57	c vivif2 --  cl tried     3336 cl shrink        0 lits rem          0 time: 0.00
17.97/4.57	c vivif2 --  cl tried    12441 cl shrink        0 lits rem          0 time: 0.00
17.97/4.58	c asymm  cl-useful: 0/3336/3336 lits-rem:0 time: 0.01
17.97/4.58	c calculated reachability. Time: 0.00
17.97/4.58	c  N st    24     69883       773      3336         0     12441     10133    256448   no data   no data
23.94/6.00	c  F st    25     87501       773      3336         0     18007     10133    435289   no data   no data
23.94/6.00	c  N st    25     87501       773      3336         0     18007     10133    435289   no data   no data
25.54/6.46	c  N dy    34     93266       773      3336         0     23722     10133    625763     22.53     23.72
27.53/6.95	c  N dy    55     99373       773      3336         0     16890     10133    306405     21.53     22.73
29.14/7.39	c  S st    81    104824       773      3336         0     22299     10133    472708     21.49     18.11
29.53/7.44	c  S st    81    105325       773      3336         0     22800     10133    486751     21.49   no data
29.53/7.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
29.53/7.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
29.53/7.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
29.53/7.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
29.53/7.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.53/7.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    773 time:  0.00 s
29.53/7.45	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
29.53/7.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
29.53/7.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.94/7.55	c lits-rem:       110  cl-subs:      160  v-elim:      0  v-fix:    0  time:  0.07 s
29.94/7.55	c vivif2 --  cl tried     3336 cl shrink        0 lits rem          0 time: 0.00
29.94/7.55	c vivif2 --  cl tried    22640 cl shrink        0 lits rem          0 time: 0.01
29.94/7.57	c asymm  cl-useful: 0/3336/3336 lits-rem:0 time: 0.01
29.94/7.57	c calculated reachability. Time: 0.00
29.94/7.57	c  N dy    81    105325       773      3336         0     22640     10133    480482     21.49   no data
32.33/8.19	c  N dy   110    112108       773      3336         0     15474     10133    214569     21.51     22.82
35.14/8.83	c  N dy   146    119503       773      3336         0     22835     10133    447406     21.64     22.81
38.73/9.77	c  N dy   180    128619       773      3336         0     16986     10133    228261     21.56     23.13
43.93/11.02	c  N dy   210    142278       773      3336         0     30516     10133    645698     21.17     22.32
47.11/11.83	c  N dy   259    151657       773      3336         0     23973     10133    423005     21.26     22.57
49.50/12.46	c  S st   275    157987       773      3336         0     30273     10133    616335     21.20     18.38
49.90/12.53	c  S st   275    158490       773      3336         0     30776     10133    631660     21.20   no data
49.90/12.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
49.90/12.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
49.90/12.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
49.90/12.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
49.90/12.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.90/12.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    773 time:  0.00 s
49.90/12.54	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
49.90/12.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
49.90/12.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
50.71/12.74	c lits-rem:       186  cl-subs:      320  v-elim:      0  v-fix:    0  time:  0.16 s
50.71/12.74	c vivif2 --  cl tried     3336 cl shrink        0 lits rem          0 time: 0.00
50.71/12.74	c vivif2 --  cl tried    30456 cl shrink        0 lits rem          0 time: 0.01
50.71/12.76	c asymm  cl-useful: 0/3336/3336 lits-rem:0 time: 0.02
50.71/12.77	c calculated reachability. Time: 0.00
50.71/12.77	c  N dy   275    158490       773      3336         0     30456     10133    619498     21.20   no data
54.70/13.74	c  N dy   330    168780       773      3336         0     23792     10133    383049     21.25     22.46
59.89/15.00	c  N dy   370    180213       773      3336         0     35159     10133    741216     21.19     22.36
64.29/16.11	c  N dy   434    191973       773      3336         0     28946     10133    510792     21.24     22.50
69.87/17.52	c  N dy   497    204237       773      3336         0     22266     10133    281544     21.30     22.53
75.47/18.91	c  N dy   565    217344       773      3336         0     35308     10133    694012     21.33     22.71
81.46/20.47	c  N dy   616    231792       773      3336         0     29786     10133    488751     21.30     22.68
84.26/21.19	c  S st   646    237735       773      3336         0     35677     10133    670035     21.32     22.30
84.65/21.27	c  S st   646    238237       773      3336         0     36179     10133    685711     21.32   no data
84.65/21.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
84.65/21.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
84.65/21.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
84.65/21.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
84.65/21.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.65/21.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    773 time:  0.00 s
84.65/21.29	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
85.05/21.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
85.05/21.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.85/21.51	c lits-rem:        83  cl-subs:      402  v-elim:      0  v-fix:    0  time:  0.19 s
85.85/21.51	c vivif2 --  cl tried     3336 cl shrink        0 lits rem          0 time: 0.00
85.85/21.52	c vivif2 --  cl tried    35777 cl shrink        0 lits rem          0 time: 0.01
85.85/21.54	c asymm  cl-useful: 0/3336/3336 lits-rem:0 time: 0.02
85.85/21.54	c calculated reachability. Time: 0.00
85.85/21.54	c  N dy   646    238237       773      3336         0     35777     10133    671009     21.32   no data
93.05/23.31	c  N dy   731    253455       773      3336         0     30032     10133    475031     21.38     22.53
100.64/25.30	c  N dy   778    269725       773      3336         0     24324     10133    266812     21.34     26.38
109.42/27.40	c  N dy   873    286995       773      3336         0     41511     10133    816364     21.38     22.84
118.63/29.78	c  F st   956    306251       773      3336         0     37740     10133    659471     21.35     18.99
118.63/29.78	c  N st   956    306251       773      3336         0     37740     10133    659471     21.35     18.99
129.00/32.38	c  N dy  1033    326329       773      3336         0     33846     10133    508398     21.36     22.52
140.19/35.16	c  N dy  1082    346491       773      3336         0     29049     10133    337640     21.28     22.47
145.78/36.51	c  S st  1129    357359       773      3336         0     39843     10133    676468     21.28     20.36
146.18/36.61	c  S st  1129    357862       773      3336         0     40346     10133    691753     21.28   no data
146.18/36.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
146.18/36.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
146.18/36.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
146.18/36.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
146.18/36.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
146.18/36.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    773 time:  0.00 s
146.18/36.63	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
146.18/36.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
146.18/36.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
146.97/36.88	c lits-rem:       182  cl-subs:      330  v-elim:      0  v-fix:    0  time:  0.22 s
146.97/36.88	c vivif2 --  cl tried     3336 cl shrink        0 lits rem          0 time: 0.00
146.97/36.89	c vivif2 --  cl tried    40016 cl shrink        0 lits rem          0 time: 0.01
147.37/36.92	c asymm  cl-useful: 0/3336/3336 lits-rem:0 time: 0.03
147.37/36.92	c calculated reachability. Time: 0.00
147.37/36.92	c  N dy  1129    357862       773      3336         0     40016     10133    679482     21.28   no data
158.96/39.82	c  N dy  1215    378478       773      3336         0     34662     10133    493926     21.27     22.46
171.77/43.06	c  N dy  1322    398521       773      3336         0     27772     10133    244521     21.31     22.46
182.92/45.87	c  N dy  1440    418551       773      3336         0     47693     10133    878956     21.36     22.51
195.31/48.90	c  N dy  1517    439055       773      3336         0     40205     10133    609266     21.35     22.52
208.89/52.38	c  N dy  1633    459166       773      3336         0     31382     10133    308963     21.39     22.65
222.07/55.61	c  N dy  1719    480477       773      3336         0     52577     10133    985049     21.39     22.57
234.86/58.85	c  N dy  1804    501059       773      3336         0     43174     10133    647818     21.39     22.60
250.04/62.62	c  N dy  1874    522178       773      3336         0     33361     10133    319019     21.37     22.56
258.42/64.77	c  S st  1903    536793       773      3336         0     47841     10133    763276     21.33     16.09
258.82/64.88	c  S st  1903    537296       773      3336         0     48344     10133    778498     21.33   no data
258.82/64.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
259.24/64.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
259.24/64.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
259.24/64.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
259.24/64.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
259.24/64.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    773 time:  0.00 s
259.24/64.91	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
259.24/64.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
259.24/64.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
260.82/65.30	c lits-rem:       103  cl-subs:      804  v-elim:      0  v-fix:    0  time:  0.35 s
260.82/65.30	c vivif2 --  cl tried     3336 cl shrink        0 lits rem          0 time: 0.00
260.82/65.31	c vivif2 --  cl tried    47540 cl shrink        0 lits rem          0 time: 0.01
260.82/65.34	c asymm  cl-useful: 0/3336/3336 lits-rem:0 time: 0.04
260.82/65.35	c calculated reachability. Time: 0.00
260.82/65.35	c  N dy  1903    537296       773      3336         0     47540     10133    752527     21.33   no data
276.41/69.26	c  N dy  2028    557340       773      3336         0     35703     10133    369993     21.38     22.70
289.58/72.57	c  N dy  2137    577423       773      3336         0     55643     10133   1008510     21.40     23.64
304.36/76.27	c  N dy  2243    597524       773      3336         0     42842     10133    567632     21.42     22.69
319.55/80.08	c  N dy  2334    617605       773      3336         0     62783     10133   1204512     21.42     26.56
333.53/83.59	c  N dy  2421    637849       773      3336         0     49134     10133    748989     21.43     22.59
351.10/88.00	c  N dy  2532    657881       773      3336         0     69047     10133   1387575     21.46     25.14
364.28/91.30	c  N dy  2608    677945       773      3336         0     54217     10133    883894     21.45     24.98
383.45/96.08	c  N dy  2697    700066       773      3336         0     40388     10133    411399     21.45     22.95
398.24/99.76	c  N dy  2765    720259       773      3336         0     60461     10133   1051124     21.44     22.93
416.61/104.37	c  N dy  2889    740378       773      3336         0     43688     10133    496852     21.47     22.62
433.39/108.58	c  N dy  3013    761233       773      3336         0     64411     10133   1158105     21.50     22.73
450.56/112.81	c  N dy  3112    781282       773      3336         0     46599     10133    564258     21.51     22.81
466.54/116.81	c  N dy  3171    801345       773      3336         0     66471     10133   1195363     21.50     24.45
471.34/118.05	c  S st  3200    805945       773      3336         0     71043     10133   1343172     21.51     20.40
472.13/118.24	c  S st  3200    806446       773      3336         0     71543     10133   1359221     21.51   no data
472.13/118.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
472.13/118.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
472.13/118.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
472.13/118.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
472.13/118.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
472.13/118.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    773 time:  0.00 s
472.13/118.28	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
472.53/118.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
472.53/118.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
476.13/119.26	c lits-rem:       338  cl-subs:     1079  v-elim:      0  v-fix:    0  time:  0.91 s
476.13/119.26	c vivif2 --  cl tried     3336 cl shrink        0 lits rem          0 time: 0.00
476.13/119.27	c vivif2 --  cl tried    70464 cl shrink        0 lits rem          0 time: 0.02
476.52/119.34	c asymm  cl-useful: 0/3336/3336 lits-rem:0 time: 0.06
476.52/119.34	c calculated reachability. Time: 0.00
476.52/119.34	c  N dy  3200    806446       773      3336         0     70464     10133   1321779     21.51   no data
496.52/124.32	c  N dy  3308    830246       773      3336         0     55357     10133    805090     21.51     22.74
516.47/129.30	c  N dy  3406    850300       773      3336         0     75266     10133   1438612     21.52     23.99
532.45/133.34	c  N dy  3497    870364       773      3336         0     55512     10133    787218     21.53     22.87
552.83/138.40	c  N dy  3598    890819       773      3336         0     75835     10133   1440085     21.55     22.88
569.20/142.59	c  N dy  3677    911274       773      3336         0     55419     10133    761084     21.55     22.69
598.36/149.86	c  N dy  3771    941518       773      3336         0     43717     10133    365037     21.51     22.79
614.34/153.80	c  N dy  3871    961800       773      3336         0     63838     10133   1008571     21.52     22.72
636.71/159.50	c  N dy  3977    981821       773      3336         0     83736     10133   1646244     21.54     26.97
653.49/163.63	c  N dy  4106   1001868       773      3336         0     60975     10133    893862     21.56     22.82
675.06/169.09	c  N dy  4197   1021931       773      3336         0     80890     10133   1527985     21.57     22.75
693.84/173.76	c  N dy  4329   1041977       773      3336         0     57108     10133    751910     21.60     22.77
718.20/179.85	c  N dy  4429   1066047       773      3336         0     81010     10133   1514137     21.60     22.79
725.78/181.70	c  F st  4457   1071876       773      3336         0     86796     10133   1700590     21.60     18.68
730.97/183.00	c Decided on static restart strategy
740.97/185.50	c  N st  4466   1090583       773      3336         0     60635     10133    851441     21.60   no data
763.74/191.20	c  N st  4468   1114580       773      3336         0     84303     10133   1628041     21.60   no data
782.53/195.94	c  N st  4469   1136176       773      3336         0     60015     10133   1427992     21.60   no data
818.86/205.06	c  N st  4470   1168569       773      3336         0     92069     10133   2571269     21.60   no data
856.82/214.60	c  N st  4471   1209674       773      3336         0     86334     10133   2302108     21.60   no data
856.82/214.60	c  S st  4471   1209674       773      3336         0     86334     10133   2302108     21.60   no data
858.00/214.84	c  S st  4471   1210176       773      3336         0     86836     10133   2317451     21.60   no data
858.00/214.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
858.00/214.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.05
858.00/214.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
858.00/214.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
858.00/214.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
858.00/214.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    773 time:  0.00 s
858.00/214.89	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
858.40/214.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
858.80/215.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
881.18/220.63	c lits-rem:       434  cl-subs:     2251  v-elim:      0  v-fix:    0  time:  5.63 s
881.18/220.63	c vivif2 --  cl tried     3336 cl shrink        0 lits rem          0 time: 0.00
881.18/220.66	c vivif2 --  cl tried    84585 cl shrink        0 lits rem          0 time: 0.03
881.58/220.75	c asymm  cl-useful: 0/3336/3336 lits-rem:0 time: 0.09
881.58/220.76	c calculated reachability. Time: 0.00
881.58/220.76	c  N st  4471   1210176       773      3336         0     84585     10133   2228318     21.60   no data
959.47/240.21	c  N st  4472   1283059       773      3336         0     60565     10133   1197549     21.60   no data
1073.31/268.75	c  N st  4473   1392382       773      3336         0     68725     10133   1485759     21.60   no data
1247.88/312.41	c  N st  4474   1556366       773      3336         0     73759     10133   1528937     21.60   no data
1429.21/357.85	c  N st  4475   1710178       773      3336         0     59721     10133    882584     21.60   no data
1429.21/357.85	c  S st  4475   1710178       773      3336         0     59721     10133    882584     21.60   no data
1429.61/357.99	c  S st  4475   1710680       773      3336         0     60223     10133    897775     21.60   no data
1429.61/357.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1430.01/358.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.03
1430.01/358.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1430.01/358.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1430.01/358.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1430.01/358.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    773 time:  0.00 s
1430.01/358.02	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1430.01/358.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1430.01/358.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1431.60/358.48	c lits-rem:       160  cl-subs:      305  v-elim:      0  v-fix:    0  time:  0.42 s
1431.60/358.48	c vivif2 --  cl tried     3336 cl shrink        0 lits rem          0 time: 0.00
1432.00/358.50	c vivif2 --  cl tried    59918 cl shrink        0 lits rem          0 time: 0.01
1432.00/358.55	c asymm  cl-useful: 0/3336/3336 lits-rem:0 time: 0.05
1432.00/358.55	c calculated reachability. Time: 0.00
1432.00/358.55	c  N st  4475   1710680       773      3336         0     59918     10133    886850     21.60   no data
1863.04/466.45	c  N st  4476   2079644       773      3336         0     65646     10133    900493     21.60   no data
2037.19/510.09	c  N st  4477   2210681       773      3336         0     67865     10133    923307     21.60   no data
2037.19/510.09	c  S st  4477   2210681       773      3336         0     67865     10133    923307     21.60   no data
2037.99/510.27	c  S st  4477   2211182       773      3336         0     68365     10133    938262     21.60   no data
2037.99/510.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2038.39/510.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
2038.39/510.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2038.39/510.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2038.39/510.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2038.39/510.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    773 time:  0.00 s
2038.39/510.31	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2038.39/510.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2038.39/510.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2039.58/510.67	c lits-rem:        73  cl-subs:      262  v-elim:      0  v-fix:    0  time:  0.31 s
2039.58/510.67	c vivif2 --  cl tried     3336 cl shrink        0 lits rem          0 time: 0.00
2039.58/510.69	c vivif2 --  cl tried    68103 cl shrink        0 lits rem          0 time: 0.01
2039.98/510.75	c asymm  cl-useful: 0/3336/3336 lits-rem:0 time: 0.06
2039.98/510.75	c calculated reachability. Time: 0.00
2039.98/510.75	c  N st  4477   2211182       773      3336         0     68103     10133    928716     21.60   no data
2751.04/688.76	c  N st  4478   2711182       773      3336         0     85115     10133   1343407     21.60   no data
2751.04/688.76	c  S st  4478   2711182       773      3336         0     85115     10133   1343407     21.60   no data
2751.81/688.99	c  S st  4478   2711683       773      3336         0     85616     10133   1359593     21.60   no data
2751.81/688.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2752.21/689.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
2752.21/689.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2752.21/689.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2752.21/689.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2752.21/689.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    773 time:  0.00 s
2752.21/689.04	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2752.21/689.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2752.61/689.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2759.43/690.89	c lits-rem:       291  cl-subs:     1719  v-elim:      0  v-fix:    0  time:  1.78 s
2759.43/690.89	c vivif2 --  cl tried     3336 cl shrink        0 lits rem          0 time: 0.00
2759.83/690.91	c vivif2 --  cl tried    83897 cl shrink        0 lits rem          0 time: 0.02
2759.83/690.99	c asymm  cl-useful: 0/3336/3336 lits-rem:0 time: 0.09
2760.20/691.00	c calculated reachability. Time: 0.00
2760.20/691.00	c  N st  4478   2711683       773      3336         0     83897     10133   1301289     21.60   no data
3437.68/860.60	c  N st  4479   3211686       773      3336         0    128945     10133   2695053     21.60   no data
3437.68/860.60	c  S st  4479   3211686       773      3336         0    128945     10133   2695053     21.60   no data
3439.28/861.01	c  S st  4479   3212192       773      3336         0    129451     10133   2711145     21.60   no data
3439.28/861.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3439.28/861.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
3439.28/861.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3439.28/861.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3439.28/861.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3439.28/861.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    773 time:  0.00 s
3439.28/861.09	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3439.68/861.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3440.08/861.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3530.36/883.84	c lits-rem:       633  cl-subs:     8574  v-elim:      0  v-fix:    0  time: 22.61 s
3530.36/883.84	c vivif2 --  cl tried     3336 cl shrink        0 lits rem          0 time: 0.00
3530.36/883.87	c vivif2 --  cl tried   120877 cl shrink        0 lits rem          0 time: 0.04
3531.16/884.01	c asymm  cl-useful: 0/3336/3336 lits-rem:0 time: 0.14
3531.16/884.02	c calculated reachability. Time: 0.00
3531.16/884.02	c  N st  4479   3212192       773      3336         0    120877     10133   2446313     21.60   no data
4290.51/1074.18	c  N st  4480   3712192       773      3336         0    132131     10133   2691867     21.60   no data
4290.51/1074.18	c  S st  4480   3712192       773      3336         0    132131     10133   2691867     21.60   no data
4292.12/1074.59	c  S st  4480   3712698       773      3336         0    132636     10133   2708661     21.60   no data
4292.52/1074.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4292.52/1074.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
4292.52/1074.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4292.52/1074.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4292.52/1074.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4292.52/1074.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    773 time:  0.00 s
4292.52/1074.68	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4292.93/1074.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
4293.33/1074.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4352.43/1089.69	c lits-rem:       888  cl-subs:     5254  v-elim:      0  v-fix:    0  time: 14.87 s
4352.43/1089.69	c vivif2 --  cl tried     3336 cl shrink        0 lits rem          0 time: 0.00
4352.83/1089.72	c vivif2 --  cl tried   127382 cl shrink        0 lits rem          0 time: 0.04
4353.23/1089.87	c asymm  cl-useful: 0/3336/3336 lits-rem:0 time: 0.14
4353.23/1089.87	c calculated reachability. Time: 0.00
4353.23/1089.87	c  N st  4480   3712698       773      3336         0    127382     10133   2536447     21.60   no data
4434.32/1110.15	c  F st  4481   3751563       773      3336         0    165666     10133   3833496     21.60   no data
4434.32/1110.15	c  N st  4481   3751563       773      3336         0    165666     10133   3833496     21.60   no data
4443.50/1112.46	c Decided on static restart strategy
4470.67/1119.29	c  N st  4491   3779865       773      3336         0    110330     10133   1897309     21.60   no data
4530.20/1134.11	c  N st  4493   3815858       773      3336         0    145806     10133   3182320     21.60   no data
4592.90/1149.83	c  N st  4494   3848250       773      3336         0     93170     10133   1259175     21.60   no data
4673.99/1170.19	c  N st  4495   3896839       773      3336         0    141253     10133   3018054     21.60   no data
4791.84/1199.61	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: 935)

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

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

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

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


[startup+0 s]
/proc/loadavg: 7.77 8.04 8.01 6/180 5089
/proc/meminfo: memFree=29099396/32950928 swapFree=67111356/67111528
[pid=5089] ppid=5087 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/5089/stat : 5089 (strangenight2-m) R 5087 5089 4858 0 -1 4202496 414 0 0 0 0 0 0 0 25 0 4 0 601647688 52441088 353 33554432000 4194304 4627427 140736533485520 18446744073709551615 231895546865 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5089/statm: 12803 353 303 106 0 7774 0
[pid=5089/tid=5090] ppid=5087 vsize=182284 CPUtime=0 cores=0,2,4,6
/proc/5089/task/5090/stat : 5090 (strangenight2-m) S 5087 5089 4858 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 601647688 186658816 365 33554432000 4194304 4627427 140736533485520 18446744073709551615 231895595502 0 0 4096 2 18446604453897498816 0 0 -1 4 0 0 0
[pid=5089/tid=5091] ppid=5087 vsize=182284 CPUtime=0 cores=0,2,4,6
/proc/5089/task/5091/stat : 5091 (strangenight2-m) D 5087 5089 4858 0 -1 4202560 13 0 0 0 0 0 0 0 25 0 4 0 601647688 186658816 366 33554432000 4194304 4627427 140736533485520 18446744073709551615 231895145456 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5089/tid=5092] ppid=5087 vsize=160440 CPUtime=0 cores=0,2,4,6
/proc/5089/task/5092/stat : 5092 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 6 0 0 0 0 0 0 0 25 0 4 0 601647688 164290560 367 33554432000 4194304 4627427 140736533485520 18446744073709551615 231895533703 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.107452 s]
/proc/loadavg: 7.77 8.04 8.01 6/180 5089
/proc/meminfo: memFree=29099396/32950928 swapFree=67111356/67111528
[pid=5089] ppid=5087 vsize=282640 CPUtime=0.4 cores=0,2,4,6
/proc/5089/stat : 5089 (strangenight2-m) R 5087 5089 4858 0 -1 4202496 2096 0 0 0 40 0 0 0 25 0 4 0 601647688 289423360 1922 33554432000 4194304 4627427 140736533485520 18446744073709551615 4352176 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5089/statm: 70660 1923 384 106 0 65631 0
[pid=5089/tid=5090] ppid=5087 vsize=282640 CPUtime=0.1 cores=0,2,4,6
/proc/5089/task/5090/stat : 5090 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 448 0 0 0 10 0 0 0 25 0 4 0 601647688 289423360 1923 33554432000 4194304 4627427 140736533485520 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5089/tid=5091] ppid=5087 vsize=282640 CPUtime=0.1 cores=0,2,4,6
/proc/5089/task/5091/stat : 5091 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 456 0 0 0 10 0 0 0 25 0 4 0 601647688 289423360 1923 33554432000 4194304 4627427 140736533485520 18446744073709551615 4332955 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5089/tid=5092] ppid=5087 vsize=282640 CPUtime=0.1 cores=0,2,4,6
/proc/5089/task/5092/stat : 5092 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 331 0 0 0 10 0 0 0 25 0 4 0 601647688 289423360 1923 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282640

[startup+0.200436 s]
/proc/loadavg: 7.77 8.04 8.01 6/180 5089
/proc/meminfo: memFree=29099396/32950928 swapFree=67111356/67111528
[pid=5089] ppid=5087 vsize=284384 CPUtime=0.77 cores=0,2,4,6
/proc/5089/stat : 5089 (strangenight2-m) R 5087 5089 4858 0 -1 4202496 2897 0 0 0 77 0 0 0 25 0 4 0 601647688 291209216 1937 33554432000 4194304 4627427 140736533485520 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5089/statm: 71096 1937 385 106 0 66067 0
[pid=5089/tid=5090] ppid=5087 vsize=284384 CPUtime=0.19 cores=0,2,4,6
/proc/5089/task/5090/stat : 5090 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 647 0 0 0 19 0 0 0 25 0 4 0 601647688 291209216 1937 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5089/tid=5091] ppid=5087 vsize=284384 CPUtime=0.19 cores=0,2,4,6
/proc/5089/task/5091/stat : 5091 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 655 0 0 0 19 0 0 0 25 0 4 0 601647688 291209216 1937 33554432000 4194304 4627427 140736533485520 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5089/tid=5092] ppid=5087 vsize=284384 CPUtime=0.19 cores=0,2,4,6
/proc/5089/task/5092/stat : 5092 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 533 0 0 0 19 0 0 0 25 0 4 0 601647688 291209216 1938 33554432000 4194304 4627427 140736533485520 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 284384

[startup+0.300416 s]
/proc/loadavg: 7.77 8.04 8.01 6/180 5089
/proc/meminfo: memFree=29099396/32950928 swapFree=67111356/67111528
[pid=5089] ppid=5087 vsize=284384 CPUtime=1.17 cores=0,2,4,6
/proc/5089/stat : 5089 (strangenight2-m) R 5087 5089 4858 0 -1 4202496 3296 0 0 0 117 0 0 0 25 0 4 0 601647688 291209216 2336 33554432000 4194304 4627427 140736533485520 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5089/statm: 71096 2336 385 106 0 66067 0
[pid=5089/tid=5090] ppid=5087 vsize=284384 CPUtime=0.29 cores=0,2,4,6
/proc/5089/task/5090/stat : 5090 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 761 0 0 0 29 0 0 0 25 0 4 0 601647688 291209216 2336 33554432000 4194304 4627427 140736533485520 18446744073709551615 4321768 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5089/tid=5091] ppid=5087 vsize=284384 CPUtime=0.29 cores=0,2,4,6
/proc/5089/task/5091/stat : 5091 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 748 0 0 0 29 0 0 0 25 0 4 0 601647688 291209216 2336 33554432000 4194304 4627427 140736533485520 18446744073709551615 4308353 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5089/tid=5092] ppid=5087 vsize=284384 CPUtime=0.29 cores=0,2,4,6
/proc/5089/task/5092/stat : 5092 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 628 0 0 0 29 0 0 0 25 0 4 0 601647688 291209216 2336 33554432000 4194304 4627427 140736533485520 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284384

[startup+0.700341 s]
/proc/loadavg: 7.77 8.04 8.01 6/180 5089
/proc/meminfo: memFree=29099396/32950928 swapFree=67111356/67111528
[pid=5089] ppid=5087 vsize=285468 CPUtime=2.77 cores=0,2,4,6
/proc/5089/stat : 5089 (strangenight2-m) R 5087 5089 4858 0 -1 4202496 5211 0 0 0 277 0 0 0 25 0 4 0 601647688 292319232 3059 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309312 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5089/statm: 71367 3059 385 106 0 66338 0
[pid=5089/tid=5090] ppid=5087 vsize=285468 CPUtime=0.69 cores=0,2,4,6
/proc/5089/task/5090/stat : 5090 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 1235 0 0 0 69 0 0 0 25 0 4 0 601647688 292319232 3059 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5089/tid=5091] ppid=5087 vsize=285468 CPUtime=0.69 cores=0,2,4,6
/proc/5089/task/5091/stat : 5091 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 1219 0 0 0 69 0 0 0 25 0 4 0 601647688 292319232 3061 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5089/tid=5092] ppid=5087 vsize=285468 CPUtime=0.69 cores=0,2,4,6
/proc/5089/task/5092/stat : 5092 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 1128 0 0 0 69 0 0 0 25 0 4 0 601647688 292319232 3061 33554432000 4194304 4627427 140736533485520 18446744073709551615 4330994 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285468

[startup+1.50019 s]
/proc/loadavg: 7.77 8.04 8.01 9/184 5093
/proc/meminfo: memFree=29087076/32950928 swapFree=67111356/67111528
[pid=5089] ppid=5087 vsize=287148 CPUtime=5.96 cores=0,2,4,6
/proc/5089/stat : 5089 (strangenight2-m) R 5087 5089 4858 0 -1 4202496 9049 0 0 0 595 1 0 0 25 0 4 0 601647688 294039552 3551 33554432000 4194304 4627427 140736533485520 18446744073709551615 4308120 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5089/statm: 71787 3551 386 106 0 66758 0
[pid=5089/tid=5090] ppid=5087 vsize=287148 CPUtime=1.49 cores=0,2,4,6
/proc/5089/task/5090/stat : 5090 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 2194 0 0 0 149 0 0 0 25 0 4 0 601647688 294039552 3551 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5089/tid=5091] ppid=5087 vsize=287148 CPUtime=1.48 cores=0,2,4,6
/proc/5089/task/5091/stat : 5091 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 2196 0 0 0 148 0 0 0 25 0 4 0 601647688 294039552 3551 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5089/tid=5092] ppid=5087 vsize=287148 CPUtime=1.49 cores=0,2,4,6
/proc/5089/task/5092/stat : 5092 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 2095 0 0 0 149 0 0 0 25 0 4 0 601647688 294039552 3551 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 287148

[startup+3.1009 s]
/proc/loadavg: 7.77 8.04 8.01 9/184 5093
/proc/meminfo: memFree=29073064/32950928 swapFree=67111356/67111528
[pid=5089] ppid=5087 vsize=280336 CPUtime=12.36 cores=0,2,4,6
/proc/5089/stat : 5089 (strangenight2-m) R 5087 5089 4858 0 -1 4202496 21046 0 0 0 1233 3 0 0 25 0 4 0 601647688 287064064 12060 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5089/statm: 70084 12060 389 106 0 65055 0
[pid=5089/tid=5090] ppid=5087 vsize=280336 CPUtime=3.08 cores=0,2,4,6
/proc/5089/task/5090/stat : 5090 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 4551 0 0 0 308 0 0 0 25 0 4 0 601647688 287064064 12060 33554432000 4194304 4627427 140736533485520 18446744073709551615 4308408 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5089/tid=5091] ppid=5087 vsize=280336 CPUtime=3.07 cores=0,2,4,6
/proc/5089/task/5091/stat : 5091 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 6101 0 0 0 307 0 0 0 25 0 4 0 601647688 287064064 12060 33554432000 4194304 4627427 140736533485520 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5089/tid=5092] ppid=5087 vsize=280336 CPUtime=3.09 cores=0,2,4,6
/proc/5089/task/5092/stat : 5092 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 4577 0 0 0 309 0 0 0 25 0 4 0 601647688 287064064 12061 33554432000 4194304 4627427 140736533485520 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 280336

[startup+6.3003 s]
/proc/loadavg: 7.79 8.04 8.01 9/184 5093
/proc/meminfo: memFree=29035916/32950928 swapFree=67111356/67111528
[pid=5089] ppid=5087 vsize=290844 CPUtime=25.14 cores=0,2,4,6
/proc/5089/stat : 5089 (strangenight2-m) R 5087 5089 4858 0 -1 4202496 30690 0 0 0 2509 5 0 0 25 0 4 0 601647688 297824256 14617 33554432000 4194304 4627427 140736533485520 18446744073709551615 4308317 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5089/statm: 72711 14617 389 106 0 67682 0
[pid=5089/tid=5090] ppid=5087 vsize=290844 CPUtime=6.29 cores=0,2,4,6
/proc/5089/task/5090/stat : 5090 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 7895 0 0 0 628 1 0 0 25 0 4 0 601647688 297824256 14617 33554432000 4194304 4627427 140736533485520 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5089/tid=5091] ppid=5087 vsize=290844 CPUtime=6.26 cores=0,2,4,6
/proc/5089/task/5091/stat : 5091 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 8260 0 0 0 625 1 0 0 25 0 4 0 601647688 297824256 14617 33554432000 4194304 4627427 140736533485520 18446744073709551615 4310126 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5089/tid=5092] ppid=5087 vsize=290844 CPUtime=6.28 cores=0,2,4,6
/proc/5089/task/5092/stat : 5092 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 5932 0 0 0 628 0 0 0 25 0 4 0 601647688 297824256 14617 33554432000 4194304 4627427 140736533485520 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 290844

[startup+12.7011 s]
/proc/loadavg: 7.49 7.97 7.99 9/184 5125
/proc/meminfo: memFree=29394740/32950928 swapFree=67111356/67111528
[pid=5089] ppid=5087 vsize=287236 CPUtime=50.71 cores=0,2,4,6
/proc/5089/stat : 5089 (strangenight2-m) R 5087 5089 4858 0 -1 4202496 47559 0 0 0 5063 8 0 0 25 0 4 0 601647688 294129664 24972 33554432000 4194304 4627427 140736533485520 18446744073709551615 4427146 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5089/statm: 71809 24972 389 106 0 66780 0
[pid=5089/tid=5090] ppid=5087 vsize=287236 CPUtime=12.69 cores=0,2,4,6
/proc/5089/task/5090/stat : 5090 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 13148 0 0 0 1267 2 0 0 25 0 4 0 601647688 294129664 24972 33554432000 4194304 4627427 140736533485520 18446744073709551615 4310561 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5089/tid=5091] ppid=5087 vsize=287236 CPUtime=12.62 cores=0,2,4,6
/proc/5089/task/5091/stat : 5091 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 11628 0 0 0 1261 1 0 0 25 0 4 0 601647688 294129664 24972 33554432000 4194304 4627427 140736533485520 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5089/tid=5092] ppid=5087 vsize=287236 CPUtime=12.68 cores=0,2,4,6
/proc/5089/task/5092/stat : 5092 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 9517 0 0 0 1267 1 0 0 25 0 4 0 601647688 294129664 24972 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 287236

[startup+25.5007 s]
/proc/loadavg: 7.60 7.97 7.99 9/184 5125
/proc/meminfo: memFree=29311892/32950928 swapFree=67111356/67111528
[pid=5089] ppid=5087 vsize=306116 CPUtime=101.84 cores=0,2,4,6
/proc/5089/stat : 5089 (strangenight2-m) R 5087 5089 4858 0 -1 4202496 65568 0 0 0 10171 13 0 0 25 0 4 0 601647688 313462784 30157 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309228 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5089/statm: 76529 30157 389 106 0 71500 0
[pid=5089/tid=5090] ppid=5087 vsize=306116 CPUtime=25.49 cores=0,2,4,6
/proc/5089/task/5090/stat : 5090 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 19691 0 0 0 2545 4 0 0 25 0 4 0 601647688 313462784 30157 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5089/tid=5091] ppid=5087 vsize=306116 CPUtime=25.35 cores=0,2,4,6
/proc/5089/task/5091/stat : 5091 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 14821 0 0 0 2533 2 0 0 25 0 4 0 601647688 313462784 30157 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5089/tid=5092] ppid=5087 vsize=306116 CPUtime=25.48 cores=0,2,4,6
/proc/5089/task/5092/stat : 5092 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 13038 0 0 0 2546 2 0 0 25 0 4 0 601647688 313462784 30157 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 306116

[startup+51.1009 s]
/proc/loadavg: 7.74 7.97 7.99 9/184 5126
/proc/meminfo: memFree=29231708/32950928 swapFree=67111356/67111528
[pid=5089] ppid=5087 vsize=306964 CPUtime=204.1 cores=0,2,4,6
/proc/5089/stat : 5089 (strangenight2-m) R 5087 5089 4858 0 -1 4202496 86092 0 0 0 20391 19 0 0 25 0 4 0 601647688 314331136 39686 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309297 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5089/statm: 76741 39686 389 106 0 71712 0
[pid=5089/tid=5090] ppid=5087 vsize=306964 CPUtime=51.09 cores=0,2,4,6
/proc/5089/task/5090/stat : 5090 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 25992 0 0 0 5103 6 0 0 25 0 4 0 601647688 314331136 39686 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5089/tid=5091] ppid=5087 vsize=306964 CPUtime=50.81 cores=0,2,4,6
/proc/5089/task/5091/stat : 5091 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 16514 0 0 0 5079 2 0 0 25 0 4 0 601647688 314331136 39686 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5089/tid=5092] ppid=5087 vsize=306964 CPUtime=51.08 cores=0,2,4,6
/proc/5089/task/5092/stat : 5092 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 18517 0 0 0 5105 3 0 0 25 0 4 0 601647688 314331136 39686 33554432000 4194304 4627427 140736533485520 18446744073709551615 4308752 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 306964

[startup+102.3 s]
/proc/loadavg: 7.88 7.97 7.99 9/184 5127
/proc/meminfo: memFree=29174608/32950928 swapFree=67111356/67111528
[pid=5089] ppid=5087 vsize=309128 CPUtime=408.64 cores=0,2,4,6
/proc/5089/stat : 5089 (strangenight2-m) R 5087 5089 4858 0 -1 4202496 113727 0 0 0 40834 30 0 0 25 0 4 0 601647688 316547072 43595 33554432000 4194304 4627427 140736533485520 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5089/statm: 77282 43595 389 106 0 72253 0
[pid=5089/tid=5090] ppid=5087 vsize=309128 CPUtime=102.3 cores=0,2,4,6
/proc/5089/task/5090/stat : 5090 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 34802 0 0 0 10220 10 0 0 25 0 4 0 601647688 316547072 43595 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309160 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5089/tid=5091] ppid=5087 vsize=309128 CPUtime=101.73 cores=0,2,4,6
/proc/5089/task/5091/stat : 5091 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 17854 0 0 0 10170 3 0 0 25 0 4 0 601647688 316547072 43595 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5089/tid=5092] ppid=5087 vsize=309128 CPUtime=102.29 cores=0,2,4,6
/proc/5089/task/5092/stat : 5092 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 27404 0 0 0 10223 6 0 0 25 0 4 0 601647688 316547072 43595 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 309128

[startup+162.301 s]

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

[pid=5089] ppid=5087 vsize=645280 CPUtime=2565.67 cores=0,2,4,6
/proc/5089/stat : 5089 (strangenight2-m) R 5087 5089 4858 0 -1 4202496 346481 0 0 0 256438 129 0 0 25 0 4 0 601647688 660766720 96699 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5089/statm: 161320 96699 389 106 0 156291 0
[pid=5089/tid=5090] ppid=5087 vsize=645280 CPUtime=642.31 cores=0,2,4,6
/proc/5089/task/5090/stat : 5090 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 98639 0 0 0 64195 36 0 0 25 0 4 0 601647688 660766720 96699 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5089/tid=5091] ppid=5087 vsize=645280 CPUtime=638.75 cores=0,2,4,6
/proc/5089/task/5091/stat : 5091 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 45491 0 0 0 63859 16 0 0 25 0 4 0 601647688 660766720 96699 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5089/tid=5092] ppid=5087 vsize=645280 CPUtime=642.29 cores=0,2,4,6
/proc/5089/task/5092/stat : 5092 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 90621 0 0 0 64196 33 0 0 25 0 4 0 601647688 660766720 96699 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309220 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2565.67
Current children cumulated vsize (KiB) 645280

[startup+702.301 s]
/proc/loadavg: 8.12 8.05 8.01 9/184 5152
/proc/meminfo: memFree=28724072/32950928 swapFree=67111356/67111528
[pid=5089] ppid=5087 vsize=711888 CPUtime=2805.34 cores=0,2,4,6
/proc/5089/stat : 5089 (strangenight2-m) R 5087 5089 4858 0 -1 4202496 362295 0 0 0 280398 136 0 0 25 0 4 0 601647688 728973312 98465 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5089/statm: 177972 98465 389 106 0 172943 0
[pid=5089/tid=5090] ppid=5087 vsize=711888 CPUtime=702.31 cores=0,2,4,6
/proc/5089/task/5090/stat : 5090 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 102150 0 0 0 70194 37 0 0 25 0 4 0 601647688 728973312 98465 33554432000 4194304 4627427 140736533485520 18446744073709551615 4338466 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5089/tid=5091] ppid=5087 vsize=711888 CPUtime=698.42 cores=0,2,4,6
/proc/5089/task/5091/stat : 5091 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 46191 0 0 0 69826 16 0 0 25 0 4 0 601647688 728973312 98465 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309364 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5089/tid=5092] ppid=5087 vsize=711888 CPUtime=702.28 cores=0,2,4,6
/proc/5089/task/5092/stat : 5092 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 95058 0 0 0 70193 35 0 0 25 0 4 0 601647688 728973312 98465 33554432000 4194304 4627427 140736533485520 18446744073709551615 4308280 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2805.34
Current children cumulated vsize (KiB) 711888

[startup+762.301 s]
/proc/loadavg: 8.04 8.04 8.00 9/184 5154
/proc/meminfo: memFree=28697972/32950928 swapFree=67111356/67111528
[pid=5089] ppid=5087 vsize=746828 CPUtime=3045.03 cores=0,2,4,6
/proc/5089/stat : 5089 (strangenight2-m) R 5087 5089 4858 0 -1 4202496 377708 0 0 0 304359 144 0 0 25 0 4 0 601647688 764751872 99786 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5089/statm: 186707 99786 389 106 0 181678 0
[pid=5089/tid=5090] ppid=5087 vsize=746828 CPUtime=762.32 cores=0,2,4,6
/proc/5089/task/5090/stat : 5090 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 106045 0 0 0 76193 39 0 0 25 0 4 0 601647688 764751872 99786 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5089/tid=5091] ppid=5087 vsize=746828 CPUtime=758.1 cores=0,2,4,6
/proc/5089/task/5091/stat : 5091 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 46825 0 0 0 75794 16 0 0 25 0 4 0 601647688 764751872 99786 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5089/tid=5092] ppid=5087 vsize=746828 CPUtime=762.28 cores=0,2,4,6
/proc/5089/task/5092/stat : 5092 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 100586 0 0 0 76190 38 0 0 25 0 4 0 601647688 764751872 99786 33554432000 4194304 4627427 140736533485520 18446744073709551615 4324294 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3045.03
Current children cumulated vsize (KiB) 746828

[startup+822.301 s]
/proc/loadavg: 8.01 8.03 8.00 9/184 5155
/proc/meminfo: memFree=28699408/32950928 swapFree=67111356/67111528
[pid=5089] ppid=5087 vsize=708492 CPUtime=3284.68 cores=0,2,4,6
/proc/5089/stat : 5089 (strangenight2-m) R 5087 5089 4858 0 -1 4202496 397966 0 0 0 328315 153 0 0 25 0 4 0 601647688 725495808 100517 33554432000 4194304 4627427 140736533485520 18446744073709551615 4308399 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5089/statm: 177123 100517 389 106 0 172094 0
[pid=5089/tid=5090] ppid=5087 vsize=708492 CPUtime=822.31 cores=0,2,4,6
/proc/5089/task/5090/stat : 5090 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 112413 0 0 0 82190 41 0 0 25 0 4 0 601647688 725495808 100517 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5089/tid=5091] ppid=5087 vsize=708492 CPUtime=817.77 cores=0,2,4,6
/proc/5089/task/5091/stat : 5091 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 47379 0 0 0 81760 17 0 0 25 0 4 0 601647688 725495808 100517 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5089/tid=5092] ppid=5087 vsize=708492 CPUtime=822.28 cores=0,2,4,6
/proc/5089/task/5092/stat : 5092 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 104102 0 0 0 82188 40 0 0 25 0 4 0 601647688 725495808 100517 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3284.68
Current children cumulated vsize (KiB) 708492

[startup+882.307 s]
/proc/loadavg: 8.04 8.04 8.00 9/184 5157
/proc/meminfo: memFree=28716936/32950928 swapFree=67111356/67111528
[pid=5089] ppid=5087 vsize=568300 CPUtime=3524.39 cores=0,2,4,6
/proc/5089/stat : 5089 (strangenight2-m) R 5087 5089 4858 0 -1 4202496 413925 0 0 0 352279 160 0 0 25 0 4 0 601647688 581939200 98338 33554432000 4194304 4627427 140736533485520 18446744073709551615 4420243 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5089/statm: 142075 98338 389 106 0 137046 0
[pid=5089/tid=5090] ppid=5087 vsize=568300 CPUtime=882.32 cores=0,2,4,6
/proc/5089/task/5090/stat : 5090 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 115371 0 0 0 88189 43 0 0 25 0 4 0 601647688 581939200 98338 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5089/tid=5091] ppid=5087 vsize=568300 CPUtime=877.45 cores=0,2,4,6
/proc/5089/task/5091/stat : 5091 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 48250 0 0 0 87728 17 0 0 25 0 4 0 601647688 581939200 98338 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5089/tid=5092] ppid=5087 vsize=568300 CPUtime=882.27 cores=0,2,4,6
/proc/5089/task/5092/stat : 5092 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 107655 0 0 0 88186 41 0 0 25 0 4 0 601647688 581939200 98338 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3524.39
Current children cumulated vsize (KiB) 568300

[startup+942.301 s]
/proc/loadavg: 8.05 8.04 8.00 9/184 5158
/proc/meminfo: memFree=28676836/32950928 swapFree=67111356/67111528
[pid=5089] ppid=5087 vsize=568380 CPUtime=3764.03 cores=0,2,4,6
/proc/5089/stat : 5089 (strangenight2-m) R 5087 5089 4858 0 -1 4202496 433469 0 0 0 376234 169 0 0 25 0 4 0 601647688 582021120 99762 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5089/statm: 142095 99762 389 106 0 137066 0
[pid=5089/tid=5090] ppid=5087 vsize=568380 CPUtime=942.32 cores=0,2,4,6
/proc/5089/task/5090/stat : 5090 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 120084 0 0 0 94186 46 0 0 25 0 4 0 601647688 582021120 99762 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5089/tid=5091] ppid=5087 vsize=568380 CPUtime=937.12 cores=0,2,4,6
/proc/5089/task/5091/stat : 5091 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 49237 0 0 0 93694 18 0 0 25 0 4 0 601647688 582021120 99762 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5089/tid=5092] ppid=5087 vsize=568380 CPUtime=942.27 cores=0,2,4,6
/proc/5089/task/5092/stat : 5092 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 113354 0 0 0 94183 44 0 0 25 0 4 0 601647688 582021120 99762 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309160 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3764.03
Current children cumulated vsize (KiB) 568380

[startup+1002.3 s]
/proc/loadavg: 8.13 8.06 8.01 9/184 5160
/proc/meminfo: memFree=28655196/32950928 swapFree=67111356/67111528
[pid=5089] ppid=5087 vsize=664456 CPUtime=4003.7 cores=0,2,4,6
/proc/5089/stat : 5089 (strangenight2-m) R 5087 5089 4858 0 -1 4202496 456917 0 0 0 400193 177 0 0 25 0 4 0 601647688 680402944 112134 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5089/statm: 166114 112134 389 106 0 161085 0
[pid=5089/tid=5090] ppid=5087 vsize=664456 CPUtime=1002.32 cores=0,2,4,6
/proc/5089/task/5090/stat : 5090 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 129213 0 0 0 100184 48 0 0 25 0 4 0 601647688 680402944 112134 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5089/tid=5091] ppid=5087 vsize=664456 CPUtime=996.8 cores=0,2,4,6
/proc/5089/task/5091/stat : 5091 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 50090 0 0 0 99662 18 0 0 25 0 4 0 601647688 680402944 112134 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5089/tid=5092] ppid=5087 vsize=664456 CPUtime=1002.25 cores=0,2,4,6
/proc/5089/task/5092/stat : 5092 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 118815 0 0 0 100179 46 0 0 25 0 4 0 601647688 680402944 112134 33554432000 4194304 4627427 140736533485520 18446744073709551615 4332735 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4003.7
Current children cumulated vsize (KiB) 664456

[startup+1062.3 s]
/proc/loadavg: 8.04 8.05 8.00 9/184 5162
/proc/meminfo: memFree=28630956/32950928 swapFree=67111356/67111528
[pid=5089] ppid=5087 vsize=634540 CPUtime=4243.38 cores=0,2,4,6
/proc/5089/stat : 5089 (strangenight2-m) R 5087 5089 4858 0 -1 4202496 475112 0 0 0 424153 185 0 0 25 0 4 0 601647688 649768960 113330 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5089/statm: 158635 113330 389 106 0 153606 0
[pid=5089/tid=5090] ppid=5087 vsize=634540 CPUtime=1062.32 cores=0,2,4,6
/proc/5089/task/5090/stat : 5090 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 135239 0 0 0 106181 51 0 0 25 0 4 0 601647688 649768960 113330 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5089/tid=5091] ppid=5087 vsize=634540 CPUtime=1056.47 cores=0,2,4,6
/proc/5089/task/5091/stat : 5091 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 51216 0 0 0 105628 19 0 0 25 0 4 0 601647688 649768960 113330 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5089/tid=5092] ppid=5087 vsize=634540 CPUtime=1062.24 cores=0,2,4,6
/proc/5089/task/5092/stat : 5092 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 121962 0 0 0 106177 47 0 0 25 0 4 0 601647688 649768960 113330 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4243.38
Current children cumulated vsize (KiB) 634540

[startup+1122.3 s]
/proc/loadavg: 8.14 8.07 8.01 9/184 5163
/proc/meminfo: memFree=28579084/32950928 swapFree=67111356/67111528
[pid=5089] ppid=5087 vsize=738708 CPUtime=4483.05 cores=0,2,4,6
/proc/5089/stat : 5089 (strangenight2-m) R 5087 5089 4858 0 -1 4202496 494327 0 0 0 448110 195 0 0 25 0 4 0 601647688 756436992 119115 33554432000 4194304 4627427 140736533485520 18446744073709551615 4327640 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5089/statm: 184677 119115 389 106 0 179648 0
[pid=5089/tid=5090] ppid=5087 vsize=738708 CPUtime=1122.33 cores=0,2,4,6
/proc/5089/task/5090/stat : 5090 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 137229 0 0 0 112180 53 0 0 25 0 4 0 601647688 756436992 119115 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5089/tid=5091] ppid=5087 vsize=738708 CPUtime=1116.15 cores=0,2,4,6
/proc/5089/task/5091/stat : 5091 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 53717 0 0 0 111595 20 0 0 25 0 4 0 601647688 756436992 119115 33554432000 4194304 4627427 140736533485520 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5089/tid=5092] ppid=5087 vsize=738708 CPUtime=1122.24 cores=0,2,4,6
/proc/5089/task/5092/stat : 5092 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 126821 0 0 0 112174 50 0 0 25 0 4 0 601647688 756436992 119115 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4483.05
Current children cumulated vsize (KiB) 738708

[startup+1182.3 s]
/proc/loadavg: 8.17 8.09 8.01 9/184 5165
/proc/meminfo: memFree=28564908/32950928 swapFree=67111356/67111528
[pid=5089] ppid=5087 vsize=763580 CPUtime=4722.73 cores=0,2,4,6
/proc/5089/stat : 5089 (strangenight2-m) R 5087 5089 4858 0 -1 4202496 511171 0 0 0 472068 205 0 0 25 0 4 0 601647688 781905920 121216 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5089/statm: 190895 121216 389 106 0 185866 0
[pid=5089/tid=5090] ppid=5087 vsize=763580 CPUtime=1182.33 cores=0,2,4,6
/proc/5089/task/5090/stat : 5090 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 143283 0 0 0 118177 56 0 0 25 0 4 0 601647688 781905920 121216 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5089/tid=5091] ppid=5087 vsize=763580 CPUtime=1175.82 cores=0,2,4,6
/proc/5089/task/5091/stat : 5091 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 55152 0 0 0 117561 21 0 0 25 0 4 0 601647688 781905920 121216 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5089/tid=5092] ppid=5087 vsize=763580 CPUtime=1182.24 cores=0,2,4,6
/proc/5089/task/5092/stat : 5092 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 129815 0 0 0 118172 52 0 0 25 0 4 0 601647688 781905920 121216 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4722.73
Current children cumulated vsize (KiB) 763580



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.20 8.10 8.02 9/184 5165
/proc/meminfo: memFree=28551004/32950928 swapFree=67111356/67111528
[pid=5089] ppid=5087 vsize=805096 CPUtime=4800.24 cores=0,2,4,6
/proc/5089/stat : 5089 (strangenight2-m) R 5087 5089 4858 0 -1 4202496 516894 0 0 0 479817 207 0 0 25 0 4 0 601647688 824418304 122404 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5089/statm: 201274 122404 389 106 0 196245 0
[pid=5089/tid=5090] ppid=5087 vsize=805096 CPUtime=1201.73 cores=0,2,4,6
/proc/5089/task/5090/stat : 5090 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 144636 0 0 0 120117 56 0 0 25 0 4 0 601647688 824418304 122404 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5089/tid=5091] ppid=5087 vsize=805096 CPUtime=1195.12 cores=0,2,4,6
/proc/5089/task/5091/stat : 5091 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 55152 0 0 0 119491 21 0 0 25 0 4 0 601647688 824418304 122404 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5089/tid=5092] ppid=5087 vsize=805096 CPUtime=1201.64 cores=0,2,4,6
/proc/5089/task/5092/stat : 5092 (strangenight2-m) R 5087 5089 4858 0 -1 4202560 131085 0 0 0 120112 52 0 0 25 0 4 0 601647688 824418304 122404 33554432000 4194304 4627427 140736533485520 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 805096

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.29
CPU user time (s): 4798.19
CPU system time (s): 2.09968
CPU usage (%): 399.446
Max. virtual memory (cumulated for all children) (KiB): 844520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.19
system time used= 2.09968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 516894
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= 224
involuntary context switches= 21441

runsolver used 1.9927 second user time and 4.5733 second system time

The end

Launcher Data 

Begin job on node114 at 2011-04-29 23:56:10
IDJOB=3174203
IDBENCH=83021
IDSOLVER=1586
FILE ID=node114/3174203-1304114170
RUNJOBID= node114-1304111762-4876
PBS_JOBID= 13170690
Free space on /tmp= 71800 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
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-3174203-1304114170/watcher-3174203-1304114170 -o /tmp/evaluation-result-3174203-1304114170/solver-3174203-1304114170 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174203-1304114170.cnf

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

MD5SUM BENCH= 598e5ac0f35fb3d353f44669087059bc
RANDOM SEED=461350412

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29099676 kB
Buffers:       1065296 kB
Cached:        1794588 kB
SwapCached:        168 kB
Active:         571336 kB
Inactive:      2774836 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29099676 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:            5860 kB
Writeback:           0 kB
AnonPages:      485968 kB
Mapped:          15508 kB
Slab:           440612 kB
PageTables:       5768 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   755780 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= 71792 MiB
End job on node114 at 2011-04-30 00:16:14